Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

11+3*a > 5*(3-a)+5*a

⇒ algebra.equations.linear.distr-times

11+3*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