8. Let f be k(9). Is f <= i?
True
Let n = 12.84 + -13. Let i = -0.21 - n. Let h = i - 0.15. Which is smaller: h or 9?
h
Let s(g) = -g**2 - g - 1. Let m be s(0). Let t be 7 - (-11 - -10) - -21. Is m at most t?
True
Let f be (-6)/(-4)*(-288)/702. Suppose 4*z + 11 - 3 = 0. Which is smaller: z or f?
z
Let a(i) = -6*i. Let g be a(-6). Let h be (-7)/((-665)/10) - 25937/(-703). Is h at least g?
True
Suppose 0 = 14*w - 9*w + 7*p - 12, 5*p - 5 = 0. Does w = 9/19?
False
Let a be (0 + 0)/((-160)/(-40)). Which is smaller: -18 or a?
-18
Let f(g) = -g**2 - 11*g + 17. Let b be f(-12). Let r = b - 5. Which is bigger: 1 or r?
1
Let b = 10 + -10. Let a = -574611/161 + 3569. Let o = 332/805 + a. Is o at least as big as b?
True
Let j be (8/(-6))/((-1)/(-21)). Let d be ((-6)/j)/(18/8). Let f be (2 + -1)/((-4)/4). Which is smaller: d or f?
f
Let m = 38 - 35. Suppose -46 = -m*b - 31. Suppose 3*i - 11 = 1. Which is greater: i or b?
b
Let d = -33/7 + 195/28. Suppose 0*i - 7 = i + 2*h, 4*i = -4*h - 8. Which is smaller: i or d?
d
Let d = -1059 + 1059.04. Which is greater: d or 2/3?
2/3
Let p = 269.8 - 269.7. Is p >= 1602?
False
Let x = 0.1755 - 0.2155. Are x and 16 unequal?
True
Suppose -7*j + 83 = -r - 9*j, -5*r = -2*j + 415. Let s = 141 + r. Is s less than 57?
False
Let x = -49.59 + 49. Let f = -0.49 - x. Is f > -1.35?
True
Let j(c) = -c**3 - 8*c**2 + 4*c - 13. Let n(b) = b**2 - 7*b - 3. Let z be n(6). Let r be j(z). Suppose -7*k = -3*k + r. Which is bigger: k or -9?
k
Let x be (-12)/8 + 90668/264. Let z = -342 + x. Do -1 and z have the same value?
False
Suppose 0 = 2*q - 39 + 31. Suppose 7*a + 36 = 3*a + q*r, 3*a + 19 = -5*r. Are -7 and a non-equal?
True
Suppose 2*d - 2 = -p, 2*p - 6 - 5 = 3*d. Suppose 2*o - 8 - 4 = 0. Suppose 0*x = -o*x. Which is smaller: d or x?
d
Suppose 5*g - 3*k = 574, -7*k + 8*k = 2. Is g greater than or equal to 114?
True
Let u be (-2 + 3)/7 - (-4866)/42. Is 117 greater than or equal to u?
True
Let w(q) = 6*q - 2. Let u be w(3). Suppose -15 = z + 2*z, x - 3*z = -u. Let i = x - -30. Is i greater than or equal to 1/6?
False
Suppose o - 7*a + 5*a = -4, a = -1. Let d = -12 + 86/7. Are d and o unequal?
True
Suppose 44 = 3*b + b. Let k(v) = -4*v - 2. Let p be k(-3). Is p less than b?
True
Let j be ((-1)/(9/(-264)))/(4/6). Suppose -3*p - j - 72 = f, -3*f = p + 308. Is f equal to -101?
True
Let a = -2 + 6. Suppose -3*w + a = 10. Let z be (-12)/(-30) - (-34)/(-10). Which is bigger: z or w?
w
Let f be (-5 - (-2717)/605)/(3/(-15)). Let k be 3*((-4)/(-3))/2. Is k smaller than f?
True
Let k be (-5)/(285/(-292)) - (48 + -43). Which is smaller: 0 or k?
0
Let a = -20 - 12. Let g = -53 - a. Let j be ((-108)/147)/(6/g). Which is smaller: 3 or j?
j
Let t be (-20)/(-7)*(8 + -1). Let q be (4 - 2) + (-84)/t. Does 0 = q?
False
Let c = 1.5538 + 0.1462. Is 0.37 less than or equal to c?
True
Let d = 0.241 - 0.241. Which is bigger: d or 0.21?
0.21
Suppose 2*f + 22 = 4*f. Let j(m) be the second derivative of m**4/12 - m**3/6 - 7*m. Let y be j(-3). Are f and y equal?
False
Let z = 142 - 3267/23. Let n(s) = 4*s**2 + s. Let b be n(1). Suppose 2*l - b*w - 24 = l, 0 = -w - 5. Which is greater: z or l?
z
Let n(y) = 2*y**2 - 11 + 4*y + 0*y - 2*y - y. Let s be n(9). Let i = s + -953/6. Which is bigger: i or 1?
i
Let r = 3.868 + 0.252. Let k = 4 - r. Let g = k - -8.12. Is 0 at most as big as g?
True
Let a = -464/21 - -22. Suppose 0 = -8*z + 2*z. Which is greater: z or a?
z
Suppose -4*o - 14 = 2*p, o = 3*o. Let t = 15 + p. Suppose -3*c + t*c = 0. Which is greater: -6/7 or c?
c
Let i be (10/(-3))/((-5)/15). Suppose i*v = 25 + 75. Is 9 less than v?
True
Let g = -13 - -23. Let w be g/4 + (-1)/(-2). Let x be ((-6)/9)/((-1)/w). Which is smaller: x or 3?
x
Let a be (-875)/(-15) + (5/3 - 2). Which is smaller: 59 or a?
a
Let z be (-2)/(-4)*3*(-20)/(-6). Suppose 5*t = -z*a + 4*a + 56, -2*a = 8. Is t at most as big as 8?
False
Let z be (9/3 + -2)*3. Suppose -30*o = -27*o - 6. Do z and o have different values?
True
Let f be (1 - -4)*6/10. Suppose 2*x - 24 = 5*m, -9*x = -6*x - 4*m - 22. Is x >= f?
False
Suppose 8 = 2*f - 2*q, -20 = -3*f - 0*q - 5*q. Let p(h) = h**3 - 5*h**2 + h + 1. Let b be p(f). Is 6 less than or equal to b?
True
Let j = 1/201 - 605/402. Is j at most as big as 4?
True
Suppose -191 + 47 = -8*k. Let n be (-6)/(-4) + 3/6. Suppose -k = 5*t - d + 21, 21 = -n*t - 5*d. Which is smaller: -7 or t?
t
Let x = -1001/8 - -124. Let g(y) = y**2 - 4*y - 1. Let v be g(4). Is v less than or equal to x?
False
Let j = -0.406 - -0.006. Which is smaller: j or -5?
-5
Let t(g) = -2*g - 14. Let v be t(-8). Suppose -1 = v*m - 7. Which is greater: 12/5 or m?
m
Suppose 0 = -4*g - 4*k + 20, 5*g - 5*k = 6 - 1. Let t be (-4 - (g + -35))*-1. Let z be -1 - (4 + 139/t). Which is bigger: z or 0?
0
Let j(x) = -2*x + 12. Let b be (-3 - (-1)/(-5))/(8/(-20)). Let w be j(b). Is -11 equal to w?
False
Let z be (-16)/(-3) + -6 + 1/(-3). Let u be (3 - 1)*3/(-46). Is u less than or equal to z?
False
Let x be ((-2)/6)/(12/18). Let d = -220 + 224. Which is greater: d or x?
d
Let c(w) = -w**2 + 19*w + 32. Let b be c(21). Let f = 194/19 + b. Which is smaller: -1 or f?
-1
Let k(c) = c**2 + 3*c - 6. Suppose -3*v + 7*v - 2*q = -18, -3 = 3*q. Let p be k(v). Suppose -p*u = 6 + 2, -2*u - 16 = 2*b. Is b smaller than -4?
True
Suppose 0 = -3*c - 43 - 14. Is c greater than or equal to -16?
False
Let m be (2/(-4))/((-34)/13056). Which is smaller: m or 193?
m
Let j be 2/(-4) - (1/2 + -1). Let d be (-14)/2*(j + 1). Is -10 at most d?
True
Suppose -32 = -o - 19. Suppose 4*t + 85 = o. Does -17 = t?
False
Suppose -8*a + 6 = -5*a. Let s(k) be the first derivative of k**3/3 - 3*k**2/2 - k - 2. Let h be s(4). Is a != h?
True
Let f = -36.7 - -38. Let t = f + -2.24. Which is smaller: -2/5 or t?
t
Suppose 0 = 3*t, -3*w + 4*t + 42 = 2*t. Which is bigger: 1 or w?
w
Let w = -333 - -353. Which is greater: 30 or w?
30
Suppose d = -3*d + 5*o - 84, 3*d = -4*o - 94. Do d and -26 have the same value?
True
Let j = 2 + -4. Suppose -4 = 12*k + 32. Which is greater: j or k?
j
Suppose 28 = -4*n - 4*y - 8, -2*y = 3*n + 22. Are -62/23 and n nonequal?
True
Let p = 12 - 8. Suppose 0*g = p*g. Let h be ((-6)/(-17))/3*1. Which is bigger: h or g?
h
Let l = -16 - -16. Suppose -3*s + 3 = 0, -3*s = x - l*s + 1. Which is smaller: x or -19/4?
-19/4
Suppose 0 = -2*t + 5*t. Let h be ((-108)/(-21))/((-1)/(-7)). Let z be (-4)/(-26) + h/273. Is z <= t?
False
Let y = -24519086325/33478 + 732394. Let u = y + -462454/10194051. Let d = u - 1/42. Which is greater: d or 1?
1
Let h = 6 - 3. Suppose -2*r + h*r + 16 = 0. Let k = r + 28. Which is smaller: k or 11?
11
Let v be 14/(-40)*((-93732)/27 - 0). Let y = 1215 - v. Which is smaller: 1 or y?
y
Suppose r - 11 = 2*d - 1, 4 = r + d. Let o be r/5*(-2)/4. Suppose 0 = -4*v + 44 - 48. Which is bigger: v or o?
o
Suppose 2*z - 4 = -4*x, 2*x - 9 = -x. Let m = z - -4. Is m bigger than -1?
True
Suppose j + 23 = 5*a, -3*a + 22 = -2*j - a. Let d be (-2)/8 - 10/j. Is 2/17 at least d?
False
Let w be -1*16 + 2/1. Let y = w + 10. Let o be y/(-3)*3/2. Are 0.3 and o non-equal?
True
Let s = -35.595 - 0.405. Which is bigger: s or 0?
0
Let k(r) = -r**2 + 12*r + 12. Let d(g) = g + 29. Let s be d(-16). Let b be k(s). Let v be (b - 2)*4/44. Which is smaller: v or 0?
v
Let s be 3*46/(-24)*(-8)/102. Let d = s + -2/17. Is 1/4 not equal to d?
True
Let h(t) = 4*t - 2. Let w be h(-1). Let l be (-12)/(-136)*8/w. Let d = 4.2 + -4. Is l at least d?
False
Suppose -2 = m - p - 10, -12 = 2*m + 5*p. Let g be 36/(-2 - m/(-1)). Which is greater: g or 19?
19
Let z(q) = q**3 + 12*q**2 - 6*q - 13. Let s be z(-9). Let v be s/224 + (-4)/32. Let d = 0 + 2. Which is smaller: v or d?
v
Suppose -45555*o + 45542*o - 91 = 0. Let l = 4 - 2. Suppose 0 = 5*c - l*m + 3*m + 43, -38 = 4*c - m. Is o smaller than c?
False
Suppose o - p - 3*p + 12 = 0, -27 = 4*o + 5*p. Let n be ((-1)/o)/(20/(-16)). Which is smaller: n or 1?
n
Let x(y) = -y**2 - 7*y + 9. Let i be x(-7). Suppose 4*p = 2 + 6. Which is greater: i or p?
i
Let z = -128 + 45. Let q = -83 - z. Which is smaller: 15 or q?
q
Let s(k) = k**3 - 17*k**2 + 19*k - 18. Let c be s(16). Let v be (-5)/(-2)*108/c. Which is bigger: 0 or v?
v
Let z(y) = -y**2 - 2*y. Let o be (-8 - -8) + -1 + 1. Let s be z(o). Is -2/71 equal to s?
False
Suppo