l be 30/20 + 13/(-2). Let x = -22 + l. Which is bigger: v or x?
v
Let r be ((-6)/(-136))/((-8)/((-288)/(-423))). Which is smaller: 1 or r?
r
Let i(f) = -33*f - 55*f**2 + 37*f**2 - f**3 + 8 - 24. Let p be i(-16). Suppose p = 3*m - 0*m - 60. Is m less than 20?
False
Let j(a) = 63*a - 59. Let l be j(1). Suppose -7*o + 2*b = -3*o + l, 4*o = -4*b - 4. Is o at most as big as -26/17?
False
Let g be (-6)/21 - 674/91. Suppose 68 - 215 = 21*u. Is g > u?
False
Suppose 0 = -0*q + 2*q - 12. Suppose 0 = -4*y - b + 3, 3*y + 3*b - 9 = 0. Let p be y + 2 - ((-18)/6 + 3). Is q < p?
False
Let l = -8/24641 - 384892364/172487. Let p = -2235 - l. Which is smaller: p or -3?
p
Let s = 155 + -164. Let j be ((-5)/(-2))/((-1)/(-2)). Suppose 25 = -2*n + g + 9, 0 = -5*n + j*g - 30. Which is smaller: n or s?
n
Let f be -3 + 13/(-6)*4*(-39)/130. Let a = 36.83 - 37. Let i = a + 13.17. Is i smaller than f?
False
Suppose 3*q = -2*h - 2*h - 12, 6 = 4*q - 2*h. Suppose q = 3*y - b - 5, 3*y + 2*b = -3*b + 29. Let w be (y - (-56)/(-18))*(-3 + 5). Is w bigger than 2/5?
False
Let b be (-64)/7*64/256 + 1. Let p(c) = -c**2 + 7*c - 2. Let x be p(6). Suppose 2*t = x*t. Which is smaller: t or b?
b
Let z be 1*-2 + 68/(-12). Suppose -4*d = g - 5*d - 28, 4*g + 3*d = 133. Suppose 6*y = -23 - g. Which is smaller: y or z?
y
Let n = 1.2 + 52.8. Let l = n + -99. Let k = l + 52. Which is bigger: 3 or k?
k
Let j = 697 + 350. Let d = 711 - j. Let x be 1/3 + 2002/d. Is x less than or equal to -5?
True
Let v = 243 + -140. Let y = -113 - -113. Which is smaller: y or v?
y
Let h(y) = y**3 + 20*y**2 + 8*y - 36. Let k be h(-10). Which is smaller: k or 885?
k
Suppose -5*d + 1187 = f - 4896, 3*d - 5*f - 3633 = 0. Which is bigger: 1213 or d?
d
Let g = -4.3 + 4. Suppose -r = 5*s - 50, 0 = -6*s + 3*s - 5*r + 8. Suppose 5*n - 25 = -5*c - 10, 0 = 2*c + n - s. Which is bigger: g or c?
c
Let p(z) = z**3 + 22*z**2 + 18*z - 21. Let h be p(-21). Let n be 4/(-104)*-7 - 21/h. Is -14 equal to n?
False
Let g(m) = -513*m**3 - 10*m**2 - 29 - 6*m**2 + 6*m - 31*m + 5*m**2 + 514*m**3. Let v be g(13). Which is smaller: v or -22?
-22
Suppose 0 = -38*b + 33*b + 20. Suppose -b*y + 8 = 4*y. Do 1/497 and y have the same value?
False
Suppose 0 = -5*s - 3*u + 40, -5*s - 2*u + 30 = -s. Suppose 3*r = 4*d + 33, 0*r = -3*r - s*d + 33. Which is smaller: 21/2 or r?
21/2
Let q = 2372/5 + -125696/265. Let v = -555/8056 + q. Let m = 1 + 0. Is m bigger than v?
True
Suppose 2*d + 8 = 0, -2*d - 7 = -334*m + 335*m. Is 38/11 less than m?
False
Let x be 1 + 0 - (1 + -15). Suppose 5 = -4*c - 2*l + x, -3*l = c + 10. Suppose c*d = 8*d. Which is smaller: 1/3 or d?
d
Let j = 2 - 4. Let d = 836 + -1136. Let o = -325 - d. Is o equal to j?
False
Let h = -5036 - -3918. Which is greater: -1115 or h?
-1115
Suppose -501*a = -129*a + 8556. Let w = -39 - -16. Is a smaller than w?
False
Let z = 11722 + -11911. Is -21 less than or equal to z?
False
Let u = -294.7635 + -0.3365. Let o = u - -295. Is 0.11 equal to o?
False
Let h(r) = -r**2 - 14*r - 66. Suppose 14 = -2*a - 3*c, 3*c = c. Let j be h(a). Let x be 0 - -1 - -2 - 21. Which is bigger: x or j?
j
Let n be ((-8)/60 + (-22)/(-30))*340/(-8). Is n greater than or equal to -26?
True
Let y be ((6/(-4))/3)/((-2)/796). Suppose -6*t = -y - 263. Does t = 77?
True
Let p be 1 + 17 - (57 + -49). Let f be ((-48)/20*-11)/p. Is f at least 4?
False
Let n(o) = -o**2 - o + 6. Suppose 53*x - 46*x = -21. Let z be n(x). Let t = 3 - 1. Which is bigger: t or z?
t
Let d(p) = p**3 + 6*p**2 - 9*p - 12. Let l be d(-7). Suppose -2*i = -l + 10, 0 = 3*q + 2*i + 26. Let n be ((-2)/q + 0)*3/10. Is n greater than -1?
True
Let o = 28 - 28. Suppose l + 2 = o, -2*l + 70 = -3*d + 2*l. Let k = 26 + d. Which is bigger: k or 2/23?
2/23
Let q = 238 - 304. Let m = -58 - q. Do 1 and m have the same value?
False
Let y = -64 + 44. Let v = 478 - 457. Let o = v + y. Are o and 5/6 nonequal?
True
Let d be (-2)/(4 + 240/(-56)) - (-16)/(-2). Is -2/11777 > d?
True
Suppose 5*c = -3*k - 7, -14*c + 3*k = -9*c - 17. Let m be (246/12505)/(6/(-10)). Is m smaller than c?
True
Let c = 144603/7 - 20610. Let l = -48 + c. Which is bigger: l or -2?
l
Let r = -114/17 - -1835/119. Let z = -8 + r. Is -2/7 greater than z?
False
Suppose -1155 = 26*q - 1181. Which is greater: q or 4/311?
q
Let q = 94897/7748 + 4/1937. Which is smaller: q or 1?
1
Let r = 50 + -56. Let c be (1 - (-4)/r) + 5908/(-84). Let w be 4 + 3 + c/12. Which is smaller: w or 0?
0
Let r = 317.826 - -12.174. Which is greater: 12 or r?
r
Let c = 4/267 - -971/534. Let v be (-166)/(-72) - 1/4. Let t = v - c. Which is greater: 3 or t?
3
Suppose 3*z - 4*h = -6, -z + 3*h + 4 = 6. Let f be 17 + (6840/(-209) - -14). Which is greater: f or z?
f
Let q(z) = -z**3 - 5*z**2 + 25*z + 22. Let s be q(-8). Suppose s*j + 28 = -42. Which is smaller: j or -11?
-11
Let x be (1/15)/(7/(129570/12)*1). Is x bigger than 102?
True
Let k = -15293 + 15254. Let x = -12.98 - -13. Which is smaller: k or x?
k
Suppose -3*h = 7*o - 8*o - 65, -5*o - 249 = 4*h. Which is greater: -47 or o?
-47
Suppose -9*j + 7 = -119. Let b(a) = a**2 - 17*a + 16. Let g be b(j). Let z be (-1)/(-3)*(-39)/g. Is 0 less than z?
True
Suppose 4*y = 15 - 11. Let n be -4 + (-4 - -6 - y). Let f be 20*2/16 - n/(-2). Is 3/46 smaller than f?
True
Let p = -429/37 + 1213/111. Is -4380 less than p?
True
Let h be (4 - -1)/(-3*3/9). Let o(w) = -w**3 + 34*w**2 - 2*w + 66. Let l be o(34). Is l < h?
False
Let v be 0/(-1) + (13 - 16). Let b be (-2)/v + 1000/75. Is b at least 130/9?
False
Let a be (-63)/(-42)*(3 + 2923/(-15)). Which is smaller: -287 or a?
a
Let j = 188.65 + -193. Let k = -4 - j. Let q = k - -0.55. Are q and -1/5 equal?
False
Let y = -6746 - -6766. Is y at least 62?
False
Suppose 2*r + 32 = -4*t, 4*r + 48 = 3*t + 6. Let s be 1 - (3 + 1)*(-681)/r. Is -225 greater than s?
True
Suppose 4*q - 36 = -12. Suppose 3*b - 31 = 4*w, -2*w - w + q = b. Let r be -2 - 32/(-12) - (-3)/b. Which is greater: 2/41 or r?
r
Let b(t) = -2*t**3 + 50*t**2 + 6*t - 24. Let d be b(25). Let q = d + -127. Which is greater: q or 1/369?
1/369
Let v = -7.84 + -561.16. Let g = 1071 + v. Which is smaller: g or -0.1?
-0.1
Let j = -27.934 + 28. Let n = -0.116 + j. Which is smaller: n or -4?
-4
Let c = 2/1019 + -8178/13247. Let f be 0*(4 + (-3 - 2)). Suppose f = -j + 3*j + 5*j. Which is smaller: c or j?
c
Let y be 8/(-30) - (-1)/(-3). Let d(i) = 2*i**3 + 4*i + 3 + 7 + 7*i**2 - 12 - i. Let g be d(-3). Which is greater: g or y?
y
Let a be (-101 - -68)/((-6)/(-4)). Which is greater: -19 or a?
-19
Let i = -96 - -102. Let x(g) = -2*g**2 + 6*g + 3. Let t be x(i). Which is smaller: t or -35?
-35
Let s = 3255 + -3232. Are s and 40 equal?
False
Suppose b - 11 = 5*q, 0 = 4*q - 38*b + 36*b + 16. Which is greater: q or 1/1690?
1/1690
Let y = 5418 + -5419. Are y and -2463 non-equal?
True
Let m = -3875 + 3872. Is -115 greater than m?
False
Let g = 737.731 - 737.7. Is g smaller than 33?
True
Let l = 2.0756 - 7550.0756. Is l > 3?
False
Let v = 36 + 132. Let b = v + -138. Which is bigger: b or 1?
b
Let r = 19511.971 - 19482. Let t = -30 + r. Let o = t - -32.029. Is -2/3 greater than or equal to o?
False
Let u = 113/415 - 6/83. Let c be 17/5*(11 - 221/26). Which is bigger: c or u?
c
Let s be (-6 - (8 + -17)) + 340. Let x = 340 - s. Which is greater: 13 or x?
13
Suppose -2*w = -2*p - 5*w, 0 = 2*p + 4*w + 2. Suppose -5*n + 20 = p*a - 15, 4*a = 5*n. Let m be -6*8/(-24) + 3 + 1. Which is bigger: m or a?
m
Suppose 5*h - 2*a + 112 = 0, -h - 717 = -4*a - 709. Which is smaller: h or -80?
-80
Let t(b) = -b**2 + 6*b - 8. Let j be t(6). Let w be j/14 + (-24)/7. Let m be (647/11 - 6) + w/(-22). Is m != 52?
True
Let n = 15.41 + -1.51. Let h = n + -12.9. Let a = 0.52 + 4.88. Is a bigger than h?
True
Let a = -187 + 755/4. Let t(j) = j**3 - 2*j**2 - 3*j + 3. Let o be t(0). Suppose -2*u - u = -o*v - 15, 5*v = -20. Which is greater: a or u?
a
Let r(s) = -2*s**3 - 9*s**2 + 5*s - 1. Let n be r(-4). Do n and -38 have the same value?
False
Suppose -60 = -10*m - 0*m. Let d be m + 28994/(-42) + 2/6. Are 1 and d unequal?
True
Suppose 7*g + 15 = 29. Suppose -15 = 5*y + u + g*u, 4*y + 3*u + 15 = 0. Suppose y*k - 2*k = -3*p + 44, 56 = 3*p - 5*k. Which is smaller: p or -2?
-2
Let x = -6226/3 + 2076. Is 181 >= x?
True
Let f be 4 - ((-3)/2 + -1)*-82. Let 