at least as big as 8?
False
Let c be (4 - 2) + 0/4. Let k be (-1 - c)/(-3)*3. Suppose -m + 5*m - 5*q = 6, 2*m = -k*q - 8. Which is bigger: 1/6 or m?
1/6
Let z = 1092 + -1069. Does z = 20?
False
Let k be (-1 - 6/4) + 312/144. Let o = 189.7 - 173. Let j = o + -0.7. Is j bigger than k?
True
Let n be (-4)/(-18) - 2/90. Let z = -3.01 - -0.01. Let y = 0 - z. Is n >= y?
False
Let y = 4301 + -21449/5. Let n = 26 - 16. Is n > y?
False
Let u(l) = -l**3 - 2*l**2 + 6*l + 5. Let s be u(-3). Let f be (-20)/360*(0 + s). Which is bigger: f or 1?
1
Let d(q) = q**2 + 7*q - 6. Let u be d(-8). Suppose 0 = -3*i + u*c + 4, -3*i - 4*c - 8 = -0*i. Let x = -5/2 + 21/10. Is i at least as big as x?
True
Let h = 118 - 113. Suppose 3*d + 7 = h*y, -y + 3*d + 8 = -3. Which is greater: y or -1/90?
-1/90
Let d(v) = -2466*v - 4. Let q be d(-5). Suppose 3*m - 8889 = -5*f, 469 = -4*m - 5*f + q. Let n = -26684/9 + m. Is n > 2?
True
Let k = -17560 + 17721.46. Let y = 142.4 - k. Let q = y - -19. Which is bigger: 0.1 or q?
0.1
Suppose -5*b + 3*b = 6. Let v be (-154)/21 + 8 + (-44)/(-15). Let j = v + b. Which is smaller: j or 0.1?
0.1
Let x = -4253 - -12334/3. Does x = -143?
False
Let s = -161 + 160. Let j(w) = w**3 + 8*w**2 + 7*w + 1. Let q be j(-7). Let z be (q/(-12))/((-1)/(-2)). Which is smaller: z or s?
s
Let g = 37 - 57. Let u = -19 - g. Which is smaller: -1/32 or u?
-1/32
Let m be (-4)/(24/27)*264/(-9). Let f be 2 + (-1252)/m - 2/11. Is f greater than -7?
False
Suppose -6 = -326*d + 332*d. Is 0.23 < d?
False
Let i = 205 - 393. Let p be i/445 - 18/(-45). Let c be 0/(0 + (-3 - -2)). Which is smaller: p or c?
p
Let l(g) = -g + 8. Let m be l(6). Suppose 4*o - 1 = 3*i, 5*o + 0*o + m*i - 7 = 0. Suppose -3 = -4*t + o. Is t less than or equal to 1?
True
Let j = 315.1 + -315.2. Is 6/247 at least j?
True
Suppose 4*d + r = 11, -d + 3*r - 7*r - 16 = 0. Let v(a) = 2*a**2 - 2*a - 1. Let h be v(-1). Suppose -h + 0 = -q. Does q = d?
False
Let f(a) = a**3 - 6*a**2 + 7*a - 7. Let w be f(5). Let n = 2 - w. Let p be (-4)/(n/1 + 3). Which is smaller: -1/2 or p?
p
Let c = 8 + -6. Suppose -v + 24 = -5*y, -13 = c*v - 4*v + 3*y. Is v less than or equal to -2/139?
True
Let r = 339 - 428. Which is bigger: r or -442/5?
-442/5
Let a(v) = -2*v**2 - 3*v - 6. Let s be a(-3). Let k(y) = 4*y + 7. Let x(d) = 21*d + 36. Let m(w) = -11*k(w) + 2*x(w). Let p be m(5). Are s and p equal?
True
Suppose s = 5*k + 24, s + 8 = -2*s - 5*k. Let h be 9 + s/(-1 - -3). Let l = 24 - 13. Is l >= h?
True
Let f = 22 - 15. Let c = f + -6.7. Is c greater than or equal to -0.1?
True
Let v(k) = 3*k - 3. Let n be v(2). Suppose 4*p + 4*g + 36 = 0, -2*g = p + 2*g - n. Let y = -14 - p. Is -1 equal to y?
True
Let q = 23 + -6. Let i = q + -16. Which is smaller: i or -2/3?
-2/3
Let v be 70/9 + 12/54. Suppose -7*t + v*t = 2. Suppose 6*w = t*w - 4. Which is smaller: 1/11 or w?
w
Let w be ((-25)/(-60))/((-20)/(-12)). Which is smaller: -1 or w?
-1
Let b be 105/4*32/8. Suppose 16*m - 13*m = b. Which is smaller: m or 34?
34
Let k = -38 + 40. Let z = k - -77. Which is greater: z or 0?
z
Let f = 650 + -638. Is f smaller than 64/5?
True
Let p(a) be the second derivative of -a**4/12 - 4*a**3/3 + a**2/2 - 8*a. Let d be p(-9). Are -8 and d non-equal?
False
Let u be 14809/(-38442)*1 + 1/3. Let m = -6/149 - u. Is m greater than 1?
False
Let j = 25/2 - 13. Let f(y) = y**3 + 4*y**2 - 6*y - 1. Let o be f(-5). Suppose -q + 8 = o. Which is smaller: j or q?
j
Let h = 2737 + -8197/3. Let y(s) = -s**2 - 4*s + 2. Let g(m) = m**2 + 4*m - 3. Let d be g(-4). Let c be y(d). Which is bigger: c or h?
c
Let c be 104/18 + 2/9. Suppose -10 + 22 = 3*r. Is r smaller than c?
True
Let l = 0.4 - -0.1. Let k = -0.4 + l. Do k and 5/7 have different values?
True
Let v(b) = -2*b + 16. Let c be v(13). Let k be (-23)/(-1)*(11 + c). Let g = -13 + k. Which is smaller: g or 0?
0
Let i(n) = 2*n**2 - 15*n + 7. Let g be i(7). Let p(l) = -l**2 - 8*l + 9. Let t be p(-10). Let f = t + 14. Which is bigger: g or f?
f
Let y = -127 - -125. Which is greater: -0.5 or y?
-0.5
Let l = 185 - 186. Let j be 15/(-27)*(-3)/2. Do l and j have the same value?
False
Let o = -1046 + 7295/7. Let c be -2 + -4 - (-2 - 0). Does c = o?
False
Let z be ((-14)/70)/(28/20). Let m(i) = -i - 5. Let r be m(-4). Which is smaller: r or z?
r
Let p = 0.092 + -0.167. Let f = p + 0.375. Which is bigger: f or -0.3?
f
Suppose -4*x - 41 = y, y = 3*x + 3*y + 37. Let m be (-60)/(-144)*x/(-40). Which is bigger: m or -1?
m
Suppose -g - 1 = 0, -5 - 3 = -2*s - 2*g. Let p = s - 11. Suppose -b - 3*u = 16, -b + 3*u + u = -12. Which is smaller: p or b?
p
Let g(j) = j - 18. Let w be g(11). Let x(q) = -2*q**3 - 15*q**2 - 9*q + 5. Let k be x(w). Suppose -n - k + 16 = 0. Which is bigger: n or -5?
n
Let u = -45.385 + 0.385. Which is greater: u or 1?
1
Suppose 53 + 52 = -3*t. Let b = t - -21. Let c be 252/(-20) + (-2)/5. Is c at most b?
False
Let r = 6.75 - -26.35. Let v = 33 - r. Which is smaller: v or -7/10?
-7/10
Let x be 36/(-8)*(-44)/9. Let z(w) = w**3 + 2*w**2 - 2*w + 1. Let y be z(-4). Let c = y - -45. Is c >= x?
True
Let d = 0.1631 - 11.1631. Which is smaller: -57 or d?
-57
Suppose 0 = 12*a - 131 + 35. Which is greater: a or 19?
19
Let t = 14 + -6. Let l = t + -28. Let b = -17 - l. Which is bigger: b or 2?
b
Let i = -402 + 5. Let n = i - -9923/25. Are 1 and n equal?
False
Let d(x) = -x + 5. Let r be d(6). Let u = 37 + -52. Let l be 1/(-3) - (-10)/u. Is r >= l?
True
Let b(w) = 3*w**2 - 40*w - 28. Let v be b(14). Which is greater: v or 0.034?
0.034
Let o = 21.8 - 0.8. Let a = o + -21.9. Let i = -0.8 - a. Is -1.8 greater than i?
False
Let f = 1 + -6. Let x = -8 - f. Let z = 26.4 + -26. Is x at most as big as z?
True
Suppose b + b = 156. Let n be 16/b*(-6)/(-4). Suppose -4*z - 14 - 2 = -4*l, 3*z + 20 = 5*l. Is z > n?
False
Suppose -2*n - 6*n - 8 = 0. Let q = 8 + n. Which is bigger: 3 or q?
q
Suppose 0*y + 3*y - 12 = 0. Let s = 16 - 26. Let h be s/y - (-18)/12. Are h and 2/49 nonequal?
True
Let r(w) = 2*w - 8. Let i be r(-6). Let p be 12/i - (-2)/(-5). Let u = -358 + 350. Which is smaller: p or u?
u
Let i(b) = -2*b**3 - 13*b**2 - 5*b + 6. Let o be i(-5). Let g = o - -46. Suppose -2 = -2*j + 4. Are g and j non-equal?
True
Suppose -6 = 2*a + 2, 5*j + 4415 = 5*a. Let s = j + 71848/81. Which is bigger: s or -1?
s
Let l = -0.19 + -5.81. Let r = 9 + -13. Let z = 4 + r. Which is greater: l or z?
z
Let x = -713 + 682. Which is smaller: -6 or x?
x
Let z = -1.149 + 62.049. Let m = z - 61. Which is smaller: m or 18?
m
Let u = -12 + 7. Let k = u - 6. Suppose -2*p - m = 20, 0*p + 32 = -p + 5*m. Is p at least k?
False
Let t be (17/51)/((-5)/44). Which is smaller: -4 or t?
-4
Let w = 123 + -125.4. Which is smaller: -1/3 or w?
w
Suppose -5*n - 3 = 2*i, 2*n + 1 = -2*i - n. Let h(c) = 11*c + 15. Let f be h(-8). Let j = f + 1459/20. Is j != i?
True
Let a = 0.36 - 0.11. Let f = a + -0.05. Is -6/19 > f?
False
Let o(w) = -81*w - 36. Let z be o(4). Which is bigger: z or -361?
z
Let z(j) = j**2 + j - 91. Let o be z(-10). Which is smaller: -3/10 or o?
o
Suppose -3*g + 147 = u, g + 2*u - u = 49. Suppose -5*j = 3*d - 141, -5*j + 4*d + 113 + g = 0. Let w be 5/j*(-1 + 11). Is w less than 1?
False
Suppose 4*m + h - 48 = 11, -5*m + 4*h = -58. Let t(q) = 2*q + 5. Let g be t(-5). Let y be m/44 - g/(-10). Which is bigger: y or 0?
0
Let c = -155 - -171.7. Which is bigger: c or -2/3?
c
Let x(r) = 2*r + 15. Let w be x(-9). Suppose -3*f - 3*k - 12 = -5*f, f = -k + 6. Let t be (75/f)/5 + -3. Is w > t?
False
Suppose 0 = 5*k - 13 - 12. Suppose -44*u = -40*u - 20. Is u greater than k?
False
Let x = 61 - 63.9. Let v = x - -1.9. Which is bigger: v or 6/7?
6/7
Let y = -27 + 40. Let r = -11 + y. Which is smaller: r or 2/21?
2/21
Let x = -24157/906 - 1/302. Which is smaller: x or -28?
-28
Let n = -36 - -36.46. Let d = -0.26 + n. Is -3 != d?
True
Let z be (-13)/(-4) - (-6 + -3)/(-3). Let g = -1 + 2. Let s = g - 3. Is z less than or equal to s?
False
Let v(s) be the first derivative of 11/3*s**3 + 0*s - 1/2*s**2 + 9. Let f be v(1). Is f bigger than 11?
False
Let a(d) = d**3 - 9*d**2 + 2*d - 29. Let h be a(9). Let s be -3 - (-1 + 1 + 7). Is s greater than or equal to h?
True
Suppose 0 = 3*l - 0*l + 5*l. Let i = -0.18 + 0.05. Does l = i?
False
Suppose -v + 4*x = 3*x + 1, 0 = -2*v - 3*x +