Satisfiability of Equality Equations