Exercise algebra.inequalities.linear

Description
solve a linear inequation

Derivation

Final term is not finished

6*a+6 < 3*(a-2)+4