9. Which is smaller: c or h?
c
Let j(b) = -5*b + 10. Let k be j(4). Let z(i) be the first derivative of i**2 - 1. Let d be z(-5). Is d less than k?
False
Suppose b - 5*g + 21 = -16, -5*g = -2*b - 54. Is b smaller than -32?
False
Let o = 633722069448/335 - 1891706264. Let r = o - 1406. Is r at most as big as -1?
False
Let m = -70 + 99. Let x = m + -29.6. Which is smaller: x or -0.4?
x
Let q = -205 - -300. Is 674/7 < q?
False
Suppose -21*q - 24 = -25*q. Let s be (-34)/(-6) - (-8)/q. Is s less than 7?
False
Let u = -145 - -25. Let f = u + 1197/10. Let a = 2 - 3. Which is smaller: f or a?
a
Suppose -3*p = -4*f - 31 - 72, 0 = -f + 5*p - 47. Let q be f/(4*3/(-6)). Is q >= 8?
True
Suppose -4*c + 20 = 0, -c - 49 = 3*u - 3*c. Suppose 10*h - 263 = -373. Is u at most as big as h?
True
Let g = 62822891/46935 + 246/5215. Let o = g - 1337. Are 3 and o unequal?
True
Let p = -86070/371 + 232. Which is smaller: -1 or p?
-1
Let u = -17 - -21. Let t be 6 - 9 - (-2)/u. Which is smaller: t or -2?
t
Let d(y) = y**2 - 15*y + 11. Let u be d(12). Let f = -101/4 - u. Which is smaller: f or 6?
f
Let g be 5/40*20/115*-44. Are -2 and g unequal?
True
Let j(y) = y**3 - 5*y**2 - y + 5. Let q be j(5). Let c be 2 - (-2 + 1 - q). Suppose -c*o - 3*a = -o - 15, -3*o + 39 = -a. Are 12 and o unequal?
False
Let o(u) = u**3 - 12*u**2 + 12*u - 9. Let t be o(11). Suppose 3*p - t*g = -9, 4 = 5*p - 2*g + 15. Is 7/16 smaller than p?
False
Suppose -5 = 4*x + 15, 3*f - 5*x = 25. Let j(t) = -t**2 - 6 + 0*t**2 - 1 - 6*t + 2*t**2. Let r be j(7). Is r not equal to f?
False
Let o(l) = 2*l**2 - 3*l + 1. Let p be o(2). Suppose 0 = 3*v - p. Which is bigger: 2/21 or v?
v
Suppose -y - 5*d - 27 = y, -3 = -2*y + d. Let j be (4 - -1)*(2/1 + y). Is j not equal to 7?
True
Let g(l) be the first derivative of l**2/2 - 9*l - 11. Let y be g(9). Let j = -475 - -4741/10. Is j > y?
False
Let u = -100.1 - -100. Which is smaller: -13 or u?
-13
Let i = -20 - -19. Let z = -7 - -14. Which is bigger: z or i?
z
Suppose 4*p + 40 = 9*p. Let v = -13/2 + p. Which is smaller: 1 or v?
1
Let h = -0.94 + 1.01. Let k = -0.2 + -7.8. Let l = k - -6. Is l < h?
True
Let t = 5.8 + -5.53. Let q = -0.23 + t. Is q bigger than -1/5?
True
Let b(n) = -n**3 - 12*n**2 + n + 3. Let g be b(-12). Let v be g/3 - 35/(-11). Which is smaller: v or 4/5?
v
Suppose 16*a = 65 - 545. Is a less than or equal to -28?
True
Let g = 13/8 - 9/8. Let r(d) = -3 - 1 + 5*d - 2*d - d. Let a be r(3). Do g and a have different values?
True
Let i be -4 + 32 + 4 + -5 + 1. Which is smaller: 296/11 or i?
296/11
Let p = 2/3 - 0. Let j(x) = x**3 + 7*x**2 + 7*x + 8. Let r be j(-6). Suppose 0 = -4*v + 9*h - 4*h - r, -v = -3*h + 4. Which is bigger: p or v?
v
Let i be 2*(-6)/(12/701). Is i equal to -702?
False
Let t = -4328 + 4330. Let m = 0.6 - -1.4. Let w = -2.2 + m. Which is smaller: w or t?
w
Let h be 4/(-28)*569/111*3. Let a = 15/7 + h. Which is smaller: a or 2/5?
a
Let l be ((-21)/(-28))/((-1)/(-2)). Suppose 0 = 3*c - 2*c + 11. Let s = c + 13. Are l and s nonequal?
True
Let w be (-1)/4 - (-5)/4. Suppose w = -4*k - 3. Which is smaller: 21 or k?
k
Suppose i + 3 = 0, i = -3*u + 6*i + 21. Let d be (u + 2/(-4))/((-24)/(-112)). Which is smaller: d or 8?
d
Let r(q) = 8*q - 1. Let s be r(1). Let t = 9 - s. Suppose 3*u + t*u = 30. Is 4 not equal to u?
True
Let i = 0.109 - 6.009. Let s = 0.4 - -0.5. Let j = i + s. Is j at least as big as 0?
False
Let l = 12 - 7. Let w = l - 4. Let o = -187/4 + 47. Which is smaller: w or o?
o
Let w = 7 + 1. Let h = w + -9. Suppose 60 = -44*c - 28. Which is greater: h or c?
h
Let z = 11/2 - 62/11. Let w = z + 65/154. Is -2/21 at least as big as w?
False
Let f = -27 + 27.15. Let k = -0.35 + f. Are k and -1/6 unequal?
True
Let a = 1.31 - 1.28. Let y = 1.13 - a. Which is smaller: y or 2/7?
2/7
Let q(a) = -a - 8. Let b be q(-16). Let z be b/56*(0 - 16). Which is smaller: z or 0?
z
Let m = -74 - -56. Let b be (-26)/m - 8/(-36). Is b greater than 1?
True
Suppose -6*t = 2260 + 1166. Let j = -22267/39 - t. Which is smaller: j or 3?
j
Suppose -g + 3 = -2*x, g = -4*g + 2*x - 1. Let u = -0.79 + 1. Let m = -1.79 - u. Is g greater than or equal to m?
True
Suppose -4*b - 2*t = -6*t + 20, -4*t = -3*b - 11. Which is greater: -5 or b?
-5
Let a = -0.004 + 0.033. Let h = a + 23.971. Let l = -25 + h. Which is bigger: 10 or l?
10
Suppose r - 85 = 149. Which is smaller: 235 or r?
r
Let n = 3.32 + -3.5. Is n at most 0.09?
True
Suppose -5*d - 4*p + 79 = -125, 0 = -3*d + 5*p + 152. Is 42 at least d?
False
Suppose m - 29 = -4*g, -4*g + 3*m = -2*g - 25. Suppose 8*x + 248 - g = 0. Which is greater: -31 or x?
x
Let x be -5 - (-9 + -3 + 9). Let o = 0.7 - 0.69. Which is smaller: x or o?
x
Suppose -2*g = 3*p - 4 + 15, -2*p - 14 = -2*g. Let k be (-6)/18 + -4 + g/(-3). Is -3 at most as big as k?
False
Suppose -18 + 3 = -5*f. Suppose -f*o = 17 + 10. Let s be (-2)/(-9) - o/81. Is s at least 0.6?
False
Let w = -66 - -71.5. Let h = -8.4 + w. Which is greater: 0.1 or h?
0.1
Let i be (-32)/(-16) - (356/182 - 0). Which is smaller: 0 or i?
0
Let f(j) = -j**2 - j + 2. Let y be f(-2). Let t = 7/234 + 1/117. Which is bigger: y or t?
t
Let c(x) = 8*x + 8. Let y be c(-1). Let r = 379 + -3419/9. Which is smaller: r or y?
r
Let a = -129276/11 + 2693753/231. Let r(d) = 40*d - 11. Let c be r(-2). Let y = c - a. Which is smaller: y or -0.3?
-0.3
Let t(u) = 2*u**2 - 3*u - 4. Let x be t(3). Suppose h + 2*q + 8 = -x, 0 = -3*h + 4*q + 1. Is -0.5 < h?
False
Let z(y) = -11*y + 288. Let m be z(24). Is m less than or equal to 21?
False
Let z = -66.4 - -66.46. Is 2/9 > z?
True
Let n(s) = s - 3. Let k be n(-6). Let c = k - -6. Let x be 45/10 - c/(-2). Which is smaller: 5/3 or x?
5/3
Let s be (12 - 321/27)/(2/120). Is -0.52 greater than or equal to s?
False
Let l = -835/153 + -107/51. Is -9 greater than l?
False
Let j be (-84)/38 - (-16 - -14). Is j less than or equal to 0?
True
Let u be (-6 + 11)*(-1)/(-5). Let h be (u + 0)*-2 - -1. Let o = 1389/7 - 198. Do o and h have the same value?
False
Let t = 5.76 + 0.74. Let a = t - 6.3. Let k be (-4)/55*(-5)/(-2). Is a bigger than k?
True
Let l = -1154 + 1172. Which is bigger: l or 9?
l
Let s = -46 - -46.5. Which is greater: s or -0.02?
s
Suppose -5*t - 15 = -50. Is t greater than 6?
True
Let t = 21 + -27. Let x be t + 9 + 90/(-26). Is 1/4 <= x?
False
Suppose -3*w = -2*r - 172, -r + 19*w = 17*w + 85. Is -87 greater than r?
True
Let h(x) be the second derivative of -x**5/20 + x**3/3 + 3*x**2/2 - x. Let v be h(-2). Let u = -7 + v. Which is smaller: u or -1/4?
-1/4
Let k be (-9)/39 - 1/(-5). Let d(u) = -2*u**3 + 19*u**2 - 18*u - 2. Let q be d(9). Let p = q - -82. Is k at least as big as p?
True
Let w(v) = v**2 + 9*v + 6. Let o(x) = x**2 - 12*x - 8. Let d be o(13). Suppose -d*u - 8 = 27. Let i be w(u). Is -8 greater than or equal to i?
True
Suppose -12 + 2 = -5*y. Let i(j) = -j**3 - 2*j + 2. Let q be i(y). Let s be (12/q)/((-56)/20). Is s at least as big as -1/2?
True
Let n be 13/(1716/(-72))*4/1. Is -1 <= n?
False
Let n = 1510 - 1509. Which is smaller: -31 or n?
-31
Let a = -0.1 + 0.2. Let n = 147.7 - 137. Let i = n + -27.7. Is a != i?
True
Let j = -42 - -51. Let x(v) = v**3 - 9*v**2 - 2*v + 17. Let c be x(j). Is c < 2/9?
True
Suppose -4*a - b + 4 = -0*b, -4*a - 5*b - 12 = 0. Suppose i + a*i - 13 = u, 0 = -2*u + 10. Which is bigger: 44/7 or i?
44/7
Let m = -6/17 + 71/153. Suppose -6*s + 28 = -4*q, 5*q - s + 99 = 90. Is q equal to m?
False
Let t = -81 + 81.3. Let n(x) = 11*x - 3. Let p be n(8). Let l = p + -257/3. Which is bigger: l or t?
t
Let d be 4/(-6)*-1*21. Let p(s) = 4*s + 2. Let c be p(10). Suppose 0 = 5*b + 5*q - 120, b + 3*q + d = c. Is b less than 21?
False
Suppose -y = -2*r + 2*y + 5, 0 = -2*r + 5*y + 3. Let f be (r + (-15)/3)*11. Are f and -8 equal?
False
Let v = 1527/8 - 2482/13. Which is greater: 0 or v?
0
Let j be (24/5)/((-3)/(-10)). Let a be 38/(-5) + j/(-40). Let z be (a/45)/(14/35). Is 1 greater than or equal to z?
True
Let w be 368/69 + (-4)/(-6). Let l be (1/(-2))/(w/12). Is -1 < l?
False
Let j = -1565 - -1575. Is j greater than 3?
True
Let i(q) = -q**3 + 11*q**2 - 20*q + 14. Let f be i(9). Are -7/2 and f nonequal?
True
Let l(v) = -18*v - 3. Let o be l(8). Let s = -145 - o. Which is smaller: -4 or s?
-4
Let z be (-20)/33*(-84)/(-15). Let d = 3