(9). Let b be ((-30)/16)/((-12)/f). Which is greater: 0 or b?
0
Let s(j) = 2*j + 1. Let m be s(-1). Is m at least as big as -2?
True
Let z be ((-3)/6)/(2/(-4)). Let c be (-3)/z - (-64)/12. Is 1 not equal to c?
True
Let u = 72274/18971 + -232/61. Is 0 >= u?
False
Let t(v) = 4*v + 1. Suppose 5*y + j + 5 = 0, 2*j - 4*j = 0. Let p be t(y). Let b = 4 + p. Which is smaller: 3 or b?
b
Let k = 14 - 15. Is 2 >= k?
True
Suppose -5*p + 5 = -10. Suppose -2*i = p*a - 52, i = a - 4 - 10. Suppose -4*v - 2*f - 4 = -f, -3*f + a = -2*v. Which is smaller: -6/11 or v?
v
Let h = 0.007 + -0.187. Is h < 0.2?
True
Suppose -14 = -5*z - 4*t, -2 = -z - t + 1. Suppose 0 = -m - z*d - 15, 3*m + 5*d - d = -41. Which is bigger: -13 or m?
m
Let l = 11 - 7. Let w = 2/227 + 1131/454. Which is bigger: l or w?
l
Suppose 5*k + 7 = -5*y - 43, 55 = -4*y + k. Let l = y + 14. Is l at least as big as 2/9?
True
Suppose 324 = -103*m + 94*m. Which is smaller: -39 or m?
-39
Suppose -3*y + y + 76 = -2*v, 3*y + 3*v - 114 = 0. Suppose y = 5*i - i + 3*z, 36 = 4*i + 2*z. Let a = i + -6. Is 1 greater than a?
False
Let t = 131/55 - 24/11. Let v(x) = x**3 - 7*x**2 - 7*x - 10. Let s be v(8). Let h be 2/(-7) - s/7. Do t and h have the same value?
False
Suppose -5*b - 5*w + 80 = 0, 2*b = 3*w + 2*w + 32. Let s be 8/b*(1 - 4). Is s >= -1?
False
Let p = 60 + -43. Is p equal to 17?
True
Let z be 14/(-8)*31 - 1. Let w = 55 + z. Is w bigger than 2/3?
False
Let a = -110 - -2531/23. Which is bigger: a or 1?
1
Let h = 12 + -19. Let q = 9 + h. Is q at least as big as 1/9?
True
Let m(y) = y**2 + y + 1. Let x be m(0). Suppose -z + x + 2 = 0. Is 2 > z?
False
Suppose -20 = -4*n - 5*x, 5*n - 20 = n - 2*x. Suppose 0 = -3*j - 1 - n. Is 0 <= j?
False
Let r = 227 + -2041/9. Which is smaller: r or 0.6?
r
Let p = 4 + -2. Let s = p - 3. Let c = -4/17 - 9/34. Is s not equal to c?
True
Let z = 6 + 4. Let k = 9.8 - z. Is 0.3 less than k?
False
Let d = -108 + 69. Are -39 and d nonequal?
False
Suppose -n - 3*n = 76. Suppose 68 = -4*k - 2*b, -9*k + 5*b = -8*k + 39. Is k smaller than n?
False
Suppose 4*t - 9*t = -30. Let g(n) = -n**3 + 5*n**2 + 7*n - 5. Let c be g(t). Let b be 3/(-33) - (-3 - -3). Which is smaller: b or c?
b
Suppose 5*u = -4*o + 23, 3*o - 3*u + 2 = -1. Is o greater than or equal to 5/4?
True
Suppose 3*p - p = -42. Let h be 2/(-7) + (-20)/p. Let v be (-1)/((3 - 6)/6). Does v = h?
False
Let i = 3 + -1. Suppose v = a - 2, a - i = -3*v + 4. Which is smaller: -2 or v?
-2
Suppose -2*b - 4*b = -5*b. Let y = -6759 + 33908/5. Let v = y + -22. Are v and b unequal?
True
Let a(g) = 2*g - 9 + 1 + 4 + 1. Let k be a(3). Which is smaller: 2 or k?
2
Let g = 0.2 - 0.3. Let p = 26.9 - 28. Let w = p - -0.1. Does g = w?
False
Let r = 1 + 1. Suppose r*m = -0*m. Let z(h) = h**3 - h**2 + h. Let x be z(m). Which is bigger: 2/3 or x?
2/3
Let q(t) = -2*t - 4. Let g be q(-2). Is -2/27 < g?
True
Let m = -25 - -24. Is m smaller than 6/17?
True
Suppose -5*v + 2 = -13. Suppose -2*a + 3*a = -3*i + 16, 2*a - 20 = -v*i. Let r = -6 + a. Is -1 <= r?
False
Let g be -2 + 2/(18/23). Suppose -5*l = -l. Which is smaller: l or g?
l
Suppose 3*q = -10 + 1. Let c(n) = n**2 + 4*n + 3. Let h be c(q). Let r = 4 - 7. Is h at least r?
True
Let r = 0.35 - 15.35. Let b = 26 + r. Does b = -0.1?
False
Suppose 48*t = 52*t + 16. Which is smaller: t or -7/2?
t
Let s = 3 + 9. Let r be (-3)/(-7)*8/s. Which is greater: r or -2?
r
Let f(o) = o**2 - 6*o - 3. Let k be 1/(((-8)/10)/(-4)). Let w be f(k). Which is smaller: -9 or w?
-9
Let m be (3/(-60))/((-14)/(-5)*1). Which is smaller: -1 or m?
-1
Let k = 10 - 16. Let c = -8 - k. Suppose 0 = -j - b - 5, 0 = -5*j - 4*b - 11 - 10. Is c smaller than j?
True
Let n = 1063/14 + -76. Is 0 < n?
False
Suppose 5*v - 5 = 0, 0 = -3*i - 0*v - 3*v. Which is smaller: i or -3/10?
i
Let d = -3.05 + 0.05. Which is bigger: -0.1 or d?
-0.1
Let j = -10 + 13. Let o(i) = -i + 5. Let t be o(j). Which is smaller: 9/4 or t?
t
Let d(b) = -b + 2. Suppose -2*v - 7 = 5. Let c be d(v). Let m = c + -4. Which is greater: m or 3?
m
Let p = -218 - -114. Let q = p - -170. Let s be ((-3)/q)/((-1)/12). Is 2 at most as big as s?
False
Let n(k) = k**2 + 3*k + 5. Let f be n(-3). Suppose -10 + 48 = -5*a + 3*t, 33 = -f*a - 2*t. Let z = 4 - 10. Is z smaller than a?
False
Let n = 18 + -19. Which is greater: -3/5 or n?
-3/5
Suppose -4*a + 4*y + 12 = -0, a - 7 = 2*y. Let u be ((3 - 3) + -8)*-1. Suppose u*o - 10*o - 2 = 0. Is o less than or equal to a?
True
Let p(k) be the second derivative of -k**3/6 + 8*k**2 - 4*k. Let d be p(11). Is -2/3 != d?
True
Let k = 63 - 63. Is k greater than -5?
True
Let t = -2 + 1. Let v = 98/3 - 33. Is v equal to t?
False
Let b(d) = -d - 5. Let r(y) = -y**2 - 5*y + 18. Let f be r(-8). Let v be b(f). Let o = -7 + 6.94. Is v at least o?
True
Suppose -2706 = 3*r + 2*m + 2348, 4*m + 3380 = -2*r. Let b = r - -10031/6. Let k = 10 + b. Which is smaller: -1 or k?
-1
Let n = -3 - -2. Let b be n - 1/(1/4). Let a(j) = -j - 7. Let y be a(b). Which is bigger: y or -3?
y
Suppose 8*r + 3 = 5*r. Suppose 0 = -u - 2*u - 4*w + 14, -6 = -3*w. Which is greater: u or r?
u
Let b(r) = r**3 + 4*r**2 + 5*r + 4. Let l be b(-3). Let a be (l - 1) + 7 + -7. Which is bigger: a or -1?
-1
Let l be (6/(-5))/(1/(-15)). Is 17 equal to l?
False
Let y = -1.05 - -0.05. Which is bigger: y or -2/5?
-2/5
Let y be ((-1)/(-2))/((-10)/4). Suppose 3*u = -2*u. Is u <= y?
False
Let r = -19.76 + -0.24. Let g = -10 - r. Let y = g + -11. Which is smaller: 3 or y?
y
Let v = -13 - -14.8. Let d = -1.66 + v. Let b = -0.04 + d. Do 3 and b have the same value?
False
Let a = -68 + 102. Does 34 = a?
True
Let l be (8/42)/((-2)/(-4500)). Let b = -430 + l. Let h(n) = -n**3 - 23*n**2 + 24*n. Let f be h(-24). Is b >= f?
False
Suppose -5*h + 11 = 1, -32 = 5*n + 4*h. Let r = 9 + n. Is r at least as big as 1?
True
Let t be (15/(-9))/((-1)/3). Let l be t/20 + (-181)/420. Let s = l - -8/21. Which is smaller: 0 or s?
0
Suppose 0 = 3*v - 0*v. Let j = -1.1 + 0.1. Are v and j equal?
False
Let f = -4/69 - 151/966. Which is bigger: f or 0.1?
0.1
Let p = -110 + 110.82. Which is bigger: -0.1 or p?
p
Let a be ((-2)/4)/(6/24). Let m = 2 + -1. Let g be m/(-1 + 2/4). Is a smaller than g?
False
Let v(g) = -g**3 - 4*g**2 - g + 1. Let h be v(-4). Let a be 2 + -1*2 - 4. Let n = a + h. Is 2 smaller than n?
False
Let c = 0.7 + -5.7. Let s = c - -4. Which is smaller: 3/2 or s?
s
Let u(p) = 7*p + 5. Let h be u(-3). Let z = 15 + h. Which is smaller: z or 2/9?
z
Let y be (-56)/(-26) + (-29 - -27). Is -1 greater than or equal to y?
False
Let w = 1/9 - 1/36. Is w != -2/3?
True
Suppose a - 2*g = -5, 14*a = 10*a - 4*g + 16. Let s be ((-1)/2)/(-1)*2. Is s > a?
False
Let w be -37*-1*1/(-57). Let u = 1/57 - w. Which is smaller: u or 0?
0
Suppose -2*w + 3 = -5*f + 2, -w + 4 = f. Let b be (-1 + 0)*(-2)/18. Which is greater: f or b?
f
Suppose 0 = 5*r + 5*k - 10, -15 = -4*r + 2*k + k. Which is greater: r or 5?
5
Let n = 217 - 1516/7. Let c(p) = p**3 - 3*p**2 - 4*p - 1. Let q be c(4). Which is greater: q or n?
n
Let x(p) = -2*p + 8. Let z be x(4). Let f be (-9)/(-42)*(-6 - 0). Which is bigger: z or f?
z
Let x(p) = p**2 - 6*p. Let a be x(6). Let b = a + 5. Suppose 3*m + 0*m - 6 = 0. Which is smaller: b or m?
m
Let j(w) be the first derivative of 2*w**2 - w + 4. Let h be j(-1). Is h not equal to -4?
True
Let c = 67 - 39. Suppose 4*h + 52 = -3*y, -4*h - 4*y - c = 24. Are h and -12 non-equal?
True
Let a = -7 - -9. Suppose 4*x - a = 5*x. Does -2 = x?
True
Let i be ((-6)/(-9))/(2/3). Suppose 5*n = 6*n. Let h be 1 + n - (-10)/(-15). Are h and i nonequal?
True
Suppose 5*m - 1 = -4*u + u, m - 9 = -5*u. Let t be 2 + 0 + 2 - u. Suppose -4*y = -2*y + t. Which is greater: -2 or y?
y
Let z be 4/(-12) + (-1)/(-3). Suppose -2*o - 3*o = z. Suppose 3*h = -o*h. Is h greater than 0?
False
Let q = 9.1 - 9.3. Is 42 >= q?
True
Let r = -19 - 0. Are -18 and r nonequal?
True
Let n = -10/29 + 127/116. Let s = 6 - 6.3. Let d = 0.3 + s. Is n >= d?
True
Let i(y) = y**2 + 8*y + 4. Let p be i(-8). Suppose 0 = -3*g + p - 1. Let z be (-1)/(18/15) + 1. Which is bigger: g or z?
g
Let b(x) = -x**2 + 5*x + 5. Let k be b(5). Suppose 0 = k*t + 50 + 55. Let m be ((-2)/(-5))/(t/(-15)). Which is smaller: m or 1?
m
Let y = -2609 + 1393. Let o = y - -18247/15. Let k = 1/15 - o. Which 