Literal Equations and Problem Solving