)/(-279)). Which is greater: d or h?
d
Let b(v) = 3*v**3 - 6*v**2 - 2*v. Let m(l) = 16*l**3 - 29*l**2 - 11*l. Let t(o) = 11*b(o) - 2*m(o). Let n be t(6). Let h = -164 - -91. Which is greater: h or n?
n
Suppose -17 + 15 = -z + 2*i, -z = i - 2. Suppose -14 = -3*m - z*y, m = -5*y + 6*y + 3. Are -89 and m nonequal?
True
Let g be 1663 - (-13 - 2) - 10. Which is bigger: 1666 or g?
g
Let s(j) = -3*j**3 - 9*j**2 + 68*j + 10. Let y(w) = -w**3 - 3*w**2 + 22*w + 3. Let o(a) = 2*s(a) - 7*y(a). Let t be o(-6). Which is smaller: t or -6/79?
t
Let q be (-922)/(-40) - (-21)/28. Let f be (184/12)/((-4)/(-6)). Is f at least q?
False
Let q be 2/6 + 4/6. Let f be 43/(2795/26)*(-15)/48. Is f at least q?
False
Let o = 2 - -52. Let g = o + -51.72. Let k = g + 0.42. Which is smaller: k or -0.1?
-0.1
Let m = 0.00814 + -1.00814. Which is greater: m or -1/1531?
-1/1531
Let m(r) = r**3 - 44*r**2 + 84*r. Let h be m(42). Suppose h = -4*d + o - 2*o + 587, -2*o - 432 = -3*d. Which is smaller: 144 or d?
144
Let a = 364 + -365. Let h be a*(-6)/3546*2. Is h > 0.2?
False
Let v = -54586 - -54071.01. Let a = -515 - v. Is a < -6/5?
False
Let w = 16239 - 16238.6. Is -563 bigger than w?
False
Let k = 3596 + -5727. Which is greater: -2130 or k?
-2130
Let d = -2480 + 2610. Is d at most 124?
False
Let j be 72/132 - (-64)/(-77). Suppose 82 = 5*a + 32. Let n be (2*4/(-16))/(a/4). Which is greater: n or j?
n
Let v = 4861.9 + -3860.62. Let c = v - 1021. Let y = c - 0.28. Which is greater: 0 or y?
0
Let u = -0.045 + -0.535. Let z = -0.38 - u. Let f be -3 + (-15)/5 - 3. Is z < f?
False
Let k(i) = -i**3 - 37*i**2 - 36*i. Let p be k(-36). Let u be (4*2/(-10))/(1804/(-1210)). Which is greater: p or u?
u
Suppose 5*w - 690 = 3*o, -2*o + o = 3*w + 230. Let j be o/3 + (-7)/(21/(-2)). Let g = j - -83. Is g > 50/7?
False
Let l = 804.1 - 789.6. Is -17 greater than l?
False
Let s(l) = 12*l**2 - 33*l + 2. Let x be s(4). Let o = 325 + -221. Let d = o + -42. Is d < x?
False
Let p be (-21)/(-795)*120/70. Which is bigger: p or 1?
1
Let s(a) = 2*a**3 - 53*a**2 + 33*a - 86. Let i be s(26). Which is bigger: 36 or i?
i
Let q be 64/(-15) - (-2)/3. Let d be (-2 - (4 + 0)) + 16. Let l be (-54)/d + 1 + (-18)/30. Which is smaller: l or q?
l
Let j = 5 + -1. Let g be (-72)/(81/(-9)) - 3. Suppose 0 = -4*d + g*s - 16 + 9, 5*s - 21 = -3*d. Is d at most as big as j?
True
Suppose -6795*g = -6800*g. Which is bigger: g or -84/145?
g
Let u = 550 + -553. Let j = 59.7 - 57. Let p = j - 2.4. Which is smaller: p or u?
u
Let w = 0.332 - 180.332. Let n = -180.3 - w. Which is greater: n or 26?
26
Let u be ((-100)/29575)/((-52)/28). Is 1 at most as big as u?
False
Let i = 0.3 + 0.7. Let g be 25216/26201 + 2/(-19). Which is greater: g or i?
i
Let g = -115 + -93. Let m = g - -173. Which is greater: m or -37?
m
Let q(o) = o**3 + 17*o**2 + 6*o - 52. Let r be q(-21). Is -1942 != r?
False
Suppose 7 = 7*p - 91. Let i be -6 - (-465)/35 - 4/p. Suppose i + 4 = c. Is c < 13?
True
Let b = -2985.011 + 2985. Which is greater: -5/2 or b?
b
Let m(j) = j**3 + 68*j**2 + 372*j + 58. Let k be m(-62). Let f be 1*59 - 3*8/12. Is f less than k?
True
Let g = 0.3608611 + -412.3727611. Let q = -412 - g. Which is bigger: q or 2/3?
2/3
Suppose 5*a - 19 = -9. Suppose 5*p = 3*n + 41, 0 = p + p + 4*n - 32. Suppose -x - 3*y = -7, -a*x + p = -0*x + 4*y. Is 4/19 > x?
False
Suppose -5*h - 5*z + 1685 = 0, -4*h = -3*z - 2*z - 1303. Suppose 0*g + 2*g + h = -5*r, 3*g - 284 = 4*r. Let u = -69 - r. Is u less than or equal to 1/45?
True
Let f(m) = -6*m**2 + 2*m + 1. Let z be f(1). Let d = -7 - z. Is -2/7 > d?
True
Let d be 2 + (-84)/93 - 1. Let h = d + -133/93. Let l = -25 - -23. Which is greater: l or h?
h
Let g(h) = 138*h**2 + h - 1. Let y be g(1). Let q = y + -117. Suppose -22 = -3*v + 2*v. Which is smaller: v or q?
q
Let c = -6.399 + 6.09. Let q = c + 0.679. Let j = 1.9 - 2. Which is smaller: q or j?
j
Suppose -3*y = 2*p - 57, y + 91 = 87*p - 84*p. Is 0.78 >= p?
False
Let g = 2 + -1.8. Let q = 0.1222 + -0.7622. Which is greater: q or g?
g
Let h be -9 + ((-888)/128 - -14) - (-8)/4. Let y = 0 - 0.1. Let o = 0.2 + y. Is o less than or equal to h?
False
Let v = 65.18 - 57.18. Which is greater: v or -10.5?
v
Let c be 418/513*(-6)/(-4). Let r = 31/27 - c. Is r smaller than 0?
True
Suppose -34150 - 6508 = -364*w + 10302. Is w <= 32?
False
Suppose 2*r - 3*a + a - 436 = 0, 3*a - 9 = 0. Suppose -6*d = -355 - r. Let y = d + -78. Which is bigger: y or 15?
y
Let m be (-12)/(-66) + (-42)/(-11). Suppose 0 = m*s - 2*s. Let b be -2*(-6)/8*(-36)/117. Which is smaller: b or s?
b
Let i(y) = -y**2 - 21*y. Suppose 5*j = -2*m - 20 - 67, -3*m - 64 = 4*j. Let v be i(j). Let d be v/6 + 2*6/(-4). Is 4 < d?
False
Let v be 41/(-123)*(-5 - (-1)/(-1)). Suppose -v*c - 8 = 0, d - 9 = -4*c + 6*c. Which is bigger: d or 2/279?
d
Let o = -0.1 - -1.1. Suppose 0 = -4*a + 2*c + 400, 220 = 2*a + c + 12. Suppose -3*p = -p - a. Which is greater: o or p?
p
Let u(p) = 3*p + 48. Let c be u(-16). Let l(t) = t**2 + 5*t - 33. Let w be l(c). Suppose 224 = -5*z + 59. Is z <= w?
True
Let r be (-6 - 0)*10/(-12). Suppose -3*y + 275 + 989 = r*h, h - 5 = 0. Let i = y - 3713/9. Which is smaller: 2 or i?
i
Let a = -22400/9 + 690926/279. Which is greater: a or 0.2?
0.2
Let u be (47 + -47)*(-1 - -2). Which is smaller: u or -8/33?
-8/33
Let w(r) = -17*r + 41 + 43*r - 13*r - 19*r. Let g be w(7). Which is smaller: g or -2/25?
g
Suppose -25*l - 210 = 5*l. Let k be (l/(42/108))/(15/36). Is -42 smaller than k?
False
Suppose 0 = 59*g - 31*g + 672. Let w = 0.1 - 0.1. Are w and g equal?
False
Let l be (4/1888*38708)/(-11). Let j = 167/22 + l. Is j smaller than -1?
False
Let m be 7 - (-3)/(-9)*(-27)/(-3). Let y be 35/5*(m - 2). Let b be (y/63)/(8/(-15)). Which is smaller: b or -1?
-1
Let l = 3303345/149 - 22169. Is 2 less than l?
False
Let h = -3670 - -3724. Is h bigger than 51?
True
Suppose 2*x + 62 = -5*v, 2*v - 186 = 5*x - v. Let j = x - -37. Suppose -b + 0 = -j. Which is greater: b or 3/19?
b
Let j(y) be the second derivative of y**5/20 - 4*y**4/3 + 13*y**3/6 + 15*y**2 - y - 9. Let a be j(15). Is 3/53 at most a?
False
Let j(r) = -r**2 + 27*r - 20. Let a(k) = -2*k**2 + 52*k - 40. Let z(n) = 3*a(n) - 5*j(n). Let d be z(20). Which is greater: d or 2/347?
2/347
Let v = 67 - 38. Let w = v - 24. Let f be 272/(-44) - 4/(-22). Which is smaller: f or w?
f
Let n = -29 + 31.1. Let z = -1.3 - -0.2. Let f = z + n. Which is bigger: 5 or f?
5
Let y = -8100 + 8093. Is -621 less than or equal to y?
True
Let m = -3734 + 3744. Which is greater: m or 98?
98
Suppose 5*g - 4225 = 5*k, -3*k + 5 + 2536 = 3*g. Suppose 0 = -3*n + 5*x - 1490, -5*x + 1139 = -4*n - g. Let f be (-2)/(-4) + n/978. Is 1 less than f?
False
Let g = -195155239 + 7577487642715/38828. Let t = g - -1/2284. Suppose 87*s - 13 = 74*s. Which is greater: t or s?
s
Let a(l) = l**2 - 46*l - 383. Let i be a(-7). Is i equal to -428/37?
False
Let y(p) = 6097*p - 13. Let b be y(4). Let i be b/(-19195) + -2 + 3*1. Let r = i + -1/349. Is 2/7 smaller than r?
False
Let i = 4.97 + 0.03. Let n = i + -4.9. Suppose 0 = o - 5*x - 2, 5*o + 2*x - 10 = -0*o. Is n at most as big as o?
True
Let z = -9 - -10. Suppose -4*k - 24 = 0, -3*k = b + k + 11. Which is smaller: z or b?
z
Let p be 5*2*(-1 - 24/(-16)). Let q be 4 - 5/p - -49. Is q < 51?
False
Suppose -m + 5*i - 19 = 0, 4*i - 13 = 2*m + m. Suppose k - 3*v = 18, 5*k + 2*v = k + 16. Let w be (-27)/30 + m - k/12. Is w at most as big as -5?
False
Let q be ((-2)/8)/(5/(-487820)). Let o = 121034/5 - q. Let i = -185 - o. Is 0.1 at most as big as i?
False
Let b be ((-22)/28 - 9/(-18))*-850. Let m = -39191/161 + b. Which is smaller: -2 or m?
-2
Let w be -5 + 61773/13605 + (-5)/(200/(-16)). Are 0 and w equal?
False
Suppose -30*b + 36*b = -24. Is 39 smaller than b?
False
Let u(b) = -71*b + 273. Let h be u(7). Suppose -d - 5 = -2*c, -14 = -5*d - 2*c - c. Let x be d/(-3) + h/(-483). Which is smaller: x or 1?
x
Let j = 9 + -9. Suppose j = 2*f - 5*f - 3. Let n be ((-6)/5)/(894/(-5960)). Is n > f?
True
Let r = -2415 + 2430. Let f = 23.13 + -0.13. Let y = r - f. Is -2/11 bigger than y?
True
Let i be 1 + -7 - ((-3)/3 + -2). Let s(b) = -13*b - 11. Let w be s(i). Suppose 24*g - w = 20*g. Is 6 < g?
True
Suppose -68*i + 61*i + 70 = 0. Let n be (-5 + i)*1 - -14. Which is greater: