Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

Final term is not finished

7+2*x == sqrt 7 or -7-sqrt 7 == 2*x

⇒ algebra.equations.coverup.times

7+2*x == sqrt 7 or (-7-sqrt 7)/2 == x

⇒ algebra.equations.linear.flip

7+2*x == sqrt 7 or x == (-7-sqrt 7)/2

⇒ algebra.equations.quadratic.distr-div

7+2*x == sqrt 7 or x == -7/2-sqrt 7/2