Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

-4*x+1 < 5

⇒ algebra.equations.coverup.onevar.plus

-4*x < 4

⇒ algebra.inequalities.flip-sign

4*x > -4

⇒ algebra.equations.coverup.times-positive

x > -1