Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Derivation

(x+3/2)^2 == 25/4

⇒ algebra.equations.coverup.power

x+3/2 == 5/2 or x+3/2 == -5/2

⇒ algebra.equations.coverup.onevar.plus

x == 1 or x+3/2 == -5/2

⇒ algebra.equations.coverup.onevar.plus

x == 1 or x == -4