 f. Which is greater: k or m?
k
Let x = 8832.6 + -8832. Which is greater: 80/11 or x?
80/11
Let g be (-5)/(-2) + 1/2. Let u = 6/2167 - -36791/17336. Which is bigger: u or g?
g
Let z = -276 + 220. Let k be -4*(-7)/z*0. Let u = 0.2 - 0.22. Is k greater than or equal to u?
True
Let k(r) = -r**3 + 3*r**2 + 2*r - 4. Let c be k(5). Let s be (-6)/(-28)*(c/(-72) - 1). Is s >= 0?
False
Let i = -3372823/136 - -24800. Which is bigger: i or 1?
1
Suppose -5*b = -s - 2491 - 20, 3*b - 1511 = 5*s. Let p = b - 240. Are 262 and p non-equal?
False
Let y be (6/5)/((-24)/120). Let b be 4/(-6)*(-9)/y. Is b > -3/26?
False
Let b(s) = -2*s + 135. Let q be b(73). Is q bigger than 1.5?
False
Let v be 3*-1 - (13 + -6 - 16). Let z = v - 3. Suppose 0 = z*y + 16 - 13. Is 3/23 >= y?
True
Let j(g) = -g**3 + 4*g**2 - g + 8. Let f be j(4). Suppose 25 = -f*x - 7. Let h(s) = s**3 + 9*s**2 + 8*s + 14. Let z be h(x). Is z >= 15?
False
Let w = -29175 - -29167. Which is smaller: 1/58 or w?
w
Suppose 17 = -5*w - 2*u, -5*u - 32 = -25*w + 27*w. Is 2/3841 at least as big as w?
True
Let w = -37.87694 - 0.12306. Which is greater: w or -1/70?
-1/70
Let p = -115 + 115.022. Let y = 165.978 + p. Which is greater: y or -0.1?
y
Let r = -10503 - -10539. Which is smaller: 52 or r?
r
Let m be 5 + 7 - 6402/546. Is m at least 0?
True
Let n = 215 + -575. Let o = n + 360.1. Is 13/34 at least as big as o?
True
Let v be (-2569)/(-597) + (-3419)/789. Suppose -5*m + 2*o = -2*o - 25, 4*o = -20. Which is smaller: m or v?
v
Let r = -331 - -331. Suppose r = 6*f + 1084 - 280. Is f smaller than -133?
True
Let m = 7744 + -8253. Does m = 21?
False
Let o = 4915 - 4917. Are -1682 and o equal?
False
Suppose 0 = -2*y, -7*s + 2*s = -4*y. Suppose -5*n + s*n - 231 = 4*b, 20 = -5*b. Let u = -412 + 369. Is u at most as big as n?
True
Let m = -775.1 - -752.1. Does 104 = m?
False
Let t = -1092 - -9833/9. Is 0 less than or equal to t?
True
Let g be (6/(-14)*12)/(21/(-3136)). Which is bigger: 770 or g?
770
Let c be 0 + 0 + 7/(-42). Let j = -211 - -246. Suppose 20 = -j*y - 15. Are y and c unequal?
True
Let h be (-2191)/(-63) + 4/18. Let d = h - 11. Let m = 74 + -52. Is d greater than m?
True
Let u be (-16)/(224/(-41286)) + -5. Is 2943 greater than or equal to u?
False
Let k be (-268)/(4/(-5)*(30 + -25)). Which is bigger: 81 or k?
81
Let g = 28347 - 28346. Which is greater: g or 1/2688?
g
Suppose -14*l = -47*l + 33. Suppose -4*w = 5*f - 3, w + 6 = 6*w + 4*f. Let v = w + -1. Is l at most v?
True
Let a = 1366 - 670. Let v be 8/(-28) - (a/189 + -4). Which is greater: 4 or v?
4
Let m = 11 - 15. Let p = 2868 + -2464. Let t be m*p/(-16) - 1. Is t greater than 99?
True
Let g = -8588443618/4095 - -2097300. Let r = g - -3/455. Do r and 1 have the same value?
False
Suppose k - 2*h + 11 = h, 5*k + 17 = -4*h. Let d be (2/k)/(2/10). Let b be ((-9)/(-6) - 1)*(d - -6). Which is smaller: 3 or b?
b
Suppose t + 672 = h, -2*h + 6*t - 2*t = -1362. Is 3313/5 equal to h?
False
Let c = 5528109/8597864 - 290/451. Which is smaller: 0 or c?
c
Let d be 0*((6 - 12) + 7). Is d less than -2/4321?
False
Let l be 1 + (-1)/5 + (-9)/5. Let y(x) = -44*x**3 + x**2 - 3*x - 2. Let b be y(l). Let a = 51 - 6. Which is smaller: a or b?
a
Let z = -9/1025 + -10312/109675. Which is smaller: z or -1?
-1
Let p = 1724/7 - 39624/161. Do p and -0.035 have different values?
True
Let h be (-4820)/5040 - (8/9 - 4/6). Which is smaller: h or 4?
h
Let s = -5261 + 5261.1. Let m = 27.011 - 0.011. Which is smaller: m or s?
s
Let a be (56/210)/((84/15)/2). Let w = 195023/499485 + 2/71355. Let g = w - 4/21. Which is bigger: g or a?
g
Let t = -325 + 338. Let g = t - -219. Which is smaller: g or 1?
1
Let r(s) be the third derivative of -2*s**5/15 - 5*s**4/24 + s**3/6 + 175*s**2. Let c be r(-3). Do c and -59 have the same value?
False
Let z = -0.392 - -43.492. Let x = z + -43. Is x smaller than 0.006?
False
Suppose 456 = 4925*v - 4913*v. Is 3 at least as big as v?
False
Suppose 5*p - 348 = 2042. Let l = 286 - p. Which is smaller: l or -193?
-193
Let b = 22 + -17. Suppose 4*z - 5*z + b*v = 0, -4*z = -v. Suppose z = 2*j + 3*p + 77, -j - 2*p = 17 + 24. Which is smaller: -32 or j?
-32
Let x(i) = 142*i + 1989. Let q be x(-14). Which is smaller: q or 6/605?
6/605
Let p = -9/278 - -395/3614. Are p and -2 equal?
False
Let s = -505 + 496. Is s less than 1/8?
True
Let b be 1*458/4*2. Let g = 12778 + -12548. Which is greater: b or g?
g
Suppose 0 = -2*s - 0*v + 3*v + 21, 30 = 4*s - 2*v. Let i(o) = -s + 2*o + 2*o - o + 2*o. Let r be i(4). Which is bigger: r or 15?
15
Let g = 1428.62 - 1458. Let h = g + 29.4. Which is smaller: -21 or h?
-21
Let b = -2.12621 - -0.12621. Is 103.04 bigger than b?
True
Let l(a) be the first derivative of a**3/3 - 4*a**2 - 38*a - 66. Let j be l(13). Is 26 not equal to j?
True
Let k be (-54 - -38) + (-5300)/(-284). Is 4 <= k?
False
Suppose -95*h + 985 = 890. Which is smaller: h or -1/8424?
-1/8424
Let p = -33 + 36. Suppose -2*u - p + 7 = 0. Which is smaller: 17/6 or u?
u
Let t(g) = -2*g**3 - 2*g**2 - 2*g - 1. Let y be t(-1). Let w = -308274/55 + 5605. Which is greater: y or w?
y
Suppose 2518*n + 4*t = 2516*n + 418, -3*n - 5*t = -620. Which is smaller: 256 or n?
n
Let d(q) be the third derivative of -q**6/720 + q**5/3 + q**4/2 - q**2 - 19*q. Let c(f) be the second derivative of d(f). Let t be c(13). Is 24 at least t?
False
Let i(j) = -90*j - 1710. Let t be i(-28). Do 801 and t have different values?
True
Let f = 38425/9 + -4269. Is -2/31 != f?
True
Let z(x) = x**3 - 8*x**2 + 14*x - 13. Let o be z(6). Let v(y) = -255*y**2 - 2*y - 1. Let q be v(3). Let k = q + 71368/31. Which is smaller: k or o?
o
Suppose -490 = -2*o - 2*w, -24*o = -22*o - 4*w - 478. Let f be o/22 - 84/154. Which is bigger: f or 1/2?
f
Suppose 17 = 7*n - 88. Let t be (-10)/n*(-93)/2. Which is bigger: 32 or t?
32
Let l be 9 - (-12)/(-1) - 50. Let a be 15/(-35) + l/(-91). Is a less than or equal to 7.1?
True
Suppose -90*t - 61326 + 122784 = -120522. Is 2024 at most as big as t?
False
Suppose -14 = -7*r - 0*r. Suppose -r*o = -o + 6. Let g(y) = y**3 - 7*y**2 - 10*y + 10. Let v be g(8). Do v and o have the same value?
True
Let j = 152 + -21. Let x = j + -131. Is 0.4 smaller than x?
False
Let r = -6/259 - 3608/777. Let a be (-73 - 31076/(-476)) + 2*4*1. Which is smaller: a or r?
r
Let f be 1 - (15*-1 + 3). Let x be -1 - -3 - f/(-1). Suppose 5*h + 15 = -x. Which is greater: -7 or h?
h
Let d be (18/(-36))/(((-741)/(-3600))/(-19)). Is 46 less than d?
True
Suppose 7*l - 620 = 2*l. Suppose 2*w = 6*w - l. Let s = -7 - w. Is s at least as big as -38?
True
Suppose 0 = -w + 12 + 21. Suppose f = 3*q + w, -f = f - 4*q - 58. Let b = 106 - 84. Which is bigger: b or f?
b
Let u be 1*8/(-12)*(-43260)/280. Which is smaller: 160 or u?
u
Let v(a) = a**3 + 11*a**2 + a + 13. Let t be v(-11). Suppose 0*j - 4 = -t*j. Let l be 14/j + (-8)/(-4). Do l and 7 have the same value?
False
Suppose -5*u = -7*r + 3*r + 1926, 2*r + 374 = -u. Let p = u + 383. Is p greater than or equal to 36/43?
True
Let s be (-11 - -14)/(2/4). Let h = 282 - 265. Suppose 3*j = r - 2, -7 = r + 5*j - h. Which is smaller: s or r?
r
Let m = 660 - -233. Is 894 equal to m?
False
Let d = 19 - -15. Let l = d - 34. Let p be (-1 - (-1 - l))/(5 - 3). Which is smaller: p or 2/53?
p
Suppose -k + 32 = 2. Suppose u = -k + 33. Let g be (-13)/(234/(-84)) + (-1)/2. Is g < u?
False
Suppose -c = -5*u + 747, -166*c - 2*u - 2275 = -163*c. Is -759 at least c?
False
Suppose 13732*x = 13807*x. Let g(a) = -a + 2. Let t(f) = -7*f**3 - 2*f**2 + 1. Let q be t(-1). Let n be g(q). Is x at least n?
True
Suppose 6755 = -11*c + 122. Are c and -3012/5 unequal?
True
Suppose 8*v - 330 = 2*v. Let h = v + -53. Suppose 3*b + 81 = -0*b - 3*x, -52 = h*b + x. Which is smaller: -23 or b?
b
Let j = 0.259 + -0.451. Let g = j + -1.808. Which is bigger: 119/4 or g?
119/4
Let b be 3419/69180 - 28/560. Is 0 > b?
True
Let k = -251236/7 + 35836. Which is smaller: -54 or k?
k
Let m = 0 - -1.4. Let h = m - 28.4. Let v = -21 - h. Which is bigger: -8 or v?
v
Let s = 2565/1147 + -71/31. Are s and -0.194 unequal?
True
Suppose 0 = -3*v - v - 8. Suppose -65*q - 3728 = -11593. Is q at least v?
True
Suppose -28 = 5*r - 4*i, 39*i - 43*i - 12 = 0. Which is smaller: -27 or r?
-27
Let f = 21520 + -26808. Are -5289 and f unequal?
T