et f(l) = 16*l - 112. Let k be f(7). Which is bigger: k or m?
m
Let y = 591 + -830. Let z = 215 + y. Are -28 and z equal?
False
Let q be 516/946 + 23/(-22). Are q and 4/267 equal?
False
Let i be 6/(-9) + (-21)/9*-68. Suppose -164*v = -i*v. Let w = -4.8 - -5. Which is bigger: v or w?
w
Let g = -1088 + 1087.8901. Let s = -0.0259 - g. Which is smaller: s or 1/3?
s
Let b(j) = -18*j - 11. Let i be b(-13). Let l = i - 209. Which is smaller: 16 or l?
l
Let w = -519 + 526. Suppose 0 = -4*k + w*k + 3*x, 3 = 3*x. Which is smaller: -2/579 or k?
k
Suppose 0 = 4*g - 19 - 61. Suppose 0*q - 44 = -2*q. Let p be (2 + g/(-8))/(q/(-4)). Is p bigger than -1?
True
Let s = 29099599/736151 - -1/43303. Which is bigger: s or 39?
s
Let m = 3 + -1. Let i = 1 - m. Let q = 480.88 + -478.88. Does i = q?
False
Suppose -31*y = 15241 + 1685. Which is smaller: y or -551?
-551
Let u = -46 + 51. Suppose 5 = z, -2*z + 0 + 20 = u*b. Let h be (6/b)/3*(-3)/15. Which is smaller: h or 1?
h
Let v(z) = z**2 + 4*z + 6. Let m be v(0). Let p be (m/(-5))/((-4)/(-10)) + 9. Suppose p*b = -0*b - 30. Which is smaller: b or -44/7?
-44/7
Let b be (-6)/(200/14790*444 + -6). Do b and -1477 have the same value?
False
Let y = 1.05 - 1. Let x = -98 + -151. Let o = x + 248.94. Is o less than y?
True
Let l = 12 + -13. Let f = 44.01 + -44. Let r = 0.21 - f. Which is bigger: l or r?
r
Let b = 0.09402 - -7089.90598. Is -0.1 at least as big as b?
False
Let k be 6/84*(34 + 2)*3. Let g(z) = 4*z**3 + z**2 + 2*z + 1. Let y be g(-1). Let a be (-2 - y)*(-28)/(-8). Is a at least as big as k?
False
Let w be -18*6 - -1*2. Suppose 90 = -h - 110*k + 115*k, -3*k + 516 = -5*h. Which is greater: w or h?
h
Let v be 7156/(-2670) + -44*(-32)/528. Is 0 != v?
True
Let c = 138 + -132. Let o be 374/10 - (-9)/((-135)/c). Let l = o + -52. Is -71/5 greater than or equal to l?
True
Suppose 5 = -5*j + 3*p, 9*p = -3*j + 6*p + 21. Let n be (6 - j) + 1236/(-310). Which is smaller: 0 or n?
0
Let l = 91 + 528. Let k = -782 + l. Is -161 > k?
True
Suppose 18*c - 17*c = -65. Let b = -67 - c. Let j be -2 + b/(-1) - (-200)/36. Which is greater: 5 or j?
j
Suppose 51*j = 162*j + 14541. Let n(o) = -2*o**3 + 4*o**2 + 3*o + 5. Let c be n(5). Is j != c?
True
Suppose 2*j - 24 = -20, 2*j = 3*v - 59. Suppose -v*r + 44 = r. Which is smaller: r or 31/24?
31/24
Let x be (12/4 + 0)*(-4)/6. Let z be x*(2/3)/(12/(-9)). Is z at most as big as -0.6?
False
Let j be 1110/(-25)*50/(-30). Let w = -17/4 - j. Which is smaller: w or -78?
w
Suppose 2*x - 71 = -7. Let z be 3*4/(-14)*-7. Let k be ((-8)/3 + z)*(-54)/(-6). Is k greater than x?
False
Let a(s) = -4*s**2 - 3*s + 2. Let h(y) = y**2 - y + 1. Let u(p) = -3*a(p) + 6*h(p). Let f be u(-2). Which is smaller: f or 67?
f
Let a = -0.25 + 0.136. Let g = -0.386 + a. Let d = 0.9 - g. Is d bigger than 2/3?
True
Let m = 16238 - 16248. Which is bigger: m or -436/43?
m
Suppose -19*x - 3*f + 63 = 0, -5*x + 7 = 2*f - 12. Let y(l) = -9*l. Let o(q) = 19*q - 1. Let s(z) = 3*o(z) + 5*y(z). Let r be s(x). Are r and -2 equal?
False
Let w(l) = l**3 + 7*l**2 + 18*l + 106. Let o be w(-6). Let p = 68 + -40. Suppose d - 4*j - p + 2 = 0, 2*j = 3*d - 98. Are d and o non-equal?
False
Let r = -1/1167 - -1906/862413. Which is smaller: 2/3 or r?
r
Let c = 25 + -19. Suppose c = 3*z - 5*z. Let f be z + 3 + 6/45. Are 0 and f unequal?
True
Let j be (0 + -1)*(1 + -1). Let f = 170 - 138. Let x be 14/(-10)*(172/f - 6). Is j at most as big as x?
True
Suppose 5*n - 4*j - 710 = -0*j, -n + 163 = -5*j. Suppose 3*a + n + 240 = 0. Suppose -3*b = 24, -2*p + 357 = 2*b + 625. Is a at least p?
True
Let g = -91.02 - -91. Let x = 34 - 19. Let q be (-20)/15 - (-22)/x. Is g bigger than q?
False
Let k be ((-3)/(-2))/(70/(-32) - -2). Let g be (-756)/15 - (-2 + k/(-5)). Which is bigger: g or -51?
g
Let k = -6742 + 6627. Which is bigger: -116 or k?
k
Let o = 540 - 548. Let p(l) = 4*l**2 + 43*l + 17. Let g be p(o). Which is smaller: 1 or g?
g
Let z(k) = -k**3 + k**2 - 3*k + 2. Let b be z(0). Suppose 18 = -3*m + 3*d, b*m = 6*m + 4*d + 40. Let r be (0 - (-3)/m)/(2/(-152)). Which is smaller: 28 or r?
28
Let a(n) = n**2 - 27*n - 61. Let y be a(14). Let v = 242 + y. Let p be (9/69)/((-3)/2). Which is smaller: p or v?
v
Let n = 1012022/5 + -201501. Let q = n - 917. Is -14 at most q?
True
Let f = -29663 - -28607. Are 0.02 and f equal?
False
Let v be (17771/(-39))/(1/9). Is v at least -4101?
True
Let y = 5388 + -5419.81. Let x = y - 0.19. Is x greater than -2/7?
False
Let z = -1051/512894576486068 + 732743569924724218597879/1033466671887555951892. Let a = -114/742357 + z. Let l = 709 - a. Which is greater: -1 or l?
l
Let o be -2 + 114/209 + (-71)/(-11). Which is smaller: o or 27?
o
Let c = 21 - 5. Let l be 4/(4/(-3)) - c. Let n = 441 - 461. Is l != n?
True
Let a = 8.09 + -0.89. Let j(n) = -n**3 + 5*n**2 + 13*n + 8. Let t be j(7). Which is smaller: t or a?
t
Suppose -46*z + 50*z = -3*p + 3, 0 = -5*z - 4*p + 4. Is -18/493 <= z?
True
Let m = 6/5981 - 945040/41867. Which is bigger: -7 or m?
-7
Let x(z) be the second derivative of 131*z**5/20 + z**4/4 - z**2 + 73*z. Let b be x(-1). Are b and 0.1 equal?
False
Let m be (-174)/(-54) + 4/(-18). Suppose m*g = 337 - 349. Which is bigger: g or -3?
-3
Let l(b) = 183*b + 1007. Let r be l(-7). Which is greater: r or -270?
-270
Suppose -4*c + 72 = 2*i, -493 = -2*i - 489. Let z = 12.15 - 12. Let u = z + -0.55. Which is smaller: c or u?
u
Suppose 0 = -5*o - 73 + 23. Let y = 1677 + -1637. Let n be y/(-1744)*8/o. Are -1 and n equal?
False
Let l = 64 + -48. Let z(r) = r**3 - 2*r**2 + 18 + 0*r**2 + 3*r**2 + 0*r + r. Let o be z(0). Which is smaller: o or l?
l
Let r = 3877.1 - -1215.9. Which is greater: r or -2/11?
r
Let t be ((-580)/(-6))/(19/(-114)). Which is greater: -576 or t?
-576
Suppose 2*i = -z - 259, 2*z - 3*z + 1 = 0. Let k = 133 + i. Is 6 smaller than k?
False
Let p be 74 + (30/(-50) - 6/(-10)). Let x = -16 + p. Suppose 6*j = -x - 14. Is 2/9 not equal to j?
True
Let v(f) = 5*f + 84. Let p be v(-16). Let r be 8/6*-3 - -1*p. Is 3 less than r?
False
Let k(d) = d**2 + 43*d + 15. Let f(j) = -44*j - 15. Let b(m) = -2*f(m) - 3*k(m). Let a be b(-13). Suppose a*x - 8*x = 0. Which is bigger: -1/11 or x?
x
Let t be 3008/(-3002) - 1 - -2. Let c be (9 - (-79577)/(-12008)) + (-10)/2. Let j = t - c. Is 3 smaller than j?
False
Let f = -15652.9 - -15653. Which is greater: 579.5 or f?
579.5
Let n be -7*(4 + (-20)/4). Let r be 0 + (-2)/n + 120/(-21). Let i be ((-24)/(-18))/(116/r). Which is smaller: i or 1?
i
Let j(k) = -2*k**2 + k + 2. Let t be j(5). Let y = 8418 - 8470. Let h = t - y. Is 6 at least h?
False
Let c be (2/(-11))/(1*-4). Let p(r) = r**2 - 26*r + 154. Let x be p(17). Suppose -4*i = -2*d - 10, d - 1 = -5*i + x. Do i and c have the same value?
False
Let w = 12 - 12. Suppose 0 + w = 8*u. Suppose -9*h + 39 - 246 = u. Is h less than -24?
False
Let j = -55.9 - -56. Let c = j + 49.9. Which is smaller: c or 0?
0
Let n = -1.5 - -3. Let h = 131 + -111. Suppose 5*b = -h, 2*b + 13 = 2*m + 3. Are m and n nonequal?
True
Suppose 205*f = -32386 - 18659. Is f less than or equal to -230?
True
Let x be -2 + (3 - 8)*324/(-20). Suppose -80*o - 1 = -x*o. Let f = -101 - -705/7. Is f equal to o?
False
Let q be ((-3)/(-8))/(35/84). Let j(d) = -5*d + 1. Let v be j(0). Is v at least q?
True
Let v = -156 + 377. Let q = 222 - v. Is q >= -2/47?
True
Suppose -2*s + 3*b + 2 = 0, b = 2*s - s - 1. Let n be 210/2226*(12/5 - 3). Which is smaller: n or s?
n
Let b = 2/16191 - -195/39578. Which is greater: b or 2/5?
2/5
Suppose -i + 10476 = 5*i. Let l = 7023/4 - i. Let a be (0 - 7/(-7))*11. Is l greater than a?
False
Let t = -45 + 90. Let x be (1 - 5) + 162/t. Let n = -2748 - -2748.004. Does x = n?
False
Let m = 10.5 + -1.5. Let h = -363 - -354. Let x be (-8 + (-69)/h)*(-2)/2. Which is bigger: x or m?
m
Let i be (-40832)/(-348)*(2 + (-9)/(-4)). Which is greater: i or 500?
500
Suppose -89*q = -114*q + 9525. Which is greater: q or 380?
q
Let o be -6*8/(-48) + 2. Let k = 17668/9 - 1960. Is k bigger than o?
True
Suppose 16*j = -2*j - 4554. Let g = j - -256. Which is greater: g or 2?
g
Let n be 1/(2*(-2)/8). Let z be (-2 + 695/340)/((-28)/388). Let r = z - 7/68. Which is bigger: n or r?
r
Let r(s) = s**2 - 5*s - 7. Let x be r(5). Let u = 0 - x. Let d = 6820 - 6813. Are u and d unequ