-x^2-x+12 Разложить на множители квадратный трехчлен ax^2+bx+c. Выполнить проверку. 

Преобразуем трехчлен в такой вид -(x^2+x-12). По теореме Виета сумма корней равна второму члену с противоположным знаком, а произведение - свободному члену. Поскольку свободный член со знаком -, то корни имеют разные знаки. Имеем 3 и -4. Раскладываем на множители трехчлен, получаем: -(x-3)(x+4).