Equation-solving strategies