Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

-3*x-2 < 3

⇒ algebra.equations.coverup.onevar.minus-left

-3*x < 5

⇒ algebra.inequalities.flip-sign

3*x > -5

⇒ algebra.equations.coverup.times-positive

x > -5/3