8 + 21.04. Which is smaller: -0.08 or p?
p
Let l be (2 - 1326/(-9))/(6/18). Let v be l/(-21) + ((-9)/(-1))/3. Which is smaller: -17 or v?
v
Let n be (-18560)/(-87) - (-7)/(-3). Which is bigger: 213 or n?
213
Let c(w) be the first derivative of 2*w**3/3 - 11*w**2/2 - 14*w - 36. Let k be c(7). Is 9 at least as big as k?
True
Let n(o) = o**3 - 44*o**2 + 121*o + 82. Let d be n(41). Is 31/43 at most as big as d?
False
Let g(j) = j**2 - 5*j + 9. Let f be (-4 + 1/1*-4)/(-2). Let q be g(f). Which is bigger: q or 36/7?
36/7
Let o(n) = -n**3 - 3*n**2 + 5*n + 1. Let s be o(-4). Let h be (2/(-24))/(3/(-6) - s). Is 2/7 bigger than h?
True
Suppose -5*t + 0*t = -255. Let y be 6/t - (-166)/34. Suppose 5 - 2 = 2*f - l, 30 = -y*f - 5*l. Which is greater: f or 1?
1
Suppose 3*q = -112 + 529. Let r = 86 - q. Is r less than or equal to -52?
True
Let n = 6 + -7. Let h = -4575/34 - -269/2. Which is smaller: h or n?
n
Let s = -21522/23 + 936. Is -1 at least as big as s?
False
Let u = 6821.8 - 6822. Let n = -447/4 - -111. Are u and n nonequal?
True
Suppose 5*y + 2*k = 44, -13 - 11 = -4*y + 4*k. Suppose y = 2*j - 0*j - 5*z, -5*j - 2*z = 9. Suppose -v - 3*v = 20. Do j and v have the same value?
False
Suppose -370*i + 371*i = 0. Let d = 3.1 - 3. Let g = d + -0.3. Which is smaller: i or g?
g
Let r(w) = 2*w**2 + w - 1. Let n be r(1). Suppose 47 - 9 = n*y. Is -0.1 smaller than y?
True
Suppose 21 = 41*d + 62. Which is bigger: d or -9/58?
-9/58
Let i be 1 + 627/12 + (-4)/16. Let f = i + -12. Is 41 greater than f?
False
Suppose 5*r - 4*s = -s + 33, 35 = 3*r + 2*s. Let a = r + -10. Do 2/151 and a have the same value?
False
Suppose -5*g = 3*z + 17, -4*g - 21 = -2*z - 3*z. Let p = g + 6. Let u be 4/(-22) + (-24)/(-11). Is u >= p?
True
Let t be (-1)/2 + (-9)/(-2). Suppose -16 = -f - 0*f + 3*l, -19 = -t*f + 3*l. Suppose -5*o - c + 1 = 0, -o = 7*c - 3*c + 15. Is o less than or equal to f?
True
Suppose -197*w + i = -202*w - 1, 2*i = 5*w + 13. Is w at least -2/355?
False
Let r = 427 + -402. Which is greater: r or 28?
28
Let q = -127 - -8254/65. Which is smaller: 0 or q?
q
Let i = 16493/28 + -589. Are i and -0.08 unequal?
True
Suppose 29 = -2*r + 11. Let v be -2*(513/6)/r. Is 19 at least as big as v?
True
Suppose 6*c = 3*c + 4*j - 23, -4*c = -5*j + 29. Let i be 72*((-175)/165 - c). Are i and -4 equal?
False
Let b = 26.2 - 22. Let a = b + 14.8. Let d = 18.8 - a. Does d = -3?
False
Let q = -8.32 + 10.32. Which is bigger: q or -19?
q
Suppose 7 = -2*c + 3. Let r be (2 - 4/2)/c. Let w(m) = m**2 + 13*m + 21. Let j be w(-11). Which is smaller: j or r?
j
Suppose -4*g - 234 = -5*o, 0 = -g - o - 0*o - 54. Let i = g + 58. Let z be (-1)/(-11)*-1 - -1. Which is greater: z or i?
i
Let q = 2063.1 - 2063. Which is bigger: 11/8 or q?
11/8
Suppose -10*x - 7*x + 204 = 0. Let r be 6/(-40)*(-8)/x*-1. Which is greater: r or 0?
0
Let b(c) = c**3 - 8*c**2 - 10*c + 9. Let z be b(9). Let w be -1 + 1 + z/(-1). Suppose w = -4*l + 8 + 4. Is l smaller than 2?
False
Suppose 0 = 10*c - 10 + 30. Let b be c/3*(69 + -3)*-1. Does 43 = b?
False
Let f = -14 + 18. Suppose 2 = 2*q - 2*j - 2, -q - f*j = -7. Suppose -44 = -4*t - 4*g, q*t = -0*t + 4*g + 19. Which is bigger: t or 10?
10
Suppose w = -3*s - 3, -3*w - 2*s + 8 = -4*w. Let v(g) = g - 7. Let z be v(0). Is z smaller than w?
True
Let j = 0.96 + -0.86. Is 0.007 at most j?
True
Suppose 3 = 2*g + 3*p - 2, -3*p = 3*g - 9. Suppose 0 = g*j - 5*j + 2. Which is bigger: j or 12/5?
12/5
Suppose -5*w - 2*z - 5 = 3*z, 0 = -5*w - 3*z - 1. Let i(v) = 3 - 7 + 3 + 3*v. Let o be i(w). Is 4/3 > o?
False
Let u = 889 - 883.23. Let l = u - 6. Are l and -1/2 non-equal?
True
Let k be (10/(-45)*-3)/((-2)/(-6)). Let v = -6 + 10. Suppose v*l + 0*l = 0. Which is smaller: l or k?
l
Suppose 0 = 5*a - 5 + 35. Which is smaller: -1 or a?
a
Suppose a + 16*h - 217 = 12*h, -3*a - h = -618. Are 204 and a equal?
False
Let b = -5/133 - -2153/665. Let o be -8*(-7 + (-135)/(-20)). Is b less than or equal to o?
False
Let r = -13 + 17. Let u = r + -12. Is -10 bigger than u?
False
Suppose -7*a + 61 = 54. Is -16/33 less than or equal to a?
True
Let u be 50/(1 + 4) + -3. Suppose 119 = -6*a - u. Let t(p) = -p - 37. Let n be t(a). Is n != -17?
True
Let v(m) = -m**2 - 3*m + 4. Let h be v(-4). Let l = 381 - 1548/5. Let u = l + -72. Is h >= u?
True
Let i(h) = 2*h**2 + 18*h + 9. Let p be i(-9). Let g be (2/p)/((-2)/3). Which is smaller: g or 25?
g
Let l(p) = -p + 15. Let c be l(15). Let u(m) = -2*m**2 - m + 5. Let g be u(9). Let r = g + 661/4. Does r = c?
False
Let l(s) = -s**3 - 9 + 3 + 0*s**2 - 7*s - 7*s**2. Let t be l(-6). Let r = -3 - t. Which is greater: -2 or r?
-2
Let b = -11.43 - -0.43. Let d = -0.02 - 0.18. Is b at most d?
True
Let z = 33 + -32. Let v be (-2)/15*z/5. Is -1 <= v?
True
Let p = -146 + 148. Is p at least as big as 20?
False
Suppose 3*c = g + 11 - 3, 50 = 5*g + 3*c. Let k = -8 + g. Which is greater: 0 or k?
0
Suppose 0 = -5*j + 5, 2*d + 3 = 2*j - 3. Let f be (-4774)/(-98) + d/(-7). Suppose 4*t - f + 17 = 0. Is 8 smaller than t?
False
Suppose -13 = -2*r + 5*z + 10, -3*r = -5*z - 22. Let c = -1756/19 - -185/2. Which is smaller: r or c?
r
Let v = 100.1 + -112.1. Which is greater: 75 or v?
75
Suppose 0 = 2*f - 12*f - 4250. Is -427 at most f?
True
Let r be 3 - 63/39 - 1. Let q = r - 7/52. Let y = -7.19 + 0.19. Which is smaller: q or y?
y
Let h = 8 - 197. Is -190 at least h?
False
Let d be (-3)/(90/(-48)) + -1. Let l = 0.2 - 0.3. Which is smaller: l or d?
l
Suppose 5*y + q - 12 = -4, -3*q = -9. Which is smaller: 2/121 or y?
2/121
Let w = 7 + 1. Let u = -7 + w. Let s = 6 - 5. Is u at least s?
True
Let o(m) = 3*m**2 - 7*m + 4. Let w be o(5). Let a = -133/3 + w. Which is bigger: -0.21 or a?
-0.21
Let h = -308 - -59753/194. Which is smaller: 1 or h?
h
Let m = -226.1 + 226. Is 0.7 bigger than m?
True
Let n = 86 + -86. Is n at most 173?
True
Let t = -3 + 4. Let x = 79/3 - 866/33. Is t at least as big as x?
True
Suppose -5*r - 2*c + 53 = 0, 1 + 15 = 4*c. Let u = r - 11. Let o be u/(-7) + 24/(-42). Which is greater: -0.14 or o?
-0.14
Let m = 369 + -368.9. Is m smaller than 0.3?
True
Let f(y) = -y**2 + 8*y - 6. Let l be f(6). Let w = 21965 + -21956. Is l at least as big as w?
False
Let i = 2 + 0. Let a(s) = 21*s**i + 2 - 2*s - 4 - 22*s**2. Let w be a(-5). Which is greater: w or -16?
-16
Let x be (44/8)/(-11)*2. Let p be -1 + (-147)/(-390)*-58. Let o = p - -112/5. Which is greater: x or o?
o
Let h = 245 + -237.85. Let l = h - 0.15. Let r = l + -6.9. Which is greater: 0.4 or r?
0.4
Let h = 20 - 15. Let c(s) = -s - 4. Let x be c(-6). Suppose -x*k + h = 3. Which is greater: k or -1/4?
k
Let l be (-3)/27*1516 + (-148)/(-333). Is l greater than -508/3?
True
Let n = -2.124 + 0.124. Let r = 3 - 2.2. Let a = r - 1. Are n and a equal?
False
Let z be (-8 - -1)*139/(-7). Which is smaller: z or 140?
z
Let d(q) = -q - 1. Let g be d(-1). Suppose -3*w - 8 = -4*w. Let j be (6 + -5)/((-26)/w). Which is bigger: j or g?
g
Let j(f) = f - 11. Let w be j(9). Let t be (-1)/((-3)/2 + 1). Let b be ((-2)/(-5))/((-1)/t). Is w less than or equal to b?
True
Let i(o) = 4*o**2 + 14*o + 10. Let g be i(5). Is 0 not equal to g?
True
Suppose 5*n + 25 = -5*w, -2*n = 4*w - 3*n + 5. Let t be (-6)/(-57)*(-3)/w. Which is smaller: -1 or t?
-1
Let m = -198 - -203. Which is smaller: m or 72/19?
72/19
Suppose -5*h + 23 = 2*t, -2*h + 12 = 2*h. Suppose -3*g = 3*i + 2*g + 22, 2*g = t*i - 14. Is 1/55 at least i?
False
Let g = 6326/5 - 1293. Which is greater: g or -28?
g
Suppose l - 3*g = 326, -966 = -3*l + 6*g - 9*g. Which is smaller: l or 322?
322
Suppose -5*q + 95 = -10*q + 5*x, 98 = -5*q + 2*x. Which is bigger: q or -18?
-18
Let n be (5 - -1) + -1 + 740/(-20). Is -33 less than n?
True
Let s be -91*(-2 + 0)/(-1). Let p = 1265/7 + s. Let u = p + 31/35. Is 0 greater than or equal to u?
True
Let z(s) = -6*s + 5. Let p be z(2). Let k be (-12)/(-7) + -2 + 5/p. Is -9/4 greater than k?
False
Suppose -2*u = -3 - 1. Suppose -6 = -3*m + u*m. Is 7 bigger than m?
True
Suppose -4*y = 4*y - 24. Let h(f) = f**3 - f - 3. Let s be h(0). Let c be 2*s*2/(-12). Which is bigger: y or c?
y
Let c = -347 + 345. Suppose -6*f - 15 = -f. Let a = f - c. Which is greater: -3 or a?
a
Let m(h) = 6*h - 1. Let i be m(1). Suppose 5*c + 14 = 2*x, -c - 15 = -4*x - i. Let d = 1156/3 - 384. Is