?
241
Let k(f) be the third derivative of -1/60*f**5 - 1/120*f**6 + 0 + 0*f**4 - 40*f**2 + 0*f - 2/3*f**3. Let b be k(-2). Is b >= -4?
True
Let v(i) = i**2 - 9*i - 85. Let u be v(15). Let z be ((-20)/14)/(48/(-196)). Which is smaller: u or z?
u
Suppose 60*p = 54*p - 5*h + 26, 3*p = 2*h - 5. Are -3/2546 and p equal?
False
Let g be (6230/49)/(9/(-63)). Which is greater: -888 or g?
-888
Suppose 0 = 2*w - n + 1 - 19, 0 = -3*w - 2*n + 13. Which is smaller: 105/16 or w?
105/16
Let c = -53 - -37. Let k(a) = -a**3 - 9*a**2 + a + 11. Let b be k(-9). Let g be (72/c)/(b/8). Which is greater: g or -17?
-17
Suppose 4 = -5*y + 2*q, -11 = -4*q - 3. Suppose y = -0*f - f. Do 6/101 and f have different values?
True
Suppose 0 = 4*b + 2*y - 104, 2*b + 0*b - 4*y = 52. Suppose -4 = 3*v - 4*m + 12, 3*m - 12 = 0. Suppose 13*q - 12*q - b = v. Is q greater than 25?
True
Let t = -23 - -32. Suppose 116 = -2*a - 4*z, 26*z = 29*z + t. Which is bigger: a or -53?
a
Let f = -12762/23 + 109255436/196903. Which is smaller: f or -1?
-1
Let s = 5697/11 + -517. Let m = -0.03 - -0.06. Which is greater: m or s?
s
Let x be -7 - 945/(-84) - -8*3/(-6). Let m = -6 + 4. Let f = -7 + m. Is f > x?
False
Let o(w) = -29*w + 319. Suppose 0 = 3*c + q - 30, 3*c + q - 8 = 2*c. Let j be o(c). Which is greater: 14 or j?
14
Suppose -i = 5*n - 19, i + 3*n + 13 = 6*n. Suppose -8231*s = -8227*s - 24. Let y be i/8*s/(-9). Which is greater: 0 or y?
y
Let l(a) = a**2 + 7*a + 2. Let d be l(-7). Suppose -v - d*p = -4, -2*v + 4*v = -2*p + 8. Let n = 239 + -235. Does n = v?
True
Let o = -8 - -7. Suppose 11*p + 7237 = 7061. Which is greater: p or o?
o
Let x = -3453 + 3452.8. Is -0.0073 less than x?
False
Let c be (-10)/(-7) - (-837)/(-434). Does 5/391 = c?
False
Suppose -z - 457 = -4*k, 3*k - 2*z - 348 = -3*z. Let u = k + 185. Suppose -11*a = -5*a + u. Is a smaller than -49?
True
Suppose 2*s = d - 89, -5*d + 48 = -s - 10. Let q = s - -46. Suppose -m - 2*m = -3. Which is greater: m or q?
q
Suppose -l + 142 = 14. Suppose -6*r + 3*r - 70 = -2*m, 4*m - l = 3*r. Which is greater: m or 31?
31
Let d be 330/(-15960) - (-3)/7. Is d equal to 1?
False
Suppose -4*o + j - 4 = 0, 37*o = 36*o - j + 9. Is -8/859 equal to o?
False
Let k = 7/9 + -625/792. Which is smaller: 27 or k?
k
Suppose -5*y - 4*n = 116, 3*n = -4*y + n - 94. Let f be y/58*90/(-54). Which is bigger: 1 or f?
1
Let n = 53.58 + -58. Let d = -4.52 - n. Which is smaller: d or -172?
-172
Suppose 6 = -4*s - 14, 0 = 5*w - s + 20. Let r(z) = -z + 8. Let y be r(w). Let i be (9/(-5))/(147/(-980)). Is y greater than i?
True
Suppose 0 = -6*q + 9*q + 12, 1 = -o - 4*q. Is 217/15 equal to o?
False
Let b(g) = g**2 - 7*g - 13. Let q be b(8). Let f be q + 36/(-42) + -3. Let d be 1*-7 - (0 - -1). Which is greater: d or f?
d
Let v(j) = -24*j**2 + 931*j + 79. Let c be v(28). Which is smaller: 7330 or c?
7330
Let c(h) = -h**3 + 24*h**2 - 21*h - 16. Let a be c(23). Let s be (-68)/a*(75/(-84))/5. Let f = 2/21 + s. Which is greater: -9/4 or f?
f
Let p = 110 + -77. Let r be (p - 36)/(2/(-6)). Suppose 4 = 11*h - r*h, -5*j = -h - 3. Which is smaller: j or 17/9?
j
Let f = -10156 + 8131. Is -2027 > f?
False
Let g = 54646 - 109293/2. Suppose -2*s + 3*s = -2. Which is smaller: g or s?
s
Let c = -13092 + 16543. Which is bigger: 3452 or c?
3452
Suppose -2*d - 3*o + 24 = 0, -4*d + 0*o + 40 = 2*o. Let g = d + -14. Let x = 0.3493 + -4.3493. Which is smaller: g or x?
g
Let y(a) = 85*a + 767. Let c be y(-10). Which is bigger: -88 or c?
c
Let k be (-3)/(-27) - 7340/1260. Which is bigger: -6 or k?
k
Let i be 24/(-216) + (-34)/18. Let v be (-1 - i)*(3 - 2). Does v = -39?
False
Let z(v) = -3*v**2 + 44*v - 14. Let y be z(14). Which is greater: y or 250/19?
y
Let k = -4001 + 4002. Which is bigger: 2327 or k?
2327
Let b(i) = -i**3 + 16*i**2 - 4*i + 7. Let y be b(16). Let f = y + 11. Let l = f - -137/3. Is l at most 2.7?
True
Let w = 446 + -448.15. Let f = w - -2.45. Which is smaller: 0.019 or f?
0.019
Let s(d) = 479*d - 20. Let u be s(-1). Let w = -9479/19 - u. Are -0.05 and w unequal?
True
Let x = 73 + -6. Let f = -66.93 + x. Let o = f - 1.07. Are 5.5 and o non-equal?
True
Let h be (58/3)/((-672)/(-3336)). Let p = h - 96. Suppose 7*y = 3*y. Is p bigger than y?
False
Suppose -35*d + 477 = -30*d + 4*v, -2*d + 2*v = -198. Let o = -183 + 86. Let k = d + o. Which is bigger: k or -26?
k
Suppose -16*a = -2*a - 42. Let i = a + -13/4. Which is smaller: 1/16 or i?
i
Let a(o) = o**2 - 5*o + 8. Suppose -4*u + 6*u - 8 = 0. Let b be a(u). Suppose -4*n + 8*n - 2*l = 2, 20 = 4*l. Are n and b equal?
False
Let b = 136376/17 + -8022. Let f = 2174/5 + -438. Is b > f?
True
Let s = 5430130/133 - 40828. Is -6 less than s?
True
Let c = -144 + -43. Let k = -265 - c. Let u = k + 85. Which is smaller: -2/7 or u?
-2/7
Let l = 8 + -6. Let a = l + -1.9. Let q be (-26)/2 + ((-28)/448)/((-9)/1404). Is q at least as big as a?
False
Let c(h) = 9*h + 4. Let u(g) = 10*g + 5. Let q(x) = -4*c(x) + 3*u(x). Let f be q(-1). Suppose f*b = 3*b - 6. Is b less than -4?
False
Suppose -3*z = 4*g - 472, -22*g = -21*g + 2*z - 118. Is g bigger than 117?
True
Let b = -12/6379 + 6427/25516. Which is bigger: 12439 or b?
12439
Let n = -8740 - -4283. Which is smaller: n or -4458?
-4458
Let p = 1149 - 2537. Which is smaller: -1389 or p?
-1389
Suppose -136 + 416 = -20*y. Let d = -42 - y. Let g = -44 + 16. Is d at least as big as g?
True
Let x be 120/(-280)*(-31115)/30. Is 445 > x?
True
Suppose 0 = 2*c + 22. Let i(g) = -3*g**2 - 186*g - 372. Let o be i(-2). Which is smaller: o or c?
o
Let d be (1 - 6)*(-3439)/29. Suppose 6*a - 1480 = 2078. Let w = a - d. Is 0 bigger than w?
False
Let h be (-12 + 11)*(5 + 1 + (-478892)/79816). Is h >= 1?
False
Suppose 4587 + 33543 = 62*s. Is 612 < s?
True
Let s = -14 + 15. Let j = -16177/3 - -5318. Let y = -73 - j. Is s at most y?
True
Let q(c) = -c**3 + 32*c**2 - 2*c + 165. Let t be q(13). Is t != 3352?
True
Suppose 5*o + 4*r + 1691 = 0, 15*r - 11*r = -16. Let w = o - -199. Which is smaller: -412/3 or w?
-412/3
Let p be (-607)/4 + (1 - 2). Let q = 153 + p. Is -22 at most as big as q?
True
Let w be (-19)/3 - (-19)/57. Let a be (w/(-5))/(51/(-1700)). Is -40 at most a?
True
Let v = -3181536/7 - -455880. Is 1375 at least v?
True
Let z(g) be the third derivative of -31*g**4/24 + 31*g**3/3 - 30*g**2 + 2*g. Let k be z(2). Which is smaller: k or -4/209?
-4/209
Suppose 2*i - 5*i = -9. Suppose -3*w + i*r + 342 = 0, 3*r = -5*w + 45 + 541. Suppose 0 = -4*q - 26*n + 22*n + 460, 2*q = -3*n + 229. Is q bigger than w?
False
Let t(d) = 13*d**2 + 2*d + 1. Let x be t(-1). Let a be -8 + (-5456)/(-576) - (-10)/(-8). Which is smaller: x or a?
a
Let o = -186 - -1296/7. Let z = 11626/9 - 1292. Are z and o unequal?
True
Let z(p) = 13*p + 2. Let m be z(-2). Suppose -62*q - 10*q - 54000 = 0. Let u = q - -753. Which is greater: m or u?
u
Let r = 124 - 62. Let b = r - 64. Let m be 5/((-105)/27) - (b - -3). Is -1/2 greater than or equal to m?
True
Let v be (1 - (-22)/(-14))/((-5)/35). Suppose 0 = 5*q - 3*r - 185 - 267, -5*r = v*q - 369. Is q not equal to 89?
True
Let q = 839 + -838.519. Let s = q - -0.119. Is -5 >= s?
False
Let s = -27/107 - -1120417/4439323. Which is bigger: -1 or s?
s
Let n(w) = 307*w**2 + 12*w. Let p be n(-3). Let c = p + -18990/7. Which is smaller: c or 13?
13
Let q(m) = -m - 5. Let j = 27 - 41. Let c be q(j). Let x be c/(-2)*((-6)/(-36) + 0). Is x not equal to -2?
True
Let l = -298.8206 - -1.8206. Does -42 = l?
False
Let b(c) = 2*c**2 - c**2 - 14*c**3 - c + 13*c**3. Let k be 56/308 + 4/(-22). Let l be b(k). Which is greater: l or -1?
l
Suppose -88*s = 2349 - 677. Let m = 3 + 1. Which is smaller: s or m?
s
Let k = -33157 - -33206. Let m be (-7)/((-21)/150)*1. Which is bigger: m or k?
m
Let i = 1168.98 + -1173. Which is smaller: -2/7 or i?
i
Suppose -1594 - 248 = v - 15590. Are 13749 and v nonequal?
True
Suppose -4*f + 46 = -3*f. Let m(j) = j**3 - 10*j**2 + 11*j + 33. Let p be m(9). Let o = p - f. Is 9 != o?
True
Let d be 6/21 - (-8)/(-28). Suppose 5*b + 0*b - 105 = d. Let x be -9 + (8 - 1) + b/(-2). Is x greater than -12?
False
Let n = 49/9 - 61/9. Let z = -182 + 151. Which is bigger: z or n?
n
Let v be (-64)/(-256) + 2/(-8). Let r be (168 - -6)*4/(-6). Let x be 2 + 118/r + -1. Which is greater: x or v?
v
Let n(f) = -f**2 - 27*f