8. Is t less than or equal to -5?
False
Let i = 50 + -50. Does i = 0?
True
Suppose 3*h + 1 - 7 = 0. Which is bigger: 20/7 or h?
20/7
Let g(k) = -k**3 + 7*k**2 - 6*k + 4. Let m be g(4). Which is smaller: m or 30?
m
Let c(x) = 2*x**2 - x + 1. Let p be c(1). Let o be (2/4)/(1/p). Let y = -43/33 - -18/11. Is y greater than o?
False
Let q = -1.3 + 1.33. Let h = -0.07 - q. Is -0.1 at least as big as h?
True
Let w = -10820543/1368 + 71212/9. Let d = 44/19 - w. Which is bigger: 1 or d?
1
Let b = -3 + 4. Let w = -1 + b. Let p = w - -1. Which is smaller: 1/3 or p?
1/3
Let j be (3/(-2))/(3/(-16)). Let h = -6 + j. Let w be (6 + -4)*2/4. Are h and w equal?
False
Let s be -2 - -1 - 40/(-5). Suppose -3*k = -l - 6, -3*k + s*k = -4*l + 8. Are l and -3/20 non-equal?
True
Let a be (-5)/3 + (-2)/6. Which is smaller: -5 or a?
-5
Let f be 3/1 + (4 - 3). Are 27/7 and f unequal?
True
Let a(t) = -6*t**2 - t + 2. Let s be a(-2). Let r be s/25 + (-2)/(-10). Are -2 and r unequal?
True
Suppose -8*d + 10*d = -6. Let g be (-2)/6 + (-33)/9. Is g bigger than d?
False
Let w(z) = 2*z**2 + 4*z + 2. Let q be w(-2). Let i be q/28*1*8. Suppose 5*n - 5*f = -0*n + 25, 0 = 5*n + 4*f + 11. Do i and n have the same value?
False
Let x be ((-8)/30)/(110/(-275)). Suppose -2*g = -3*y - 3 - 0, 0 = -y + 3*g - 1. Let b(v) = -2*v. Let a be b(y). Is a less than x?
False
Let l(d) = -d**2 - 2*d + 4. Let j be l(0). Is j at least -1?
True
Let i = 0.4 + -0.3. Let z = 0 - -0.5. Let m = z + -0.5. Which is smaller: m or i?
m
Let d = 0 + 0. Suppose -3*i + 16 = -i. Suppose -3*c + 0*q = -2*q - 12, 2*q = c - i. Which is smaller: c or d?
d
Let f = -63/5 + 2341/185. Suppose -4 = 2*v + 2*v. Does f = v?
False
Suppose 6*p = p - 20. Which is bigger: p or -2?
-2
Let s = 0 - -0.2. Which is smaller: -5 or s?
-5
Let d = 12 - 6. Let p be (-3 + 1)/(4/d). Is -3 < p?
False
Suppose 0 = -0*y + 5*y + 4*k - 6, -k = -3*y + 7. Let c be y/(-7) + (-54)/(-42). Are c and 4/3 unequal?
True
Let r(x) = x**3 + 5*x**2 - 7*x - 6. Let l(n) = n**2 - 6*n + 2. Let t be l(4). Let o be r(t). Let z be -3 + (0 - o) - -2. Is z at most -2?
False
Let n = -444 - -713. Let k = -5109/19 + n. Let u = 1 + -1. Which is smaller: k or u?
u
Let h be 2/(-16) - 1434/48. Which is smaller: -29 or h?
h
Let w be ((-6)/(-15))/((-2)/(-10)). Suppose 0 = -u + t + 5, 4*u + 5*t + 7 = 0. Is w >= u?
True
Suppose -5*n = -9*n + 44. Suppose 0 = 4*d + n - 3. Which is bigger: -5/3 or d?
-5/3
Suppose 2*d + 15 = -d. Let x be 3 - (-1)/d - 3. Is x at most 2?
True
Let n = 0.5 + 10. Let x = n - 10. Which is smaller: -2 or x?
-2
Let s = -52 + 50. Is s smaller than 17?
True
Suppose -8*i + 6*i = -2*f + 82, 3*f - 107 = -i. Which is bigger: f or 36?
f
Suppose 0 = x + 4*j, 75 = 5*x - 2*j - 3*j. Is x at most 11?
False
Let y = 27 + -15. Is 2/3 at least as big as y?
False
Suppose 2*j - i = 2*i - 13, -5*j + 5*i = 20. Let g be 1 + -1 + 3/4. Which is smaller: g or j?
g
Let j = 2 + 1. Suppose 4*f - 1 = j*f. Suppose 1 = -o - f. Does o = 1/3?
False
Let d be 12/(-2)*(-6)/18. Suppose 0 = m - 6*c + c + 25, -m = d*c - 10. Suppose -w - 2 + 0 = m. Is -2 at most w?
True
Let j = 6 - 0. Let u be ((-3*1)/(-6))/j. Let i = 5/12 + u. Is 1 > i?
True
Suppose -197*a = -199*a - 14. Let l be (-13)/3 - (-8)/(-12). Which is greater: l or a?
l
Let u be (-13)/(-3) - (-10)/15. Let v(s) = -s**2 + 8*s - 4. Let g be v(u). Let a(b) = -b + 11. Let l be a(g). Is 0 at most l?
True
Let f be (4 - 0) + 1 - -2. Suppose f*h = 6*h. Which is greater: h or -5/9?
h
Let z = -0.12 - -2.12. Is z != -1.4?
True
Let l be 0 - ((-3)/6 - 0). Do l and 6/5 have the same value?
False
Let s(d) = -3*d**2 - 3*d**2 - d**3 + 1 + 5*d**2. Let p be s(0). Let n = -2423/60 - -161/4. Do n and p have the same value?
False
Let i = 13 - 14. Is i > 1?
False
Let u(w) = w**2 - 10*w + 8. Let j be u(9). Let c = j - -3. Let x = c - 0. Is x greater than or equal to 2?
True
Let i = 5.5 - 6. Let k = -4.9 + 0.9. Let y = k - -3.9. Is i less than y?
True
Let v be (8/(-24))/((-2)/18). Let t(n) = n + 10. Let m be t(-7). Suppose 0 = -4*g + 5*i - 6, -m*g - v*i + 7 = -i. Which is smaller: 1/2 or g?
1/2
Let i = -68 + 42. Let a = i + 77/3. Which is smaller: a or -1?
-1
Let i = -387 + 386.9. Let g = -3 - -6. Which is smaller: i or g?
i
Let g = 0.173 - -0.127. Which is greater: g or -2/23?
g
Let f be 4*(99/210 - 1). Let b = -12/7 - f. Which is greater: b or -1?
b
Suppose -z - 13 = -14. Is -1/16 not equal to z?
True
Let h(a) = a**3 + 5*a**2 + 5*a + 2. Let l be h(-3). Let b = l + -2. Suppose 2*z + 1 - b = 0. Are z and 2/5 equal?
False
Let k be 2/(-8) - (-198)/24. Which is smaller: 1 or k?
1
Let s = -2 - -3. Let u = -3 + s. Let m be 0/(-4 - -2) + -1. Which is bigger: m or u?
m
Let i = 0.1 + -4.1. Let l = 0.25 - 0.05. Is l > i?
True
Suppose u = 2*u - 7. Let j be (-69)/21 - (-2)/u. Which is bigger: -7/3 or j?
-7/3
Let o = 1.2 + -1. Let v = 1.2 - o. Suppose -21*s - 22 + 64 = 0. Do s and v have different values?
True
Suppose 4*j = 3 + 9. Let m = 63/5 - 13. Which is smaller: m or j?
m
Let z be (-8)/6*(-3)/(-1). Is z equal to -3?
False
Let g = 0.5 + -0.5. Suppose i = -5*d - 20, -d + 0*d + 4*i - 25 = 0. Let y be (-2)/d + (-14)/10. Is g bigger than y?
True
Let n = -0.3 - 0. Let m = -6.4 + 6. Let l = n - m. Does l = 2/9?
False
Let s be (44/6)/(1/(-6)). Let h = 18 + s. Let i = h + 207/8. Which is greater: i or 2/3?
2/3
Let a be (-352)/(-24) + (-2)/(-6). Let d = a + -17. Which is smaller: -6/11 or d?
d
Let u(y) = 2*y + 10. Let f(a) = 2*a + 10. Let m(x) = -5*f(x) + 6*u(x). Let v be m(-7). Let c = -4 - v. Is c greater than 1?
False
Let p = -2/8839 + -17492/822027. Are -1 and p equal?
False
Let h(j) = -j**3 + 4*j**2 - 4. Let i be h(3). Suppose r + 24 = -i*w, -4*w - 10 = 10. Is r not equal to 2/11?
True
Let j = -1 + 1. Let s = j - -4. Suppose -2*b - s = -0. Are -1 and b equal?
False
Let n = 6 - 4. Suppose 2*t - n*m + 0 = 6, -5*t + 4*m + 13 = 0. Which is smaller: t or 1/8?
1/8
Let q be 3/(6/4) + -3. Let p(v) = -v**3 - 6*v**2 + 3. Let a be p(-6). Let h be 2/(-1 + a)*-1. Are q and h unequal?
False
Let r = 1.9 + -2. Let m = -2292 + 217732/95. Let b = m + -6/19. Which is greater: r or b?
r
Suppose 5*r = -j + 3*j - 14, 4*j - 2*r - 12 = 0. Let q be 6/(-4) - j/(-1). Suppose 4*s - 10 = -5*a - s, 12 = -4*a + s. Is q not equal to a?
True
Let c(r) = r**2 + 11*r + 4. Suppose 9*n + 44 = 5*n. Let y be c(n). Suppose y*m - 5*q = -34, -2*m = 2*q + 8 - 0. Is m >= -6?
True
Let o(v) = -3*v**3 + v**2 + 6*v - 2. Let z be o(-2). Which is smaller: z or 15?
z
Let s be ((-2)/14)/(6/(-21)). Which is greater: 0 or s?
s
Let w = -369/5 - -72. Let n(j) = j**2 + 6*j - 2. Let b be n(-6). Which is bigger: b or w?
w
Let z be 1/((-26)/(-6) - 4). Suppose -5*p - 6 = -z*r, 2 = 3*p + r - 0. Is p > 1/5?
False
Let t(s) = -s**2 - 9*s - 7. Let n be t(-8). Do n and 5 have the same value?
False
Let y(d) = d - 4. Let a be y(8). Let p(o) be the third derivative of o**6/120 - o**5/20 - o**4/8 - 2*o**3/3 + 2*o**2. Let k be p(a). Is k not equal to 2/7?
True
Let n = -3 - -2.73. Which is smaller: -0.1 or n?
n
Suppose 0 = -19*g - 4*g + 92. Is g <= 3?
False
Let l = 0.12 + -0.02. Let u = 0.04 - l. Is 2/7 bigger than u?
True
Let y = 0.03 - -0.03. Let d = 5 - 4. Which is smaller: d or y?
y
Let r = 873/8 + -59029/40. Let v = -1392 - r. Let f = -25 - v. Which is smaller: 1 or f?
f
Let u be (12/(-5))/(18/(-60)). Which is greater: u or 9?
9
Let i(l) = -8*l - 52. Let z be i(-6). Is -10/3 < z?
False
Let t be (-54)/(-10) - 52/130. Which is greater: 36/7 or t?
36/7
Let p = -20 - -19. Which is greater: p or -2/3?
-2/3
Suppose -2*h = 5*w - 1, w - 5*w + 4*h = -12. Let g = -3 + w. Is g at most as big as -1/2?
True
Suppose 0 = o + 2*h + 10, 0 = -4*o - 3*h - 2*h - 25. Suppose o = 3*w + w. Which is greater: w or -2/5?
w
Let o(c) = c**2 + 17*c + 5. Let b be o(-17). Which is smaller: 4 or b?
4
Let q be -1*(8/(-6) + (-7)/(-3)). Which is greater: q or 6/37?
6/37
Let u = 1 - -2. Let s = 2.01 + -0.01. Let l = s - u. Which is smaller: l or -2?
-2
Let t = -9034 + 63734/7. Let i = 71 - t. Are 1 and i equal?
False
Let j be (-3)/7 - 34/(-14). Suppose -7*i = -j*i - 5. Is 1 at most as big as i?
True
Let t = -1 + 3. Let v = -4 - -2. Let l = v + 2. Are t and l equal?
False
Suppose 25 = 5*x, -30 = 5*k + 4*x - 9*x. Which is smaller: 2/39 or k?
k
Suppose -9*p + 4*p = y - 11, -3*y - 