2*l/14. Let q = a - -18. Is q at least 9?
True
Let x = -494 - -496.952. Let q = x - -0.048. Is q greater than or equal to -3?
True
Let k = 848 + -718. Is k less than or equal to 127?
False
Let t = 16 - -14. Let n be (5/7 + -2)/(t/(-20)). Is 0 at least as big as n?
False
Let m = -440/7 + 901/14. Let z = 0.46 + -0.06. Is z equal to m?
False
Let t = -2.98 + 3.28. Which is smaller: 4/13 or t?
t
Let d(n) = n**3 + 12*n**2 - 2*n - 22. Let w be d(-12). Is w greater than or equal to 30/37?
True
Let b = 2948963/154 + -19149. Which is greater: 0 or b?
b
Suppose -4*j - 14 - 170 = 0. Let r be (-11)/(-66) + j/(-12). Is r > 5?
False
Let m(z) be the third derivative of -z**6/120 - 17*z**5/60 + 5*z**4/6 + 9*z**3/2 + 18*z**2. Let q be m(-18). Which is greater: q or -23/3?
-23/3
Let h = -39880/127 - -314. Suppose 3*c + 2*y - 8 = 0, 0*y = 3*c - y + 4. Which is smaller: h or c?
h
Let r be 16/(-3)*6/4. Let s = 41 + r. Let x be (-2 + 1)*s/22. Is -1 <= x?
False
Suppose 3*q + 5 = v, 4*q - 14 = -5*v + 11. Which is smaller: q or -1/96?
-1/96
Let k be 45/15 + (-18 - 1). Which is smaller: k or -31/2?
k
Let y = -57.2 - -3.2. Let q = -56 - y. Which is smaller: 6/37 or q?
q
Let x = 214 + -239. Is -24 smaller than x?
False
Let b(k) = -k**2 + 44*k + 90. Let q be b(-2). Is -28/27 bigger than q?
True
Let r = -232 + 335. Is 1 bigger than r?
False
Let p = -5 + 6. Suppose 62 = 9*q - 55. Let w = -11 + q. Do w and p have the same value?
False
Let x be (-135)/(-36)*(-240)/(-27). Is 32 less than x?
True
Let m = 13567/102 + -799/6. Are 0 and m equal?
False
Suppose 2*g - 7 = -3*l, 0*l + 2*g = -4*l + 6. Let t be ((0/1)/l)/2. Which is greater: t or -1/4?
t
Let s(c) = -c**3 - 7*c**2 - c + 3. Let w be s(-6). Let o = 28 + w. Which is bigger: 5/3 or o?
5/3
Let a = 34 + -33.4. Are a and 0.24 unequal?
True
Let d = -5 + 5. Let c be (-753)/5 + (10 - 9). Let o = -151 - c. Which is smaller: d or o?
o
Let n = -1535 + 194946/127. Is n <= -1?
False
Let t = 137/4 - 28089/820. Is t < 1?
True
Let s = -86 + 106. Suppose -s = -4*y - 4. Is y > 0?
True
Let a(s) = s**2 + s - 21. Let b be a(4). Which is bigger: b or 6?
6
Let o(p) = p**3 + 15*p**2 + 22*p - 9. Let v be o(-13). Let w = v - 21. Which is greater: w or 0?
w
Let o = 1/99 - -92/693. Suppose -2*u + z = 6*z - 10, 0 = 5*u + z - 2. Which is smaller: o or u?
u
Let j(u) = 2*u - 9. Let t be j(7). Let y be (t - -3)/4 - 3. Let m be -2*y/((-2)/(-9)). Which is bigger: m or 10?
10
Let p = -374.91 - -375. Let c = -0.3 + 1.3. Is c less than or equal to p?
False
Suppose 2*i - 3 + 11 = 0. Let t be 6/i*(-8)/(-3). Is t at most as big as -2?
True
Let d(h) = -h + 3. Let a be d(-3). Let i be (1 - 4)*5/(-15) - -6. Suppose -a = z - i. Is z at least as big as -3/7?
True
Let w(f) = f**3 + 22*f**2 - 2*f - 28. Let y be w(-22). Do 18 and y have different values?
True
Suppose 2*z - 26 = -2*k, 0 = 4*z - 6*k + k - 7. Suppose -2 = -5*s + z. Suppose -2*l - x + 15 = 0, 2*x = s*l + 3*l - 42. Is l bigger than 7?
True
Let t = -453 - -377. Do t and -0.1 have the same value?
False
Let b(l) = 48*l**2 - 12*l + 12. Let r be b(1). Which is greater: 340/7 or r?
340/7
Let i be 1/354*9*(-28)/12. Is 2/5 > i?
True
Let z = 721217/236 + -3056. Which is greater: z or 1?
1
Let d = 1664 + -46587/28. Let m be (-90)/112*10/3. Let j = d + m. Are j and 1 equal?
False
Let t be 2/14 - (-32)/(-112). Let n be (-1 - -3 - 0) + -4. Which is smaller: t or n?
n
Suppose 0 = 2*t + 2*t + 24. Let z be (-8)/(-12) - (-10)/t. Is -3 > z?
False
Let t = 1.1 + -12.1. Let v = t + 5. Is 4 at most as big as v?
False
Suppose -4*h - 45 = -7*h. Let i = h + -10. Suppose 0*v + i*v - 5 = 0. Which is bigger: v or 1.3?
1.3
Let z = -1.1 - -0.8. Let d = -0.042 + 7.542. Let i = -8.5 + d. Are i and z unequal?
True
Let c = -29.6 - -28. Let p = 124/65 - 30/13. Which is smaller: c or p?
c
Let o(i) = -i**2 + 11*i + 4. Let b be o(0). Are 78 and b nonequal?
True
Let d be (-192)/(-16) + 397 + -2. Which is smaller: 409 or d?
d
Let u be ((-11374)/(-66))/((-10)/6). Which is greater: u or -103?
-103
Let k = -3286 + 3285. Let g = -202/425 + 6/25. Is k >= g?
False
Suppose -6*f - 26 = 16. Let s(v) = -v**3 - 7*v**2 + 2*v + 7. Let u be s(f). Let p = u + 6. Is 2 < p?
False
Let o(d) = -2*d**2 + 6*d - 18. Let l(j) = -5*j**2 + 11*j - 37. Let v(u) = 3*l(u) - 7*o(u). Let z be v(-9). Are 15 and z nonequal?
False
Let w(m) = m**2 + 5*m - 8. Let f be w(-9). Let n = -23 + f. Are -1 and n equal?
False
Suppose 5*c - 4*o - 83 = -0*c, 5*c + 3*o = 69. Suppose -15 = -2*s + c. Is s smaller than 17?
True
Let o = 9 + -37/4. Let c = 16 - 62. Let q = c - -39. Which is greater: o or q?
o
Let t be (-7)/(-5) + (-6)/15. Let c be 0 + -1 + 2 - t. Let z(k) = 26*k + 937. Let j be z(-36). Which is smaller: j or c?
c
Let s be (-2)/(-3) + 1*(-65)/(-15). Suppose 6*w - w = 4*y + 200, 3*y - 165 = -s*w. Is 36 bigger than w?
False
Let m(b) = -3*b + 1. Let r be m(2). Let q = 4 - r. Let t = q + -10. Which is bigger: t or 2/7?
2/7
Let a = 11 - 7. Suppose -9 = a*y + 7, 2*y = 2*o - 14. Which is greater: o or 6?
6
Suppose 5*z + 3*f - 109 = 4*f, 0 = -3*z - 4*f + 47. Which is smaller: 20 or z?
20
Let j = 34 - 23. Let g be (2*2/(-12))/((-6)/108). Suppose -4*t - 20 = -g*t. Which is greater: t or j?
j
Let m(y) = -13*y**3 + 5*y**2 + y. Let n be m(-4). Let g = n + -46306/51. Suppose -3*s = -3*i - 9 - 3, 4*s - 1 = -i. Which is smaller: s or g?
g
Let d = -13 - 4. Let m = d - -16. Is m > 1?
False
Let k = -54 - -163/3. Let s be ((-8)/(-6))/(12/9). Is k equal to s?
False
Let q = 1698 - 1702. Which is bigger: -77 or q?
q
Let k(y) be the first derivative of -y**4/4 - 10*y**3/3 - y**2/2 - 10*y - 6. Let c be k(-10). Suppose c = 3*j - 18. Is 5 at most as big as j?
True
Let a(z) = 5*z**2 + 3*z + 2. Let c be a(-1). Suppose -5*k = 2*v + 18, -2*v - k + c*k = 18. Let g = v + -7. Which is smaller: g or -17?
-17
Let c(u) = 10*u - 5. Let l be c(5). Suppose -10*a - 5 = l. Is a at least 3/11?
False
Let v be 2/6 - (-2)/(-24). Let k = 14 - 16. Does k = v?
False
Let k = -73 - -73. Let g be 6 - k - 160/32. Let v = 16269/25 + -651. Which is smaller: g or v?
v
Let u be -54 + 466 + (8/(-1) - -1). Is 405 greater than u?
False
Let y be 40/(-56) - ((-16)/56)/(-1). Suppose 23 + 7 = -5*a. Let z(o) = -o**3 - 7*o**2 - 8*o. Let t be z(a). Which is bigger: t or y?
t
Let v = -0.373 + -202.627. Which is smaller: v or -1/4?
v
Let f = 3038 + -3168636/1043. Is f at least 0?
False
Let c be (-199)/((88/(-24))/(-11)). Which is smaller: -598 or c?
-598
Suppose 5*v - 3*z - 5587 = v, v - 1402 = -z. Let j = v + -180473/129. Is j smaller than 0?
True
Let a(n) = 8 - n**2 + 0*n**2 + 0 - 7*n. Suppose 0 = -0*j + j + 8. Let u be a(j). Is 1 greater than u?
True
Let y = -43.419 + -0.081. Let k = y + 43. Which is bigger: k or 2?
2
Suppose -2*s - 418 = -n + 6*n, -3*n - 4*s = 262. Let h = -42 - n. Is 41 at most as big as h?
False
Suppose 11*g = 14*g + 66. Let i = -20 - g. Which is greater: i or -1?
i
Let d = 230 + -117. Let n = 114 - d. Which is bigger: 1/4 or n?
n
Suppose -i + 2030 = 4*l + l, -2028 = -i - 4*l. Let m be i/180 - 4/18. Is 13 greater than m?
True
Let l be 4/(-8) + (-2)/((-648)/163). Is l less than 0?
False
Let b = 38.996 - -0.004. Let a = 1/3876 - 1939/3876. Is a < b?
True
Let n = -1045/1656 - -11/72. Which is greater: -1 or n?
n
Let f = 3 + 0. Let h be (f + -2)/(6/(-12)). Let d be (3 - 0 - 4)*h. Which is bigger: d or 4/5?
d
Let d = 54383/6 - 9093. Is 0.1 > d?
True
Let g = 62.5 + -62. Is g less than or equal to 33?
True
Let b = 1738 + -1728. Is 73/7 less than b?
False
Let n = -39/387365 - -91118092/167729045. Let s be (-1730)/866 + 1 - (-14 - -13). Let b = s + n. Which is smaller: b or 2?
b
Suppose -b = 2*i + 5 - 1, 4*i + 5*b = -20. Is -11/26 greater than i?
False
Let w(r) be the third derivative of r**4/8 - 7*r**3/2 - 22*r**2. Let v be w(11). Is v < 2?
False
Let z be (-2)/12 + (-603)/(-3942). Is 1 at most as big as z?
False
Suppose 4*n - 8 = 8. Suppose 8*c = n*c + 16. Suppose -c*r - 33 = 15. Is r less than or equal to -11?
True
Let i(v) = v - 1. Let a be i(-8). Are a and -9 non-equal?
False
Suppose 0 = -5*n - 20, -v + 0*n + 5*n = -27. Let j = -0.3 - -0.1. Which is smaller: j or v?
j
Let s(j) = j + 533. Let m be s(0). Let c = 18141232/19 + -954269. Let u = c - m. Which is bigger: 1 or u?
1
Let w be 0 + (-355)/174 - 41/246. Is 0 >= w?
True
Let i be