5. Which is greater: -1 or i?
i
Let g be 4 - ((1 - 5) + 2). Let p = -29 - -30. Let b be 2/8 - (18/8 - p). Do b and g have the same value?
False
Let o = 36 - 28. Suppose 3*v + 2 = o. Let x = 4 - 6. Which is bigger: x or v?
v
Suppose 5*j + 6059 = t, 4*j - 5*t + 5040 = 197. Is -1212 greater than j?
False
Let a be ((-5 - -3)*-3)/3. Is a > 4?
False
Let n(c) = 1. Let s(b) = b + 2. Let x(d) = -4*n(d) + 3*s(d). Let g be x(3). Let z = 6463 + -6450. Which is greater: z or g?
z
Suppose -3*c - z = 35, 0 = -6*c + 11*c - 5*z + 45. Do -2 and c have the same value?
False
Let u = -254 + 278.7. Let a = -25.83 + u. Let r = 1.1 + a. Which is bigger: -2 or r?
r
Suppose 3*p = 2*p + 4. Let x be (-48)/(-10) - 2/(-10). Suppose -5*r + 4*c = 3*c - 14, 0 = p*r - x*c - 28. Is r <= 2?
True
Let l(g) = -g + 13. Let t = 79 + -72. Let w be l(t). Which is greater: 2 or w?
w
Suppose j = -1 - 2, 3*j + 13 = 4*a. Let q be a/5 + 60/(-1425). Let y be (-2 - -2)/(2/(-1)). Which is greater: q or y?
q
Let g(n) = 7 - 7*n**2 + 6*n**2 + 15*n + 8*n**2 - n**3 + 7*n**2. Let c be g(15). Which is greater: c or 5?
c
Let j(l) = -6*l**3 - l**2. Let b be j(1). Suppose -5*t + 9*t = -32. Is t at most as big as b?
True
Suppose 27 = 5*u - 2*u. Let p be 43/5 + 3/(-5). Let r = p - u. Which is bigger: 2/11 or r?
2/11
Let i be (-4 - -1)*1/(-3). Which is smaller: -2/1625 or i?
-2/1625
Let o be (-15106)/61096 - 1/(-4). Which is bigger: 1 or o?
1
Suppose -3 = 3*i - 57. Let w be -30*(-4)/((-20)/(-3)). Is i <= w?
True
Let c = 95 + -94.932. Let u = 0.068 - c. Which is smaller: u or -12/17?
-12/17
Let j = 10.2 + 7.8. Let x = 16 - j. Let c be 6/9 + 1/6. Is c >= x?
True
Let k = -1.97 + 2. Let n be 2/(-7) - (-7 - 889/(-147)). Does n = k?
False
Suppose 18 + 6 = 3*k. Suppose -7*x - x - k = 0. Which is greater: x or -1/13?
-1/13
Let a(z) = -z**3 - 5*z**2 + 8*z - 29. Let u be a(-7). Is u != 10?
True
Let s(a) = -69*a + 5. Let p be s(1). Let g = -65 - p. Which is greater: -1/3 or g?
-1/3
Let u = -10 + -4. Let t = 18 + u. Let h be -1*2/10*t. Which is bigger: h or -2?
h
Let q(g) be the second derivative of -2*g**3/3 + 3*g**2 - 4*g. Let m be q(4). Suppose -2*p - 6*d + 4 = -10*d, -5*d = -4*p + 5. Which is smaller: m or p?
m
Suppose 5*n - j = -2, -4 = 4*n + j - 3*j. Let m be (-1)/75*-16*(-10)/(-40). Is m greater than or equal to n?
True
Let p = 193 - 193. Is p >= 1/352?
False
Let f be (6/(-9) - -1)/1. Let w = -197 + 1579/8. Let z = 7/8 - w. Is f greater than z?
False
Let f be (-5943)/(-196) - 2/(-8). Let d = f - 5792/189. Is 1 less than d?
False
Let o(i) = i + 7. Let j be o(-4). Suppose 3*w = -2*s + j*s - 4, 0 = 5*w + s - 4. Suppose 11*a - 14*a + 3 = w. Are a and -2 unequal?
True
Suppose 0 = 3*r - 2*r - 2, -1 = 3*f + r. Let c = -6/43 - 31/86. Is c less than f?
False
Let h be ((-45)/(-54))/((-2)/(-12)) - 2. Let q = -16 + -1. Is h equal to q?
False
Let g = 3.8 - 24.8. Suppose -8*b - 14*b + 8*b = 56. Does g = b?
False
Let q be -5 + (-8 - -6) - -7. Which is bigger: 5/42 or q?
5/42
Let x(b) = b - 7. Let o be x(7). Suppose 3*w - 6*w = 6. Let y = w + o. Which is smaller: y or -3/2?
y
Let d = 2818 + -2805. Let j(q) = -q. Let v be j(-2). Is v at most d?
True
Let c = -1206 - -1272. Let k(j) = 12*j + 6. Let q be k(5). Is c at least q?
True
Let n be (8 + 72/(-6))/((-21)/(-3)). Is n smaller than 0.06?
True
Let z = 0.474 + -0.674. Let l = -0.05 - -0.1. Let m = -0.35 + l. Which is bigger: m or z?
z
Let c = 6844.16 - 6974. Let q = c + 133. Let b = q + -0.16. Which is greater: 2/3 or b?
b
Let f = 477/2435 + 2/487. Let p = 849/7 + -121. Which is bigger: p or f?
p
Let o(y) = y**3 - 7*y**2 - y + 3. Let k be o(7). Let r = -76 + 73. Is r >= k?
True
Let v = -261 + 172. Let b = 88.2 + v. Which is smaller: -6 or b?
-6
Let d(k) be the second derivative of -k**5/20 - 5*k**4/12 - k**3/6 + 5*k**2 - 6*k. Let m be d(-3). Is m greater than -3?
False
Let c = 14 + 46. Let b = -63.2 + c. Is b != 0.1?
True
Let i be (-4)/60*-12*22050/108. Is 164 equal to i?
False
Let m(j) = -j**2 - 4*j + 8. Let w be m(-5). Let u be (15/(-10))/(w/(-16)). Let x be 2/(u/(4 + -3)). Which is smaller: x or 4?
x
Let x be 6/(-32)*-4 + (-133)/28. Is 0 at most as big as x?
False
Suppose 71 = 3*c - 2*i, 0*i = -3*c + 3*i + 75. Let x = 22 - c. Which is greater: -1/13 or x?
x
Let m(t) = t**3 - 6*t**2 - 8. Let a be m(6). Let u be ((-25)/(-7450))/(2/a). Which is bigger: u or -1?
u
Let m be -9 + 170/20 - 81/(-2). Are 2 and m equal?
False
Let u(i) = -i**3 - i**2 + 1. Suppose -4*l = -13 - 11. Suppose -4*m - 12 = -4*a, -l - 9 = 4*m - 5*a. Let d be u(m). Is 4/7 greater than or equal to d?
False
Let i(u) = u**2 + 24*u + 119. Let a be i(-17). Which is bigger: a or 6/251?
6/251
Let o(x) = 2*x - 21. Let k = 169 - 159. Let l be o(k). Which is smaller: -1/172 or l?
l
Let j be (-4)/6 + 23/3. Suppose 2*x - 2*w + 3 = -j, 3*w = -4*x + 15. Let k = 1467.9 - 1466.9. Which is greater: k or x?
k
Let y = 68.36 + -68. Let l = y + 0.74. Is 2/11 at least as big as l?
False
Let b(a) = -a**2 + 9*a + 11. Let c be b(10). Suppose -c = 3*f - 10. Let k = f + -11. Are -8 and k non-equal?
False
Suppose -f - 1 = 0, 7*h - 2*h + 3*f + 13 = 0. Let y = 51 - 26. Suppose -5*o - y = -0*o. Which is smaller: h or o?
o
Let l(k) = k**3 - 13*k**2 + k - 18. Let n be l(13). Let g be (2/(-4))/(n/10). Is -1/23 at most as big as g?
True
Suppose 3*v - 3*b = 12, 10*v - 6*v = 3*b + 12. Is -69 not equal to v?
True
Let h = 124 - 131. Let y be (h - -6)*((-160)/(-53) - 3). Is y >= 0?
False
Let c = -1221/5 - -247. Suppose 0 = -4*h, 4*w + w - h - 15 = 0. Are c and w unequal?
True
Let h be (336/60 + -6)/(2/60). Let b(k) = k**3 - 6*k**2 + 2*k + 3. Let g be b(5). Is h bigger than g?
False
Let h(c) = c**2 - 6*c + 1. Let g be h(7). Which is greater: g or 0.2?
g
Suppose 0 = 2*a - 4*p - 30, -3*a - 3*p = -32 + 5. Suppose a = -3*j + 8. Let r be (1/(-3))/(1/j). Are 0 and r equal?
False
Let h = -12 - -11.7. Let n = 0.4 + h. Does 2 = n?
False
Let x = 82.17 - -1.83. Let f = x - 82.4. Which is smaller: f or 0.2?
0.2
Let c be 2 - 2*(2 + -3). Suppose -3*v - v = -4*h - 24, 0 = c*v - 5*h - 28. Suppose -l - v*l = 0. Is 2 greater than or equal to l?
True
Let o = 2432/5 + -486. Which is smaller: -17 or o?
-17
Let x(j) = 2*j + 63. Let u be x(-30). Which is smaller: 2 or u?
2
Let c = 625 - 658. Is -0.03 greater than or equal to c?
True
Let o = 5 - 5. Let y = 15.14 + -0.14. Are y and o nonequal?
True
Let m(k) be the second derivative of -k**5/20 + k**4 - 5*k**3/2 - k**2/2 + 3*k. Let a be m(11). Let j be (-20)/a*3/10. Which is greater: -2 or j?
j
Let z = 824 - 824.329. Let g = z - -0.029. Which is bigger: g or -10?
g
Let v = -11314/15 + 754. Let n = v - -14/15. Let m = 3.3 + 1.7. Do n and m have the same value?
False
Let u = -230 + 123. Is 0 at least u?
True
Let z(d) = -3*d - 2. Let l be z(1). Let n be (-4)/((-3)/(l - -2)). Let f = -4 - n. Which is greater: 1/8 or f?
1/8
Let m be 20/16*(-32)/(-80). Which is bigger: m or 327?
327
Let c be ((45/25)/9)/((-9)/15). Is c greater than 7.7?
False
Suppose -4*a = -6*a - 52. Let s = a - -18. Is s equal to -8?
True
Suppose 3*f + 12*b = 10*b - 173, -51 = f - b. Which is bigger: f or -51?
-51
Let u = 1/72 + 107/72. Let s be -6*(-3)/((-54)/(-15)). Suppose 10 = s*n, -5*j - 3*n + 4*n + 8 = 0. Is u less than j?
True
Suppose -656 = -5*o - 2*u, -o + 107 = 3*u - 32. Is o at most 130?
True
Suppose -3*a = -a. Let t = 1302408763/1122 + -1160792. Let s = t - 4/51. Which is smaller: s or a?
a
Let w(v) = -v**2 - 6*v - 5. Let p be w(-5). Let z = -0.17 + 0.214. Let a = 3.044 - z. Which is smaller: a or p?
p
Suppose -5*t = -10, -3*z + 5*t = -2*z + 2. Let a be z + -11 - 3*-1. Is a smaller than 1/60?
True
Let w(r) = r**3 + 6*r**2 - 4*r - 11. Suppose -3*g + 0*g - 15 = 0. Let n be w(g). Are n and 32 unequal?
True
Let v be 489/(-7) - 1*1/7. Let n be 32/56 - (-5)/(v/(-6)). Are n and -4/31 nonequal?
True
Let v(u) = -58*u + 1022. Let f be v(18). Suppose 2*l + 2*l + 80 = 0. Which is smaller: l or f?
f
Let b(q) = q**2 - 12*q + 8. Let l be b(12). Let d be l/3*8/(96/63). Which is greater: 9 or d?
d
Suppose 5*n + 90 = -m, 4*n - 3*m = 2*m - 72. Let b be 320/128 - (-86)/(-4). Are b and n non-equal?
True
Let i = -25 - -21. Let s be 4 - 0 - (-19)/i. Is s != 1?
True
Suppose 3*a - 18 = a. Suppose a*o - 45 = 6*o. Suppose -o = -5*k - 2*w, -2*w + 4*w + 5 = -k. Is 6 at most as