e -9 = -3*b - 3*j, 3*b - 3 = 4*b + 4*j. Suppose -2 - 8 = b*a. Let v be (-5)/(-9)*a/5. Which is smaller: 1 or v?
v
Let c(l) = -l**2 - 8*l. Let u be c(-8). Suppose 0 = 3*v - u*v - 6. Let x be v + (6/2 - 6). Which is greater: 1/9 or x?
1/9
Let u be ((-2)/5)/(3/(-30)). Suppose 5*l + 27 = u*c, -1 = 2*c - 5*l - 22. Suppose -c*h = -h. Which is smaller: -1 or h?
-1
Suppose q - 5*n + 22 = 4*q, 15 = 3*n. Is q less than or equal to 1/74?
True
Let f be 4/10 + (-14)/28. Which is bigger: f or 0?
0
Let t = 3 + -1. Are t and 4 equal?
False
Let s = -184/45 - -21/5. Suppose 4 = -4*y - 0, 4*c - 2*y = 2. Which is smaller: c or s?
c
Let c = -43.73 - -0.73. Let v = -44.9 - c. Let i = v - -0.9. Is 0.02 < i?
False
Suppose 0 = -7*p + 102 + 17. Which is bigger: p or 15?
p
Let x = 1.86 + -0.86. Are x and -0.24 unequal?
True
Let i(m) = m**2 - 7*m - 7. Let y be ((-24)/15)/(1/(-5)). Let g be i(y). Which is bigger: -2/9 or g?
g
Suppose -2 = 4*b - 38. Suppose 0*v = -2*w + v - b, -v + 13 = -3*w. Is -4 smaller than w?
False
Let x(l) = l**3 - 6*l**2 + 5*l. Let y = -12 + 17. Let w be x(y). Let r be (((-32)/(-36))/(-4))/1. Which is bigger: r or w?
w
Let p = 0.0918 + 3.7982. Let j = -0.11 - p. Is j greater than -2/5?
False
Let k(y) be the second derivative of -1/2*y**3 - 1/2*y**2 + 0 - 1/20*y**5 - 3*y - 1/3*y**4. Let f be k(-3). Is f > -1/12?
False
Let j(d) = 11*d**2 + 2*d + 1. Let a be j(-1). Let g be 28/a - (-2)/10. Suppose -2 = 4*i - 10. Which is bigger: i or g?
g
Suppose -d + 3*d - 8 = 0. Suppose -2*r = -7*r - d*g + 15, r + 4*g - 3 = 0. Which is smaller: 4 or r?
r
Let y = -12/13 - -110/91. Suppose -o + 0 = -1. Let g be (-1)/((-1)/(-2)) + o. Is g equal to y?
False
Let c = 1122/5 + -224. Let f(x) be the second derivative of x**3/6 - x**2 + 2*x. Let w be f(2). Is c < w?
False
Let g = -2 - -6. Suppose 4*l + g = 2*l. Is l greater than or equal to -1?
False
Let d = 13 - 8. Suppose -d*g - 3*z = -8, 3*g - 4*z = -0*g - 1. Does -4/9 = g?
False
Suppose -4*w + 5 - 1 = 0. Suppose -8 - 22 = -5*q. Let k(j) = j**2 - 7*j + 6. Let x be k(q). Which is smaller: w or x?
x
Let x be -5*(-2 + (-3)/(-3)). Let q = x + -1. Suppose -7 = q*a + h + 2*h, -8 = a + 2*h. Which is greater: a or 1?
a
Let h be 3*28/102 - 1. Let z = h + 23/34. Let n be 8/12 + (-8)/(-6). Is z less than or equal to n?
True
Let k be 5/(-7)*-1 + -1. Let x be 9/(-6)*(-16)/6. Let a = x - 4. Is a > k?
True
Suppose -5*c = 7 + 8, 5*h + 4*c + 12 = 0. Suppose 26 - 6 = -5*p, -18 = 5*j + 2*p. Let a be ((0 - -1) + j)/(-4). Which is smaller: a or h?
h
Let y(o) = -o**3 + 2*o**2 + 3*o + 2. Let v = 6 + -3. Let j be y(v). Suppose 0 = 4*i - j*i. Which is greater: -6/11 or i?
i
Let c = 11 + -11.8. Let h = c - 0.1. Let v = h + -0.1. Is 3 less than or equal to v?
False
Let h = 1 + 4. Suppose 0 = -2*p - 2*w - w + 16, 2*w = -h*p + 29. Let x be (-12)/20 + (-2)/p. Which is bigger: x or -2/7?
-2/7
Let m(l) = 3*l + 14. Let y be m(-6). Which is smaller: y or -1?
y
Let d = 10 - 7.8. Let x = 1.2 - d. Which is smaller: x or 4?
x
Let j = 4 + -2. Suppose -2*v - 4 = j*v. Is v less than or equal to -2/5?
True
Let a(l) = -l**2 - 8*l - 8. Let j be a(-7). Let f = 2 - j. Which is smaller: f or 4?
f
Suppose 4*j = -27 + 63. Which is smaller: 8 or j?
8
Let l(c) = -4*c + 4. Let p(x) be the third derivative of x**4/8 - 2*x**3/3 - 3*x**2. Let b(z) = 4*l(z) + 5*p(z). Let j be b(-5). Which is smaller: -1 or j?
-1
Let v = -0.327 + 0.077. Which is smaller: v or 1?
v
Let v = -1 + 25. Suppose -6 = -3*a + v. Suppose l = 2*f + 11, -4*f - 2*l + 0*l = a. Is -3 > f?
True
Let y be (-2)/(-2 - (-12)/10). Let s = -1 - -4. Which is smaller: y or s?
y
Let a = 0.15 + -1.15. Is a less than or equal to -14?
False
Let x = 3 - 3. Suppose x*c + c = 0. Is 0 bigger than c?
False
Let m be 1/(-3) - (-46)/(-6). Suppose -9*t - 16 = -7*t. Do t and m have different values?
False
Suppose -3 = -t, -2*k + 5*t = 12 + 1. Let n(q) = q + 1. Let o be n(-1). Which is smaller: o or k?
o
Let h be 88/20 + (-6)/(-10). Suppose -31 = -h*p - 6. Suppose u - 2*c + p = -3*c, -4*c + 15 = -3*u. Is -4 greater than u?
True
Let x = 0 - -0.1. Let d = 0.08 + 0.02. Is d at most x?
True
Let a = -719/537 - -1/179. Let g = 1 - 3. Which is smaller: g or a?
g
Let b = -90 + 111. Are b and 18 equal?
False
Let p = -1.32 - -0.32. Which is smaller: 1/28 or p?
p
Let f(x) = -x**3 - 6*x**2 + x + 7. Let b be f(-6). Let r be 1/(1/2*1). Let p = b - r. Is -6/11 < p?
False
Let v be 65*(-3)/(-10)*6. Which is greater: v or 116?
v
Let w be 40/75 - 2/(-15). Which is smaller: -0.1 or w?
-0.1
Let i = -126/5 - -9944/395. Is i at most 0?
True
Let g be (-3)/(-2)*(-180)/81. Is g less than -4?
False
Let m(a) = -3*a + 1. Let o be m(0). Let f be (-8)/(-5) - 4/(-10). Is o > f?
False
Let x(y) = -y**3 + y**2 + y + 1. Let b be x(3). Are b and -13 non-equal?
True
Let u(f) = f**3 + 12*f**2 + 11*f - 5. Let a be u(-11). Let y be (a/(-10))/((-1)/2). Which is bigger: -3 or y?
y
Suppose 7 = 5*z - 8. Let n(u) = -u**3 + 4*u**2 + 4*u + 4. Let b be n(5). Let j be z/6 - (b - -2). Is -2/3 <= j?
True
Let g = -0.2 + -3.8. Let q = g - -4. Is 1 at most as big as q?
False
Let d(q) = 5*q. Let u be d(1). Suppose -10 = -u*m + 3*m. Let y(s) = -s**2 + 4*s + 4. Let x be y(m). Is x not equal to 0?
True
Suppose -14 = -a - 9. Let r = 5 + -8. Let m = -3 - r. Is m > a?
False
Suppose 0*k - 12 = -2*k. Let m be 3/(-2)*(-4)/k. Let p = m + 0. Which is greater: p or 1/4?
p
Let u = 1.5 - 1. Is u bigger than 1/4?
True
Let l be ((-2)/3)/(2/(-3)). Does -3/7 = l?
False
Let z(x) = -3*x - 1. Let q be z(1). Let w be (-2)/2*(q + 3). Which is smaller: 1/4 or w?
1/4
Let h = -17.8 + 18. Suppose -q - 5*l = 22, 0 = 6*q - q + 3*l + 22. Is h less than q?
False
Let d be (-1 - -1)*(-3)/(-9). Suppose -1 = -d*u + u. Is u <= -3/4?
True
Let p = 2/331 - 680/2979. Is -19 greater than p?
False
Let t(j) = -693*j**2 - j - 1. Let m be t(-1). Let n be (-456)/m + (-4)/14. Let c = -4/21 + n. Is -0.2 less than or equal to c?
True
Let u(b) = -b**2 + 3*b - 2. Let p be u(2). Let g be -1*p/2 + 0. Let x be 1*(-1 - (-2 + g)). Which is smaller: x or 0?
0
Let s be ((-9)/(-24))/((-1)/(-54)). Let b = s + -20. Suppose v - 3*h - 14 = 5*v, -4 = 2*h. Which is smaller: b or v?
v
Let m = 0.06 - 0.16. Are m and -0.3 equal?
False
Let w = -1 - -3. Suppose -y = w*y - 9. Suppose y*t + 10 = -2*t. Is -3 >= t?
False
Let p be ((-12)/4 - 31)/(-3 - -5). Do p and -17 have the same value?
True
Let a = 10 - 16. Let b be 0*1*3/a. Which is greater: b or -2?
b
Let i(y) = y - 3. Let b be i(3). Suppose 5*f - 10 = 5*m, -3*f + b*f - m = -18. Is f smaller than 4?
False
Let z = -18 + 50. Is 32 > z?
False
Suppose -v - 3*v = 8. Is 0.1 less than or equal to v?
False
Let a = -51 + 103. Let h be 74/a - (-9)/(-6). Which is smaller: h or 0?
h
Let n be 4 - 1 - 28/(-7). Let p be 2/7 + 5/n. Which is bigger: 3/14 or p?
p
Suppose 0 = 5*c - 2*c + 945. Let f be 2/9 - 110/c. Which is smaller: 1 or f?
f
Suppose 5*w - 61 = -166. Let p = -229/11 - w. Which is greater: 0 or p?
p
Let v(g) = g**2 - 4*g - 2. Let j be v(4). Let i be 5/j + (-10 - -14). Which is smaller: i or 1?
1
Suppose n + 9 = -s, -2 - 32 = 4*n + 3*s. Which is smaller: -6 or n?
n
Suppose -t = -6 + 7. Which is greater: t or -6?
t
Let l = -289 + 1454/5. Let w be (-8)/12 + 22/6. Which is smaller: w or l?
l
Let v = 1.2 + -1.24. Let n = 0.2 + -0.2. Let p = -0.1 + n. Is v less than or equal to p?
False
Let o(v) = -v**2. Let c be o(1). Is -2/5 bigger than c?
True
Let k = 672 + -18142/27. Is k bigger than 0?
True
Suppose -3*b - b = 0. Suppose 2*l + 4 = -5*r, 3*l = -5*r - 6 - b. Does l = -1?
False
Let t(w) = -w**3 + 5*w**2 + w. Let q be t(5). Suppose 4*i + q + 3 = 0. Is 0 bigger than i?
True
Let g = -0.1 - 0. Let t(u) = -u**3 + 4*u**2 - 4*u + 1. Let w be t(3). Do g and w have different values?
True
Suppose 4 = 5*h - 1. Let x = 2/89 - -75/623. Is h less than x?
False
Suppose n + 15 = 6*p - p, -4*n = 20. Let o = p + -2. Let h be 0*(2/4 + o). Is 0 != h?
False
Let q = -2.5 + 3.5. Let m = 1.9 + -2. Which is smaller: q or m?
m
Suppose -3*k + 0*k + 9 = 0. Let x be (-9)/k + (-5 - -2). Let f be ((-1)/x)/(4/(-16)). Which is bigger: 0 or f?
0
Suppose 0 = -f - 3*f + 12. Suppose -f = y + 2*y. Do y and -2/7 have the same value?
False
Suppose 0 = r + 4*g - 24, 4*g - 40 = -3*r - 0*g. Do 2 and r have different values?
True
Suppose -2*a + 431 = 5*z