let amc12a-2021-p7 = `!x:real y:real. &1 <= ((x * y) - &1) pow 2 + (x + y) pow 2`;;