8. Which is smaller: x or b?
b
Let y = -28 - -29. Let u be 3/4*-1*(-4)/(-198). Let g = u + 45/2002. Do g and y have the same value?
False
Let u = 137.9801 - -0.0199. Let t = u - 138.1. Does 9/8 = t?
False
Suppose w - 1 + 2 = y, 2*w = -4*y - 2. Suppose 11*g - 8 - 3 = y. Let k be g*(-3 + 1) - -23. Is k at least as big as 21?
True
Let h(g) = -9*g - 4. Let c be h(-1). Suppose -5*a - 62 = 3*v, 5*v - 7*a + 62 = -c*a. Is -14 greater than or equal to v?
True
Let f = 645 - 381. Let v = f - 271. Which is smaller: v or -15?
-15
Let r(o) = -3*o**3 - 5*o**2 - 9*o - 15. Let l be r(-5). Suppose 0 = 15*p - 22*p + 1967. Which is smaller: p or l?
l
Let c = 12 + 75. Suppose 2*t = -333 + c. Is -124 <= t?
True
Let y = -602.8 - -602. Is y less than -119?
False
Suppose -30*b = 20521 + 2939. Let k = b + 3914/5. Which is smaller: 3/4 or k?
3/4
Let k = 298 + -288. Suppose k*s + 2*a + 1142 = 6*s, 5*s = 3*a - 1455. Is s equal to -288?
True
Let p = -3634 - -3633. Which is smaller: p or -2/6205?
p
Suppose 15 = -3*d + 6*d. Suppose -9 - 1 = -d*j. Let l = 2155/3 - 716. Is j greater than l?
False
Let n(o) = -13*o - 33*o + 17536 - o**2 - 17550. Let z be n(-39). Is z > 258?
True
Let t be ((-22)/(-4) - (4 + -1))*(-10452)/(-335). Is t at least 37?
True
Let t = -33168 + 33168.3. Let u be (3/(-6))/(1/(-16)). Let k be 10/u*3/(-5). Are t and k non-equal?
True
Let j be 3/28626*(-15 + -1 + 12). Which is greater: 0 or j?
0
Suppose 2*n - 257 + 61 = -2*d, -n + 5*d = -86. Let v be (24/(-112))/(4/(n/(-9))). Let x be (6/8)/((-3)/(-2)). Which is bigger: v or x?
v
Let m = 40258 - 40257. Which is smaller: m or 7/3942?
7/3942
Suppose u = -2*m - 25, 13*u - 8*u = -5*m - 125. Let t be ((-15)/u)/3*(-35)/1064. Is t equal to 1?
False
Suppose -10*u - 24998 = 29002. Let j be (-6)/u*10*(-8)/14. Is j bigger than 0?
False
Let n be -184 - -182 - 2204/(-5). Which is greater: 440 or n?
440
Let u = -242 + 224. Let q be u/(-21)*63/12. Let l = -8 + 6. Which is bigger: l or q?
q
Let j = 59207 - 465781471/7867. Let x = -173104/118005 - j. Which is greater: -2 or x?
x
Suppose -414*h + 185*h + 189*h + 23000 = 0. Is 575 not equal to h?
False
Let n = 32 - 68. Let b = -37 - n. Let w = 1268/957 + -46/33. Is w less than or equal to b?
False
Let v be (-3153)/(-12) + 0 + -202 + 193. Which is greater: v or 253?
v
Let x(m) = 3*m - 28. Let b be x(11). Suppose 4*d + 13 - 9 = 2*v, -4*v = -b*d - 11. Suppose 49 = -11*w + v*w. Is w smaller than -6?
True
Let d be ((-9)/18)/(25/(-410)). Let p = 253 - 245. Is d less than or equal to p?
False
Let m(s) = s**3 - 6*s**2 - s - 2. Let j be m(5). Suppose -10*q + 6*q = -5*w + 91, 281 = -9*q - 4*w. Which is greater: q or j?
q
Let y = -5182 + 5133. Which is smaller: -77 or y?
-77
Let d = -3007 + 3006. Is 10/537 >= d?
True
Suppose -3*t - 25150 = 4*t - 32*t. Is t > 1006?
False
Let p = 47295 + -47288. Which is bigger: p or 654/89?
654/89
Let c = 0.2237 - -295.7763. Is c bigger than -0.1?
True
Let t = 1660 + -1664. Is t bigger than 6?
False
Let v be -213*(-2)/2 - ((-3 - -9) + -3). Suppose 0 = -o - 2*x - 2*x + 212, -4*o + 848 = 2*x. Is o at least v?
True
Let h = 0.96665 + 0.03335. Is 13246 > h?
True
Let z be ((-984)/7216 + (-2)/(-12))/(2/72). Is z != -0.85?
True
Suppose g + 4590 = -8*u - 706, u = -5*g - 701. Does -663 = u?
False
Let i be (-2)/5 + 2/((-50)/(-1185)). Let n = i + -44. Suppose n*z - z - 20 = 0. Is z greater than -2/3?
True
Let d be 16 + (-53466)/(-1001) + (-4)/22. Is 70 bigger than d?
True
Let w(x) = -x**3 - 22*x**2 - 19*x - 401. Let i be w(-22). Which is bigger: 9.9 or i?
i
Suppose 59*k + 14 = 61*k. Suppose 8*c - k*c = -58. Is c at most -58?
True
Let r = 5814 - 3238399/557. Is r > 1?
False
Suppose -11*r - 1046 = -f - 8*r, 2*r - 1036 = -f. Which is smaller: f or 1044?
f
Let k(x) = 2*x - 50. Let g be k(25). Suppose -5*z = -3*h - 25, g = 3*h + z - 0 - 5. Suppose h = 148*y - 150*y + 54. Is y at least 27?
True
Let g = 7651 - 7640. Does g = -27?
False
Let n = -0.082 + 0.016. Suppose -2*j + 652 = 3*g + 596, -j + 38 = 2*g. Which is bigger: j or n?
n
Let b = 647 + -647. Which is bigger: -11/75 or b?
b
Let b be (-1)/(5/10) - -311. Suppose -3*v + 48 = -b. Let s = v - 118. Is s > 3/22?
True
Let w = -13 + 25. Let n = w - -16. Let a be 2*7/(-31 - -3). Which is smaller: n or a?
a
Let r be (-47652)/(-2745) - 37 - 2/(-30). Is r < -20?
False
Let j be -64 + 67 - (6 - 0). Let h(b) = -2*b**3 - 4*b**2 + 12*b + 31. Let a be h(j). Which is bigger: a or 14?
14
Let h(b) = 8*b + 8*b**2 - 2*b**2 + b**3 + 10*b + 4*b**2. Let v be h(-3). Is v greater than -1?
True
Let i be -5*(-31 - (12 + -24)). Is -9 smaller than i?
True
Suppose 0 = 4*p + 2 - 6, 0 = 3*g - 2*p + 518. Let c = -125984 + 125812. Is g at most c?
True
Suppose 480 = -2*z - 8*z. Let l = z - -49. Are l and -3/7 non-equal?
True
Let l(z) be the third derivative of -23*z**4/24 - 22*z**3/3 - 5*z**2. Let a be l(7). Is a <= -204?
True
Let t be 6/(-111) - 9336/(-41292). Is -1 less than or equal to t?
True
Let m = -2544 - -2545. Which is smaller: m or 23/109?
23/109
Let j(u) = -2*u**3 - 31*u**2 + 15*u - 16. Let y be j(-16). Suppose -4*f - 3*v - 12 = y, -4*f - f = -4*v - 16. Suppose 3*s + 0*s = 0. Is f less than s?
False
Let c = 4.2 - -1. Let x = c - 96.2. Let o = x + 92. Is 23/4 at most o?
False
Suppose -10*o = -19*o - 4968. Let w = o - -2769/5. Which is smaller: w or 2?
w
Suppose 5420*b - 85624 = 5431*b. Is b greater than -7784?
False
Let p be (34/(-238))/(-4*5/70). Do p and -3717 have the same value?
False
Let k be (-18)/(-4)*(-8)/(-12). Let v be 51/3 + 1 - k. Suppose 260*r = 294*r - 578. Do r and v have different values?
True
Let k be (2 - 2)/(-3 + 4). Let d(r) = -3*r**3 + 2*r**2 + 2*r + 2. Let m(l) = -l**3 + l**2 + l. Let c(y) = 2*d(y) - 5*m(y). Let f be c(k). Is f <= 4?
True
Suppose 5*p + f - 8095 = 0, 3*p - 28*f = -27*f + 4849. Is p < 1619?
True
Let r be 32/1968*(-53511)/2. Let g(p) = 11*p**2 + 7*p - 3. Let v be g(6). Let h = r + v. Are h and -1 non-equal?
True
Suppose -451 - 441 = -4*c. Is 222 bigger than c?
False
Let v = -16707 - -117515/7. Is 82 > v?
True
Let b = -53 + 101. Suppose l + 58*h - 53*h - 3 = 0, -l + 9 = -h. Suppose -b = -l*v - 176. Which is bigger: -17 or v?
v
Let t = -1.5 + 1.76. Let h = t + 1.54. Let a = 1.83 - h. Which is smaller: a or 0.3?
a
Let n be (11 - -310)*(-10)/(-4)*2. Suppose 3*u + 1623 = n. Suppose 19 = -5*g - 6. Which is smaller: u or g?
u
Let p = -149 - -150. Let v = 11715/6443 + -31/17. Are p and v equal?
False
Let g = -2.6 + -11.6. Let a = 4.6 + 3.6. Let v = a + g. Is v less than 0?
True
Let k be (-2)/(-3) - ((-8574)/(-9) - 5). Let v = k - -1945/2. Is v at most 25?
False
Let k(r) = -36*r**2 + 487*r - 18. Let o be k(13). Which is bigger: 683/3 or o?
o
Let x = 35458748/3141 + -11289. Does x = 0?
False
Let d(k) = 6*k + 82. Let m be d(14). Let y = m - 183. Is y smaller than -5?
True
Let z be (-181)/(-28) - (-3)/(-4). Let c be (-12)/252*-49*(4 - 1). Is c at least as big as z?
True
Let i be (-42)/28 - 11532/(-8). Let l be 3/(459/i) + -9. Which is smaller: 0 or l?
0
Suppose c - 3*u - 12 = 0, c + 8*u - 3*u + 4 = 0. Suppose c*a + 10 - 106 = 0. Suppose 40*n + a = 38*n. Which is greater: -33/5 or n?
-33/5
Let o = -229 + 230. Let c(l) = -l**3 - 3*l - 2. Let z be c(-2). Let x = z + o. Which is smaller: 12 or x?
12
Let c be (7776/(-891))/32 - (-2)/99*-25. Let w(p) = -6*p**2 + 4*p**2 + p**2 + 4 + 5*p. Let x be w(6). Is c at most x?
False
Suppose -2*o - 4*v + 20 = 0, -2*o - 3*o = -4*v - 22. Suppose 0 = o*i - 10*i + 8. Suppose 8*l = 13*l - 20. Which is bigger: i or l?
l
Let p(t) = -2*t**3 - 14*t**2 + 2*t + 15. Let g be p(-7). Do 3/433 and g have the same value?
False
Let p = 866 - 348. Let i = -519 + p. Which is smaller: 3/370 or i?
i
Suppose -111*w + 29*w - 161 + 653 = 0. Let f = 86/19 + -6487/1387. Let v = 1697/365 - f. Is v not equal to w?
True
Let o(c) = 38*c - 62. Let u be o(16). Let t = -546 + u. Suppose -1 = 4*d + 19. Which is smaller: d or t?
d
Let w be (-376)/(-658) + 24/7 - (-81 - -1). Which is greater: -0.012 or w?
w
Let l = -46201097/1864 + 24786. Which is smaller: 0 or l?
0
Let o(w) = w**2 - 8*w - 208. Let f be o(20). Suppose 66 = x + f*x. Which is smaller: x or -22?
-22
Let w = 251 - 326. Let u = w + 118. Is 43 at most u?
True
Let v be ((-223)/50)/(-1) + 0. Let a be (-10)/75 + (-88)/(-1200). Let z = a + v. Do 3 and z have the