9. Let q = -27 - f. Is 1.5 greater than or equal to q?
True
Let g = 5 + 7. Let d(b) be the second derivative of -b**5/20 + b**4 + b**3/6 - 17*b**2/2 + 3*b + 58. Let o be d(g). Is -5 smaller than o?
False
Let r be 5*(11 - 9 - 3). Is r equal to -14?
False
Suppose 2*p + 21 = -19. Let q = p + 27. Let y be (-12 + q)/((-10)/12). Do y and 7 have different values?
True
Let y(s) = s**3 + 6*s**2 - 7*s + 1. Let f = -1 + -6. Let t be y(f). Suppose 0 = 2*p - p + t. Which is greater: p or 1?
1
Suppose -10 = 3*c + 2*c. Let f be (14/(-42))/(c/36). Let w be (f/(-24))/((-1)/4). Is w equal to -1/15?
False
Let u be (((-14)/4)/(-7))/2. Let f = 2550/4303 + -9617763/13898690. Let n = f + -1/170. Is n < u?
True
Suppose 0 = 2*l + 4*l - 330. Let z be (-118)/(-80) + 22/l. Are z and 2 non-equal?
True
Let x(f) = f**3 - 3*f**2 - 2*f. Let o be x(4). Let i = 2 - o. Let q(h) = h**3 + 6*h**2 + h + 6. Let t be q(i). Which is bigger: -1 or t?
t
Let b be 150/6 + 2*-1. Let u = b + -25. Let d be u + ((-153)/147 - -3). Is -1 > d?
False
Let w be 50639/5214 + (-1)/6. Is 10 > w?
True
Let k = 0.2155 + -0.1955. Is -9 at least as big as k?
False
Let f be -3 - (2 - (-5)/10*-10). Let v be ((-4)/(-39))/((-6)/27). Are f and v equal?
False
Let m be (-149)/(0/2 - -1) + -3. Which is bigger: -150 or m?
-150
Let s(a) = -2*a - 15. Let u be s(-7). Let t be -15 + (2 - (1 + 0)). Which is smaller: t or u?
t
Let v = 151 + -66. Let b = v - 79. Which is smaller: -0.03 or b?
-0.03
Suppose 5*k - 304 = k. Suppose k = -4*g + 5*m, 0 = -3*g - 4*m + 2*m - 80. Suppose 10 = -2*t, 5*a - 23 = -2*t - 158. Which is smaller: a or g?
a
Let j = 16 - 11. Suppose -j*u - 18 = -3*u. Is u at least -10?
True
Let g = -24 + 26.1. Let u = 5.9 + g. Is 0.3 <= u?
True
Let s be (3/4)/((-7)/(-112)). Let q = s + -35. Let i = -10 - q. Which is smaller: i or 12?
12
Let v = -395.9385 - 0.0615. Which is smaller: 2/3 or v?
v
Let v = 2 - 2. Suppose v = -5*m - 0 + 5, 4*m - 22 = 3*q. Let g be q/(-40) + 4/16. Do -0.07 and g have different values?
True
Suppose -10 = -8*a - 2*a. Which is smaller: 32/15 or a?
a
Let j(o) be the second derivative of -o**4/12 + 5*o**2/2 - 3*o. Let h be j(6). Let w = -95/3 - h. Is w at least as big as 1?
False
Let x be (37/(-8))/(-1) - (28 - 23). Suppose 5*g - 4 + 14 = -3*f, -f + 20 = -3*g. Let q = g - -6. Is q less than x?
False
Suppose 0 = -3*d + 4*n - 29, -4*d = n - 0*n + 7. Let t be -6*((-9)/6)/d. Let h be (-16)/9*t*3. Is h <= 16?
True
Let c = 11128603/308592 + -1/77148. Let v = -36 + c. Which is smaller: 0 or v?
0
Let m = 0 - -7. Let q be ((-27)/9)/(0 + -3). Is q smaller than m?
True
Let g = -115/22 - -17609/3234. Let v = g - -2/441. Is -3 smaller than v?
True
Let k = 10 + -11.6. Let t = -14.03 - -14.7. Let p = -0.77 + t. Is p at most k?
False
Let u(q) = -q - 2. Let m(y) = 20. Let k(r) = -7. Let g(z) = 11*k(z) + 4*m(z). Let p(h) = -3*g(h) - 2*u(h). Let o be p(-4). Are o and -12 nonequal?
True
Suppose 0*x - 5*x + 16 = 4*n, 0 = x + 5*n - 20. Is -20/37 not equal to x?
True
Let r(t) = -4*t**2 + 3*t + 3. Let y be r(4). Let q = y + 42. Which is smaller: 2 or q?
q
Suppose 0 = 3*b - 29 - 4. Let q = 4 - b. Which is smaller: -3 or q?
q
Let j(f) = -5*f + 36. Let t be j(9). Let u be (14 + t)/(1 + -2). Is 1/2 greater than or equal to u?
True
Let f be 1118/3864 + (-36)/126. Let o = 607/15180 - f. Which is smaller: 1 or o?
o
Let a(h) = -h**3 + 2*h**2 + h + 4. Let f be a(-3). Suppose -5*v + f = l, -4*l = -0*v - 5*v - 59. Let j = 43/2 - l. Which is smaller: 2/7 or j?
2/7
Suppose 0 = o + 2*o - 12. Suppose 1 = -o*g - 7. Let k be (-1)/3 + 3*(-140)/504. Which is smaller: k or g?
g
Suppose 8*b - 360 = 48. Let c = 47 - b. Is 3/4 at most c?
False
Let w = 8 - 11. Let q(h) = -h - 5. Let u be q(w). Is -7 equal to u?
False
Let l = -37 - -34. Let v(k) = k**3 + 3*k**2 + 2*k + 2. Let n be v(l). Which is bigger: n or -5?
n
Let h = 92822/241 + -27881155/74469. Let y = 9/103 - h. Which is bigger: -10 or y?
-10
Let p be -4 - -103 - (1 - 3). Which is smaller: 1120/11 or p?
p
Suppose d + 2 = 5*z, -13*z + 1 = -18*z + 2*d. Let v = -2 + -7. Are z and v non-equal?
True
Suppose 33*f - 12*f = -1302. Is -65 at least as big as f?
False
Let s be ((-2)/44)/((-2)/(-4)). Let r be (1 - 10/14)*7. Suppose -3*g + 9 = 3*h - 0*g, r*g = 5*h + 13. Which is smaller: s or h?
h
Let t be -2 - (-4)/((-4)/(-25)). Let r = 12 - t. Let s = r + 8. Do 0 and s have the same value?
False
Let l be 20/2 + (1 - 2). Let t(h) = -h**2 - 12*h + 54. Let y be t(-15). Does l = y?
True
Let c = 0.78 - -0.92. Let m = 0.69 + 0.01. Let n = c - m. Which is smaller: n or 0.03?
0.03
Let p(w) = w**2 - 2*w - 5. Let l be p(4). Suppose -l*j = 5 + 49. Let k = j + 19. Is k != 1?
False
Suppose -7*x = -2*x. Suppose -d = 4*q - 4*d - 57, -3*q + 42 = -2*d. Suppose 4*j = -4*c - q, 5*c + 0*j = 2*j + 20. Which is greater: c or x?
c
Let l = -7 - -10. Let h = l - -8. Let t = h - 13. Which is bigger: t or 0?
0
Let w = 6 - 16. Let h(l) = l**3 - 9*l**2 + 15*l + 7. Let y be h(6). Which is smaller: y or w?
y
Let i(z) = z**3 + z + 1. Let r be i(-1). Let f be (-1)/(-6)*7*(-2)/(-266). Which is smaller: r or f?
r
Let r = 9 - -21. Let k be (1 - 4)/(r/(-20)). Let b = 29 + -29. Which is smaller: b or k?
b
Suppose -5*y = -3*u + 14, -5*y - 8 = 4*u - 5*u. Suppose 3*d = p - 6, u*p - 3*d + 1 = 7. Is 1/63 at most as big as p?
False
Let w = -146/34431 - 3/998. Which is bigger: w or 1?
1
Let r be (-44)/12 + (3 - 0). Let q = -8 + 11. Suppose -4*x + 7*x = -k - 26, -15 = q*k. Is r at least x?
True
Let a be 5019/(-330) - (-3)/(-33). Which is smaller: -15 or a?
a
Let m = -92 - -95.9. Let l = m + -2.9. Which is bigger: l or 2/11?
l
Let c = 81 - 80.96. Let u = 0.2 + 0.3. Is c less than u?
True
Let m(y) = -y + 5. Suppose -b + 4 - 1 = 0. Let o be m(b). Suppose o*f = 5*j - j - 6, -7 = -2*j + 5*f. Is 1/5 at least j?
False
Let b = 19 - 18. Let d be b*(-2 - (-9)/3). Which is smaller: d or -36?
-36
Let h = 0.521 + 21.179. Let m = h + -19. Let x = 0.7 - m. Are -2 and x equal?
True
Let b = 15.8 + 6.8. Let g = b + -26. Let k = g + 2.4. Is 0.4 at most k?
False
Let q be -3 + 4/5 + 862/410. Which is bigger: q or 4?
4
Suppose -5*v - 55 = 3*d, 6*v + 3*d + 44 = 2*v. Let i be -1*4 - (-10 - v). Let q(a) = -a**2 - 7*a - 3. Let l be q(-7). Is i at least as big as l?
False
Let y(m) = -m - 9. Let o be y(-7). Let a be 2 + (o - (-12)/(-15)). Let f = -245 + 243. Which is smaller: a or f?
f
Suppose 61*y = 36*y - 8950. Which is smaller: -360 or y?
-360
Let c = -34 - -57. Suppose 4*i = c + 77. Suppose -z = 3*r + 17, 5*z - r = -4*r - i. Do z and -1 have the same value?
False
Let r be ((-90)/135)/((-4)/2). Let p = 13 + -37. Is r at least as big as p?
True
Let a = -35 + 19. Suppose 8*f = 6*f - 34. Is f not equal to a?
True
Let a = 16 + -11. Suppose -2*y - 4*s = 84, -4*s = -a*s - 3. Let p be 3 - 2 - y/(-6). Which is smaller: -3 or p?
p
Let m = 22 - 17. Suppose -m*c + 5*k + 115 = 0, 5*c = k + 2*k + 117. Which is smaller: 25 or c?
c
Suppose -2 = p - 2*a, 2*p = -0*p + 2*a. Let d be 7/161*p/(-2)*3. Is d greater than or equal to -1?
True
Let a = 373 + -376.5. Which is bigger: a or -15?
a
Let r = 684 - 300. Let z be (-2)/(-9) - r/756. Let d = -34 + 33. Are d and z unequal?
True
Let i = -7 - -15. Let q be (63/24)/((-2)/i). Let o = 9 + q. Which is greater: 0.3 or o?
0.3
Let q be 33/22 + 898/220. Let i = q - -34/55. Which is smaller: i or 7?
i
Suppose -f = f - 66. Let s be 27/f + (-2)/(-11). Is s less than or equal to -1/43?
False
Suppose 0 = -4*m + 2*d - 3 + 29, -4 = -m + 3*d. Suppose 0 = -m*c - 2 + 9. Which is smaller: 3 or c?
c
Let l = 1241/5 - 248. Which is greater: -23 or l?
l
Let b = 121.7 - 129. Is b smaller than 2?
True
Suppose 6564 = -10*i - 2*i. Is 1/3 equal to i?
False
Let n(q) = -q**2 - 9*q + 109. Let r be n(8). Suppose 3*b = 4*w + b + 116, 2*b = 5*w + 143. Is w > r?
False
Let k be (-2)/((-4)/(-6)) + 0. Suppose 0 = -3*q - f - f - 13, q = 2*f - 7. Is k at most q?
False
Suppose 10*z = 17*z - 28. Suppose 11*i - 8*i = 33. Which is bigger: i or z?
i
Suppose 0 = -9*m + 158 + 292. Let d = m - 43. Which is smaller: d or 11?
d
Suppose -5*w - 261 = -261. Suppose w = 4*f - 0*f + f. Suppose -2*m = -5*m. Is f < m?
False
Let i be 0 - (1 + (1 - 6 - -1)). Is i smaller than -60?
False
Suppose 0 = 6*n - n + 4*d - 93, 4*n + 3*d - 74 = 0. Is n equal to 4?
False
Let w = 587 + -601. Is 