8). Let m = -41 + c. Does m = 1?
False
Let z be 8/(192/(-18)) - 26/8. Suppose -o - 4*o + 5 = 0. Let t be (1 - (-1 + 2))/o. Is z bigger than t?
False
Let c be (-4)/30*(-3)/2. Let l(n) = n**2 - n - 1. Let a be l(3). Suppose 0 = -a*z - 4*b - 25, -z + 2*b = -2*z - 11. Which is smaller: z or c?
z
Let l(u) = -u**3 - 8*u**2 - 13*u - 15. Let d be l(-6). Suppose 13 = -4*h - 3*v - 22, -2*h - 19 = v. Let k = d - h. Is -0.1 <= k?
True
Let u = 2.1 + -2. Let n be ((-6)/15)/((-32)/(-92)). Let o = -17/20 - n. Is u > o?
False
Suppose 6*w - 295 = 203. Is w at most as big as 82?
False
Suppose -4*m - 1 = -5. Let b = -39 + 43. Let d be ((-6)/b)/(63/(-4)). Is d less than m?
True
Suppose -2*v + 48 = -4*v. Let g = 21 + v. Do -3 and g have the same value?
True
Let n(x) = 2*x + 4. Let b be n(-5). Let q be (b/18)/((-2)/12). Let m(k) = -k**3 - 10*k**2 - 8*k + 11. Let u be m(-9). Is u smaller than q?
False
Suppose p + 5*a = 25 + 19, 2*a - 6 = 0. Suppose -p*z + 30*z = 3. Let u = -3 - -3. Is u at least as big as z?
False
Let r be ((-12)/2)/((-6220)/370 - -17). Is r <= -33?
False
Suppose -8439 = 4*l + p, -4*l - 5*p - 5800 = 2635. Let o be (4/96)/(1/l). Let w = o + 88. Which is smaller: 1 or w?
w
Suppose 2*h - 24 = -2*h - 4*o, 2*h + o - 11 = 0. Let n be h + -3 + -4 + 2. Which is bigger: -3/14 or n?
n
Suppose 4*t = -5*a + 6 - 21, 6 = 3*t - 2*a. Which is smaller: t or 12?
t
Let c be 3*15*(-3)/(-9). Suppose -c + 53 = -2*d. Let x = d - -18. Is x at most as big as -2/9?
True
Let c = -145 + 587/4. Suppose 0 = 2*h - 6*h - 4. Is c at most h?
False
Suppose 0 = -5*l - g + 214, 0*g = -4*l + g + 173. Let q = -36 + l. Is 17/3 at most as big as q?
True
Let n be (1289293761/(-15))/(984/20). Let f = 1747014 + n. Let z = f - -2/123. Which is bigger: 4 or z?
4
Let d = -712.042 + 712. Which is bigger: 0.09 or d?
0.09
Let x be (-2)/((-3792)/9496) - 5. Let s be 16/80 - 2/10. Which is bigger: x or s?
x
Let k be 15/((-585)/(-598))*9/(-2). Which is greater: k or -70?
k
Let i be (0/1)/(-14 - -15). Let y = -1769/216331 - 9/953. Let u = y + -330/7037. Which is bigger: i or u?
i
Let a = 790 - 504. Do a and 287 have the same value?
False
Let h = -34.04 + 35. Let v = h - 0.86. Let j = -0.07 + 9.07. Is j equal to v?
False
Suppose -34 = 15*o - 14*o. Let d be o/(-24) + (8 - 9). Let h = d + -59/84. Which is greater: h or 8?
8
Suppose -3*h = x - 9, 3*h - 9 = 3*x + 2*x. Let u be (-1)/(-3) + 1 + (-1421)/(-210). Let c = u + -276/35. Which is smaller: c or x?
x
Let t be (0 - 0) + 0 - 58085. Let z = t - -3194467/55. Let n = z - -35/11. Are -1 and n non-equal?
True
Let v be (-4 + 4)*(-1)/(-4). Which is bigger: v or 2/63?
2/63
Let c(q) = q**3 + 4*q**2 + 4*q + 1. Let l be c(-1). Let d be l*(0 - (-4)/4) + -13. Is d at most -11?
True
Let m be (800/(-112) - -8)*14/(-2). Is 0.57 bigger than m?
True
Let x be (-2)/19 - 1405*14/(-199500). Which is bigger: x or -1?
x
Let a = 1573 + -1566. Which is bigger: 77 or a?
77
Suppose 3*r + 2*w + 33 - 10 = 0, -4*r - 32 = 3*w. Let f(p) = -p**3 - 5*p**2 - 7. Let g be f(r). Let h be (84/45)/g*-3. Which is bigger: 0 or h?
h
Let x = 3 - 5. Suppose 23*h + 6 = 24*h. Suppose h*c = c. Which is greater: c or x?
c
Suppose z = y - 5, 2*y - z + 1 = 8. Let p be (-1)/2 - -3 - y. Is 7 at most p?
False
Let n be 3/2*8/12. Which is greater: 1/210 or n?
n
Let x(k) = k**2 - 2*k + 3. Let g be x(0). Suppose 0 = g*u - 2*h - 40, -3*h - h - 20 = 0. Which is smaller: 9 or u?
9
Let w(a) = -a**2 - 41*a + 41. Let l be w(-42). Let i = -15/8 - -959/520. Is i > l?
True
Let g be ((-16)/40)/((316/(-5))/(-4)). Let d be 2 + 1 + 3/(-1). Which is smaller: d or g?
g
Let j = 28 - 22. Let w be (9/1494)/(1/j). Let h = -919/166 + w. Are h and 0 non-equal?
True
Let t be ((-170)/50)/(72/20). Is -2 bigger than t?
False
Let m = 1.4 + -0.8. Let w = 0.081 + 5.519. Let z = w - m. Which is smaller: -0.1 or z?
-0.1
Let h(i) = 13*i + 314. Let a be h(-42). Is a > -232?
False
Let u = -115/3 + 38. Let v = -0.35 + 0.95. Let b = 0.4 + v. Is b at least as big as u?
True
Let y be (1/2)/((-5)/(-30)). Suppose -5*l + l = -2*n - 24, 0 = -y*l - 2*n + 11. Suppose -l*g = f - 5*f + 16, 11 = 5*f - 4*g. Are f and -1 unequal?
False
Let k = -8 + 10. Suppose -h - k = -3. Let i = 164.01 - 164. Which is greater: h or i?
h
Let l be (156/(-15))/((-10)/(-25)). Is l <= -26?
True
Let k = 7 - 4. Let x be 2*(1/6 + 2/6). Does k = x?
False
Let c = 7 - 10. Let a = 1 + -1.06. Is c at most a?
True
Let q = 247 - 172. Let m = q + -35. Is m equal to 40?
True
Let q = 2298 + -2255. Is q smaller than 17?
False
Let a be 3/(-15) + (-117)/15. Let z be ((-44)/a)/(1/(-2)). Let v = z - -10. Is v equal to -3?
False
Let j(q) = q**3 + 10*q**2 - 11*q + 3. Let n be (-5)/(10/4)*33/6. Let y be j(n). Let s be ((-4)/12)/(1/3). Are y and s nonequal?
True
Let c = -16 + 18. Suppose 5*h - 15 = -5*s, -7*h + c*h = 3*s - 23. Suppose 2*w + 1 + h = 5*t, w - 3 = -t. Which is smaller: 3/11 or w?
3/11
Let t(f) = -2*f**3 - 5*f**2 - f - 9. Let d be t(-4). Let y be (-3)/((-126)/d) + -1. Which is greater: y or 0?
y
Let s = 1 - 0. Let v be (-14)/(-12)*6 + 42/(-8). Which is smaller: v or s?
s
Let i be (-6)/(-8) + (-6)/8. Let j(g) = g**2 + 3*g - 3. Let k be j(-4). Let h be (-2)/(k/(-6)*4). Is h < i?
False
Suppose 9*y = 22 + 5. Do y and -1/30 have the same value?
False
Let z = -3 + 6. Let n = 2 - 10. Let c = -7.5 - n. Which is greater: z or c?
z
Let t = -16 + 25. Suppose 4*d + 5*a + 18 = 0, 2*d - a = -7 - t. Which is greater: d or -28/5?
-28/5
Let g = -35 - -22. Suppose -3*y - 24 = 3*x, -27*x - 44 = -22*x + 4*y. Is x at least g?
True
Let r be (-3)/6*68*7/56. Which is smaller: -1 or r?
r
Let p(n) = -204*n - 7*n**3 + n**2 + 4 - 204*n + 413*n. Let s be p(-2). Do s and 54 have the same value?
True
Let o be (12/9)/((-2)/(-33)). Let f be o/5 + (-22)/55. Which is smaller: 1 or f?
1
Let j(b) = 5*b + 19. Let a(z) = -15*z - 56. Let l(s) = 3*a(s) + 8*j(s). Let i be l(-3). Is 2/117 < i?
False
Let z(g) be the third derivative of g**6/20 + g**4/12 - g**3/6 + 2*g**2. Let s be z(1). Let n(t) = t + 15. Let y be n(-9). Which is smaller: y or s?
y
Let z = -17262/5 - -3437. Which is greater: z or -14?
-14
Let z be (-2)/(-7) - 108/(-14). Let d = 226 - 221. Which is smaller: d or z?
d
Let s(a) = 4*a**2 + 4*a - 3. Let r = -13 + 9. Let p be s(r). Let z = 181/4 - p. Which is smaller: 1 or z?
z
Suppose 5*d - 3*f - 73 = 0, f + 1 = -0. Suppose -2*i = 2*n - d, -2*n = -3*n + 2*i - 5. Suppose 0*c + n*c = 0. Which is greater: 4 or c?
4
Let p = -2296 + 2270. Which is greater: -17 or p?
-17
Let t be (-362)/(-104) + (-7)/((-280)/(-10)). Which is bigger: t or 4?
4
Let i(c) = c**3 - 6*c**2 + 6*c - 4. Let b(m) = -m. Let k be b(-5). Let a be i(k). Suppose -5*p = -p + 16. Which is smaller: p or a?
p
Let u = 48494/2583 - 169/9. Which is bigger: -1 or u?
u
Let s = 212 + -142. Let j = 69 - s. Suppose -29 = 2*h + 17. Which is greater: h or j?
j
Let g(y) = -11*y**2 + 216*y - 15. Let j be g(20). Is j at most -93?
True
Suppose -4*i + 43 + 21 = 0. Which is bigger: 18 or i?
18
Let c be 1/(-3 - 245/(-80)). Let r be c/140 - (-2)/(-5). Is r at least 2.8?
False
Let x = 0.27 - 0.54. Let o = 0.33 + x. Let p = -387/5 + 77. Which is smaller: p or o?
p
Let j(m) = -m - 1. Let i be j(-4). Suppose c = -4*z + 13, 25 = 3*z + 5*c - 6. Suppose 0 = z*b - i*b + 1. Which is smaller: b or -1?
-1
Suppose 2 = -4*d - 22. Let r = 11 + d. Suppose c + 10 = -5*l, -3*l + 2*c + 12 = -r*l. Which is smaller: -5 or l?
-5
Let c be (-6)/9*(-30)/(-16). Let k(f) = -2*f**3 + f**3 - 5*f + 6*f + f**2. Let x be k(0). Which is smaller: c or x?
c
Let z = -497 + 504. Which is greater: z or -22?
z
Let l be (-3 + 2)/(24 - 26). Which is smaller: -1/64 or l?
-1/64
Let m = -33 + 34. Let v be 3 + 20/(-8) + m/(-2). Let k be 4/(-9) + (-6)/(-27). Which is smaller: v or k?
k
Let u = -182 + 181. Which is greater: u or 98?
98
Suppose 0 = 3*n + 5*y + 13, -5*n + 4 = -y + 7. Is 2/657 >= n?
True
Let s = 567.7 - 571. Which is greater: -8 or s?
s
Suppose 0 = 4*x + 8*d - 3*d - 37, 2*x - 13 = 3*d. Let b be 6*(3/6)/1. Which is smaller: x or b?
b
Suppose -4 = 2*p + 2. Suppose 2*l - o - 11 = 0, 0*o = -l - 4*o - 17. Suppose g + l*j - 10 = -0*g, 0 = 2*g - 4*j + 30. Which is smaller: p or g?
g
Let m = -5822493/7 + 835299. Let o = 3522 - m. Let l = 53/7 - o. Which is smaller: 1 or l?
l
Let z = -1.9819 + -0.0181. Is -1/261 >