compareEquations can now take equations with no free variables.