Which is greater: b or z?
z
Let a be 60*((-10)/(-5))/((-12)/3). Let x be (-29)/116 - (-3190)/(-104). Which is greater: x or a?
a
Let t = -10 + 5. Let k = 206 + -100. Let h = -106.3 + k. Which is smaller: t or h?
t
Let x = -194.408 - -186.63. Is x smaller than -1?
True
Let b = 218 - 202. Suppose -b*n - n = 102. Is -7 > n?
False
Let n = -14310 + 99717/7. Which is smaller: n or -64?
n
Let a(c) = -c**3 - 6*c**2 - 8*c - 11. Let d be a(-5). Let p(j) = 69*j - 22. Let i be p(d). Let y be 4 + i/(-10) + (-2)/(-5). Which is bigger: -20 or y?
-20
Let c(x) = 2*x**3 - 24*x**2 - 3*x - 71. Let q be c(-12). Is -6945 greater than or equal to q?
True
Let k = -93.852 + -0.148. Let l = k - -93.499. Let q = -0.001 - l. Which is bigger: 0.1 or q?
q
Let i(w) = -3*w**3 + 22*w**2 - 20*w + 100. Let h be i(7). Which is smaller: 326 or h?
h
Suppose 808 = 5*u - 3*t, -u + 5*t = -2*u + 184. Suppose 0 = -50*d + 48*d - u. Which is greater: d or -84?
d
Let f be (0 + 779)/((-465)/31*2/3). Are f and -79 unequal?
True
Let p be (-129599)/2541630 + 16/312. Which is greater: 0 or p?
p
Let n be -9 - (-9 - (-48)/3304). Is 1 at least n?
True
Let l be 5/6*3/(-10). Let j be ((0 - -2) + -6 + 4)*1. Suppose -6*w = -j*w. Is w at least l?
True
Let i = -126622919/56672 + -267/5152. Let s = -2237 - i. Is s at most as big as -2?
True
Let m(l) = 4*l**2 - 21*l - 75. Let k be m(-4). Which is bigger: k or 84?
84
Suppose 13*r - 43 = -472. Let g be (10/55 - (-2316)/r) + 0. Let j(u) = -u**3 - 7*u**2 + 7*u + 9. Let k be j(-6). Is g smaller than k?
True
Let h = 350 - 122. Suppose 4*z + h = -56. Let o = z + 90. Is 18 greater than o?
False
Let v = 72 - 71.828. Let i = 0.398 - v. Let w = i - -0.014. Which is greater: 0 or w?
w
Let t be (-1 + 16)*(6 - 935/154). Let v = 0 - 0. Is v bigger than t?
True
Let x = -273 + 1546. Let o = x + -148942/117. Which is bigger: 1 or o?
1
Let q = 3506 - -3379. Is 2 at most q?
True
Let j = -42 + 55. Suppose j*a = 1464 - 385. Suppose a = -2*v + 57. Which is smaller: -1 or v?
v
Let c = -12462 - -62820940/5041. Which is greater: c or -1?
c
Suppose 0 = -2*h + 10, -5*y = 3*h - 4*h - 30. Let u = -84 - -84.041. Let m = u + -1.041. Which is bigger: m or y?
y
Suppose 236 = -2*n + 3*n. Let k(m) = 12*m - 113. Let z be k(29). Which is bigger: z or n?
n
Let l = 27 - 106. Let h = 142 + l. Do h and 63 have the same value?
True
Let a(d) = d**2 - 50*d - 3194. Let q be a(-37). Which is bigger: -1/65 or q?
q
Let v(r) = r**2 - 2*r + 2. Let t be v(1). Let y be ((-356)/(-116) - t) + -2. Let q(m) = -6*m + 126. Let h be q(21). Is y smaller than h?
False
Suppose 29*l + 52240 - 8554 = -25*l. Is -810 less than l?
True
Let y = -17168.8 + 17169. Which is smaller: 0.06023 or y?
0.06023
Let u be (5824/624)/(4/(-15)). Suppose 0 = -6*a + a - 165. Is a less than or equal to u?
False
Let c = -0.30449 + 723.35449. Let l = 652 - c. Let r = l + 71. Which is smaller: r or 0?
r
Let k be (4/(-14))/(12/(-591696)*12). Are 1173 and k nonequal?
True
Let q = -20030 - -99686/5. Is -94 bigger than q?
False
Let m = 97.2 + -10.2. Let v = m + -87.188. Which is greater: v or 0?
0
Let u(x) = -12*x**2 + 29*x + 4. Let p(f) = 19*f**2 - 44*f - 6. Let w(m) = 5*p(m) + 8*u(m). Let z be w(11). Is 13 less than z?
False
Suppose 79*o = 80*o + 6, -3*v - 4*o = -69786. Is 23269 bigger than v?
False
Let t(w) = -w**2 + w + 62. Suppose -16 = 4*i, -4*i = 3*o + 11 - 13. Let k be t(o). Is k at most as big as 31?
False
Suppose 4*k = -526*i + 527*i - 175, 0 = -3*i - 3*k + 405. Which is bigger: i or 124?
i
Suppose -4*g = 0, -5*m = -2*m - m + 5*g + 110. Which is smaller: m or -37?
m
Let f = -797279807341/2001 - -1195381693/3. Let z = -19881 + f. Let r = z - -1223/24679. Does r = 2?
False
Let a(m) be the third derivative of m**4/12 + 4*m**3 - 2*m**2. Suppose -126 = 9*s - 36. Let x be a(s). Which is bigger: 5 or x?
5
Let m be (9 - -6) + 41209/(-1225). Which is smaller: m or -19?
-19
Let o = -1.1028 - -1.5028. Is o greater than or equal to 0.095?
True
Let x = 11324 - 8024. Is x at least as big as 0.1?
True
Let y = 28.8 - 3. Let b = 46.6 - y. Let q = -21 + b. Which is smaller: -5 or q?
-5
Let y(r) = 25*r**2 - 149*r - 6. Let g be y(6). Is -1/22 at most g?
True
Let o(b) = 1. Let m(w) = -w - 11. Suppose -4*l - 5*s - 33 = 0, 3*l + s + 3 + 8 = 0. Let h(x) = l*o(x) - m(x). Let f be h(-10). Is f < -1?
False
Suppose -2*a - 2 = 2*v, -169*a - 1 = -168*a + 2*v. Is a > -16/499?
False
Let d(m) = -5*m**2 + 19*m - 95. Let x be d(10). Let r = -406 - x. Is r at least 6/97?
False
Let s(l) = -24*l**2 + 10*l - 21. Let x be s(3). Let n be ((-6)/(-5))/(x/7590). Is n > -50?
True
Suppose -2*u - 6 + 34 = 0. Suppose 4*r - u*y + 356 = -16*y, 4*y + 16 = 0. Let f = 103 - 191. Which is smaller: f or r?
f
Let c = 5420 - 4771. Is 641 at most as big as c?
True
Let x be 6/(-15) - 4852/20. Let i be 4 + x*(-4)/(-244). Let c be 1/2 - 3/(-6). Are c and i equal?
False
Let h = -24930.958 - -24955. Let p = h - 0.042. Let a = p + -25.1. Is -1/6 not equal to a?
True
Let v be (-2*3)/(13/(-1079)*(-14)/(-49)). Which is smaller: 1745 or v?
v
Let a = 11808 - 11925. Let r = 0.07 + 0.93. Which is greater: r or a?
r
Let s(p) = -p - 2. Let u be s(-8). Let o be 3/6*(-638)/u. Let x = o - -53. Is -1 at most x?
True
Let p(l) = 53*l + 168. Let u be p(-4). Let a be (-40)/u*-5 - 8/(-2). Which is smaller: 15 or a?
a
Let q = -7930 - -6914. Is q smaller than -1/4?
True
Let k be (1 + -2)/(1/3). Let n = -6702.6 + 6702. Is n equal to k?
False
Suppose 41*y = 42*y + 354. Is -355 at least y?
False
Let f be (-66)/(-77) + 1516/28. Suppose -3*a + f = 3*i - 35, 0 = a + 5*i - 14. Suppose 3*h - 50 = 52. Is a greater than h?
False
Let d = 913 + -540. Let v = 222 - d. Let a = 149 + v. Which is smaller: a or -1?
a
Suppose 4*b + 5*x - 20 = 9*b, -16 = b - 4*x. Suppose 4*h - 2*n + 59 = h, b = h + n + 18. Which is smaller: h or -22?
-22
Let r = 7924 - 705245/89. Let i be (-4 - -3) + 1 + 1. Which is smaller: r or i?
r
Let r be ((-2)/(-6))/((-584)/195 - -3). Let l = r - 57. Suppose -y - 153 = l*y. Are y and 0.1 non-equal?
True
Let t(p) = 2*p**3 - 6*p**2 - 11*p + 19. Let c be t(8). Which is bigger: c or 573?
573
Let r = -7/30458 - 10509/219328058. Is -1/5 bigger than r?
False
Let k = 2351 - 3538. Are -1187 and k nonequal?
False
Let g(v) = -35*v + 395. Let y be g(12). Is y bigger than -53?
True
Let l(y) = 2*y - 23. Let f be l(14). Suppose n + 4 = 4*u, 0*u + 5 = f*n + 5*u. Which is bigger: n or -10/13?
n
Suppose -p = 4*r - 7 + 12, 4*p - 31 = r. Let w be 0 + 0 + p/(42/(-132)). Let h be -3 - 49/(-6)*(-8)/w. Is h less than or equal to 0?
True
Let b = -3.069 + -181.031. Let n = b + 192. Let j = n + -8. Which is bigger: j or 0.46?
0.46
Let m be ((-258)/15)/(-1*(-2)/(-10)). Let a be m/574 + (55/(-35))/11. Are -1 and a unequal?
True
Suppose 0 = 5*k - 10, -5*v - 4*k + 4 = -3*v. Let w be 1408/18 - v/(-9). Let h be (15 - 18)*((-4)/w + 0). Which is bigger: h or -0.1?
h
Let a = -1 - -18. Let v be (209/(-44) - -2)*-6. Is a greater than v?
True
Let r = -4820.8 - -4821. Which is smaller: r or 2461?
r
Let w = -36572/7 - -5236. Which is bigger: 11 or w?
w
Let g be (-8 + 7)*4 - 2*-4. Let v(b) = -b**2 - 2*b + 10. Let w be v(g). Which is smaller: -102/7 or w?
-102/7
Let k = 45.1 + -44.8. Let h = 20 + -16. Let n = h + -3. Which is smaller: n or k?
k
Suppose 5*q = -a + 1377, 0 = q - 4*a - 206 - 82. Suppose b + q = 4*i, 3*i - 79 = -4*b + 147. Which is greater: 64 or i?
i
Let b = 9143 - 8762. Is b smaller than 378?
False
Let d = 629 - 630.036. Let g = d + 0.036. Which is bigger: g or -9/2?
g
Let c = 13.254 + -13.354. Let l = -1677853/281 - -5971. Which is smaller: c or l?
c
Suppose -3*n - 188 = -5*i - 16, 4*n + 4*i + 208 = 0. Let t = n - -65. Let a = t + 10. Is a at most 20?
False
Let o = -9582 + 9583. Which is smaller: -1/24378 or o?
-1/24378
Suppose v + 3 = -2*v. Suppose 2*u + 3*k = 57, -8*u + 47*k + 123 = 44*k. Is v smaller than u?
True
Let j be -26 - (660/(-495) - (-1)/(3*1)). Let d(l) = -10*l + 4. Let z be 10/15*18/4. Let k be d(z). Which is smaller: k or j?
k
Let q(b) = -138*b + 1256. Let a be q(16). Which is smaller: a or -957?
-957
Let k be (-6)/((-4)/(-8)*-2). Let z be (k + -6)/(-2 + 1). Let r be ((-52)/325)/((-8)/(-60)). Is z <= r?
False
Let w(m) = 4*m**2 - 64*m - 68. Let g be w(17). Which is bigger: g or -1/14790?
g
Let v = 944/233 - 403/12349. Whi