1518. Let w be p(-8). Which is smaller: 182/17 or w?
w
Let r = 15 + 6. Suppose -2*d + r = 2*f - 7, -5*d - 3*f = -72. Suppose p + p + 3*v + d = 0, -3*p - 5*v = 23. Is p greater than or equal to -5?
False
Suppose 2019 - 2019 = -81*k. Let p = -3 + 2.85. Let s = p - -0.29. Is s less than or equal to k?
False
Suppose 23*y - 8*y = -14*y - 29. Is -39 less than or equal to y?
True
Suppose 2536*u + 873 = 2539*u. Which is greater: u or -33?
u
Let q = -574 - -586. Suppose -5*s = 1 - 11. Suppose s*f - 22 = h - 2*h, -3*h - 34 = -4*f. Is f greater than q?
False
Let l = -464.1 - -464. Which is greater: 81 or l?
81
Let w(p) = 37*p**2 + 13*p + 14. Let l be w(-5). Let z = l + -105757/121. Which is bigger: 1 or z?
1
Let r be 256/(-64)*(171/86 - (-6 - -8)). Let b = 0 - 1. Let i be -1 + (6*b)/3. Which is greater: r or i?
r
Let r = 19 - 18.7. Let d = 0.169 - -52.831. Let m = 49 - d. Is r >= m?
True
Let j = -54.62 + 59. Let o = -85.62 - j. Which is greater: 1 or o?
1
Let g be ((-94)/(-4))/(((-85)/(-85))/((-4)/2)). Which is smaller: -0.3 or g?
g
Let j be (-81)/3 - (-7)/((-1 - -9)/(-8)). Is -73 >= j?
False
Let a be -284 + -40*19/(-76). Let n be 8/(-3)*5175/50. Which is smaller: n or a?
n
Let z = -1 - 0. Suppose -11682 = -15*i - 912. Let s = i + -15793/22. Is z at most s?
True
Suppose 31 = 5*m + 16. Suppose -83 = -m*g - j, 52 = 4*g + 5*j - 44. Suppose -31*a - 2 = -g*a. Do a and -1/3 have the same value?
False
Let u = 6.22 + -1.22. Let f = -27.5 - -25.5. Is f greater than u?
False
Let x(s) = -s**3 + 15*s**2 - 19*s - 89. Let h be x(13). Suppose 22 = -2*b - 4*n - 0*n, -h*n - 12 = 2*b. Which is smaller: 3/13 or b?
b
Let r = 1004 + -1014. Which is smaller: r or -52?
-52
Let n be 1 + 2 + -5 - -5. Suppose t - 8 = 2*k - 11, n*k - 5*t - 8 = 0. Which is greater: k or -12/31?
k
Suppose 0 = -4*i - r - 579, 4*i - r + 169 = -420. Is -147 < i?
True
Suppose 4 + 2 = -6*n. Let b(y) = -y**2 + 6 - 9 - 6 + 5*y + 3*y. Let k be b(7). Is n bigger than k?
True
Let x = 17703/895 - 25/537. Which is greater: x or 21?
21
Let o be 13/(-69) - 3/9. Let j(f) = -3*f**3 - 9*f + 7 + 15*f + 6*f**2 + 0*f**2 + 2*f**3. Let h be j(7). Does h = o?
False
Let l(h) = 22*h**2 - 17*h - 609. Let r(s) = 5*s**2 - 4*s - 152. Let a(v) = 2*l(v) - 9*r(v). Let y be a(0). Let p be (5 - 2)/(y/4). Which is smaller: 1 or p?
p
Let f be (9*1118/(-78))/(0 + (-2)/(-30)). Which is smaller: -1934 or f?
f
Suppose -11 - 37 = -t. Let j be 5/(4/t + 2/8). Suppose 0 = -n + 2*n - 16. Are j and n equal?
False
Let f be ((-3)/(-2))/(-12*3/9888). Which is smaller: -415 or f?
-415
Let w = 86 + -82. Suppose 0*b + 18 = -t - 4*b, -5*t + w*b = -6. Which is smaller: t or -19?
-19
Let h = -234/2129 - -37523134/14903. Let c = h - 2508. Is 10 at most c?
False
Let u be 40/(-70) + (-6)/14. Let w = -34/13 - -679/26. Let m = w + -24. Are m and u unequal?
True
Let x = 1881.801 + -2.801. Is x equal to 0.3?
False
Let z = 22 - 20. Let i = -8 + z. Let h = 453/5 - 7253/80. Which is smaller: h or i?
i
Let u = -206349 + 206178. Suppose 0 = -4*r - 240 - 452. Which is smaller: r or u?
r
Let g = 108341/56 + -18355/8. Which is smaller: -360 or g?
-360
Let x be 4 + -5 - (15597/(-38955) + 3/(-5)). Is x equal to 0?
False
Let b = 14114 - 5881. Are b and 8234 unequal?
True
Let b be (-10)/(-25) - 124/10. Let f be (-33)/6 + b/(-8). Let h = 1253 - 1258. Does f = h?
False
Let q = 8220 - 8317. Which is smaller: q or 3/11?
q
Suppose -5*r - 3 - 7 = 0. Let l(c) = -126*c**2 - 4 + 125*c**2 + 3. Let b be l(r). Which is smaller: b or 4?
b
Suppose 31*t - 48 = 14. Let q be 0 + -9 + 5 - t*-3. Let a be (2/(-3))/(64/(-216)). Which is smaller: q or a?
q
Let m = 178 + -152. Let a(y) = y**3 - 27*y**2 + 24*y + 52. Let h be a(m). Is 14/15 less than h?
False
Let j be ((-40)/25)/(2/(-35)). Let d = 2025 - 2025.1. Does d = j?
False
Let j = 640.88768 - -0.11232. Is j greater than or equal to 6?
True
Suppose 3 = v + b + 2, -v + 5*b - 5 = 0. Let l = 3343 + -1113221/333. Which is bigger: v or l?
v
Suppose 3*b + 2 = 5. Let u(x) = -2*x**3 + 20*x**2 - 2*x + 24. Let s be u(10). Let n be 18*(-1)/(-60)*s. Which is smaller: n or b?
b
Let g = -462 + 461. Let s be 5/(6/9 + -1). Which is smaller: s or g?
s
Let n(b) = -3*b**2 + 10*b - 14. Let l be n(2). Let m be -1 + 5 + (46 - l). Which is bigger: m or 1?
m
Let b = 2842 - 343885/121. Suppose 971*w = 972*w - 1. Do b and w have the same value?
False
Let m be (-5)/(2/((-6)/(-19))). Suppose 3*c + 4*s = -15, -5*c - 35 + 18 = 4*s. Which is smaller: m or c?
c
Let p be ((-9)/4)/(1/2)*(-3328)/(-7488). Are -1/9 and p unequal?
True
Let x be (6 + -5 - (-27)/(-33)) + (-1477)/77. Is 4 at most x?
False
Suppose 7*a = 3*a + 260. Let m = -92173 + 92240. Is a at most as big as m?
True
Let v = -1147/8 - -3445/24. Let a be 1 + -1*4/3. Is a smaller than v?
True
Let v = 3454379/119030770 + -91/3130. Which is smaller: v or 1?
v
Let h be (-3)/21*(-42)/(-48). Does 2/427 = h?
False
Let j = -14097 + 13856. Which is bigger: j or 5/11?
5/11
Let p be -20 + 112/8 - (-833)/(-3). Which is smaller: -283 or p?
p
Let b = 1709/2 + -855. Is -2/771 less than b?
False
Let m = -511.6 - -511.49. Is m >= 4/3?
False
Suppose -5*a - 4*k + 5*k = -6, 0 = -4*k - 4. Let h = 178/83 + -9362/3901. Which is greater: a or h?
a
Let w = -5537 + 5533.48. Which is smaller: w or -27?
-27
Let u = 402982933 - 52791057661/131. Suppose -4*t + 4*x = -1097 + 10041, -5*t + 4*x - 11184 = 0. Let q = u - t. Which is greater: q or 1?
1
Suppose 2732 = -24*k + 10*k - 2378. Is -1827/5 > k?
False
Let w be 42/(-4)*4/3. Let r(l) = 31*l + 251. Let z be r(-8). Suppose -5*o - z*h - 2*h - 70 = 0, -o - 5*h = 10. Which is bigger: w or o?
w
Let f = -97 - -105. Suppose f*g = 9*g - 9. Let b(o) = o**2 - 12*o + 28. Let r be b(10). Is g greater than r?
True
Let w = 26279 - 289395/11. Is w less than or equal to -1/3?
True
Let u be 9848/16 - (-8 - (-5 + 1)). Which is smaller: 621 or u?
u
Let r = -646 + 418. Let u = r - -227.6. Which is greater: u or 2/55?
2/55
Let u = -4.544 + 1805.544. Is u < -1/3?
False
Let o(r) = r**2 + 2*r - 1. Let m be o(0). Let s = -1641 + 119781/73. Which is greater: m or s?
s
Let d be 70/(-3948)*(-8)/(-90). Let v = 71908/1269 - d. Which is smaller: 56 or v?
56
Let k(i) = -43*i + 1369. Let r be k(-24). Is 2401 bigger than r?
False
Let c = 0.2 + -0.1821. Let o = c - -44.0821. Let g = -44 + o. Do g and -46 have the same value?
False
Let v = -71659/234 + 2741/9. Let q = 45/26 + v. Let l = 0.6 - 0.3. Is l at least as big as q?
True
Suppose -3*c = 5*h - 626, 14*c - 19*c - 362 = -3*h. Which is smaller: h or 43?
43
Let u be 3 + -2 + 46/(-28). Suppose n - 2 = -0. Suppose -11*q + 3*q = -n*q. Which is smaller: q or u?
u
Suppose -458 = -39*y - 419. Is 2/6995 at least as big as y?
False
Let v = 1/26803 + 964865/1152529. Which is smaller: 2 or v?
v
Let w = -0.2816 + 1.2816. Does w = 6/89?
False
Let f = 13.0982 + -105.0372. Let h = f + 92. Let c = h - -0.039. Which is greater: c or -46?
c
Let z = 5 + -4.5. Let q = -0.5 + z. Let m(a) = -3*a + 282. Let s be m(97). Which is smaller: q or s?
s
Let m = 12.9 + 168.1. Let w = m + -181.1. Is w greater than 0?
False
Let g = -151 - -139. Let v(j) = j**3 + 11*j**2 - 15*j - 6. Let k be v(g). Are 31 and k non-equal?
True
Let p(d) = -d - 2. Suppose -8 = -35*x + 39*x. Let r be p(x). Let l be 3/1 - (-26)/(-8). Which is smaller: r or l?
l
Let b = -838601/6 - -139396. Which is smaller: -370 or b?
b
Let u = -0.228 + -25.372. Let s = u + 25. Let x = 8 + -8.4. Are s and x non-equal?
True
Let f be 0/((-6)/(-15)*5) + -11. Let b be (2 - 3) + f + 0/(-2). Let l be ((-4)/(-4))/((-2)/24). Is b equal to l?
True
Let v be (-25)/4*2*-2. Suppose -a + v = -0*a. Let b(c) = 2*c**2 + 49*c - 110. Let g be b(-27). Is g < a?
False
Let p = 13045 - 8505. Is 4540 <= p?
True
Let w be (-1)/((-312)/63 + 5). Let m be (3/(-108))/(w/(-392)). Is m <= -1?
False
Let z(w) = 4*w + 26. Let o be z(-6). Suppose -3*s - 1 = -o*s. Let i = 1/37 - 178/2479. Which is smaller: s or i?
s
Let o = -621 + 3128/5. Let s = 666 + -1056. Let k be s/52*(-4)/6. Is k not equal to o?
True
Let x(v) be the second derivative of 4*v**3/3 - 22*v. Let n be x(1). Let l be -4 + n/3 + (-8)/12. Does l = -12/5?
False
Let u be (-5 - (-5 + 15))/(-6*(-5)/(-100)). Are 67 and u non-equal?
True
Suppose 4*j - 3*j = -j - 2. Let g = -7437/11 - -675. Which is greater: g or j?
j
Let s