be b(p). Let d be (27/(-351))/(1/5). Which is smaller: h or d?
h
Let x be (-151776)/162*1/(-4). Let s = 786329/3357 - x. Let u = s - -7415/3357. Is u >= 2?
True
Let j be (-2)/(-6) + 2020/15. Suppose 353*c - 356*c = -276. Let g = j - c. Is 2 equal to g?
False
Let w = 5299 + -4954. Is w greater than -10?
True
Let q = 7318 - 7319. Which is smaller: 3/1646 or q?
q
Let o be 16/((-640)/(-36632)) - 2*-4. Is o smaller than 924?
True
Let b = -6 + 18. Suppose 6*t = -9*t + 90. Suppose -47 = -4*z - u, 0*z = -2*z - 4*u + t. Which is bigger: b or z?
z
Let b be 36/54*2*(-116139)/22. Let l = b + 7048. Is 10 less than l?
False
Let l be 10/65 + (-5190)/(-65). Let w be l/340*11/(-4). Is w >= 0?
False
Let a(x) = 1 - x + 7 - 3 - 45. Let q be a(-12). Is q at most -32?
False
Let j = 1058 - 316. Do 727 and j have the same value?
False
Suppose -3*b = -40 - 20. Let g be ((-6)/b)/((-6)/(-8)). Does 18/11 = g?
False
Let x be (80/(-1340))/((1 - 0)*-1). Which is smaller: x or 0?
0
Suppose 0 = h + 3*j - 677, -5*h + 3424 = -2*j + 4*j. Is h >= 688?
False
Let s(k) = k**3 - 3*k**2 + 2*k - 5. Let m be s(-6). Let y be (-2)/(-10) - m/(-55). Which is bigger: y or 1/6?
1/6
Let v(k) be the third derivative of 0*k - 1/24*k**4 + 0*k**5 + 1/2*k**3 + 17*k**2 + 1/120*k**6 + 0. Let r be v(0). Which is bigger: r or 2?
r
Suppose 11*b - 659 = -2408. Let g = b - -18918/119. Is g at least as big as -1?
True
Let o be (715/(-15))/13*-3. Suppose 0 = n - 2. Suppose -2*k + 4*d + o - 37 = 0, -5*k - 53 = n*d. Is -11 at most k?
True
Suppose 2*w + y = 1, 6*w = 4*w - 2*y + 2. Suppose w*x - 2*x = 0. Let m be (-51)/33 - (-7 + (-15)/20*-8). Is x > m?
True
Let y = 309 + -311. Is y >= -1488?
True
Let z = 20/13 + -607/403. Let h(v) = -788*v + 3941. Let f be h(5). Which is greater: z or f?
f
Let u be (-3)/(-5) + 378/70. Suppose -5*k - 2 = 3*s, -6*k + k - 4*s = u. Let z be 1*(-3 + 1)*k. Which is smaller: -3 or z?
z
Let m = 9 - 17. Let u = m - -13. Suppose u*l = -0*l. Is l at most as big as 1/32?
True
Let w = -2083537/92 - -90703/4. Is w greater than 29?
False
Let h = 7 + 13. Let l be 0*(3 - h/8). Let x be ((-80)/(-4))/(1 - l). Is 19 not equal to x?
True
Let b = 79 + -79.18. Let k = -0.08 - b. Do 0.01 and k have different values?
True
Let v = -0.65 - 48.35. Let z = 210901/585 - 4676/13. Let l = z + -11/9. Do v and l have different values?
True
Let j be ((16 + -9)/(-2 + -1))/((-8)/(-11298)). Is j not equal to -3294?
True
Let d be 2/((-4)/24*51). Let b = 68 - 67. Which is bigger: d or b?
b
Let o = -381.8606 + -1.1394. Which is bigger: 25 or o?
25
Let r = 7405 - 6274. Is -2/11 < r?
True
Let u = 2051 - 2101. Which is smaller: u or -65?
-65
Let d = 2312/11 - 33540/187. Which is smaller: 31 or d?
d
Let a be (-5781)/108 + 2/(-9). Let b = -54 - a. Let p be ((-155)/40 + 4)/((-234)/48 + 5). Which is bigger: p or b?
p
Suppose 440 = 5*p - 5*v + 455, 13 = -3*p + 4*v. Is p greater than -2/167?
True
Let d(a) = 5*a**2 + 5*a - 5. Let q be d(1). Suppose -55 = -3*v - 0*b - b, -93 = -q*v - 3*b. Suppose 13*t + v = -8. Which is smaller: 2/103 or t?
t
Let a = -3.186 - -3.386. Which is smaller: -244/9 or a?
-244/9
Suppose 338*m = 339*m + 270. Let w = m - -269. Let f be 1/(-4)*8/(-63). Which is greater: f or w?
f
Let t be (1/(-2) - 2/(-4))/(-2). Suppose 2*l - 193 + 189 = t. Suppose l = a - 3*a. Is a smaller than 19?
True
Let l(t) = -12*t**2 + 38*t + 96. Let g be l(-3). Do g and -1398/11 have different values?
True
Let g(t) = 3*t**2 - 161*t + 3774. Let k be g(33). Is k at most 1722?
False
Let b(x) = 3*x**2 + 19*x - 12. Let w be b(-7). Let f be (1/w)/((-1)/(-68)). Let p be 30/10 + (-104)/f. Is 0 bigger than p?
True
Let g(m) = -7*m**2 + 179*m + 108. Let a be g(25). Which is smaller: a or 1039/5?
1039/5
Let v = 148 + -149. Let s be v/(-3) - -2*(-22)/33. Are 2/301 and s non-equal?
True
Suppose 3*q - 4*u - 38 = 0, 2 = u + 1. Suppose -q*d = -10*d - 24. Let w be 6 + ((-450)/35)/((-2)/(-1)). Which is greater: w or d?
d
Let i(s) = s**2 + 31*s - 104. Let l be i(-46). Let o = 537 - l. Are o and -49 nonequal?
False
Let f = 1683/8 + -8319/40. Which is smaller: f or 6.6?
f
Let f(n) = 2*n**2 + 2*n + 2. Let g be f(-2). Let s = g - 3. Let u be s*4*3/12. Is 1/3 smaller than u?
True
Suppose -4*r + r - 4*m - 10 = 0, 0 = -5*r - 3*m - 24. Let n be (0 - 0 - (-4)/r)*-3. Suppose n*z - z = 0. Are z and 3/4 equal?
False
Suppose -4*g + 4*f = -84, 0 = 4*g - 2*f - 39 - 31. Which is greater: 612 or g?
612
Let t = -579 - -591. Let l be 30/(-5) - t*57/6. Which is greater: l or -117?
-117
Let g(s) = -11*s + 1 + s**2 + 2*s + 8*s + 9*s**3. Let v be g(1). Which is greater: v or 7?
v
Let x = 6 + -1. Let f = 0.0525 - -6.1775. Let m = -5.33 + f. Is m <= x?
True
Let k(u) = -u**2 + 94*u - 1724. Let g be k(69). Is g smaller than -29/156?
False
Let h(w) = -2*w + 2. Let t be h(3). Let f be -25 + -6 + -14 + 40. Which is greater: f or t?
t
Let h = 28197.9 - 25677. Let c = h - 2631. Let x = c + 110. Is x at most as big as -0.075?
True
Let o(y) = 365*y - 54. Let s(r) = 365*r - 58. Let g(b) = -3*o(b) + 2*s(b). Let v be g(1). Is v at least -318?
False
Let y = -16545 - -16437. Is -118 <= y?
True
Let z be 0/(-24) - (2 - 0). Is -1/404 > z?
True
Let c = 122 - 110. Suppose 12*w + 0 = c. Are w and 11/12 unequal?
True
Let y = 22953 - 23240. Is -279 < y?
False
Let u be (-12)/14 + 7/((-21560)/(-99429)). Let d = -245/8 + u. Which is smaller: d or 0?
0
Suppose -13*f + 18 = 31. Let g be (-1)/4 - 172/24. Let a = g + 7. Which is greater: f or a?
a
Let b = 24 - 63. Let j(k) = -3*k**2 - 18*k - 13. Let o be j(-5). Suppose -6*s - 68 = o*n - s, 0 = -4*n + s - 158. Is n less than b?
False
Let n be -15*(-104)/234*(-1089)/(-44). Let y(b) = -166*b**3. Let f be y(-1). Which is bigger: f or n?
f
Let o be 2620/(-588)*201/(-442). Let l = o + -69/34. Are l and -1 equal?
False
Let n = -187 - -260. Suppose 0 = 69*v - n*v - 56. Which is smaller: -4 or v?
v
Suppose 640 = 13*r - 8*r. Let i = r + -127. Which is smaller: -29 or i?
-29
Let p(m) = 8547*m - 177. Let w be p(-4). Is w greater than -34366?
True
Let m(a) = 35*a + 63. Let c be m(5). Let x = -248 + c. Is 0 greater than x?
True
Let d(o) = -9*o**2 + 9*o + 7. Let u(s) = 10*s**2 - 8*s - 6. Let q(n) = -3*d(n) - 4*u(n). Let v be q(3). Let t = v - -101. Which is smaller: 8 or t?
t
Let j = 6568 + -6561. Which is bigger: 12 or j?
12
Let x = -1209 - -1343. Which is greater: x or 139?
139
Suppose -1783 + 1782 = f. Let w be f*116/16*-4. Which is greater: w or 85/3?
w
Let t = -2884 + 2883. Do t and -416 have the same value?
False
Let b = 21622 + -21746. Which is smaller: b or -120?
b
Let f be 1*1/(2/(-98)). Let t be (-813)/f*(-11)/(-22). Let p = 10/49 + t. Which is smaller: 8 or p?
8
Suppose -8 = -i + 5*z, -7 + 2 = 5*z. Let g be (i + 13)/(-8)*18/(-52). Which is smaller: 0 or g?
0
Let w = 5319 - 3907. Is w smaller than 1?
False
Let f be (-1058)/(-12) + (-9)/(-6). Which is bigger: f or 90?
90
Let g(p) = -p**2 + 12*p - 15. Let n be g(10). Suppose n*f + 159 - 49 = 0. Which is bigger: -23 or f?
f
Let k be 384868/34935 + 3 - (7 + -4). Let x = k - 562/51. Which is smaller: x or -1?
-1
Let d = 8873/3 - 5261677/1779. Is d > 1?
False
Let c = 327 + 35. Let m be (c/160)/(0 - 3/6). Let i = -25/8 - m. Which is smaller: 0 or i?
0
Let s = -3968 - -5318. Is 1350 bigger than s?
False
Suppose 6 = -2*n - 4*s + 24, 3*n - 27 = -4*s. Suppose -608 = n*p + 58. Is -74 >= p?
True
Let t = -164 - -394. Suppose -555 = -233*l + t*l. Which is bigger: 1/2 or l?
l
Let g = 8 - 8.53. Let k = g - -0.57. Let c = 3.04 - k. Is c at least 1?
True
Let i = 19 + -7. Suppose 0 = 3*y - 5*y - i. Suppose 4*a = 5*f + 85, -11*f + 7*f - 3*a = -25. Is f greater than or equal to y?
True
Let p be (1 - 4)*1 + (-88)/(-44). Is p smaller than 3/1112?
True
Let f be 1/28 + 1/4. Let k = 6430 - 6455. Which is smaller: f or k?
k
Let a be 18/(-4)*(35/12 - 3). Let r = -5/24 + a. Which is smaller: r or -0.4?
-0.4
Let i be (44/5)/((-4)/10). Let g = -1663/4 + 416. Which is bigger: g or i?
g
Let k be 3/(-2)*2 - 0. Let i be 15/(-3) + (20 - (5 - 10)). Let q be 2/i*(-605)/22. Which is smaller: k or q?
k
Let t be -1 - ((432/6)/(-9) - -15). Is t != -136?
True
Let b(t) = -2*t - 18. Let d be b(-11). Suppose 0 = -d*w - u - 80, -7*w = -8*w - 2*u - 13. Let o be 6/w - (-298)/14. Which is smaller: -1 or o?
-1
Let c(l) = l**2 - 8*l + 2. Let k(d) = d**3 -