5). Let i be (-16)/(-12) - 4/a. Which is smaller: i or 3?
3
Let w = -15 - -15. Let b = 7 - 12. Let d = 4.9 + b. Which is smaller: d or w?
d
Let q = -412/3 + 136. Which is bigger: -2/7 or q?
-2/7
Suppose -26 = 3*b + 5*g, -b + 0*g + 5*g = 22. Which is smaller: -14 or b?
-14
Let h = 1 - 4. Let d = h - 2. Let t = -7 - d. Is t at least as big as 0?
False
Suppose 22780 = -3*t - 10310. Let z = 77439/7 + t. Let f = z + -33. Is f < -1?
False
Suppose -2*d + 11 = 17. Which is greater: -10/3 or d?
d
Let k(b) = b**3 + 4*b**2 + 1. Let n be k(-2). Let g be (-3 - -2 - 0)*n. Which is smaller: g or -10?
-10
Let y be -1*2 - (3 + -2). Let i(f) = f**2 - 10*f + 7. Let j(b) = -2*b + 3. Let u be j(-3). Let n be i(u). Which is greater: n or y?
n
Suppose 4*u = 20, 5*z - 2*u - 55 = -6*u. Is z less than or equal to 6?
False
Let c = -200.9 + 201. Let z = 2.2 - 0.2. Which is greater: c or z?
z
Let y = 16 + -8. Suppose 0 = 2*g + y + 10. Let q(j) = -j**3 - 8*j**2 + 9*j. Let z be q(g). Is z at least 1?
False
Suppose 7*a - 2*a = 95. Are a and 18 equal?
False
Suppose 0 = z - 1 - 0. Let d be 3 + (1 - 2)/z. Let o be (2/1)/(1/d). Is 4 bigger than o?
False
Let b = -12/11 - -82/55. Is -0.2 smaller than b?
True
Let q(a) = a**2 + 7*a - 12. Let v be q(-9). Which is greater: v or 24/5?
v
Suppose 20 = -4*z - x, -z = -x - 4*x + 5. Let n = 7 + z. Is 4 <= n?
False
Let c be (3555/(-42) - 0)*2. Let i = -169 - c. Which is smaller: -2 or i?
-2
Let s(y) = y**3 - 6*y**2 + 5*y + 1. Suppose 0 = -4*m - 4. Let z(q) = -4*q**3 + q**2. Let a be z(m). Let j be s(a). Are 1/2 and j equal?
False
Let d(j) = -j**2 + 9*j. Let o be d(9). Let q = -323/2184 + -1/168. Which is bigger: o or q?
o
Let v = 9523/16 + -595. Is v > 0?
True
Suppose 7*r - 3*r + 3 = 3*p, 5*p = 3*r + 5. Let i be -4 + (-2 + -4)/(-2). Which is bigger: i or r?
r
Let u = -20 - -30. Let o(p) = p + 2. Let r be o(u). Let w be (6/r)/((-18)/(-8)). Which is smaller: -1 or w?
-1
Let j = 57 + -57. Is -12/25 greater than j?
False
Let f be (87/2)/(6/(-8)). Let m = 15 - f. Let n = m + -217/3. Which is smaller: -3 or n?
-3
Let m = -49171/51 - -964. Let j = m - 83/510. Which is greater: j or -1?
j
Let l(s) = s + 7. Let z be l(-8). Is z at most 0?
True
Let r be 1064/(-525) - (3/(-3) + -1). Is r less than -1?
False
Let f = -7 + 5. Let z = 23 + -116/5. Are z and f nonequal?
True
Suppose -5*k - 5*u - 15 = 0, -20 = -3*k - 2*k + 2*u. Let d = 170 - 169. Which is greater: d or k?
k
Let s = -2 + 1. Let p = 0.02 + -0.02. Which is smaller: s or p?
s
Let k be -2 - (-1 + 2)*-1. Let f = 83/18 - 9/2. Which is bigger: f or k?
f
Let d = 515/7 - 73. Let k = 4 - 3. Which is smaller: d or k?
d
Let d = -80 - -52. Let t be (1 + 1)/(d/8). Is t <= 0?
True
Suppose 5*x + r - 1 = 0, 4*x - 4*r - 19 = x. Let u be (x - 1)/((-1)/(-1)). Suppose u = y + y + 6. Which is bigger: -1 or y?
-1
Suppose 4*m - 3*m - 17 = 0. Is 17 not equal to m?
False
Let m be (-6)/8 + 39/4. Let l = 8 - m. Let n be 3 + (-12)/2 + l. Which is bigger: n or -5?
n
Let r = 0.83 + -0.8. Let c = -0.07 + r. Which is smaller: 0 or c?
c
Let w be 3/2*-1*2. Let u = 10 - 12. Which is bigger: u or w?
u
Let d = -1.5 + -0.5. Let y = d - -3. Is y at most as big as -2/7?
False
Let v(d) = d**3 + 2*d**2 - 2*d - 2. Let y be v(-2). Let h be (y - (-32)/(-14)) + 0. Let j be 1/(-2)*1*-2. Is h at least j?
False
Let k = 23683/101626 - -1632324365354/8689023. Let b = k - 187861. Let n = -1/38 - b. Is n smaller than -1?
False
Let x be 47*((-1)/5 + 42/35). Is 48 != x?
True
Suppose -6*g = -3*g. Is 0 < g?
False
Suppose -2*x - 12 - 7 = -5*d, 4*x - 12 = 0. Suppose l - 61 = -d*f, -3*f + 15 = -4*l - 40. Which is bigger: 2/7 or f?
f
Let l = 7 + -1. Suppose 2*c + l = -5*s, -7*s - 6 = 2*c - 3*s. Is -2 <= c?
False
Suppose 0 + 10 = 5*y. Suppose -y*s - 6 = s. Is -2 >= s?
True
Suppose 5*p - 2 = -7. Let d be 26*1*(-2)/2. Let i = d - -79/3. Are i and p nonequal?
True
Let a = -4479/377 - -154/13. Is -1 <= a?
True
Suppose 2*k + 7 = 3*g, 0*k - 2*k - 3*g + 11 = 0. Let i(t) = -t + 7. Let f be i(5). Which is smaller: k or f?
k
Let p be (0 - 0)/((-33)/(-11)). Which is smaller: p or 1?
p
Let a = -3 - 1. Let u = 6 + a. Let r = -0.01 - -0.11. Which is smaller: u or r?
r
Suppose -3*y + t = 36, -t + 1 = 4. Which is smaller: -49/4 or y?
y
Let g be (3/6)/((-2)/(-8)). Suppose 4*l - 9 - 35 = 0. Suppose 4*p = z + l, -g*p = z + z - 18. Is z less than or equal to 4?
False
Let g = -13 + 0. Is -13 > g?
False
Let f = -1 + -0.2. Which is smaller: 0 or f?
f
Let f(z) = -5*z - 5. Let v(l) = l. Let o(t) = f(t) + 6*v(t). Let i be o(8). Which is smaller: 4 or i?
i
Suppose -3*d - 4 = -5*d. Let l = -53.97 - -54. Which is smaller: l or d?
l
Let d(x) = x**2 + 7*x - 8. Let j be d(-8). Let f = -4 + 5. Which is bigger: j or f?
f
Let s = 3 + -5. Suppose 5*n - 12 = -2. Let z = s + n. Is z greater than 1/3?
False
Let r = 0.2 - 0.1. Let k = 0.21 + -0.21. Which is smaller: r or k?
k
Let n be (-14)/6*(-29)/(-1). Let h = -67 - n. Does h = -4?
False
Suppose -3*b - 15 = -k - 4, 2*b = -4*k - 12. Which is greater: k or 0?
0
Let i be 4/10 + (-780)/700. Are i and -1 equal?
False
Let k = -4 + 6. Suppose 0*b + k = b. Which is bigger: b or 3?
3
Let v be 2 + (10 - -2)/(-2). Is v less than -5?
False
Suppose 4*g = 2*g. Let n be 5/(-10)*(g - -2). Is 4/11 at most as big as n?
False
Let j = 0.19 - 2.19. Which is smaller: -12 or j?
-12
Let p(h) = -h**3 - h**2 + 2*h - 1. Let s be p(1). Is s greater than or equal to 2/21?
False
Let q be 0*(-1 + 4)/3. Let v = -33 - -21. Let x be (-1)/v - (-2)/3. Are x and q nonequal?
True
Suppose 0*i - 72 = -3*i. Is 25 bigger than i?
True
Let s(w) be the second derivative of w**3/3 - 5*w**2/2 - 5*w. Let r be s(3). Which is greater: 12/5 or r?
12/5
Let i(a) = 4*a**2 + 3*a + 1. Let o be i(-3). Let j = o - 19. Are j and 9 equal?
True
Suppose -5 = y - 5*t - 22, 52 = 4*y - 4*t. Let z = y - 5. Suppose 2*w + 4 = 2*d - 0*w, -d = 2*w + z. Are d and -3/2 non-equal?
True
Let s be 2 + ((-64)/9)/4. Suppose 4*y + 2 = -2. Which is bigger: s or y?
s
Let x = -292 + 412. Are 1/3 and x unequal?
True
Let j = 97/1188 - -1/108. Is -0.2 not equal to j?
True
Let h = 1.07 - -4.93. Which is bigger: h or 11?
11
Let j(z) = -6*z - 2. Let v be j(-2). Let x be 34/70 - 2/v. Suppose 0 = q - 2 + 3. Which is smaller: x or q?
q
Let u(n) = -n**3 + 2*n**2 - n. Let s be u(2). Let r be -5 - (s + 2 + 2). Let a = r + 9. Is 0 at most as big as a?
True
Let o = 0.7 + 0.4. Let x = -1 + o. Is x less than -1/3?
False
Let x be (-6)/(-9) + (-1)/(-3). Let h = 229/45 + -26/5. Which is greater: x or h?
x
Let p = 64 - -39. Let f = -1955/19 + p. Let r be (-9)/(-6)*2/3. Is r at least f?
True
Let a = -6 + 4. Let m be (a - (-1 + -2)) + -7. Let g(q) = q**3 - q - 5. Let c be g(0). Which is smaller: m or c?
m
Let w = -6 + 6.2. Let o = 0.02 - 0.04. Let n = -0.08 + o. Which is smaller: n or w?
n
Suppose -4*s + 40 = 4*j, -19 = -4*j - 0*s + 3*s. Which is smaller: j or 41/5?
j
Let i = 1/123 - 169/615. Let q be 1 + 3/5 + -1. Let y = i + q. Do -1 and y have the same value?
False
Let u(f) = f**2 - 4*f + 2. Let h be u(3). Let k be ((-24)/60)/((-9)/5). Is h <= k?
True
Let n(t) = -t**2 - 8*t + 3. Let l be n(-9). Let p(s) = s**2 + 5*s - 3. Let f be p(l). Let a be (-2)/(-3)*f/(-5). Is -3 greater than a?
False
Let z be (-7)/7 + (-74)/(-62). Let w = z + -80/93. Which is smaller: 7 or w?
w
Suppose 4 = 3*z - 4*y, -3*y = -2*z - y + 2. Suppose j - 3*j + 5*d + 19 = z, 0 = -j - 4*d - 10. Is j greater than or equal to 5?
False
Let k be (-352)/198 + (-4)/18. Which is greater: k or -3/4?
-3/4
Suppose 0 = -5*v - 0*v. Let w be -3 + 23/1 - -1. Let g be 9/w*2/12. Is g at most v?
False
Suppose -2*a = 4*w + 40, 3*w = -3*a - 21 - 3. Is -11 less than w?
False
Let q = 128/5 - 25. Suppose -5*f - 2*w = -8, -3*f + 2*w = 2*f + 8. Do f and q have the same value?
False
Suppose -2 + 4 = r. Let j = -4 + r. Let n be 2/4 - j/4. Is 2 equal to n?
False
Let l be (-1)/3 + (-2)/6. Suppose y + w = -2*y + 1, 0 = 5*y + w - 1. Suppose 0 = -5*q - y*q - 10. Which is bigger: q or l?
l
Let o = -8 - -8. Let z be (-2)/(-3) + o/2. Which is smaller: -2 or z?
-2
Let f be (-2 - -1)*(2 - 0). Which is smaller: -5 or f?
-5
Let s = -8 - -8. Suppose s*i - 4 = i + 2*z, -10 = 5*z. Is 4 smaller than i?
False
Suppose 0 = -2*c - 8, -34 = -3*i + 4*c + 21. Let j(r) = r**3 - 12*r**2 - 15*r + 17. Let g be j(i). Which