-73. Which is greater: v or n?
n
Let s = 0.1 - 0.1. Let n = -0.1 + s. Let i = 202 - 209. Is n at least i?
True
Let m(j) = 2*j**2 + 4*j - 12. Let p be m(-5). Suppose -p = -4*i + 6*i. Let v be 9/i*(1 - 1). Which is greater: -2/25 or v?
v
Let s = -843 + 936. Is 93 > s?
False
Let v = 187 + -188. Which is smaller: v or 8/315?
v
Suppose 4*a = -2 - 14, -u + 2*a = 8. Let i(b) = 3*b + 46. Let m be i(u). Which is bigger: -9/8 or m?
-9/8
Let r(k) be the third derivative of k**4/24 - 4*k**3/3 + k**2. Suppose 3 = 2*l - 13. Let v be r(l). Which is smaller: 1/6 or v?
v
Let d be 55/(-22) + 116/8. Which is smaller: 8 or d?
8
Suppose x + 5*m + 25 = 0, -4*m - 15 = 5. Let u = -49.1 + 52. Is x bigger than u?
False
Suppose -2*t - 1 = -17. Suppose -2*q = 6 + t. Let r = q - -4. Are -2 and r non-equal?
True
Suppose 4*n + 21 + 111 = 0. Let l = n + 48. Do 15 and l have different values?
False
Let s = 362 - 362. Let g be (2/777)/((-2)/(-48)). Let a = -34/37 + g. Which is bigger: s or a?
s
Let z = -1.59 + 0.29. Let u = -13 - z. Let q = u - -12. Which is greater: q or 3?
3
Let f be 2/(-6) + 6/9. Suppose -8*n + 16 = 4*a - 4*n, 8 = 5*a + n. Let h be (-11)/4 - (-2)/a. Is h less than f?
True
Let i = 4.92 + -5.22. Is -128 > i?
False
Let i(j) = -j + 15. Let p be 3 + -24 + -4 - -2. Let m = p - -36. Let d be i(m). Is d less than 2/3?
False
Let w = 0 + -0.07. Let y = 0.05 - 0.04. Let t = w - y. Is t < 1?
True
Let g be 23 + (4 - -2) + -2. Let f = g - 82/3. Is f equal to 0?
False
Let f = -1 + 2. Let b = -45 - -44. Let w = b - 0. Which is smaller: w or f?
w
Let f = 0.07 - 0.105. Let a = 0.104 - 0.204. Are f and a equal?
False
Let p = -1625 + 1645. Is p at most as big as 101/5?
True
Let n = -1908 + 2059. Which is smaller: 156 or n?
n
Let r = 7/260 - -1331/27820. Which is smaller: 1 or r?
r
Let x = -0.896 + 15.896. Which is greater: x or 1?
x
Let t(v) be the first derivative of -3*v**4/4 - 2*v**3/3 + v - 1. Let y = -23 - -22. Let s be t(y). Which is bigger: s or 4?
4
Let r = -9 - -17. Let l = r - 2. Let u = l + -3. Do u and -1 have the same value?
False
Let s = -406 - -406.29. Which is greater: s or -1?
s
Let h be (2/3)/(8/180). Suppose -h = 5*p - 65. Suppose -3*y = l - 6*l - 43, -5*l = p. Are y and 10 non-equal?
True
Let k(t) = t**2 + t + 6. Let b be k(0). Suppose -b + 2 = -r. Suppose 0 = -r*q - 5 + 1. Is q <= -6?
False
Let w = 296 + -223. Which is smaller: w or 221/3?
w
Let c(n) = 4*n - 29. Let u be c(16). Let z = u - 18. Is z smaller than 17?
False
Let j(q) = q**3 + 19*q**2 - 21*q - 20. Let b be j(-20). Suppose d + b*d - 4*n + 9 = 0, d - 5*n = -11. Let w be 594/(-2695) - 2/(-10). Which is smaller: w or d?
d
Suppose -23*r + 5222 = -37*r. Are -374 and r unequal?
True
Suppose -14*g + 4 + 24 = 0. Suppose g*x + x - 4*z = 26, -2*z = x + 8. Is x >= 1?
True
Suppose -4*h - 5*u = -82, 5*h - 14 - 70 = 3*u. Suppose 5*j + 3*w + 0*w - 10 = 0, 3*w = 5*j - 10. Let g be (-3)/(-2*j/24). Is h >= g?
True
Let b(p) = -11*p**2 - 111*p - 5. Let t be b(-10). Which is greater: t or 37?
37
Let d = 1023 - 17382/17. Is d < 1?
True
Let w = 1642 + -1646.79. Which is greater: w or 0?
0
Suppose -1 = 2*k - 4*o + 5, -3*o + 27 = 3*k. Suppose 3*i + 45 = -9*a + 4*a, -37 = a - k*i. Let l be (1/(-9))/(4/a). Is 0 less than l?
True
Let g = 3037 - 3036. Which is greater: -5/31 or g?
g
Let b = -919 - -923.93. Let y = b + 0.07. Suppose -3*i = 4*p - 3*p - 2, 0 = -5*i - p. Which is bigger: i or y?
y
Let p(c) = c**3 - 7*c**2 - 7*c. Let o be p(8). Let u be (-8)/32 + 26/o. Do u and 7/2 have different values?
True
Suppose 5*h - 2 - 58 = 0. Let x = h - 0. Let v = -10 - -22. Does x = v?
True
Suppose -5*p + 1 - 16 = 0. Let a be (p + 3 - 0)/1. Is -1/19 > a?
False
Let n be 10/6 - ((-284)/(-8) - 8). Which is greater: -27 or n?
n
Let r(a) = -a**3 - 20*a**2 - 21*a + 10. Let d be r(-19). Let s be (-1 + 2)*2 - 108/d. Which is smaller: s or 6?
s
Let r = -7.25 + 8.25. Which is smaller: -37.3 or r?
-37.3
Suppose 2*i - i - 20 = 0. Let t = 10 - i. Which is smaller: -11 or t?
-11
Let d = -8.15 + 8. Let r = 248 + -248.05. Let i = r - d. Is i at least -9?
True
Let t(q) = 4*q - 56. Let b be t(6). Which is greater: b or -29?
-29
Let p(b) = -8*b - 12. Let g be p(-12). Which is greater: -1 or g?
g
Let j = 11 - 13. Let p be j + -3*(-10)/9. Suppose -5 = -4*x + 3. Is p at least as big as x?
False
Suppose 0 = -x + 3 - 4. Let z be (3 + 5328/(-1755))*(-2)/(-7). Which is smaller: x or z?
x
Let f = 0.75 + -5.45. Let o = f + -1.3. Is -3 greater than or equal to o?
True
Let d = 130 + -151. Suppose -4*u - 7 = 89. Which is bigger: u or d?
d
Let w(d) = d**3 + 15*d**2 + 53*d - 20. Let a be w(-7). Is a at most as big as 0.0672?
False
Let q = 10.89 + -11.39. Which is greater: -2/81 or q?
-2/81
Let f(i) = i**2 + 7*i + 9. Let y be f(-6). Let s be 16/24 - 30/(-9) - 4. Suppose -3 = y*m + b, s*m + 4*m - b = 3. Are -4/13 and m nonequal?
True
Let i(h) = h**2 - 3*h - 18. Let q be i(6). Suppose -4*f + 5*u + 5 = 0, -5*f + 7*u - 2*u + 5 = q. Let m be (-4)/(-22) - 14/198. Is m greater than or equal to f?
True
Suppose 3*r + 0*r = 4*x + 56, 4*r + x - 43 = 0. Let g be (-6)/r*3 - 6/(-8). Which is smaller: g or 0.06?
g
Let j be ((-192)/160)/(3/(-70)). Is 27 at most as big as j?
True
Let l(z) = z**3 - 11*z**2 - 42*z + 14. Let i be l(14). Are 0 and i nonequal?
True
Let v = -92 - -11. Is -79 <= v?
False
Let b be (0/(-4))/(2 + (-2 - -2)). Let y = 643/12 - 157/3. Is y < b?
False
Let t = -613.01 - -613. Is t smaller than -1/8?
False
Let x be (-4)/6 - 62/(-120). Suppose 0 = 8*m - 11*m + 9. Suppose -4*o + 10 = 2*q, -12 = -m*q - 2*o - 3*o. Is q less than x?
True
Let v = 3/29 - -2/261. Is -31 at least as big as v?
False
Let c(q) = -q**2 - 10*q - 11. Suppose 5*k + 3*v + 37 = 0, -2*v + 14 = -k + 4. Let m be c(k). Let j be (-1 + 1)*2/4. Is m greater than or equal to j?
True
Let y = -2960/147 - 3/98. Let o = -81/4 - y. Which is bigger: 1 or o?
1
Let z(v) = -1 + 1 - 13 + v - 12. Let n be z(3). Which is smaller: -70/3 or n?
-70/3
Let b = -1.5 + 8.5. Let k = -6.831 + 0.031. Let v = b + k. Is 2/3 smaller than v?
False
Let i = -25 + 24.78. Let l = i - 0.08. Let y be ((-4)/(-6))/(2/3). Are y and l equal?
False
Let z be (-1)/35*(20 + -26). Which is greater: z or 0?
z
Suppose 4*u - v - 93 = 0, -2*v + 4*v = 2*u - 42. Suppose u = 2*k + 22. Let b be 1 - (0 - (-6)/5). Which is bigger: k or b?
k
Let p = 27647/11984477 + 1/7321. Are p and 0 equal?
False
Suppose 21 = h - 4*c, -3*h + 2*c + 55 - 32 = 0. Suppose 191 = 4*z + 3*b, b + 30 = -5*z + 277. Let v be (-4)/z*h/8. Which is bigger: -1 or v?
v
Let n = 262 + -43. Which is smaller: 220 or n?
n
Let q(w) = w - 12. Let n be q(7). Let o = 147 - 65. Let d = o - 89. Is n greater than d?
True
Suppose 4*h - 5*z + 30 = 0, 0 = 4*h + 2*z + 30 + 14. Suppose 0 = -0*k - 3*k - 30. Is h > k?
False
Let u be -2 - 1/((-6)/(-12)). Let b(m) = -8*m + 5. Let d(g) = -7*g + 4. Let l(v) = 6*b(v) - 7*d(v). Let s be l(u). Which is smaller: s or -7?
-7
Let c = 97 - -20. Suppose -4*x - 3 = 3*i + 86, 2*i - c = 5*x. Do -24 and x have the same value?
False
Let l be 3 - 211/13 - (-10 - -14). Is -18 smaller than l?
True
Let w = -4 - 3. Let g = 3 + w. Let f be (3 - 3)/(-3 - g). Which is smaller: f or -2?
-2
Let f = -333541333/406 - -821531. Let r = -3/58 + f. Let n be 44/33*(-6)/(-4)*1. Is r <= n?
True
Let s be -9 + (-327420)/(-54567) + 3. Do -1 and s have the same value?
False
Let l = -2840 - -2843.089. Let h = 0.089 - l. Which is bigger: -8 or h?
h
Let r(w) be the second derivative of w**4/12 + w**3/2 - 9*w**2/2 - 29*w. Let g be r(-5). Which is greater: 2 or g?
2
Let n(u) = -u - 1. Let s(x) = 5*x - 9. Let m(y) = -4*n(y) + s(y). Let a be m(2). Which is greater: 14 or a?
14
Suppose 2*k = 2*v - 2, -32 = -v + 4*k - 25. Is v smaller than -487?
False
Let d = -5.726 + 8.726. Let i = 2.92 + -3. Which is smaller: i or d?
i
Let u(k) = -3*k**2 + 5*k - 5. Let y be u(4). Let t(p) = -35*p**2 + 4*p - 3. Let g be t(1). Let c = g - y. Which is smaller: 1/50 or c?
c
Let t(u) = u**2 + u + 2. Let f(j) = 2*j + 3. Let c(k) = 4*f(k) - 5*t(k). Let g be c(4). Let v = g + 251/4. Which is smaller: -2 or v?
v
Suppose -179 = -4*m + r, -2*m - r = 4*r - 95. Let u be (-9)/m + 1/5. Are -1/35 and u unequal?
True
Let j be (1/5 - 0)/(10/(-775)). Which is smaller: j or -2/5?
j
Let d = 1903 - 1909. Let u be 0 + 0 - (-6)/(-128). Let 