Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Derivation

x^2-3*x == 2*x^2-10*x

⇒ algebra.equations.quadratic.move-left

-x^2+7*x == 0

⇒ algebra.equations.quadratic.common-factor

-x*(x-7) == 0

⇒ algebra.equations.quadratic.product-zero

x == 0 or x == 7