8. Which is bigger: a or m?
m
Let b = 1139 - 1138. Let g = 30/19 - 624/323. Which is greater: g or b?
b
Let l(d) = -3*d + 10*d + 11 - 8*d + 0*d. Let y be l(13). Let z be ((-5)/15)/(y/(-98)). Is z less than -17?
False
Let d be ((-27)/96)/(2/8). Suppose -3*h - 3*t = 2*t + 256, 0 = -4*t - 8. Let p = -327/4 - h. Are d and p unequal?
True
Let p = -14570 + 14580. Is -4/189 at least as big as p?
False
Suppose -144*u - 219*u - 46845 = -369915. Which is smaller: u or 892?
u
Let q be (-15)/32181*95/475. Which is smaller: 0.1 or q?
q
Let g be 2/148*(-384)/(-3). Let c = g - 1558/259. Which is smaller: -3 or c?
c
Suppose n + 2*x + 18 = 0, -x - 51 = -23*n + 27*n. Which is smaller: n or -208/17?
-208/17
Let b = -3533 + 3697. Which is bigger: b or 130?
b
Let l be 2047/(-7544) - (-4)/32. Let q = 47 - 31. Let t be 10/6 + q/(-24). Which is bigger: l or t?
t
Suppose -2*a + 408 = -t + 399, -3*t - 3*a + 27 = 0. Which is smaller: 101 or t?
t
Let m be ((-3)/81*-1)/(12/(-8652)*-7). Is m greater than 4?
False
Let p(k) = k**2 + 234*k + 8226. Let q be p(-42). Are q and 66 unequal?
True
Let t be (-2998)/(-200) + -15 + 0. Suppose 3*y - 32 = 5*y. Let n = y + 15. Is t at most as big as n?
False
Let p be 24/(-9)*(1 - -2). Let n = -130/9 + 15. Are n and p equal?
False
Suppose 0*q = -3*q + 9. Suppose 0*d = -2*d - 4*m - 32, q*d - 7 = 5*m. Let c = -0.2 - -0.1. Which is smaller: c or d?
d
Let u = -143609/19 - -7558. Is u less than 23?
True
Suppose 5*y = -p - 539, 5*y = -21*p + 24*p + 1617. Is -1077/2 <= p?
False
Let x = -2249.329 + 2138.23. Let m = x + 111. Are m and 1 unequal?
True
Let g be 1/(8/6*(-11)/(-56804)). Which is greater: 7747/2 or g?
7747/2
Suppose 3*z - 4914 = -1338. Let n = -4745/4 + z. Let h be 1 + (-1 + 2)/((-10)/(-50)). Which is bigger: n or h?
h
Let u(g) = 3*g + 19. Let x be u(-5). Let c(r) = -2 - 1 + 3*r + 1 + x. Let v be c(-1). Are 4/9 and v unequal?
True
Let k(t) = t + 2. Let a be k(-2). Suppose a = 24*q - 86 - 130. Suppose 5*j = 4*j + 11. Which is smaller: q or j?
q
Let p = -123 - -239. Which is smaller: p or 156?
p
Let i(d) = -11*d + 100. Let u be i(9). Which is greater: 6/181 or u?
u
Let x = -189 - -178. Let u be (2 - x - -1)*(-10)/(-4). Is -0.2 != u?
True
Let k = 1230 - 11084/9. Suppose -4*b + 3*s + 25 = 13, s = -2*b - 4. Suppose b = 17*y - 33*y - 16. Is y not equal to k?
True
Let q be -124 + 129 + (179 + 2 + -2 - -1). Which is smaller: -15 or q?
-15
Suppose -5*h + 2*i + 6 - 2 = 0, -3*h + 18 = 4*i. Suppose 0 = -2*q + h*p - 3*p + 76, 108 = 3*q + 3*p. Suppose q = -105*z + 104*z. Is z at least -40?
True
Let z be (2326 - -4)*(20/(-8))/5. Which is smaller: -1163 or z?
z
Suppose 4 = 3*i - 2. Suppose i*n - 18 = -26. Let x be (n - -3)/(5 - 2). Is x at least 0?
False
Suppose -2*h = 5*q + 22, -3*h - q = 4*q + 43. Let l = h + 25. Suppose -l*c - 31 + 23 = 0. Are -2 and c non-equal?
False
Let y = 372 + -243. Let f = y + -130. Let o = 68 - 68.39. Which is smaller: f or o?
f
Let m be -2*-37*3/6. Suppose -3*g - m = -5*r - 5, -3*g = -2*r + 20. Is r equal to 1?
False
Let m = 7619903/18666 + -3674/9. Which is smaller: m or -0.1?
-0.1
Suppose -106*v - 3791 = -1159 + 5848. Is -105 at least v?
False
Suppose 3*s = -2*d + 25 + 201, -5*s = 2*d - 226. Suppose 12*a + 343 = -d. Suppose -4*j + l - 73 = -2*j, 4*j - 3*l = -143. Is j bigger than a?
False
Let j(g) = -22*g**2 + 2. Let k be j(-1). Let p = -4339 + 34555/8. Which is smaller: k or p?
k
Let a(j) = 36*j + 3. Let c be a(4). Let l = 24183 + -24038. Which is smaller: c or l?
l
Let j be 477/(-2) + 2/(-4)*(38 + -43). Is j smaller than 5?
True
Let w = 5.18 + -5.38. Suppose 4*g = -g - 70. Let b = -10 - g. Which is smaller: b or w?
w
Let t = 7460 - 7450. Let c be (-212)/5 + 4/10. Let i = t - c. Are 52 and i non-equal?
False
Let n = -983 - -1467. Is n greater than -2?
True
Let b be 25/2 + 22/44. Suppose k + 3*j - b = 0, 5*k + 10*j - 15 = 5*j. Which is bigger: k or -8.6?
k
Suppose -2*p = -0*p - 6. Let d = 11939.7 + -11941. Which is bigger: d or p?
p
Suppose -174 = -7*q - 48. Let b(j) = j**2 - 19*j + 20. Let x be b(q). Is 11/9 <= x?
True
Suppose 5*j = -2*r + 39 - 64, -4*r - 5*j = 25. Is r > -1468?
True
Suppose 33*k - 6569 = -497. Suppose -k*y - 4 = -186*y. Suppose 2*j = 6*j + 24. Which is smaller: y or j?
j
Let l(p) = 10*p - 36*p - 785 + 734. Let z be l(-2). Let w = 1187/27468 + -5/436. Which is smaller: z or w?
w
Let h = 149/630 + -1/70. Let j = 0.0164447 - -0.1475553. Is j >= h?
False
Suppose 4*a = -5*g + 18001, 0 = -16*g + 13*g + 2*a + 10783. Is 3597 at least as big as g?
True
Let v be 1 + (-1 - -1*12). Let i(g) = 284*g - 5102. Let w be i(18). Is w < v?
True
Let p = 10416/11 + -40607/55. Is 208 less than or equal to p?
True
Let v = 16 - 20. Let g = 263 - 264. Let y be 0/(g*v/12*-3). Which is smaller: y or 1/4?
y
Suppose 4*c - c = 3. Let x = -13575/98 - -277/2. Which is bigger: x or c?
c
Let g = 200111/10 + -20014. Suppose 8 = -2*f - 0*f. Which is smaller: g or f?
f
Let r be (-4)/7 - ((-2000484)/(-79))/6. Let n = 4221 + r. Is 0 equal to n?
False
Let q = 0.0348 - 0.2128. Let h = 179.178 + q. Are h and -1 unequal?
True
Let w = -45 - -63. Let q = -17 + w. Let x = -2 - q. Is x at most -2?
True
Let k = -14.919 + -0.081. Let l = -35 - k. Let w = l + 18. Is w at least -9?
True
Let j be 9992*(-18)/54*3. Are j and -9993 non-equal?
True
Let z(v) = 20 - 36*v + 5 + 16 + 31. Let h be z(4). Is h < -75?
False
Let u be ((-6)/(-9) + -1)*37/703. Which is bigger: u or -0.69?
u
Let v = -1.5 - 90.5. Let p = v + 122. Let g = -31 + p. Do 2.7 and g have the same value?
False
Let x(d) = 1. Let a(c) = 18*c + 22. Let g(t) = -a(t) + 6*x(t). Let o be g(-2). Which is greater: 56/3 or o?
o
Let h = -22 - -3.2. Let c = h - -2.8. Which is bigger: c or 0?
0
Let a = 56 + -92. Let g = -25 - a. Let x = g + -23/2. Is -2 less than x?
True
Let a be 94*1 + (-25 - -25). Let q = 1025/11 - a. Let s(v) = -v**2 + 9*v - 2. Let c be s(9). Is c < q?
True
Let v be 2/(-3) + (-663)/153. Let g be 165*(v + 32*(-1)/(-6)). Which is greater: g or 1/4?
g
Let p(x) = -x**2 - 75*x - 159. Let j be p(-17). Is 827 greater than j?
False
Suppose 5*f - 3*f = d - 37, -3*f = -3*d + 60. Let a = 30 + -25. Suppose -j - j = 5*o + 12, 4*j = a*o - 84. Which is smaller: f or j?
f
Suppose 5*u + 3*y = -293 + 348, u = -2*y + 4. Which is greater: u or 22?
22
Let h be (79 - 81/(-9)) + 3. Suppose -h + 84 = -c + 3*g, g - 51 = -3*c. Suppose -5*m + 57 = 3*p - 0*p, -28 = -2*m + 4*p. Which is smaller: m or c?
m
Let n = 0.76997 - -0.03003. Which is smaller: -41 or n?
-41
Let y = -2950754/24381081 - -2/46089. Which is smaller: y or 1?
y
Let j = -54.1 + 55. Let p = 0 - j. Which is greater: p or -0.4?
-0.4
Let b be (-216)/(-32) - (-3 - (-11)/4). Let j be (39/(-26))/(1 - b). Which is bigger: -5 or j?
j
Let y = 18413 - 18559. Is -147 at most as big as y?
True
Let o(u) = 9*u + 38. Let c(f) = -18*f - 75. Let k(w) = -4*c(w) - 9*o(w). Let n be k(-7). Which is smaller: n or 22?
n
Let f = 12.19 + -0.19. Let c = -13.58 + 0.58. Let d = f + c. Which is bigger: -18 or d?
d
Let t be 3*80/(-225)*(-110)/88. Is t greater than -566?
True
Suppose 100*c = 102*c. Let n = -19/5 + 461/120. Which is smaller: n or c?
c
Suppose a - 2 = 2*w, -13 + 5 = 2*a - w. Let h be -7 - (-48)/(a - -2). Is -77/4 > h?
False
Let b be (-8)/116 - (-17)/((-15776)/21048). Is 9/2 > b?
True
Suppose -8*p = 120*p + 128. Which is greater: p or -2/4887?
-2/4887
Suppose -2*r - 20268 = -3*h, 0 = 5*h - 5*r + 2*r - 33782. Which is greater: 6761 or h?
6761
Let c = 19846 + -19446. Which is smaller: c or 2791/7?
2791/7
Suppose 0 = 5*j - 10 - 0. Suppose -4*d - j = 2. Let v be (-740)/(-62) - 5 - (0 + 7). Which is bigger: v or d?
v
Let c = -1259944575/9944 - -126704. Is -1 > c?
False
Let q = -0.3261 - 89.7139. Let s = 90 + q. Let a = s + 0.24. Is a less than -6/7?
False
Let v(p) = 2*p**2 + 12*p - 5 - 72*p**3 + 12 + 73*p**3 + 8*p**2. Let y be v(-6). Which is bigger: y or 80?
80
Let p = 26.09 + 5.91. Let f = -36.4 + p. Which is bigger: -1 or f?
-1
Let t(y) = 15*y + 91 + 20*y + 318 - 8*y + 24*y. Let a be t(-8). Is 9/22 at least a?
False
Let i be (204/8)/((-1)/(-10)). Let r = 209 - i. Are r and -47 non-equal?
True
Let i(y) = 2*y + 23. Let h be i(-9). Suppose u - 23 = h*c, -2*u = -0*u - 5*c - 21. Let o be u/4*0/(-3) + 0. Which is smaller: o or 4?
o
Let m be (-7)/(16/(-10 + 6)) + 6/(-8). I