Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

-2*x^2-10*x == 2*(10-x^2)

⇒ algebra.equations.quadratic.same-con-factor

-x^2-5*x == 10-x^2

⇒ algebra.equations.quadratic.cancel

-5*x == 10

⇒ algebra.equations.coverup.times

x == -2