Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

5-2*(a-3) > 5*(3-a)

⇒ algebra.equations.linear.distr-times

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

⇒ algebra.equations.linear.merge

11-2*a > 15-5*a

⇒ algebra.equations.linear.var-left, term=(-5)*a

11+3*a > 15

⇒ algebra.equations.coverup.onevar.plus

3*a > 4

⇒ algebra.equations.coverup.times-positive

a > 4/3