Comment by quantumtremor

These are all polynomial equations, so we can likely solve them by computing a Grobner basis over the set and using the Elimination Theorem.