. Which is smaller: b or 273?
b
Let r = 3.36 + -4043.36. Which is greater: 1 or r?
1
Let m be (-324)/(-63)*92/16*1022. Let k be ((-12)/(-8))/(m/24 + -6). Which is smaller: -1 or k?
-1
Let j = -8271 - -7749. Which is bigger: -2085/4 or j?
-2085/4
Let g be (-2)/9 + (-51385709)/4689. Is g at least as big as -10958?
False
Let k be 0/(-21) - (-3 - -1). Let l be (20 + -16)*1/k. Which is smaller: 19/9 or l?
l
Let n = -31 - -32. Suppose -4*b + n = 5. Let x be -3 + b + ((-81)/6 - -4). Which is smaller: -14 or x?
-14
Let d(b) = 2*b**2 + 280*b - 13793. Let n be d(0). Is n < -13793?
False
Let v(d) = d + 12. Let z be v(-1). Suppose 5*y + 2*c - c = 8, 4*c = y + z. Which is smaller: -4 or y?
-4
Let m = 36709 - 30108. Which is smaller: 6599 or m?
6599
Let d(u) = -u**2 - 32*u + 529. Let a be d(12). Is a less than -34/279?
False
Let l(u) = u**3 - 18*u**2 + 19*u - 10. Let o be ((-28)/49)/(2/(-14)). Suppose 5*w = -o*i - 19 + 67, -4*i - 2*w = -60. Let n be l(i). Which is bigger: 26 or n?
26
Suppose 0 = -3*f - 3*u + 18, 17*u - 15*u - 16 = -3*f. Suppose -150 = -5*y - 5*b + b, f*b = 20. Which is greater: 28 or y?
28
Suppose -4*u - 2*u = 1206. Let s = u - -210. Which is smaller: 39/4 or s?
s
Suppose -4*d - 11 = -u, 10 = 3*u - 4*d - 7. Let m be 4 - u/((-60)/(-85)). Which is smaller: -47.3 or m?
-47.3
Let u(m) = 5*m**2 + 59*m + 125. Let d be u(-9). Which is bigger: d or 31/184?
31/184
Let s(t) = 2*t - 3. Let w be s(6). Let b = 201678 + -201666. Are w and b unequal?
True
Let h = 6 + 14. Let u be (-7)/(-3) - h/90. Are u and 2 equal?
False
Let w = -515 - -449. Let d be (-3)/(-6) - (-33)/w. Which is smaller: 36/5 or d?
d
Let a = -85/27 + 739/189. Let h = a - -4/7. Suppose -34*n = 15*n + 48 - 146. Which is smaller: n or h?
h
Let v be ((-1 + 2)*-27)/1. Let y be (-176)/5 - (8 + -3)/(-25). Let z = v - y. Which is smaller: 7 or z?
7
Let g(d) = d**3 + 25*d**2 - 54*d - 1. Let r be g(-27). Let j be -265*1*(-2 - r). Is j > 265?
False
Let m(h) = h**2 - 125*h - 530. Let a be m(-4). Let c = 6 - 20. Is c < a?
False
Let s = -0.4 - -1.4. Let i = -24.2 + 29.2. Is s at most as big as i?
True
Let a = 9.471 + 1042.529. Which is greater: a or -3?
a
Let s(o) = -2*o**3 + 7*o**2 + 16*o - 4. Let u be s(5). Let x be 72/(-576) + 0/u. Which is bigger: x or 0.11?
0.11
Suppose 0 = 14*g - 11*g + 282. Let u = g + 39. Let a = u + 63. Which is smaller: a or 6?
6
Let k(r) = -6*r**3 + 19*r**2 + 17*r + 25. Let d(x) = -5*x**3 + 19*x**2 + 15*x + 25. Let m(i) = 7*d(i) - 6*k(i). Let j be m(-19). Which is smaller: j or -2?
j
Let p = -124.26 + 121.26. Are 47/6 and p unequal?
True
Let y(d) = 2*d**3 + 12*d**2 + 22*d + 120. Let i be y(-6). Suppose u - 180 = 4*m - u, 0 = 3*m - 5*u + 135. Let v be 9*(264/m)/4. Is v at most i?
True
Let r(x) = x**2 + 5*x + 5. Let v be r(-3). Let l be 2 - 4 - v - -8. Suppose 0 = 2*s + l - 13. Which is smaller: 4 or s?
s
Let y = 422/749 + -2150432/6741. Which is bigger: -319 or y?
y
Suppose -3*v + 139 = -890. Suppose 5*r - 500 = -5*o, 3*r + 4*o + 42 = v. Suppose 7*q = -104 - r. Is -28 < q?
False
Let j = 20927 + -9744. Which is greater: j or 11184?
11184
Let f be 3015/18 - 7/(-35). Is 169 equal to f?
False
Let s = -3193 - -3222. Let h = 28375 + -368509/13. Do h and s have the same value?
False
Suppose 34*m + 9163 = 83*m. Which is smaller: m or -4.6?
-4.6
Let p(x) = -x**3 + 40*x**2 - 71*x - 281. Let a be p(30). Does a = 2/3?
False
Suppose 28*p + 2321 + 19 = 2*p. Let h = -13 + 12. Which is bigger: h or p?
h
Let k(o) = o**3 - 6*o**2 - 3*o - 9. Let g = -8 + 15. Let b be k(g). Let q be (477/15 - 1925/(-875)) + -16. Is b not equal to q?
True
Suppose n + 2*n = 2*b, -4*n = -b. Let u = -24532 + 24528. Is u <= n?
True
Suppose f + 79 = -2*l - 2, -155 = 4*l + 3*f. Which is bigger: -38 or l?
-38
Let m = 1680 + -1676. Are 33.6 and m nonequal?
True
Suppose 0 = 2*j + 76 - 76. Suppose 3*w = -0 - 3. Let a be 0 + (-96)/(-93) + w. Are a and j equal?
False
Let s = 2.651 - -0.399. Let l = s + -2.95. Let i = 0.03 + 0.12. Which is smaller: i or l?
l
Let f = -0.0702 - 4.9298. Is 0.138 not equal to f?
True
Let c = 48 + 339. Suppose -7*x - 2340 = -c. Is -280 <= x?
True
Let z be 148/259 - 5154/1008. Which is greater: -6 or z?
z
Let p = -200 - -3. Suppose -2161 = 18*u - 935 + 2302. Is p greater than or equal to u?
False
Let i(b) = b**3 - 22*b**2 + 34*b - 178. Let c be i(36). Which is smaller: 1 or c?
1
Suppose -25*q + 27*q = -5*d - 60, -d = 2*q + 4. Let m(r) = r**2 - 3*r - 7. Let g be m(5). Let a = g - 16. Which is greater: d or a?
a
Let p(u) = -6*u**2 + 50*u - 99. Let z be p(4). Are z and 1122 unequal?
True
Let j = 0.37454 + 0.40646. Is j greater than 0?
True
Let g = -676 + 676. Which is smaller: g or 268/5?
g
Let p = -255516 - -133123838/521. Let y(r) = r**2 - r + 1. Let c be y(0). Is c smaller than p?
False
Let c = 30258 - 30423.97. Let g = 166 + c. Suppose 4*u = 20, -h + u = h + 9. Is h bigger than g?
False
Let l(k) = -k**3 + 17*k**2 - 24*k + 124. Let n be l(13). Is n not equal to 3422/7?
True
Let g = 359253/19 - 18908. Let c = 41/33 + -10/11. Is g less than or equal to c?
True
Let k = -4181 - -4743. Is 560 less than or equal to k?
True
Let s = 5221 + -5214.82. Which is smaller: s or -2/15?
-2/15
Let f = -1626.4 - -1625. Is -0.056 < f?
False
Let z be (-356)/492 - (-2)/6. Let b = -105702 - -105702. Is b < z?
False
Suppose 4*d + 11*r = 6*r + 31, -2*r + 2 = -d. Suppose -3*s - i + 0*i = -63, -s + d*i + 8 = 0. Let z = s - 20. Are 2/37 and z nonequal?
True
Let i = 3183 - 2979. Which is smaller: -8 or i?
-8
Let f(m) = -2*m**2 + 5*m - 4. Let a be f(3). Suppose -152*s + 49*s - 442 = -69*s. Which is bigger: s or a?
a
Let f be (-30)/(-6) - ((-3482)/(-868) + 1). Is 1 greater than f?
True
Let o be (-2)/((-6300)/3130) - (0 + 1). Let i(u) = u + 7. Let j be i(-7). Is j greater than or equal to o?
True
Suppose -60*l + 8921 = -71*l. Let w = 12979/16 + l. Let c(j) = -j**3 - 3*j**2 - 2*j. Let t be c(-2). Which is bigger: w or t?
w
Let b be -4 + (555 - 1) + 5 + -1. Suppose 3*j = 578 - b. Is j greater than or equal to -20?
True
Suppose -86 = 2*q - 26. Let s be 0/(-4) - q/(-8). Let m(r) = r**3 + 41*r**2 + 383*r + 132. Let b be m(-27). Is s bigger than b?
False
Let o(p) = 19*p**3 + 5*p**2 + 8*p - 45. Let d be o(2). Is d less than 207?
True
Let s = -86 + 118. Suppose -s*r + 26*r - 78 = 0. Let p = -0.8 - -1.1. Is r at least p?
False
Let g = 214 + -367. Let n = g - -192. Which is bigger: n or 38?
n
Let j be ((-1026)/81)/(-4 - (-260)/66). Which is smaller: -24 or j?
-24
Let x be 1/(-248) + 4*3/32. Let s = -4/31 - x. Which is greater: s or 2/21?
2/21
Let k(n) = n**3 + n**2 - 6*n + 2. Let u be k(-3). Suppose -u*w = -47 + 39. Let l be (-2)/(-5) - w/10. Which is greater: l or 3/4?
3/4
Let l(d) = -9*d**2 - d + 9. Suppose -4*f + j = -13, 5*f - 2*j - 28 + 11 = 0. Let i be l(f). Let p = i + 45. Do -29 and p have the same value?
False
Let o = -134 + 170. Let i be 3/258*o/(-2). Which is bigger: i or 0?
0
Let i = -62/55 - 14/11. Let b = 3 - -2. Suppose -5*g - 10 = -f - 0*f, g - b*f = -2. Do i and g have different values?
True
Let c = 11577 + -11542. Is c not equal to -147?
True
Let m = 3250 + -3587. Is m < -340?
False
Let n = -78492854/322485 - -1/64497. Is -244 > n?
False
Suppose 4*z + 42 = 5*o, 3*z + 7 + 2 = 0. Suppose 106*j + o = 112*j. Which is greater: j or -2/2579?
j
Let o(w) = 11*w**3 - 3*w**2 + 32. Let r be o(6). Is r > 2298?
True
Let a = 4385 - 4384.469. Which is smaller: a or 4/3?
a
Let j = -3.95 - 0.05. Let l = -29.6 - -100.4. Let i = l + -71. Which is bigger: i or j?
i
Let l(p) = -p**3 + 3*p**2 + 20*p - 22. Let s be l(1). Is 2/447 less than or equal to s?
False
Let y(q) = -95 + 71 + 184 + 11*q. Let n be y(-14). Which is smaller: -28 or n?
-28
Suppose 4390 + 3035 = -3*j. Let q = 76717/31 + j. Which is bigger: q or 1?
1
Let u(d) = d**3 - 10*d**2 + 92*d - 1365. Let f be u(13). Which is smaller: 331 or f?
331
Let y be (-10)/((-40)/44) - 19. Let s = 2 + -5. Let h = -12 - s. Which is bigger: y or h?
y
Let z be (-3)/(-15)*-2*1135/(-2). Suppose z = 4*j - 241. Let t = 101 - j. Is -16 at least t?
True
Suppose 0 = -5*i + 38*r - 35*r + 7924, -5*i - 4*r = -7903. Is 1581 greater than i?
False
Suppose 0 = 2*y - 3*j - 1998 - 140, -4*j = -8. Suppose y = 13*b - 7. Is 83 != b?
False
Let z = 0.2 + -0.3. Let w = 2.73 + 132.27. Let a = -133.5 + w. Which is bi