Tag solving for x in linear equations