Synthesizing Strategies Creatively: Solving Linear Equations