-200*u + 81. Let w be r(6). Let x = -66019/59 - w. Which is bigger: 0 or x?
x
Let j be 732/(-9)*((-55)/10 - -4). Let p be 13/(468/(-27))*(-328)/2. Which is greater: j or p?
p
Let l = 0.26985 + 0.05835. Which is bigger: 4 or l?
4
Let x be (-32 + 4)*(-1)/(14/(-12)). Let m(o) be the third derivative of -o**6/120 + o**5/15 + o**4/3 + o**3/6 - 3*o**2. Let s be m(6). Are x and s unequal?
True
Let c(x) = x**3 + 3*x**2 - 2*x. Let j be c(0). Suppose j = -12*z + z - 88. Let m be (z/24)/(22/4). Does m = -2/5?
False
Let g(x) = 3*x - 96. Let s be g(-13). Let p = -137 - s. Which is smaller: -32/11 or p?
-32/11
Let u(h) = -h**3 + 8*h**2 - 3*h - 11. Let f be u(7). Suppose m = 4*q + f, -3*m - 35 + 54 = -4*q. Is m greater than or equal to -3/71?
True
Let x = -554 - -553.8. Which is greater: x or 0.105?
0.105
Suppose -7993 + 7950 = -4*d - 3*t, 2*t = 5*d + 21. Let g(n) = n**3 - n**2. Let k be g(0). Suppose k = -w - w. Is w less than d?
True
Suppose -7*l + 180 = 3*l. Let b = 21 - l. Let k = 163/50 + 6/25. Is b smaller than k?
True
Let f = -18.08331 + -0.11669. Does f = -49?
False
Let l(q) = 3815*q**2 - 184*q - 184. Let n be l(-1). Is n > 3815?
False
Let k = -852 + 488. Let y be (52/k)/(8/6). Is 1 > y?
True
Suppose f + 5 = 20. Suppose -18*n - 834 = -1086. Which is greater: f or n?
f
Let l = 2/9339 - -16888/8358405. Let g be (3 - (-5 + 2)) + (0 - 5)*1. Is g at most as big as l?
False
Let h be 33/((2/((-12)/6))/1). Is h > -16?
False
Let y be 218/(-10) - 0/2. Let h be 97844/(-4636) - (-2)/19. Which is smaller: y or h?
y
Suppose h = 2*h + 2. Let t = 9269.8 + -9303.8. Which is smaller: t or h?
t
Let a = -8163.87 + 8164. Let f = -0.13 - 0.07. Which is smaller: a or f?
f
Let a = 3659212/450019243 - -2/366167. Is 1 at least a?
True
Let y(z) = -z**3 + 6*z**2 - 2*z + 11. Let r be y(6). Let m = -278/213 + -2/71. Is m > r?
False
Suppose 4*y + 4*l = 840, -2*y + 642 = y - l. Let t be (6/8)/(y/10). Is -1 at least t?
False
Let c = 65 + -99. Let r = c + 18. Let j = 168 - 169. Is r less than j?
True
Let v = 7533658498/9 - 2523715387334/3015. Let r = v - 19970. Do -1 and r have the same value?
False
Let g = 0 + 2. Let l be (3/(-18))/(3/9) - (-53)/34. Do g and l have different values?
True
Suppose 4*a = -q + 120 + 8, 0 = 4*q + 2*a - 582. Is 147 bigger than q?
False
Suppose -10*g - 23*g - 35343 = 0. Are g and -1070 non-equal?
True
Let g be 22/1293*604/56 - 0. Let x be -3*((10 - 7) + 2584/(-862)). Let k = g - x. Which is smaller: 1 or k?
k
Let m(w) = w**3 - 143*w**2 - 581*w - 12. Let o be m(147). Is 1024 less than or equal to o?
False
Suppose -83597 = 64*p + 126*p - 637447. Is 2913 != p?
True
Let d(m) = 10*m**2 + 317*m - 6. Let k be d(-33). Is 425 at least as big as k?
True
Let b(m) = -11*m**3 + 2*m**2 + 15*m - 21. Let c be b(2). Is -141/2 at least as big as c?
True
Let x be 2/4 - ((-1482)/(-326) + -4). Let l = x + 15397/1630. Which is bigger: 8 or l?
l
Let j(w) = 3*w + 8. Let t be j(-6). Suppose 18*a = 20*a - p - 37, 5*p - 100 = -5*a. Let m = a + t. Which is smaller: 2 or m?
2
Let k = 1.53 - -8.47. Let c = 43 + -35. Let d = k - c. Is d < 8?
True
Let u = 7.2 - 54.2. Let l = u + 78. Let k = l + -29. Which is smaller: 5 or k?
k
Suppose 0 = -4*a + 3*k + 153, -a + 75 = a - 3*k. Suppose -8500 = 5*g - a*g. Are g and 252 unequal?
True
Let x(h) = -17*h**2 - 33*h + 28. Let w(c) = 9*c**2 + 16*c - 14. Let y(o) = 11*w(o) + 6*x(o). Let d be y(-8). Are d and -0.09 nonequal?
True
Let z = 430 + -600. Let f be 221/z*(-45)/(-2). Which is smaller: -30 or f?
-30
Let v = 3986 + -5648. Which is smaller: -1663 or v?
-1663
Let u = 48 + -43. Suppose -u*z + 18 = -0*z + 4*t, 4*t - 8 = 0. Suppose m = -2*w + 38, -2*w = -4*w + z*m + 32. Is 16 > w?
False
Let n be (-1 - 2)*6/(-9)*-2. Let g be (-2 - 0) + ((-4)/n)/1. Let m be g/(201/51 + -4) + -2. Which is greater: 14 or m?
m
Let l = -105 + 178. Let u = -58 + l. Suppose 188 = u*o - 427. Which is greater: o or -0.2?
o
Let s = 4483/3 + -493127/330. Let b(c) = -c**2 + 16*c + 1. Let r be b(16). Is s < r?
True
Let p be 40/(-6)*96/(-64). Suppose 2*b - 64 = -2*i, b - 3*i - 10 = p. Which is smaller: b or 34?
b
Let d = -1246.47 + 1257. Let m = -0.47 - d. Let h = 8 + m. Which is smaller: h or 0?
h
Let g be (((-126)/5)/(-3))/(8/((-1600)/12)). Is -145 smaller than g?
True
Let f = -157507/147932 - -1/4772. Is f greater than or equal to -1?
False
Let i be (7 - 66/9)*(-6)/16. Suppose 4*p - 2*o - 76 = -0*o, 3*p - o - 58 = 0. Let x = -19 + p. Which is smaller: x or i?
i
Let b = 17873 + -11451. Are b and 6424 non-equal?
True
Let v be (-1)/(-2)*1 + 42. Suppose 1268*y - 13071 = 20577 + 22144. Which is smaller: v or y?
v
Let y(p) = -p + 20. Let z be y(10). Suppose -6*m + z*m - 832 = 4*t, 2*t + 4 = 0. Which is greater: 207 or m?
207
Let n be 335/1340*(1 - 11). Let p = 12/25 - 2/25. Are p and n equal?
False
Let g = -78.94 - 1.16. Let f = 0.154 - -80.846. Let v = f + g. Is 0.02 greater than v?
False
Suppose -3*d = 4*v + 11, -2*d - 2*v - 6 = -0*d. Let q(b) = -11*b + 72. Let a be q(7). Let m be 24 + -22 + -1 + -2 - a. Which is bigger: m or d?
m
Let x = -363.62 + 292.3. Let n = x - -73. Let z = n - -0.32. Does 0.1 = z?
False
Let c = -43 - -27. Let v = c + 7.2. Does v = -2/9?
False
Let k = -25.1 + 35. Let d = 52.9 - k. Let w = d - 40. Is -1 at most as big as w?
True
Let r = 8 + -3. Suppose r = 7*j - 6*j, 89 = 4*d + j. Let w be (-6)/21 - (-13)/d. Is 0.49 > w?
True
Let t = 1162 - 1101.16. Let a = 14.72 - t. Let z = a + 46. Which is bigger: 0 or z?
0
Let a(s) be the third derivative of -49*s**4/24 - 2*s**2 - 18. Let p be a(0). Which is smaller: p or 11/87?
p
Let a = 1415 - 191023/135. Let w(l) = -l**3 - 9*l**2 - 8*l + 10. Let c be w(-8). Suppose 3*b + 15 = 0, -5*s = 8*b - 11*b - c. Which is bigger: s or a?
a
Let j = -227.89 - -201.9. Which is smaller: j or 2/7?
j
Let j(p) = -2*p - 18. Suppose 7*h + 36 = 3*h. Let z be j(h). Suppose w + 1 = -3*u, z = -2*u - 3*u. Is w < 1/18?
True
Suppose -184 = -q - 31. Let x = q + -1068/7. Is -7 equal to x?
False
Let k be (1*-6 - (-21690)/3420)*(-1 + 241). Is k less than 83?
True
Let p be ((-22)/4 - -6)/(1/9). Let t = 40 - 33. Suppose -t*q + 72 = 5*q. Which is bigger: q or p?
q
Suppose -18 - 20 = -19*l. Let c = 17 + -3. Suppose 0 = s - 2*t + 1, c = s + 3*s + t. Is s <= l?
False
Let k be -13 + 2 + 15470/1495. Which is greater: k or -4?
k
Suppose 250 = 9*w + 250. Which is greater: w or 4/211?
4/211
Let p be 1/2 - (-28132)/8038 - (-304 - -308). Do p and 0 have different values?
True
Let k = 358 - 362. Let h(g) = -2*g**2 - 12*g - 16. Let m be h(k). Let z = 8/77 - 46/231. Which is smaller: m or z?
z
Suppose 3*s - 23 = -q - 2*s, -5*s + 215 = 5*q. Let m = -3322 - -2142. Let h be 12/15 + m/(-25). Is q less than h?
False
Suppose 29*r + 4 = 26*r + v, 4*v = 4. Are r and 2/515 equal?
False
Let f = 7714 - 7789. Is -8 >= f?
True
Let p = -32 - -30. Let z(i) = -12*i**3 + i**2 - i - 3. Let a be z(p). Let x = -90 + a. Are x and -1 equal?
False
Let v be (4 + -4)/(-7) - -504. Let o be ((-30)/v)/(60/(-32)). Is o at least as big as 5?
False
Suppose -40*o - 138 + 98 = -0*o. Is -23 >= o?
False
Suppose 1 - 8 + 7 = 34*m. Let x be 48/9*(-18)/4. Which is bigger: x or m?
m
Let u = 7367 + -6355. Which is smaller: -1/2 or u?
-1/2
Suppose 319*p - 317*p - 12 = 0. Suppose -33 - 39 = -p*n. Is 73/6 not equal to n?
True
Suppose 0 = -127*m + 1265 - 8123. Is -0.026 bigger than m?
True
Let l be (3*(1 + 2))/(6/16). Let q be (-3 - -1)*l/36. Is -2/21 smaller than q?
False
Suppose j + 0 - 4 = 0. Suppose -j*c - 5*n - 3 = -19, -4*c - n = -16. Suppose 2*p = -c*y + 6, -y + 6*y - 10 = -5*p. Which is smaller: 1/17 or p?
1/17
Suppose 0 = 2*n - 4*k + 8, -2*n - 4*k - 14 = -6. Let b be (-50)/(-3) - n/12. Is b less than 17?
False
Let w = 0.1737 + -0.1937. Are -22.5 and w non-equal?
True
Let o(y) = y**2 - 19*y + 105. Let j be o(11). Suppose 852 = -20*a + j*a. Which is greater: -285 or a?
a
Suppose 0 = -a - i + 11, -3*a + 29 = 8*i - 4*i. Suppose 15 = -a*l + 16*l. Let u be (-23)/28 + l/(-35). Which is smaller: 0 or u?
u
Let w = -2116 + 1837. Is w smaller than -283?
False
Let z = -210.6 + 224. Let j = 12.4 - z. Is -4 less than or equal to j?
True
Let y(j) = 14*j + 32. Let t be y(-2). Let a be t - (12/(-6) - -27). Suppose 0 = 2*m + 3*m + 95. Which is smaller: m or a?
a
Let t be (-27)/(-240) - (4/30 + 0). Is 8/21 > t?
True