Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

Final term is not finished
6*(a+1)-3*a < 3*a-2-3*a