9)/w)/((-1)/(-5)). Let t(g) = g**3 - 7*g**2 + 5*g + 8. Let d be t(6). Which is smaller: m or d?
m
Let p = -16 - -10. Let t(o) = o**3 + 5*o**2 - 6*o + 6. Let l be t(p). Let v = l + -3. Is 2 > v?
False
Suppose -b - 17 + 11 = 0. Which is bigger: 2/3 or b?
2/3
Let x be (1/2)/((-4)/48). Let i be (-14)/(-15) + x/(-15). Suppose -1 = 3*a - 4*a. Which is smaller: i or a?
a
Let q = 0.24 - 1.24. Which is bigger: q or -14/9?
q
Suppose 0 = 4*k + p - 27, -26 - 4 = -5*k - 5*p. Which is greater: 9 or k?
9
Let u(v) = -2*v + 11. Let m be u(5). Suppose -282 + 46 = 4*n + 5*d, -3*n + d - 177 = 0. Let q = n + 530/9. Which is bigger: q or m?
m
Let n(r) = r**2 - r. Suppose 0 = 5*d - 3*o + 2*o - 12, -2 = o. Let q = d + -1. Let h be n(q). Which is greater: -1 or h?
h
Let m be 9/4 + 4/(-16). Suppose -4*u = -n + 17, -m*n - 3*n = -4*u - 37. Let v = n - 4. Does 1 = v?
True
Suppose -5*p + 5*j = -25, -3*p + j + 12 = -5. Suppose -2*v - 6 = -2*z, 0 = -5*v - 4*z + 2*z + p. Let q be 12/(-10) - 6/(-30). Which is bigger: v or q?
v
Let x(a) = a**3 + 7*a**2 - 7*a - 17. Let k be x(-7). Is k less than 32?
False
Suppose 0 = -2*p + 6, p - 6*p + 25 = 2*c. Suppose c*d - 3*o = 15, 5*o = -d + 2*o - 15. Which is smaller: d or -1/7?
-1/7
Suppose 4*g - c + 3 + 6 = 0, -2*g = 4*c. Let w be 3*g/(-3) - 0. Let q be -2*2/(-1 + -3). Which is bigger: q or w?
w
Let t = 1528/21 + -218/3. Is 0 != t?
True
Suppose 77 = 5*u + 2*u. Is u greater than 23/2?
False
Let l = -14.3 + 14.6. Does l = 14?
False
Let z = -25/6 + 163/42. Suppose -9 - 11 = 5*q. Let n = q + 5. Are n and z equal?
False
Suppose 3*j + 0*j - 5*i = 31, i + 13 = 4*j. Let y be 8/20 - 7/30. Which is smaller: j or y?
y
Suppose 2*w + 4 = 0, i - 2 - 5 = 4*w. Suppose -4*o = 2 + 22. Let v = o + 5. Are i and v equal?
True
Let m(s) = s**2 + 7*s - 2. Let y be m(-7). Let d be (10/15)/(y/(-3)). Is d smaller than -2/7?
False
Let j = 4 - 7. Is j less than -36/11?
False
Let q = -44091/17 + 2595. Which is greater: q or 1?
q
Suppose 3*b - 6 = -0*y + 3*y, -6 = 2*y. Let d(i) be the third derivative of i**5/60 - 5*i**4/24 + i**3/6 + 2*i**2. Let k be d(5). Is b not equal to k?
True
Let n = -0.04 + 0.24. Let h = 0.02 + 0.08. Which is smaller: h or n?
h
Let c = 15 - 10. Suppose 0 = 2*r + 2*o + 12, r + c*o = 6*r - 20. Are 1 and r nonequal?
True
Let n be -1 + 3 + (2 - 1). Let f be (-2 + -1)/n + 1. Suppose 2*y + 4 - 2 = 0. Which is smaller: y or f?
y
Let z = -7 + 10. Suppose 0 = 5*s - 5*u - 5 - 0, -u = -3. Do z and s have different values?
True
Let i = -0.42 + 0.42. Is 5/6 > i?
True
Let m = 1440/1729 - -6/247. Let s = m + -25/21. Which is bigger: s or 5?
5
Suppose 6*q - q = -2*k - 20, 4*q - 2 = 2*k. Let z be (-30)/(-3)*2/(-5). Is z at least k?
True
Let r = -4 - -4. Suppose r = -4*g + 3*z + z, 0 = 2*g + 4*z - 30. Let p be 2/g + (-7)/5. Is 1 > p?
True
Let a = -35 + 33. Suppose y = -11 - 51. Let i = y + 184/3. Are i and a unequal?
True
Let a(p) = p**2 + 7*p + 4. Let u be a(-6). Is u < -7/8?
True
Let a = -1 + 9. Which is smaller: 14 or a?
a
Let n = 67/11 - 601/77. Are -2 and n unequal?
True
Let v = 0.9 - 1. Let p = -21 + 21.5. Which is smaller: p or v?
v
Let z(h) = -h**2 + 2*h + 5. Let b be z(5). Let j = -6 - b. Which is bigger: j or 3?
j
Suppose -60 = -0*f - 4*f. Is f bigger than 16?
False
Let m = -8 - -8. Let w = -2 - m. Which is greater: w or 0.1?
0.1
Suppose -3*g - 4 = g. Let l(s) = 2*s**2 - 13*s. Let x be l(7). Is g at most x?
True
Let h(k) = k**3 + 2*k**2 - k + 1. Let l be h(-4). Which is smaller: l or -29?
-29
Let s be 1 - 3/(3/7). Let k be (s/8)/((-30)/32). Which is smaller: 0 or k?
0
Let w(j) = -j**3 - 5*j**2 + 6*j - 7. Let f be w(-6). Let g = -5 - f. Let n be 1/g*(-2 - 0). Which is bigger: -2 or n?
n
Suppose 42 = -0*g + 2*g - 2*b, -g + 2*b = -24. Suppose d + 5 - 2 = p, 4*d = -2*p + g. Suppose 0 = d*i + 2*i - 8. Is i < 2?
False
Let c = 0.7 - 15.7. Let s = c + 14.9. Which is smaller: s or 0?
s
Let b(r) = -r**3 + 10*r**2 - 9*r. Let u be b(9). Which is smaller: u or 2/113?
u
Let t(u) = u**2 - 4*u - 1. Let n be t(4). Let z = n - -1. Is -2 bigger than z?
False
Let b = -0.06 - -0.01. Let w = 0.05 + b. Is 0 less than w?
False
Suppose 6 + 2 = h + 4*k, 2*h + 2 = k. Which is greater: -2/27 or h?
h
Let j = -928040537 + 70301854798304/75753. Let b = -1/443 - j. Let a = b - 7/57. Is a > -1?
True
Let z = -74/57 + 12/19. Let o = -0.4 - -0.3. Which is smaller: z or o?
z
Let s(x) = 3*x**2 - 6*x + 4. Let g be s(1). Are g and 2/157 nonequal?
True
Let l = -281 - -15454/55. Let g = l + -43/55. Let y be (-12)/5 + 4/10. Is y at most as big as g?
True
Let k be (0 - 2)/2 - -3. Let f be (0 + 2/(-3))*9. Let c be (f*3/(-9))/(-5). Is k at most as big as c?
False
Let f(k) = k**2 + 5*k - 3. Let w be f(-5). Let a(d) = -d**2 - d - 3. Let t be a(w). Let v = -13 + 5. Which is smaller: v or t?
t
Let g(v) = -v**3 + 7*v**2 + 9*v - 1. Let i be g(8). Let y = i - 5. Suppose y = 3*n - 1. Which is greater: 3 or n?
3
Let s = -1.6 - 4.4. Let b = -147.96 - -154. Let z = s + b. Is z != -0.1?
True
Let f = 36 - 36.1. Let a(c) = c - 4. Let d be a(0). Is f at most d?
False
Let r = 49 + -35. Is r >= -1/5?
True
Let u be (-12)/(-18)*6/4. Let w = -1 - -2. Is w at most as big as u?
True
Let k = -6.6 - -7. Which is smaller: k or -2/9?
-2/9
Let m = 4/19 - 31/57. Which is smaller: -0.2 or m?
m
Let k = -402/1969 + 4/179. Which is greater: k or -1/5?
k
Let c = 6 + -9.8. Let o = 4 + c. Which is greater: -1 or o?
o
Let r(l) = -l**2 - 5*l. Let v be r(-3). Let x = 12 - v. Let a be -2*(1 + (-3)/x). Which is smaller: 1/5 or a?
a
Let n = -1.9 + 2. Let k = 10 - 7. Is k != n?
True
Let a be -4 - ((-4)/(-2))/(-1). Let t be -3*a/12*0. Suppose 12 + 1 = 5*b + n, 3*b = 4*n - 6. Is b at most t?
False
Suppose 0 = 6*a - 13*a. Which is smaller: a or 2?
a
Suppose 0 = 6*o - 11*o - 15. Let u be -3 - o*(-11)/3. Is u less than or equal to -14?
True
Let d(a) = -a**2 + 3*a + 4. Let s be d(3). Let y(m) = -m**2 + 7*m - 6. Let l be y(6). Suppose -s*p + 8 = l, -f - 4*p = 3*f - 4. Which is smaller: f or 0.3?
f
Let c(p) = -p**2. Let g(s) = -4*s**2 + 2*s. Let r(n) = -3*c(n) + g(n). Let h be r(2). Which is smaller: -1 or h?
-1
Let i be ((-130)/(-24) - 2) + (-21)/28. Is i equal to 2?
False
Let l = -21 + 21.28. Let a = l - 0.18. Is 0.9 at least as big as a?
True
Let f be 3/(5/(20/3)). Let b be f/4 - (1 + -8). Let k be b*1/10*-1. Is -1 not equal to k?
True
Suppose -4*a - 3*d - 12 = 0, 2*d = 4*a + 4 + 8. Suppose -2*s + 5*g = -8 - 8, -5*s = 4*g + 26. Is a at most s?
True
Let f = 9 - 27. Let d = -9 - f. Is d < 2/7?
False
Suppose -a = 5*n - 53, -2*a - 61 = -5*n + a. Suppose -8*k + 3 = -n*k. Which is smaller: -5 or k?
-5
Let p(s) = -s**3 - 3*s**2 - s - 2. Let h be p(-3). Let l = 2 - h. Are l and -2/25 equal?
False
Suppose 5*d = 2*a + 21, 4*d = 3*a - 2*a + 15. Is 4 bigger than a?
True
Let z = 36 - 56. Which is smaller: z or -17?
z
Let w(i) = -i**3 - 8*i**2 + 8*i - 10. Suppose -4*y - 2*l = 3*l + 51, 4*l - 6 = 2*y. Let n be w(y). Let z = 1 + -1. Is z less than n?
False
Suppose 3*i = 3 - 0. Let y = -0.3 - -3.3. Let o = -2.9 + y. Which is smaller: o or i?
o
Let o be (-3)/12*(-3)/(-2). Let g be (-14)/(-4)*12/14. Suppose -g = 3*x - 0. Which is bigger: x or o?
o
Suppose 3*m + 5 = -1. Let u = -12 + 6. Let i = u - m. Is -4 >= i?
True
Let m = -3 - -2.6. Let q = 0.6 - m. Which is smaller: q or 0?
0
Let l be (-10)/(-12)*6/(-20). Let a = 1 + -1. Is l greater than or equal to a?
False
Let r = 8 + 18. Is r <= 28?
True
Suppose -3*w - 10 = -1. Which is bigger: -2 or w?
-2
Let y be 3422/21 + (4 - 1). Let d = -166 + y. Is 0 < d?
False
Suppose -9 = 4*q + 3. Let x be (-1 + 3)/(q - -10). Which is smaller: 1 or x?
x
Let l = 277 + -3045/11. Let a be 5/(-10) - 1/(-2). Is a > l?
False
Let n(a) = 9*a**3 - 1. Let q be n(1). Suppose 0 = -v - 3*v + q. Suppose 0 = k - 1 - v. Is 2 at least k?
False
Let z = 0.5 + -0.3. Let a = 5 - 9. Are z and a nonequal?
True
Let p be (-3)/2 + 3/(-6). Let g = p - -4. Suppose -d + g = -2*d. Is d > -3?
True
Let t = 3662/7 - 522. Which is bigger: t or 2?
2
Let m = -5 + 10. Let g be 14/21 - 13/(-3). Let j be 2/(12/g - 2). Is m > j?
False
Let m = 0 - 13. Which is bigger: m or -12?
-12
Suppose -8 = 2*w + 2*w. Let x be (-3 + 4)/((-1)/9). Let g = x - -7. Does w = g?
True
Let p(z) = z**3 - 12*z**2 - z + 10. Let t be p(12). Let u be t + 1 - (-2)/2. Is u at most 3/8?
True