b**3 - 6*b**2 - 11*b - 1. Let t be f(-8). Suppose -t = -5*q - v*w, 0 = -3*q + 5*w - w + 103. Which is smaller: q or 42?
q
Let g = -172.8 - -148. Let s = -1.6 + 6.4. Let l = g + s. Which is greater: -2/3 or l?
-2/3
Let n(x) = -x**3 - 13*x**2 + 6*x + 54. Let o be n(-9). Let a = 331 + o. Which is bigger: a or 68/9?
68/9
Let l(p) = 311*p - 24881. Let u be l(80). Suppose -m = 4 - 212. Let n = m + -1870/9. Which is smaller: n or u?
u
Let n(t) = -6*t**2 + 4*t - 2. Let o be n(2). Let f = 55.2 + 6.8. Let a = -63 + f. Which is smaller: a or o?
o
Let o be -2*(397/5)/(22/55). Let c = o + 1575/4. Which is smaller: c or -3?
c
Let z = 50.0572 + -0.0572. Let b = 77 + -43. Let y = b - z. Which is greater: 0.1 or y?
0.1
Let b be (-4317)/7*((-180)/(-54) - (-6)/(-3)). Is b smaller than -822?
True
Suppose 3*h + 132 = 3*v, 3*v - 5*h + 6*h = 104. Is 20 less than v?
True
Let z = 9621 - 28862/3. Which is bigger: z or 4/2973?
z
Let z = -4129 + 3965. Are -12 and z unequal?
True
Let j = 10/2277 - 20543/11385. Do j and 1.41 have different values?
True
Let c(w) = -8*w + w**2 - 10 - 2*w - 3*w + 2*w. Let b be c(12). Suppose p - 27 = 4*i, -i = -7*p + 3*p + 33. Is b greater than p?
False
Let w = -209.5 + 264. Let h = -48 + w. Let g = -10.5 + h. Which is smaller: 1/4 or g?
g
Let k = -2540 + 2539.9. Let x(j) = -j**2 + 10*j + 4. Let u = -18 + 28. Let c be x(u). Which is smaller: c or k?
k
Suppose -82 = 6*w + 218. Suppose -n - 4*n - 250 = 4*q, 0 = -5*n + q - 225. Which is greater: n or w?
n
Let p = 305012 + -305014. Suppose -4*l + 6 = -4*z + 6*z, l = -3*z + 14. Suppose 3*b + z*q + 23 = 0, 23 = -7*b + 3*b + q. Which is bigger: b or p?
p
Let u = -401.9 + 310.9. Which is bigger: 1/3 or u?
1/3
Suppose 2 = 12*o - 11*o. Let k be (22/7 - -2) + o/(-1). Which is smaller: 2/5 or k?
2/5
Let q = -55784/12719 + 101/23. Is q != 1?
True
Let a be -5*((-4158)/35 - (-2)/(-10)). Do 5 and a have the same value?
False
Suppose -21*q = -3*k - 26*q - 3383, 2*q + 3380 = -3*k. Which is greater: k or -1127?
k
Let y(u) = -4*u**2 + u - 1. Let s be y(1). Let l be (0 + 1)*s/4. Which is smaller: l or 0?
l
Let b(h) = h**3 - 12*h**2 + 73*h + 63. Let w be b(5). Is 5820/23 smaller than w?
False
Let u(i) = i + 141. Let w be u(-27). Let a = w + -131. Is a at most -190/11?
False
Suppose m = 5*y - 65 + 48, -23 = 2*m + y. Is 130 greater than m?
True
Let r be 0*3/9 + -3 + 6. Let x = 0.17 - 47.17. Let u = -42 - x. Is u >= r?
True
Let z = -46105/17 + 2712. Are -69.8 and z nonequal?
True
Let x be 16/104 - 1341/13. Let y = 7192 + -7194. Is x bigger than y?
False
Let q(r) = -10*r**2 - 38*r + 210. Let n be q(-7). Let s(h) = h**3 - 8*h**2 + 5*h + 8. Let c be s(7). Let w be 8/c*21/2. Is w bigger than n?
False
Suppose 63*f - 5328 = -9*f. Which is greater: 0 or f?
f
Let u = -79/114 - -1/38. Let z = -4925 + 24813/5. Is z at least as big as u?
True
Let c(i) be the first derivative of -i**4/4 - 8*i**3/3 - 7*i**2 + 4*i + 7. Let u be c(-5). Let f = -77/8 + 8. Are u and f equal?
False
Suppose 55*q - 63*q = -56. Suppose 2*w = -4*p - 156, -9*w = 3*p - q*w + 119. Is p at least -38?
True
Let n(q) = q**2 + 2*q. Suppose 3*r - 19 = 4*m, 3*m + 21 = 3*r + 6. Let c be n(r). Let u(a) = 6*a - 17. Let b be u(c). Which is smaller: 0 or b?
0
Suppose 71*o - 465 - 245 = 0. Is o != -53?
True
Let i(c) = -2*c**2 - 10*c + 9. Let k(o) = 3*o**2 + 9*o - 8. Let u(a) = -4*i(a) - 3*k(a). Suppose 9*r - 108 = -0*r. Let p be u(r). Which is smaller: p or -0.052?
-0.052
Let h = -1910 - -1967. Is 404/7 greater than h?
True
Let j = 47 + -44. Let p be (-3 - -2)/(51/(-12) + 4). Suppose 3*x + 3*d - 2 = -5, 41 = p*x - 5*d. Which is smaller: j or x?
j
Suppose -129*k + 133*k = 3*u - 2, -2*u = 3*k - 24. Which is bigger: 127/22 or u?
u
Let v = -0.506 + 0.476. Let c = v - -0.33. Which is smaller: c or -0.02?
-0.02
Suppose 0 = -7*u + 4*u - 21. Let t = -16589 - -16588. Which is smaller: t or u?
u
Let c be 26 + -3 + -5 + -18. Is c at most -14/341?
False
Let t be ((-631539)/(-108) - -5) + 77/44. Which is bigger: 5853 or t?
t
Let v = 7291 - 7291.03. Which is smaller: 2/85 or v?
v
Let o = 19437 - 19825. Which is bigger: -383 or o?
-383
Suppose 132 + 129 = -87*t. Is t < -12?
False
Let d = -107 + 109. Let u be ((d + -1)*1)/(-1). Is -28/19 bigger than u?
False
Let b be ((-27)/18)/((-5)/30). Let v be (-17)/(b/(44 + 1)). Which is smaller: v or 2/9?
v
Let y(d) = -2*d**2 + 17*d + 26. Let q be y(16). Let w = -84 + -131. Which is smaller: w or q?
w
Let f = 6.54 - -0.46. Let r = f - 7.61. Let t = -1.11 - r. Is t less than 4?
True
Suppose a + 7 = 8. Let d = -2821/283 - 6834253/11603. Let l = d - -599. Does a = l?
False
Let g be (1 - 127/130)*200/2440. Which is bigger: g or 0?
g
Let g = -2.15 + 1.85. Suppose 3*d = 3 - 0. Is d bigger than g?
True
Let z = -5531 - -4148. Which is greater: z or 2/9?
2/9
Let u(s) = -s - 2. Let z be u(0). Let h = 635/6 - 145. Let p = h - -1549/42. Are p and z unequal?
True
Let p(f) = 2*f**2 + 162*f + 489. Let w be p(-3). Which is smaller: 20 or w?
20
Suppose -128 = -13*q + 5*q. Suppose -q*p - 5*i = -14*p + 183, -336 = 4*p + 4*i. Are p and -84 nonequal?
True
Suppose -183*x - 35 = -148*x. Which is smaller: 5810 or x?
x
Suppose -49*z - 22 = -34 - 37. Is z > -1/9919?
True
Let p be (2/(-48))/((-470)/(-236) - 2). Suppose 4 = 597*l - 596*l. Which is greater: l or p?
p
Let u = -12.519 + 13.113. Is -3/2 greater than u?
False
Let a = 109 + -66. Let l be (-5)/(478/(-78) + 6). Let y = a - l. Which is greater: y or 1/2?
y
Suppose 4*m + 3*g = 13198, -57*g - 6598 = -2*m - 59*g. Is m <= 3301?
True
Let s be (0 + 2)/((-310)/(-53227)). Let f = s - 339. Is f at most 5?
True
Suppose 0 = -3*c - d + 3816, 6*d - 5078 = -4*c + 3*d. Is c > 1274?
False
Suppose -200*g = -55*g + 32*g - 1062. Suppose 2*j = -2*x + 4, 3*j + 2*x - 6 = -0*j. Suppose -4*s + j*i + 4 = -g, 0 = -s + i + 4. Is s >= -2/159?
True
Let t(z) be the second derivative of 7*z**3/3 + 31*z**2/2 - 5*z. Let l be t(7). Let b be 3/(-18) - 11*l/18. Is b < -78?
True
Let y = -214 - -327. Let f = -23 + y. Let i = f + -88. Which is smaller: i or -5?
-5
Suppose 3460 = -83*x + x - 91*x. Let d(a) = -a**2 + a - 19. Let k be d(0). Let j = x - k. Are -5/11 and j equal?
False
Let l = 39 + -37. Let h(u) = 10*u + u**2 - u + u - l*u + 7. Let b be h(-7). Which is smaller: 2 or b?
b
Suppose 0 = 2*b - 3*b + 5*t - 343, 4*b - 5*t = -1417. Let z = b - -3583/10. Let s(w) = 13*w + 181. Let d be s(-14). Which is greater: d or z?
z
Let f(r) = -r**2 + 4*r + 8. Let l be f(5). Suppose 68 = -l*t - t. Let w be t - -15 - 1/(-6). Do -1 and w have different values?
True
Let l(q) = -q**2 - 31*q + 198. Let w be l(-37). Let o be ((-21)/(-49))/(w/63). Is 0.3 at most o?
False
Let j(r) = r**2 - 7*r - 26. Let t be j(10). Suppose 0*u - t*u - u = 0. Is 1/25 at most as big as u?
False
Let z(q) = -19*q - 17103. Let m be z(-161). Is m smaller than -14043?
True
Suppose 2*g = -3*j + 27, 57 = 3*g + g + 3*j. Let a = -220 - -237. Which is bigger: g or a?
a
Suppose -10*v - 3*z + 8 = -9*v, 2*v = 2*z + 56. Are -4 and v unequal?
True
Let h = -797 + 796. Suppose 2*i + 3 = 2*g - 3, g = -i + 1. Let f be ((-434)/219)/2 - i. Is h >= f?
False
Let c(h) = 7*h. Let k(y) = 4*y. Let d(s) = 2*c(s) - 5*k(s). Let o be d(-1). Let i be (3 - 12/(-6))/1. Which is smaller: o or i?
i
Suppose 5*j - 1217 = c + 2*c, 4*c - 4*j + 1612 = 0. Is 2 bigger than c?
True
Let j = 374 + -365. Let b(q) = q**2 - 22. Let v be b(j). Which is smaller: 299/5 or v?
v
Let r(d) be the second derivative of 3*d**3/2 + 5*d**2 + 36*d. Let o be r(-3). Let s = 26 - 44. Is o bigger than s?
True
Let c = 54 - 60. Let m be (-1 + (-81)/c)*(-24)/(-5). Let y be 24/10*15/m. Is 2 equal to y?
False
Suppose 42*q + 7*q = 49. Is -2/5991 equal to q?
False
Let w be (-2)/(-4) + 33/(-66). Suppose v + 91 = -w*v. Let n = v - -84. Which is smaller: -42/5 or n?
-42/5
Let t be 28/21 + 5/2*(-164)/246. Let s be 2/8*16/(-6). Do t and s have the same value?
False
Let v be 7 + (-9)/(-1656)*-1078. Is v at most 0?
False
Let r be 3/(-1) - 159 - 1. Let z(f) = 11*f + 466. Let c be z(-57). Is c >= r?
True
Suppose 21*z = -10*z + 1798. Suppose 0 = 5*x + r + 147, x - 4*x + r = 93. Let g = z + x. Is 28 >= g?
True
Suppose 4*j = -4*z - 36, -46 = -2*z + 6*z + 2*j. Let k be 135/35 + (-2)/z. Suppose 0 + 16 = k*y - 5*c, 13 = -y - 3*c. Are -4 and y unequal?
True
Suppose 6*c - 3