Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
6*a+6 < 3*a-2
⇒ algebra.equations.linear.var-left, term=3*a3*a+6 < -2
⇒ algebra.equations.coverup.onevar.plus3*a < -8
⇒ algebra.equations.coverup.times-positivea < -8/3