Exercise algebra.inequalities.quadratic

Description
solve a quadratic inequation

Derivation

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