Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

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

⇒ algebra.equations.linear.distr-times

6*a+6-3*a < 3*a-2-3*a

⇒ algebra.equations.linear.merge

3*a+6 < -2

⇒ algebra.equations.coverup.onevar.plus

3*a < -8

⇒ algebra.equations.coverup.times-positive

a < -8/3