 8.5. Let u = 39.1 + -39. Is r at most as big as u?
True
Let d = -390927/7 - -55717. Let h = -130 - d. Let b = 0.2 + -0.3. Do h and b have different values?
True
Let k(c) = c - 2. Let n be k(-10). Let a be (-2)/4 - n/(-8). Is a smaller than -4?
False
Let p = -2/21 + 11/21. Is -2/45 less than p?
True
Let n = 421/6 - 70. Is n at least as big as 1?
False
Let k = 3.47 + -5.44. Let r = k + -0.03. Is r > -0.1?
False
Let a(t) = -4*t - 12. Let h be a(-2). Let p be 1*5/(3/(-3)). Which is bigger: p or h?
h
Let y be ((-1)/2)/(6/12). Which is bigger: y or 4/15?
4/15
Let l = 42 + -14533/346. Is 0 smaller than l?
False
Let x = 7.12 + -0.12. Let i = x - 8. Is 1 less than or equal to i?
False
Let m = -21.3 + -5.7. Which is smaller: m or -1?
m
Let d = 831/8 + -104. Is 1 at most as big as d?
False
Let l = -19.3 - -19. Let a = 0.7 + -0.2. Let r = a + -0.3. Is r at least l?
True
Let b be (-1)/(-1) + (18 - -2). Let g be 4/14 - 1319/(-63). Let t = g - b. Is 0 >= t?
False
Let f(b) = -b**2 + 11*b - 28. Let z be f(3). Suppose -2*l - 4*m = -l - 13, 3*m - 12 = 0. Which is bigger: z or l?
l
Let b(z) = -z**3 - 6*z**2. Let p be b(-6). Which is bigger: p or -2/11?
p
Let a = 8 + -4. Suppose -x + 2*r + 4 = 0, 0 = a*x - r + 6*r - 3. Which is smaller: x or 4?
x
Let u be (-12)/(-4) + 0/(-1). Suppose y - 2*o = 14, -4*o = 3*y - o + u. Is y <= 3?
False
Let w = -3.1 + 0.1. Let t = 16 + -29. Let n = -14 - t. Which is bigger: n or w?
n
Suppose 56 = 9*a + 389. Is a bigger than -115/3?
True
Let m(d) = d**3 - 5*d**2 + 3*d + 3. Let c be m(4). Let l be 2 - (1035/(-50))/(-9). Is l at most c?
False
Let c = -689/45 - -76/5. Which is smaller: 0 or c?
c
Let w = -59 + 54. Is w bigger than -6?
True
Let s(v) = v**3 - 17*v**2 - 17*v - 19. Let a be s(18). Which is greater: 0 or a?
0
Let a be (0 + 3)/((-24)/(-16)). Let f(t) = t**3 + a*t**3 + 6*t**2 - 2*t**3 - 2 + 4*t - 3. Let m be f(-5). Which is bigger: -1 or m?
m
Let o = 7.09 + -7. Let b = o + 1.31. Let s = b + -0.4. Which is smaller: -1/3 or s?
-1/3
Suppose 5*z - 2 = 8. Let h = 82 - 244/3. Is z greater than h?
True
Let s = -66.9 - -67. Which is smaller: -6/11 or s?
-6/11
Let o(p) = -p**2 + 7*p - 2. Let y be o(5). Suppose y = a + 4*u, u = a + 4*a + 2. Let s = 2 + 0. Which is greater: s or a?
s
Let i = 1.2 + -0.2. Is -7 at most i?
True
Let p(r) = r**3 - 11*r**2 - r + 12. Let o(s) = -s**3 + 5*s**2 - s - 4. Let d be o(3). Let f be p(d). Is 1 != f?
False
Let f = -2.9 + 0.9. Is 0.1 less than f?
False
Let j be (-48)/(-28) + (-2)/(-7). Suppose j*s = s + 2. Suppose 2*x = 5*t + 17, 4*x + 2*t + 4 - s = 0. Which is smaller: 2 or x?
x
Let w(g) = g + 7. Let i be -1 + 1 + 1 + 2. Suppose i = -d + 3*v + 6, -4*v = 3*d + 30. Let x be w(d). Is -1/8 <= x?
True
Let b be 0*1*(-3)/(-6). Suppose q + 0 + 1 = b. Which is bigger: q or -0.2?
-0.2
Let f = -111 - -109. Is f equal to -4?
False
Let i be -9 - 2/(-2)*-1. Let u = -170 + 161. Is u less than i?
False
Let g = -0.56 + 0.76. Is -7 smaller than g?
True
Suppose -5*a - 3*m = -a + 11, 3*m = -15. Let k be 3 - a - 21/15. Let r = -2 - -4. Are k and r non-equal?
True
Let f = -2 + 4. Suppose 4*l + 10 = f*l. Is -4 at most as big as l?
False
Let p = 136/1501 + -3/79. Let r = -9 + 14. Suppose r = -4*y + 1. Which is smaller: y or p?
y
Let o = -391/65 + 60/13. Is -1 at least o?
True
Let n = 0 + -1. Let j be 6/14 - (-22)/(-77). Which is smaller: n or j?
n
Let c be ((-109)/(-92))/(54/(-96)). Let f = -28/23 - c. Which is smaller: 2 or f?
f
Let c be 24/9 - (-2)/(-3). Suppose 0*o - 2*o - 2 = 0. Is o greater than c?
False
Let b = -41.5 + 41. Let m = 2.7 - -0.3. Which is greater: m or b?
m
Let c = -23 + 100. Which is bigger: c or 76?
c
Suppose 5*f + 3*j = -14, 4 = -4*f - 2*j - 6. Which is greater: f or 1/3?
1/3
Let v = -0.3 - -0.9. Let r = 0.4 + v. Is 1/2 at most as big as r?
True
Let g = -2 + 1. Let a = -10 - -14. Suppose -a*y = 3 + 1. Do g and y have the same value?
True
Let n = -5 + -2. Let g = -11 - n. Do -4 and g have different values?
False
Let j be 2/4*(-60)/(-45). Which is smaller: 112 or j?
j
Suppose -6*u = -2*u - p - 2, 4*u - 2*p - 4 = 0. Suppose u = n + 5, o + 4*n + 26 = 3*o. Do o and 3 have the same value?
True
Suppose 2*d - 6 = 2*c, -8*d - 4*c = -3*d - 6. Let x be 1/(-3)*(1 - 3 - -2). Which is bigger: d or x?
d
Let g = 6 - 4. Let h be 4 - (-2)/(0 + 2). Let y = h - 5. Which is smaller: g or y?
y
Let a be 18/81 - 25/(-9). Suppose -5 = a*n + 2*n. Which is smaller: 0 or n?
n
Let a = -125/3 + 881/21. Let u = -6 - -2. Let i(l) = -l**2 - 5*l - 5. Let v be i(u). Is v equal to a?
False
Let y be (-1*2)/2 + 1. Let z = -1 + y. Let l be (1 - 34/12) + 2. Do z and l have the same value?
False
Let n = -68 + 5443/80. Let y = 209/240 - n. Which is smaller: y or 0?
0
Suppose -3*i + 2*y + 10 = 0, 3*y - 4*y - 5 = 0. Let f be (-1 + i)*(-9)/(-3). Which is smaller: f or -4?
-4
Suppose 6 = 2*j, -5*i + 0*i - j = 82. Suppose 51 = -0*x - 3*x + s, 15 = -5*s. Is i greater than x?
True
Suppose 27 - 7 = 5*y. Suppose 5 = y*m + m. Which is bigger: m or 3?
3
Suppose v - 2*v = -7. Let x(w) = 2*w - 8. Let o be x(6). Let u = v - o. Which is bigger: u or 2?
u
Suppose 2*c - 24 = -2*c. Let t be 0/(-2) - (1 - 1). Suppose 2*g = 6, w + g - 3*g = t. Is w at most as big as c?
True
Let a = -1703/4 - -419. Which is bigger: a or -7?
a
Let k(i) = i**2 + 5*i - 3. Let g be k(-6). Which is smaller: 1 or g?
1
Suppose 7*u - 3 = 4*u. Let m = 5 + -5. Is u < m?
False
Let r = 9 + -10. Let p be 2 + r - (16 + 2). Which is smaller: p or -18?
-18
Let k be 0 + (0 - 2) + 2. Suppose -16 = -5*w - 4*z, k*w + 3*z - 12 = -2*w. Is w at least as big as 0?
True
Let j = 696 - 59163/85. Is j greater than -1?
True
Let x(o) = o**2 + o. Let j be x(-2). Suppose p + 13 = -4*s - 3, -p = j*s + 8. Let m = -3 - s. Do -2/7 and m have the same value?
False
Let h be (-3)/(-1)*4/12. Which is greater: h or 4/21?
h
Let y(w) = w**3 - 5*w**2 + 6*w - 5. Let f be y(4). Suppose 0 = -f*k - 3*s + 3, -k - 5 = 2*k - s. Let a be ((-1)/(-2))/((-24)/8). Are k and a equal?
False
Let t be -2 + 2 + 0/(-1). Let f be 4/2 - (1 + t). Let r be 0/(f + (-4 - -2)). Are r and 0 equal?
True
Suppose 0 = -2*a + 3 + 5. Let b be a/6 - (-247)/(-4155). Let n = b + -2/277. Is n > 1?
False
Let u = 36.2 + -33. Let a = -3 + u. Let i be (-16)/42*3/4. Is i smaller than a?
True
Let o be 20/8*(-4)/(-5). Let j be o/(-10) + (-62)/(-10). Suppose -2*q - 16 = -j*q. Is q bigger than 3?
True
Let c be ((-6)/21 + -2)*2/4. Which is bigger: -1/3 or c?
-1/3
Let m(l) = 2*l + 12. Let s be m(-5). Suppose 5*n = s - 27. Which is greater: -6 or n?
n
Let q = -12 - -9. Which is greater: q or -0.2?
-0.2
Let k(d) = -d**2 + 4*d - 1. Let w be k(3). Suppose -x - w*x = -3. Suppose -g + 1 = 0, -g + 1 = -q - 4*q. Is q at least x?
False
Suppose 3*g - j = -2*j + 10, 4 = 4*j. Which is greater: g or 2?
g
Let v be (0 + -1)/(-5) + 0. Suppose -3*r - 16 = 4*b, -2*r = -r + 3*b + 12. Is v != r?
True
Let m = -154/351 - -5/54. Is 1 > m?
True
Let x(l) = l**3 - 7*l**2 - 16*l - 19. Let y be x(9). Which is smaller: y or -2/133?
y
Let t = 26 + -14. Let g = -11 + t. Which is greater: 3/8 or g?
g
Suppose 3*n = y + 2*y - 9, -5*y = -n + 13. Let o(d) = -d**2 - 6*d + 7. Let u be o(n). Which is smaller: u or 1?
u
Let t be 2/1*3/72. Let q = t - -1/4. Which is smaller: 0 or q?
0
Let w = 9 + -17. Let c be 2/(((-12)/10)/3). Let o = w - c. Is -3 equal to o?
True
Let y = 2 - -4. Let f be -12*1/((-9)/y). Are 7 and f non-equal?
True
Suppose -27 = 2*i - i. Let n be ((-1)/4)/(i/(-12)). Which is bigger: n or 1?
1
Let k = -0.056 - -0.256. Is k at least as big as -0.22?
True
Let k = -184.01 - -185. Let x = 0.01 + k. Let j = x - 1.2. Which is greater: j or -0.1?
-0.1
Let z = 6 - 2. Suppose -z*w = -w. Is w <= 5/7?
True
Let o be (2 + -2)/(1 - 0). Suppose 2*i + o*i = -12. Is i bigger than -6?
False
Let f be (-2 - -2)/((-10)/5). Suppose f = 2*u - 3*u - 1. Let o be 8/28 + 18/(-14). Is u != o?
False
Let t = -151555/1092 - 1937/84. Let w = t + 162. Is w at most -1?
False
Let k = 7 - 3. Suppose 0 = -2*s - 16 - 14. Let a be (k/s)/(4/(-10)). Which is bigger: a or 3?
3
Let l be (-2)/(-4) - (-209)/(-110). Which is smaller: -1 or l?
l
Let q = -21 - -21. Is q at most -11?
False
Suppose -b + 2*b = -7. Let d = 9 + b. Which is smaller: d or 0?
0
Let x be (3/(-76))/(18/16). Let c = -320 - -18257/57. Let f = x - c. Do -2 and f have t