Solving Literal Equations (4.3)