Quiz 5.7.1 simplification of linear expressions with integral coefficients