/21277?
True
Let t be 143293/(-170) - 2/(-4). Let z = t + 837. Is -4 at most as big as z?
False
Let f(v) = v + 24. Let m be f(0). Suppose -163*h - 261 = -140*h - 813. Are h and m equal?
True
Let k(f) = -4*f - 278. Let p be k(-82). Which is bigger: p or 65?
65
Let o(m) = m**3 - 1 - 4*m**3 + 2*m**3 + 10*m**2 + m. Let b be (10*2/(-16) - -2)/((-252)/(-3360)). Let q be o(b). Which is smaller: q or 11?
q
Let w be 5*(6 + 170/(-25)). Let f be ((-7)/(-14))/(w/(-1344)). Which is greater: f or 167?
f
Let c be (-1126)/(-225) - (-1080)/(-216). Is c != -1?
True
Let j = -6859 - -6858.6. Is 0.04 less than or equal to j?
False
Let w(v) = v**3 - 20*v**2 - 112*v - 123. Let m be w(23). Are -1112 and m equal?
True
Suppose 3*x - 68*l - 209 = -73*l, 2*x + 5*l - 146 = 0. Suppose 2*j - 123 = -3*q, 2*q = 2*j - 46 - 92. Is j <= x?
False
Let t = 1/5454 - 99536/2727. Is t greater than or equal to -38?
True
Suppose 25*d - 36 = 19*d. Let t(n) = n**3 - 6*n**2 + 7*n - 10. Let r be t(d). Which is smaller: r or 40?
r
Suppose 8*k + c = 2387, 3*k + 27*c - 887 = 25*c. Which is bigger: k or 300?
300
Let t = 8.8 - 9. Suppose 2*d - 3*o + 650 = 0, 8*d + 1296 = 4*d + 4*o. Let m be (-115)/d*8/70. Is t < m?
True
Suppose -c = -2*n + 94, 4*n - 124 = -3*c + 74. Suppose -5*y + n = -3*y. Suppose -y*d + 22*d = 0. Which is bigger: 2/5 or d?
2/5
Let h(l) = -l + 21. Let y be h(15). Let t be (-1)/y - (-4)/24. Let g be (-20 - -25) + (-1 - (-104)/(-22)). Which is smaller: t or g?
g
Let b be 1 - 0 - ((-5258)/462 + -24). Is b <= 36?
False
Let w = 0.40233 - 0.00233. Is w greater than 407?
False
Let m be 46/(1020/45 + -22). Is m < 1093/16?
False
Let t = 55384 - 2104475/38. Let r = t + -11/19. Are r and -4/11 unequal?
True
Let s = 4.119 + -4.1. Let v = s - 27.019. Let y = v + 44. Which is bigger: y or -1/2?
y
Let d = -145 + 145.173. Let k = -0.037 + d. Is k less than 2?
True
Suppose 436*t = 432*t - 5*g - 10, 0 = 3*t - 2*g + 19. Which is smaller: 913 or t?
t
Let t(i) be the third derivative of 0 - 1/3*i**4 - 1/60*i**5 + 0*i - 26*i**2 + 8/3*i**3. Let c be t(-7). Is c greater than or equal to 1?
True
Let o be ((-160)/(-25))/8*(-285)/9. Let p = o - -1286/51. Which is smaller: p or -14?
-14
Let o(i) = 3*i**2 - 2*i + 4. Let b be o(-3). Let q(w) = -w**3 + 38*w**2 - 213*w - 84. Let y be q(31). Are y and b equal?
False
Let w(j) = j**3 - 2*j**2 - j + 1. Let q be w(-1). Let o = 148 + -366. Let k be 2/(-15) - o/960. Which is smaller: k or q?
q
Let m = -120.98 - -359.98. Let x = -19/44 + 2/11. Which is smaller: m or x?
x
Let i = -3328 - -881918/265. Is i <= 0?
True
Let g = -175 - -309. Let n be (4 - g/33)*(-1 + -14). Let x be (-15)/(-12) - 1/4. Which is greater: n or x?
x
Let n(m) = 2*m**2 + 17*m - 29. Let t(k) = 3*k**2 + 26*k - 42. Let q(d) = -8*n(d) + 5*t(d). Let l be q(-9). Is -1 at most as big as l?
False
Let s = -395 - -383.97. Let h = 0.03 + s. Let z = h + 10. Is 96 smaller than z?
False
Let b be (-2 - (-35396)/(-14)) + (-6)/4. Let g = 2529 + b. Which is greater: g or -2?
-2
Suppose -3*n - 75 = 5*j - 270, 2*j = -n + 77. Suppose 2*f = -0*f + 14. Let l = f + 29. Is l smaller than j?
False
Let b(q) = -q**3 - 3*q**2 - q + 1. Let d be b(-2). Suppose -2*f + 8 = 0, 2*i - 3*i - 44 = f. Let s be (i/10)/4 - 1/(-5). Is d not equal to s?
False
Let h = 4452.1 - 4741. Is h less than -0.1?
True
Let j = -1786 - -1786.01. Which is smaller: j or 0.02?
j
Let c be (10 + (-200)/16)/(10/(-12)). Let l be 13 - 15 - (-1 - c). Which is greater: 5/2 or l?
5/2
Let u = -9.09079 - -0.09079. Which is smaller: -46 or u?
-46
Let w = -1391 - -1391.2. Let s = -1.56 - -1.7. Let d = -2.34 + s. Is d > w?
False
Let a(c) = 18*c + 20*c**2 + 8 + 6 + 3*c**3 - c**3 - 32*c**2 - c**3. Let j be a(11). Is j equal to 90?
False
Let g = 175 - 125. Suppose -16*q - g = -11*q. Which is smaller: q or 0.02?
q
Let i(h) = -h + 2. Let j be i(0). Let o = -435 - -444. Let v = j + o. Which is bigger: 9 or v?
v
Let a be ((-4)/5)/(22/(-35)). Suppose -86 + 26 = -6*w. Let m be 3*(16/15 - 4/w). Is a at most as big as m?
True
Let d = 0.2 - 6.2. Let p = -4270 + 4270.1. Which is bigger: p or d?
p
Let f = -36 + 645. Let r = -608.7 + f. Which is bigger: -0.48 or r?
r
Let p be -68*2/8 + 3933. Are 3918 and p non-equal?
True
Let m(b) = 17*b + 1. Let w be m(-1). Let q = 217 - 230. Let i = q - w. Are i and 2 non-equal?
True
Let o be (-9)/((-4432)/(-48) - -14). Which is bigger: -1 or o?
o
Let u be (1 + 137)/(3 + -1). Suppose -3*x - z = 3 - u, -4*x = -4*z - 104. Suppose 5 = 5*v, -5*b - v - 21 = x. Which is bigger: b or -33/4?
-33/4
Suppose -5*g - 4*u = -22, -38 = -5*g - 5*u + 9*u. Let q be g*6/(-8) + 4. Is -4/17 < q?
False
Let b be -6 - ((-1297)/13 + 1). Let n = 92 - b. Which is bigger: n or 0.2?
0.2
Suppose -688 = -s + i + 607, -10 = 2*i. Which is bigger: 1291 or s?
1291
Suppose 0 = 98*j - 315*j + 217. Is j >= -5?
True
Let g = -1893716764/4523 + 418686. Is 0 < g?
True
Let m = 5 - 5.4. Let f = m + 0. Let u = -440033.5 - -440032. Which is bigger: u or f?
f
Suppose 3*u = r + 5, 37 = -2*r + u + 7. Let x be (-15 - r)/((-1)/2*-4). Which is smaller: -3/76 or x?
-3/76
Let p = 9887 + -9880. Which is greater: -2/1307 or p?
p
Let x = -60 + 67. Let f be (84/(-8))/x - -2. Let c = 0.8 - -0.2. Which is greater: c or f?
c
Let l = -34.69 - -35.1. Let x = l + -0.71. Is x smaller than -88?
False
Let b be (-80)/(-6) + (0 + 3)/((-297)/(-66)). Which is smaller: b or -114?
-114
Let n be -4 - ((-156)/104)/((-3)/(-14)). Let u = -35 + 0. Let w = 141/4 + u. Which is smaller: w or n?
w
Suppose -754 = -37*b + 3205. Let x(s) = -14*s**3 - 2*s**2 - 2*s. Let m be x(-2). Let c = b - m. Is c less than or equal to -13/6?
False
Let i = 17.6 - -24.4. Let f = 43 - i. Which is smaller: 310 or f?
f
Let s(f) = f**2 + 6*f - 14. Let k be s(-6). Suppose -a + 54 = 52. Suppose -5*r + t - 66 = 0, -a*r + 3*r = 5*t + 6. Is r smaller than k?
False
Let h be ((-100)/(-900))/((-1)/261). Is h smaller than -726/25?
False
Let r = 26 - -59. Let s = 191 - 108. Let u = r - s. Which is smaller: -22 or u?
-22
Let b be 7 - 3832/6*(-39 + 36). Is b bigger than 1924?
False
Let v(c) = c**3 - 5*c**2 - 20*c + 8. Let x be v(9). Let o be 114/x*(-8)/2. Let i be 5/(-3)*1 + -2. Does o = i?
False
Let q = 10285 + -298147/29. Which is bigger: 4 or q?
q
Let l = 1337.406 + -1340. Let m = 0.406 - l. Which is greater: -26 or m?
m
Let w(i) = -48*i**2 + 59*i - 228. Let u be w(6). Is -1592 < u?
False
Let p = 2741 + -2738. Which is smaller: p or -28?
-28
Let m be ((-2)/4)/(8/2704). Let g = 165 + m. Which is smaller: g or -6/19?
g
Let a(k) = 276*k - 1412. Let r be a(5). Do -430/13 and r have the same value?
False
Let p be (2 - 2)/(4/4). Suppose p = 9*f - 5 - 40. Suppose 0 = -0*d - f*d. Which is greater: -3 or d?
d
Suppose -3*j + 20 = 5*u, -2*j + 2*u - 36 = -6*j. Let k(m) = -m**3 + 16*m**2 + m - 236. Let q be k(15). Which is smaller: q or j?
q
Suppose -2584*v - 3*f = -2580*v + 17, -5*v - 3*f = 19. Let s = 2.6 - 1.95. Let h = -0.05 - s. Which is smaller: v or h?
v
Let s = 33.175 - 3.175. Which is smaller: s or -69?
-69
Let a(o) = -2*o**3 - 50*o**2 - 49*o - 27. Let w be a(-24). Let n be w/(-7) + (24288/77)/6. Is 262/5 less than n?
True
Suppose 280*f - 157 = 894*f + 1685. Let p be 318/(-136) - 1/4. Is p <= f?
False
Let d = 58.88 - 58.227. Which is bigger: -0.3 or d?
d
Let m = 2597 - 4306. Which is greater: -1712 or m?
m
Let i = -35/244 + 24/61. Is -14 at least as big as i?
False
Let a be (27/33 + 76/418)/((-4)/268). Do a and -70 have different values?
True
Let j = -538 - -568. Which is smaller: 4 or j?
4
Let c = 2.1 - 9.1. Let b = -0.0439 - 3.9561. Let h = c + b. Which is smaller: 3 or h?
h
Let a = -0.8068 + 5.8068. Does 9 = a?
False
Let w be (30/(-32))/((-1)/2). Let d be (-48)/(-7)*(-35)/(-10). Suppose -6*p + 42 = d. Is p less than w?
False
Suppose 5*r + 15*p - 10*p = 140, -2*r = 5*p - 62. Let x be (-174)/9*(-13)/(r/3). Which is smaller: x or -0.1?
-0.1
Suppose 22 = 3*v - 2*j, 9*j - 14 = -4*v + 4*j. Let m be ((-2)/2 - 1)*(-21)/v. Suppose -9*o - 40 = -m*o. Is -19 smaller than o?
False
Let q = 127 - 127. Suppose 0 = -j - 2*b, -85*j + 82*j - 4*b = q. Are j and 3/139 nonequal?
True
Let i be (5 - (-18)/(-4)) + 12/8. Let b(c) = -c**3 + 3*c**2 + c - 6. Let w be b(i). Let u = 2/33 + -7/55. Which is bigger: w or u?
w
Let c = -2/3101 + -313191/15505. Suppose 76 = -30*x + 26*x. Wh