tive of -2*n**2 - 1 + 1/4*n**4 + 4/3*n**3 + 4*n. Let a be k(-5). Which is smaller: a or 0.1?
a
Let d be (-37)/(-7) - (-4)/(-14). Suppose 0 = 4*h + d*v - 0*v + 4, 2*h = -v + 4. Let o(k) = 2*k - 1. Let g be o(2). Which is smaller: h or g?
g
Let q = -4169/4 - -1013. Let k = q - -29. Let f = -4.9 + 5. Is k > f?
False
Suppose 5*g = -4*b + 18 - 1, -4*b + 15 = 3*g. Let t = 2/107439 + -286217518/1181829. Let j = -242 - t. Is g bigger than j?
True
Let r = 5 - -7. Let w be (-1)/(-4) - (-1)/r. Let b(c) = c**2 + 6*c + 5. Let u be b(-5). Which is smaller: w or u?
u
Suppose b = -3*j + 17, 2*b - 4*b + 31 = 3*j. Which is greater: 12 or b?
b
Let l(g) = -4*g**3 - 6*g**2 - 7*g + 9. Let d(n) = -3*n**3 - 6*n**2 - 6*n + 9. Let m(b) = -5*d(b) + 4*l(b). Let f be m(6). Let o be 16/30*f/4. Does o = 1?
False
Let n = -221/852 - -2/213. Which is smaller: 20/3 or n?
n
Suppose 4*z - 2*o = o + 104, -4*z = o - 88. Does z = 23?
True
Let h = -191 + 194. Suppose 2*p - 2 = 4*p. Is h smaller than p?
False
Let l = 1.9 + -6.7. Let w = -0.4 + 1.2. Let i = l + w. Is 1/2 <= i?
False
Let b be 80/(-198) + 4/18. Let r(n) = n - 9. Suppose -u = 2 - 11. Let f be r(u). Which is smaller: b or f?
b
Let f = 6 + -7. Let c be 2 - 2 - 6/14. Is f greater than c?
False
Let l = 14 - 4. Let m be 11/(-14) + l/35. Let y = 2.7 + 0.3. Is m < y?
True
Let o be ((-120)/68 - -2)*5. Is 0.1 <= o?
True
Suppose -7*t + 2*t + 4*b = -17, -3*b - 7 = 2*t. Let j = 53/4 - 267/20. Which is smaller: t or j?
j
Suppose 2*u + 3*q = 3, -3*u + 5*q = 3 + 21. Let s = -2 + u. Suppose 3*x = -z + 11, -5*z + 5*x - 25 = 20. Which is smaller: z or s?
s
Suppose 15 = 3*w + 2*q + 7, 1 = q. Let b be (w/4)/(5/20). Let a be ((-4)/132)/(b/(-12)). Is 0 at least a?
False
Let p = 446 + -5806/13. Which is smaller: -1 or p?
-1
Suppose -2 + 0 = -q. Suppose -4*h - h - 5*a = -25, q*a = 5*h - 11. Let m = 102 + -100. Which is bigger: m or h?
h
Suppose -10 = -2*d - 4. Let o be 6*2/(-9)*d. Let n = o + 5. Is n less than or equal to 1?
True
Let y = -16 + 50/3. Is y greater than or equal to 0?
True
Suppose -4*c - 4*v + 8 = -20, 4*c - 2*v = 4. Suppose 4*p + c = 3*b, -p - 2*b - 3 = 6. Let s be p/(-2)*12/9. Is s greater than 2?
False
Let n(z) = -z**2 + 5*z + 6. Let s be n(6). Let h = 25 + -26. Is s != h?
True
Let v = 109/345 - -2/115. Which is bigger: 16 or v?
16
Let u(l) = -l**3 - 7*l**2 + l + 10. Let a be u(-7). Let o = a - 1. Let v = 4 - o. Which is smaller: v or 0?
0
Let r be (3/2)/(6/40). Suppose r = m + m. Suppose -3*t - 12 = t, -m*t = -2*u + 17. Is 0 at least u?
False
Let n = 0.5 - -4.5. Let w = 14 - n. Let d = -13 + w. Is d at most -1?
True
Suppose -5*z + n + 9 = 0, 4*z + 0*n = 4*n + 20. Let f be (-3)/(2 + -5 - 1). Is z bigger than f?
True
Let h = 160 - 158. Suppose 0 = -0*o - 5*o. Let t(d) = -d**2 - d + 2. Let c be t(o). Are h and c equal?
True
Suppose -58 = -5*c - 2*y - 2*y, 0 = -5*c + y + 73. Is c <= 15?
True
Let l = -602 + 598.97. Let g = l - -0.03. Which is smaller: g or 0.1?
g
Suppose 3*z - 22 = 41. Suppose 3*m - 51 = -3*r, 4*r - 2 = -m - 0*r. Is m >= z?
True
Let i(u) = 7*u**2 - 2*u + 1. Let v be i(1). Suppose -3*g = 12 + v. Are g and -9/2 nonequal?
True
Suppose 3*f + k - 12 = -4, -2*f - 5*k + 1 = 0. Let w(q) = -q**3 - 3*q**2 + 4*q + 4. Let l be w(-4). Which is smaller: l or f?
f
Let p = 3 - 5. Let d be (0 + p)/(-1*35). Is d less than or equal to -1?
False
Suppose -3*g = -5*g. Which is smaller: g or -1/6?
-1/6
Suppose -o = -4*o + 3. Suppose -4*m + 10 = m. Let p be 28/8 - o/m. Is p bigger than 3?
False
Let o be (-2 - (1 + 0))/(-1). Let l(w) = -w - 2. Let j be l(o). Is -5 less than or equal to j?
True
Let x = 111 - 110.9. Are x and 2/115 equal?
False
Suppose y = -4*y + 80. Does 17 = y?
False
Let j = 3301/42 + -493/6. Which is smaller: j or -3?
j
Suppose -12 = 2*i - 5*i. Which is smaller: 0 or i?
0
Let v be (-1 + 2)/((-2)/(-12)). Let p(t) = -t + 6. Let u be p(v). Which is smaller: 2 or u?
u
Let t = -264 - -4490/17. Do t and -1 have different values?
True
Let p(y) = -y**2 - 6*y + 4. Suppose 5*z - z = -4*i - 16, -10 = -5*i. Let c be p(z). Let h be -3 - -4 - (3 - 3). Do c and h have the same value?
False
Let b = -2.5 - 9.5. Let p = b + 5. Let u = -6.8 - p. Is u at least 0?
True
Let v(d) = 12*d - 10. Let j be v(4). Which is smaller: 39 or j?
j
Let r = -114 - -66. Which is bigger: -49 or r?
r
Let h = -74 + 20. Is h greater than -54?
False
Let f = -7 - -4. Which is greater: -0.03 or f?
-0.03
Let x = 0.2 - 0.93. Let c = x + -4.17. Let w = c + 5. Which is bigger: 4 or w?
4
Let d(o) = -o + 3. Let q be d(-3). Suppose -q = j - 3. Let p be (-10)/j + (-8)/(-12). Is p equal to 1/4?
False
Let y = 18 + -19. Which is smaller: 5 or y?
y
Let b(o) = 4*o**3 + 6*o**2 + 5*o - 4. Let g(k) = k**3 - 1. Let r(n) = b(n) - 3*g(n). Let j be r(-5). Which is greater: j or 2/5?
2/5
Let f = -34 - -35. Is f less than -2/73?
False
Let p = -6 - -5.1. Let y = 0.7 + p. Let z = -6 - -4. Is z greater than or equal to y?
False
Let o = -0.23 - 1.77. Which is smaller: -10 or o?
-10
Let r be 13/(42/(-54) - (-4)/(-18)). Are -71/5 and r non-equal?
True
Let o be (-849)/282 - 3/(-1). Let b = o - -853/658. Is 1 > b?
False
Let s = -9 + 8. Which is bigger: -2/37 or s?
-2/37
Let j = -6 - -6.3. Let f = j + -1.3. Let u be (4/(-6))/((-7)/3). Which is smaller: u or f?
f
Let w = 0.011 - 4.211. Let s = 4 + w. Suppose -5*q + 6 = -3*q, 4*u - 5 = -3*q. Which is greater: s or u?
s
Let u = -591 + 596.86. Let f = -0.14 - u. Which is smaller: f or 1/4?
f
Let k = -20 + 22. Is k at most 1/5?
False
Let g = 0 - -4. Let b be 6/(-8) + (-1)/g. Let l be (-2)/4 + 5/6. Which is smaller: l or b?
b
Let o be (-3 - -5) + (2 - 0). Let m = 6 - o. Suppose v - m = -v. Which is greater: v or 1/7?
v
Let b = 169/6 + -55/2. Let p = 4 - 4.1. Let y = p - 0.9. Is y != b?
True
Suppose 12 = 4*x - x. Suppose 0 = z, x*k - 3*z = 2*z + 4. Suppose -2*v = 2*u + v - 12, 0 = 5*u + v - 4. Which is bigger: u or k?
k
Let r(v) = v**2 - 5*v + 6. Let k be r(4). Let i be (9/(243/(-30)))/((-4)/6). Is k < i?
False
Let f be 0/((7 + -4)/3). Is 10/9 at least f?
True
Let k(r) = 17*r - 3. Let w be k(-1). Let b be (w/10)/(5/(-4)). Which is bigger: 2 or b?
2
Let d = -1 + 2. Let z = -32/3 + 10. Is z less than d?
True
Let f(n) = n**2 + 5*n - 10. Let q be f(-8). Suppose -5*z - 4 = -q, u = -3*z + 6. Is u at most 3?
True
Let s be 2/(-4) - 14/(-4). Let b = -1 + s. Suppose -b*f + 3*l - 1 = 2, 5*f = 5*l. Which is greater: 0 or f?
f
Let s = 3 + -2. Let p = 193832812/411 - 471613. Let b = -2/137 + p. Is b at most s?
True
Let s = 3.05 + -0.05. Does -0.2 = s?
False
Suppose 0 = -4*r - 3*m + 9, 0*r + 5*r + 4*m = 12. Suppose 3*l - w = -r + 43, 0 = -3*l + 5*w + 47. Which is smaller: 15 or l?
l
Let d(n) = -n**2 + n. Let x be d(1). Let z = 14332/31045 - 4/887. Let c = 106/385 - z. Which is smaller: c or x?
c
Let y = -0.08 + 8.08. Let f = y - 7.7. Which is bigger: f or -3?
f
Suppose -4*f + 19 = 3. Suppose 0 = -2*s + 3*y + 4, -2*s - y + 0*y - 4 = 0. Let b = 1 - s. Which is smaller: b or f?
b
Let d = -27 - -26. Is 1/14 smaller than d?
False
Let v = 19 - 20. Is v >= -7?
True
Let h = -5 + 7. Suppose -7*b = -h*b - 2*z + 3, 4*z - 13 = 3*b. Suppose -7 = 2*p - b. Does p = -1?
False
Let l be 19/(-38) + (-154)/(-4). Let t = -41 + l. Suppose 0 = -5*r - 2 - 3. Which is smaller: t or r?
t
Suppose -3*s + 22 = -s - j, -4*s - j = -44. Is 16 equal to s?
False
Let n = 0.04 - 0.05. Which is smaller: -0.1 or n?
-0.1
Let q = -9.99 + -0.01. Let k = 10.1 + q. Is k less than 2?
True
Let g = -6 + 8. Let f = -49.8 - -50. Is g at most as big as f?
False
Let d = -1/99 - -1487/198. Let f = d - 71/10. Let i be (32/90)/(-2) + (-42)/189. Which is bigger: f or i?
f
Let j = 1.23 + -1.43. Suppose -4*x - 9 = -z, 4 = 2*x - 4*z - 2. Which is smaller: x or j?
x
Let w = -68.9 - -69. Which is greater: w or 0?
w
Let f = -11 + 11.1. Which is bigger: f or 5?
5
Let o be (-2)/(-13)*(-1)/10. Is 0 at least as big as o?
True
Suppose -12*k - 17 - 7 = 0. Which is smaller: k or -9/5?
k
Suppose -15 = 3*n + 3*a, 0 = -0*n + n + 2*a. Suppose 2*y + 10 = -2*d, -5*d - 15 = -d + 5*y. Is d greater than or equal to n?
True
Let p = -3 + 2. Let a = -7347/182 + 1540/39. Let r = 5/7 + a. Is r < p?
False
Let t = -433 + 436. Let j = -1/22 + 5/22. Is j at most as big as t?
True
Let m = 21 - 6. Let l be (-92)/(-5) + (-6)/m. Is 18 > l?
False
Let y