 than or equal to b?
True
Let i = 4237 + -13292/3. Is i bigger than -195?
True
Let l(f) = f - 6. Let w be l(8). Let h = -105/292 + 601379/2044. Let g = 295 - h. Which is greater: g or w?
w
Let a(f) = -f**2 + 4*f - 3. Let d be (-1)/1 - -3 - -1. Let i be a(d). Is i greater than or equal to -2/79?
True
Let l = -64.93 + -0.07. Let t = -64 - l. Is t at least 3?
False
Let i = 0.11 - 0.01. Suppose -4*l - 103 = 213. Let n = l + 475/6. Which is bigger: n or i?
n
Let r = -2242 + 2243. Is 2/1251 <= r?
True
Let o = 6.39 + -6.49. Which is bigger: 16 or o?
16
Let c = 877.1 + -947. Let g = -70 - c. Which is bigger: g or -1?
g
Let m be -25*13/(130/(-108)). Is m smaller than 270?
False
Let v = 0.531 - 32.531. Is -28 at least v?
True
Let b = 10 - -15. Suppose 0 = -229*o + 209*o + 500. Is o less than b?
False
Let y = 3 - 4. Let c be 9/(-1) + (-225)/(-33). Is c at least as big as y?
False
Let c(k) be the third derivative of k**6/120 - k**5/15 - k**4/4 + 5*k**3/6 + 2*k**2. Let o be c(4). Let w = -1282 - -1262. Which is smaller: w or o?
w
Let u(v) be the first derivative of -v**3/3 - 13*v**2/2 - 12*v - 3. Let l be u(-12). Suppose -2*f + 3*f = l, 10 = -5*x + 3*f. Which is smaller: x or 3?
x
Let c be (-1)/(-6) - 2/84*7. Suppose c = 4*q - 30 + 322. Is -74 at least as big as q?
False
Let u = -81 - -82. Which is bigger: u or 2/31?
u
Let u = -454 - -634. Is u at most as big as 181?
True
Suppose 0 = 4*t + 760 + 584. Is 0.1 at most t?
False
Let i be 7/(49/(-4)) - (-25)/7. Suppose o = q - 13, i*o + q + 33 = 2*q. Suppose -3*x - 18 - 3 = 4*h, 20 = -5*h - 5*x. Which is bigger: h or o?
h
Let d = 94 + -158. Let m = -19/21 - -4/7. Is d at most m?
True
Let q = -0.0801 - 0.0199. Is -0.134 < q?
True
Suppose 1 = 5*o + f, 5*f - 4 = o + f. Suppose o = -b - b. Suppose 6*i - 80 = -34*i. Is i less than b?
False
Let z(w) = w**2 - w. Let r be z(2). Let b be (r - 3) + (1 - 1). Let d be (-29)/(-35) + (-16)/40. Is b <= d?
True
Let x = 0.122 + -0.103. Is x less than -2/9?
False
Suppose -i + 4*b - 4 = i, 4*i + 8 = 5*b. Let s be (4/(-20))/(4/8). Do s and i have different values?
True
Let h = -3.286 - -1.286. Is h < 87?
True
Let w be (1155/2156)/(-1*(-6)/40). Do w and 5 have different values?
True
Let t = -163/8 + 191/40. Which is greater: t or -15?
-15
Let y(c) be the second derivative of c**4/12 + c**2/2 + 19*c - 1. Suppose -2*p + 2*w + 17 - 5 = 0, -5*w - 25 = 0. Let d be y(p). Which is greater: 6/7 or d?
d
Let f = -709 + 3529/5. Let z be (7 + -9)*1*6/4. Are z and f equal?
False
Let g be (-14082)/(-3516) + 10 + -14. Is g at least as big as -1?
True
Let k(u) = u + 7. Let f = -6 + -3. Let w be k(f). Let j = -145 - -1291/9. Which is smaller: j or w?
w
Suppose -36 = -8*j + 11*j. Let y = 0 + j. Let w be (-6)/(4 - (-45)/y). Is -24 at least w?
True
Suppose -i - 20 - 9 = 0. Let o = 277/21 - 880/21. Let w = i - o. Is 1 < w?
False
Let r = -2733.2 + 2736. Let n = 11 + -8.9. Let d = r - n. Which is bigger: 0 or d?
d
Let s be (-12)/24 + (-21)/(-2). Which is smaller: 25 or s?
s
Let i = 1/109 - -209/981. Let m(x) = -x**3 + 5*x**2 + 2*x - 7. Let t be m(5). Let v be (-3)/6*(t + -1). Which is bigger: v or i?
i
Let g be 4*1 - (-68 + 0). Suppose -16*v + 14*v = g. Is -36 < v?
False
Let f = 21 - 16. Suppose 1 = -6*z - f. Let v be (z - 24/(-20))/1. Is v at least 1?
False
Let o be 32/40*(-5)/(-2). Let z be o/(2/(-18)*-3). Suppose 0 = z*i - 10*i. Which is bigger: 3 or i?
3
Let b(p) = -p**2 - 4*p - 8. Let v be b(-6). Let j be ((48/v)/6)/(-2). Let f = -74/3 - -25. Is j equal to f?
False
Let z = -587 - -592. Is -16 <= z?
True
Let i(v) = 2*v**3 + 30*v**2 - 32*v + 1. Let k be i(-16). Which is smaller: k or -139?
-139
Let a(p) = -p. Let f be a(0). Suppose 0 = -3*q - f*q + 132. Let s = q - 206/5. Which is bigger: s or 3?
3
Let c be ((4 - 7) + 4)*(1 + -1). Which is smaller: c or 2/395?
c
Suppose -42*a + 45*a = -6. Which is smaller: a or -5?
-5
Suppose 0*o + 2*o = 20. Let d = o - 8. Suppose 0 = d*q - 6 + 2. Which is bigger: q or 4/7?
q
Let i be (30/4*-2)/(-1). Suppose l + 3*x - 5 - 6 = 0, -4*x = l - i. Let s = 274/3 + -91. Is l at most s?
True
Suppose 30 = 2*l + 12*t - 8*t, 4*t - 39 = -3*l. Let r be 1 - ((-1)/(-3)*l - 0). Which is smaller: r or 8?
r
Let y(b) = -b**3 - 15*b**2 + 14*b + 41. Let i be y(-4). Which is smaller: i or -571/3?
i
Let x = 0.001 + 0. Let v = x + -0.101. Is -3/4 smaller than v?
True
Let b = -6.4 + 4. Let j = -1.4 - b. Is 3/5 < j?
True
Let c be 9/((-27)/2) - (-102)/(-9). Let s be 60/(-27) - c/54. Is -5/6 greater than s?
True
Suppose -3*r + 2 - 11 = 0. Let b be (-6)/10 + (-6)/15. Let y be b/(1 - (-2)/(-3)). Does y = r?
True
Let z be (26/91)/((-3)/(-1422)). Which is smaller: 136 or z?
z
Suppose 3*o - 30 = -0*o. Let l be 0/((-5)/o*-6). Let q = 823/11 + -75. Is q at most l?
True
Let l = 3.79 - 4. Let b = l + 0.18. Which is bigger: b or 3?
3
Suppose 3*s + 6*l - 204 = l, s - 68 = 2*l. Which is smaller: 0 or s?
0
Let t = 2/5771 - -721361/40397. Is t at least 17?
True
Let m = 79.894 + 0.106. Let j = -497 - -2483/5. Which is smaller: j or m?
j
Let u be 1*0/(5 - 1). Let f = -6 - -4. Let k be (f/8)/(58/(-16)). Which is greater: u or k?
k
Let z be 30 - (3/3 - -2). Suppose z + 58 = 5*s. Is 16 at most s?
True
Suppose 2*n = -2*f + n - 18, 4*n = -2*f - 24. Let s(j) = -39*j + 13. Let m be s(3). Let a = -112 - m. Does f = a?
True
Let k(u) = u**3 - u**2 - 36*u + 27. Let v be k(6). Let y be (-31)/(3*21/18). Which is bigger: v or y?
y
Let d be ((-1)/2)/((-6)/(-4)). Let i be ((-7)/(-7))/(5/(-23)). Let k = i - -87/20. Is k at most d?
False
Let f = 93.5 - 88. Let t = -4.5 + f. Which is smaller: t or -1/9?
-1/9
Let c = -5381/21735 - -32/189. Which is smaller: c or 0?
c
Suppose 0 = 300*t - 293*t - 3129. Does 447 = t?
True
Let j = 0.0449 - 151.0449. Is 3 at most j?
False
Let d = 0.09 - -29.11. Let l = d + -29. Which is smaller: l or 0.3?
l
Let c = -9 + -17. Let y be c/(-42) + (-13)/39. Let r = 13/21 - y. Which is smaller: r or -14?
-14
Let g(q) = -q**3 - 16*q**2 - 13*q - 6. Let k be g(-15). Let y be 2 + ((-2)/(-9) - (-836)/k). Is -20 >= y?
True
Let i = -1/222 + 149/222. Suppose 0 = -2*b - 2*a + 10, -5*a + 1 = 2*b - 15. Let q = 5/3 - b. Which is bigger: q or i?
i
Let z(i) be the second derivative of -i**3/6 + 8*i**2 - 5*i. Let u be z(8). Let r = -15/2 + u. Is r > 2?
False
Let n = 2218 - 2556. Is 0.1 greater than n?
True
Suppose -6*x + 28 = -13*x. Let f = 0 + -4. Is f equal to x?
True
Let w(b) = -b**2 - 10*b - 11. Let c be w(-8). Suppose l + 3*f + 6 = 0, l + 6*f - f = -14. Let d be 2/l + 24/9. Are c and d non-equal?
True
Let d be ((-24)/10)/(0 + 12/80). Let b be (-140)/d - 4/(-16). Are b and 6 non-equal?
True
Let g = 129/2 - 1415/22. Let d = 48 - 78. Let l be (-7)/3 + 5/d. Do l and g have the same value?
False
Let v be (-381)/(-14) + (-36)/(-126). Suppose 5*u = -5, -3*x + 2*u + 0*u = -83. Does x = v?
False
Let p be (-9)/54 + 854/(-420). Is p bigger than 4.1?
False
Let j = 313 + -3713/12. Let y be ((-32)/144)/((-4)/(-69)). Let r = y + j. Is r at least 1?
False
Let p = 0.038 + 0.174. Let f = 0.788 + p. Let c = 45 - 66. Which is smaller: f or c?
c
Suppose 0 = -5*g - 40 + 180. Let t be g/70 + 107/(-5). Is -21 equal to t?
True
Let u(a) = a**2 - 11*a + 18. Let j be u(9). Let n = 2342 + -217808/93. Which is bigger: j or n?
j
Let p = -3 + 5. Suppose -18 = -4*w - p*b, b = -3*w - w + 13. Suppose n = -w*n + s - 11, 4*s - 2 = -2*n. Which is smaller: n or 0.3?
n
Let h(m) = m**3 - 4*m**2 + m + 4. Let v be h(3). Let s = 52/5 + -176/15. Let j = s + 1/2. Is v bigger than j?
False
Suppose 79*a + 58375 - 180272 = 0. Which is smaller: a or 1544?
a
Let c = 794 - 815. Does c = 3?
False
Let r(b) = 11*b - 6. Let n be r(3). Is 25 at most n?
True
Let a = 322.1 - 322. Is 0.013 at most as big as a?
True
Let c(b) = 4*b - 34. Let h be c(12). Suppose -4*d + 2*m = 2, -7*m + 3*m = -2*d + h. Suppose -5*a - 3*z - 18 = 0, 6 = -4*a - z - 7. Is a equal to d?
True
Let j(y) = -2*y**2 - y. Let a be j(-1). Suppose -10 - 6 = -4*n. Suppose 4*g + g + 5*t - 20 = 0, -n*g - 29 = -5*t. Is a less than g?
False
Let s(b) = -3*b + 6. Let v be s(2). Suppose -4*m + 10 = 5*q, 0 = -4*q + 8 - v. Which is greater: -4/9 or m?
m
Let v(l) = 5*l**2 - 27*l + 9. Let g be v(5). Let m = 37/31 - 2319/1891. Which is smaller: g or m?
g
Let n = 126008/4185 + -814/27. Which is smaller: n or 1?
n
Let s b