Variable definition and equation solving