Equation solving and pattern prediction