20 - b. Is 6 smaller than k?
False
Let n(y) be the second derivative of 2*y**3 - 9*y**2 - 9*y - 1. Let s be n(14). Let i = 84 - s. Which is greater: 1 or i?
1
Let z be -12 - 636/(-48) - 1262/(-8). Do 315/2 and z have different values?
True
Let o = -1125 - -1009. Which is greater: o or -96?
-96
Let l be (45/(-12) + 8)/((-23)/(-176)). Which is smaller: 32 or l?
32
Let x = -3665.4 + 3695.46. Is x at least as big as 0?
True
Let j = -18 - -21. Let v = 3 - 12. Let n be 2 - 2 - (5 + v). Is j at least as big as n?
False
Let t(n) = -7*n + 266. Suppose 16*k - 266 = 9*k. Let b be t(k). Which is greater: b or 38/21?
38/21
Let q(z) be the second derivative of -z**4/6 - 2*z**3/3 - 18*z. Let l = 61 - 59. Let w be q(l). Which is smaller: w or -14?
w
Let z = -2 - 1. Suppose -51*s + 2612 = 3020. Which is smaller: z or s?
s
Let p = 0.86 - 3.26. Let h = p + 7.7. Let k = 4.2 - h. Which is bigger: k or 2/7?
2/7
Let d = -271 + 174. Let y(g) = -77*g**2 - 1069*g + 29. Let n be y(-14). Let q = d - n. Which is smaller: 4 or q?
q
Let v = 366 - 540. Let c = 175 + v. Which is bigger: c or 1/80?
c
Suppose -2995 = -113*i + 2881. Is i less than 50?
False
Let y be 4011/(-573) - (2/4)/((-1)/(-18)). Which is bigger: 47 or y?
47
Let q = 3677 - 3672. Suppose t + 0 - 5 = 0. Suppose -l + q = t. Is 3/20 <= l?
False
Let j = 382610 + -382189.646. Let c = j + -420. Let m = 0.046 + c. Which is bigger: -14 or m?
m
Let o = 16 + -10. Let s = -52 + 54. Suppose -s*p - p = -o. Which is smaller: p or 0.04?
0.04
Let v = 79 - 60. Suppose -v = 4*k - 7. Let j be 0/(k/((-1 - 3)/4)). Which is bigger: j or -2/401?
j
Let z be -2*((-2)/(-4) + -2). Let b = -314 - -560. Let r = -249 + b. Is r < z?
True
Let o be (-4 - (-1374835)/(-130))*4/(-18). Let m = 2351 - o. Is -1 < m?
True
Suppose -3*u = 3*p + 249, u - 6*p + 65 = -p. Let m be u/(-32)*8/(-10). Which is greater: m or 7/4?
7/4
Suppose 2*v - v = 6. Suppose -4*u = -f - 514, -25*u + 21*u - 2*f + 520 = 0. Let n = 136 - u. Is v greater than n?
False
Suppose 5*g + 5 = 0, 2*b - 3*g + 3 = -0*b. Let d be b/(((-9)/2)/3). Let z be (-2 + (1 - 2))*d/(-3). Is z smaller than 13/6?
True
Let p = 27 - 20. Let k be 4/p - 1020/21. Let y = -25 - k. Which is smaller: -1/4 or y?
-1/4
Let t = 0.03 - 0.67. Let y = 108.43 + -109. Let d = t - y. Is d less than -2/7?
False
Let b = -0.4 - -0.3. Let s = -73.621 - -76.521. Which is bigger: b or s?
s
Let g be (-21 - 2316/(-24))/((-1)/3). Which is greater: g or -228?
g
Let b be (-65083)/(-70) - 3/(14 + -8). Let k = 929 - b. Is k bigger than 0?
False
Let z = -0.087 + -16.913. Let p = -32 - z. Let b = 16 + p. Which is smaller: b or 13?
b
Let m = 38.5 - 71. Let q = -21.5 - m. Which is greater: 0.2 or q?
q
Let a = 111 - 0. Let n = -163 + a. Which is smaller: -2 or n?
n
Let h(q) = -2*q**3 - q**2 + 1. Let v be h(-1). Let j(d) = 7*d - 10. Let r be j(v). Let p be -12*((-2)/(-8))/(-1). Is p at least r?
False
Let w = 4621377497/171114316 + 7619/63706. Let r = w - 461/17. Which is smaller: r or 1?
r
Suppose -4*y = 5*v - 11, 3*y = y + v + 23. Let q = 90976 - 90974. Are y and q non-equal?
True
Let p = -0.21142 + 0.2404. Which is bigger: p or 1?
1
Let q be 216/(-243) + (-722)/(-1197). Is q greater than 1/3470?
False
Let o be (-1)/((-2)/39)*(-80)/(-30). Let p = -26 + o. Let d be 23 + -19 - p/7. Which is smaller: 0 or d?
0
Let m = -14952 + 16210. Are 1263 and m non-equal?
True
Let v be (-4410)/(-35)*(20/12)/5. Is 68 >= v?
True
Let j = -210 - -141. Let z = 68.7 + j. Which is greater: z or -2/33?
-2/33
Let l = -4317 - -4311. Which is bigger: l or -257?
l
Suppose -101268 - 69679 + 28347 = 115*p. Are -1242 and p unequal?
True
Let b = -215 + 219. Suppose z = -3*z - 460. Let s be 1/(-1) - (z/10 + b). Which is greater: 8 or s?
8
Suppose -3*s - 4*c + 31052 = 0, -104*c - 41406 = -4*s - 106*c. Is 10354 != s?
True
Let p(d) be the third derivative of -d**6/120 - d**5/12 - d**4/12 + 4*d**3/3 + 14*d**2. Let b be p(-4). Let w be (-12)/36*(3 - b). Is 2/107 at least w?
True
Suppose 5*p - 56 + 481 = 5*u, 5*p = -3*u - 417. Let q(o) = -10*o - 4. Let v be q(8). Is p greater than or equal to v?
True
Let f = -175 + 54. Let i = -91 - f. Let h = -3 + 5. Are i and h nonequal?
True
Let u be (-5 + 26)/(1/6*2). Let b = u + -64. Let i be (-1 + -1)*b/2. Is 0 != i?
True
Let b(z) = z**3 + 21*z**2 + 6. Let p be b(-21). Let i be (((-18)/(-5))/p)/1. Let w = -1.37 + 1.37. Is i < w?
False
Let n(s) = s**3 - 12*s**2 - 174*s + 1. Let i be n(-9). Which is greater: i or -132?
-132
Suppose -617 = -3*x - 47. Let o = 141 - x. Is -49 smaller than o?
False
Let g = -636 - -1005. Let w = g + -368. Is 5/2 at most w?
False
Let v = -6701 + 6945. Is v > 2198/9?
False
Let b = 51 - 49. Let t be 10/4 - (15/(-6) + b). Suppose t*h + 1 + 14 = 0. Are h and -10 nonequal?
True
Let w(p) = -p**2 + 5*p + 10. Let v be w(6). Suppose 3*o + v*d = 187, 3*o + d - 45 = 139. Suppose 2*y - 99 + o = 0. Is y greater than 19?
False
Let c be 10678/(-4462) - (-1188)/(-6831). Which is bigger: -3 or c?
c
Let j be (-973)/14 + 10/(-4). Suppose -t = q - 80, 0*t + 172 = 2*q + 5*t. Let l = q + j. Which is bigger: l or 5?
5
Let n be (1/4)/((-4)/96*-6). Let j be 2/76*-4*77/22. Which is smaller: n or j?
j
Let n = 92.2 + -116.2. Let q = 63 + -64. Which is smaller: q or n?
n
Let g = 136009/4284 + 2/1071. Let n be ((-13)/2 + -7)*-2 - -6. Are n and g equal?
False
Let z be (-18)/21*(-36)/(-72) + (-10)/42. Which is smaller: z or -1385?
-1385
Let m(j) = 6*j + 58. Let n be m(-9). Suppose -5 = 3*k - 2*i, -2 = -3*k - i - n*i. Is 3/170 bigger than k?
True
Let s = -1130 - -118648/105. Suppose -2*j - 6 + 10 = 0. Suppose -3*k = -k + j. Which is smaller: s or k?
k
Let v be -1*(-4)/(-22) + 2/12*-51. Do -9 and v have different values?
True
Let r(o) = -o**2 + 50*o + 251. Let g be r(56). Is g smaller than 5?
True
Suppose 0 = -10*t + 5*t - 5*o - 20, -3*t - 4*o = 12. Let f be t/(-10)*(-5)/50. Is 1/4 at least f?
True
Let m be (-1)/2 + (-110)/(-124). Suppose 127*o + 38 = -4*t + 130*o, -t = 4*o - 57. Is t at most as big as m?
False
Let c = -2 - -1. Let g = 1063.24 - 2.24. Let k = g - 1063. Which is smaller: k or c?
k
Let h(o) = 4*o + 2. Let u be h(-2). Suppose 4 = -391*i + 389*i. Let k be (-754)/(-117) + -12 + i/(-9). Is u < k?
True
Let u be (-3)/(-10) + (-870)/400*-4. Is 43 equal to u?
False
Let i(y) = -2*y - 38. Let r be i(-18). Let u be (2 - r/(-8))*4*7. Let p = -48 + u. Which is bigger: p or 1/23?
p
Let r(g) = 18*g**2 + 141*g - 7589. Let t be r(42). Are t and 30085 unequal?
False
Suppose -d = -2 + 3. Let r be ((-6)/936)/(3/(-1052984)*2). Let k = 1125 - r. Is k not equal to d?
True
Let z = -1.9426 - -49.9426. Suppose -3*x + 10 = k + 25, k = 5*x + 25. Suppose -2*c + 16 = -4*p + 4, -5*c + 20 = k. Which is greater: z or p?
z
Let s(x) = -x**2 - 12*x + 193. Let h be s(16). Let o = -154 - h. Is o >= -5?
True
Suppose i + 7 = 2, -4*w - 950 = -2*i. Let r(h) = 16*h**3 + 90*h**2 + 7*h + 18. Let u be r(-6). Is w > u?
False
Let h = 19716 + -19709.989. Which is smaller: h or -1/3?
-1/3
Let p be (2856794989/(-404))/(35/(-28)). Let b = 5657017 - p. Let j = 14/5 + b. Is j greater than or equal to 1?
False
Suppose -a = -4*v - 16, 0*a + 3*a = 2*v + 8. Is 1/3919 less than a?
False
Let b(o) = o**3 + 7*o**2 - 7*o + 7. Let w be b(-8). Suppose 551 = 13*y - 47. Let i = -42 + y. Which is smaller: w or i?
w
Let i be -5 - ((-351)/315)/(9/(-15)). Suppose -29 - 1 = 5*s. Is s greater than or equal to i?
True
Let q = -1.8142 + 1.8142. Let z = -9 - -7. Which is smaller: z or q?
z
Let l = 5572 + -437. Let j be -1*l/(-575) - 3. Let d = -72/23 + j. Is d greater than 4?
False
Let s = -4121 - -4120.3. Is s greater than -532?
True
Let y = 263953 + -1143972297/4334. Which is greater: y or 1?
1
Let b(d) = 1. Let o(s) = -5*s - 25. Let i(m) = 5*b(m) - o(m). Let w be i(-5). Suppose -w*r + n - 143 = 0, r + 21 = 5*n - n. Which is smaller: r or -1?
r
Let k(z) = -z**3 + 5*z**2 - 2*z - 3. Let p be k(4). Let u be ((1 - p) + -1170)/1. Let f be u/(-14) - (-5)/35. Is f at least 84?
True
Let g(q) = 67*q - 947. Let w be g(0). Is w at most 2?
True
Let j be (-3)/6 + 6 + 4 + 10254/(-12). Is -847 > j?
False
Suppose 37 = -2*q - 11*w + 14*w, 4*w + 4 = -4*q. Let d be (-26)/2 + 5 + -6. Let v = d - -6. Is q at most as big as v?
True
Let r be (2424/264)/(-1) + 4/22. Which is greater: 30 or r?
30
Let o be 6/(-8)*((-352)