Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

4*x+5 < 5*x-3

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

-x+5 < -3

⇒ algebra.equations.coverup.onevar.plus

-x < -8

⇒ algebra.inequalities.flip-sign

x > 8