a
Let s(z) = -z**3 - 7*z**2 - 3*z - 21. Let d be s(-7). Which is bigger: -2/195 or d?
d
Let y = -221/2 - -1217/11. Let n(d) = 6*d + 3. Let j be n(0). Suppose 3*u + u + j*h + 7 = 0, 0 = -2*u + h - 1. Is y at most as big as u?
False
Let d = 37 - 37. Let i = 95 + -109.1. Let o = i + 14. Which is greater: d or o?
d
Let u(z) = z**3 - 2*z**2 - 2*z + 9. Let r be u(4). Let l = -31 + r. Suppose 4*x = -m - 5 - 1, x + l*m + 5 = 0. Which is bigger: x or -2/65?
-2/65
Let o = 10 + -50. Let z = -51 - o. Is -3 <= z?
False
Let s = -2231 - -3129. Is s greater than or equal to 1/4?
True
Suppose -4*b - 80 = 156. Is b > -1?
False
Suppose -90*f = -105*f - 1575. Which is smaller: -106 or f?
-106
Let w = 0.4 - -0.8. Let v = 1.4 - w. Let m = v - -0.8. Is -15 less than or equal to m?
True
Suppose w = 3*y + 3, 5*w = -3*y - 9 - 12. Let l = -2981/230 + 512/23. Let f = 34/5 - l. Are w and f non-equal?
True
Let d be 198/27 - (-1)/(-3). Suppose -d*c + 72 + 33 = 0. Let q be ((-51)/c + 4)/(-1). Is -1 less than or equal to q?
True
Let y be 2/((-48)/(-26) - 2). Let b be 1 + y/12*1. Suppose 0 = 29*l - 33*l. Is l at most as big as b?
False
Let u = 7 - -1. Suppose -2*y - 5*m + 2*m = -12, 2*m = -y + u. Which is smaller: -1/17 or y?
-1/17
Let y be (-1*(-1)/5)/((-14)/(-35)). Suppose 0*z + 6 = 3*z. Which is smaller: y or z?
y
Suppose 0 = -4*m, 5*r + 6 - 1 = 2*m. Suppose -211 - 89 = 5*t. Let q be ((-18)/t)/(3/(-4)). Is r < q?
True
Let r = -3.6 + 4.34. Let h = r + -0.24. Which is smaller: h or -0.1?
-0.1
Let r = 0 + -0.1. Let f be -3 - 28/(-10) - (-24)/(-20). Is f equal to r?
False
Let m = 36.8 + -36.8. Let l = -0.1 - -1.1. Let w = l - -2. Which is smaller: w or m?
m
Let c be 2/(6*(-16)/664). Is -15 < c?
True
Let f = -11858 - -11754.67. Let m = -103 - f. Is -2 >= m?
False
Let j = 623 + -1127. Let w be (-296)/j + 1/(-7). Which is bigger: -1 or w?
w
Let g(y) = 3*y - 1. Let k be g(1). Let v(i) = 13 + 4*i**k - 6*i - 7*i + 7 - 5*i**2. Let t be v(-14). Is t greater than or equal to 5?
True
Suppose -2*n - n = 18. Let c be (-63)/396*n/14. Is c at most as big as 1?
True
Suppose -3*g = -g. Suppose -3*z = -g*z - 54. Suppose -l = -4*l - z. Is -2/5 greater than or equal to l?
True
Suppose -4*x = -3*x - 3, m + 13 = 3*x. Let o be ((-2)/(-4))/((-1)/m). Let l = o + 2. Does 3 = l?
False
Let h = -9.8 - 6.6. Let p = h + 18. Are p and -1 nonequal?
True
Let x be (-223 - -230)*(0 + 1/7). Is x at most as big as -2/1461?
False
Let h be ((-10)/3)/(40/(-60)) + -3. Which is greater: h or -45?
h
Let l(i) = -i**3 + 8*i**2 - 8*i - 2. Let x be l(5). Suppose -n - x = -2*n + 2*y, -3*n - 3*y + 81 = 0. Are 27 and n unequal?
True
Let h(c) = -c**2 + 3*c + 846. Let b be h(0). Which is bigger: 847 or b?
847
Suppose -2*m = 4*y + 14, 5*m + 9 = 3*y - 13. Which is smaller: y or 1/593?
y
Let s(a) = -a**2 + 5*a + 13. Let y be s(10). Let z = y + 36. Suppose 0 = 2*p, 4*p = 3*j - p + 63. Which is smaller: j or z?
j
Let f(y) = -y**3 + 17*y**2 - 4*y - 3. Let k be f(12). Let h = -2691/4 + k. Is h at least -5?
True
Let b be (-2)/(-14) - (-392)/(-343). Is b greater than -1/289?
False
Suppose -29 = -5*s - 4. Let d = 2 - -1. Which is greater: s or d?
s
Let n be 99 + ((-8)/2)/4. Suppose 81 = -3*a + w + 2*w, -w - n = 4*a. Which is greater: -24 or a?
-24
Let d = 10 - 29. Let y = d - -20. Is -2/35 equal to y?
False
Let n be (-28)/(-154) + 180/(-22). Which is greater: n or 5?
5
Let j be (0 - 18/3) + 6. Which is smaller: j or -2/71?
-2/71
Suppose 3*j = -5*u + 7, -2*u + 18 = 3*j + 2*j. Let d(w) = w**2 - 10 + w + w - 7*w - j. Let r be d(7). Are r and 1 equal?
False
Let n(t) = 4*t - 4. Let h be n(3). Let o be h/(-162)*1/2. Suppose -q + 14*j - 10*j = 5, 0 = 4*q - j + 5. Is o greater than q?
True
Let d(o) = -2*o + 30. Let h be d(12). Let l be ((-2)/h)/((-7)/(-63)). Is l smaller than -3?
False
Suppose 48*o - 37*o - 198 = 0. Are o and 14 nonequal?
True
Let v be (-58)/132 - 1/(-2). Suppose 20 = 5*m - 2*d, -4 = -4*m - 5*d - 21. Let u be 0/m*(-2)/4. Which is smaller: u or v?
u
Let r = 0.3 - 0.4. Let m = -22.1 + 21. Let p = m - r. Is p >= -0.1?
False
Suppose 2*w + 14 = -50. Let h be 2 + (-4)/w*-10. Suppose 5*z - 2*v + 3*v - 15 = 0, 0 = -3*z - 3*v + 21. Which is smaller: z or h?
h
Let w(s) = -s**3 - 27*s**2 - 27*s + 15. Let h be w(-26). Let g be (-4)/((-8)/(-82))*-1. Is h != g?
False
Suppose 0 = 3*t - 6*t - 8487. Let c be 2300/t - (-2)/3. Which is smaller: -1/2 or c?
-1/2
Suppose -w - 2*w - 187 = 4*o, -5*o - 5*w = 240. Let c = 44 + o. Which is greater: -6/31 or c?
c
Suppose -59*t + 49*t + 310 = 0. Is 149/5 < t?
True
Let g be 1/(-2)*2/(-5). Which is smaller: 9/2 or g?
g
Let w(p) = -p**2 + 4*p - 1. Let g be w(4). Let k be (-248)/(-2310) - 4/30. Which is smaller: k or g?
g
Let x = 629174/124185 + 2/8279. Is 0.1 smaller than x?
True
Let c be (-91)/21 + (0/2 - 3). Let m = 8 + c. Is -4 equal to m?
False
Let s(t) = -9*t**2 + 3*t + 4. Let p be s(3). Let b = p + 87. Which is greater: b or 20?
20
Let o(i) = -i**3 - 4*i**2 + 2. Let b be o(-4). Let x be (-544)/(-12) + (1 - (-12)/(-9)). Let v be (-1)/(-3) + 3/(x/40). Which is smaller: v or b?
b
Let v = -28 - -12. Let g = 112 + -78. Let w = -33.9 + g. Is v at most as big as w?
True
Let m be (29 - -1)/((-22)/(-11)). Let u be (-18)/m + 2/10. Is -1/35 smaller than u?
False
Let i = 80.9353 - -0.0647. Which is bigger: -2 or i?
i
Let x be (-675)/(-105)*(-4)/5. Suppose -f = 4 - 5. Is f at least as big as x?
True
Let t be (-20)/(-4) + (-6)/3. Suppose -18 = -4*f - 2*q, f + 5*q - 27 = -t*f. Suppose -21 + 6 = -3*p + 4*b, 0 = -f*p - b. Is p at least as big as -1/4?
True
Suppose -1910*g - 34 = -1908*g. Is g equal to -23?
False
Let l be ((-4)/(-8))/(4/280). Which is bigger: l or 3/7?
l
Let y = 0.1 + -4.1. Let o = 3.99 + y. Let a = -0.11 - o. Is 2 not equal to a?
True
Let a = -701 + 1405/2. Which is bigger: 2/233 or a?
a
Let w = -82851/13 - -6362. Which is greater: -10 or w?
-10
Suppose 5*k + 5*h = -14 + 9, 0 = k - h + 9. Is k greater than -9?
True
Let k(j) = -j + 0 - 1 - 9. Let n be k(-10). Suppose 20 = -5*f - 3*s, -17 - 5 = 2*f + 4*s. Which is greater: f or n?
n
Let a = 12.11 - 0.11. Let o = a + -9. Let f = 5 - o. Which is smaller: f or 0?
0
Let m(c) = -c**3 - 3*c**2 - c - 4. Let s be m(-3). Suppose 2*d + 45 = -0*i - 5*i, 4*d = 4*i + 36. Let x be (2 + (-2 - 1))/i. Which is smaller: s or x?
s
Let y = 17 + -39. Let b = -32 - y. Is b < -5?
True
Let o(f) = 17 + 40 + f + 12*f**2 - 8*f**2 - 3*f**2. Let d be o(0). Is 57 > d?
False
Let i = -56 + 74. Let h = i + -8. Which is smaller: 9 or h?
9
Let g(y) = 6*y**2 - 4*y + 24. Let q be g(4). Is q greater than 105?
False
Let r be (435/6)/(2*3/(-12)). Which is smaller: -146 or r?
-146
Let j = 19.8 + -19.8. Is -16 < j?
True
Let s = -1198 - -1220. Is -0.18 > s?
False
Let c(b) = b**2 - 6*b + 1. Let a be c(6). Let p be 12/(-10)*(-105)/63. Let w be 5 + ((-21)/2)/7*p. Which is smaller: a or w?
a
Let s = 30 + -657. Which is smaller: s or 2/5?
s
Let x = 443/7 + -63. Which is smaller: x or 0.219?
0.219
Let b = 6211/91102 + -8/1111. Is b at least as big as -1?
True
Let f be ((-4)/6)/((-7)/3). Let r = 2961 + -2996. Which is greater: f or r?
f
Let s be 1/2 + 130/(-252) + 0. Are s and -1 equal?
False
Let h(n) = 2*n + 8. Let g be h(-6). Let f = 4 + g. Let o = 3.3 - -0.7. Is o bigger than f?
True
Let d = -0.22 + 17.22. Let z = 17.9 - d. Let w = z - 0.6. Which is smaller: w or 1/2?
w
Let x be (1 + -2)*(1 - -24). Suppose -2*w - 7*w + 475 = -28*w. Is x greater than or equal to w?
True
Let j be (-102)/10 + 7/35. Let n = 12 + j. Is n < -1?
False
Suppose -4*z + 0 - 8 = 0. Let u be 0/(4 + z - 1). Let f(g) = g**3 + g**2 - 2*g - 4. Let j be f(u). Which is smaller: j or -1?
j
Suppose 12*r - 39*r = -918. Suppose 12 = 3*c, 2*j + c + 3*c - 84 = 0. Is r >= j?
True
Let l = -52 + -21. Let q = l - -89. Is 18 <= q?
False
Let x be -6*(102/18 + -4 + -1). Is x greater than or equal to -34/13?
False
Let j(r) = -r**2 - 24*r - 42. Let y be j(-22). Let n be (y*4/(-12))/((-22)/(-6)). Which is bigger: -1/4 or n?
n
Suppose -8 = 4*a - 6*a. Let s(g) = -g**2 + 5*g + 4. Let j be s(5). Suppose c + a = j*q, 1 - 3 = -3*c - 2*q. Is c less than 1?
True
Let h(m) = -6*m**2 + 22*m - 6. Let g be h(4). Which is smaller: -17 or g?
-17
Let x(v) be the second derivative of -5*v**3/2 + 3*v**2/2 + 3*v. Let a be x(3). Let h = 30 + a. Is h less than -13?
Fals