9. Let s(c) = c**3 - 10*c**2 + 11*c + 8. Let o(m) = -4*s(m) + 3*w(m). Let j be o(9). Is y < j?
True
Let p = 0.287 + -0.287. Which is smaller: p or 177?
p
Let u(z) = -4*z - 18. Let b be u(-5). Let s = b - -3. Suppose 2*w + 1 = 3*y + 10, s*y = -w - 2. Which is bigger: y or 2/9?
2/9
Let p = 3 - 63. Let q = -12 - p. Let f be q/(-18) + 6/3. Is 1.7 < f?
False
Let x = 68 + -203/3. Which is bigger: 8 or x?
8
Let b = -1184710434/707 - -1675687. Let z = b - -4/101. Let k be (0 - 0)*2/(-4). Is z bigger than k?
True
Suppose -3*b + 11 = -p, -22 = 4*p - b + 11. Let u be (-3)/12 + 93/(-12). Is u less than p?
False
Suppose o + 23 = 5*n, -5*o = -n - 5 - 0. Let s(k) = k**3 - 2*k**2 + 2. Let g be s(o). Let t = -7.5 - -6.5. Which is bigger: t or g?
g
Let y be (-207)/150 + (-6)/(-4). Suppose -3*t + 2 = -5*c, t = 4*c - 0 + 3. Which is greater: t or y?
y
Suppose 157 - 139 = 18*j. Is j > -5/169?
True
Let p(k) = 2*k + 31. Let m(j) = j + 15. Let g(c) = 5*m(c) - 3*p(c). Let z be g(-16). Suppose 16 = o - 3*a - a, 5*a + 25 = 0. Is o != z?
True
Let n be 2/(-6)*-3*14/28. Which is bigger: 1/26 or n?
n
Let h = 860 - 780. Do h and 77 have the same value?
False
Let v(u) be the first derivative of -u**4/4 + 2*u**3 - 3*u**2 + 4*u - 9. Let w be v(4). Is w less than or equal to 12?
True
Let r be -18*(19/3)/(-1) + 2. Let i = 1742/15 - r. Is i less than 0?
False
Let z = 0.065 + -0.165. Which is greater: 26 or z?
26
Let a be (10/205 - 0)/(-2)*3. Which is greater: a or -1?
a
Let k be 66/280 - 9/45. Let j = -1 + 0. Which is greater: k or j?
k
Let k(p) = -p**2 + 14*p + 132. Let n be k(0). Are n and 126 non-equal?
True
Let i be (4/(-32))/((-5)/21874). Let s = i - 551. Let g = s + 15/4. Do -1 and g have the same value?
False
Let o = -0.067 - 2.333. Let x = -0.9 - -0.5. Let i = x - o. Do 0 and i have different values?
True
Suppose 6*g - 33 = 5*g. Let c = -67/2 + g. Let m = -2 - -2. Which is smaller: m or c?
c
Let d = 18 - -4. Let v = d + -22.8. Which is smaller: 2 or v?
v
Let m = -0.174 - 2.826. Which is greater: m or -44?
m
Let g be (19/(-4))/(-28*(-13)/2080). Which is greater: g or -26?
-26
Let k = -11/5 + 38/15. Let h(r) = -r - 2. Let i = 1 - 2. Let b be h(i). Is k less than or equal to b?
False
Let v = 417 + -406. Is -0.09 at least as big as v?
False
Let r = 76 + -139. Which is smaller: r or -64?
-64
Let t(g) = -g**3 - 4*g**2 + 3*g + 6. Let q be t(-4). Let d be 128/q*48/(-32). Let h = d + -26. Is 6 <= h?
True
Suppose -2*k = -0*k - 4. Suppose -3*n - 14 = -3*o + n, -2*n - k = -4*o. Suppose 0 = 5*p + 10 - 0. Is p smaller than o?
False
Let b = -22 - -24. Let u be b - 3/(-9)*0. Suppose 36 = -u*r - 10. Does -22 = r?
False
Let w be (23 - 18)/(-2*(-11)/6). Does w = 0?
False
Let s(q) = 3*q - 9. Let d be s(5). Suppose d*y - 12 = 2*k + 3*y, 5 = -5*k - 5*y. Let f be ((-2)/k)/((-72)/(-60)). Is f less than 1?
True
Suppose 16 = -0*z + 4*z, 3*z = l + 6. Suppose -2*u - 504 = 5*q, 215 + 293 = -5*q - 4*u. Let s be 5*(-8)/q*20. Which is smaller: l or s?
l
Let o = -4.3 + 4.205. Let g = 0.015 + o. Is -1 > g?
False
Let d = -124 - -114. Is -75/7 at least d?
False
Suppose k = -2*k - 6. Let t be k + (-1 - 3/(-6)). Suppose -3*w + 2*w = 3. Which is smaller: w or t?
w
Let z be 110/(-11) + (-4 - (-9 + 0)). Which is greater: z or -3?
-3
Suppose 0 = -0*x + x. Suppose 5*q + x*r - 4*r - 8 = 0, -2*r = 4. Let w = -2 - q. Which is smaller: w or 1?
w
Let p = -0.3 - 0.7. Let k be 18/50*(-110)/132. Is k < p?
False
Let y = -86 + 87. Let o be y - ((-1)/(-1) + 1). Does o = 12/25?
False
Suppose -783420 - 95372 = -4*v. Let t = -2414813/11 + v. Let f = t + -169. Are f and 0 non-equal?
True
Let n = -2012 - -1813. Which is smaller: -1394/7 or n?
-1394/7
Let q = -501.9 - -535. Let f = q + -33. Let v = -4 + 9. Which is smaller: f or v?
f
Suppose 4*x = -4*d, 5*x - x + 12 = -d. Let q = -3 + d. Let a be 94/(-280) + (-2)/(-7). Which is greater: a or q?
q
Let k be 7/3 - (-6)/9. Let m = k - 11. Let t = 9 + m. Which is greater: t or -4?
t
Let a = 24.6 + -39.5. Let u = a - -15. Which is smaller: u or -24?
-24
Suppose 2*d - 44 = -5*u, 66 = 3*d - 5*u + u. Let k = -31 + d. Suppose i + i + 16 = 0. Which is smaller: i or k?
k
Suppose i - 5*i + o - 5 = 0, 2*o = 3*i + 5. Let r be 4/(-2)*-1 + 21. Let p = r + -208/9. Which is smaller: i or p?
i
Let a = 17 + 52. Suppose 3*j + a = 18. Let z = -10 - j. Which is bigger: 8 or z?
8
Let l be (-414)/(-12)*(1 + -3). Which is smaller: l or -70?
-70
Let d = 80 - 80. Suppose 6*g - 9*g = d. Let h be ((-1)/1)/(-1 + -3). Are h and g non-equal?
True
Let h be 2/(-3)*-2*6. Let t(b) = -2*b - 6. Let m be t(0). Let v be (m + h)*2/1. Is 1 at most as big as v?
True
Let x be (-23 - -27)/((-8)/(-92)). Which is smaller: 49 or x?
x
Suppose -9 = 5*g - 4. Let c = 1 + g. Let k be 600/(-2900)*(3/6 - 1). Is c less than or equal to k?
True
Let b = 2.69 + 26.41. Let k = -29 + b. Which is greater: 6 or k?
6
Suppose -v + 3*v = 6. Suppose 24 = -v*r + 3*y, -r - y - 14 = -0*r. Let c = r - -9. Is -2 bigger than c?
False
Suppose 96 = -o + 5*o. Let k = 14 - o. Which is smaller: -28/3 or k?
k
Let p = 0.55 + -0.21. Let o = p - 0.31. Let q = 0.27 + o. Which is smaller: 3 or q?
q
Let w = 2 - 1. Let h = -490 - -24499/50. Is h greater than or equal to w?
False
Suppose 5*d = 7*d + 88. Which is greater: d or -45?
d
Let i = -709/2 + 355. Do 2 and i have different values?
True
Let b = -20.6 + -6.4. Let o = b - -27.2. Which is greater: o or -2?
o
Let s be (-72)/(-56) - 0 - 2/7. Is -2/4749 < s?
True
Let y = -1454.6 + 1456. Which is greater: -1/59 or y?
y
Let p = -66 + 68. Let u = 21 - p. Is u < -1?
False
Let l = 95 + -95.3. Are l and -1.1 non-equal?
True
Let y be ((2*1)/(-6))/(17/(-9537)). Which is smaller: y or 189?
y
Let l be ((-92)/(-6))/(8/12). Suppose 2*k = 3*y - 1 - 6, -5*k = -4*y + 35. Let z be (k - -7) + l/4. Is z smaller than 2?
True
Let k(y) = -3*y**2 - 14*y - 31. Let d = -51 + 45. Let h be k(d). Is -54 >= h?
True
Suppose 4 - 3 = 3*v - 2*i, 3*i = 4*v. Suppose -b + 3 = z, -4*b = -z - v*z - 36. Suppose -2*r + b = d, 3*r + 9 = -4*d + 6*r. Is 2 < d?
False
Let j be (1 - 1/2)*2. Let t be 3/(((-24)/10)/(-4)). Let z be (-6)/t*(-35)/238. Is z not equal to j?
True
Let r be (5/(-60))/((-25)/(-3)). Do r and 0 have the same value?
False
Let y = -4 + 6. Suppose 2*f + y = -0*f. Which is bigger: -2/5 or f?
-2/5
Suppose 5*z - 3*d - 1 - 5 = 0, -2*z = -3*d - 6. Is -4/519 at most z?
True
Let n = 31.1 - 26. Let f = 5.6 + -0.6. Let w = n - f. Is w <= -1?
False
Suppose -5*j - 282 = -y, -2 - 4 = -3*j. Does 290 = y?
False
Let z = 3 + -2. Let w = -25.6 + 31. Let k = 6 - w. Which is smaller: z or k?
k
Suppose -13*l + 40 = -18*l. Let a be (8/(-9))/l*4/(-1). Which is smaller: 0 or a?
a
Let f(b) = b**2 - 13*b - 25. Let a be f(18). Suppose 4*r + 5*s + a = 0, -4*r - 46 - 9 = 3*s. Is -80/7 bigger than r?
False
Let s = 92 - 93. Let l be (2 + 10)*75/6. Let t be (24/l)/((-1)/5). Is t not equal to s?
True
Let n be ((-91)/14 - -7)*-278. Is -1/3 greater than or equal to n?
True
Suppose 7 = 3*p - 2. Suppose 0 = -0*h - p*h - 33. Let m be (52/h)/2 + 2. Which is bigger: m or -0.1?
-0.1
Let p be (-36)/(-42)*1*-7. Let d be (6/441)/(p/9). Which is smaller: d or 1?
d
Let r = 23 - -8. Let q = 28 - r. Which is smaller: q or -1?
q
Suppose x - 14945 = -34*x. Which is bigger: 426 or x?
x
Suppose 9*g - 2*o = 6*g - 756, 4*g - 4*o + 1004 = 0. Is -254 bigger than g?
False
Let m(z) = 9 + 6*z**2 + 5*z**2 - 12*z**2 - 4*z. Let r be m(4). Which is smaller: r or -24?
-24
Let a = 19 + -64. Suppose -5*q + 4*t - 224 = 2*t, 4*q + t + 187 = 0. Does q = a?
False
Let l = 9.3 - 9.32. Which is smaller: l or 0?
l
Let j be (-1)/(3/63)*1. Let m = j - -24. Suppose 4*c = q - 15, -12 = m*c - 4*q + 9. Which is greater: c or -4?
c
Suppose -2*l - 3*v + 7*v + 20 = 0, -2*l - 15 = 3*v. Let w(j) = 0*j + 5 - j**2 + j - 7*j. Let s be w(-7). Are l and s non-equal?
True
Suppose 0 = i - 0*i + 2*p + 50, 3*i + 148 = -4*p. Let h = -31 - i. Is h at least as big as 16?
True
Suppose -5 + 14 = 9*p. Which is greater: p or -7/60?
p
Let o(h) = 2*h**3 - 6*h**3 + 4 + 3*h**3 - 4*h**2 + 6*h. Let u be o(-5). Let y be 45/(-25)*(-1 - (1 + -3)). Are y and u unequal?
True
Suppose 3*k = -3*f + 4*k + 11, -3*f - 4 = 2*k. Suppose 5*b + 5 = -z, -3*b + f = z - 5*b. Which is greater: z or 1/3?
1/3
Let x = -57 + 56. Let l = 0.03 + 1.97. Let n = l + -1.9.