: 0 or d?
0
Let m = 0.1 - -4.9. Let t = m + -11. Which is greater: t or 0?
0
Let d = 7.41 - 7.8. Let h = d - 0.11. Is -1/3 at least as big as h?
True
Let m = -1 + 4. Suppose 0 = -2*q - 2*k + 10, -m*q = 2*k - 5 - 8. Suppose -2*a + 13 - q = 0. Which is greater: a or 3?
a
Let t(j) = -2*j**3 + j**2 - j. Let p be t(1). Let k be 5/(-4) + p/(-2). Which is smaller: 1 or k?
k
Let p = -93 + 90. Which is bigger: p or -2?
-2
Let c(z) be the second derivative of z**5/20 - z**4/4 - 7*z**3/6 - 2*z. Let d be c(5). Let a be (d/(-9))/(2/6). Which is smaller: a or -6?
-6
Suppose 3*x = 4*x. Suppose 0*o - o - 1 = x. Suppose -5*v - 10 + 0 = 0. Is o at most as big as v?
False
Let q = -137 + 137.09. Is q at least as big as -3?
True
Let f be 0 + -1 - 7/(-4). Let g(a) = 7*a**3 - 6*a**2 - 2*a - 3. Let u(s) = -8*s**3 + 6*s**2 + 3*s + 4. Let p(d) = 7*g(d) + 6*u(d). Let r be p(5). Is r > f?
False
Suppose -45 + 15 = -5*g. Let k = g - 8. Is k at most as big as -1/2?
True
Suppose 0 = j - 3 - 16. Let i = 17 - j. Which is smaller: -1 or i?
i
Suppose -2*q - 5*v = -13, 3*q - 2*v - 9 = v. Is q < -1?
False
Let m = 0.4 - 0.1. Let j = 5 + 18. Let s = j + -23.1. Which is greater: m or s?
m
Let h(j) = 4*j**3. Let y be h(1). Suppose 3*p - 4*v - 12 - y = 0, 4*p + 3*v + 12 = 0. Suppose -4*w + 21 + 11 = p. Does 8 = w?
True
Let a(d) = 2*d + 21. Let s be a(-12). Which is smaller: s or -1?
s
Let j = 5.4 - 0.4. Let a = j - 3. Let m = a + -2.4. Is 1 at most m?
False
Suppose 4*o - 1428 = -88. Let j = o + -1669/5. Which is smaller: 2 or j?
j
Let k = 1.6 - -12.4. Let c = k + -6. Let h = 16 - c. Is h at most 0?
False
Suppose -5*s + 8 = -2*o, 0 = -0*s + 2*s - 4*o. Is s less than 2?
False
Let r be (-250)/156 + 1 + 4/8. Are r and 0 non-equal?
True
Let m be (-10)/4*4/25. Let c = 7 + -8. Let w be c*3 + 0 + 2. Are w and m unequal?
True
Let t = 3 + 0. Let m be (4/3)/((-4)/(-6)). Suppose m*l - t = 5*l. Is 1/3 less than l?
False
Suppose v = 6*v. Let o(s) = s**2 + 9. Let n be o(v). Suppose 4*f - f + n = 0. Which is smaller: f or -1?
f
Let u be (2/(-15))/((-1)/(-3)). Let h = -25.4 + 25. Is u <= h?
True
Let t(o) = -3*o**2 - 1. Let f be t(1). Let l = 0.9 - -0.1. Which is smaller: f or l?
f
Suppose 23 + 2 = 5*u. Suppose 0 = 3*d + a + 19, u*d - d - 4*a = -52. Which is greater: -3 or d?
-3
Let y = 0.1 + 0.1. Let x = 0.388 - -0.012. Which is smaller: y or x?
y
Let r = 11/6 + -5/2. Which is smaller: 23/5 or r?
r
Let c be -2 - 1/((-27)/48). Let u(a) = -8*a - 2. Let v be u(6). Let b = 252/5 + v. Is b greater than or equal to c?
True
Let c be ((-1)/5)/((-2)/5). Let j be (5 + -4)/((-1)/1). Is c less than or equal to j?
False
Let j = -35 + 51. Which is smaller: j or 2?
2
Let h = 8 - 8. Suppose -3*q + 4*w + 6 = -q, h = 5*q + 5*w - 15. Suppose -p + q = 1. Are 4 and p nonequal?
True
Suppose -2*x = -5*x + 9, -3*x = 5*c + 11. Let z(a) = a**2 - 10*a + 8. Let p be z(9). Let h = c - p. Which is bigger: h or 1/4?
1/4
Let c(p) = p**2 - 8*p - 19. Let a be c(10). Let z(t) = 5 + t + 0 + 0. Let m be z(-4). Does m = a?
True
Let y be 11/((-44)/96) - 2. Which is smaller: -134/5 or y?
-134/5
Suppose 8*z - 20 = 4*z. Are z and 5 nonequal?
False
Let q be 2 - ((2 - -1) + -1 + 3). Let w = 28 - 14. Let f be 4/w - (-60)/(-14). Is q at most f?
False
Let c be 0 + 12/((-4)/2). Let o = c - -9. Let m be (-2 - -2)/(o/3). Which is greater: m or -2/5?
m
Let o = 4878/1561 + 4/223. Let n be 4 - -3*492/(-189). Let h = o + n. Is 1 >= h?
True
Suppose 2*l = g - 2*l + 26, -4*g - 44 = 4*l. Which is smaller: g or -3?
g
Let k(g) = -g + 7. Let u be (1/(-2))/((-1)/8). Let m be k(u). Suppose 0 = -m*a + a. Which is smaller: 1 or a?
a
Let z = 66 + -67. Let x be 2/2 - 0/(-1). Which is smaller: x or z?
z
Let o = -120 - -597/5. Let c be 5/3 - 2/(-6). Suppose -3*z = -c*z. Which is greater: z or o?
z
Suppose 2*a = -4*j - 262, 6*j - 5*j + a = -68. Does j = -64?
False
Let b be (12/(6/3))/1. Let n be 0/((-3)/b*-4). Let u(m) = -m + 1. Let d be u(n). Is 1 < d?
False
Suppose 5*n = 4 + 6. Let k(f) = f**2 + 3*f - 5. Let y be k(-5). Let g be n/y - 161/(-35). Is g smaller than 3?
False
Let d be 6/(-9)*(-162)/4. Which is bigger: d or 28?
28
Let k = -67 - -67.08. Is 0.1 greater than k?
True
Suppose 2*r - 3*x + 17 = -4*x, 2*x - 20 = 2*r. Let o be ((-9)/9)/(-2 - -1). Let m = o + r. Is -9 less than or equal to m?
True
Suppose 0*b - 2*b = 0. Let u = 2392 - 40649/17. Let t = 41/85 - u. Which is bigger: t or b?
b
Let h be (30/25)/(9/(-600)). Is -81 less than h?
True
Let k(f) = f**3 - 5*f**2 - 7*f + 7. Let a be k(6). Let t(m) = -m**2 - 4*m + 1. Let x be t(-4). Let v be 11/(-4) + x + 1. Which is bigger: v or a?
a
Let o = 1.4 + 0.6. Let x(q) = -q**3 - 5*q**2 - 5*q - 4. Let f be x(-4). Let y be (f + (-1)/(-2))*2. Which is smaller: o or y?
y
Let g = 47 - 30. Which is smaller: 18 or g?
g
Let w be (-10)/(-45) + 10/9. Does w = 1?
False
Suppose 4*y - 8 = -2*q, -q - y + 4*y = 6. Is -1/8 smaller than q?
True
Let o = 9 + -4. Let x = 33 - 31. Is o at most as big as x?
False
Suppose 0*s - 42 = -2*s. Let h be (-6)/s - 50/(-28). Let c(j) = j**3 - j**2 + j + 2. Let p be c(0). Is p greater than or equal to h?
True
Suppose 0 = 9*p - 7*p. Which is bigger: 2 or p?
2
Suppose -6*y + 21 = -3*y. Are y and 7 equal?
True
Let h be (-18)/9 + (-1 - -3). Which is bigger: h or -2/107?
h
Let m be 3/(-5)*4/6. Let d = 1.95 - -0.05. Which is greater: d or m?
d
Suppose 2*h = 3*u - 3, 3*h + 4*u - 4 = -0. Suppose -3*p + 2*i + 0*i = 6, h = 5*i. Let m be 3/(-45) + p/6. Which is smaller: -1 or m?
-1
Let h(v) = 54*v**3 + 4*v**2 + v - 2. Let b be h(-2). Let w = 2092/5 + b. Do 0.1 and w have the same value?
False
Suppose 0 = 4*w + 3*s - 11, 2*s = -0*s + 10. Let a = 7199/11 - 655. Which is greater: w or a?
a
Let g = -35 + 34. Let j = -53 + 31. Let h = 16 + j. Which is smaller: g or h?
h
Suppose 18*p = 15*p. Which is smaller: p or 2/11?
p
Let i = 387/832 + -63/64. Let n = i - 3/13. Are n and -1 equal?
False
Let q(s) = -s**3 - 5*s**2 - 4*s + 1. Let h be q(-3). Suppose 2*n = 2*y + 2, -3*n + 0*n = 5*y + 37. Which is bigger: n or h?
n
Let l(x) be the second derivative of x**5/20 - x**4/3 - x**3 + 5*x**2/2 + 4*x. Let c be l(5). Let z = 9/7 + -20/21. Which is smaller: c or z?
c
Let b(u) = -u - 13. Let l be b(-10). Let j = l - -5/2. Which is bigger: -2 or j?
j
Let z = 41/4 - 279/28. Let f = 516189/7 + -73612. Let m = f + -129. Is z at least as big as m?
True
Suppose 0 = 4*i - 5*i. Let v be (-6)/14 + (-2)/(-14). Which is smaller: i or v?
v
Let p be (-1)/((0 - -1) + 0). Let u = -1/45 + -59/45. Is p less than u?
False
Let k be ((-15)/(-5))/(2/2). Let c(j) = j. Let s be c(k). Which is bigger: s or 1?
s
Let l = -0.824 + -0.076. Are l and -3 equal?
False
Let j(o) = -2*o + 7. Let w(y) = -y + 22. Let r(b) = -7. Let n(s) = 8*r(s) + 3*w(s). Let z(l) = 7*j(l) - 5*n(l). Let g be z(2). Is -1/5 at most as big as g?
True
Let h(a) be the first derivative of -a**2 - 5*a - 4. Let c be h(-4). Let y(f) = -f - 1. Let d be y(-1). Which is bigger: d or c?
c
Suppose -4*p + 12 = -0. Suppose 4*d + 3 = p*r + 10, 27 = 5*r + 3*d. Is r greater than 4?
False
Let i = 0.03 + -5.03. Suppose 21*h + 1 = 20*h. Which is smaller: h or i?
i
Let s = -13.9 + 14. Let z = -0.06 + 0.03. Let o = z + 0. Do o and s have different values?
True
Let p be -3*(-6)/(-45) - (-23)/(-5). Let w = -2 - -3. Which is smaller: p or w?
p
Suppose 0 = 2*w + 3*w - 2*i - 5, 2*w = 3*i + 2. Which is bigger: 1/7 or w?
w
Let f = 11.53 - 0.53. Which is smaller: 1 or f?
1
Suppose -6 = p + 2*p. Let l be (p - 1)/((-2)/(-6)). Let n(u) = -u - 13. Let h be n(l). Is -2 bigger than h?
True
Let g be (-4)/10 - 8/5. Suppose m + 10 - 7 = 0. Let v be 2 + (-64)/(-84)*m. Is v less than g?
False
Let u = -22/35 - -8/35. Is u at most 15?
True
Suppose -4*p = -3*b - p + 9, -2*p - 4 = 0. Let n = -14 - -13.75. Let l = -0.75 + n. Is b bigger than l?
True
Let a(q) = -8*q + 10. Let l(w) = 23*w - 30. Let x(m) = -17*a(m) - 6*l(m). Let s be x(7). Let y(r) = r**2 - 5*r + 2. Let u be y(4). Are s and u unequal?
True
Let a be (-3)/12*5*-4. Is a < 18/5?
False
Let q(a) = 6*a**3 + 10*a**2 - 6*a - 6. Let i(s) = -s**3 - s**2. Let r(y) = -5*i(y) - q(y). Let n be r(-6). Let j = n - 5. Which is greater: 1/8 or j?
j
Let v be ((-2)/(-6))/(2/6). Let h = -7 - v. Are 0 and h unequal?
True
Let y(x) = -2*x**3 + 20*x**2 - 2*x + 14. Let f be y(10). Let b = 