Inner and Outer Approximations of Existentially Quantified Equality Constraints