Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

11+3*a > 15

⇒ algebra.equations.coverup.onevar.plus

3*a > 4

⇒ algebra.equations.coverup.times-positive

a > 4/3