han w?
False
Let o be (6 - 3 - 5)/(3/(-66)). Let s = -40 + o. Suppose 2*h - s*h - 30 = -m, 0 = -h - 2. Which is greater: 0.1 or m?
m
Suppose -4*n + 0*n + 3*k = -376, -4*n - 3*k + 376 = 0. Suppose 4*c - 2 = 5*d + 164, -3*d + c = n. Which is smaller: d or -35?
-35
Let o be 3 - 5 - (-3)/(3/(-260)). Let z = 1690 + -1951. Is z less than or equal to o?
False
Let y = 5173 + -3065. Is y at least as big as 2108?
True
Let o = 2/261 - 1066/2871. Let b = o + -32/33. Is b at least as big as -2?
True
Let v be (1659/238 + -7)/((-1)/21151). Let g = v + -622. Which is smaller: g or 0?
0
Let a = -451/80 + -17741/80. Let k = -3404/15 - a. Is 1 greater than or equal to k?
True
Let l = 1/1145 - 2293/3435. Let x = -10 - -9.86. Let d = -0.12 - x. Is l at most as big as d?
True
Let j = 3623.73372 - -0.26628. Does j = 0?
False
Let v(z) = -z**3 + 15*z**2 + 19*z + 21. Let a be v(16). Suppose -4*i + 65 = a. Which is smaller: -2/13 or i?
i
Let i = 2362/3 - 16531/21. Which is greater: -76 or i?
i
Let w be (15 - (-1 + (-690)/(-20))) + 5. Let p(u) = -13*u - 9. Let i(z) = 20*z + 14. Let f(r) = -5*i(r) - 8*p(r). Let b be f(-4). Is b bigger than w?
False
Let f(m) = -m**2 + 8*m - 6. Let k be f(7). Let s = 431 + -635. Let h = 2853/14 + s. Are k and h equal?
False
Let c = -1.31 - -0.01. Suppose 67*b + 183 - 55 = -73. Which is bigger: c or b?
c
Suppose 1656 = -194*r + 188*r. Let w = 278 + r. Which is smaller: -4 or w?
-4
Let o = 12.1 + -10.08. Let r = -8.02 + o. Is r less than or equal to 0.6?
True
Let f be (-676 + -3 - 7) + 2. Is f at most as big as -705?
False
Suppose 0 = 5*x - 5*h - 95, -x = 2*x + h - 61. Suppose -6*g = -x*g + 154. Suppose -12*i = -9*i - 42. Are g and i non-equal?
True
Let d = -12468 + 5901. Which is bigger: 2/7 or d?
2/7
Let d be 3/30*(-4)/6. Suppose 0 = 28*j - 74 + 1614. Let r be 65/(-78) + j/(-30). Is r bigger than d?
True
Let f be (-14)/8 - (4/(-32))/((-29)/(-174)). Which is greater: -8/1701 or f?
-8/1701
Suppose 27*j - 5 = 26*j. Suppose -3*a = -2*m - 17, j*a - 37 + 7 = 5*m. Is -5/7 less than or equal to m?
False
Let c(j) = 84*j - 6. Let s be c(2). Let v = -161 + s. Let d be (-3)/8*(-2)/(-3). Is v smaller than d?
False
Let z = 1170 + -1827. Let d be (-12)/(-42) + z/21. Which is greater: d or -97/3?
d
Let t be (-3 - -3)/(16*3/48). Is -6/139 not equal to t?
True
Suppose -4*d + 16 = 4*d. Suppose 3*q = -4*b + 197, -4*b + d*q + 231 = 49. Suppose b = 3*m + 5. Is m != 15?
True
Let x = -4898 - -5002. Which is smaller: 97 or x?
97
Let w be (-845)/(-104) - (6 - 1 - -3). Let f be (10 - 9) + 0/(-1). Which is bigger: f or w?
f
Let z(q) = 15*q**2 - 8*q - 3. Let d be z(5). Let c = 198 - d. Let x be c/8 + ((-27)/12 - -2). Is x equal to -15?
False
Suppose 4*h = -2*b - 2480, 3*h + 3492 - 1008 = -2*b. Let j be (3/9)/(b/(-18)). Is 0 greater than j?
False
Let b = -4618 + 4610. Is 166 < b?
False
Let s = -359489/164 - -2192. Is -0.07 less than s?
True
Let y = -48 + 52. Let o(g) = 6*g + 43. Let b be o(-6). Suppose -b*j + 4*j = -6. Which is greater: j or y?
y
Let v(a) = 5*a**2 - 8*a + 6. Let t be v(2). Is 19/2 >= t?
False
Suppose 5*g = 4*l - 8437 - 9316, 5*l - 22099 = -4*g. Is l not equal to 4430?
True
Let l = -127421/23 + 5541. Let x = -90989 + 90991. Do l and x have the same value?
False
Let b be -3 + 21647/35 + 1 + 54/(-42). Which is greater: 616 or b?
616
Let o = 184.4 - -17.6. Which is smaller: o or -0.5?
-0.5
Let t = 54/11 + -507/110. Let v = -785 + 329. Let z = -457 - v. Is z greater than t?
False
Let j = -232.86 - -233. Let c = -41.86 - j. Which is greater: c or -1?
-1
Let i = 3829/1065 + 1/213. Let j(v) = v**3 + 9*v**2 + 3*v - 37. Let b be j(-8). Suppose 5*q - 5*g - 25 = -b*g, -3*g = 3*q - 15. Which is smaller: i or q?
i
Let o = 5157 - 3972. Which is bigger: 1186 or o?
1186
Let u = 14767 + -14602. Which is smaller: u or 166?
u
Let y(t) = -2*t**2 + 10*t - 20. Let i be y(3). Let j be 15/12 - (-4)/i. Let p be (0 - 0)*(1 + 0). Is j bigger than p?
True
Let p(j) = 117 - j - 3*j - j - 9*j. Let n be p(7). Which is smaller: n or 91/5?
91/5
Suppose 13*n = 9*n + 20. Let v be n*((-436)/(-10) - -1). Suppose -5*b = v - 8. Which is bigger: b or -42?
-42
Suppose -2*b + 0 + 2 = p, 2*b + 6 = p. Let k be (-2)/4*b/((-3)/498). Let r = k - -72. Is r equal to -11?
True
Let o = -6 + 6. Let c = -47024/1281 + 257/7. Is c != o?
True
Let z(d) = -11*d + 1110. Let y be z(98). Which is greater: 68 or y?
68
Let r(c) = -c**2 - 140*c - 1771. Let n be r(-126). Is n not equal to 520?
True
Let l = 0.89 + -60.89. Let b = -60.31 - l. Let n be 0/((-3)/2*68/51). Is n >= b?
True
Let g be (-3)/(-11 + 8)*6/2. Suppose -358 + 352 = g*s. Which is greater: s or 6?
6
Let k = 17.535 + 3.595. Let a = k - 0.13. Let u be 0/(((-2)/4)/((-9)/(-18))). Does u = a?
False
Suppose 3*g = -2*u + 1 - 12, -2*g + 3*u = 16. Let v(r) = 86*r - 2. Let c be v(g). Let a = -37585/87 - c. Is a less than or equal to 1?
True
Suppose 37*z + 289 = -52*z - 245. Is -4.55 less than or equal to z?
False
Let z be (3 - (9 - 0)) + 3 + 9410/50. Which is greater: 184 or z?
z
Let s be (-4)/(-826)*42/(-72)*-3. Suppose 6*n + 1 = 31. Suppose 0*r - n*r = -8*r. Is s bigger than r?
True
Let t = 14480 - 8106. Is -1 >= t?
False
Suppose 4*u - 57 = 3*v, -3*u + 0*u + v + 39 = 0. Let x be 4/8 + (u/8)/3. Is x >= 2/133?
True
Let c be 19140/(-2392) + 20/25*10. Is c greater than or equal to 1?
False
Let g = -20 - -19.522. Let a = g + 0.46. Let q = a - -1.018. Which is greater: -27 or q?
q
Let h(a) = -a**2 - 164*a + 1055. Let q be h(7). Is -2/15 greater than or equal to q?
True
Let p = 6562 + -6463. Suppose -200 = -3*z + z. Which is smaller: z or p?
p
Suppose 0 = m - 4*l - 8, -3*l = m - 2*l - 33. Suppose -24*d + m*d + 88 = 0. Let x = d + 24. Is 6 at least x?
True
Let u be -5 - ((-43)/2236*24 + 387/(-91)). Let l = 74 + 540. Are l and u nonequal?
True
Let v be 2 + 5*(1 - 87/5). Let t = v + 82. Let k be t/(4/1) + 13/(-42). Which is greater: 1 or k?
1
Let f be (-10)/50 + (-7104)/(-20) + 3. Which is smaller: 361 or f?
f
Let q = 790/17 + -15588/323. Let z be (-21)/(-14)*(0 - 4) - -4. Is q <= z?
False
Let n = -78 + 219. Let p = -83 + n. Suppose -4*q + 210 = -5*d, -3*d + 7*d + p = q. Is q less than 51?
True
Suppose 0 = -3*m + z - 1, 0 = 216*m - 220*m + 5*z + 6. Is -2/12735 bigger than m?
True
Let i = 15753 - 15779. Let l = 8 + -5. Is l at most as big as i?
False
Let o be -13 - (-4 - -34)/6. Let b(l) = -5*l - 29. Let m be b(o). Suppose -82 = -p - 5*v - 0, -4*p + 228 = -5*v. Which is greater: m or p?
p
Let v(l) = -45*l + 956. Let q be v(41). Is q greater than or equal to -889?
True
Let u = 246.7537 + -3.7537. Do u and -25 have the same value?
False
Let y be (4*1/7)/((-8)/(-28)). Suppose t = -2*t - 4*u - 75, 0 = -2*t + y*u - 64. Let w = t + 29. Is 2/367 greater than w?
True
Suppose -a = -4*f - 167, -5*f + 9*a = 6*a + 207. Let r be 4/(-10) - 4/424*f. Which is bigger: -1 or r?
r
Let a(b) = b**3 + 38*b**2 + 37*b + 34. Let w be a(-37). Let j(v) = -33*v - 14. Let y be j(-4). Let u = y + -84. Do w and u have the same value?
True
Suppose -3*o + 57 = -2*k - 6, 5*k + o = -149. Let s be ((-4)/(-5))/((-12)/k). Suppose -s*x = x - 15. Does 6 = x?
False
Suppose p + 2*a = -0*a - 34, 5*p - 2*a + 206 = 0. Let z be p/(-6)*(-6)/5. Let o = 99.2 - 99.2. Is z at least as big as o?
False
Let d = -155 - -160. Suppose d*j + 2 = 222. Is j not equal to 44?
False
Let k be 16/6 + 510/(-306). Let l be 8689/(-26)*(0 + -2). Let w = l + -668. Is k <= w?
False
Let n be (-6)/(-4) + (-168)/96. Which is smaller: 247/7 or n?
n
Let z be 804/(-1005) + (-1307)/(-90). Which is smaller: 15 or z?
z
Let l = 0.135 - -81.865. Let y = 82.037 - l. Let x = y + 25.963. Is x at most 0?
False
Let c = 34523663 - 164229066507/4757. Let p = 22/71 + c. Let j = 22090 - 22089. Is j greater than p?
True
Let s be 4 - (36/11 + -1). Let k be 5 - ((-6)/(-3) + 0/2). Which is greater: k or s?
k
Let g(s) = -5*s + 87. Let k be g(16). Suppose c - k*c = -6. Which is smaller: 6/53 or c?
6/53
Let u be (-140)/(-10) - (-8)/2. Suppose 3*s - 72 = -u. Suppose 23*g = 20*g - s. Which is smaller: 1/2 or g?
g
Let s = 1235/2 + -11099/18. Which is smaller: s or 235?
s
Let b be (-12)/(-18) + 116/6. Are 800 and b equal?
False
Suppose -2*u = -4*u - 2. Let d = 18804 - 319669/17. Which is smaller: u or d?
u
Suppose 2*r + 4*c - 16 = 0, c = -2*r + 18 + 10. Suppose 0 = -2