Please find all real solutions to the following equation:
(x^2-11*x+29)^(x^2-17*x+72) = 1
Adapted from a problem by Presh Talwalkar.
One more possibility:
x^2-11*x+29 = -1
and
x^2-17*x+72 is even
The first equation has roots of 5 and 6. And both of these result in the 2nd equation being even.
So the solutions are {4, 5, 6, 7, 8, 9}