et q = 1211 + -30279/25. Let a = -406/275 + q. Is -2 less than or equal to a?
True
Let j be (4/5)/((-16)/1000). Let b be ((-68)/770)/((-80)/j). Let m = -1/28 + b. Which is bigger: m or -2/5?
m
Let o = 1/341 - -67173/1364. Let k = -91 - -140. Let n = o - k. Which is smaller: n or 1?
n
Let s = -7504/17 - -441. Is 1 less than s?
False
Let w = -1092 + 1209. Which is bigger: 6 or w?
w
Suppose 0 = -41*c + 43*c - 2. Let k be ((-2)/(-6)*-2)/((-1)/c). Which is greater: 2 or k?
2
Let t(g) = -2*g**3 + 8*g**2 + 2*g - 8. Let j be t(4). Suppose 3*y + 4 - 72 = 2*d, j = 3*d + y + 91. Is d > -30?
False
Suppose -w - w - b = 10, -22 = 3*w - 2*b. Let q(n) = -n**3 - 13*n**2 - n - 10. Let d be q(-13). Let p be d - 2 - (0 + w). Is p at most as big as 5?
False
Let r(f) = 3*f**2 - 74*f - 24. Let u be r(25). Let o = -5/74 - 1465/222. Let t = -334/51 - o. Which is smaller: u or t?
t
Let c be (-440)/15 - (-4)/(-6). Let f = c - 13. Let w = -31 - f. Which is bigger: 11 or w?
w
Let m = -5391 + 2183357/405. Which is smaller: m or 0?
0
Let d be (-74)/(0 + -1 - 1). Let v = 79 + -43. Is v smaller than d?
True
Let r be 148/(-120) - (-5)/(-50). Which is greater: -1 or r?
-1
Suppose 36 - 2 = -2*k. Let s = k + 27. Suppose 5*x - s = -5. Which is smaller: -2/33 or x?
-2/33
Suppose 0*s = -2*s. Let w(y) = y**3 + 12*y**2 + 12*y + 3. Let m be w(-11). Let l be m - (s - (-6)/(-2)). Which is smaller: l or -4?
l
Suppose 0 = -d + 12 - 0. Let g = 11 - d. Which is smaller: g or 2/63?
g
Suppose 2*x = -5*j + 5, 0 = -j - 3*x + x + 9. Is j >= 2/81?
False
Let t = 65.94 + 0.06. Let o = -89 + t. Let j = 0.2 + -0.1. Does j = o?
False
Suppose 3*i - 30 = -3*t, 2*i + 3*t - 38 = -2*i. Suppose -i*j + 4 = -4. Is -3/2 at most j?
True
Suppose -5*r - 16 = -v, -3*v + 7*r - 8*r = 0. Does v = 2/59?
False
Let j = -42 + 70. Let f = 32 - j. Does f = -3?
False
Suppose -84 = -1715*c + 1709*c. Let t(n) = n**3 - 2*n**2 - 3*n - 4. Let a be t(4). Which is bigger: a or c?
a
Let h be -2*(-6 + (-519)/(-87)). Is -0.05 != h?
True
Let j(l) = -3 - 4*l**2 + l**3 - 5*l + 3. Let g be j(5). Let r be 30/135 - (-41)/(-144). Does g = r?
False
Let r = 35 - 21. Let n = -11 + r. Suppose n*g + 16 = -g. Are -1 and g non-equal?
True
Let a = 60 - 59. Let b = 55/112 - 3/7. Is b < a?
True
Suppose 0 = -p + 5*y + 25 - 91, 2*p = -5*y - 72. Let v = 55 + p. Is 8 at least v?
False
Suppose 5*t - k - 41 + 209 = 0, 4*t - k + 134 = 0. Let w = t + -5. Is -39 less than or equal to w?
True
Suppose -48*i + 49*i + 19 = 0. Which is smaller: -17 or i?
i
Let d = 0.01 + -0.05. Let f = 0.14 + d. Suppose -6*a + 4*a + 8 = 0. Which is bigger: a or f?
a
Let q = -554/23 - -32979/1288. Let n = -1/56 + q. Let y = 308 - 305. Is y >= n?
True
Let f = -121 - -116. Which is smaller: f or -50/9?
-50/9
Let f be (-2)/(0 + -3 + 5). Let m be 26/(-2) - 1/f. Which is smaller: -13 or m?
-13
Let c(s) = -s**2 - 82*s - 304. Let p be c(-78). Let n = -2 + 9. Is n smaller than p?
True
Let u = -271/64 - -647227/152896. Is 0 bigger than u?
True
Let x(j) be the third derivative of j**4/24 + j**3/6 - 4*j**2. Let b be x(1). Let l(n) = n**2 + 2*n - 1. Let i be l(b). Which is smaller: 1 or i?
1
Let k be (6/(-12))/(-2 + -4 - -2). Let h = 13.7 - 13.76. Is h bigger than k?
False
Let a(v) = 372*v + 5. Let w be a(1). Suppose 17*f = -w - 235. Which is greater: 1/4 or f?
1/4
Let r be -5*10/25*(-4)/(-1). Let p(y) = 4*y + 27. Let l be p(r). Which is smaller: -10 or l?
-10
Suppose 5 = 4*j - 3, -2*j - 2 = 3*t. Let m be (1/(-28))/(9/762). Let s = m + 5/14. Is s > t?
False
Suppose 0 = 1414*d - 1416*d + 196. Is d less than 97?
False
Let l be (-2)/12 + 25/(-30). Let s be (-1)/2*0/(0 - l). Is s greater than -9/8?
True
Let p be 13/(-52)*(4 + 372/(-39)). Are 2 and p unequal?
True
Let l = 603 - 602.6. Let d be ((-2)/(-21))/(12/(-81)). Let j = d - -1/7. Which is greater: j or l?
l
Suppose -36*u - 2*u - 532 = 0. Is u <= -12?
True
Let s = 390 + -391.1. Is -27 at most as big as s?
True
Let n = 1684 + -1685. Which is greater: n or 18/367?
18/367
Let d be 10/142*(2478/(-35))/3. Let a = d - 1448/923. Is a at least -4?
True
Let n(a) = -a - 3. Let k be n(-5). Suppose t + 5*y = 49, 2*t + k*y + 27 = 133. Suppose 0 = 3*h - 0*h + t. Do -18 and h have different values?
False
Suppose 0 = -17*m - m. Suppose -5*v - v + 96 = m. Which is smaller: 65/4 or v?
v
Let h be 71/(-146) + 3/4. Let m = h - 1/73. Is -4/15 greater than m?
False
Let w = -485.1 - -485. Let a be 2*1/(-4)*-178. Which is smaller: w or a?
w
Let x = -56 + 57.3. Let b = 6.8 + -8. Let q = x + b. Which is smaller: q or 0.6?
q
Suppose -2*j + 20 = 10. Suppose 0 = j*n - 2*n. Is 1/7 at most n?
False
Suppose 0 = -4*p + 2*v + 30, 3*p + 0*p = 4*v + 10. Suppose 32 = -9*o + p*o. Let k = o - 32. Which is smaller: k or 3/4?
k
Let r be (2/(-4))/((-2)/(-5)). Let j = 13.16 + -0.16. Let d = -13.1 + j. Is r greater than or equal to d?
False
Let p(n) be the third derivative of -n**6/120 + 4*n**5/15 + 17*n**4/24 + 17*n**3/6 + 4*n**2. Let g be p(17). Let r = g - 12. Do 5 and r have the same value?
True
Let n = 2052 + -2056. Let q(t) = -t**2 - 4*t + 7. Let f be q(-6). Is n smaller than f?
False
Let k be (-12)/18*(1 - (-31)/6). Let f = 505/117 + 2/117. Let r = k + f. Is r >= 0.4?
False
Let u(o) = 2*o + 64. Let i be u(-32). Is -1/95 bigger than i?
False
Let q = 110 + -138. Let g = 27.81 + q. Is -2 >= g?
False
Let c be (-2)/(-3)*12/(-64)*4. Let n = 3 - 0. Suppose p - n*j = 4, p - 3*p + 3*j = -2. Which is smaller: c or p?
p
Let f = 3/28 + 13/140. Is f > -4?
True
Suppose 33 = -i - 3*v, 5*v = -28*i + 25*i - 95. Which is bigger: -29 or i?
-29
Let w be (-4)/9 - (-264)/2052. Which is bigger: 1 or w?
1
Suppose 20*u = 33*u - 624. Is u smaller than 327/7?
False
Let y = 83 - 291. Which is smaller: y or -209?
-209
Let q be (-4)/22 - 7/((-539)/39823). Are q and 518 equal?
False
Let q = 3 + -4.1. Let n = -1.04 - q. Let y be 1 + (3 - 45/12). Which is greater: y or n?
y
Suppose 0 = 2*p + 81 - 21. Let o be ((-12)/10)/(9/p). Suppose 3*s + 4 = 4*u, -o = -5*u - 3*s + 1. Is u < -3/10?
False
Let x = 0.8 + 0.2. Let j = -0.168 - 0.012. Let l = j - 6.82. Is x equal to l?
False
Let u be ((-15)/(-260))/((-21)/(-28)). Are 0.87 and u non-equal?
True
Suppose 3 + 5 = 4*j. Suppose z = -j*l - 5, 4*z = -3*l - 13 - 7. Is 1/9 at most as big as l?
False
Let g = 0.199 + -10.199. Suppose -3*r - 2*h - 15 = 0, -2*r + 0*h - 2 = 4*h. Let d be (-1)/(-1) - (-9)/r. Is d at least g?
True
Let z be (1 - (-1 - 16/(-14)))*7. Let r be ((-3)/(-2))/(3/z). Which is smaller: r or 9/4?
9/4
Suppose -3*n + 7 = -17. Suppose -2*m + n = 0, -4*m - 29 = -6*b + b. Suppose -25 = 3*i - 4*d - b, -5*i + 2*d = 22. Which is greater: i or -5?
i
Let l(h) = -4*h - 5. Let s be l(-2). Suppose 3*i + s = 30. Let n be i/(-15) + (-2)/5. Is n greater than 2/19?
False
Let m = 3.07 - 3. Suppose 2 + 1 = k. Suppose -2*z - 2 = n, -10 = -k*z + 2*z + 5*n. Which is smaller: m or z?
z
Suppose 0 = 3*m - 3*z - 6, -7 - 4 = 5*m + 2*z. Let n be -3 - (1 - 3570/890). Which is smaller: n or m?
m
Let n(u) = -u**2 + u + 4. Let z be n(3). Let a(w) = 2*w**2 - 7*w + 9. Let x be a(2). Suppose -4*g + 15 = x. Is z greater than g?
False
Let k = 1456706596/2220855 + 1630/34167. Let o = k + -656. Is 0 >= o?
True
Suppose 6*m + 4*c = 2*m + 4, -4*m + 1 = 5*c. Suppose -x + 4*z + 2 = 0, 4*x + 9 = 3*z - m*z. Let y be 5/(-15) - 4/6. Is x at most y?
True
Let j = -3542/5 + 709. Let y = 4 - 2. Suppose -8 = 4*k - i - y*i, 4*k - 24 = -5*i. Which is bigger: k or j?
k
Suppose 7*b = 2*b. Let i be (-9)/(-30)*(-8)/12. Is b at least i?
True
Suppose -7*f + 60 = -2*f. Let i = 3 + 6. Let h = f - i. Is 0.3 > h?
False
Let s = -5 + 136. Let v = s - 1181/9. Let f = 159 - 158.9. Which is bigger: f or v?
f
Suppose s + s - 14 = -4*c, 4*c = 4*s + 8. Let i be ((-3)/(-2))/(s/12). Which is smaller: 19 or i?
i
Let g be 1/3*6/4. Let n be -2*(-1)/3 - (-24)/(-36). Is g smaller than n?
False
Let g be (-22)/51 - 26/(-39). Let o = -816 + 818. Is g at least as big as o?
False
Let b = -766544/95 + 8069. Is -1 at most as big as b?
True
Let n = 0.521 + 28.479. Which is bigger: -3 or n?
n
Let p = 26 - 23.8. Let n = p - 2.1. Is n bigger than -1?
True
Let j = -88 - -83. Let k be (-2)/(1*(-1)/(-6)). Let i be (-2)/j + k/5. Is i greater than or equal to -2/35?
False
Let n = -318 + 1598/5. Suppose -15 = -3*f - u, -3*f + 3*u + 15 = -2*u. Let v = 