w**2 + 200*w + 8 - 403*w. Let q be y(3). Is q != 0?
True
Let k = -3833 + 3832. Is k less than -48/85?
True
Let a(y) = 39 + y + 137 - 31 + 62 + 24. Let h be a(0). Which is bigger: h or 233?
233
Let p = 121.346 + -0.346. Let z = 124 - p. Which is greater: -0.7 or z?
z
Let b = 2518 - 2376. Which is greater: 0.12 or b?
b
Let h = -13.3 + 13.2. Is -523 at least as big as h?
False
Suppose 4*z - 4470 = -5*o, o - 4*z + 24 = 942. Do o and 3597/4 have different values?
True
Let c(i) = -i + 5*i + 39 - 11*i. Let r be c(22). Let x = r + 95. Is x < -19?
True
Suppose 4*m + 1 = p + m, 0 = p - 2*m - 6. Suppose -2*u = 4, -p = 3*h - 2*u - 41. Let y(x) = -x**3 + 6*x**2 + 4*x + 19. Let w be y(h). Is w greater than -2?
False
Let k(l) be the third derivative of -l**4/24 + 13*l**3/6 - 2*l**2 + 5. Let p be k(10). Is 17/7 smaller than p?
True
Let a = 1860 - 1045. Suppose -4*i + 3*x = -652, i = -4*i - 2*x + a. Which is smaller: i or 165?
i
Let i = 983 + -862. Which is greater: 119 or i?
i
Let u = 675 - 324. Let v = -230 + u. Is v at least as big as 120?
True
Let m be 11/((-154)/12376) + -13. Is m at most as big as -898?
False
Suppose 2 = -o, 4*n = o - 16 + 118. Suppose 0 = 39*b - 14*b - n. Which is greater: b or 1/184?
b
Suppose 24*k - 29*k + 5 = 0. Let d(x) = x**2 + 6*x - 8. Let z be d(k). Are z and -3/278 nonequal?
True
Let p = -632 - -1054. Let c = -252 + p. Which is bigger: -1 or c?
c
Let a(o) = o**2 - 7*o + 4. Let l = -12 - -15. Let q be a(l). Suppose 3*j - 62 = -4*v + 9*v, 3*v + 50 = 5*j. Which is bigger: q or v?
q
Let f be (-2 - 5) + (-368)/(-2). Let k be f/6*-4*1/(-2). Is 60 at most k?
False
Let a be (2/(-29))/(12586/609). Which is smaller: 0 or a?
a
Let a = 89 + -88.97. Let s be 1/(42 + -6) + 8/36. Is s less than a?
False
Let b = 341 + -705. Let a = -333 - b. Let r = 104 + -73. Is a at least r?
True
Suppose c - 164*g = -161*g - 135, -4*g = -c - 130. Is -452/3 at most as big as c?
True
Suppose 0 = 2549*y - 2367*y - 339612. Which is greater: y or 1867?
1867
Let k(n) = 3*n**3 + 21*n**2 - 8*n - 23. Let f be k(-7). Is 33 equal to f?
True
Let y = -1864 + 35395/19. Let f(v) = -15*v - 705. Let o be f(-47). Is o equal to y?
False
Let w = -252.8 - -253.7. Which is smaller: 0.25 or w?
0.25
Let w be ((-8)/5)/((-8)/20). Suppose 0*l + w*l + l = 0. Suppose 0 = 3*r + 2*c - 48, l*r - 65 = -4*r - 3*c. Which is bigger: r or 15?
15
Let v be 2*(3/4)/(36/120). Let r be (16/v)/(8/40). Suppose 14*g - r*g = -8. Which is greater: g or 7?
7
Let o = 275 - 368. Let w = 229 - 229.2. Does w = o?
False
Let h = -56 - 284. Let t be (-1)/((-9)/h) - (-2)/(-9). Let b = t - -45. Which is bigger: 5 or b?
b
Let q(s) = 105*s**3 - 7*s + 107*s**3 - 1 - 214*s**3 - 8*s**2. Let p be q(-3). Which is smaller: 72/25 or p?
p
Suppose q = 5*x + 44, -5*x - 4*q - 24 = -0*x. Let r be 20/x*(-1)/(1/(-20)). Let d = 46 + r. Is d smaller than -11/4?
True
Let r be 10/1*(-2)/4. Let p = -34100 + 34089. Which is smaller: r or p?
p
Let h = -96.87 + -136.61. Let y = h - -234. Do y and 0.3 have different values?
True
Suppose 17 = 5*b - h - 2*h, -20 = -4*b - 4*h. Suppose -4*r - b*z - 13 = -7*z, -r = -3*z + 10. Which is smaller: r or 2/167?
r
Let w be (-297)/(-3861)*(1 - -1093). Which is bigger: w or 84?
w
Let f be ((-4)/15)/((-176)/33 - 2). Let q = -8/55 - f. Let m = -3 - -2.8. Are m and q non-equal?
True
Let c(l) = -52*l - 48. Let y(b) = -26*b - 24. Let n(t) = 2*c(t) - 5*y(t). Let j be n(-4). Which is smaller: j or -79?
j
Suppose -27*z + 15*z = -36. Let k be z/(8/(16/(-10))). Which is bigger: k or -0.41?
-0.41
Let g be (474/395)/((44/(-79600))/(-11)). Is g at most as big as 23881?
True
Suppose 5*y + 3*i + 1331 = 0, 2*y + 393 = -4*i - 145. Let m = -228 - y. Do m and 2 have different values?
True
Let c = -14638506977/4095 - -3574727. Let o = 5/234 + c. Are o and 0.1 non-equal?
True
Let s = -3750 + 1917. Which is greater: s or -3665/2?
-3665/2
Suppose -4*g + 122 - 110 = 0. Suppose -g*z = 7*x - 10*x + 1305, z - 4*x = -447. Do z and -432 have different values?
True
Suppose 0 = -3*w + 4*i + 813, 2*w + 3*i - 4*i = 542. Suppose -7*u + w + 184 = 0. Suppose -105 - u = -17*x. Do 10 and x have different values?
False
Let a = 12 - 11.5. Let d = 1.5 - a. Let o = 3/2528 + -85979/22752. Which is greater: d or o?
d
Let t(k) be the first derivative of -k**3/3 + 3*k**2 + 5*k - 11. Let a be t(6). Suppose -o = -5*o + a*l + 25, -15 = 3*l. Which is bigger: o or 3/25?
3/25
Let q = 102.86 - 105.16. Is 180 bigger than q?
True
Let o = 4.82 + 0.18. Suppose 2*t - 114 - 71 = 3*l, -5*t - 300 = 5*l. Is o < l?
False
Suppose -5*x = 5*d - 5, -2*d + 4 = 3*x + x. Suppose 23*h - z = 25*h + 8, 3*h + 3*z = -21. Do d and h have different values?
True
Let o = 14048 + -12429. Are o and -7 nonequal?
True
Let f be (((-11)/(77/(-21)))/(-101))/((-1353)/(-2)). Which is greater: 1 or f?
1
Let m be 11/7 - 42/(-98). Suppose m*s = s - 3*s. Which is smaller: s or 2/33?
s
Suppose -5*a + r + 21 = -94, -4*a + 98 = -2*r. Let c be a/5 + -6*(-6)/(-90). Let q be 2/(-5) - (-17)/5. Which is bigger: q or c?
c
Let l be (((-12)/(-9))/4)/(2/(-30)). Let u be (-9)/l + (-12)/(-60). Let t be u/(11 - 5) + (-334)/966. Do t and -1 have the same value?
False
Let m = -83.42 - -117.42. Which is smaller: -3/67 or m?
-3/67
Let l be (-1 + 634)*(-10 - 180/(-27)). Is -2110 at least as big as l?
True
Suppose 2*g + 4*s = s - 4, -2*g - s - 4 = 0. Let j be (-5)/(-3 + 0 - g) + -4. Suppose 2*h = 5*h - 3. Is j at least h?
True
Let q be 3*2/(-6) + (1 - 0). Suppose 0 = a + 59 + 121. Which is smaller: q or a?
a
Let a(d) = -44*d**2 + 667*d - 12. Let w be a(19). Which is smaller: -3224 or w?
-3224
Suppose 50*d + 4 = 52*d. Let s(p) = -6 - 8 + 5*p - 3*p**d - 9*p + 4*p**2. Let r be s(6). Is -2 <= r?
True
Suppose 0*n - 88 = 4*n. Suppose 0*r - 5*r = 2*j - 29, 106 = 3*j - 5*r. Suppose 0 = 24*a - j + 507. Do n and a have different values?
True
Let f = 1.43 + 533.57. Let w = 534.9 - f. Is 0.387 not equal to w?
True
Let j be ((-2232)/45)/((-399)/(-15)). Let g = -30/19 - j. Let q(b) = -b**3 + 7*b**2 - 10*b + 32. Let t be q(6). Which is bigger: g or t?
t
Let y be 4/(-18) - (-46)/45. Suppose -13*q = 6*q - 38. Let p be (13/(-7) + q - 0)*2. Is y greater than or equal to p?
True
Let m be 5*4/30*3. Suppose -4*z + 2*z + 3*d + 17 = 0, -4*z + 1 = 5*d. Suppose z + m = j. Which is smaller: 8 or j?
j
Suppose 2*u = -3*v + 31655, -6*v + 2*u + 63340 = -0*v. Which is smaller: 10554 or v?
10554
Let u = -1928 + 1131. Let a = u - -1106. Which is greater: a or 308?
a
Let h = -49 - -35. Let b = -395056/3 + 131687. Which is smaller: h or b?
h
Suppose -34*d + 3456 = 158*d. Is 145/8 not equal to d?
True
Let i(o) = -o**2 + 9*o + 7. Let f be i(8). Let z be (1 - 11)*(0 + (-6)/f). Suppose 0 = -z*k + 43 + 57. Which is greater: 26 or k?
26
Let t be -2 + -2 + 729/300*-4 + 2. Is -13 > t?
False
Let d be (-2972)/(-14) - 7*(-4)/(-98). Let w = d - 177. Suppose 3*a = 2*a + 33. Which is bigger: w or a?
w
Suppose -17*j - 6 = -6. Is j <= 58/437?
True
Let m be 3*(32/30)/2. Let u(b) = 2*b**2 + 2*b - 8. Let s be u(-4). Suppose s*c - 42 + 10 = 0. Which is smaller: c or m?
m
Let n = -38 + 43. Suppose -n*z + 6*z + 158 = -i, -4*i = 3*z + 475. Which is smaller: -155 or z?
z
Suppose -205 = -3*u + 5*c + 102, -2*u + 213 = -5*c. Let s = u - 383/4. Which is bigger: s or -1.5?
-1.5
Let k = -2095/3 + 349867/501. Suppose -r - v = -6, 22*r - 27 = 20*r - 5*v. Is k != r?
True
Suppose 2*o - 28 = 3*f, -4*o + 0*f + f + 56 = 0. Let z be o/(-77) + 7325/55. Does z = 133?
True
Let s = 1.313 + -1.66. Let w = s - -5.347. Which is bigger: w or -1/48?
w
Suppose -6*p - 3*t + 432 = -p, -p + 5*t + 64 = 0. Suppose 649 = 19*n - 890. Let m = n - p. Is m greater than or equal to -3/2?
False
Let u be (3/9)/(1/(-21)). Let t = 48 + -51. Let l be ((-3)/(-2) - t)*-2. Which is bigger: l or u?
u
Let t = -294 - -293. Let x be (-42)/(t + 2 + 135/(-105)). Which is greater: x or 146?
x
Let t = -37 - -32. Let o be -1*t/15*6. Suppose -3*c = -2*x - 25, 24 - 4 = -2*x - o*c. Is x bigger than -11?
False
Suppose -3*g = 3*x - 32058 + 4722, -4*g + 36478 = -2*x. Is 9118 >= g?
True
Let b = -1.6 - -2. Let j = 0.6 - b. Let x = -3350/27 - -124. Which is smaller: j or x?
x
Let h(i) be the third derivative of i**4/6 - 20*i**3 + 127*i**2. Let j be h(30). Do j and 39 have different values?
True
Let u = -22940 + 22947. Which is 