as big as 20/9?
True
Let i = 0.43 - -83.57. Let o = i - 86. Let a = o - 11. Which is smaller: 1/2 or a?
a
Let b(h) = -h**3 + 3*h**2 + 5*h - 1. Let d be b(4). Suppose 357*q + 260 = 370*q. Suppose 0 = u - d*v - 12, 0 = 4*u + v + v - q. Is u less than or equal to 6?
True
Let j be (-6 + 4)*(-10)/(-5415). Which is bigger: -1 or j?
j
Suppose -4*s - 9 = 5*s. Let f be (3 - -3) + (-2400)/376. Which is smaller: s or f?
s
Let f(h) = -h**3 - 5*h**2 + 13*h - 2. Let k = -98 - -91. Let p be f(k). Suppose 3*j + v + 5 = 0, 4*j + p*v + 5 = 2*v. Is j > -10/7?
False
Let g be (-8)/10 + (-2 - 0). Let k(q) = -5*q - 52. Let w(b) = 9*b + 35. Let i be w(-5). Let j be k(i). Which is smaller: j or g?
g
Suppose 18 = -3*j, 206*j + 18 = -4*r + 203*j. Is r less than or equal to 2/67?
True
Suppose 24*s = -157*s. Which is greater: s or 0.332?
0.332
Let v be (-5)/4 - 3495/(-1380). Does 2 = v?
False
Let m(y) = 5*y**2 - 4*y + 3. Let h be m(2). Suppose -3*t + 50 = 5*i - 3*i, -5*t = 3*i - 74. Let v be (-4 - (-96)/i) + 109/7. Is h equal to v?
True
Suppose 17*l = 12*l - 60. Let z be (-5)/(-20)*0 + l/296. Which is smaller: z or 0?
z
Let f(u) = -751*u**3 - 4*u**2 + u + 1. Let p be f(1). Let c = -498 - p. Which is smaller: 256 or c?
c
Suppose 4*m + 2*t + 4 = 14, 2*m - 3*t - 9 = 0. Suppose 3*h - 2*h - m = -p, -3 = p. Let n be 2/11 - 190/(-44). Which is greater: h or n?
h
Let i be -3*2733/132 + 6/(-24). Which is smaller: i or -3/4?
i
Suppose 3 = 2*l + 13, 5*u - 12675 = -2*l. Which is smaller: u or 2538?
u
Let v be 33/(12/(-8) - -1). Let c be (-44)/v + (-2)/3. Let j = 19/31 + -20/31. Is j at most c?
True
Let v(r) = r**3 - 5*r**2 + 2*r - 8. Let w be v(5). Let s be w/(-7) - 25206/420. Let g = s - -119/2. Which is greater: g or -1?
g
Let f(z) be the second derivative of z**3/2 - 3*z**2/2 + 16*z. Let a be f(-1). Let d be 13*1 - (a + -1 + 5). Which is greater: 13 or d?
d
Let l(p) = p**2 - p - 5. Let g be l(0). Let m be (-82)/(-10) - (-1)/g. Let k = 165.7 - 165.9. Is k smaller than m?
True
Let b = -2052 - -2294. Which is bigger: -2 or b?
b
Suppose 5*u = 5, 62 = -4*j + 4*u + 22. Suppose 26*h - 47 = 57. Suppose -2*q = 5*k + 30, h*k + 56 = -5*q - 2. Are j and q nonequal?
True
Let z = -0.1762 - -1.1762. Which is smaller: -1640 or z?
-1640
Let m = 481 - 566. Let y = m + 427/5. Which is smaller: y or 143?
y
Suppose 14*o - 14*o = -13*o + 2119. Which is greater: o or -2?
o
Let a be 4/(-120)*(-2)/(-35). Let d = -1031/9975 + a. Let b(w) = w**3 - 6*w**2 + 4*w + 5. Let c be b(5). Is c < d?
False
Let c(q) = -q**3 - 28*q**2 + 4. Let m be c(-28). Let t(k) = 26*k + 15. Let a be t(m). Suppose z + 92 = a. Is z less than 27?
False
Let z = -5041 + 10083/2. Let g = 1.5 - -17.5. Let f = 17.4 - g. Which is smaller: f or z?
f
Let t be -10254*(-1)/14*14/(-4). Which is bigger: t or -2563?
-2563
Suppose 2 = 3*x + 2. Let m(u) = u**3 - u**2 - 2*u - 3. Let y be m(x). Are -3 and y non-equal?
False
Let w = -1.041 + 33.041. Let a = -0.2 + -12.8. Let p = a - w. Is p at least -1?
False
Let l = 6.64 + 4.56. Let b = 27.2 - l. Let u = -4.8 - -5. Is b at least as big as u?
True
Let j = -612 + 613. Which is bigger: 39/322 or j?
j
Suppose -2*s = 102*s. Is -17/242 > s?
False
Let u(d) = 21*d - 1. Let z be u(8). Let l = 188 - z. Which is smaller: 19 or l?
19
Suppose 0*w - 22 = -11*w. Let p(k) = 4*k**2 - 2*k + 1. Let v be p(1). Suppose -v*q - 3*j - 71 = w*j, 0 = -4*q - 3*j - 102. Which is greater: q or -28?
q
Let q = 31 - 28. Suppose q*x - 3*y = 72, -4*x - 5*y + 114 = -0*y. Which is greater: 28 or x?
28
Let a(k) = -2*k**3 + k**2 + 50*k - 1. Let s be a(0). Which is smaller: s or -2/2677?
s
Let m be 25/(-50)*(16/(-6) - 12/(-18)). Which is smaller: -16/399 or m?
-16/399
Let r be (-4)/(-502)*(-2)/2. Let i(l) = 22*l + 43. Let t be i(-2). Which is smaller: r or t?
t
Let f = 401 + -396. Let p = f + -5. Is p greater than or equal to 3/107?
False
Let k = -7579/16 + 1583115/3344. Which is bigger: 1 or k?
1
Let u = 4450.2 + -4452. Are 96/5 and u equal?
False
Let r be 1/4 + 49/28. Let q be (-62 - -18)*(-3)/(6*9). Is r < q?
True
Let f = 6752.65 - 6726.65. Let y = 37/135 - 1/5. Which is smaller: y or f?
y
Let m(r) = r**3 + 14*r**2 - 16*r - 19. Let q be m(-15). Let l = -516 + 508. Which is smaller: q or l?
l
Let t = 29.79 - 27.79. Is 1/3 less than t?
True
Let x be 2/(-3) + 78/9. Suppose -18*y = -11*y - 28. Let j be (-6)/(-4)*(280/30 - y). Are j and x nonequal?
False
Let l be 4784/14 - (3 + (-23)/7). Let z be 2/(-19) - (-26199)/l. Let r = z - 76. Are -0.036 and r equal?
False
Suppose -2*n - t - 15 = -19, -5*n - 4*t + 10 = 0. Which is smaller: n or 6/11?
6/11
Let b be (0 + 654)/(68 - 71). Which is bigger: b or -226?
b
Suppose 0 = -3*j + 5*j + 90. Let l be ((-132)/(-18))/((-27)/162). Is l > j?
True
Let n = -1687 - -1688. Is n greater than -3.11?
True
Suppose 0 = -0*y + 22*y - 18588 - 53968. Is 3298 less than y?
False
Let g be 1/(((-18)/36)/((-2)/(-4))). Let y be 4/16 - ((-225)/(-260) + g). Is y less than -1?
False
Let t be ((3 + -1 - 6) + -17 + 21)/1. Which is smaller: t or -11/79?
-11/79
Suppose -103*i - 172 + 0 = 69*i. Which is bigger: i or 3/6166?
3/6166
Let x = -12212 + 12212. Let m(u) = u**3 + 6*u**2 + u + 5. Let r be m(-6). Let i be 1/(-8)*r/5. Which is smaller: i or x?
x
Let m = 113 + -108. Suppose 166 = -4*o + 3*j, -2*o + 0*o = -m*j + 90. Is -41 at most o?
True
Suppose -q + 3*g = 24, 3*q - g - g + 44 = 0. Let f be (10 + 114/q)*(-10)/29. Which is greater: f or 1?
1
Let j be 10/(-4)*(-6)/(-5). Let l = 288 + -300. Let r be l/7 - (j - -1). Do 1/4 and r have different values?
True
Let g be 55972/84021 + (-70)/105. Is g bigger than 0?
False
Let q be 12 - 16/((-336)/227367). Which is smaller: 10840 or q?
q
Let u = -43452/133 - -2368/7. Is u > 12?
False
Let s = -43 - -56. Suppose 0 = 14*g - s*g. Let a be g*(-4)/12*3/(-9). Which is bigger: 8 or a?
8
Let w = 2297 - 2484. Do w and -186 have different values?
True
Let l be 5470/55 - (-24)/44. Let v be 2/(-9) + (-12428)/126. Let j = v + l. Is 1 greater than j?
False
Let f(c) = -5 + 2 - c - 3. Let r be f(0). Let y = 5.693 + -7.693. Are r and y equal?
False
Let h(x) = 6*x**2 - 29*x - 1. Let f be h(6). Suppose 0 = 4*s - 3*s + 5*k + f, 2*s + 57 = -5*k. Which is greater: s or -17?
s
Let k(j) be the third derivative of j**5/30 - 19*j**4/24 + 9*j**3/2 + 43*j**2. Let l be k(17). Is l equal to 282?
True
Suppose 0 = 17*u - 11153 - 27675. Suppose u = 39*x + 6691. Is x equal to -111?
False
Suppose 3 = 2*w + 1. Let c be 10/(-30)*4*2/40. Which is bigger: c or w?
w
Let b = -1462.52 + 1462. Let k = -61/3 + 21. Is b equal to k?
False
Let s = -165 - -172. Suppose s*h + h = -1792. Which is smaller: -223 or h?
h
Let r = 31/613 - 38051/776671. Is r equal to -1?
False
Let c = 0.0303 + -1.0303. Do -2063 and c have different values?
True
Let k(q) = 74*q**2 - 8*q - 17. Suppose 10 = -2*w - 4. Let f be k(w). Let m = f - 494773/135. Is 1 at most m?
False
Let l(u) be the first derivative of 2*u**3/3 + 7*u**2 - 4*u + 30. Let k be l(-9). Which is greater: 33 or k?
33
Let o = 16309.053 - 16309. Which is greater: 3.8 or o?
3.8
Let a = -127 - 5. Which is smaller: -397/3 or a?
-397/3
Let h = -2171 - -2151. Which is bigger: h or 10?
10
Let o = 355 - 83. Let x(q) = 12*q**2 + 14*q + 41. Let g be x(-5). Does g = o?
False
Suppose 67*z + 4530 = -6458. Are z and -165 equal?
False
Let s be ((-76)/8 - 9/(-3))*-2. Suppose 4*q - 3*v = 128, -4*v - s = q - 45. Is 27 smaller than q?
True
Let v = -22225.7 - -22225.6. Let d = 19 + -6. Is v > d?
False
Suppose -6*n + 3*n + 1437 = 0. Let r be (-3 + 6)/(1 - n/2). Let o = r - 598/3021. Is -1 < o?
True
Let x = -307.971 - -308. Let c = x - 2.529. Which is bigger: 8/5 or c?
8/5
Let q be (-29)/435 - 8/(-48). Which is smaller: -32 or q?
-32
Let j = -20/49 - -2833/98. Is j smaller than 28?
False
Let v be 107/((86 - (-1 - 6))/(10 - 7)). Which is smaller: 3 or v?
3
Let k = -3/100 + 913/17100. Let s(q) = -8*q**3 + 141*q**2 + 51*q + 53. Let x be s(18). Are k and x nonequal?
True
Let m(d) be the first derivative of -11 - 3/2*d**2 - 5*d. Let b be m(-2). Which is smaller: -1/35 or b?
-1/35
Suppose 780 = -101*w + 98*w. Let f = -241 - w. Is f greater than or equal to 16?
True
Let r = -3647 + 4108. Is r at least as big as 464?
False
Let b be 28/98 + 4/(-14). Suppose -24*t + 27*t = b. Suppose 3*k + 5*d = 20, -k + 2*k + d - 10 = 