/s. Which is smaller: q or -1?
-1
Let o(v) = 121*v**2 - 5*v + 4. Let y be o(2). Is y greater than 476?
True
Let m = 36/247 - 59158/409279. Let j = m + 9928/11599. Suppose -5*r + r + 8 = 0, 0 = -3*p + 5*r - 10. Are p and j non-equal?
True
Let q = 13/34 + -9/34. Which is greater: q or 1?
1
Suppose 0 = -2*c + 3*w - 5*w + 14, c - 37 = 5*w. Let n(l) = l**3 - 13*l - 6*l**2 + 8 - 5*l**2 + 0. Let x be n(c). Which is smaller: x or -5?
-5
Let o be 1*-1 - 37/(-54). Let y = o - -4/27. Suppose 3 = -453*n + 3. Is n at most y?
False
Let d be (6/(-9))/(3/(-9)). Suppose -v + 2*t = -96, 3*v = d*t - 20 + 320. Let f = v + -817/8. Which is bigger: f or -1?
f
Let x(c) = c**3 - 2*c**2 - 17*c + 9. Let p be x(5). Suppose -i + 12 = 4*t, 3*i = 5*i - 3*t + 9. Is p not equal to i?
True
Suppose 0 = 2*d - 4*d + 4. Suppose -c = -d*c - p + 26, -p = 2. Let s be (-1)/(-4) + (-63)/c. Which is smaller: s or -19?
-19
Suppose -98*d + 93*d - 954 = 4*w, -4*w - 760 = 4*d. Are -196 and d equal?
False
Let o = -243 + 249. Which is greater: o or 3?
o
Suppose -8*b + 13*b = 0. Let y = -712/2375 - 2/125. Which is greater: b or y?
b
Let q = 151 - 151. Is q at most as big as 2?
True
Let c = 5 + -4. Is c not equal to -0.06?
True
Suppose 0 = 5*q + 4*r + 7 - 3, 2*r = 5*q - 2. Is -15/23 > q?
False
Let d = -205 + 411/2. Which is smaller: d or -1/99?
-1/99
Suppose -3*l - 4*c = 15, 15 = 4*l - 4*c + 7. Are l and -37.7 unequal?
True
Let u be 5/(-15) - (-16441)/39. Let v = u + -421. Let t = -63 - -64. Which is smaller: v or t?
v
Suppose -2*i = 4*z - 12, 3*z - 15 = i - 2*z. Are i and -2/277 nonequal?
True
Suppose 2*f = 56 + 60. Let i = f + -58. Are 3/25 and i equal?
False
Let x = -513 + 3613/7. Let b = -39 + 275/7. Is b < x?
True
Let l = 830 - 831. Which is greater: 4/999 or l?
4/999
Suppose 2*t + 342 = 3*r, 100*t = 101*t - r + 170. Is t equal to -168?
True
Let p be 5/(-157)*26/65. Let d(k) = -2*k**3 + 5*k**2 - 2*k. Let j be d(2). Is j bigger than p?
True
Let h be (-46)/(-1674) - 6/93. Which is bigger: h or 0?
0
Let y(n) = -n**2 - 11*n - 108. Let f be y(-9). Are f and -102 non-equal?
True
Let k = 29.36 + -0.36. Suppose 2*d = d - 1. Are d and k non-equal?
True
Let z = 1.55 + 0.01. Let m = -0.56 + z. Let s = -14 + 15.7. Is m less than s?
True
Suppose 156 = -x + 164. Let o be (-7)/(4/(-1 + -3)). Which is smaller: x or o?
o
Let x = 60 - -45. Suppose 4*k - 119 = -4*i + x, 2*i - 172 = -3*k. Let p be 9/k - 12/30. Which is smaller: 6 or p?
p
Suppose -374 - 651 = 5*k. Let o be (-2)/(-9) - k/9. Let u = -43/2 + o. Are u and -0.1 nonequal?
True
Let q be (-2 - 0)*(-75)/(-10). Let w = 14 + q. Let t = -3 - w. Is 1 at least t?
True
Let x(j) = 2*j**3 + j**2 + j - 2. Let z be x(1). Suppose -10*i = -11*i - z. Let u be 6*(-1)/i + 6. Which is smaller: 0.1 or u?
0.1
Suppose 26*o = -64 - 144. Is o at least 5?
False
Suppose -19*y + 27*y = 8. Which is smaller: 2/2173 or y?
2/2173
Let c = -2.075 - -1.075. Let s = -21.59 + 22.7. Let u = 1.2 - s. Is u greater than or equal to c?
True
Suppose 8*n = 12*n - 12. Suppose -5*x + n*i - 21 = 0, 0 = -5*x - i - 6 - 7. Which is greater: 0.1 or x?
0.1
Let y be (-94)/(-68) - 12/8. Let l = 18 - 61. Let o = 42 + l. Which is greater: y or o?
y
Let z = -431 - -288. Let a = z + 151. Do 0.12 and a have different values?
True
Let h(g) = g**3 + 8*g**2 - 17*g - 32. Let z be h(-10). Let s = 4/3197 + -994287/15985. Let o = s - z. Which is bigger: -1 or o?
o
Let j = 0.9 - 0.92. Let t = j + 8.02. Let c = 9 - t. Which is smaller: -7 or c?
-7
Let c(d) = -d**3 + 11*d**2 + 11*d + 26. Let w be c(12). Suppose -4*v - 2*i = -w, 4*i = v + 2*v + 17. Which is greater: -2/69 or v?
v
Let g(k) = 30*k + 67. Let j be g(-16). Which is greater: -414 or j?
j
Let i(d) = d**3 - 2*d**2 + 2. Let f be i(2). Suppose -5*v + 3*v = -f. Let j be (-1*12/40)/((-36)/(-16)). Is v less than j?
False
Let v = 35 - 32. Suppose z + v*x = -11, -2*x = x + 12. Which is bigger: z or 2/21?
z
Let a be ((-4)/3)/((-13)/(-6)). Let g = a + 76/39. Which is smaller: 2 or g?
g
Let h(l) = -3*l + 1. Let s be h(-2). Let n = s - 5. Suppose -n*a - 20 = -0*a. Is 0.1 at most a?
False
Suppose 0 = f + 2 - 1. Let l = 44 + -44. Suppose l = -6*h + 8 - 2. Is h >= f?
True
Let k = 70 + -41. Suppose -s - k = 4*i, -2*i - 2 = -0*i - 2*s. Let x = -20 - -21. Does i = x?
False
Let k be 9/(-15)*2980/56. Let b = k + 63/2. Which is bigger: 0 or b?
0
Let l = 42 - 32. Which is smaller: 3 or l?
3
Let i = -33 + 61. Let t = -27 + i. Let j be 1/(((-105)/(-6))/(-5)). Which is greater: t or j?
t
Let m(f) = -f**2 - 3*f - 3. Let q be m(-4). Let r(d) = -d**2 - 6*d + 8. Let i be r(q). Suppose -3 = -s - y, 5*s - y + 4 = i. Is 2/15 at most s?
False
Let o = 1307 - 929. Which is greater: o or 377?
o
Suppose 5*d + 4*p = 2*d + 868, p - 1166 = -4*d. Let x = d - 2049/7. Is x equal to -1?
False
Let d(y) = y**2 + 15*y - 46. Let a be d(-23). Which is smaller: 137 or a?
137
Let t = -479 - -320. Is -159 < t?
False
Let h = -146119/147 + 994. Is h > -1?
True
Let a = 38880/13891871 - 2/18697. Which is greater: a or 1?
1
Let f be 22/(-3) + 13/(39/(-2)). Are -6 and f nonequal?
True
Let b(t) = -t**3 + 14*t**2 + 13*t + 31. Let m be b(15). Let y be 3 - ((-52)/(-18))/m. Is 0 greater than or equal to y?
False
Suppose 0 = -3*f - 15, -2*w + 4*f + 15 = f. Let p be ((-6)/(-28))/((-93)/4). Let s = p + -151/7161. Is w not equal to s?
True
Let y(c) = -3*c**2 - 30*c + 31*c - 1 + 10*c**2. Let d(x) = x. Let o(s) = -d(s) + y(s). Let u be o(-1). Which is greater: u or 7?
7
Let c = 19.3 - 8.3. Let x = -0.0217 - -11.0617. Let f = x - c. Which is greater: f or -2/9?
f
Let y = -0.69 + 0.79. Is y > 100?
False
Let j(s) = s - 11. Let z be j(9). Let g be 2 - (0 + -1)*0. Suppose -g*h + 8 = -k + 5*k, 3*h + 6 = 3*k. Which is smaller: k or z?
z
Let z(j) = -j**3 + 8*j**2 + 5*j + 18. Let f be z(10). Let x = f - -133. Which is bigger: -14 or x?
x
Let o = -60.84 + -3.16. Is -0.1 bigger than o?
True
Let o = 566 - 566.1. Is -136 equal to o?
False
Let v(d) = -d**3 + 17*d**2 - 3*d + 774. Let n be v(0). Which is smaller: 773 or n?
773
Let i be 1/(-9)*3*9/(-174). Is i >= 0?
True
Let q = 0.109 - -0.091. Let o = -5 + 4.7. Let u = o + q. Which is bigger: -1/2 or u?
u
Suppose l - 5*n = -6 - 2, -5*l - 3*n = -16. Suppose -135 = -l*x + 5*x. Do -44 and x have the same value?
False
Let x be 393/84 - 12/(-16). Which is bigger: 4 or x?
x
Let b = -226 + 513. Let o = b - 12627/44. Is o != 1?
True
Let i be 2/(-6) - (-3)/18*-4. Is i <= 6/161?
True
Suppose -57 + 5 = 4*q - 4*c, 0 = 4*q + 3*c + 31. Let s be 4/(-10) + (-24)/q. Suppose -4 = -3*l + 2. Is l at most as big as s?
True
Let t = 0.04 - -4.96. Let f = -4.89 + t. Let m = f - -4.89. Which is smaller: m or 2/5?
2/5
Let o(g) = 14*g - 133. Let q be o(24). Are 204 and q nonequal?
True
Suppose s + 1 = 2*t + 4, 4*s - 5*t = 9. Is 2/75 at least s?
False
Let u be (-4)/(-11) + (-434)/(-682). Which is greater: -2/35 or u?
u
Let w be (2 - 0)/((-8)/(-28)). Let i be ((-6)/21)/((-3)/w). Let t = -6.67 - -6.37. Which is greater: i or t?
i
Let p = -9 - -9.09. Let v = -10.91 - p. Let i = 10 + v. Is 0 <= i?
False
Let z be 3*-1*230/(-15)*-1. Let g = -47 - z. Is 1/62 greater than or equal to g?
True
Let o = -1032 + 1133.7. Is 1 less than o?
True
Let k = 18 + -15. Suppose -2*b = -b - k. Suppose 0*v = -b*v + 3. Which is smaller: 3/11 or v?
3/11
Let p be (-4)/(-18) + 88/9. Let y be (-102)/(-10) + (-5)/25. Let l = y - p. Is -2/27 smaller than l?
True
Let f be 4384/(-88) - 2/11. Is f less than -32?
True
Let s be 0 + 1 - (-3 - -568). Let g be ((-3)/(s/16))/(-2). Which is smaller: -1 or g?
-1
Suppose 8 = 5*m - m. Suppose -m*h - 30 = -8. Which is greater: h or -12?
h
Let k = 13 - 6. Let z = k - -2. Let i = -4 + 3.9. Is i less than z?
True
Let m = -30 + 35. Let v = -0.3 + 3.1. Let y = -3 + v. Is y greater than or equal to m?
False
Suppose -37 = 13*f - 14*f. Is 38 greater than or equal to f?
True
Suppose -40 = -4*p - 2*h, -14 = -5*p - 2*h + 35. Let g(n) = n**3 - 6*n**2 - 12*n - 23. Let y be g(8). Do y and p have the same value?
True
Let v = -128 + 225. Suppose 6*w + v = -11. Which is greater: -19 or w?
w
Let x be (-46)/8 - (-4 + 4 + -6). Is -538 smaller than x?
True
Let y = -327.9 - -311. Let b = -17 - y. Let a = 1027/7 - 147. Which is smaller: b or a?
a
Let f = -465 - -467. Which is smaller: 18/7 or f?
f
Let t = -55 - -63. Suppose 17*s 