 Which is bigger: 1 or i?
1
Let c(d) = d**3 + 4*d**2 - 6*d - 6. Let x(a) = a + 12. Let k be x(-9). Let y = -2 - k. Let z be c(y). Which is smaller: z or 0?
z
Let d(p) = 3*p + 4*p**2 - 2*p - 5*p**2. Let i be d(-1). Let w = -1 - i. Is 1 equal to w?
True
Let t = 19.1 - 19. Which is smaller: -3 or t?
-3
Suppose 0 = -5*t + 3*t + 8. Suppose -4 = -t*x + 8. Which is greater: 2 or x?
x
Suppose -26 - 14 = -5*a. Let m be (-6)/4 + 12/a. Is 0 smaller than m?
False
Let k = -7 + 1. Let g(h) be the third derivative of -h**4/24 - h**3 - 2*h**2. Let n be g(k). Is -1/5 > n?
False
Suppose 2*y + y + 15 = 0. Let i = -10 - -6. Is y equal to i?
False
Suppose -k + 5*z = k + 17, -2*k - 27 = 5*z. Which is smaller: k or -10?
k
Let g be 15/(-50)*-5 - (-5)/(-3). Is g less than -0.04?
True
Suppose -16 = 4*v - 3*b, -4*v + 3*b = -3*v + 13. Let c be (-6)/(-11)*428/(-32). Let a = c - -72/11. Is v at least as big as a?
False
Let q = 0.8 + -1. Let s = q + 0.4. Which is smaller: -2/5 or s?
-2/5
Let g(o) = o**3 + 6*o**2 + 6*o + 1. Let w be g(-4). Suppose 2*c = p - 3*c + w, -c = -4*p + 21. Let m be -2 + -3*4/p. Which is bigger: -3 or m?
-3
Let v = -5 - -8. Suppose -21*c = -18*c. Which is smaller: v or c?
c
Let b be 14/(-3) - 4/(-6). Let l(u) = -u**3 - 3*u**2 + 2*u - 3. Let r be l(b). Let d be (2/(-10))/(4/r). Which is greater: d or -1?
d
Let n be 4 - -13 - 5*-1. Which is smaller: n or 18?
18
Suppose 3*z + 5*d - 4 = 36, -2*z - 5*d = -35. Are 7 and z equal?
False
Let x be (-116)/(-14) - 16/56. Is x not equal to 8?
False
Suppose -j = -2*j. Which is smaller: j or -6?
-6
Suppose 0 = -3*g - 2*g - 30. Let x = g + 12. Suppose a = x*a + 5. Is a at least -2?
True
Let u = 10/13 - 43/39. Let s = 3 - 1. Suppose -5*v - 6 = 2*z, 2*v - 12 = 6*z - s*z. Is u greater than or equal to v?
False
Suppose -3*t - 28 = -t. Let v be 6/t + 1 - 1. Is v < 0?
True
Suppose 0 = -6*s + 5*s. Let z(k) = -k**3 + k + 35. Let q be z(s). Let l = q - 453/13. Is l equal to 1?
False
Let a = 27 + -26. Let t = -22 - -89/4. Which is greater: t or a?
a
Let f = 25 + -20. Is f less than -2/9?
False
Let u(s) = -s**3 - 5*s**2 - 4*s - 1. Let a be u(-4). Let v = 13 + -13. Is v greater than a?
True
Let w = 0 - -1. Which is smaller: -1.5 or w?
-1.5
Let w(v) = -v**3 - 7*v**2 - 1. Let n be w(-7). Let d be 20/12 - n - 3. Which is smaller: d or -1?
-1
Let f = 0.08 + -5.68. Let p = f + 5. Let t = p - 0.4. Is t at least 1?
False
Suppose -r - 2 = -1. Let b(m) = 4*m - 3. Let f be b(-6). Let n be 2/2 + 21/f. Which is smaller: r or n?
r
Suppose -8 = -2*p - 0. Suppose 0 = a - 5*x + p*x, 5*x + 18 = -a. Let z be 4*-2*((-27)/6 - -5). Are z and a nonequal?
True
Suppose 2*o + 8 = -g, 4*g - 7*g - 5*o - 20 = 0. Let k(m) be the first derivative of -m**2/2 - 7*m - 5. Let z be k(-8). Is z <= g?
False
Suppose 0 = 3*r + 3*b + 11 - 32, 0 = 2*r + b - 11. Let f = r - 8. Let a = 5 + f. Is 1 bigger than a?
False
Let z(y) = 2*y - 3. Let p be z(-2). Let u be -8 + (-1 - -3) - 2. Let j = p - u. Do -1 and j have different values?
True
Let b = -18 - -18. Let g = 1324/33 + -122/3. Which is smaller: g or b?
g
Let a = -56/69 + -12/23. Which is greater: 0 or a?
0
Suppose 0 = -2*d + 6 + 4, -57 = 4*t - d. Let z(a) = -a**2 + 4*a + 4. Let h be z(4). Let p be t/h - 3/(-12). Which is smaller: p or -4?
-4
Let d be 74/(-4) + 1 - (-2)/(-2). Is -20 not equal to d?
True
Let j = -737/8 + 95. Which is smaller: j or 4?
j
Let n be ((-8)/10)/(3/(-30)). Which is smaller: n or 9?
n
Let d be -15 + 7 + -4 + -2. Do d and -14 have the same value?
True
Let m = 37017/55 + -673. Is m smaller than -1?
False
Let c = -4/17 - 43/34. Suppose -2*q + g = -q - 3, 0 = g + 4. Is c less than q?
True
Let s = -1 - -1. Let z be (-44)/(-6)*14/20. Let j = 24/5 - z. Which is bigger: j or s?
s
Let b be (22/4)/(10/(-20)). Let f = b - -12. Is -2/45 less than f?
True
Let k = -8 - -2. Let h = 7 + k. Suppose -h - 2 = j. Which is bigger: -2 or j?
-2
Let j(z) = -z**2 - 2*z + 2 - 2*z - 1. Let l be j(-4). Let h = 9/28 - 1/14. Which is smaller: h or l?
h
Let k = -14 - -22. Suppose k*m - 3*m = -35. Let n(a) = a + 10. Let j be n(m). Is j >= 2?
True
Let s be (1 - (0 + 5)) + 1. Let g = s - -3. Let u be (10 + -10)/(1*-2). Is u greater than or equal to g?
True
Let l = -1/12 - 7/24. Is l less than or equal to 1?
True
Let r be (8 + -6)*2/(-2). Suppose 3*h - 3*z = -z, 0 = 2*h - 5*z - 11. Is h bigger than r?
False
Let m(o) = -o - 4. Let i be m(0). Which is smaller: i or -13/3?
-13/3
Let m = 5 + -35. Let a be (-4)/10 - 62/m. Which is smaller: 3 or a?
a
Suppose 11 = 7*h + 18. Which is smaller: h or 3/28?
h
Suppose 5*v - 4*q = -9, -1 = q + 3. Is 2/5 bigger than v?
True
Let t = 2 - 8. Let z be (2/4)/(3/t). Which is greater: -1/12 or z?
-1/12
Let t(m) = m + 11. Let q be t(-5). Suppose -3*b - 2*h = 9, -5*b + q - 2 = -3*h. Which is smaller: b or -2/17?
b
Let v be ((-12)/(-9))/((-2)/3). Which is smaller: -4 or v?
-4
Let w = 14899/2793 + -1/931. Let i(m) = 5*m - 1. Let s be i(1). Which is smaller: s or w?
s
Let o = 9 + -7. Suppose 1 + o = 3*j. Which is bigger: 1/14 or j?
j
Suppose -f = -2*f. Let j = 0 + f. Is -3/2 > j?
False
Suppose 0 = -5*x - 4*c + 7, -5*c - 3 = 5*x - 13. Let o be (x/(-1))/(3 - 2). Is 0 >= o?
False
Let b be (2/1)/((-22)/(-10) - 0). Which is smaller: 0 or b?
0
Let q = -24 + 13. Let g(c) = -8*c + 5*c - 2*c - 7 + 4*c. Let f be g(q). Which is bigger: 5 or f?
5
Let o = 29 + -25. Are 3 and o equal?
False
Let c = 12/145 + 3396/1015. Which is greater: c or 2?
c
Let i(y) = y**2 + 5*y - 6. Suppose 3*b = -b - 5*t - 76, 2*b + 2*t = -38. Let o be (-5)/(-15) - b/(-3). Let n be i(o). Is 3/5 smaller than n?
False
Let a = 95/3 + -32. Let d be (12/7)/((-4)/(-14)). Suppose 0 = -d*w + 3*w - 3. Which is smaller: a or w?
w
Suppose 10 = -2*a - 8. Let c be a/(-12) - 1/(-4). Is 1 not equal to c?
False
Suppose -6*t + 10 = -44. Which is smaller: t or 6?
6
Let g(z) = 2*z**2 + 14*z - 18. Let d be g(-8). Is d less than 7/5?
True
Let z be (0 - -4)*(0 + -1). Let l be z/16 - 21/(-4). Is l smaller than 6?
True
Let l = 497 - 9445/19. Is 1 less than or equal to l?
False
Let d = 5 - -2. Which is bigger: -5 or d?
d
Suppose 2 + 2 = -4*u. Let s = u - -4. Suppose -5*i = -2*k, -2*k = -5*i - s*k + 15. Is i at least as big as 2?
True
Let c(w) = -3*w**2 + 3 + 4*w**2 + 6*w - 2. Let m = 3 + -9. Let l be c(m). Is 1 less than l?
False
Let c = -4 - -3.6. Suppose b + 3*b = -40. Let d be 4/b + (-4)/(-35). Is d bigger than c?
True
Suppose n + 4*s - 573 = 0, -3*n + 985 = s - 701. Let c = n + -4495/8. Let h = c - -25/24. Is h > -1?
True
Let h be 0 - (17/5 - 3)*-5. Is 7/8 bigger than h?
False
Let j be (-244)/12 + (-4)/6. Is -22 at most j?
True
Let u = 7 + -5. Let a(h) = 2 - 1 + 5*h + h - h**3 - 5*h**u. Let c be a(-6). Are -1/6 and c unequal?
True
Let d = -2.7 - -2.5. Which is greater: d or 0.05?
0.05
Let r be ((-8)/24)/((-6)/4). Is -3 less than or equal to r?
True
Let w be 12/(-30)*(0 + 5). Let j = w + 1. Let b be (1 + j)/(9 + -7). Is b at least as big as -2?
True
Let d = 0.12 + -0.1. Let s = -5.2 - -4.93. Let f = 0.17 + s. Which is smaller: d or f?
f
Let v = 1 + -4. Let b(w) = 6*w - 86. Let a(k) = k - 17. Let j(l) = 11*a(l) - 2*b(l). Let p be j(-13). Is v smaller than p?
True
Let g = -15.1 + 15. Is g < -5?
False
Suppose 3*k = -5*f - 25, 4*k = -f - 2*f - 15. Are k and -2/9 nonequal?
True
Let g be (-1 + -1)/(-6 + 13). Which is smaller: g or -1?
-1
Suppose -5*l = w - 2*w - 47, 2*w + 2*l = -118. Let c = w + 169/3. Suppose -4*n + 3*n = 1. Is c less than n?
False
Let t be -3 + 2 - 26/6. Let j = 23/6 + t. Suppose 5*u + 0*u = -5. Which is smaller: j or u?
j
Let f(j) = -j**3 - 8*j**2 - 14*j - 13. Let s be f(-6). Which is smaller: s or -4?
-4
Suppose 0 = -0*m - m + 219. Let x = m + -399/2. Let z = 20 - x. Which is bigger: -0.2 or z?
z
Let t = -9 + 0. Let b = t + 9.4. Which is bigger: 1 or b?
1
Let k = 22 - 23. Let o = k - -2. Which is bigger: -0.2 or o?
o
Let o = -11 + -3. Let r = o + 8. Let l be (4/r)/((-4)/(-6)). Which is bigger: 0 or l?
0
Let k be (3/(-8))/((-6)/(-2))*-1. Which is smaller: 0 or k?
0
Let b be ((-2)/(-16))/((-2)/(-12)). Let d = 88 + -175/2. Is d greater than or equal to b?
False
Let o = 124 + -125. Which is smaller: o or 5?
o
Let c = 57 + -173/3. Let l(t) = -t**2 + 5*t + 7. Let a be l(6). Suppose 0*p = p + a. Which is bigger: p or c?
c
Let b be ((-1)/2)/((-3)/(-2)). S