et b = -12 + 12. Which is smaller: b or x?
x
Suppose 4*n + 4*r - 4 = 0, 9 = -5*n + 2*n + r. Let x be n/(-8) + 93/(-84). Let o = -73758 + 73758. Is x >= o?
False
Let g = -2325 + 2324.9. Is -146 > g?
False
Suppose 141*z + 49*z + 51*z = 5784. Which is greater: z or 455/18?
455/18
Let u = -6037 - -639927/106. Which is bigger: 0 or u?
u
Let d = -551 - -551. Which is smaller: -7/18 or d?
-7/18
Let l be (-4)/8*2*-13. Let t(d) = d**3 - 11*d**2 - 11*d + 8. Let m be t(11). Let p = m + 127. Which is smaller: p or l?
l
Suppose -14*p - 8*p - 44 = 0. Let r be 9/2*(-6 - p). Is -2 at least r?
True
Let y = -4155 - -10096. Is y >= 5941?
True
Let b be (1 - 1 - 3) + 53/(371/(-2128)). Which is smaller: b or -305?
b
Let f be (-770 - -654)/(2/(-5)). Is f != 283?
True
Let q(h) = -2*h**2 + 25*h + 14. Let l be q(13). Let t be (-1 + l/2)*(-3534)/19. Is t less than 95?
True
Let g be ((-2)/(-82))/(459/(-54)). Let o be 20/50*(-15)/6. Which is smaller: o or g?
o
Suppose 2*d = 5*m - 1568, -42*m + 38*m + 3*d = -1260. Which is smaller: m or 329?
m
Let x be (-72)/4 + (-9331)/(-516). Is -467 smaller than x?
True
Let k(f) = -2*f**3 + 57*f**2 + 84*f + 179. Let a be k(30). Which is smaller: a or -29/1432?
a
Let i(w) = -3*w**3 + 12*w**2 + 3*w - 13. Let t be i(4). Which is greater: -33/14 or t?
t
Let r be (116/16)/(1/2). Suppose -133*a + 576 = -97*a. Which is smaller: r or a?
r
Let j(o) = -3*o**2 - o. Let y be j(1). Suppose -7*v - 4*i = -8*v - 2, -3*v + 3*i + 3 = 0. Suppose v*f - 21 = -11. Which is smaller: y or f?
y
Suppose -986 = 27*v - 932. Which is smaller: -136/173 or v?
v
Let h(c) be the third derivative of -c**6/120 + 13*c**5/60 - 3*c**4/8 - 3*c**3/2 + 3*c**2 + 3. Let b be h(13). Which is greater: 0.1 or b?
0.1
Let j = 5834 - 5928. Is j smaller than -95?
False
Suppose -19*q = -47*q. Suppose q = -4*z + 22*z + 666. Is z at most as big as -37?
True
Let l = 26 - 22. Suppose -2 - l = 2*p - 2*o, -2*p - 4*o = 12. Which is smaller: -43/8 or p?
-43/8
Suppose -4*l + 5*s - 21 = 32, -l = 3*s + 9. Suppose -5*z = -0*z - 4*c + 11, -4*z - 3*c + 16 = 0. Let p be (2 - 4 - z)/(189/l). Are -1 and p equal?
False
Let t be (-94126)/(-1468358) - (-12)/(-204). Which is smaller: 1 or t?
t
Suppose 4*x = 5*c + 6416, 5*c + 97*x - 100*x + 6422 = 0. Is c smaller than -1288?
False
Suppose s - 29 = -4*c, 2*s - 3*s + c = -4. Suppose 2*k = -3*y - s, -3*k - 1 = -5*y + 3. Let q = 3/52 - 1633/364. Which is bigger: q or k?
k
Let c be (761/(-9))/1 + 39/(-5265)*-45. Which is bigger: -84 or c?
-84
Let f = -249 - -1. Let l be (-5 - f - 3)/1. Let r be l/(-90)*(1 + (-94)/40). Is 4 greater than r?
True
Let t(p) = 2*p**3 + 4*p**2 - p - 8. Let x(u) = u**3 + 3*u**2 - u - 7. Let q(l) = 2*t(l) - 3*x(l). Let k be q(0). Let v = 20 + -14. Is k greater than v?
False
Let k = -859/7 - -123. Let c = 658 - 764.8. Let d = c + 107. Is k >= d?
True
Let f = 1.5203 - 0.2003. Let x = -0.12 + -0.88. Is f greater than x?
True
Suppose -2*c - 7*c = 4*c. Let g = 51/22 + -8429/3674. Which is greater: c or g?
g
Let v(s) = s**3 + s**2 - 50. Let n be v(0). Let h = n + 48. Let g = 62 - 54. Are g and h unequal?
True
Let z = -1.1 - 21.9. Let f = 254 + -230.7. Let i = f + z. Which is smaller: i or 0.4?
i
Let b = 26 + -22. Suppose -b*f - 27 = -3*f. Let g = 27 + f. Is g > 4/3?
False
Let a = -6.829 + -0.171. Let o = a - -45. Which is greater: o or -1/2?
o
Suppose -211*m + 204*m + 49 = 0. Let f be (-3)/9 + -25*m/(-147). Let i be (1 + 1)*3/3. Do i and f have different values?
True
Suppose 0 = c + c - 4. Suppose 0 = -4*o + 8*o - 8. Suppose a + o*f = 2 - 4, 5*a = -c*f + 6. Is 3/4 at least a?
False
Let d(j) = 47*j - 136. Let r(g) = 70*g - 203. Let o(a) = -8*d(a) + 5*r(a). Let u be o(5). Which is bigger: -58 or u?
u
Let p = 1.7673 + 79.1627. Let a = -117.2 - -36.2. Let m = a + p. Which is greater: 0 or m?
0
Suppose 3*t - 15 = -24. Suppose -2*u + 30 - 18 = 0. Let a be (2/13)/(u/(-108)). Is a <= t?
False
Let l(i) be the third derivative of i**9/60480 - 5*i**8/4032 - i**6/48 + i**5/5 - 2*i**2. Let h(s) be the third derivative of l(s). Let x be h(25). Is x >= -15?
True
Suppose -4*v = -7*v - 4*w - 20, -42 = 5*v - 2*w. Let a be ((-540)/v)/(-9) + 3. Let s be ((-4)/8)/((-4)/(-40)). Which is bigger: s or a?
a
Suppose -3*g = 479*x - 474*x + 16672, 2*g + 11100 = 4*x. Is g smaller than -5550?
True
Let c = 151911/3205 - -6/3205. Let a = 97 - 50. Which is bigger: c or a?
c
Let y(f) = f**3 - 16*f**2 - f + 15. Let l be y(16). Suppose 4*a = -0*a + 3*t - 23, -4*a = -t + 13. Let h be (a - -6) + (-292)/74. Is h not equal to l?
True
Suppose -4*z - 10*t = -8*t + 568, -2*z = 4*t + 284. Let f = -130 - z. Which is bigger: 3 or f?
f
Let r = -41 - -11. Let i(p) = -30*p**2 - p. Let k(z) = -z - 2. Let h be k(-1). Let f be i(h). Is f bigger than r?
True
Let r = 169555637/2298 - 73784. Which is bigger: 0 or r?
r
Let l be (-36)/(-54)*(-3)/2. Let y = -150695/9295034 + 1/25054. Which is greater: y or l?
y
Let z = 0.055 - -82.945. Let a = -1528 - -1611.1. Let w = z - a. Is w greater than -12?
True
Let j be (-106)/(-795) - 129/(-45). Let c(q) = 2*q**2 - 6*q + 4. Let r be c(4). Suppose -i - 5 = 5*s + 15, -r = j*s - i. Which is greater: -7 or s?
s
Let d = 1283 + -1234. Let p(a) = -a**3 + 9*a**2 - 3*a + 10. Let h be p(8). Is h less than or equal to d?
False
Suppose -n - 35 = 4*r, 3*n - 29*r = -33*r - 81. Which is smaller: n or -115?
-115
Let c = 1029 - 1024. Let f = -7 + 6. Let v = f - -5. Which is bigger: c or v?
c
Let j = -5 - -4. Let p = 235.51 + -4.31. Let a = -233 + p. Which is smaller: a or j?
a
Let a = 5520 - 5619. Is -898/9 bigger than a?
False
Suppose 2*g + g + 5*m - 635 = 0, -2*g + 424 = 3*m. Let v = 95 - g. Let q be 5112/v + 8/5 + -2. Is -43 less than q?
False
Suppose -3*c + 3*w + 69 = 0, 18*c - 81 = 16*c - 5*w. Let u = -16 + 45. Is c at least u?
False
Let t be (-8)/(-72) + 9/(2268/35). Which is smaller: 1824/11 or t?
t
Let q = -4.119 + -794.881. Is -0.1 equal to q?
False
Let v(i) = 2*i**2 - 65*i + 606. Let a be v(18). Which is bigger: 97 or a?
97
Let o(a) = -33*a - 93*a**2 - 48 + 228*a**2 - 100*a**2 - a**3. Let j be o(34). Let p(z) = 5*z. Let r be p(-3). Is j greater than r?
True
Let u = -330391 + 2418131724/7319. Which is smaller: u or 0?
u
Let f(w) = -428*w + 1645. Let x be f(4). Let b(a) be the first derivative of a**2/2 - a - 3. Let j be b(0). Which is smaller: j or x?
x
Let p = 26760409 + -199097442463/7440. Let d = p + -2/465. Which is smaller: d or 1?
d
Let g be (-117)/(-234) - (-21)/(-38). Which is bigger: -71 or g?
g
Let u be 1/2 + 8/16. Let y = 548.622 - 548.6. Which is greater: y or u?
u
Let n = -45.5 - 93.2. Let c = n + 139. Which is greater: -9 or c?
c
Let s = -16 + 13. Let f be (-63)/(-6)*(-4)/s. Let z(c) = 10*c - 218. Let o be z(23). Which is smaller: f or o?
o
Let i = -526 + 271. Which is smaller: i or -249?
i
Let p = -241.95 - -286. Let z = 0.1596 + 43.8404. Let g = z - p. Is g smaller than 1/2?
True
Let w be 90/(-2)*((-39286)/7852 - -5). Which is smaller: w or -1?
-1
Let x = -19224/7 + 2746. Is x at least 77/12?
False
Let f = -53 + 37. Let z(s) = 2*s**3 + 13*s**2 - 16*s - 6. Let v be z(-7). Let c = -74 + v. Which is bigger: c or f?
f
Let q = -1377/2 - -328. Let f = q - -334. Is -28 >= f?
False
Let s = 0 + 158. Let w = s + -155. Are 48/11 and w unequal?
True
Let x(c) = c**3 - 13*c**2 + c - 93. Let s be x(11). Is -6 greater than or equal to s?
True
Let n = 0.037 - -3.963. Let m(p) = p**3 - 11*p**2 - 12*p - 3. Let x be m(9). Let z be 3/(-7) - 299/x. Is z at least n?
False
Suppose -5*t = -a - 15, 3*t + 3*a + 2*a = -19. Let d(y) = 4*y - 12. Let z be d(5). Let s be 96/15 + (4 - z). Which is greater: s or t?
s
Suppose -3*b + 6 = 0, -k + 16 = -5*k + 2*b. Let d be (k - -8)/(((-1)/14)/(-1)). Which is bigger: 72 or d?
72
Let a be (-2)/130*(1 + 0). Suppose 26*u + 23*u = -51*u - 100. Which is smaller: u or a?
u
Let p be ((-4)/2 - (-1 + -4)) + (-2317)/662. Let b = 2617/286 + -11/26. Which is smaller: b or p?
p
Let z = -14 + -38. Let s = 13.5 + z. Let d = s + 38. Which is greater: d or -3/4?
d
Let s be 60/(-55) - (-90480)/176. Which is greater: 519 or s?
519
Suppose -3*l = -4*v - 32, v = -4*l + 7*l - 35. Suppose 11*y = l*y. Is -3/152 <= y?
True
Let i(f) = 158*f + 4. Let p be i(1). Suppose p = -3*v + 5*l, -l + 251 = -5*v + l. Let c be 3/(-119) + (-7)/v. Is -6 > c?
False
Suppose -21