100 = 1 + x + 6x^2 - 30y - xy for (x from 0 to 20) (y from 0 to 20)