b) = -17*b**3 - b**2 + b + 1. Let y be s(-1). Suppose -5*a + a = -5*n + 36, 0 = -4*n - y. Let j be (-232)/a - 12/(-28). Are 17 and j nonequal?
False
Suppose 133 = -95*j + 102*j. Let w be (-11 - -81)/(2/j). Which is greater: w or 666?
666
Let m = -1.358 + 0.258. Let k = 1 + 0. Let a = k + m. Do 12 and a have different values?
True
Let u(s) = -s**3 - 14*s**2 + s + 12. Let x be u(-14). Let k = -32 + 33. Let r be 39/(-8) + k/(-8). Is r > x?
False
Let t = -4422 - -4421.9285. Does t = 2/11?
False
Let g(n) = 3*n**2 - 36*n - 1464. Let j be g(0). Which is greater: -1 or j?
-1
Let c be (96/(-28))/((-10)/455). Which is greater: c or 154?
c
Suppose 6 = -z + 4*z. Let n be (-30)/(-5) + 5 + (-8 - -1). Suppose 0*d - z*d - n = 0. Is d >= -2?
True
Let h = -0.585737 - -0.478737. Let a = -2 - -1.8. Is h smaller than a?
False
Let m(j) = 2*j + 21. Let x be (135/(-15))/((-6)/(-8)). Let d be m(x). Which is greater: 0.21 or d?
0.21
Suppose -23*v - 1 + 93 = 0. Suppose -5*c - 10 = k - v*k, -35 = 4*k + 3*c. Is k greater than -38/9?
False
Let w be (-1)/(-12)*(-2)/4. Let z = -41/1789 - -314417/214680. Let o = z + w. Which is bigger: o or -2?
o
Let w = -55/1121 + 6/59. Let l be (-158)/711 + ((-428)/(-2250))/1. Let o = l - 109/500. Is o not equal to w?
True
Let l be -19 - (17 - (-15 - -2658)). Which is greater: l or 2605?
l
Let y = -5632/39 - -144. Let a = -2786 - -2785. Is y != a?
True
Let s = -1776 - -1786. Is s <= 52?
True
Let h = 498114.03 + -498114. Let y = -1.7 + 2. Which is smaller: h or y?
h
Let k be (-8)/(-13 + 15) - 5/(530/(-224)). Which is bigger: -1 or k?
-1
Let f(l) = -66*l + 647. Let w be f(12). Is w > -1025/7?
True
Let a(q) = 12*q - 7 + 15*q**2 - 14*q**2 + 2 - 3 - 4. Let x be a(1). Is x equal to -2/1409?
False
Let n = -101.28 + 494.63. Let w = n - 393. Is w not equal to -10?
True
Suppose u + 2*b - 6 = -u, -4*u + b = 3. Suppose -521*c + 519*c - 70 = u. Let t(j) = 5*j. Let r be t(-7). Is r < c?
False
Let x be (-8)/6*(-5)/870*4863. Let o be ((-16)/(-12))/(1/(-28)). Let y = o + x. Which is bigger: 1 or y?
1
Suppose -2*q - 14 = -5*s, 5*s - 35 + 0 = -5*q. Suppose u - 3*u - 5*z + 78 = 0, -2*u = 3*z - 74. Suppose 10 = -s*f - u. Is f at least -11?
True
Suppose 0 = -10*t + 4*t - 17*t + 1518. Let m = -10539/5 - -2173. Which is bigger: m or t?
t
Let i = -656.6 - -1128. Which is smaller: i or 1?
1
Suppose -11*h + 10*h = -1. Let a be (12/8*2)/h. Is 8 at most a?
False
Let a be 1*(2/6)/((-10)/150). Let k be 30/170*(-1)/a. Is 0 <= k?
True
Let c = -30 - -29.986. Let w = c + 0.044. Let p = -1.83 + w. Which is smaller: p or 2?
p
Let h = -11112 - -22641/2. Let b = -208 + h. Which is greater: b or 100?
100
Let h be (-4)/((-4)/18 - 1133/(-5544)). Suppose 36*d - h = 43*d. Is d at least as big as -31?
False
Suppose 5*r - 4*c - 4927 = 0, 6*r + 2*c = 7*r - 995. Which is smaller: 974 or r?
974
Suppose 5*c - 5*f + 680 = 0, 2 = -2*f + 6. Let n = -222 - c. Which is bigger: n or -86?
-86
Let f(k) = -19828*k - 39655. Let q be f(-2). Let r be 35/53 + 2/(-3). Is r < q?
True
Let o be (-3479)/21*(-5)/(15/99). Which is smaller: o or 5466?
5466
Let t(r) = -6*r - 21. Let c be t(-4). Suppose -1 = -2*h - c. Let a be 6 + -6 - (h - -1). Which is greater: -1 or a?
a
Let x = -56780656087/208 + 272982903. Let w = -2041/2 - x. Which is smaller: 1 or w?
w
Let r = -16 + 13. Suppose -52*b - 29 = 543. Which is greater: r or b?
r
Suppose -7*r - 2210 = 6*r. Let m be (-4)/196 - (r/(-35) + -5). Is -1 < m?
True
Let v = -113 - 49. Let j = 279 + v. Is 116 less than or equal to j?
True
Suppose 20*a - 8*a - 264 = 0. Suppose -4*t = 7*t + a. Let s be 3 + t + (-5)/14. Is s < 0?
False
Let k(h) = 159*h + 5480. Let m be k(-26). Is 1 smaller than m?
True
Suppose 51 = 5*f + 4*o, -f + 3*o + 3 - 8 = 0. Let n be 102/(-30) - (1 - f/5). Let q be ((-21)/(-357))/((-1)/n). Which is greater: q or 0?
q
Let n = 176 + -81. Suppose -w + 812 = -3*r - 0*w, 0 = -4*w - 16. Let v = -176 - r. Which is greater: v or n?
v
Let w be 4/24 - 410712/1307376 - (-2)/14. Which is smaller: 0 or w?
w
Let d be 2/(-10) + (9 - (-882)/(-90)). Let a = -5549 + 2663521/480. Is a bigger than d?
True
Let z = 25391 - 25388. Which is smaller: z or -689?
-689
Suppose -2293*n + 2285*n - 16 = 0. Which is bigger: -58/85 or n?
-58/85
Suppose -95*f + 2100 + 275 = 0. Is f at most as big as 290/11?
True
Let i(p) = -6*p**2 - 6*p - 13. Let o be (-15)/(-6)*3/30*-16. Let d be i(o). Which is bigger: d or -86?
d
Let j(i) be the third derivative of -i**4/8 - 5*i**3/3 - 11*i**2. Let r be j(-8). Let z be 0 - 9*2/r. Are -2 and z unequal?
True
Let o = -3 + 4. Let p = 902 + -592. Let r = p - 312. Is o != r?
True
Let j = -240 - -582. Let b = j - 340. Are 1.5 and b equal?
False
Let w = 90 + -30. Let p be 80/w*(-9)/(-165). Is p > -1?
True
Let m be (52/13 + -40)*(74/(-6) - -3). Is m equal to 671/2?
False
Suppose 19*d + 8*d - 113 + 437 = 0. Is d bigger than -219?
True
Let a = -12 + 13. Let y = 172.907 + -173. Let u = y - 0.147. Is u smaller than a?
True
Let q be 9/1395*10/(-8). Which is greater: q or -1?
q
Let v = -26 + -26. Let o be v + 52 + 1/248. Which is smaller: o or 0?
0
Let q(x) = -761*x + 6088. Let z be q(8). Is -71/119 greater than or equal to z?
False
Suppose 19*i - 12 = 7*i. Let w be (2 - (80 + i - -3))/2. Is w greater than -43?
True
Let c(j) be the third derivative of -j**4/24 - j**3/2 - 13*j**2. Let s be c(-2). Let h be s*4/10*-15. Which is smaller: h or 14/3?
14/3
Let b = 25133.79 - 25134. Which is greater: 13 or b?
13
Let k be ((-36)/21)/((-8)/(-1596)). Is -334 < k?
False
Let u = -99 - -75. Let g be (-8)/(-273)*18/u. Is g not equal to 1?
True
Suppose 0 = -2*a + 2*l - 10, 5*l - 2*l = -3. Suppose -5*k + 97 + 8 = 0. Let d be k/14*1/a. Is 0.31 greater than or equal to d?
True
Let q(w) = -13*w**2 - 53*w - 106. Let u be q(-3). Is -1/5 greater than u?
True
Let o be (98/(-4))/(-4 - (-42)/12). Let l be (-56)/o*195/(-10). Which is smaller: l or 21?
21
Let i be ((-5)/2)/(-5) + 21/2. Let y be (-10 + i)*10/2. Suppose a + 4*j - 2 = 0, y*j + 40 = 2*a + j. Do 0 and a have the same value?
False
Suppose -4*i + 5*x + 766 = 0, -258*i - 582 = -261*i + 5*x. Is 199 less than i?
False
Let b be (20/(-4) - -1) + -2. Let v = -41 + 50. Let c be 75/v*2/10. Which is greater: c or b?
c
Let t(a) = -a**3 + 25*a**2 + 31*a + 369. Let n be t(27). Which is smaller: n or -270?
-270
Let z be (-4)/10 + 33/15*-8. Let d = -19 - z. Let h = 5/14 - 3/14. Is h at most as big as d?
False
Let p be ((-36)/252)/(-1 - -2) - 622/301. Is -1 greater than p?
True
Let k(s) = -22*s + 19. Let q be k(1). Let y be 50*((-3)/4*-2)/q. Is y smaller than -24?
True
Let r(u) = -u**3 + 5*u**2 + 4*u - 1. Let w = -19 + 25. Let o be r(w). Let v = 53/4 - 13. Is v at most o?
False
Suppose f = 3*q + 206 - 223, 5*q = -3*f - 93. Is f equal to -33?
False
Let q(v) = -9*v**2 + 71*v - 1003. Let b be q(16). Do -2171 and b have different values?
False
Let d be 115/125 - 1 - (-3927)/1275. Are d and 613 equal?
False
Let v be (-396)/594*(-9)/167172*4*-1. Which is smaller: 1 or v?
v
Let n = 120 + -117. Suppose n*m + 34 = 97. Which is bigger: m or 18?
m
Let v = 20/1447 + 4241/7235. Which is bigger: v or -1111?
v
Let z = 13/38 - -3/19. Let o = -687.16 + 666.36. Which is smaller: z or o?
o
Suppose 5*p + 12 = -2*n, -5*n + 4*p - 18 = 12. Let w be (-10)/(3/(-2)*n). Let q = 8203 + -8204. Which is smaller: q or w?
w
Suppose 10*l = 6*l + 5*b, l - 25*b = -24*b. Do -33/470 and l have the same value?
False
Let c(w) = 303*w**2 - 6*w - 15. Let f be c(-8). Let o = f - 5574981/287. Are o and -1 equal?
False
Let x = -76 - -78. Suppose -x*m - 4 = -6*m. Suppose 5 = l + 4*l. Is m bigger than l?
False
Let q = 39.336 - 39. Let u = 0.4 - q. Let i be (-18)/(-36) - ((-28)/(-8) - 3). Is i >= u?
False
Let q(j) be the third derivative of -j**6/120 - j**5/15 + j**4/6 - 5*j**3/6 - 71*j**2. Let o be q(-5). Which is bigger: 2/869 or o?
2/869
Suppose -34 - 1105 = 17*g. Which is smaller: g or -1294/19?
-1294/19
Let d be (-2*1 + 3 + -1)*(-280)/(-1120). Which is smaller: d or 1/1870?
d
Let q be ((-12)/21)/2 + (-1630653)/(-2142). Let y = q + -761. Is y > 0?
False
Let m = 147 - -42. Let d = -186 + m. Do d and 46/13 have different values?
True
Suppose -18*b + 122490 = 3*y, 0 = 3*b + 3*y - 7720 - 12695. Is b equal to 6804?
False
Let c = -13757/9 + 287/9. Which is smaller: -1496 or c?
c
Let k be (-