Solve equations, not expressions

Test plan: none

Auditors: peter