Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

3*x+1 < 7*x+5

⇒ algebra.equations.linear.var-left, term=7*x

-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