2). Let d be b(h). Which is bigger: d or -6?
d
Let w = -14 - -18. Suppose -w*j = -17 + 1. Which is greater: j or 6?
6
Let q(u) = u**3 - 2*u**2 + 5*u - 4. Let c be q(1). Let t = 11767/34 - 346. Let v = t - -4/51. Are v and c non-equal?
True
Let r(u) = 6*u - 1. Let t be r(7). Suppose 4*b + 0*b + 11 = -3*v, b = -5*v - t. Let z(g) = -4*g + 5. Let i be z(4). Which is greater: v or i?
v
Let m = 649611/261380 + 3/7468. Let q = 6/5 - m. Is q <= -1?
True
Let s be (-52)/(-234) - (-3274)/9. Which is smaller: 363 or s?
363
Suppose 0 = 2*d - 5*u - 17, 2*d - u + 23 - 28 = 0. Which is greater: d or 1/366?
d
Let f = -4904/3 + 1619. Let a = f - -16. Let d = 0.4 + -0.46. Does a = d?
False
Let y be (-4)/6*168/(-16). Suppose -24 = -y*r + r. Which is bigger: r or 3?
r
Let b(v) = -11*v - 34. Let f be b(-3). Let p = -11 + 16. Let l = p - 3. Which is smaller: f or l?
f
Let h(k) = -k**3 + 6*k**2 - 6*k - 3. Let t be h(4). Suppose t = -10*o - 5. Let a = 1/76 - -17/152. Which is smaller: a or o?
o
Let o(l) = 3*l**2 + 49*l + 17. Let w be o(-16). Is -2/663 < w?
True
Let p = 276 + -193. Is 83 > p?
False
Let n = -1339 + 1344. Let r = 9814/2665 + 2/205. Which is greater: n or r?
n
Let x(j) = -2*j + 7. Suppose 2*n + 5*r = 13, n = -4*r - 3 + 11. Let p be x(n). Which is greater: p or 2/195?
2/195
Suppose -2*g = 3*g + 270. Let z be ((-4)/(-6))/(g/2025). Which is greater: z or -2/7?
-2/7
Let l = -451 - -363. Which is bigger: l or -89?
l
Let j = -64.4 + 25.4. Which is smaller: j or -1/2?
j
Suppose -5*w = -4 - 11. Suppose -l - 6 = -w. Let f be 0 - (-3)/(18/l). Is f < -5/6?
False
Let m be -2*3/24*(-3 - 1). Let q = -1677/752 - -35/16. Which is smaller: m or q?
q
Let d = -3 + 0. Let h be 5/(-244)*13 - (-2)/8. Let y = h + 187/244. Which is greater: y or d?
y
Let m(t) = t**2 - 7*t - 79. Let l be m(13). Is l smaller than 5/176?
True
Let i = -0.36 - 0.04. Let l(x) = -41*x - 2*x**2 - 8*x**2 + x**3 + 68*x - 10 - 37*x. Let h be l(11). Are h and i non-equal?
True
Suppose 5*s = s - 48. Let y(q) = -2*q + 3*q - 2*q - 13. Let p be y(s). Is p less than or equal to -3/5?
True
Let j = -1666.85 + 1667. Which is smaller: 6/23 or j?
j
Suppose 0 = -5*b + 2*b - 54. Let y be (b/81)/(1/(-9)). Suppose -4*p - 10 = 2*k, 4*k - y*p + 5 = -5*p. Is 10/9 != k?
True
Let u = 0.4 + -0.6. Let m = 1.7 + u. Let l = 1.6 - m. Which is greater: 1/12 or l?
l
Let f = -564 + 1691/3. Which is smaller: -188 or f?
-188
Let t = -4 + 4.4. Let y = -81 + 82.4. Let r = t - y. Which is smaller: -2/3 or r?
r
Let s = 16 + -20. Let z be (((-24)/(-45))/s)/16. Let n = -1/8 + z. Is n at least as big as 0?
False
Suppose -3*j = -4*j + 16. Suppose j = -r - 3*r. Let q be (r + 6 + -1)*0. Which is smaller: 2/31 or q?
q
Let t = -0.195 + -0.105. Which is smaller: -12/11 or t?
-12/11
Let k = 1745 + -1745. Which is greater: k or -1/1248?
k
Suppose 22 = -p - t - 56, -t = 5*p + 394. Is p at least as big as -80?
True
Let f = -53 - -56.93. Let u = 4 - f. Let n = -1.07 + u. Which is smaller: 5 or n?
n
Let b(k) be the first derivative of -k**4/4 + 2*k**3 - 2*k**2 + 38*k + 49. Let z be b(5). Is 43 <= z?
True
Suppose -15*h - 292 = -1687. Is 92 at least h?
False
Let j = -699/190 + 68/19. Which is greater: 1 or j?
1
Let p be 30/100*((-962)/(-954) + -1). Let w = p + 713/32595. Which is bigger: w or 0?
w
Let w = 1242 + -1242. Is w less than -8/127?
False
Let f be 2/(-2 + (-24)/(-9)). Suppose 6*t + f = -9. Which is greater: -29 or t?
t
Let s = 5 + 4. Let z = 16 - s. Let x = z + -7. Which is bigger: x or -0.1?
x
Let s = -4322/321 - -14/107. Which is bigger: s or -13?
-13
Let j be ((-4173)/834 + 5)/(5/60). Which is bigger: j or 2/3?
2/3
Suppose -2*p + 3*a + 148 = 25, -p = -5*a - 44. Which is greater: p or 70?
70
Let a = -427 - -426. Which is smaller: a or 7/215?
a
Suppose -5 = -3*s + 13. Let j = s - 10. Let y = 5.8 + -7.8. Is y less than j?
False
Let z = -2 + 1. Let h = 10567.943 - 10578. Let r = h + 0.057. Which is smaller: z or r?
r
Let p = -60.1 - 15.9. Let u = 131 + p. Which is smaller: u or 0.1?
0.1
Let u be (-4 - (-96)/20)*1. Let w = 31/45 - u. Do w and 0 have the same value?
False
Suppose 4*a = -l - 200, -3*a + 6*l = 9*l + 150. Is a < 2/23?
True
Suppose 9*x + 331 + 317 = 0. Is -73 less than or equal to x?
True
Let o be (-1655)/264*3 - 4/(-22). Which is smaller: -20 or o?
-20
Let j(s) = s**2 + 10*s - 14. Suppose -24 = 2*d - 0*d. Let r be j(d). Suppose -3*y + 76 = r. Is y smaller than 23?
True
Suppose -57*u + 1260 + 564 = 0. Which is smaller: u or 249/8?
249/8
Let v be (-2)/(-6) + (-3936)/(-234). Suppose 5*u + 41 + 44 = 0. Let f = u + v. Is f at least 0?
True
Suppose 4*b - 168 = 11*b. Let a be 26/8 + -3 - (-22)/b. Is -1 at least as big as a?
False
Let q = -24 - -23.6. Let h = -1/63 + 8/63. Is h at least as big as q?
True
Let i = 104 + -101. Suppose 0 = -i*j + 5*n + 21, j + 0*n + 13 = -5*n. Which is bigger: -39 or j?
j
Let c = 18 - 18.4. Let b = -4.9 - -2.6. Let a = 0.3 + b. Is a less than or equal to c?
True
Let j = 103 + -66.5. Let v = 36 - j. Which is bigger: 1/9 or v?
1/9
Let m = 1861.161 - 1860. Is m < -2/7?
False
Let f = 98 + -17. Which is smaller: f or 79?
79
Suppose 91 = 4*t - 5*k, k = t - 16 - 8. Suppose t = -c + 28. Suppose -2*a = -4*o - a - 1, 5*o + 2*a - 2 = 0. Which is smaller: o or c?
c
Let x(a) = 38*a**2 - 4*a - 7. Let d be x(1). Suppose -30 + 3 = -w. Is d not equal to w?
False
Let f be (-6 + 8 + -2)/(-4). Is f equal to -2/1119?
False
Suppose 0 = 3*f - 4*s - 58, s = 4*f + f - 74. Which is smaller: f or -16?
-16
Let s be -1*(-66 - -8)*(-9)/2. Is -261 less than s?
False
Let n(a) = 2*a**2 + 30*a + 14. Let r be n(-15). Suppose -4*u = -8*q + 3*q - 5, r = 4*u - 2*q. Which is smaller: 9 or u?
u
Let f = 22 - 22. Suppose f = -3*a + 7 + 2. Suppose -4*p + 10 = 4*j - 9*j, 3*p + a*j = 21. Which is smaller: 4 or p?
4
Let t = -3 - -9. Let a be (12/56)/(t/(-8)). Let p be (12/15 - 1)*1. Is a >= p?
False
Suppose 30 = -4*t + 3*w, 4*w = -3*t - 20 - 15. Let a(i) = 11*i**3 - i**2 - 2*i - 1. Let m be a(-1). Which is smaller: m or t?
m
Let i be (-25)/4 + (-1)/(-2). Let t(s) = -6*s**2 + 115*s - 26. Let g be t(19). Which is smaller: g or i?
g
Let c = 154 + -92. Suppose c = -2*u + 2*t + 18, -2*u = 2*t + 56. Let s be (-34)/40 - 15/u. Is -3/10 at most s?
True
Let d = 2252 - 2239. Is -24 at least d?
False
Let s(v) = 2*v**3 - 2*v**2 - 2*v. Let t be s(2). Let n = -1 + t. Let c be (0/(-4 + n))/(-2). Are 3/5 and c equal?
False
Let t(c) = -12*c + 2. Let p be t(-1). Let o = -14 + p. Let h = -51 - -361/7. Is o < h?
True
Let f be (-7 - -5)*-1*(5 - 6). Are f and 64.1 equal?
False
Let u be ((-12)/(-24))/(1/12). Suppose 0 = 2*h + 8*h + 100. Let p be (h/20)/(31/u). Which is smaller: p or 0?
p
Let a be (-30)/(-8)*39/130. Let u(b) = -b**3 + 3*b**2 - 2*b. Let o be u(2). Which is bigger: o or a?
a
Let h(s) be the third derivative of s**5/10 - s**4/12 - s**3/6 - 4*s**2. Let c be h(-1). Is c bigger than 9?
False
Let v be -6 + (-15)/3 + 2 + 3. Which is smaller: v or -76/15?
v
Suppose -4*s = -1076 + 388. Which is bigger: s or 176?
176
Let m(s) = -79*s**3 - 8*s - 8. Let j be m(-2). Which is smaller: j or 639?
639
Let n be 2/4*-2*-7. Suppose -x + 3*l = -2, -x - n*l - 5 = -3*l. Let h be (-2 - -1) + x + 1. Do h and -3 have the same value?
False
Let q(v) = -v**2 + 55*v - 724. Let t be q(44). Are t and -242 nonequal?
True
Let v be (-10)/(6/(-3)) + 1. Suppose -v*g + 3*g = -21. Let b = 12 - g. Which is smaller: b or 0?
0
Let w be (-15)/(-40) - (-1863)/72. Which is smaller: 27 or w?
w
Let h = -2.164 - 0.136. Let p = h + 1.3. Let c(l) = 2*l + 9. Let r be c(-6). Is r bigger than p?
False
Let n be (-22)/(-14)*2*1. Let g(a) = 39*a + 900. Let m be g(-23). Which is smaller: n or m?
m
Let q(o) = 7*o + 28. Let j be q(-13). Let v = 63 + j. Which is greater: -1.9 or v?
v
Let m be 2/((-2043)/2001 + 1). Let j = 95 + m. Let x(y) = -y**2 - 14*y - 27. Let r be x(-12). Which is smaller: j or r?
r
Let g(s) = -s - 4. Let k be g(-4). Suppose -39 = 5*n + y, 2*n - 3*y + 2 = -k*n. Let x(q) = q**3 - q**2 + 4. Let i be x(-2). Is n equal to i?
False
Let r(x) = -11*x**2 - 3*x - 2. Let y(l) = 34*l**2 + 10*l + 7. Let g(d) = -7*r(d) - 2*y(d). Let j be g(1). Which is smaller: 5 or j?
5
Let h be -4 + (-2 - (-3156)/525). Which is greater: h or 1?
1
Suppose 4*b + b = 0. Let r = 10.16 + -10. Let p = r - -0.14. Is p greater than b?
Tr