 = -z + 14. Let n be w(6). Let x(o) = -12*o + 12. Let y be x(n). Let l = -103 - y. Is -21 at least l?
False
Let w(s) = s**3 - 29*s**2 - 31*s + 42. Let p be w(30). Let d be 2*(-3 + 2) + p/3. Which is bigger: d or 57?
57
Let x be (-14)/(-4)*(-8)/(-28). Let j be (-5 + (-1 - -7))*x/88. Is j bigger than -0.5?
True
Let i(r) = 5*r**2 + 3*r + 7. Let z be i(-2). Suppose -30*p + z*p = 0. Which is smaller: p or 1/417?
p
Let f = -81/7 + 66/7. Let k = -2105 + 2104. Which is greater: f or k?
k
Let z = 1/54 - -89/1026. Let m = -32 + 37. Let g be 10/25 - (9/m)/(-3). Which is smaller: g or z?
z
Suppose -114*q - 665241 + 451655 - 555458 = 0. Do -6745 and q have different values?
True
Suppose -t + t - 2*t = 0. Let f = -6 - t. Which is greater: 2 or f?
2
Suppose 71*y + 80476 + 92906 = 0. Is y less than or equal to -2445?
False
Let n be (-4)/14 - (16/6 - 1025/525). Which is greater: 2/3873 or n?
2/3873
Let h = -60631/106 + 572. Let v be (-48)/(-72) + 2/(-3). Suppose 2*d + v*d = -2. Which is greater: d or h?
h
Suppose -10*p + 3*p - 594 = -p. Which is greater: -1272/13 or p?
-1272/13
Let q(o) = 2*o**3 - 28*o**2 + 26*o + 4. Let j be q(13). Suppose -j*d - 4*k = 8, 3*k - 2 = 4*d - 1. Suppose 1 = 2*p - 1. Is d at most p?
True
Let y = -38364/11 - -127478/33. Let d = y + -384. Let a(o) = -o**2 - 3*o + 2. Let w be a(2). Is w greater than d?
True
Let o be 0 - 2 - 10*(-64)/280. Which is smaller: 31 or o?
o
Let i(l) = -7*l**2 + 2*l. Let d(s) = 6*s**2 - s + 1. Let z(x) = -6*d(x) - 5*i(x). Let y be z(-3). Which is bigger: y or -1?
-1
Let q be (-62)/33 - (-6 - -4). Let i be (-1 - 2/(-4))/((-48)/1056). Suppose -10 = i*o - o. Which is smaller: q or o?
o
Let s = -479 + 588.6. Let z = -110.6 + s. Suppose -2*h + 0*h = 4, 4*x - 4*h - 12 = 0. Are x and z equal?
False
Suppose 7462*c - 7451*c = 0. Is c less than or equal to 1/4223?
True
Let c = 5090225/179 - 28437. Let g be -1 - (-3 + 2) - 1. Is c at least as big as g?
True
Let h = 3.431 - 3.891. Do -0.2 and h have the same value?
False
Let x = -612 + 583.1. Let t = 0.002 + -29.002. Let w = t - x. Which is greater: -19 or w?
w
Let t = -362 - -1329. Is 1 at most t?
True
Suppose 40*b + s = 41*b - 55, -3*b + 173 = s. Let m be (-174)/15*(-10)/2. Is m less than b?
False
Suppose r + 6*q - 2*q = -336, -r + q = 321. Let g be (-1 + -1859)*(-6)/(r/10). Let t = g - -344. Are 1 and t nonequal?
True
Let h be (18/8)/(76/95 - (-574)/(-80)). Which is bigger: h or 6?
6
Let k be (-820)/1144 - 5/10. Let s = k - -10/11. Is s < 0?
True
Let f be ((-8)/(-2984))/(1/70). Let l = f - -23708/4849. Let k = l - 1189/247. Is k at most -1?
False
Let s = -49128436/46706355 - -2/345973. Are s and -2 nonequal?
True
Let g = -1867492 - -28024481/15. Let o = -809 + g. Which is greater: -2 or o?
-2
Let k be (-1330)/1140*(-1)/7 + 14/(-12). Is k not equal to 1/10319?
True
Let d(f) = -f**3 + 17*f**2 - 12*f - 54. Let q be d(16). Let j(x) = -34*x + 115. Let l be j(q). Is l less than -224?
True
Let h(x) = -20*x**2 + 16*x + 551. Let o be h(25). Is -11548 < o?
False
Suppose 159*k + 7 = 160*k. Suppose 5*h + k = -d, -d - h - 7 + 0 = 0. Let l be (9/(-1))/((-2)/(-2)). Is d equal to l?
False
Let l be (-54 + 82)*3/12 + -6*1. Which is greater: l or 2/11887?
l
Let c(h) = -37*h**3 + h**2 - 3*h - 2. Let o be c(2). Let v = o + 299. Which is greater: v or -7/3?
v
Let i be (-1*2)/2*-25. Suppose -49*u - 376*u + 11050 = 0. Which is greater: i or u?
u
Let x be -3 + (-2)/306*-9*-365. Is x smaller than -23?
True
Let a be -118 + 6/(-30) + 32/10. Let o = 207 - 319. Is a > o?
False
Let r = -143 - -142.94. Let a = r - -106.06. Which is bigger: -2/5 or a?
a
Let u = -27/10 - -37/14. Let m be ((-8020)/(-588))/(-5) - -2*1. Let t = m + 3/49. Which is smaller: t or u?
t
Let o = -1994/561 - -63/17. Let r = 31/33 + o. Which is smaller: 0 or r?
0
Let j be ((-2)/(-8))/((-1)/4) + (-29 - 1). Are -85 and j equal?
False
Suppose -6 = -10*p + 44. Suppose -y - p*t + 26 = 0, y - 20*t + 15*t + 4 = 0. Which is bigger: y or -1?
y
Suppose 4713 + 6397 = -225*g - 1265. Suppose -172 = 2*k - 5*q - 35, 0 = -5*q + 25. Which is greater: g or k?
g
Let s(c) = 62*c**2 + 40*c - 315. Let u be s(7). Is u less than or equal to 3004?
True
Let g = 611/108 + 1/108. Which is bigger: g or 6?
6
Let x be ((-4906)/55)/(33/(-165)). Which is greater: x or 447?
447
Let a be -598 + 614 - 472/20. Let b = -6 - 1. Is a > b?
False
Let i(m) = -m + 11. Let d be i(6). Let p be (-2)/d + 5/((-25)/293). Let w = p - -59. Is w < -8/15?
False
Suppose 3*b + 560 = -2*s, -4*b = -2*b - 2*s + 360. Let x = 167 + b. Which is smaller: x or -16?
x
Let g = -2207 + 2216. Is g at least as big as -1120?
True
Suppose -116*v + 1974 = -109*v. Which is bigger: v or 1983/7?
1983/7
Let i be ((-3)/(-2))/((-23)/(-1702)). Suppose i*t - 119 = 118*t. Is -140/9 > t?
True
Let h = 11388 + -11389. Which is greater: h or 44/123?
44/123
Let h = -2/1035 + -76/345. Which is smaller: -3397 or h?
-3397
Let k = 4010 - 8019/2. Is 782 smaller than k?
False
Let o = -1 + 5. Let p be (-35)/o + 3/(-12). Let k = 303141/2 - 151578. Which is bigger: p or k?
k
Let a be -12*9*7/126. Let i(z) be the second derivative of -z**5/20 - z**4/2 - 7*z**3/6 - 15*z**2/2 - 4*z. Let y be i(a). Is y >= 26?
True
Let m be 17 - 1663968/92442 - (0 - 1). Are m and 0 nonequal?
True
Suppose 97*j = 3*a + 102*j - 247, 2*j = 5*a - 484. Is a <= 180?
True
Let x = 14671921/14 + -1047995. Suppose -4*c + 16 = 0, c + 0*c - 1 = -3*m. Is x < m?
False
Let k = 0.34973 - 0.27173. Which is smaller: 2 or k?
k
Let f = -100 - -102. Suppose -96 = -4*i + 4*u, -2*i + 75 = f*i + 3*u. Suppose -2*p + 29 + i = 0. Is 26 at least p?
True
Let g(r) = 24*r**3 - 5*r**2 + 6*r - 20. Let v(w) = -w**3 - 2*w**2 - w + 1. Let z(l) = g(l) - 4*v(l). Let k be z(2). Which is bigger: k or 233?
233
Let a be 3/(-3)*8/64*8. Let p = -419/814 + 14/37. Are a and p unequal?
True
Suppose -1526 = -5*j + 2*g, 10*j - 15*j + g = -1528. Let b = j + -311. Is b != 4/3?
True
Suppose 53*z + 12*z - 65 = 0. Which is bigger: z or 48/47?
48/47
Let n = -6364/55 - -579/5. Which is smaller: n or 682?
n
Let q be 7 + -4 - (-1 - -2)*-4. Let b(d) = d**3 - 8*d**2 - 5*d - 16. Let s be b(q). Let m be (-14)/(-2) + -5 - s/(-26). Which is smaller: m or -1?
m
Suppose -97 = -3*a + 2*p - 99, 0 = -5*a - 2*p + 18. Is 18/7 < a?
False
Let w be -2 - 110/(-44)*((-1545)/50)/(-3). Do w and 10 have the same value?
False
Let m be 1/(-5) + (7 - 6)*8968/40. Are m and 24 equal?
False
Suppose 54*p + 1379 = 61*p. Let r be (10/(-90) - p/(-396))*-16. Is -7 < r?
True
Let g(j) be the third derivative of -j**4/24 + 118*j**3/3 + 234*j**2. Let i be g(4). Which is smaller: -2/11 or i?
-2/11
Suppose 2*z + 30 = -4*j - 48, j - 152 = 3*z. Let a = z - -51. Let n be (a - 0)*(-2)/13. Are n and 1 unequal?
True
Let t = 811507/69122 + -10/2033. Which is smaller: t or 11?
11
Let i be 129*-14 + 0/((-24)/(64/(-8))). Which is bigger: -1810 or i?
i
Let w be 152/(-171) - (-52323)/(-54). Is -969 equal to w?
False
Suppose 464 = -15*w - 1816. Let x = 146 + w. Let i(b) = -b**3 - 8*b**2 - 13*b - 3. Let a be i(x). Is a >= 3?
True
Let g = 71 + -100. Let x be 86/(-8) - g/(-116). Do x and -4 have the same value?
False
Suppose -17608 = -10*d + 5002. Let f be 2/17 - (-2641)/d. Which is greater: 1 or f?
f
Let x = 2290111/178486305 + -77/6033. Which is bigger: 1 or x?
1
Let x be (-1 - 9/(-6))*(808 + 58). Which is smaller: -16 or x?
-16
Let q = -337 + 916/3. Let w be 5 + 2 - (27 + -2)/(-1). Let x = q + w. Which is smaller: x or -1?
-1
Let n(y) be the third derivative of y**6/120 + 2*y**5/15 - 5*y**4/12 - 4*y**3/3 + 4*y**2. Let i be n(-9). Let r = 180 - 1441/8. Does r = i?
False
Let m = -0.196 + 508.196. Let s = m - 508. Let c = 92/7 + -94/7. Is c not equal to s?
True
Let n = -208.62 - -208.5278. Is n greater than -1/2?
True
Let y be 25/(-3) + (32/24)/4. Let o be -1*-14*(-5)/10. Are o and y nonequal?
True
Let r = -1375 - -4831/3. Is 0 != r?
True
Let r(l) = 3*l**3 + 8*l**2 - 10*l - 19. Let u be r(-3). Which is greater: 1686 or u?
1686
Let a be 20/(-6)*(-4)/6. Let w = 4450 + -4449. Which is smaller: w or a?
w
Let p = 619970/217 - 2857. Let y = p - 667/3472. Let o be ((-2)/6)/(2/6). Is y bigger than o?
True
Let y be (-8)/(-64) + (0 - (-20950)/2064). Let b = y + 5/86. Which is bigger: 2 or b?
b
Let o = -9325.44 + 21.44. Let w = 9251.09 + o. Let c = -53 - w. Is