s be 6/(-33) - (-24)/22. Let o = s + -8/33. Which is smaller: o or 0?
0
Let r(v) be the first derivative of -v**2 + 2*v - 3. Let u be r(-2). Suppose 3*f - 6 - u = -i, -5*f - 22 = -3*i. Is i greater than 10?
False
Let y be ((-2484)/(-324))/((-2)/86). Which is greater: -330 or y?
y
Suppose -8*v + 617 - 137 = 0. Are v and 57 equal?
False
Let n be (-15)/3*((-70)/975)/(-7). Which is smaller: -1 or n?
-1
Let d = -146097 + 1170595/8. Let h(i) = -30*i + 17. Let v be h(-7). Let b = v - d. Is b < 0?
True
Suppose -6*c - 52 = -2*c. Let j be -1 + 27/(1 + 25/(-10)) + 5. Is c != j?
True
Let b = -146 - -143. Which is greater: -0.42 or b?
-0.42
Suppose -7*l - 5*i - 40 = -2*l, 2*i = -3*l - 23. Let j = -3 + 0. Which is greater: j or l?
j
Let n = 1011 + -7075/7. Does n = -54?
False
Let u = -13998/7 - -2013. Let a = -13471/1015 + u. Is -1 bigger than a?
False
Let s be (-5 - (-5 - -2)) + (-24)/2. Let k be s/(-105) - (-22)/60. Are k and 0.2 non-equal?
True
Let v = 177 + -174.86. Let z = v - 0.14. Let h(r) = r**3 - 8*r**2 - r + 10. Let o be h(8). Is o > z?
False
Let h be (-4)/10 + 156/165. Let w = 83 + -82.87. Let d = -0.03 + w. Is h bigger than d?
True
Let s be 1/(-13) - 0 - 1246/26. Which is smaller: s or -44?
s
Let p = -7 - -21. Suppose 0 = -3*y - p - 1. Let j(f) = f**3 - f - 6. Let k be j(0). Is y bigger than k?
True
Let h(d) = d - 17. Let i be h(-7). Let v be 1/(i/114) - -5. Which is bigger: 64 or v?
64
Let x = -34 + 33.7. Which is smaller: -121/4 or x?
-121/4
Suppose 0 = 3*w - 3. Suppose -4*h - 5*j = 3, -w = -3*j + 2. Let l be -24 + (-23)/(-1) - 3*-2. Which is greater: l or h?
l
Let k = -1891166563/138 - -27409647/2. Let y be 1/(1/(1 - -717)). Let d = k - y. Which is smaller: -1 or d?
-1
Let z = -2664.34 - -2699. Let y = z - 35. Is y not equal to 2?
True
Let b(d) = d**2 + 2. Let c be b(0). Suppose 0 = -c*g + 4 - 0. Suppose g*a - 5 = -3*a. Is -1/6 bigger than a?
False
Suppose 18*y = -0*y + 3114. Is y bigger than 173?
False
Let i be 6528/(-27) + 1 - 2/9. Is -238 bigger than i?
True
Let a = -0.4 - -1.4. Let c be (-7)/4 - -1 - 132/(-33). Let z = c + -3. Which is smaller: z or a?
z
Let r = 20.4 + -18. Let x = r + -2.2. Which is greater: -14/3 or x?
x
Suppose -127 = 4*k - 5*m + 381, 594 = -5*k - 4*m. Let a be -3 - k/18 - 4. Is 3 less than a?
False
Let a be -11 + (-21)/12*4. Suppose 3*l - 22 = 2*r, 4*l = -2*r + l - 46. Which is smaller: r or a?
a
Let c be (4/(-4))/1 + 33/29. Which is smaller: c or 1?
c
Suppose 11*m = -32 + 109. Let p be (-4)/22 - ((-6251)/924 + m). Suppose 5*o - 6 + 1 = 0. Is o at least as big as p?
True
Suppose -4*i - f = 9, -3*i - 4 = -0*i - 2*f. Are i and -327 nonequal?
True
Suppose 4 + 11 = -15*o. Which is greater: o or -7/4?
o
Let a be (-6 + 7)*2/(-2) + 6. Suppose 3*m + a*q + 1 = -m, q = 4*m - 5. Is m < 2/31?
False
Suppose -4*g - g + 225 = 0. Let b be 2/(-4)*-2 - 43/g. Is 0 at most as big as b?
True
Let c(u) = u**3 + u**2 + 2. Let q(t) = -3*t**2 + 5*t - 8. Let s(y) = c(y) + q(y). Let i be s(2). Which is bigger: 2 or i?
i
Let c(z) = z**3 - 12*z**2 + 3*z + 64. Let u be c(11). Is 8 at least u?
True
Let h = -8927/25 + 357. Which is smaller: 1/2 or h?
h
Let o(q) = 4*q - 2. Let y be o(2). Suppose 0 = -y*w + 2*w - 4. Let p be (4 + -5)*9/6. Which is bigger: w or p?
w
Let c(n) = -2*n**2 + 2*n + 2. Let s be c(2). Let i be (-15)/s - 6/4. Suppose -5*h + i*h = 17. Which is bigger: 16 or h?
h
Let u be (-8)/14 - 12/224. Is 1 > u?
True
Let f(l) = l. Let t be f(4). Suppose -t*k + 16 = -3*k. Let z = 29 - k. Which is smaller: 12 or z?
12
Let i = -6/65 - -227/65. Let w be 4 - (-3 + 2 - -2). Is i equal to w?
False
Let a = 65 - 67. Let p = -34 + a. Is -1 > p?
True
Let f be ((-48)/140)/(1/(-7)). Are f and -0.02 equal?
False
Let f be (-58)/15 + -1*(10 - 14). Which is greater: f or -4.5?
f
Let b = -878 - -878.2. Which is smaller: b or 0.028?
0.028
Let k be 0/(-3) - ((-2700)/904 + 3). Which is smaller: 1 or k?
k
Let o(u) = u**3 - 11*u**2 - 12*u + 17. Let k(n) = -n**3 + 10*n**2 + 12*n - 17. Let i(f) = -6*k(f) - 5*o(f). Let l be i(7). Which is bigger: 30 or l?
l
Let j be ((-16)/3)/(2/12). Let w = j + 27. Is w smaller than -4?
True
Let s = 55 - 61. Let d be ((-12)/36)/(2/s). Is d at least as big as 4/39?
True
Let m(t) = -2*t**3 - 8*t**2 + 14*t + 13. Let w be m(-5). Let c = -113/3 - -31. Is w bigger than c?
False
Let x(d) = 3*d + 2. Let c be x(4). Let a(j) = j**3 - 11*j**2 + 19*j + 8. Let p be a(9). Let q = c - p. Which is greater: -5 or q?
q
Let b = -54 + 56. Let o = 1 - 1. Suppose w + 5 = -5*y - 3*w, b*y - 3*w + 2 = o. Which is bigger: 1/3 or y?
1/3
Let r(j) = -j**3 - j**2 + j - 3. Let q be r(0). Let z be 3/(-2)*(-2)/q. Let i be 4 - (19/6)/((-85)/(-102)). Which is greater: z or i?
i
Suppose -g - 4*q = -102, -3*g + q = 4*q - 306. Is 104 greater than g?
True
Let u(g) = -g**2 + 5*g - 21. Let a be u(5). Let n = a + 21. Which is bigger: -0.03 or n?
n
Suppose -7*y = -20*y - 3263. Is y bigger than -252?
True
Let q be 18/10 + (-8)/4. Let u(r) = -r**3 - 5*r**2 - 5*r - 3. Let i be u(-4). Let w be 2/6*(-2 - i). Is q at least as big as w?
True
Let p = 13 + -12.44. Let z = p - 2.56. Which is bigger: z or 2/17?
2/17
Let c = 98 - 95. Which is smaller: c or 66?
c
Let l be (-21)/(-15) - 7 - -5. Is l at least as big as 18?
False
Let r be (-2)/6 - (0 + 0). Let y = -3 - -6. Suppose 5*h = -23 + y. Is r bigger than h?
True
Let s = 2332 - 2331.96. Which is greater: -3.1 or s?
s
Let s be -2018*(3 - (-75)/(-27)). Let x = s + 449. Which is smaller: 0 or x?
0
Let p = -2.8 - -2.822. Let o = p - 0.022. Is o > 0.18?
False
Let l(g) = -g**3 + 4*g**2. Let v(j) = j**2 - 5*j + 8. Let k be v(4). Let y be l(k). Suppose 2*h - 2 + 4 = y. Is 0 at most as big as h?
False
Let k = -8 - -13. Suppose k*f - 5*g = 15, -2*f + 7*f - 2*g - 9 = 0. Suppose -3*q + 5*q = 4. Which is smaller: f or q?
f
Let s be ((-68)/(-8))/((-1)/(-2)). Let u = -29 + s. Which is smaller: u or -11?
u
Let j = -1.13 - -1.2. Let n = -0.03 - j. Which is greater: 0 or n?
0
Let l(j) = -j**2 + 12*j - 8. Let r be l(6). Is 28 < r?
False
Let t be 1 + -1*8/10. Let u = -0.053 + -1.477. Let s = u - 0.47. Which is smaller: t or s?
s
Let z = -150 - -215. Are 66 and z equal?
False
Let w(l) = l**3 + 14*l**2 - 13*l + 37. Let d be w(-15). Suppose -3*u + 5*o - 41 = -d*u, 26 = u - 4*o. Is u less than or equal to 14?
True
Let x = -437149/131 + 3337. Is x at most as big as -1?
False
Let b(c) = -c**3 + 5*c**2 + 9*c - 19. Let m be b(6). Does -2/93 = m?
False
Suppose 0 = 3*f + 6, 20*o = 15*o + f - 3. Which is greater: o or -2/61?
-2/61
Let y = -0.04 - 2.96. Let f = 0.3 - 3.3. Let m = y + f. Which is greater: m or 1?
1
Let s = -0.1166 - -0.1446. Is 3/10 greater than s?
True
Let a = 1.919 - 0.019. Let x = -2.9 + a. Are -0.24 and x unequal?
True
Let x(p) = 50*p**3 + 2*p**2 + 7*p + 6. Let m be x(-1). Which is smaller: m or -191/4?
m
Let g be (4/2)/(2/2). Let y(m) = m**3 - 5*m**2 + 6*m - 4. Let i be y(4). Suppose 5*q = -20, -i = -z + q + 2. Is g at most as big as z?
True
Let b(d) = -2*d - 11. Let g be b(-16). Let c = g + -25. Let z be (-100)/143 - c/26. Which is smaller: -3 or z?
-3
Let j be 16/(-40) + (-1327)/(-30). Let d = 103/3 - j. Is -9 smaller than d?
False
Let f(z) be the second derivative of 5*z - z**3 + 1/2*z**2 + 1/20*z**5 - 5/12*z**4 + 0. Let g be f(6). Which is greater: 10 or g?
10
Suppose 0 = -4*b - 107022 - 42938. Let s = b + 148435/4. Let z = s - -379. Which is greater: -1/4 or z?
-1/4
Suppose -2*c = -5*n - 16, 5*n + 10 = c + 2. Let j = -11 + c. Let i = 3.1 - 3. Is i <= j?
False
Let y = 29.356 - 32.3. Let v = -0.056 + y. Which is greater: v or 0.2?
0.2
Let l = 17478 + -279819/16. Which is smaller: l or -12?
-12
Suppose 5*n = 2*f + 60 + 13, -4*n = 2*f + 46. Let h be (-2 + 1)*31/(-1). Let z = f + h. Is z < -6?
False
Let o = -0.051 + 2.551. Let d = -73 - -77.7. Let u = o - d. Which is smaller: -0.1 or u?
u
Let y = -0.13 + 18.13. Let c = 20 - y. Are 1/6 and c unequal?
True
Suppose -5 = -5*m, -p + 5*p - 4*m - 4 = 0. Suppose 4 + 0 = -o, 5*w - 30 = 5*o. Suppose -w + 11 = -3*j. Is p <= j?
False
Let c = -2.83 - -0.41. Let h = -0.42 - c. Which is smaller: h or -1/3?
-1/3
Let w be 0 + 8/(-6) + 3. Let z be (-2)/(-10) - 42/(-15). Suppose z*v + k - 18 = -2*k, -k = -4. Which is smaller: v or w?
w
Let o = 4241 - 4250. Let r(y) = y**3 - 5*y**2 - 9*y + 5. Let b be r(6). Whi