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-times

5-2*a+6+5*a > 15-5*a+5*a

⇒ algebra.equations.linear.merge

11+3*a > 15

⇒ algebra.equations.coverup.onevar.plus

3*a > 4

⇒ algebra.equations.coverup.times-positive

a > 4/3