The set of one variable integral polynomials is decidable
This program returns the value of x, if the input is a polynomial with an integer value of x

Please enter integers in the input fields and press the "DECIDE THE INPUT POLYNOMIAL" button
x^{2} +
x -
= 0

[ You can try your example equations. If you try 3x^{2} + 2x - 16 = 0, the program will return 2 as the value of x.
If you try 3x^{2} + 2x - 5 = 0, the program will return 1. If you enter 3x^{2} + 2x - 33, the program will return 3 as the value of x. The program will return -504 as value of x, if you try 3x^{2} + 3x - 760536. You can enter any
integer in an input field. The roots of a single variable polynomial must be between the values -/+(K * Cmax/C1) where K is the number of terms in the polynomial, Cmax is the coefficient with the
largest absolute value, and C1 is the coefficient of the highest order term; hence, it is always decidable. For 3x^{2} + 2x - 16 = 0, the bounds are 3 * 16 / 3 = -16 to +16. ]