pose 0 = -2*z - 5*b + b + 14, -4 = 3*z + b. Let l = 3 + z. Let x = -1/382 - -2297/1910. Which is smaller: l or x?
l
Let i = -0.3 + -1.7. Let f = i + -7. Is -1/3 greater than or equal to f?
True
Let x = 2 - 1. Let z = -0.091 + -0.909. Which is bigger: x or z?
x
Let q = 102 - 165. Let f be (13052/12)/13*(-3)/(-4). Let b = q + f. Is -1 != b?
True
Let v be 1/(-1)*(-301)/42 + -6. Suppose 5*j + 2*t + 5 = 0, -5*j - 3*t = -2*t. Is j < v?
True
Suppose -p - 2*p + 6 = 0. Is p less than or equal to -1?
False
Let o(t) = -2*t + 6. Let g be o(6). Let p(f) = -f. Let d(b) = 4*b - 1. Let z(l) = -d(l) - 5*p(l). Let q be z(-6). Which is bigger: q or g?
q
Suppose 2*f = -5*n - 5 + 1, -3*n = -3*f + 36. Let q be (2 - f/5)/(-1). Suppose -3*g - 16 = -4*d, 0 = -2*d - 0*g - g - 2. Is d greater than or equal to q?
True
Let c = 11 + -7. Suppose -2 = -2*r + v, r = 5*r + 2*v - c. Which is smaller: 1/8 or r?
1/8
Let y = 307 + -309. Let w = -1 + 1. Which is bigger: w or y?
w
Let v(o) = -17*o - 2. Let l be v(-3). Let n be -1*6/9 + l. Let c = -49 + n. Which is smaller: 0.1 or c?
c
Let i(v) = -v - 1. Let l be i(-4). Suppose -7 = -l*d + 2*m + 3, -10 = -2*d + 3*m. Are d and 1 equal?
False
Let n = -137 + 194. Is 57 greater than n?
False
Let j(x) = -16*x - 1. Let q be j(-1). Suppose -5 = 5*k - q. Let h be (k/(-1))/(-2)*-1. Which is greater: h or -2?
h
Let y = -13 - -18. Suppose -y*d = -2*d. Which is smaller: -1/30 or d?
-1/30
Let m = 11 + -20. Are m and -6 non-equal?
True
Let n = -7 - -13. Let c = n + -3. Is 2/5 greater than c?
False
Let k be -11 + 13 - (-2 + 21). Do k and -18 have different values?
True
Let m = -16 - -17. Let d be (-2)/4*(-2)/(-4). Is d < m?
True
Let g be (5 - 0)/(3/6). Let v be (-2 - 0) + 16/g. Let l(n) = n**2 - 10*n - 12. Let t be l(11). Is v greater than or equal to t?
True
Let a = -242/5 - -48. Suppose 0 = -3*q + 2*q + 1. Which is smaller: a or q?
a
Let a be (-15)/(-4) - 1/(-4). Suppose a*v + 23 = 3*o, 0 = v + 1 + 1. Do o and 4 have the same value?
False
Let i = -235 + 235.99. Let w = 1 - i. Let y = w - -2.99. Does y = -0.1?
False
Suppose 3*w = 8*w - 10. Suppose -w*i - 12 = 4*f + 22, -2*i = -f + 19. Are -11 and i non-equal?
False
Let t = 22 - 21. Is -1/34 < t?
True
Let x(a) = -a**2 + 2*a + 3. Let b be x(-2). Which is smaller: -0.2 or b?
b
Let q = 3 - 17. Let w = q + 15. Which is bigger: 1/3 or w?
w
Suppose 3*q - 21 = 2*q. Suppose 0 = 2*z + 5*r + q, 3*r = 2*z - 1 - 18. Let h be (3*(-3)/12)/(9/(-24)). Is z <= h?
True
Let l = 0.7 + 0.3. Let t = 1.5 + -2.7. Let a = t + l. Are a and -0.1 equal?
False
Let l = 12 - 11.95. Which is smaller: 2 or l?
l
Let z = 1.5 - -3.5. Let s = -9.9 - -10. Is s less than or equal to z?
True
Let h = 129 - 192. Which is bigger: 0.1 or h?
0.1
Suppose 5*s + 6 + 4 = 0. Let l = -2 - s. Suppose -2*q - q = l. Is q less than or equal to 2?
True
Let s be (4/16)/(1 + 0). Let k = s - -9/4. Suppose 4*f - 19 = 3*l - 2*l, -l = -f + 7. Which is smaller: k or f?
k
Suppose 0 = 57*m - 59*m + 52. Which is greater: -2 or m?
m
Let q be (24 - 3)*78/45. Let f = 36 - q. Let u be (1 + -1)/(-1*1). Which is greater: f or u?
u
Let v(u) be the second derivative of -u**5/20 - u**4/3 - u**3/6 - 2*u**2 - 5*u. Let n be v(-4). Which is bigger: 2/23 or n?
2/23
Let o be (5 - 2 - 0) + -1. Suppose 5*j - 10 = 3*d - 0, 3*d + o*j = 4. Which is bigger: 1/13 or d?
1/13
Suppose 0 = -2*x - 4 + 6, 5*d + 4*x = 24. Suppose -t = t - d. Suppose 0 = -t*j - 3*j. Is j greater than or equal to 1/2?
False
Let l(c) = -c**3 + c. Let n be l(0). Let p be (4/6)/((-2)/(-267)). Let f = -361/4 + p. Are n and f nonequal?
True
Suppose 2*j + 17 = -3*g - 0*j, -2*g + 2*j = -2. Let n be g/(-4) + 1*-2. Is -1 >= n?
True
Suppose -5*n + 2*x = -21, -9 = -8*n + 3*n - 2*x. Suppose -p - 27 = -3*l, -9 = -l - n*p + 4*p. Are l and 8 unequal?
True
Suppose -4*i + z = -i - 31, 2*z + 8 = 0. Is i >= 49/6?
True
Suppose x - 1 = 1. Let a be (4 + 2)/(0 + x). Suppose 0 = j - 2, 16 = -a*q + 5*j - 3*j. Is q greater than or equal to -3?
False
Let u = -2 - -6. Suppose 3*v = 4*g - 74, v + 64 = u*g + 3*v. Let d be -2 - 1/((-7)/g). Which is smaller: -1 or d?
-1
Let o = 4 - 6. Let z be ((-16)/(-10) + -2)*40/48. Is z smaller than o?
False
Let a = -1 - 1. Let m = 3 + a. Let g be (m/6)/(-1 - 0). Is g equal to -1?
False
Let i = 2.1 + -2. Which is bigger: 0.8 or i?
0.8
Let h = 7 - 2. Let j be 2/h - (-232)/170. Let v = 133/85 - j. Which is bigger: 0.3 or v?
0.3
Let k be 2*(4 + -2)/4. Suppose -5*f + f = 3*n - 9, 3 = -3*n. Suppose 8 = b + f*b. Which is greater: b or k?
b
Let b be 6/(-10) - 212/(-20). Are 11 and b equal?
False
Suppose 0 = 2*b + 3*v + 6983, b = 3*b + 2*v + 6982. Let m = b - -59312/17. Let h = m - -124/85. Which is bigger: h or 0.1?
h
Suppose -r - o - 39 = 3*o, -r = -o + 54. Let i be 1/(2 - r/(-27)). Is i bigger than 9?
False
Let v = 933 - 17717/19. Is v less than 2?
True
Suppose -2*y = y. Suppose -3 - 9 = 3*b. Let m be 3/((-6)/4) - b. Is y at least m?
False
Suppose 32 = -8*f + 4*f. Let g be f/5 - 4/10. Let c be 1/(0 + 1/(-1)). Are g and c unequal?
True
Let a = 3 + -3. Let r = a - -4. Are r and 3 unequal?
True
Let c be ((-1)/(6/(-7)))/6. Let g = -5/9 - c. Which is smaller: 2 or g?
g
Let k = 112 - 1006/9. Let s = -10 - -15. Suppose 3*g - 2*r = 2*g, -r = s*g. Which is bigger: g or k?
k
Suppose 3*h = 5*q + 18, 5*h + 7 = 2*q - 6*q. Is h equal to 2/5?
False
Let d = 1 + -1.07. Let w = 74.07 + -75. Let g = d + w. Is g smaller than -0.2?
True
Let n(y) = y**2 - 7*y + 17. Let u be n(8). Let i = -21 + u. Is i at least 5?
False
Suppose -48 = 5*s + 2. Let q be (4 - s/(-8))/(-1). Which is bigger: 1/3 or q?
1/3
Let v = 0.05 - 0.55. Let a = v + 1.5. Which is smaller: 0.4 or a?
0.4
Suppose 4*z = 5*w + 35, -6*z + 18 = -3*z - w. Suppose k = -5*q - 2 - 19, 45 = 5*k - z*q. Are k and 4 non-equal?
False
Let p(w) = w + 6. Let r be (-1 - (5 - 0))/2. Let g be p(r). Is g smaller than 3?
False
Suppose -5 = 4*u - 1. Which is smaller: u or -2/5?
u
Let g be (-20)/(-16)*(8 + 0). Let p(i) = -3*i - 19. Let w be p(-9). Does w = g?
False
Let r = -1.1 + -1.9. Is -3 at least r?
True
Suppose 6*s - 3*s = 42. Let r = s + -10. Let n = -2 + r. Which is greater: n or 4?
4
Let d be -1 + 4 + 3 - 0. Let v be 1/(-2)*36/d. Let c(f) = f + 5. Let o be c(-6). Is v greater than or equal to o?
False
Let k be 1/(7/2 - 1). Let l(h) = 3 - 7 + 2*h**2 - h**3 + 4*h**2 - 4*h. Let c be l(5). Is k smaller than c?
True
Suppose -2*m = m - 3*p + 9, -3*p = 4*m + 5. Are 0.7 and m equal?
False
Let d be (0/(-7))/(-1 + -1). Suppose 2*l + 2 = -d. Which is greater: l or 3/11?
3/11
Let n be 1/(-1)*1/5. Let p(l) = -l**3 + 5*l**2 + l + 2. Let h be p(5). Let v be 14/(-49) + (-5)/h. Which is bigger: n or v?
n
Let k be 64/(-28) + (-4)/(-14). Let z be 1/4 - (-5)/(-20). Let u be ((-10)/(-3))/5 + z. Is u at least as big as k?
True
Suppose 5*g = 2*g. Let t(s) = -2*s**2 + 29*s - 18. Let u(k) = k**2 - 14*k + 9. Let d(l) = 4*t(l) + 9*u(l). Let h be d(9). Is h equal to g?
True
Let j(q) = -q**3 + 6*q**2 - 2*q - 11. Suppose -x - 20 = 5*k, 4*k = -5*x + 1 + 4. Let c be j(x). Let h = 10 + -6. Is h greater than or equal to c?
True
Let s be ((-6)/(-2))/(0 + 1). Let t be -1*(0 + 2) + 4. Suppose 7*f - 41 = 3*f - 5*c, -t*f = -c - 3. Is f bigger than s?
True
Let c(j) = -j**2 - j - 1. Let n be c(0). Let y be 1/(((-6)/(-4))/(18 + -21)). Is y > n?
False
Let g(y) = -6 - 8*y + 4 + 5*y**2 - 5 + y**3. Let v be g(-6). Let i be v/(-2)*1/(-5). Which is smaller: i or -2/5?
-2/5
Let w be -3 - (3 + -4) - (-104)/54. Let p(b) = -b**3 - b**2 + b - 2. Let q be p(-2). Are w and q nonequal?
True
Let a(l) be the first derivative of -11*l + 1/3*l**3 - 4*l**2 - 3. Let j be a(9). Which is smaller: -1 or j?
j
Suppose 3*k = -d - d + 10, 5*d = -2*k + 25. Let x = -0.38 + 0.08. Let f = -0.5 - x. Is f smaller than k?
True
Let l be 1/(-1) + -1 + -2. Let s(v) = -v**3 - 3*v**2 + 4*v + 1. Let o be s(l). Is -2/15 greater than o?
False
Let n(g) = 2*g - 5. Let m = -5 - -9. Let o be n(m). Let h = 5 - o. Is 0 > h?
False
Let y = -1.6 + 13.6. Let s = y + -13.5. Is -1/3 bigger than s?
True
Let j = 112 - 112. Is j not equal to 0.053?
True
Suppose 0 = 5*p - 0*p. Suppose -f - r + 2 = 3, 0 = -3*f + 4*r - 3. Which is smaller: f or p?
f
Let i = -0.12 + 0.05. Let l = 0.01 - -0.02. Let t = l - i. Which is greater: 1 or t?
1
Suppose 2*d + d + 2*j - 28 = 0, -2*d - 2*j 