. Suppose -w + x = 6. Is 54 at least as big as w?
True
Let l = 363/149 + -80127/42614. Let r = -3380 - -966683/286. Let t = r - l. Is 0.8 at least as big as t?
True
Let o(f) = -f**3 - 8*f**2 - 4*f - 22. Let t be o(-6). Let p = t + 2. Is -68 at least as big as p?
True
Let y(n) = -n**3 - 8*n**2 + 3*n + 28. Let c be y(-8). Let f(p) = -p - 10. Let j be f(c). Let s be 158/(-10) + (-3)/15. Do s and j have different values?
True
Suppose -8*a = -a + 77. Let d(v) = -1 + v**2 + 1 - 10*v**3 - 2*v**2 + v. Let f be d(1). Is f equal to a?
False
Let z be 310/32*(-4)/(-10). Let s(v) = v**2 - 138*v - 24476. Let k be s(-102). Which is greater: k or z?
k
Let w(x) = -23*x**2 - 14*x - 4. Let z be w(4). Let y = z - -731. Let u = y + -2115/7. Is 2 at most u?
False
Suppose 22392 + 46952 = -197*m. Is -371 at least as big as m?
False
Let b = -195 - -407. Suppose -46 - b = -6*g. Which is greater: g or 44?
44
Let j(h) = -292*h + 2336. Let v be j(8). Is 8.3 equal to v?
False
Let p = 45431 - 55652969/1225. Which is greater: 1 or p?
1
Let w = 275 - 213. Suppose w = -9*q - 217. Which is smaller: q or -95/3?
-95/3
Suppose 0*n - n = -34. Suppose -5*i - p = -821, -i + 82 = -2*p - 91. Suppose -5*l = v - i, v - 4*v = 3*l - 99. Which is smaller: n or l?
l
Let w be (-8 - -1)/7*1. Let m be ((-105)/(-17) - 6)*w. Which is smaller: m or 1?
m
Let i be (-68642)/493620 + 19/(855/6). Let o = 1/2165 + i. Which is smaller: o or -1?
-1
Let z = -11762 + 59986/5. Let r = 236 - z. Which is greater: r or -13?
r
Let n = -2295 + 6493/3. Let s = n + 138. Suppose 26 = 5*x - 14. Do s and x have different values?
True
Let j be (-2)/((-5)/((-985)/(-2))). Let t = j + -176. Is 21 smaller than t?
False
Let b = -2668 - -2678.71. Let q = -0.29 - b. Let r = -11.2 - q. Which is greater: r or 3?
3
Let m be (1 + -4)/(63/28 + -3). Suppose m*n - 38 = -x, 22*x - 5*n - 257 = 18*x. Is 170/3 less than x?
True
Let r = -476.4 - -519. Let a = 35 - r. Let j = a + 8.4. Which is smaller: j or 0?
0
Let u = 23 + -24. Let h be (u/(-2))/((-3)/(-6)*2). Let y = 0.14 - 0.06. Is y less than h?
True
Suppose 3*t + 6 = 4*n + 1, 2*n = t + 3. Suppose v = -4*a - 27, 0 = 2*v - 6*v - n*a - 178. Which is greater: -48 or v?
v
Suppose 2*v - 4*g = -3*v + 22, -10 = -5*g. Let s be ((-2)/v)/((-11)/924). Are s and 30 unequal?
True
Let g = 78.066 + -78. Let u = -0.034 - g. Let c = -328.7 + 331. Which is smaller: c or u?
u
Suppose 20 = -4*p, -3*p - p - 17 = j. Suppose 6*n + 4*i = 4*n + 16, -2*n - 3*i = -12. Which is bigger: j or n?
j
Let l = 12.5042 + -0.0042. Let m = -8 + 7. Which is smaller: m or l?
m
Let x = -15.9 - -15. Let j = 10/16669 - -33168/283373. Is j <= x?
False
Let z(w) = -4*w**2 - 31*w + 11. Let y be z(-14). Is -341 < y?
True
Suppose -5*h = -5*a - 585, -4*a = 5*h - 2*h - 372. Let f be (14 - 11)/((-9)/h*1). Which is smaller: f or -165/4?
-165/4
Let c = 515.8 + -515.64. Is c != -3.1?
True
Let h(y) = 54*y**2 + 36*y - 16. Let z be h(-7). Let k = 197379/83 - z. Is k equal to 0?
False
Let c = 5714.6 + -5715. Which is smaller: c or 540?
c
Let b(x) = 3*x**3 - x + 3. Let f be b(0). Suppose -f = t + c, -t + 5*t - 2*c - 6 = 0. Is 2/51 equal to t?
False
Suppose 0 = -270*h - 3235 + 176035. Are h and 636 equal?
False
Suppose -3*n = -194 + 152. Let f be (186/8)/(21/12). Which is greater: f or n?
n
Suppose -33 = -c - 27. Let z(k) = -13*k**3 - k. Let o be z(1). Let q be (-15 - o)*(-4)/c. Is 1 smaller than q?
False
Let k = 32013 + -32013. Which is greater: k or 9.284?
9.284
Let b be ((-1668)/60 - 3)/((-2)/20*-2). Which is greater: -152 or b?
-152
Let u = -1035 + 85900/83. Let n = -260141 + 260141. Are u and n nonequal?
True
Let f(s) = -1 + 4*s**2 + 18*s**2 - s**3 + 4 - 21*s - 44*s**2. Let q be f(-21). Suppose -r = -q*w + 28, 6*w - 56 = 2*r + 4*w. Which is smaller: -29 or r?
-29
Suppose 2*l - 3*b + 12 = -l, -4*b = -5*l - 17. Let d = -1034 + 1047. Suppose -6 = -4*i - 2*y, 15*y - d*y = 5*i - 3. Which is bigger: i or l?
i
Let n be (-831)/8 - 2/16. Let q = n + 104. Which is smaller: q or 36?
q
Let g be -4 + (-1585)/(-75)*1 + (-2)/(-3). Suppose 3*b = -f + 29, 4*f - 21 = 3*f - b. Is g <= f?
False
Let y(f) be the first derivative of f**3/3 - 11*f**2/2 + 6*f + 2. Let t be y(12). Let l be (-243)/t*4/6. Is l bigger than -11?
True
Suppose -4*z = -34 + 2. Let i be (2 + (12/(-2))/(-3))*z. Which is smaller: i or 4?
4
Let z = -16079 + 16289. Which is smaller: -0.053 or z?
-0.053
Let m = -57 - -41. Suppose -3*z = -3*z + 4*z + 132. Is m at most z?
False
Let p(b) = -19*b**2 + 112*b - 197. Let d be p(7). Is d bigger than -332?
False
Let f = -6158.8 - 141.2. Let y = 6361.99 + f. Let s = y + -62. Is 0.3 not equal to s?
True
Let h be (1/(-2))/((-147)/588). Let i be (-4)/(-5)*(-5)/2. Let m = -3 - i. Which is smaller: h or m?
m
Let u be 7*6/(-5418)*(9 - 3). Let s = -8 - -13. Let c = s - 4. Is c less than or equal to u?
False
Let q be 16/2*1*4386/24. Suppose 0 = -21*b + 4*b - q. Is b at most -87?
False
Suppose -3*m + 24 = 6*r, 98*m - 96*m = 4*r + 16. Which is bigger: r or -4/355?
r
Suppose r = 3*n - 88, n + 472 = 1694*r - 1699*r. Is r >= -107?
True
Let k(h) = -h**3 - h - 2. Let g(o) = 6*o**3 + 3*o**2 + 26. Let v(s) = -g(s) - 5*k(s). Let a be v(-5). Let i be 25/(-150)*a*1. Which is greater: i or -2?
i
Let j(u) = 2*u**2 + 36*u + 163. Let t be j(-7). Let o be ((-63)/(-4))/3*-4. Let x = t + o. Which is greater: x or -10?
-10
Suppose m + 25 = -5*q - 51, 5*q - 25 = 0. Is m >= -3/10?
False
Let u be (-247)/(-39) - 6 - 2/4. Let g(o) = 4*o**3 + 4*o**2 + o - 2. Let v be g(-2). Let q be 8/v - 46/10. Which is smaller: q or u?
q
Suppose 0 = 42*w - 37*w + 4*i + 91341, -i = 5*w + 91329. Which is greater: w or -18264?
-18264
Let f = -38339 + 38338. Is -37/261 != f?
True
Suppose 48*t + 200 = 23*t. Let s be t + 11 + (-3 - -1). Is s greater than or equal to 5/18?
True
Let p(a) be the third derivative of 0 + 0*a + 3*a**3 - 1/60*a**5 + 7*a**2 + 3/8*a**4. Let o be p(10). Is o bigger than 7?
True
Suppose 5*n - 4*r = -5424, -1053 - 1113 = 2*n - r. Are -1077 and n unequal?
True
Let d = 888 - 1839/2. Let s be 220/(-20)*2/4*6. Is s bigger than d?
False
Let p(g) = g**3 + 4*g**2 + 4 + 2 - 9*g - g**2 + 5*g**2. Let m be p(-9). Suppose -m*d + 3*d = 2*h + 5, 2*d = 3*h + 40. Which is bigger: h or -11?
h
Let h = -663873/223 + 2977. Let b = -25130 - -25128. Is b equal to h?
False
Let v be 1918/(-510) + 2/5. Let g = v + 17/5. Is 3 smaller than g?
False
Let m = -100 + 99. Let g be (2/(-26))/(-2 - m - 0). Let y = 12 + -11. Is g at most as big as y?
True
Let v(u) = -u**2 + 1. Let b be v(-1). Suppose 0 = 4*j - 5*p - 1710, 2*j - 2*p + 5*p - 866 = b. Let n = 3020/7 - j. Which is smaller: n or 1?
1
Suppose -4*b - 130 = f, -4*b - 3*f = -b + 102. Let k be (-64)/(-132)*72/b. Let s be 2/5 - 4/10. Which is smaller: s or k?
k
Suppose -19*f - 846 = -86. Let r be 1/6*(46 + f). Is r at most as big as 1/23?
False
Let g = 10190 + -10384. Is -2127/11 less than g?
False
Suppose -3*q + 5*q - 10 = 0. Suppose 3*d + 4*j = -106 + 27, q*j = -2*d - 48. Let c(v) = 6015*v + 246587. Let r be c(-41). Is d less than r?
True
Let t(s) = 675*s + 40. Let u be t(-4). Let k = u + 111737/42. Let i = k + -1/14. Which is bigger: 64 or i?
64
Let r be (1 + 0 + -3)*(-6)/(-30). Let z = -3.944 - 0.056. Let d = -5.4 - z. Which is smaller: r or d?
d
Let m(b) = b**3 + b**2 - b - 3. Let z be m(0). Let g be 53 - (z - (-2)/1). Suppose -2*c - 2*j = g, 2*c = 4*j + j - 19. Is c > -22?
False
Let i = -0.72 + 4.02. Let p = -0.77 - 6.93. Let n = p - i. Are n and -1 non-equal?
True
Let g(m) = 2*m. Let b(q) = 15. Let u(t) = -b(t) - g(t). Let a be u(-8). Let r be 6/(-14)*4/78. Which is bigger: r or a?
a
Let w(c) = -c**2 - c - 3. Let m be w(-4). Let a(b) = b**2 - 5*b + 14. Let g be a(-18). Let k = g + -443. Is k != m?
False
Let w = 172.99 + 1230.01. Is 2/7 at most as big as w?
True
Let b be 114 - 115 - -6*1. Suppose -v - z - 258 = -b*z, -3*v = 4*z + 726. Is v < -244?
True
Let n be (-4 - (-51)/15) + (-1722)/(-420). Is -65 at most n?
True
Suppose 16 = -1513*f + 1508*f + 3*o, 3*f + 4*o = 31. Which is smaller: -2/14313 or f?
-2/14313
Suppose 2*t + 565 = -5*l, 7 = -l - 2*t - 106. Is 5 greater than l?
True
Let a be 2 - (574/(-20))/(6/18). Suppose -418 = -4*g - 66. Let z = a - g. Which is smaller: 1 or z?
z
Let a = 143 + -131.9. Let n = a - 11.1362. Are n and 0 unequal?
True
Let 