-2. Which is greater: b or y?
b
Let w = 84 - 88. Let u = -71 - w. Let n = 67 + u. Are 7 and n unequal?
True
Let j(t) = -15*t**2 - 81*t + 439. Let f be j(6). Which is smaller: -583 or f?
f
Let t = 82.88 - 73.88. Let f be (0 - -2)*(-1 + 2). Is t greater than f?
True
Suppose 8*t - 9 - 63 = 0. Suppose -23 = t*l + 58. Which is bigger: -48/5 or l?
l
Let m = 2186 - 2186. Let q(y) = y**3 + y**2 + y. Suppose -5*n = -3*g + 5, -3*n + 2 = 4*g + 5. Let f be q(n). Which is smaller: m or f?
f
Let j = 109/159 - 267815/318. Let s = -816 - j. Do s and 26 have the same value?
False
Let w be (-429)/(-12) + -3 + (-156)/(-48). Let g(o) = -o - 1. Let x be g(-5). Suppose 0 = x*m - 4*r - 136, 0*m - m - 4*r = -49. Is w at most as big as m?
True
Let m = -30.97 + 31. Let c = m - 6.03. Let k = -8 - c. Is k equal to -1/4?
False
Let b = -157.7 - -146. Let u = 124.7 + b. Is u at least as big as -0.2?
True
Let k(n) = 27*n + 707. Let p be k(-25). Which is smaller: 33 or p?
p
Suppose 0 = 4*r - 5*v, -35*v = 5*r - 31*v. Let k be 260*((-6)/(-12) + r). Which is smaller: k or 132?
k
Let d be 399/(-38)*(-56464)/(-28). Which is bigger: -21173 or d?
-21173
Let g be 2/(-10) + 2673/165. Let z = 34 - 21. Are g and z equal?
False
Let c(q) = 10*q**2 - 113*q - 1245. Let i be c(-8). Which is greater: 368 or i?
368
Let k be (2*397/(-3))/((-8)/12). Let p = -397 + k. Which is smaller: 1/372 or p?
p
Suppose -2*o + 4*f + 6 = 0, -5*o + 3*f = -0*f - 43. Suppose -o = -3*k + 4*b, 11*k - b - 4 = 9*k. Is k at most as big as -1/99?
False
Let q = -7003 + 7002. Let y = 3 - 6. Let s be ((-1)/(-9))/(-2 - y). Is q less than s?
True
Suppose -8 = -35*r - 288. Is r less than or equal to -60?
False
Let z = -159 + 147. Let l be (-24)/(-36) - (1 - z/(-8)). Are l and 1 equal?
False
Let w be 5556/(-10) + 3/5. Suppose 0 = 635*y + 87773 + 264017. Is y at least as big as w?
True
Let r(k) = -2*k**3 + 5*k**2 - 2*k + 12. Let p be r(5). Let f(j) = -j**3 - 18*j**2 - 65*j - 250. Let v be f(-14). Is p > v?
True
Let q(y) be the first derivative of 9*y**2/2 + 30*y - 16. Let t be q(-2). Which is smaller: t or 14?
t
Let k = -2081 + 22889/11. Which is greater: k or -16?
k
Let c be -1*-2*30/(-4). Let u = -16.8 + 14.7. Let q = -2 - u. Which is bigger: q or c?
q
Let t(a) = -a**3 + 12*a**2 + 7*a - 17. Let s be t(12). Let r = 71 - s. Suppose -r = -2*z - 6. Is -1 > z?
False
Let l = -0.7 - 4.3. Let q = -134687/11 - -12244. Which is bigger: q or l?
q
Let p be (-75)/25 + (-742)/(-248). Let a = 66 - 62. Suppose -a*c - 2*x - 8 = 0, -7 = -5*c + 3*x + 5. Which is smaller: p or c?
p
Let l = -33.49 + 32. Let a = l + 1.35. Which is bigger: 2/9 or a?
2/9
Let j(m) = -m**3 - 61*m**2 + 137*m + 90. Let r be j(-63). Is -613 > r?
False
Let f = 36 - 36. Let j = -17.068 - -0.068. Let z = j + 23. Which is smaller: f or z?
f
Suppose -81 - 93 = -3*d. Suppose 57*i - d*i = -22. Let n be (1 - 19/i)*(-60)/45. Which is greater: n or -4?
n
Suppose -1914*c - 1603 = -1603. Let p be ((-90)/(-8))/(9/48). Let u = p + -298/5. Which is smaller: c or u?
c
Let d = -134 + 202. Suppose -d - 62 = -2*i. Let o = -1234/19 + i. Is o equal to -1?
False
Suppose 3*r - 14 = j, -10*j = -6*j + 2*r - 14. Suppose 0*t = t + j. Let k be 3 - (-2 + (t - -5) + -3). Is 1 at most k?
True
Let w = 17/13641 + 5809145/1541433. Which is bigger: 3 or w?
w
Let n(s) = s**3 - 9*s**2 + 16*s - 12. Let k be n(7). Let f be ((2 - k) + -2)*(-5)/(-20). Is -2/463 at least f?
True
Let x(o) = -9*o**2 + o. Let c(p) = p**2 + 16*p + 1. Let t be c(-16). Let q be x(t). Let f be (72/(-16))/(-9) + 2/q. Which is bigger: f or -3/5?
f
Suppose -b - 1 = -3*a, -2*a - 3*b + 11 - 25 = 0. Suppose 0 = -3*k + 4*k - 5, -2*y - 716 = 4*k. Let m be 2*(-4)/y*a. Is 0 != m?
True
Let k be (-2)/(-4) - 796/8. Let w = k + 142. Let j = w - 41. Which is smaller: j or 1/2?
1/2
Let o(q) = q**3 - 33*q**2 - 33*q + 56. Let b be o(31). Let w be (-9)/6 + b/(-1908). Which is smaller: 1 or w?
w
Let x(k) = -k**3 - 68*k**2 - 1007*k + 70. Let h be x(-22). Which is greater: h or -1251/31?
h
Suppose 0 = -0*w - 4*w + 3*z + 69, 4*z - 58 = -3*w. Suppose w = 6*q - 0. Suppose 7*j + 16 = 16. Which is smaller: q or j?
j
Let a = 6940 + -90224/13. Which is smaller: 5 or a?
a
Let v = -6.72 + -21.98. Let h = v - 2.4. Let z = 31 + h. Which is smaller: -2 or z?
-2
Let o = -428 - -441. Suppose 403 - 78 = -o*f. Is f bigger than -27?
True
Suppose 0 = -n + 3*n + 2*d - 2, 0 = n + 4*d + 14. Let z be (-189)/n*(867/870 + -1). Let l = z - 1/10. Which is bigger: 0 or l?
l
Let t be 11 + -2 + (-24 - -3242). Do 3227 and t have the same value?
True
Let i = 2275 - 2293. Let d be (0 - -3)/((-3)/10). Which is smaller: i or d?
i
Let s(k) = -k**3 + 8*k**2 - 6*k - 6. Let f be s(7). Suppose 0 = -11*t + 1 - 8 + 40. Is t < f?
False
Let p = 100.4397 + -0.4397. Is 0.05 > p?
False
Let b(s) = s**3 + 7*s**2 - s + 3. Let j be b(-6). Let n(k) = k**2 - 4*k + 3. Let h be n(4). Suppose -h*t + 0*t = -y + 57, 33 = y + 3*t. Is j at least y?
True
Let u = -1175 - -1174. Is u bigger than 5975?
False
Let k(x) = -37*x**3 - 16 + 18*x**2 + 21*x**3 + 15*x**3 + 21*x. Let s be k(15). Is s != 974?
False
Let h = -58 + 59. Let x(n) = -50*n**3 - n**2 - 2*n + 4. Let c be x(h). Is c at least -47?
False
Suppose -l - 4*t - 236 = 0, -4*l - 15*t = -16*t + 978. Let x = 233 + l. Is x < -10?
True
Let l(s) = 12*s + 153. Let w be l(-6). Suppose -233 = 3*x - 0*j - j, -x = -j + w. Which is greater: 2 or x?
2
Let p(c) = c - 21. Let y be p(7). Let j be (-1396)/y + (-10)/(-35). Let i be (-8)/(-12) + j/(-168). Are -1 and i equal?
False
Let m = -0.17206 + -0.02794. Are m and -0.6383 equal?
False
Let m be 213265/22581*(-7 - -1)/2. Let b be 6/(-8)*4*9. Do m and b have the same value?
False
Suppose 5*c + 1891 = 69*r - 65*r, -3*c + 4*r - 1149 = 0. Is 30 != c?
True
Let y(i) = 352*i + 12711. Let s be y(-36). Suppose -3*h + 150 - 33 = 0. Is h < s?
False
Suppose 22 = -2*g - 3*i + 1, -2*g - 2*i = 16. Let d be (g*(-4)/48)/((-3)/(-372)). Which is smaller: d or -0.1?
-0.1
Let q = -908 - -233. Do q and -675 have the same value?
True
Let f be 6/(-15) + (-7)/((-104265)/5688). Which is smaller: f or 1?
f
Let z = -12572/2469165 + 2/5865. Let y = -379 + 378. Which is greater: y or z?
z
Let d be ((-99)/(-5357))/((-12)/(-8)). Is 1 at least d?
True
Suppose y - 23 = -22, -y - 626 = 3*l. Let o = 166 + l. Is o != -45?
True
Suppose v = -12*v + 208. Let z be (v/6)/(40/(-30) - -1). Is -17 < z?
True
Let z = -1725.1 + 1597. Let m = 128 + z. Let k = 43 + -67. Which is greater: m or k?
m
Let w = -51223 - -974051/19. Which is bigger: w or 44?
44
Let g = 3/1570 + -1747/92630. Let h = 0 - -0.1. Is g at least as big as h?
False
Let h be 753/33 + 14/77. Let v be (-149)/5 - 3/(-8 + h). Which is bigger: -27 or v?
-27
Let l be -10 + 5 - 1 - 3*(-455)/(-75). Is l < -23?
True
Let u be -3*5 - (-5 + 2). Let w = 8/917 + -105527/8253. Is u less than or equal to w?
False
Let f = 63 - 42. Let o be (-140)/f*(-6)/4*-1. Let s(y) = y**3 + 11*y**2 + 10*y + 22. Let b be s(o). Which is smaller: b or 21?
21
Suppose -195 = -3*a - 2*o, -2*o = 2*a - 7*a + 325. Suppose -4*j + 344 = -2*h, -a*h - 100 = -j - 68*h. Is 175/2 bigger than j?
False
Suppose 0 = -12*b - 143 - 349. Does -30 = b?
False
Let q be (-9)/(-18) + (-1 - 135882/(-12)). Do 11323 and q have different values?
False
Let n(p) = 9*p - 59. Let m be n(7). Suppose 2*f = -2*a + 3*a - 8, -m*f - 4*a = -8. Which is greater: f or -23/9?
f
Suppose -5*m - 28 = 4*h - 128, 3*h - 2*m = 52. Let q be (-6)/20*h/15. Suppose 5*u = k - 16, 5*u + k - 3*k = -17. Are q and u non-equal?
True
Suppose 0*r = r + 2. Let u(x) = x**3 - 4*x**2 + 7*x. Let k be u(6). Let d be k/(-95)*5/7. Are d and r equal?
False
Let a = 78 - 47. Let g = a + -11. Let x be 11*(g/(-8) - -2). Are x and -7 equal?
False
Let v be ((-3)/(-6))/(12/7128). Let d = v + -297. Is d > -18/25?
True
Let q be ((-258)/(-36) + -13)*6/345. Is 0.4 > q?
True
Let d = 43 - 42. Suppose -1992*r = -2005*r - 221. Which is smaller: r or d?
r
Let b = -175.41 - -180. Let j = b - 4.65. Are j and -1/3 equal?
False
Let f = -16016 - -16001. Are f and 0.04 non-equal?
True
Let c = 20223/35298091 - 2/15737. Let w = c + 29135/53832. Which is smaller: 2 or w?
w
Let y = -89817/4 - -22454. Is y at least -1088?
True
Let c(o) = -4*o - 4. Let m = -123 - -133. Let z be c(m). Let y = 92 + -91. Which is bigger: y or z?
y
Let j =