y - 24. Let a(v) = -v**3 - 12*v**2 + 2*v + 15. Let s be a(y). Which is bigger: s or -8?
-8
Let u = 55 + -109/2. Which is smaller: 1/13 or u?
1/13
Let t(h) = -h**3 - 4*h**2 - 4*h - 3. Let i be t(-3). Suppose -r + 3 = -i. Suppose -2*w + w - r = 0. Is 0 bigger than w?
True
Let l(x) = -x**3 + 6*x**2 + x - 4. Let m be l(6). Suppose o + 2*y - 5 = 0, -m*o + 3*o + 7 = 4*y. Let w(f) = -f**2 - 5*f + 1. Let b be w(-5). Is o != b?
False
Let o be (76/(-3))/2*18/12. Is o <= -18?
True
Suppose f + 99 = 4*s, 2*s + 217 = -3*f - 2*s. Is f >= -79?
True
Suppose -4*u + 14 = 54. Let a be 4/u - (-147)/5. Let i = a + -125/4. Is -2 greater than i?
True
Let y = 3 + -6. Let m be (y/(-4))/(1 - -1). Suppose k = 2*a + 7, -2*k - a - a = 4. Is k != m?
True
Suppose 0 = m + 2*m - 3. Suppose 4*n - 2 = 6. Let k = m - n. Is -2 greater than or equal to k?
False
Let r = 37 + -37. Let u(z) = -2*z**3 - 3*z**2 - z. Let p be u(-2). Let i(f) = -f**3 + 6*f**2 - f + 6. Let n be i(p). Is r at most as big as n?
True
Suppose -q - l + 7 = 0, 2 + 8 = -2*l. Let p be (19/(-3))/(-1)*q. Let o = -382/5 + p. Are o and 0 equal?
False
Let r(i) = i**3 + 8*i**2 + 7*i. Let z be r(-6). Let a be (z/16 - 2)*-2. Do 4 and a have the same value?
False
Let h be (-1)/(-4) + (-9)/4. Let o be (4 - 5)/(2/14). Let m = o + 6. Is h bigger than m?
False
Suppose 3 = -t + 4. Suppose -3*q + 20 = -3*m + 2*q, -2*m + 16 = 4*q. Is t at most as big as m?
False
Let v be (2 - -1)/((-6)/4). Suppose -2*m - 4*z = 2, z - 1 = m - 4*z. Which is smaller: m or v?
v
Suppose -11 = 4*q - 5*k - 31, 16 = -4*k. Is q greater than -5/16?
True
Let b(v) = v**3 + 8*v**2 + 6*v - 5. Let i be b(-7). Suppose -3*p - 5*s + 28 + 10 = 0, -4*p + i*s = -68. Let f be (1/2)/(2/p). Does f = 2?
False
Let p(r) = -7*r**3 + r**2 - 2*r + 1. Let a be p(1). Let q = a + 9. Let m be 2/4 - 1/(-2). Which is smaller: m or q?
m
Let m = 5 + -9. Do m and 4 have the same value?
False
Let g = -0.6 + 1. Let k = 2.4 - g. Let i be 0*(-2 + (-10)/(-4)). Is k not equal to i?
True
Let n = -32 + 30. Is -3 greater than or equal to n?
False
Let o be -1*(0 + (-2)/10). Suppose -8 = l + 4*p, -6 = -2*l - 3*l + 3*p. Which is greater: l or o?
o
Let q(s) = -s. Let x(v) = v**3 - 6*v**2 - 7*v - 1. Let y be x(7). Let a be q(y). Let r = 28 - 283/10. Are r and a non-equal?
True
Let c = -4262/15 + 284. Which is bigger: 1 or c?
1
Let m = 4 - 2. Suppose -4*y - m = 14. Which is smaller: y or -5?
-5
Let p = 10.8 - 10.91. Are p and 4 equal?
False
Let o(n) = n + 12. Let y be o(-7). Suppose y*q = 12 + 8. Suppose 0 = -4*w + p - 2 + q, -15 = -5*w - 5*p. Which is smaller: -0.1 or w?
-0.1
Let z = 0.4 - 0.3. Let t be 10/45 - (-32)/18. Let x be 9/(-7) - t/(-7). Is z > x?
True
Suppose 3*s = -3*d - 9, 4*d - 5*s = -12 - 18. Is -45/8 at most as big as d?
True
Let l = 89 + -85. Which is bigger: 0 or l?
l
Let n = -3 + 1. Let x be 4/24 - n/6. Let l = 2 + -4. Are x and l equal?
False
Let u(s) = -s**2 - 9*s + 10. Let v be u(-10). Is 6/11 at least as big as v?
True
Let n be (-8)/(-2)*(-8)/(-80). Is n equal to -16?
False
Suppose 2*q + 3*l - 2 = 4*q, -4*q - 3*l - 22 = 0. Which is smaller: q or -11/3?
q
Let z(o) = o - 11. Let g be z(17). Is g less than or equal to 7?
True
Let a = -0.1 + 0.2. Let t = -259 - -258. Which is smaller: a or t?
t
Let w(z) = -z**3 - 5*z**2 - 4*z. Let v be w(-4). Let x = -0.012 + 0.112. Is v at least x?
False
Suppose -2*x + 2*x = -2*x. Is x bigger than -1/2?
True
Let x = 2398086/17 - 141004. Let n = x - -3104/85. Let d = 96 - n. Which is smaller: 0.1 or d?
d
Let y be (-58)/(-56) - 6/8. Let m(g) = g + 4. Let b be m(-5). Let d be ((-4)/b)/2 + -3. Which is bigger: y or d?
y
Suppose -3*d - d = 4*j + 392, 3*d = -2*j - 191. Is -103 < j?
False
Let w be (-2)/7 - (-66)/182. Let t(g) = -g**2 - 14*g - 2. Let r be t(-14). Let c = -3 - r. Is w smaller than c?
False
Let r be 2/(-11) - (-59)/(-99). Which is greater: -1 or r?
r
Let o = 7 + -5. Which is smaller: 8 or o?
o
Let k = -247 - -1733/7. Which is greater: k or 1?
1
Suppose -48 - 87 = -3*d. Suppose 0 = -3*o - d + 3. Let r be 4/(-8)*(-16)/o. Which is smaller: 0 or r?
r
Suppose -23 = -j - 4. Suppose 0*q + 4*t = q + j, q - 2*t + 15 = 0. Which is smaller: -12 or q?
-12
Let l = 924 - 12003/13. Is l at least as big as 0?
True
Let o = -19 + 23. Suppose 2*n = -q - 8, -2*q + n + o = -q. Let l be (2/(-14))/((-1)/3). Which is smaller: q or l?
q
Let p = 12 + -14. Is 0.1 bigger than p?
True
Let z be 8/24 + (-2)/6. Let y = z - -2. Which is smaller: 1/2 or y?
1/2
Let c(h) = 33*h - 6. Let v be c(6). Let d be (-3 - v/(-63)) + 0. Which is smaller: 1 or d?
d
Suppose -5*g = -9 - 11. Suppose -55 = -r + g*b, 0*r + 140 = 2*r - 2*b. Let j = 528/7 - r. Is 1 at least as big as j?
True
Suppose -4*b + 12 = -0*b. Let h be 2 - (b + -2 - -1). Suppose 0 = -h*x + 4*x. Is -2 smaller than x?
True
Let b = 3 + -6. Let y be (-3 - (-2 + 0)) + -2. Let v = b - y. Which is bigger: v or -2/3?
v
Let a be 0 + 3/(12/40). Suppose -2*p = -7*p - a. Which is greater: p or -3/5?
-3/5
Let a be (28/10)/(3/(-15)). Let g = 8 + a. Let d be 21/(-18) - 4/g. Which is bigger: -0.2 or d?
-0.2
Let i(z) = z**3 + 3*z**2 - 2*z + 6. Let j be i(-4). Which is smaller: 13 or j?
j
Let s be (-9)/42*20/(-15). Which is greater: s or -1?
s
Let r = 0.07 - 0.07. Let z be (-4)/9 - 2/(-3). Which is smaller: r or z?
r
Let j = 2/105 - -79/1365. Let k = -39 + 38. Are k and j nonequal?
True
Let b be (-42)/36 + 1/2. Do -2/7 and b have the same value?
False
Let f(h) = -h**2 - 6. Let i be f(0). Is i <= -0.1?
True
Suppose 4*n - 2*r = 34, -r - 68 = -5*n - 21. Let u = n + -7. Are u and 2 equal?
False
Let s(m) = -m**3 + 3*m**2 + 5*m. Suppose 4*f + 2*f = 24. Let y be s(f). Suppose 5*v = 3*a - 32, 0 = -a + 2*v - 3*v. Is a at most y?
True
Let y = 215/3 - 71. Suppose -3*l + 6 = -0*l. Which is greater: l or y?
l
Let d = -99 - -81. Which is bigger: -20 or d?
d
Suppose -13*i + 6*i = 14. Which is bigger: i or -12/11?
-12/11
Let b = -1.8 + 1. Let p = b + 0.6. Do p and 1/2 have the same value?
False
Let a(f) = -7*f**3 - f**2 + f - 1. Suppose 2*v - 6*v + 4 = 0. Let z be a(v). Which is smaller: -9 or z?
-9
Suppose -5*f + 17 = 7. Suppose 1 = f*v - 1. Let d be (4 - 19/5)/1. Are d and v nonequal?
True
Suppose -4*n - n - 110 = 0. Let v = -22 - n. Which is smaller: v or -1?
-1
Let p = 42 - 69. Are p and -27 unequal?
False
Let o = -7 - -5. Let t be ((-2)/(0 + o))/(-4). Let g = 14 + -16. Is g > t?
False
Let d = -12/55 + -2/11. Suppose -2*s = 2*s. Is d < s?
True
Let x be 11039/42 - (-1 + 1). Let w = x + -262. Which is bigger: w or 1?
1
Let x(u) = -2*u**3 - 10*u**2 - u - 3. Let c be x(-5). Which is smaller: -6 or c?
-6
Let i(f) = -4 + 2*f + f - 2*f. Let q be i(4). Is 1/36 < q?
False
Let s = 6 - 10. Let d be (s/110)/(12/(-15)). Which is bigger: -1 or d?
d
Let r be (3 + -1)/(-21 - -24). Which is greater: r or -1?
r
Let n be (-1)/(-3)*(-5)/(-10)*-6. Which is smaller: -1/13 or n?
n
Let s = -17.2 - -15. Let d = -2 - s. Let v = d - 0.3. Is v >= -1?
True
Let v = -125.894 - 3.206. Let h = v - -124. Let a = h + 5. Are a and -2/3 equal?
False
Suppose -z + 4*z = 0. Let p be (-1 - 0) + 2/3. Which is smaller: p or z?
p
Suppose 0 = -20*m + 24*m - 28. Suppose u = -4*o + 6*u - 9, 2*u - 7 = 5*o. Which is greater: o or m?
m
Suppose m - 5*p = 15, -2*m = p + p + 30. Is -10 greater than m?
False
Suppose -g = -0 + 2. Suppose -24 = 3*z - 7*z. Let d be 16/(-42) - z/21. Which is greater: g or d?
d
Let h be ((-1863)/(-184))/(3/(-4)). Are h and -13 nonequal?
True
Let q = -4/9 + 1/9. Suppose -4*u - g + 28 = g, -2*g + 16 = 2*u. Let z be (-6)/u*(1 + 0). Which is smaller: q or z?
z
Let h = 983/78 - 77/6. Let j be 0/(2 + (-3 - 0)). Is h > j?
False
Let d be (3 - 2)/((-3)/(-3)). Suppose s - 4 = -d. Let u = s - 3. Which is greater: 0.1 or u?
0.1
Let o be (1/2)/((-60)/(-36)). Is o at least 0?
True
Let f(j) = -j**3 - 8*j**2 + j + 11. Let c be f(-8). Let q(d) = d**2 + 3. Let s be q(0). Is c less than s?
False
Let i be 1 + -2 + 189/144. Is i greater than 0?
True
Suppose 5*i - 24 - 11 = 0. Is i at least as big as 6?
True
Suppose 0 = 4*i - 5 + 1. Which is smaller: 5 or i?
i
Let l be (-7 + 4)/(1 - 2). Suppose -d + 10 = d - k, 0 = -5*d + l*k + 27. Suppose 5*i - 2*g + 14 = 0, -d*i - i = -2*g + 10. Which is greater: -5 or i?
i
Let f be (18/(-15))/(2/(-10)). Let t be 5/6*f/(-20). Which is smaller: 2/5 or t?
t