Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

6*(a+1) < 3*(a-2)+4

⇒ algebra.equations.linear.distr-times

6*a+6 < 3*a-2

⇒ algebra.equations.linear.var-left, term=3*a

3*a+6 < -2

⇒ algebra.equations.coverup.onevar.plus

3*a < -8

⇒ algebra.equations.coverup.times-positive

a < -8/3