factor(-x^2+7*x-12)