Exercise algebra.inequalities.linear
Description
solve a linear inequation
Derivation
5-2*(a-3)+5*a > 5*(3-a)+5*a
⇒ algebra.equations.linear.distr-times5-2*a+6+5*a > 15-5*a+5*a
⇒ algebra.equations.linear.merge11+3*a > 15
⇒ algebra.equations.coverup.onevar.plus3*a > 4
⇒ algebra.equations.coverup.times-positivea > 4/3