Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

Final term is not finished

3*(x^2+6*x-2*x-12) == 12*x

⇒ algebra.equations.linear.distr-times

3*x^2+12*x-36 == 12*x