74. Which is smaller: y or 0?
0
Let i be (1 - 1*-8) + -25 + 23. Is i not equal to 9?
True
Let b(t) = -4*t - 6*t**2 + t**3 - 3 + 4*t**3 - 1 - 6*t**3. Let f be b(-3). Which is smaller: f or -20?
-20
Suppose -2*w + 0 = 2*o + 6, -3*o - 4*w - 10 = 0. Is -2 at least o?
True
Let i(y) = y - 4. Let x be i(-4). Let m = 13 + x. Is m bigger than 6?
False
Let c(m) = -m**2 - 9*m + 13. Let s be c(-10). Suppose -w - 5 = s. Which is smaller: w or -7?
w
Let n = -1 + -1. Let d be -1 + (12/n)/(-3). Which is smaller: d or 0?
0
Let z(x) = -x**2 - 6*x - 2. Let r be z(-5). Let h be 1*(2 - (-1 + r)). Let o = -1 - -2. Which is greater: o or h?
o
Let n be (-2)/(-2 - 0/(-4)). Is 4/9 < n?
True
Suppose 2*p - 52 = z - 6*z, -69 = -3*p - 3*z. Which is smaller: p or -0.2?
-0.2
Suppose -5 = -5*h + 5. Is 1 >= h?
False
Let u = 0.65 - 0.7. Does 2/11 = u?
False
Let z = -175130087/39 - -4489757. Let t = -758 - z. Are t and -1 equal?
False
Suppose -933 - 583 = -5*l + 2*n, 3*l - 915 = 3*n. Let c = -3928/13 + l. Which is greater: c or -1?
c
Let n(l) = l**3 + l**2. Let m be n(-2). Let b(q) = -q + 6. Let y be b(4). Let x be 5*(-1 - m/y). Which is greater: 6 or x?
6
Let i = 34 + 29. Which is smaller: 64 or i?
i
Suppose -a - 1 = -u + 1, 4*u + 5*a + 19 = 0. Suppose 2 = 2*q + 5*c, 3*c + 10 + 13 = q. Let t = 7 - q. Does u = t?
False
Let l be 10/12 - 2/4. Let n be ((-4)/10)/(4/20). Let v = -3 - n. Which is smaller: l or v?
v
Suppose 6*d + 8 = -10. Is d bigger than -1?
False
Let u be -1 - (-6 - -3) - 0. Let r(f) be the first derivative of f**3 - f**2/2 - f + 3. Let o be r(-1). Which is smaller: o or u?
u
Suppose 4 = 4*l + 4*u - 0*u, -3*l + 1 = 4*u. Suppose 4*v + 14 = 5*j - 2, j + l*v + 12 = 0. Is j greater than 1/12?
False
Let n = 22 - 87. Does n = -65?
True
Let y be 5/(-10)*(-28)/(-35). Let w = -0.3 + 0.2. Let h = w - 0.1. Which is bigger: h or y?
h
Let h be (-4)/10 - (-66)/15. Suppose h*p = -p. Let w = -1/86 - 81/430. Does w = p?
False
Let d(l) = l**2 - 8*l - 10. Let c(m) = 10*m - 1. Let g be c(1). Let u be d(g). Which is smaller: u or 0?
u
Let c be (44/20020)/((-2)/(-5)). Which is smaller: 0 or c?
0
Suppose 0*k = 5*k - 5. Let f be 5 - ((k - 0) + -1). Is f < 5?
False
Let p be (-1 - 1)*5/(-10). Suppose y = -2*q + 2 - p, 4*y - 4 = 5*q. Let w = -4 - -6. Is w at least y?
True
Let x = -0.2 + -0.8. Which is smaller: x or 0.1?
x
Let q = -0.06 - 0.09. Let s = 0.05 + q. Let j = -3.2 + 3. Which is smaller: s or j?
j
Let i = 13 - 10. Let d = i + -3. Is d equal to -1/17?
False
Let j(f) = f**3 - f + 36. Let n be j(0). Let l be -4*3*2/n. Let d = 8 - 5. Are l and d unequal?
True
Let w = -23 - -22.6. Is w bigger than 1?
False
Suppose v + 3 = -k + 7, -5*v = -k - 8. Suppose 0 = 5*b, 4*b + 0*b + 8 = k*r. Let h be (-38)/14 + (-19 + 1)/(-6). Which is bigger: r or h?
r
Let w = -6 - -12. Let y = -4 + w. Let j = 527/7 + -75. Which is bigger: y or j?
y
Let d = 582994207/440 + -1324986. Let m = d - 3/88. Which is greater: m or 2?
2
Let p(l) = l**3 - 6*l**2 + l - 7. Let v be p(6). Which is greater: -6 or v?
v
Let s = -47.1 + 47. Is s equal to -2?
False
Let j be (-220)/15 + 2/(-6). Let w be 3 + (57/j - -1). Which is greater: w or -1?
w
Suppose -7*v = -2*v - 5. Let t be (1 - v) + 0 - -8. Let w be t/28 + (-8)/(-70). Are w and 1 equal?
False
Suppose 1 = -0*x - x. Let g = x + 3. Suppose 0*h - 2*t + 4 = g*h, 0 = 4*h + 5*t - 9. Which is bigger: h or 2/21?
h
Suppose 4*o - 8*o - 4 = 0. Let h(u) = u**2 - 3*u + 6. Let w be h(5). Let z = w - 19. Is o smaller than z?
False
Suppose 1 + 15 = 4*x, 5*g - 4*x + 1 = 0. Which is bigger: g or 2?
g
Let p = 156 + -3123/20. Let r be ((-1)/15)/((-4)/(-6)). Let d = p + r. Which is smaller: d or 0.1?
d
Let d = -179 + 179. Let f be (1/10)/((-3)/(-6)). Is d bigger than f?
False
Suppose -5*w = 4*m - m - 13, -m - 2*w + 6 = 0. Is m < -5?
False
Let p = -6405/11 + 583. Is p equal to 0?
False
Let j be ((-2)/(-44))/((-11)/132). Let t = 1 + -1. Is t bigger than j?
True
Let p(z) = 2*z**2 - 11*z + 11. Let b be p(4). Let j be (-1)/(3/(30/7)). Is j less than b?
True
Let z be (-1)/1 - (2 + 0). Let p(d) = -2*d - 4. Let t be p(z). Suppose -6 - 8 = -b - 5*u, -1 = -5*b - t*u. Are 0.2 and b nonequal?
True
Let d = -4.177 + -0.023. Let l = d - -4. Let a = 0 + 0. Which is smaller: a or l?
l
Let v(q) = -q - 7. Let u be v(-5). Let f = 9 + u. Let z = -4 + f. Is 3 at least as big as z?
True
Let n(q) = q - 5. Let p be n(7). Let y be p/9 + (-8)/36. Suppose y*v - v - g = 8, -5*v = 4*g + 36. Which is greater: -1/3 or v?
-1/3
Suppose 0*t + 5*t - 100 = 0. Suppose t = -5*c - 5. Is c at least -5?
True
Let k be 3/9*(-2 - 253). Which is smaller: -86 or k?
-86
Let s(g) = g - 7. Let i be s(7). Which is smaller: 2/137 or i?
i
Let y = -0.4 + 0.1. Let u = y - -1.3. Let d = 0 - u. Which is smaller: d or 2?
d
Let g = -74/3233 + 6/61. Let k = g + -73/265. Let n be (1 - 1)/(-1 - -3). Does k = n?
False
Let t be 4/(-82)*(14 - 15). Which is bigger: -1 or t?
t
Let t = -7.1 + 0.1. Let m be 4 - 5 - (-9)/7. Does m = t?
False
Suppose -174 = -3*b + b. Let z be -3*(3 + b/(-30)). Is -1 >= z?
False
Let v be 2/(-2 - 8/(-5)). Is v at most as big as -8?
False
Let a be (-38)/(-10)*10/12. Let c be (5 + 84)/(1 + -31). Let k = c + a. Which is smaller: 0 or k?
0
Let x be 17/3 + 2/(-3). Suppose x*d - 21 = 69. Let z be (-3)/d*-4*-3. Which is greater: z or -3/5?
-3/5
Suppose 0*w + 6 = w. Let u(z) = -z**3 + 7*z**2 - 6*z. Let m be u(w). Let r be m/(-1)*2/4. Is r smaller than -2/9?
False
Suppose -5*j = -78 + 88. Which is bigger: j or -5/6?
-5/6
Let h = 16 + -23. Is -8 < h?
True
Let s(c) = -c**3 + 5*c**2 - 4*c + 1. Let q be s(4). Let a = -1 - q. Let l(i) = -i**3 - 10*i**2 + 10*i - 13. Let y be l(-11). Is y less than a?
False
Suppose 6 = 5*p + 3*m - 3, -15 = -3*p + 3*m. Let o(z) = -p + 5 - 4*z - z**2 + 2*z. Let s be o(-3). Which is bigger: 1/3 or s?
1/3
Let w = -5.08 - 0.02. Let b = -36 + 31. Let x = b - w. Is 6/7 less than x?
False
Let f(p) = p**2 - 6*p - 1. Suppose 0 = -3*z + 22 - 1. Let q be f(z). Which is bigger: q or 5?
q
Let z = 0.2 + -0.1. Let w(j) = -3*j + 38. Let c be w(9). Which is greater: c or z?
c
Suppose -k - 3*k = -8. Let j be k + 1*(2 - 2). Suppose z + j*z = 0. Which is greater: -2/15 or z?
z
Let p = 78 - 78.27. Which is smaller: p or -1?
-1
Let u be 0/2*(-1)/(-2). Let i be 3/(-6) - u/2. Which is smaller: -0.06 or i?
i
Let u(i) = 2*i + 11. Let y be u(4). Which is smaller: y or 20?
y
Let q be (-3)/(-10)*(-30)/4. Let v = 113/52 + q. Suppose -z - z = 2. Is v less than z?
False
Let h = -10 + 20. Let p = h + -13. Do 1 and p have the same value?
False
Suppose -18*h = -4*h - 210. Suppose k - 2*k + 16 = 0. Which is smaller: h or k?
h
Let k(w) = -w - 10. Let z(b) = b + 9. Let f(i) = -5*k(i) - 6*z(i). Let a be f(-4). Is a > 0?
False
Let a(f) = -f**3 - 6*f**2 - 5*f - 8. Let m be a(-5). Let y = m + 15. Is y > 7?
False
Let o(s) = -s**2 - 13*s - 26. Let p be o(-12). Which is greater: p or -15?
p
Let m = 3 - -1. Suppose 0 = m*o - 2*o - 8. Suppose p + 14 = 3*n - 3*p, -3*p = o*n + 23. Is n smaller than 0.1?
True
Let x(y) = -y**3 + 3*y + 1. Let k be x(-2). Let u(p) = p + 9. Let r be u(-5). Is r greater than or equal to k?
True
Let b = 43 - 819/19. Which is greater: 0 or b?
0
Let x = 8.03 - 0.03. Let j = 154 + -772/5. Is j at most x?
True
Let j be 8/12 - 23/3. Which is bigger: -5 or j?
-5
Let k = 5 - 3. Suppose k*a + 21 = -4*o + 9, 3*o + 9 = 5*a. Suppose i - 1 = 1. Which is bigger: a or i?
i
Suppose -3*p = -2*p - 1. Is p less than -2/25?
False
Let z = 15 - 21. Let g be 16/z - (-4)/6. Let q be (0 + 1 - 4)*1. Are g and q non-equal?
True
Let x = -8 - -8. Suppose 4*i - 2*i - 14 = x. Which is greater: 5 or i?
i
Suppose -k + 21 = 13. Let z = 5 - 0. Suppose -z = -4*p + 23. Is p != k?
True
Let z be (152/171)/(4/6). Is z at most as big as 1?
False
Let m be (-4)/6 - (-1)/(-12). Let d = 0.09 + 0.01. Is d less than or equal to m?
False
Let v(g) = 5*g**3 - g**2 + g + 2. Let r be v(2). Let t be ((-5)/(r/28))/2. Which is smaller: 0 or t?
t
Let r = 4 - 5. Let y = r - 1. Let k be 2/(-8) - (0 + 0). Which is bigger: y or k?
k
Let s be (-1)/(8/6 - 1). Let p = 0 - -1. Let a be 6 - (0 - s/p). Which is bigger: a or 2?
a
Let p be (-13)/(-5) + 6/(-10). Which is bigger: p or 1?
p
Let j(u) = u + 7. Let i be j(-7). Which is smaller: -2/65 or i?
-2/65
Let l be 6/9 + (-76)/(-12) + -2. Suppose -2