Exercise algebra.equations.quadratic.no-abc
Description
solve a quadratic equation without abc-formula
Derivation
(x+7)^2 == 25
⇒ algebra.equations.coverup.powerx+7 == 5 or x+7 == -5
⇒ algebra.equations.coverup.onevar.plusx == -2 or x+7 == -5
⇒ algebra.equations.coverup.onevar.plusx == -2 or x == -12