Is (1, 2) a solution of the system and ?