 be u(0). Let y(w) = -w**2 + 6*w - 5. Let b be y(4). Let j be (1/b)/((-20)/i). Is 1 equal to j?
False
Let m(c) be the first derivative of c**3/3 + 4*c**2 - 6*c + 2. Let q be m(-8). Is -5 >= q?
True
Suppose 0 = 2*f + 5*a + 1, 0 = 2*f - 4*f + 3*a + 7. Let x = 2 - 2. Which is bigger: f or x?
f
Let q = -20 - -11. Let k = -24 - -21. Let o = k - q. Is 0.1 equal to o?
False
Let f be 3*1*4/3. Suppose -5 = -f*u + 3. Which is greater: 2/3 or u?
u
Let r be (-7)/9 + (-6)/27. Which is greater: -10/9 or r?
r
Let g = -39.8 + 6.8. Are g and 1 nonequal?
True
Let j be 3 - 3/(3 - 0). Suppose -j*i = -7*i + 3*k - 17, -3*i = -3*k + 15. Do 2/9 and i have the same value?
False
Let m be (-2)/12*(-4)/2. Let a = 4.9 + -3. Let h = a + -2. Which is smaller: h or m?
h
Let b be 3/3*(-9)/(-21). Does 1 = b?
False
Suppose -2*q - 3 = -f, 0 = -5*q - f + 3*f - 9. Is q at most -3?
True
Let x = -1.56 - 4.44. Which is smaller: -15 or x?
-15
Let t be (-3)/5 + 6/(-15). Is 2/9 greater than or equal to t?
True
Let d be 6/((-2648)/(-876) + -3). Let q = d - 264. Which is smaller: q or 0?
q
Let b(u) = u**3 - 8*u**2 - 10*u + 9. Let i be b(9). Suppose 5*v + 5 = -3*s - 0*v, -v = 1. Is i <= s?
True
Let i = -1717/7 + 247. Is i smaller than 0.1?
False
Let j(m) = m**2 + 2*m + 2. Let f be j(-2). Suppose 0 = f*u - 0 + 2. Let c(x) = -x**3 - 6*x**2 + x + 6. Let g be c(-6). Which is bigger: u or g?
g
Let t = -3725/8008 + 39/88. Let u = 477621498/455 - 1049718. Let q = t - u. Which is smaller: 1 or q?
q
Let g = 159 + -2861/18. Is g greater than 0.03?
True
Let b(u) = -u + u**2 + 0 + 1 - 3*u. Let t be b(4). Which is bigger: 1/4 or t?
t
Let z(h) = h**3 + 8*h**2 + 6*h - 2. Let o be z(-7). Suppose 0 = o*p - 3*p + 6. Is 0 at most p?
False
Let r(w) = -w**3 - 6*w**2 - 2*w - 8. Let a be r(-6). Let j = a + -2. Is j <= 0.1?
False
Let p = 1 - 2. Let h = 2063/9 - 229. Is h at most p?
False
Let h(m) = -m**3 - 11*m**2 + m + 15. Let y be h(-11). Suppose -u - o = 3*o - 5, -4 = -y*o. Are u and 2 equal?
False
Let f = 13 + -53. Let u be (-435)/f - 3/(-24). Is u < 10?
False
Let x be (-4)/(-34) - (-3904)/(-35496). Is x < 0?
False
Let g(o) = -o + 2. Let v be g(5). Let w be 1*v - 44/(-14). Let i = 8 - 9. Is i less than w?
True
Let w = 15 - 12. Suppose 4 = -c + 4*y, 5 = -5*c + 8*y - w*y. Which is smaller: 4/9 or c?
c
Let h(g) = g. Let y(n) = -8*n - 3. Let p(v) = 4*h(v) + y(v). Let j be p(-2). Suppose -5*t + 3*a - 1 - 5 = 0, -j*t + 6 = 3*a. Is 4/9 at least t?
True
Let v = 25 - 31. Is -6 > v?
False
Let i be (-3)/(-6) + 1569/(-666). Let z = i - -7/37. Which is smaller: -3 or z?
-3
Suppose -5*k + 28 = 3. Suppose s - 28 = -k*p, -15 = -4*s - s. Which is bigger: p or 6?
6
Let h(y) = y**2 - y + 4. Let m be h(0). Suppose 0 = m*c - 3*l + 15 - 2, -4*l = -4*c - 12. Do -6 and c have the same value?
False
Suppose -2*t + 7*t = 15. Suppose -6 = -4*b + 4*a + 6, 31 = -t*b - 5*a. Let l = b - -1. Which is greater: -1/3 or l?
-1/3
Let b(n) = 2*n - 2. Let y be b(2). Suppose -4*t - 4*s = -t + 12, 4*t + y*s = -6. Let d = 53/75 - 1/25. Is d smaller than t?
False
Let i = 0.7 + -1. Let r = 9 - 8.97. Let t = -0.07 - r. Is i bigger than t?
False
Suppose 4*x + l - 23 = -x, -4*l = 5*x - 17. Let j be 1/x - (-2)/(-5). Which is bigger: j or -0.1?
-0.1
Let w(r) = -r**2 + 4*r + 4. Let t = 8 + -3. Let h be w(t). Is h less than or equal to 0?
True
Let n = -6 + 0. Let f = n + 5. Which is smaller: -4 or f?
-4
Let q = 33/208 - 1/208. Suppose 4*m + 35 - 2 = -5*n, 10 = -2*n. Let y = 1 + m. Is y less than or equal to q?
True
Suppose -5*m = -2*m - 3. Suppose 0*c + 21 = -3*c - 4*i, 5*c + 4*i + 27 = 0. Let p be (-4)/c*(-9)/(-8). Is m at most p?
True
Let j(l) be the third derivative of -l**6/120 + l**5/15 - l**4/12 + l**2. Let n be j(2). Which is smaller: 5/2 or n?
5/2
Let x = -6 - -16. Let n be ((-1)/(-3))/(x/(-6)). Let p = 5.1 - 3.1. Is n at least as big as p?
False
Let y(b) = -2*b - 3. Let u be y(-3). Let r be 2/(-4)*(-6)/u. Let l be (-4)/6 + (-5)/(-3). Is l > r?
False
Suppose i + 5 = -5*l, 16 = -0*i + 2*i - 3*l. Suppose 8*q + j - 5 = 3*q, -i = 4*q - j. Suppose -b - 2*b = q. Is b equal to 2?
False
Suppose 5*c - 15 = -0*c + 5*z, -c + 3 = -2*z. Suppose 3*b + 1 = 3*p - 2, 7 = -b + 3*p. Suppose 5*g - 11 = 4*o - b, 0 = 2*o + 4*g - 28. Which is smaller: c or o?
c
Let s = -0.422 + 0.122. Which is smaller: -0.8 or s?
-0.8
Let j(f) = f**2 - 10*f + 17. Let d be j(11). Which is greater: d or 186/7?
d
Let a = 2 - 5. Suppose 2*b + b = -72. Let v be (2/b)/(a/8). Which is bigger: 0 or v?
v
Suppose -3*y + 7*y = 16. Suppose y*w = -0*w. Suppose -4*q = 4*o - 9*q + 25, 0 = 2*o + 5*q - 25. Is o at least as big as w?
True
Let w = -4 + 7. Suppose 2*q + 6 = 0, w*n - 3 - 9 = 2*q. Let g be (n + 7)*(-2)/3. Which is greater: -5 or g?
-5
Let d(q) = -5*q**2 + 4*q + 4. Let a(m) = -6*m**2 + 5*m + 5. Let u(v) = -4*a(v) + 5*d(v). Let i be u(2). Which is bigger: i or -2?
-2
Let w = -2 - -2.01. Let s = 14.9 - 15. Is w equal to s?
False
Let k = -3 + 4. Let p be 8/(-6)*k/4. Let m = -0.2 + 0.3. Which is smaller: m or p?
p
Let f = -29 + 57/2. Which is smaller: f or 0.07?
f
Let z = 6.1 + -6. Let w = z - 0.2. Is -2/3 <= w?
True
Suppose 5*g - 280 = -5*x + 2*x, -3*g - 5*x + 168 = 0. Suppose 4*t + 0*y + g = -y, 5*t + y + 71 = 0. Which is greater: t or -14?
-14
Suppose h = -11 + 5. Let l(k) = -4*k - 9. Let b be l(h). Which is greater: 14 or b?
b
Let o be (-1)/(-2 - (-12)/8). Suppose o*u + 5 = 3*u. Let z(x) = -x - 2. Let n be z(-8). Is u greater than or equal to n?
False
Suppose -6*p - 42 - 24 = 0. Which is bigger: -13 or p?
p
Let y(g) = -g**2 - 6*g. Let m be y(-6). Let k be (-446)/560 - 1/(-4). Let q = -3/56 + k. Which is smaller: m or q?
q
Let q = -25 + 15. Let w be 7/10 + 2/q. Are 0 and w equal?
False
Let u = 3 - 2. Which is greater: u or 2/7?
u
Suppose 2*s + 4 = 6. Let x be (27/(-21))/3*-1. Is x greater than s?
False
Let x = -18 + 18.3. Is x at most as big as 4?
True
Let g be 10/(-12)*(-3)/10. Let z = 1.002 + -0.002. Is z at least g?
True
Suppose 0 = g - 9. Let o = g + -31/3. Which is bigger: o or 0?
0
Let c be ((-10)/15)/(2/(-9)). Let b = c + -4. Is b less than -1?
False
Let a be 4/(-26) - (-40)/(-78). Is 9 less than a?
False
Let u = -8.72 - -8.5. Which is smaller: -1 or u?
-1
Let l = -4009/23 - -523/3. Let r = l + 53/552. Which is bigger: 1 or r?
1
Suppose -4*x + 3*o - 20 = x, 0 = -3*x + o - 8. Suppose -l + 2*p - 1 = 0, -p + 1 = -l - 0*p. Is l at least x?
True
Let i be (-10 + 5 - -4)/((-6)/(-10)). Is i < -1?
True
Let f(g) = -g + 9. Let n be f(7). Let s be (n/5)/(49/(-35)). Which is smaller: 2 or s?
s
Let m be 4/(-27)*9/(-6). Let a(g) = g**2 - 7*g + 5. Let k be a(7). Let j = -5 + k. Are j and m unequal?
True
Suppose -1 - 2 = -p. Let w be p - (0 - (3 + -2)). Let c = w + -3. Which is smaller: c or 2?
c
Let f = 2.9 + -3. Let q = f + 0.1. Let a = 2.2 + -0.2. Which is smaller: a or q?
q
Let k = 15 + -21. Let l be (9/(-24))/(k/(-4)). Let a = -0.1 - 0.9. Which is bigger: a or l?
l
Let m = -0.09 - -0.23. Let a = 5.86 + m. Are a and -1 nonequal?
True
Let g(d) = 3*d**3 - 4*d**2 + 2*d. Let z be g(2). Suppose 3*u + 4*m = m - z, 3*m = -4*u - 12. Suppose u = -3*j - 1 + 13. Is j >= 2?
True
Let j = -31/75 - -1469/3675. Which is bigger: 0 or j?
0
Let a = 26 + -25. Which is smaller: 2/7 or a?
2/7
Let d = -2 + 3. Suppose 3*y - 37 = 23. Let p be (2/(-5))/((-8)/y). Is p smaller than d?
False
Suppose 3*v = 11*v - 16. Let b = 20 - 11. Suppose -2*a + b = a. Which is greater: v or a?
a
Let r be (-2)/30*(-3)/(-2). Let c(g) = 5*g - 24. Let j be c(5). Which is smaller: r or j?
r
Suppose 0*f - 4*f = 0. Which is smaller: 1/70 or f?
f
Suppose -t = 4*g - 7, 2*g + 3*t = g - 1. Is -2 not equal to g?
True
Let k = 1055/144 - 135/16. Are -2 and k nonequal?
True
Suppose 172 = -2*b + 4*f, -2*b = 3*b - 5*f + 445. Let a be b/22 + 2 - -2. Let o(q) = -q**2 - 4*q. Let t be o(-4). Is t greater than or equal to a?
True
Suppose d = -7*d + 4*d. Which is smaller: -3/17 or d?
-3/17
Let p = 16.1 + -16. Is p bigger than -1?
True
Let s = 4218 - 1792651/425. Let h = 1359/425 - s. Let u = h + -3. Is 0 greater than or equal to u?
False
Let c = 0.42 + -0.4. Which is bigger: c or 1?
1
Let n(l) = l**2 + 12*l + 1. Let d be n(-12). Let f = d - 1. Is f bigger than -1?
True
Let g = -0.9 - -0.33. Let u = 0.6 + g. Let y = -0.97 - u. Is y > 2/11?
False
Let c = 16 + -9. Le