Is (x, y) a solution to the system of equations?