Identifying mistakes in equation solving