4. Is b at most -260?
False
Let c = -26/301 + 9328/73143. Which is smaller: c or 0?
0
Let o be (-6 + 8)*(6 - 1 - 1). Which is smaller: 336/41 or o?
o
Suppose -3 = -3*n + 5*n - m, -3 = -m. Let x be (((-528)/(-344))/(-11))/((-12)/8). Which is smaller: x or n?
n
Suppose -4*i + 9*m = 13*m + 8, 3*m + 6 = 3*i. Which is greater: -64/69 or i?
i
Let l be ((-54)/(-4))/(16/1152*27). Let y = 4266 - 21143/5. Is l at most y?
True
Let l be 0/(-2)*(1 + -2). Let b = 8955 - 8950.841. Let s = b + -0.159. Is s > l?
True
Suppose l - 5*l = 0. Let r(h) = -6*h - 43. Let n be r(-8). Let z be n/(-20) - 33/748. Which is smaller: z or l?
z
Let a = 0.1296 + 4285.8704. Do -1/4 and a have the same value?
False
Let g be (-86)/645*((-726)/(-358) + -2). Let p = -391/39201 + g. Which is bigger: 1 or p?
1
Let m be (-7)/(266/(-1121)) + (-7)/2. Suppose 3*i + 5*l = 5, 5*i + 3*l - 17 = -l. Suppose -i*f - 2 = -7. Is f less than m?
True
Let p be 1/(416/2)*1. Let i = p + -419/624. Is i <= -25?
False
Let g(k) = 143*k**2 + 168*k + 19. Let v be g(-2). Which is smaller: 249 or v?
249
Suppose -4*m = -3*b - 101, 0 = -5*m + 3*b - 93 + 226. Is 32 <= m?
True
Let a = -597 + 10141/17. Let j = a - -90/119. Do 18 and j have different values?
True
Let a = -15618 - -15504. Is a greater than -118?
True
Let b(a) = -a**3 + 10*a**2 - 29*a + 33. Let o be b(11). Let y = -815/2 - o. Is -256 > y?
False
Let c(h) = -h**2 - 8*h - 1. Let w be c(-8). Let u be 4/77*343/882*(-3 + 9). Which is smaller: u or w?
w
Let t = -1 - 1. Let f be ((-21)/t)/(39/(-52)). Is -14 <= f?
True
Let w(o) = o**2 + 11*o + 29. Let j be w(-11). Suppose 0 = 2*u - 5*t - j, -2*u = -2*t + 9 - 23. Is 2 smaller than u?
False
Suppose 11 + 9 = 5*d. Let p(i) = 5*i - 19 + 4 - d*i. Let q be p(16). Is 1/67 smaller than q?
True
Let g = -1052/35 - -53659/1785. Is g less than or equal to -2?
False
Let u = -9878/9 + 1097. Let r be (-4)/((-8)/6) + -1. Let c be 1/(-1) + (2 - r). Which is smaller: c or u?
c
Let j = -29 + 34. Suppose -2*l = 0, 0 = 3*g - 4*l - j + 8. Suppose 0 = s - 3*b + 23, 16*b + 15 = 19*b. Is s at least g?
False
Suppose 2*r - 67 = -5*a, -5*r + 26 + 14 = 4*a. Suppose -79 = a*l + 11. Suppose 2*j + 11 = -4*d - 17, -4*j - 8 = -4*d. Is j less than l?
False
Let l be 1/(-2)*(-8216)/(-110). Let s = -179/5 - l. Which is smaller: s or 1?
1
Let c = 5609 - 4678. Is c at most as big as 931?
True
Let b(r) = 369*r**3 - r**2 + 49*r + 103. Let w be b(-2). Which is smaller: -5903/2 or w?
-5903/2
Let o = -513 - -513.0045. Let p = 6.9955 + o. Which is bigger: p or 36?
36
Suppose 8 = -i - 6. Let v(b) = -b**3 - 15*b**2 - 16*b + 12. Let o be v(i). Suppose 3*c = -1 + o. Do 10 and c have the same value?
False
Let t = -1.908 + -0.092. Let p = 31 - -7.1. Let n = p + -41. Which is smaller: t or n?
n
Let g = -3.881 + 1.411. Which is greater: g or -4?
g
Suppose 3*v + 2366 = -4*v. Let f be (((-39)/v)/((-3)/1))/(-1). Which is smaller: 0 or f?
0
Let d be 370/6*(-3)/4. Let v = d + 46. Let c = 232823 - 232823.06. Is c not equal to v?
True
Let s = 44 + 166. Let h = s + -209. Let a = 3998/7 + -570. Are h and a equal?
False
Let y be (2/10)/((-1)/(-25)). Suppose 0 = -0*k - 2*k - y*j, -k + 5*j = 0. Let s = 0 - k. Which is smaller: 1/4 or s?
s
Let f(v) = 8*v - 29. Let g(t) = -15*t + 57. Let p(c) = -5*f(c) - 3*g(c). Let w be p(5). Is w <= -2/245?
True
Let o = 1.2714 - 2.5614. Which is bigger: 40 or o?
40
Let c(b) = 29 + 2 - 11*b**3 + 10*b + 4*b**3 - 12. Let x be c(-2). Suppose -3*o = -0*o - 165. Are o and x non-equal?
False
Suppose w - 44 = -5*n, -3451*n + 3450*n = 3*w + 50. Let i be ((-14)/(-4) - 1)*6. Is n less than i?
True
Let v be -12*(-14)/84 + (0 - 2). Is v less than or equal to -10/677?
False
Let n be (32/(-40) + 1/(-2 + 7))/25. Which is bigger: 0 or n?
0
Suppose -3*y + 8*y - 2*n - 179 = 0, -4*y + 4*n + 136 = 0. Suppose 3*x = 7 - 16. Let w be (-77)/33*(x - -3 - 15). Which is bigger: y or w?
y
Suppose -z = -44 + 53. Let y be ((-4 - z/3)*-1)/89. Which is smaller: y or 1?
y
Let r = -33 - -31. Let p be r/((-4)/(-1) + -3). Let i(f) = f**3 + 11*f**2 + 11*f - 1. Let v be i(-10). Do v and p have the same value?
False
Let k be (11 - -1)*21/(-14). Let h be (-15 - -8)*k/(-7). Suppose 0 = -2*l - 2*j - 32, -4*l + j = -j + 76. Is l at least h?
True
Suppose 4*h = -h - 25, -5*k + 2*h = 10. Suppose -106*w + 86*w - 520 = 0. Which is bigger: w or k?
k
Let c be ((-76)/7)/((-61)/(-427)). Is c at least as big as -78?
True
Suppose -2*i - 2*d = 2*d, 0 = 3*i + 5*d. Suppose -3*j - 2*j = -2*v - 9, 4*v - 12 = i. Let b be 1/(-2)*(3 - j). Which is smaller: b or -1/86?
-1/86
Let b = 285 + -285. Suppose b = -6*t - 3*t + 216. Is t > -4?
True
Let u = 8007 + -96083/12. Is u at most as big as 86?
True
Let m = 487.08 + -485. Let v = -2.03 + m. Is v >= -2?
True
Let g be (-2)/(-15) + 32595/225. Which is smaller: 134 or g?
134
Let u be ((-4)/(-16)*6)/(6/4). Let n be -4 - 38/(u - 2). Let j = n - 14. Is j < 20?
False
Let b = -13916 + 13914.68. Is b greater than 0.69?
False
Let q = -0.0497 - 0.4203. Let l = q + 20.47. Which is smaller: l or -2?
-2
Let u = -24397 + 6294445/258. Is 1 less than u?
False
Let d(z) = -2*z**3 - 49*z**2 + 44*z + 88. Let h be d(-25). Which is smaller: h or -388?
-388
Suppose -2*a - 10*h + 1424 + 952 = 0, -a - 4*h = -1182. Is 0 less than or equal to a?
True
Let t(l) = -l**2 - 7*l - 7. Let n be t(-6). Let r = 61.991 + -62.1. Let p = r + 16.109. Which is smaller: p or n?
n
Let x be 155488/(-3784) - (20/22 + -1). Let z(d) = 10*d + 9. Let g be z(-5). Is x at least as big as g?
True
Let x be 22/(4/18 - (-32)/18). Suppose 26*c - 149 = 137. Is x at least as big as c?
True
Suppose -5*f = -9*f - 32. Let a be ((-6)/7)/(f/24). Let n = -2397 - -2396. Which is smaller: a or n?
n
Let w(g) = 1. Let f(a) = a**3 - 2*a**2 - 8. Let h(y) = -f(y) - 5*w(y). Let j be h(-3). Suppose 6*c + j = 10*c. Which is smaller: 15 or c?
c
Let u be (-24)/18 - 32/(-6) - 1. Let p be -5 - ((-6)/6 - u). Is p < 5?
True
Suppose -172 = -9*r + 719. Let c be 24/7 - 396/r. Is -1.1 at least as big as c?
False
Let m(i) = 831*i**2 - 115*i + 345. Let c be m(3). Is 7480 less than or equal to c?
False
Let c(h) = -h**3 - 7*h**2 + 16*h + 23. Let t be c(-9). Let k be t/3 - 10/15. Let s = k - 23. Which is bigger: s or -8?
-8
Suppose 3*d - r - 48384 = 0, 2543*r - 2544*r = -4*d + 64513. Which is greater: 16130 or d?
16130
Let w = 0.3085 - -1436.6915. Is w at most 1?
False
Let l be 21 + ((-5)/(-2))/(2/(-4)). Suppose -7*k + l*k + 72 = 0. Which is bigger: k or -12?
k
Let q be 7/6 + 2/(-4). Suppose -4*k + 17 = 4*p - 79, 15 = 5*k. Suppose -5*o = 7*s - 4*s - p, -3*s + o + 3 = 0. Do s and q have the same value?
False
Let s = -70 + -24. Let i = s + 99. Suppose a + 6 - 2 = -m, 3*a + 20 = i*m. Which is smaller: m or -2/165?
-2/165
Let u = -100739/58110 + 1/3874. Let m = 2/5 + u. Which is smaller: m or 1?
m
Let q be 9*11*(-3 + 4). Let n be -10 - q - (-4)/(-2)*1. Let w = 100 + n. Which is greater: -6 or w?
-6
Let h(d) = -d**2 - 40*d - 312. Let m be h(-29). Let g be (221/117*6)/(-1 - m). Which is greater: -1 or g?
-1
Let p(l) = -635*l + 102. Let h be p(1). Which is smaller: -534 or h?
-534
Let p = 3013 - 27115/9. Is p <= -154/17?
False
Let v = 8.875 - 1.15. Let o = -7.48 + -0.22. Let z = v + o. Which is bigger: z or 0.1?
0.1
Suppose 5*y - 8*a + 135 = -3*a, 0 = -2*y - 4*a - 60. Let g be 3/4*y/42*2. Do g and -2/41 have the same value?
False
Let x = -36258 - -36259. Which is greater: -2/20363 or x?
x
Let b = 50.75 - 32.75. Which is smaller: b or -23.8?
-23.8
Suppose 0*l - 22 = -q - 3*l, 3*q = -5*l + 86. Suppose -3*y - 12*y = 1350. Let x = y + 125. Is q smaller than x?
False
Let y be 3/(-7) + 2302140/476. Let b = -24488/5 + y. Is b less than or equal to -61?
True
Let m = 1814 + -883. Let z be 7/m*7*2. Is -3 bigger than z?
False
Let t(p) be the third derivative of -p**5/60 + p**4/6 - 9*p**2. Let f be t(3). Suppose -f*c - 56 = 5*c. Is c greater than -7?
False
Let o(g) be the first derivative of g**2/2 + 34*g + 20. Let j be o(-9). Is 24 bigger than j?
False
Let s = 3410 - 3501. Which is bigger: s or -95?
s
Let z = 206 + -2682/13. Suppose 0 = 20*o + 11*o + 28*o. Which is smaller: z or o?
z
Suppose -3*l - l = -4*j - 72, 62 = -4*j + 2*l. Let w be (-2)/j + (-2)/13. Let t = -16.06 - -2.06. Which is bigger: w or t?
w
Let q = 213 + -191. Let p be -21 + q + (-10)/(-3). Sup