862. Is -11 at most y?
True
Let v = -0.554 - 0.176. Let g = -0.694 - v. Which is smaller: g or -0.1?
-0.1
Let n = -8.9 + -3.1. Let s = -1.7 + 1.8. Are s and n non-equal?
True
Let r = 0.02182 - 2.89282. Let k = 0.139 - r. Let f = 0.01 - k. Which is bigger: f or -0.1?
-0.1
Let q = -101 + 128. Let k be 2*6*33*(-6)/q. Which is bigger: -87 or k?
-87
Let a = -6 - -7. Suppose 30*n - 25*n = 5. Let w be n*(170/(-55) - -3). Which is smaller: w or a?
w
Let q be -8 - -4 - (-3)/6*46. Let i = 3 + -24. Let f = i + q. Which is smaller: 0 or f?
f
Let u be 4 - (-1 - -3) - -95. Let x = u + -43. Suppose x - 9 = 5*o. Does 10 = o?
False
Let w(b) = -4*b**2 - 18*b + 20. Let t be w(-6). Let q = 23 - -9. Let r be 1/((-2)/q) - -1. Which is bigger: t or r?
r
Let w be ((-1)/42)/(62/(-6) + 8). Is w bigger than 0?
True
Suppose -2*r + 6*r - 2*q + 2 = 0, 2*r = -2*q + 8. Is r greater than 7/25?
True
Let y = 6 + -7. Let j be 1 + y*43/44. Is j != 0?
True
Let i(p) = -2*p - 14. Let o be i(-9). Suppose -q = -0*k - k + 15, o*k = 2*q + 54. Is k at least as big as 12?
True
Let o(d) = -2*d - 1. Let j be o(5). Let w = j - -10. Let q be 0 + (-3)/w - -3. Is 6 smaller than q?
False
Let m = 3.21 - 3.2. Which is greater: 42 or m?
42
Let y = 17 + -17. Let p = 1 - y. Is 19 equal to p?
False
Suppose 4*c = -10*i + 14*i + 12, -4*c + 9 = -i. Is i at least as big as 3/136?
False
Let g(h) = -26*h + 33. Let o be g(4). Which is smaller: -72 or o?
-72
Let p(l) = l**3 + 4*l**2 + 4*l + 4. Let m be p(-3). Let j be -4 + m/(-11) + 4. Is j less than 0?
True
Let v = -78 + 233/3. Which is smaller: -14 or v?
-14
Let y = -776 + 1352. Let x be y/40 + (-4)/10. Suppose -3*v + 8 - x = 0. Is v <= -1/2?
True
Let u be 10/2 + (2439/9 - 1). Are u and 274 equal?
False
Let q be 4 + (3 - -19) + -4. Let o be q/55 + 1/(-5)*7. Which is smaller: 3/47 or o?
o
Suppose 2*u = -2*s - 4, 4*s + 6 - 4 = 2*u. Let z be ((-30)/(-18))/(2/(-36)). Let v = z - -28. Is s smaller than v?
False
Suppose 33 = 5*v - 2*v + 4*k, 3*v - 33 = k. Suppose 0 = p - b - v, -p - 3*p + 3*b + 42 = 0. Is 9 greater than p?
False
Let v = -181/222 + 11/74. Which is smaller: -37.3 or v?
-37.3
Suppose 3*d - 28 = -2*d + 4*t, -4*d + 12 = 2*t. Suppose -5*f - d*y - 4 = -3*y, -5*f + 4*y = -16. Which is smaller: f or 2/143?
f
Let t be (196/(-112))/(79/40 - 2). Are 71 and t equal?
False
Let m = 0.27 + -0.4. Let h = 0.3 + m. Let x = 0.37 - h. Is 0 bigger than x?
False
Let h = -0.73 + 3.83. Is h not equal to 0.3?
True
Let v(a) = a**2 - 6*a - 9. Let t be v(6). Let x be (-4)/(-3)*t/(-2). Let k be 1 + 5/(-32)*x. Is k >= 0?
True
Let y be ((-30)/(-25))/((33/(-10))/11). Is 0 >= y?
True
Let h = 24/11 + -190/77. Let k = -27712/21 + 1318. Let w = k - h. Is -2 at least w?
False
Let c = 1 - -5. Are 2 and c equal?
False
Let q be ((-48)/20)/(4/120*-3). Suppose 3*n + 3*z = 6, 5*n - q = 11*z - 9*z. Which is bigger: n or 5?
5
Let u = -394 - -394.2. Are u and -98 equal?
False
Let w(d) = 17*d**3 + 2*d**2 - 3*d + 14. Let t be w(-4). Is -1031 bigger than t?
False
Suppose -5*h = -4*j + 15 + 6, -4*j - 3*h = -13. Suppose -g - 9 = -j*g. Let o be ((-4)/(-38))/((-2)/g). Which is bigger: o or 0?
0
Let c be 1/(((-6)/(-4))/(-3)). Let r = 0.1618 - 0.0818. Is c smaller than r?
True
Suppose 0 = -8*s - 17*s. Let t(f) = f**3 + 2*f**2 - 5*f. Let o be t(-4). Let y be 1/3 + o/(-45). Which is smaller: s or y?
s
Suppose 4*z - 7*z = -12345. Let b = 8071/2 - z. Let g = b + 82. Which is bigger: g or 3?
3
Let f = 0.2336 + 0.0334. Let m = 0.067 - f. Which is bigger: m or -12?
m
Let l = 76 + -75. Is 62 greater than or equal to l?
True
Let c = 1 - 3. Let y(x) = -x**3 - x**2 + 1. Let v be y(c). Let b = 63.7 - 64. Which is smaller: b or v?
b
Let b(d) = 4*d - 3. Let n be b(0). Let q be 2*2/3 - n/(-9). Is 2/11 >= q?
False
Suppose 25*z - 8 = 29*z. Which is bigger: z or 52?
52
Suppose -6*z = 3*z + 117. Let m = z - -3. Which is greater: -12 or m?
m
Let t = -8/225 + -742/225. Let s be ((-4)/8)/(2/16). Are t and s unequal?
True
Let g be 0/((-1)/1*2). Suppose c + 6 = -c. Let w be (4/(3 - -17))/c. Which is greater: w or g?
g
Let t = 228.7 + -229. Is 1/6 greater than t?
True
Let s = -29.397 - -0.197. Let a = s + 30. Let n = -0.7 + a. Is n > 3.6?
False
Suppose -6*b + 2*b - 1446 = f, -4*b = -3*f + 1454. Is -360 greater than or equal to b?
True
Let j be 20*(4*30/24 + -9). Is -81 bigger than j?
False
Suppose 0 = 5*h + 183 + 17. Let m be (-4)/12 - h/12. Let n be m/(63/6) - -2. Is 1 greater than n?
False
Let q = -1628274/13 + 125137. Let t = -243 - -128. Let y = t - q. Which is bigger: y or 0?
0
Suppose 0 = -5*j - 3*w + 4, -j = -16*w + 21*w - 14. Which is bigger: 1/139 or j?
1/139
Let z = 27 - 26.04. Let c = z - -1.04. Suppose 3*w = 2*w - 5. Do w and c have different values?
True
Let d = -1.4 - 8.6. Let y = -408 - -408.1. Which is bigger: y or d?
y
Suppose -444 = 10*c - 14*c. Let i = c - 112. Is i > -2/231?
False
Suppose -2*v + 12 = -6. Is v smaller than 1?
False
Suppose -4*z - 68 = -2*z. Let l = -24 - z. Which is smaller: 9 or l?
9
Let k = 40 + -38. Let c be (8/24)/(k/(-24)). Is c >= -4?
True
Let b(s) = 35*s + 13. Let o be b(-6). Let u = 34871/177 + o. Which is smaller: 1 or u?
u
Let p be 8/5 + 12/30. Let k be (-2)/(-9) - (-330)/(-27). Let m be ((-27)/28)/(k/32). Do m and p have the same value?
False
Let p be -1 - (2*234/(-264) + 1). Suppose 4*t = t. Which is smaller: t or p?
p
Suppose 2*b = 5*m + 162, -3*m + 130 = b + b. Let p = -41 + b. Let i = 31 - p. Which is greater: i or 3/7?
i
Let a = 33 - 33. Let m be -50 - 5/(20/8). Let q be ((-2)/m - 0)*4. Does a = q?
False
Let q(b) be the third derivative of b**5/60 + b**4/12 - b**3/2 + 3*b**2. Let w be q(-4). Let x be -2 + w/2 + -1. Is x less than -1?
False
Let r be 44/(-99) + (-7540)/(-36). Is r > 211?
False
Let r be 1/(-4) - (-3)/12. Let b(d) = d**2 - 11*d + 13. Let v be b(10). Suppose a - 13 = v*z - 5, -a = 4*z + 6. Which is greater: z or r?
r
Suppose 0 = 4*q - 8 - 8. Let p = -67 + 45. Let j(k) = -k - 23. Let z be j(p). Which is smaller: q or z?
z
Let r(m) = 8*m - 89. Let f be r(7). Is -34 greater than or equal to f?
False
Suppose 26*r - 33 = -7. Which is smaller: -12/137 or r?
-12/137
Let m be (-2)/(-56)*-4 + 7835/(-819). Let y = m + 86/9. Is 0 equal to y?
False
Let k = 168/5 + -1309/40. Which is smaller: k or 2?
k
Let v(s) = -s**3 + 3*s**2 + 5*s - 2. Let q be v(4). Let d(l) be the second derivative of -l**3/6 + 5*l**2 + 4*l. Let t be d(10). Is t not equal to q?
True
Suppose -5*v + 5*f + 40 = 0, -2*f + 0*f = 0. Let z = 5 - v. Let j be (-2)/4*(z + 3). Is j > 0?
False
Let s be 3/(10/4 - 1). Suppose 5*x + s = -3. Let k = -131/21 + 39/7. Is k at least as big as x?
True
Suppose 0 = -17*k + 9*k - 96. Let h be (-1)/(k/(-4) - 2). Which is smaller: -2/83 or h?
h
Let f(m) = m**3 - 9*m**2 + 10*m - 15. Let b be f(8). Which is bigger: 15/28 or b?
b
Let s = -29/45 + -1/45. Is s < -0.188?
True
Let x be 4/18 + 17836/(-882). Which is smaller: -18 or x?
x
Let t = -1.21 - -1.2. Let l = t + 1.61. Let k = l - 1.6. Which is greater: k or 0.1?
0.1
Let h be 76/(-70) + 4/14. Let b = -637 - -637. Are b and h equal?
False
Let g = -3.5 + 27.5. Let v = 24 - g. Is -36 not equal to v?
True
Suppose 0 = -10*k - 73 - 267. Let q = k + 55. Is q at least as big as 20?
True
Suppose 29 + 71 = -5*u. Let y be 16/(-60)*6*(-7)/28. Is u at least y?
False
Let u(b) = -7*b**2 - b. Let z be u(-2). Let j be ((-13)/((-91)/(-56)))/((-1)/(-3)). Is j not equal to z?
True
Let g(z) = -z**2 + 4. Let b be g(-2). Let a(o) = o**3 + 5*o**2 - o + 6. Let s be a(-6). Let t be 4/12*(-81)/s. Are b and t nonequal?
True
Let p = 66 + -63. Which is smaller: p or 4.2?
p
Let n = 17217/14 + -2205/2. Let w = 126 - n. Which is bigger: w or -2?
w
Let k(c) = 3*c**2 - 16*c - 9. Let u be k(6). Suppose 2*j = n - 2*n - 97, -u*n - 4*j = 297. Which is bigger: -104 or n?
n
Let y be 146/(-74) - 3*4/(-6). Which is smaller: y or -0.02?
-0.02
Let f = 5.0295 - 0.0295. Let g = -1.1 + 3.1. Which is smaller: g or f?
g
Let j = -16.32 - -0.32. Let r = -126 + 253/2. Is j less than or equal to r?
True
Let j = -54.8 + 51. Let t = j + 4.2. Let v = 0 - 3. Which is greater: t or v?
t
Let d(s) = 4*s + 6 - 3 - 2. Let v be d(-3). Let b = -21/2 - v. Is b at most 1?
True
Let m = 22 - 16. Let b be (-76)/(-39) - (m + -4). Let y = 10 - 11. Which is smaller: b or y?
y
Let q(u) = u - 3 + u 