8. Is 11/2 > v?
True
Suppose -3*k - 25 = 5*u, 2*k + 2*u + 2*u + 20 = 0. Let a = 7 - -10. Suppose v + 5 = 0, -a = 2*d + d + 4*v. Is d > k?
True
Let k(q) = 22*q. Let t be k(-2). Which is greater: -45 or t?
t
Let h be ((-12486)/(-108))/(2/6). Let s = -346 + h. Which is smaller: s or 1?
s
Let k be ((-1)/2)/((-9)/(-4)). Suppose y + 29 - 30 = 0. Which is bigger: k or y?
y
Let c be (-74)/14 + 4/14. Let t(q) = q + 3. Let u be t(c). Let r = u - -1. Is r bigger than 1?
False
Let k = 0.04 + 0.56. Let n = -0.2 + k. Let r = n + -2.4. Which is smaller: r or 0?
r
Let p = -1/286 - -89/286. Let s be 1/2*-2*1. Are s and p unequal?
True
Let l(f) = 6*f - 4. Let c be l(-2). Is -16 less than c?
False
Suppose 0 = 8*f - 11*f - 156. Let v be 2/(-5) + f/(-5). Are v and -2 equal?
False
Let c = 149 + -1637/11. Which is smaller: -2/11 or c?
-2/11
Suppose -5 = 4*f + f. Which is smaller: f or 0.1?
f
Let r be (-12)/30 - (-33)/(-5). Let u(w) = -w**2 - 8*w - 8. Let q be u(-6). Suppose -2*b - 3 = 3*d, -6 = -b - 0*b - q*d. Is r at least as big as b?
False
Let s = 14 - 8. Suppose 0*g - s = 3*g. Let j = -1.3 + 2.3. Which is bigger: j or g?
j
Let f be (69/(-6) - 0)*6/(-9). Is f less than or equal to 7?
False
Let r = 736 - 7369/10. Let w = -169/210 - r. Is w <= 1?
True
Let q = 2.95 + 0.05. Let z = q + -2. Is z equal to 2/13?
False
Let z = 21.4 - 22. Which is greater: 1 or z?
1
Suppose 6*x - 2*x = -5352. Let f = x - -4118/3. Let q = f - 35. Which is bigger: q or 0?
0
Let d(s) = s**2 + s - 2. Let n be d(2). Suppose -n*q - 6 = -46. Let h be (16/q)/(6/15). Is 3 at least as big as h?
False
Let g = 11 - 3. Let q be (18/(-4))/(g/(-16)). Let h be -1 - (2 - q) - 2. Is h at most as big as 4?
True
Let z = -30 - -29. Suppose -3*b + 2*b - 5*t = 15, -4*t - 12 = -2*b. Let r be (0 - 2/4) + b. Is r at most z?
False
Suppose 0 = 4*u - 19 + 87. Let f = 984 + -1000. Is u at most f?
True
Suppose 3*q = -3 - 3. Suppose 6*l - 4*l = -6. Let g be 2*(l - 6/(-4)). Which is bigger: q or g?
q
Suppose u = 5*z - 21, 3*z + u = 7 + 12. Suppose -3*v = m + 7, 3*m + v - 31 = z*v. Suppose -h + m*h = 0. Is h bigger than 1/3?
False
Let c(d) be the third derivative of -d**6/120 + d**5/20 - d**4/8 + d**3/2 + d**2. Let t be c(2). Suppose -6*n = -n + l + 1, -n - 4 = 4*l. Is t <= n?
False
Let i = -59 - -59. Which is greater: i or 2/3?
2/3
Let h be 4/(-1 - -2) - 0. Suppose 0 = 4*s - 5*s - h. Which is bigger: s or -3?
-3
Let w = 9 - 11. Which is bigger: 0 or w?
0
Suppose 3*u = 5*o + 4*u + 44, 0 = 2*o + 5*u + 36. Let k be (o/10)/((-10)/25). Is 2 smaller than k?
False
Suppose -15 = a - 3*n, -10 = -a - 4*n - 53. Which is greater: -29 or a?
a
Let n(u) = -10*u - 3. Let g be n(-6). Let y be -3 - (0 - g/18). Suppose 0 = -3*r + 1 + 2. Which is bigger: r or y?
r
Let l(u) = 2*u**3 + 2*u**2. Let y be l(-2). Let g be (-4)/y*0/(-2). Does -1/2 = g?
False
Let n = 6/53 - 152/2279. Is -1 at most n?
True
Let s = -6 + 5. Let m = -15 - -3. Let u be m + 16 - (1 - -1). Is u greater than s?
True
Let v = 1 - -3. Suppose -2*g = v - 12. Suppose -3*j - 6 = 3*s, 0*s + s - g*j = 13. Which is smaller: s or 1/4?
1/4
Let c = -0.7 + -0.3. Let z = -94 + 94.02. Do c and z have the same value?
False
Let v = -7.16 + 0.16. Let o = 0.17 + 7.03. Let r = o + v. Which is greater: r or -0.2?
r
Let g be 1/3 + 17/3. Let p be 2/(-3)*g/4. Which is smaller: p or 2/5?
p
Let r(m) = -m**3 + 2*m**2 + 9*m - 4. Let z be r(4). Do 2/43 and z have different values?
True
Let i = 29206/45 + -649. Which is bigger: 0 or i?
i
Suppose -u + 3*u = 4. Let y = 25/11 - 23/11. Which is greater: y or u?
u
Let g = -8 - -8. Let p be (3 - g)/(12/20). Suppose 2*x = -p*k - 0*x - 11, 0 = 4*k + 3*x + 13. Which is greater: -1/3 or k?
-1/3
Let y = 44 + -45. Is -1/6 greater than or equal to y?
True
Suppose -k - 2 = -3*k. Let a = 1 + 1. Let r = a - 2. Is r at most as big as k?
True
Let l = 59 - 70. Are l and -8 equal?
False
Let h be (-10)/(-15) + 29/(-3). Let t = -17 - h. Let f = -17 - -10. Are f and t nonequal?
True
Suppose -h = -4*c + 4*h + 14, -3*c + 14 = -2*h. Let g(y) = -y**2 + 7*y - 3. Let v be g(c). Is 3 < v?
False
Suppose 6*n - 2*n = 40. Is 8 at least n?
False
Let c(f) = -f**3 + 10*f**2 + 1. Let q be ((-60)/(-36))/(2/12). Let i be c(q). Is -2/29 at least i?
False
Let q = 1.7 + 0.4. Let l = 0.1 - q. Is l greater than or equal to 1/3?
False
Let s = 2/13 + 7/39. Let i = -0.01 - 1.99. Let p = 1.8 + i. Which is greater: s or p?
s
Let u(p) be the second derivative of 3*p + 1/2*p**2 + 0 - 1/6*p**4 - 1/6*p**3. Let m be u(1). Is m greater than or equal to -2?
True
Let f = 9 - 13. Suppose 3*c + 5*w = -0*c + 43, -5*w - 5 = -5*c. Suppose m = -a, 2 - c = -a - 2*m. Are a and f unequal?
False
Let i = 582/5 - 116. Which is greater: 1.9 or i?
1.9
Suppose 3 = -3*j - 0. Let r be -2*((-244)/(-8) + 3). Let f = 131/2 + r. Which is smaller: f or j?
f
Let h = -17 - -14. Let w = 35 - 32.1. Let j = h + w. Which is bigger: j or 2/7?
2/7
Let y = 11 + -8. Let h be 10/(-15) + 2/y. Is 2 less than or equal to h?
False
Let l = -0.076 - 0.084. Which is bigger: -0.1 or l?
-0.1
Let d be (-12)/(-9)*(-225)/10. Let t be (-6)/(-4)*160/d. Do t and -8 have different values?
False
Let l = 17 + -19. Let n(p) = -p**3 - 5*p**2 - 5*p. Let b be n(-4). Let h be (-38)/14 - b/14. Which is greater: l or h?
l
Let k(q) = -2*q - 4. Suppose -b + 12 = -5*b. Let t be k(b). Let y = 10 - 7. Which is greater: t or y?
y
Suppose 0 = -i - 4 - 4. Let g be (-15)/6*i/(-90). Suppose -7*a + 2*a = 5. Is g < a?
False
Let p = -3 - -13. Is 10 greater than or equal to p?
True
Let p = -719/17664 - -3/256. Which is smaller: 0 or p?
p
Let j(x) be the second derivative of x**4/12 + x**3/6 + x**2 + 2*x. Let r be j(-2). Let v be (-6)/4 + 2/r. Which is smaller: -2 or v?
-2
Let x = -17 - -17. Which is greater: -6/7 or x?
x
Let v = -8 + 17. Suppose 11 = -4*y + 5*k, -2*y + 4*k = y + v. Which is bigger: y or -2/53?
y
Let x be 12*(1/(-2) - -1). Let t(y) = y**3 + 4*y**2 - 2*y + 2. Let o be t(-4). Suppose 2*i + o = 4*i. Which is smaller: i or x?
i
Suppose 20 = -4*k, -3*d - 3*k = 11 + 13. Which is greater: -4 or d?
d
Let q = -41 - -41. Which is bigger: q or 3.5?
3.5
Let k = 15 - 7. Let w = -9 - -14. Let b = w - k. Which is bigger: b or -1?
-1
Let g be 2/11 - (-174)/(-715). Which is smaller: g or 0?
g
Let g(h) = 3*h**2 - 5*h - 8. Let d be g(6). Which is smaller: 69 or d?
69
Let w = -31/12 - 3/4. Which is smaller: -2 or w?
w
Let r(n) = n**3 - 11*n**2 + 9*n - 3. Let b be r(10). Is -14 at most as big as b?
True
Let g = -3/19 + -11/171. Is -1 bigger than g?
False
Let q be -1*2 + (-1400)/(-688). Which is smaller: -1 or q?
-1
Let q be (0 - 0)/(1/1). Suppose 6*l - 2*l = q. Which is bigger: -3/10 or l?
l
Let q = -6 - -6.03. Let j = q - -0.37. Let a = 0.3 - j. Is 0 != a?
True
Suppose 401*j - 12 = 398*j. Let m = -12 + 17. Which is smaller: j or m?
j
Let u be 7*(-2 - 2 - -5). Is u smaller than 7?
False
Let d be (6/9)/(4/42). Let w be (-1)/(-1) - 5/d. Suppose 0*x - 4*x = -4. Is x != w?
True
Let x(w) = w**2 - 6*w - 12. Let j = 14 - 5. Let d be x(j). Are d and 16 unequal?
True
Let z = -15/2 - -7. Which is greater: z or -5?
z
Let m = -28 - -43. Let i be 3/(0 - (-9)/6). Suppose -o = i*o + m. Which is smaller: o or -7?
-7
Suppose 4*r - 3*a = -0*a, 2*r - 26 = -5*a. Suppose 2 - r = 4*d - 5*q, 5*d = -4*q + 9. Let g be d + (-1)/(-4) - 2. Which is greater: 1 or g?
1
Let s = 0.35 - 0.45. Is s < -10?
False
Suppose 14 = 2*u - 10. Let d be (-107)/(-6) + 2/u. Suppose -3*b - 3*s - 12 = 0, d + 10 = 3*b - 5*s. Are 2/27 and b non-equal?
True
Let y = -2 + 3. Let x = 23 + -22. Is x less than y?
False
Let g be 2/6 - 4/(-6). Suppose 2 = r + 4*u + 3, 3*r + 12 = -3*u. Let z be ((-1)/(-5))/(r + 4). Which is bigger: z or g?
g
Let d be 62/6 + 2/(-6). Let q be 2/2*d/(-75). Which is smaller: 1 or q?
q
Let d = -135 + 191. Let r be (-30)/d + 2/7. Which is bigger: 1 or r?
1
Let g(i) = i**3 - i**2 + 2*i - 2. Let y be g(2). Suppose -4*v + 4 = 0, 2*h + 2*v = -2*h + y. Let p be -1*(-1)/(0 + h). Is p at least -3/8?
True
Let l = 75 - 77. Which is greater: l or -4?
l
Let l = -0.06 + -0.64. Let q = 0.6 + l. Let i = -1 - -3. Is i greater than q?
True
Let r = -2 - -2. Let f be 4/22 - 218/(-11). Let k be ((-4)/(-10))/((-4)/f). Which is greater: k or r?
r
Let x be (-15)/13 + 16/104. Which is bigger: x or 5/16?
5/16
Let t be (-4)/55*10/4. Le