8. Let r be (-2)/(f - 2)*-1. Is r smaller than 2?
False
Let h be (3/22)/(2/(-32)). Are h and -2 unequal?
True
Let p be 3/18 + 2/(-12). Which is greater: p or 2?
2
Let l = 13 + -10. Suppose -7*q - 5*b + 4 = -l*q, 4*b = 4*q + 32. Which is greater: -1/4 or q?
-1/4
Suppose 40 = -2*z - 3*l, l + 3*l + 114 = -5*z. Let c = 155/6 + z. Which is smaller: 1 or c?
c
Let n = -126.02 - -125. Let v = 0.12 + n. Which is greater: 1 or v?
1
Suppose 0 = 3*f - 2 - 4. Suppose -5*d = -f*d. Which is bigger: 2/5 or d?
2/5
Let l(j) be the second derivative of -j**2 - 1/12*j**4 + j + 1/2*j**3 + 0. Let n be l(2). Is n at most 0.1?
True
Suppose 0*f - 3*s + 6 = 3*f, 0 = -5*f + 3*s + 42. Let o be 6/14 - f/42. Which is bigger: o or 0.3?
0.3
Let f(i) = i**3 - 5*i**2 - 3*i - 4. Let v be f(4). Is v at most as big as -32?
True
Let l = 19 - 21.04. Let g = l - -0.04. Which is bigger: g or 0.4?
0.4
Suppose -11 = l + 2*l - h, 2*l + 3*h = 0. Let m be 9/l - 32/(-20). Which is greater: -2 or m?
m
Suppose 3*b - 7 = -2*w - 0, -2*b = -5*w + 8. Let f be (-6*b)/(5 - 4). Let t = f - -2. Which is bigger: -5 or t?
t
Let x = -99 - -99.1. Does 1/5 = x?
False
Suppose 5*y = 3*y - 6. Let k be -3 - (0 + 8/y). Which is greater: k or 2/3?
2/3
Let s(z) = 4*z + 8. Let p be s(-5). Let d(o) = 2*o**2 + 23*o - 7. Let f be d(p). Suppose -4*n + 15 = -9. Which is smaller: n or f?
f
Let o = 10 - 2. Let s be (-3 - -1)/o*-1. Is 1 equal to s?
False
Let p be (242/10 + 1)*(-1)/3. Which is greater: -8 or p?
-8
Suppose -2*j + 2*m = 78, 4*j - 2*m + 154 = 3*m. Which is smaller: -42 or j?
-42
Suppose -k = -3*s - 9 - 1, s - 4*k = 15. Let o = 21/4 + s. Is o at most as big as -1?
False
Let r = 48 + -28. Is 20 != r?
False
Let b(z) = z**3 - 12*z**2 - 11*z - 27. Let o be b(13). Suppose -y - 5 + 3 = 0. Which is greater: o or y?
o
Let s be (6 - 4)/(1*-2). Let o be ((-4)/24)/(s/3). Which is smaller: o or 0.1?
0.1
Suppose 4*r = -1 + 25. Let w be r/15 + 24/(-10). Let h be (-1)/(-2) - 1/w. Are h and 2 non-equal?
True
Let y(u) = u**2 + 6*u + 3. Suppose -3*d - 6 = -2*d. Let i be y(d). Let j be -5 + 0/(i/(-1)). Which is bigger: -4 or j?
-4
Let c be -2*1*(-2 + 1). Suppose 0 = c*a + 3*a. Suppose -10 + a = 5*b. Is b not equal to -4?
True
Suppose 0*v - 4*v + 2*x = -88, -5*v + 2*x + 109 = 0. Let p be (-1 - 2) + 119/v. Is 2 greater than p?
False
Let d(g) = -g + 4. Let p be d(2). Are p and 11/4 equal?
False
Suppose 0*d = -2*d + 6. Are 4 and d equal?
False
Let i be 2/(-10)*(-4 + -1). Suppose -5*r = -4*r + i. Does r = -2/11?
False
Let g = -0.85 - -4.75. Are 0.1 and g unequal?
True
Let p(f) = -2*f**2 - f + 1. Let w be p(2). Let k = w + 2. Which is bigger: k or -8?
k
Suppose 4*n + 5*p + 8 = -23, 2*n + 14 = -2*p. Which is greater: -26/7 or n?
-26/7
Suppose 5 + 1 = 2*z. Suppose -1 = z*x + 2. Let i(t) = t**2 - 6*t + 6. Let k be i(4). Which is greater: k or x?
x
Suppose r - 2*q - q - 6 = 0, 2*r = q + 2. Suppose 4*f + f - 5 = r. Are -1/7 and f unequal?
True
Let p be 0 - 0 - (2 + -4). Suppose 2*v - 14 = -2*y, p*v - 7 = -y + 5*v. Is 7 < y?
False
Suppose 0 = -r + 4*o - 26, 0 = 2*o + 3*o - 20. Let d = r + 11. Let g = 13388/23 - 582. Is d at most as big as g?
False
Let u = -428987 - -411398835/959. Let y = -865844/137 - -6320. Let j = y + u. Is 1 bigger than j?
True
Let m = 0.05 - -3.95. Let h = -3.7 + m. Let f = h - 0.5. Which is smaller: 0 or f?
f
Let b(a) = -a**2 - a + 1. Let h be b(-2). Let g be 0/h - (-25)/85. Let t = 137/119 - g. Which is bigger: 1 or t?
1
Let k = -33 + 30. Do k and -0.02 have the same value?
False
Let y be 30/(-6)*(1 + 0). Which is smaller: -6 or y?
-6
Suppose -3*g = -2 - 13. Let o be (-7)/(-2) + 2/4. Which is smaller: o or g?
o
Let p = -63374479/159 + 398584. Let s = p + -2/53. Is 1 at least s?
False
Let r be (-4)/(-22) - (2209/352 + -6). Which is bigger: 1 or r?
1
Let s be ((-8)/28)/(165/(-21)). Which is greater: 0 or s?
s
Suppose 33*i - 24*i = 0. Do i and 1/99 have the same value?
False
Suppose 2 = -v + 3*v. Let o = v - -1. Let w be (-2 - 0) + o + 2. Is 2 less than or equal to w?
True
Let y = 0.3 - 5.3. Let g = 3 + y. Do g and 1 have different values?
True
Let s = 16 - 21. Are -1 and s unequal?
True
Let z(s) = 3*s - 10. Let d be z(3). Let f be 3 + -5 + 40/18. Is f at least d?
True
Suppose 0 = 4*k + 4, -4*u - 2*k + 4*k + 278 = 0. Let p = -31339/477 - 560/159. Let l = p + u. Is l at least as big as -0.1?
False
Let i be (-2)/3*15/(-2). Suppose 0 = c - i*c + 4. Let u be 1 - (4/1)/c. Which is smaller: u or -4?
-4
Let x be (15/(-18))/(35/(-21)). Is 1/5 at least x?
False
Let o(m) = -5*m - 17. Let u be o(-19). Is 78 at least as big as u?
True
Let x = 3 + -3. Let h = 0 + x. Let s = h + 2. Which is smaller: s or 1?
1
Let x = -5 + 1. Let p be ((-2)/(-8))/((-1)/x). Is p <= 0.3?
False
Suppose 2*j - 2*h - 11 = -3*j, 2*h - 7 = -j. Does 3 = j?
True
Let j(d) = -d**3 + 5*d**2 - 3*d - 5. Let m be j(4). Let w(n) = n + 1. Let r be w(m). Let z be 14/44 - 2/4. Which is greater: z or r?
r
Let w = 3 - 2. Let a = w - -5. Which is smaller: a or 1/3?
1/3
Let w(k) = -k**3 + 7*k**2 + k - 1. Let u be w(7). Is 6 at least u?
True
Let n be -2*3/10 + -2. Let z = n + 107/45. Is z at most 0?
True
Let o = -193894 + 974002/5. Let l = o + -910. Do l and -5 have the same value?
False
Let g(v) = -v**2 - 4*v + 7. Let c be g(-5). Suppose 2 = -q + 9. Let t = q - 4. Do t and c have different values?
True
Let j(t) = t + 9. Let h(f) = f**2 - 8*f - 7. Let k be h(8). Let a be j(k). Suppose g = x - 4*g - 7, 5*g + 9 = a*x. Is 2 at least as big as x?
True
Suppose -12 = 2*k - 2*w, -2*k + 2*w = -w + 17. Which is smaller: 2/23 or k?
k
Let t = -2 + 3. Let o = 4 + t. Let z = o - 5.3. Which is smaller: z or -1?
-1
Let c = -0.7 + -2.3. Let w(m) = m**3 - 2*m**2 - 3*m. Let r be w(3). Do c and r have different values?
True
Let v be (-50)/48 + (-2)/(-3). Which is smaller: 1 or v?
v
Let k = 13 - 8. Let v = 3 - k. Which is smaller: v or -9/5?
v
Let s = -656/7 - -2060/21. Let u = 14/3 - s. Which is bigger: -1 or u?
u
Suppose 0*q = -8*q + 104. Is 13 less than q?
False
Suppose h - 2 = -q, 2*q + 5*h = -q. Let i be 7/(-2) + q/(-10). Is i bigger than -5?
True
Let g = -4 - -4. Suppose g = -3*z - z + 12, 13 = 2*p + 5*z. Is p <= -1/8?
True
Let t = 71 - 70. Are -7/3 and t equal?
False
Let p be 6/(-4) + 2/(-4). Is p < -1?
True
Let q be ((-2)/(-6))/(45/27). Which is greater: -4/7 or q?
q
Let t be (-51)/(-4) - (-12)/(-16). Suppose 3*z - t = -2*a + 4, 2*a + 12 = 4*z. Suppose 5*s - z*s = 1. Which is greater: 2/15 or s?
s
Let b = -157.92 + 162. Let j = 0.12 + b. Let p = 4 - j. Are p and -0.2 nonequal?
False
Let m be (2 + (-3)/2)*-2. Let p(b) = b + 2. Let k be p(-4). Which is greater: m or k?
m
Let m = 5 + -10. Which is bigger: 0.1 or m?
0.1
Let h = -256/171 + 20/19. Let n = -23 + 24. Which is bigger: n or h?
n
Let j be (-12)/15*(-25)/(-10). Let n be (9 - 15) + 6 + j. Do -3/4 and n have different values?
True
Let z = -1/663 + 43/2652. Which is greater: z or 1?
1
Let l = 2 + -6. Let v = l + 4.3. Let n = -94 - -656/7. Is n greater than or equal to v?
False
Suppose -3*i + 4*n = -7 - 3, 0 = -5*n - 20. Does 0.12 = i?
False
Let q = 73 + -951/13. Is q at most 0.2?
True
Let y = 94 + -753/8. Let l(p) = -p. Let q be l(-1). Which is bigger: y or q?
q
Let n = 5 + -8. Let j = -3 + 3. Let o = j + -2. Is n greater than or equal to o?
False
Let q = -176 - -1229/7. Suppose -12 = -7*f + 4*f. Suppose -3*m = f*o - 4 - 2, 4*m - 8 = 3*o. Which is smaller: q or o?
q
Suppose 5*c - 18 = -w, 0 = 4*c + 3*w - 7*w. Suppose 1 + 1 = -c*k + 2*a, -5*k = a - 1. Is k != -10/7?
True
Let v = 25 + -24. Is 0 != v?
True
Let s(g) = g - 6. Let r be s(6). Which is greater: r or 2/21?
2/21
Suppose -2*x - 56 = 2*x. Let a be (-15)/105 + 12/x. Which is smaller: 4/9 or a?
a
Let q be 4*2*9/18. Suppose -o - o - 3*l + 4 = 0, -5*l + q = 2*o. Let g be 20/(-24) + o/(-12). Which is smaller: 1/4 or g?
g
Suppose 0 = -n + 5*v - 31, -5*v + 24 = -5*n - 51. Which is smaller: n or -10?
n
Suppose 0 = -4*c - 3*u + 1 + 16, 0 = -2*c - 3*u + 7. Suppose -8 = -2*o - c*n, 3*n - 6 - 1 = o. Which is bigger: -2/21 or o?
-2/21
Let v(t) = t - 8. Let m be v(6). Let n(f) = -3*f**2 - 4*f + 3. Let x be n(1). Is x != m?
True
Let t(n) = -n**2 + 6*n - 3. Let u be t(6). Let h(o) = o**2 + 3*o. Let a be h(u). Let q = a - 1. Which is smaller: 1/6 or q?
q
Let q = -2/183 - -6779/732. Is q at 