100.8 + -99. Let o = -0.6 + -0.6. Let u = w + o. Which is smaller: 0 or u?
0
Suppose o + 2*o - 9 = -5*a, -2*o + 4*a + 6 = 0. Suppose 2*x = o*x + 7. Is -6 greater than x?
True
Let m be (-44)/(-55)*(2 + 11/2). Let l be 9/m*3/(-27). Let o = 0 + 0. Is l bigger than o?
False
Let t(g) = 2*g - 27. Let y be t(19). Suppose -5*j + y = 2*v - 5, -5*v + 4*j = -73. Is v greater than or equal to 13?
True
Let m = 14.8 - 12.1. Let t = m - 2.9. Which is greater: t or 0.28?
0.28
Let g(i) be the first derivative of -2*i**3/3 + 2*i**2 - 2*i - 143. Suppose -2*b = 3*n - 0*n - 12, -3*n = -2*b. Let h be g(n). Is -1 greater than h?
True
Suppose -2 + 19 = -5*i + 3*y, 5*i - y = -19. Let c(k) = -2*k**3 - k. Let d be c(-1). Let w be 4/6*d/i. Is w bigger than -1?
True
Let h be ((-9438)/52)/(3/(-2)). Is 121 >= h?
True
Let p = 407/3822 + -10/147. Which is bigger: p or 12/5?
12/5
Suppose 120 = -2*k - 4*u, -4*u - 11 = k + 53. Let x be -6 - -4 - k/27. Let t = -1 - -1. Which is bigger: x or t?
x
Suppose -c + 3*q - 20 = -6, 0 = -c + q - 4. Which is smaller: 5/31 or c?
5/31
Let i(b) = 15*b - 7. Let f(j) = -j - 5. Let v be f(-9). Let q(d) = 7*d - 4. Let s(h) = v*i(h) - 9*q(h). Let y be s(4). Is 2 greater than y?
True
Let t(i) = -i**2 - 47*i + 139. Let x be t(-29). Which is smaller: 662 or x?
x
Let a be (3/(-90))/((-7)/(35/(-4))). Do a and 1 have the same value?
False
Let s = 2.9 + -3. Let f = -15 - -17. Let a = f + -2. Which is greater: a or s?
a
Let u = -20 + 20.65. Let i = 38.35 + u. Let p = 28 - i. Which is smaller: 0.1 or p?
p
Let y = -0.61 - 6.39. Let m = 4 + y. Which is bigger: m or 3/7?
3/7
Let j be 2/(6 - 4)*(-4 + 3). Which is smaller: -24/23 or j?
-24/23
Let o = 221/295 - -3/59. Let j = -150 - -156. Do j and o have the same value?
False
Let m(q) be the third derivative of q**4/12 + 23*q**3/6 - q**2. Suppose -37 = 4*j + 11. Let l be m(j). Which is smaller: l or 1/24?
l
Let q be (0 - (-2)/(-20)) + 1485/3850. Which is smaller: q or -16.1?
-16.1
Let r = 91/291 - -2/97. Is r not equal to 16?
True
Let s = 177 + -176. Is s bigger than 2/597?
True
Let u(m) be the first derivative of -3*m**2 - 41*m - 31. Let b be u(-7). Are -1/83 and b unequal?
True
Suppose -5170 + 3917 = -7*p. Is p greater than 176?
True
Suppose 2*s + 5*d - 41 = 68, -s = -5*d - 77. Which is smaller: 317/5 or s?
s
Let m = -2 + 2. Let z be -22*8 - (-10)/10. Let a = -2099/12 - z. Which is smaller: a or m?
m
Suppose 7*x = 2*x + 15. Suppose x = -o, 0 = -3*q - 3*o + o + 36. Are 14 and q unequal?
False
Let s = 1/144 + 31/144. Which is smaller: 2.6 or s?
s
Suppose 4*t + 20 = -2*p - 0*t, 4*p + 4*t = -20. Let u = 93 + -7903/85. Is p != u?
True
Suppose 3*s = 2*s + 1. Let l be (1 + -3*(-1)/(-5))*5. Is l greater than or equal to s?
True
Let l(y) = -y**2 - 13*y + 10. Let q be l(-12). Suppose 3 = -t, -t + q = 4*g - 3*t. Suppose 0 = x + 5*n + 3, 0 = -g*x - 5*n + 18. Is x greater than 7?
False
Let z be (6 - (2191/(-28) + -6)) + -5. Which is greater: z or 1?
z
Let d be (9/(-306))/((-1)/4*-6). Suppose -6*r = -5*r - 2. Suppose -j = r*p - 7, p = 4*p - 3*j + 12. Which is smaller: p or d?
d
Let r = -2.57 + -0.23. Let u = r - 6.2. Let g = -2 - u. Is 0.1 greater than g?
False
Let s be (-21)/(-9)*(2 - -1). Suppose s*z = 5*z - 32. Is -16 less than or equal to z?
True
Suppose -72*d = -80*d - 10112. Which is bigger: d or -1263?
-1263
Suppose -2*p + 976 - 3956 = 0. Suppose 13*u + 1125 = -2*u. Let c be (-4)/(-30) + p/u. Is 2 at least c?
False
Suppose 2*j = -10, 0 = 2*x + 4*j + 16. Which is bigger: x or 51?
51
Suppose 0 = 36*x - 89*x - 83581. Which is smaller: -1576 or x?
x
Suppose -16*d - 330 = -74. Is d greater than or equal to -1?
False
Let f(i) be the second derivative of i**3/3 + i**2/2 + i. Let g be f(-1). Let c = -3755 + 3765. Which is smaller: g or c?
g
Let m(f) = -f**2 - f + 1. Suppose 2*v - v + 15 = 0. Let w = v + 11. Let r be m(w). Is r <= -12?
False
Let z be 4/18 - (-1 - 1881/(-81)). Which is smaller: -18 or z?
z
Suppose -7*k + 6*k + 4*s = -82, -4*k = -s - 403. Which is smaller: k or 105?
k
Let b(m) = m**3 + m**2 - 4*m + 9. Let w be b(-3). Suppose 5*a = 4*s - 5, -w*a - 5*s = -14 - 20. Is a < 12?
True
Let c = -24/7 + 92/35. Let f be -1 + 1 + 3 - -8. Let w = -13 + f. Is w less than or equal to c?
True
Suppose 3*p - 22 = 4*k, -2*k - 2*p - 2 = p. Let a be (-33)/((-2)/k - 2). Let q be (8/(-6))/(a/99). Are q and -6 unequal?
False
Suppose 18 = 2*l + l. Suppose w = l*w + 5. Let g be (3/(-81))/((-1)/(-3)). Is g smaller than w?
False
Suppose 2*b = k - 10, 6*k - 3*k + b = 2. Suppose -7*t = -7 - 0. Is k >= t?
True
Let m = 110.922 - 111. Let k = 0.798 + m. Which is smaller: k or 0?
0
Let b = 7857 + -7857.2. Let s = -1.3 + 7.3. Which is smaller: b or s?
b
Let p be ((9765/10)/(-21))/((-6)/(-2)). Which is bigger: -17 or p?
p
Suppose -10 = -6*c + 26. Suppose -c*z + 2*z = 116. Which is bigger: -28 or z?
-28
Let w = 12.649 + -0.609. Let m = w + -12. Let o = -0.96 - m. Is -1 greater than or equal to o?
True
Let b = -37/2 - -12. Suppose -5*v - 35 = -5*g, -3*v = -3*g - 2*g + 19. Is b greater than v?
True
Suppose 0 = p + v - 83, 2*p + 0*p - 171 = -v. Are p and 89 nonequal?
True
Let t(q) = -q**2 - 5*q + 83. Let n be t(7). Let j = -98 - -395. Let x = -6241/21 + j. Which is smaller: x or n?
n
Let f = -2.7 + 3. Let o = -0.2 + f. Let t be 1496/(-168) - 20/210. Which is greater: o or t?
o
Let u(l) = l**3 + 7*l**2 - 7*l + 6. Let f be (-2)/2 + (-6 - 1). Let w be u(f). Let v(r) = -8*r - 5. Let h be v(w). Which is greater: h or 10?
h
Suppose -5*s - 10 = 5*r, 5*s = r - 3*r + 5. Is -30 < s?
True
Let p(r) = -r**3 + 8*r**2 - 3*r - 5. Let i be p(8). Let d = i + 61. Which is smaller: d or 1/3?
1/3
Let b = -695 + 696. Let h = 38596/147 - 1838/7. Is b < h?
False
Suppose -5*f = 2*x - 16, 3*x + 0 - 14 = -5*f. Let m be x/8 + (-645)/60. Is m <= -10?
True
Let f(p) = -3*p**2 + 6*p + 5. Let w be f(5). Let v = w - -43. Let i be 6/(-4) + 18/4. Is v less than i?
False
Let t(y) = 3*y + 1. Let h(p) = -p**3 + 9*p**2 - 9*p + 11. Let d be h(8). Let x be t(d). Let o = x + -9. Which is smaller: o or -1?
-1
Let l(n) = n**3 - 6*n**2 - 6*n + 3. Let s be l(7). Let u = -8 + s. Let f = u - 5. Which is bigger: -6 or f?
f
Let l = -3/971 - -16528/6797. Which is greater: 0 or l?
l
Let f be 0 - (-5 - 3) - 38. Which is greater: f or -38?
f
Let p(q) be the third derivative of q**6/120 + q**5/10 + 7*q**4/24 + 2*q**3/3 + 4*q**2. Let z be p(-5). Let n be (-6)/(-3) - 1 - 8. Which is greater: z or n?
z
Suppose -25*x + 27*x - 152 = 0. Suppose -g = 2*i - x, i + 9*g - 4*g = 38. Which is smaller: 37 or i?
37
Suppose -g - 5*c = 4*g - 25, -3*g - c = -7. Let q be 3 - g/1*3. Which is bigger: 7/13 or q?
7/13
Let c = 74 + -97. Let w = c + 2. Do -2 and w have the same value?
False
Suppose -4*j = -o - 7, 10 = 4*j - 2. Let f be (-10)/(-18) - ((-15)/(-6))/o. Which is smaller: 0 or f?
0
Let c = 4799/5 - 63417/65. Is -15 greater than c?
True
Suppose 1 = 4*s - 2*f - 1, 0 = -2*s - 4*f + 16. Let o be 12/8 + (-1)/s. Let g be (18/(-24))/(3/(-12)). Is o at least as big as g?
False
Let d be -1 + 19227/24 + (2 - 6). Let m = d - 795. Which is smaller: 2 or m?
m
Let b = 18 + -21. Which is bigger: -0.06 or b?
-0.06
Let f = 1.5 + -24.9. Let c = 23 + f. Is -1/4 bigger than c?
True
Let w = 46/89 + -27919/53845. Which is smaller: w or -1?
-1
Let o(s) = -7*s + 2. Let h be o(-5). Suppose h*n - 12 = 39*n. Is n at least as big as -46/9?
False
Let u be 3 - (18/10)/(27/90). Suppose -16 = 5*d + 4*r, -d - 12 = d + 3*r. Let p = -4 + d. Which is bigger: p or u?
u
Let a = -124.4 + 23.4. Let k = a - -131. Which is greater: k or 0.1?
k
Let z = 1068 - 184760/173. Is 0 < z?
True
Let o(a) = a**3 + a**2 - a + 2. Let d be o(-2). Let k(j) = j**2 + 4*j + 2. Let u be k(-4). Suppose u*b + 2 + 0 = d. Which is greater: b or -1/9?
-1/9
Let x = -41 - -35. Let u = 50 + x. Which is smaller: u or 1?
1
Let m = -27 + 19. Suppose 11 = -f - 5*q - 0, 4*f = 3*q - 44. Which is smaller: m or f?
f
Let i be (-22)/(-6) - (-6)/18. Let k = -80/19 - -605/76. Which is bigger: k or i?
i
Suppose -3*g + l - 57 = 0, 7*g = 2*g + 4*l - 88. Let a be ((-10)/(-25) + 0)*g. Is -5 less than a?
False
Suppose 4*v = 94 - 98. Which is bigger: 2/393 or v?
2/393
Suppose 0 = 2*y - 2*u - 12, 14 + 12 = 4*y - 3*u. Let c be -1 + -41 + -12 + y. Is -44 <= c?
False
Suppose -5*x + 11 = 4*t, 0 = -12*x + 1