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-times6*a+6-3*a < 3*a-2-3*a
⇒ algebra.equations.linear.merge3*a+6 < -2
⇒ algebra.equations.coverup.onevar.plus3*a < -8
⇒ algebra.equations.coverup.times-positivea < -8/3