et c be (17/b - 4)*1. Which is bigger: c or 2/7?
2/7
Let f = 24 + -14. Let l = 5291 + -5282. Is l < f?
True
Let g = -956 - -947. Let w = -559/2 + 272. Are g and w non-equal?
True
Let q = 0 - -0.1. Let d = -5.5 - -5.3. Which is greater: q or d?
q
Let d be 1 - 2 - (0 + -2). Let p be 3 - 4 - d*-4. Does p = 3?
True
Let r(t) = -t**3 + t**2 - t. Let w(n) = -n**3. Let l(h) = r(h) - 2*w(h). Let y be l(-2). Which is smaller: -1 or y?
y
Suppose -2 = 5*u + 3. Let v = 4 - 3. Let c be v + (2/u - -2). Is 2 >= c?
True
Let u = 1 + 2. Let q be (-20)/(1 + -5)*1. Suppose -5*r + q*b + 8 = 3*b, 0 = 4*b - 4. Is u less than r?
False
Let t = -57 + 69. Suppose t*m = 5*m - 7. Is m <= -1/59?
True
Suppose 5*j + 3950 = 30*j. Is j >= 158?
True
Suppose 0 = -8*p + 27*p. Is 1/317 less than or equal to p?
False
Let r(j) = j**3 - 8*j**2 + 7*j - 10. Suppose d - 2*d + 1 = -3*f, -5*d = 5*f - 45. Let y be r(d). Let h = y + 9. Which is smaller: h or 2?
h
Suppose -4*l = -3*v + 4 - 13, -4*l = -12. Let a = -18/262603 + -336418262/787809. Let z = a + 427. Which is bigger: v or z?
v
Let i = 38 + -113. Which is bigger: -77 or i?
i
Let m = 87/11 + -6081/748. Is m less than or equal to 0?
True
Let z(s) = -3*s**2 + 9*s - 6. Let f be z(3). Let r(g) = g**2 + 16*g + 19. Let l be r(-15). Suppose 1 - l = 3*h. Is f < h?
True
Let a be (-9)/(-6)*564/9. Suppose -3*y = -x + 10, 4*y + a = 5*x - 0. Suppose -d - 5*f = x, -1 = -5*d + 4*f + 5. Is -6/11 equal to d?
False
Let w = 74 + -68. Let f = w - -6. Does 3 = f?
False
Let l = -23/1070 - 220789/82390. Let g = 14/11 + l. Which is smaller: -1 or g?
g
Suppose 24*t + 11*t + 11515 = 0. Which is greater: -2 or t?
-2
Suppose 2*j + 12 = 8*j. Let k be (3/j)/((-12)/(-16)). Is k not equal to -2/59?
True
Let o be 5/6 + (-629)/(-306). Which is smaller: o or 0.2?
0.2
Let n = 368.1 + -367. Let k be 1 + (-18)/(-14)*-1. Which is greater: k or n?
n
Let n be 3281/8142 - 4/6. Let v be 3141/(-15930) - 1/(-5). Let s = n + v. Which is smaller: -1 or s?
-1
Let b be (-12)/(-14)*3710/(10 - 0). Is 312 >= b?
False
Let m be (9/(-2))/(9/(-12)). Suppose -8 = 17*v - 127. Which is bigger: v or m?
v
Let i = -215671/93 - -2319. Are i and -2/3 nonequal?
True
Let g = 43 + -40. Suppose g*b + 18 + 6 = 0. Which is greater: b or -10?
b
Suppose -4*v + 4*j + 20 = 0, 2*v = v + 5*j + 21. Let p(z) = 2*z - 6. Let w be p(6). Suppose -4*m = -2*i - w, 1 + v = -m + 4*i. Is 2 at most as big as m?
True
Suppose 4*m + 20 = 0, -80 = -5*i + 4*m - 10. Let a be (-2 - 2)*i/40. Is -1/39 smaller than a?
False
Suppose 7*b - 2425 = 3287. Is b less than 816?
False
Let d = 22 - 22.92. Let c = -0.08 + d. Let x = -1 + c. Is -7 less than x?
True
Suppose -4*m + 6*m - 18 = 0. Suppose 4*f + j - 70 = 0, 0*f + 58 = 4*f - 5*j. Let g = f - m. Is 8 smaller than g?
False
Let l = 0.14 + 1.66. Let s be 530/65 + 128/(-16). Which is smaller: s or l?
s
Let i(w) = -w**2 + 9*w - 10. Let q be i(7). Suppose 6*o - q = 2*o. Let v = -1.45 - -0.05. Which is smaller: o or v?
v
Let k = -0.345 + 0.265. Let r = -0.19 + -0.09. Let b = k - r. Is 7 greater than b?
True
Suppose -90*m - 6 = -93*m. Suppose m*q + 4 = 12. Are 4 and q equal?
True
Let p = 32.73 - -0.27. Let b = 33.6 - p. Is b < 0?
False
Let c = -1.24 + -0.76. Which is greater: c or 2?
2
Suppose 0*c - c + 94 = 5*a, 0 = -3*a + 15. Are c and 69 non-equal?
False
Let g = -23 - -25. Suppose -3*q = g*q - 4*q. Are -0.2 and q unequal?
True
Let i be (8 + (-176)/33)*(-10)/4. Which is smaller: -7 or i?
-7
Let r be 5 - ((-1)/((-5)/20))/1. Which is smaller: 18/13 or r?
r
Suppose w + 22 - 3 = 0. Let v = 15 + w. Suppose -5*j + 1 = 21. Is v at least j?
True
Suppose 3*x = -x + 44. Let u = x + -8. Let w be u/18 - 4/24. Is w equal to 2/15?
False
Suppose t = -0*c - 2*c + 2, 3*c = 2*t + 17. Let k be (2/t)/((-2)/4). Let m = -5.7405 - 0.2595. Is k smaller than m?
False
Suppose -7*y + 3*y - 12 = 0. Let u be (-9)/(-4)*(-32)/(-60)*-3. Is u != y?
True
Let d = -100.08 + 100. Let g = -0.28 - d. Which is smaller: g or 2/119?
g
Let g = -5130/13 - -395. Which is greater: -1 or g?
g
Let h be -3 - ((-3)/21 + 3/21). Let z be (-247)/7 + (h - 46/(-14)). Which is greater: -34 or z?
-34
Let v(j) = 2*j**3 + 5*j**2 - 30*j. Let p be v(4). Is p bigger than 86?
True
Suppose 14 = w + 5*g, 4*w - 13 + 2 = -5*g. Let a be (w/(-3))/(376/48). Let h = a + 39/188. Are h and 1 non-equal?
True
Let i be -1*5*(0 + -4). Let r be 6/27 - i/9. Let s be (-6 + 8)*r/(-4). Which is greater: 2/19 or s?
s
Suppose c + r = -12, 3*c - 13 = -4*r - 48. Let h be (-1860)/(-78) - 2/c. Suppose 11*b + h = 9*b. Does b = -12?
True
Let m be ((-4)/3)/((-10)/(-3)). Which is greater: m or -128?
m
Let c = -39 - -41. Let u = c + -5. Which is bigger: -36/11 or u?
u
Let b(w) = -w**3 - 7*w**2 + 3*w + 1. Let c be b(-7). Let z be (-1*4)/2*21/(-6). Let f = -14 - z. Which is bigger: c or f?
c
Let i(y) = -y**3 + 5*y**2 - y - 9. Let b be i(4). Let t = 3 - b. Is -4/7 at least as big as t?
False
Let n be (6/8)/((-6)/(-40)). Is n at least -1/4?
True
Suppose 3*t - 16 = -4. Let z be (-6)/t - (-24)/48. Which is smaller: -34 or z?
-34
Suppose 4*t - 2*t = 4. Suppose -2*q + 12 = -2*h + 4, 3*q - 17 = -t*h. Which is smaller: q or 1?
1
Let x = -16 + 26. Let k = x - 10.4. Let z = -1.4 - k. Which is greater: 0 or z?
0
Let g = 13 + -26. Let c be (-3)/g*52/(-39). Which is bigger: c or 1?
1
Let i = 1264 + -770. Is i > 2/11?
True
Let m = 1225.842 + -1221. Let c = -0.158 - m. Which is greater: c or -3?
-3
Let x be (3/27*9)/1. Which is bigger: 1/115 or x?
x
Let q = -34 - -5. Let l = q - -30.2. Let f = l + -1.3. Which is bigger: -30 or f?
f
Let x = -9 - -8. Let u = -1.3 - x. Let b = -10 + 15. Is b > u?
True
Let i = 5 + -3. Suppose 3*z - 2*z - 39 = -i*x, 0 = -z - x + 41. Is 43 > z?
False
Let w be (166/(-6))/(58/174). Which is smaller: -86 or w?
-86
Let v = -4133/3 - -1377. Which is smaller: v or -93?
-93
Let w(d) = d**3 - 5*d**2 - 3*d - 6. Suppose -4*n + 20 + 4 = 0. Let z be w(n). Is 11 != z?
True
Let d = -277 + 280. Let n be 62/(-84) + 12/72. Which is greater: d or n?
d
Let j = 11451176231/12862752 - 104014589654736839/117351392746784. Let x = -7/254211 - j. Let i = x - -72/19. Is -2/7 > i?
False
Let r be 8895/(-150) - 2/10. Let w = -60 - r. Is 2 at most w?
False
Let d = 12443/61 - 204. Let u = d + -119/183. Which is smaller: -31 or u?
-31
Let y be (2/(-7))/((-10)/70). Let m = 0 - -11. Suppose 2*h + m = -y*h - 5*k, -16 = -4*h + 4*k. Is -2 less than or equal to h?
True
Let i be 6/(-14) + 689/(-91). Let n be (-2)/(-8) - (-4)/i. Which is greater: n or 0?
0
Let o = 1747/762327 - -1/1193. Let r = o - 1945/8946. Suppose t = -2*l + 7*l + 10, -2*t + 4*l + 8 = 0. Is t bigger than r?
True
Let g(n) = n**3 - 13*n**2 + 6*n - 42. Let f be g(15). Is 499 at least f?
True
Let f be (2365/(-295) - -8)/1. Which is smaller: f or 1?
f
Suppose -2 = -d - 0. Let i be (d - 14/6)*-4. Let l be 0/(1*1/(-1)). Which is smaller: l or i?
l
Let r(d) = -d**2 + 7*d + 3. Let c be r(3). Let t be (1/c)/((-14)/(-385)). Are t and 3 unequal?
True
Let u(s) = -s**2 - 11*s + 17. Let f = -17 - -5. Let o be u(f). Let k be 3/(3/o - 0). Is k <= 3?
False
Suppose -f - 5*d + 19 = 0, 0 = 4*f - 2*f + 3*d - 3. Let p be (27/3)/((f - 3) + 4). Suppose -3 = -3*y + 4*x - 2*x, 1 = 5*y - 2*x. Is y smaller than p?
False
Suppose -9*d = -17*d. Which is smaller: d or 165?
d
Suppose 5*b - 8*b + 51 = 0. Let o = b - 16. Let d be (9 - 1)/(45/10). Do d and o have the same value?
False
Let x = 1476733/1308 + -1129. Is x >= 0?
True
Suppose -10*a + a - 477 = 0. Let u = a + 48. Are -5 and u unequal?
False
Let u be (-276)/48*4/5. Let b = -90 + 85. Is u at most as big as b?
False
Let y = -337 - -346. Let j = -20 - -8. Let c = j + y. Which is bigger: 0 or c?
0
Suppose -3*p - 4 = -1. Let o = 43 - 38. Suppose -k = o*u - 5, u = -9*k + 4*k + 1. Which is smaller: p or u?
p
Let h(p) = 31*p - 627. Let n be h(20). Which is bigger: n or 6.9?
6.9
Let r = 649 - 648.773. Which is smaller: r or -0.3?
-0.3
Let t be (198/55)/((-7)/((-2415)/(-6))). Do -209 and t have different values?
True
Let w = 632/87 - 22/3. Is w at most as big as 0?
True
Let r = 1.82 + -0.82. Is r <= 0.023?
False
Let m(k) = -k**2 + k - 1. Let t be m(0). Let j = t + 5. Suppose 3 - 7 = j*v. Which is smaller: -1/6 or v?
v
Let b(z) = -z**3 - 5*z**2 - 2*z - 6. Let s be b(-5). Suppose s*y - 6 - 2 = 0. Let w(x) = 6*x + 38. Let