.8. Put v, z, 2/11 in decreasing order.
2/11, z, v
Let b(y) = y**2 + 1. Let w be b(2). Suppose -3*r + 2 - 3 = 2*z, -w*z - 13 = -3*r. Let d be (-88)/(-14) + -7 - 2/7. Sort r, d, -4.
-4, d, r
Let g(j) = -j**3 - j**2 - j. Let k be g(0). Sort -1/5, 2/9, k, -0.1 in decreasing order.
2/9, k, -0.1, -1/5
Let p be -2 + (9/(-3))/(-3). Let s be (-1*1/1)/p. Let b be (4 - (-2 + 1))*s. Sort -1, b, 1.
-1, 1, b
Let d be (1/2)/(1/(-4)). Sort d, 1, 5 in decreasing order.
5, 1, d
Let m = 32.1 + -35. Let q = 3 + m. Sort q, 0, -2/3 in descending order.
q, 0, -2/3
Let k be 2/(-4) + (-7)/(-2). Suppose 4*p - b = -3 - 0, -2*p + 9 = k*b. Let s be -1*((-6)/(-4))/((-6)/8). Sort s, p, 4 in descending order.
4, s, p
Let r be 15/12*(-1)/(-5). Let n be (1 - (-6)/(-8))/((-7)/(-56)). Sort r, -2, n in decreasing order.
n, r, -2
Let p = -9.6 + 5.6. Sort 0.3, -3/7, 5, p in descending order.
5, 0.3, -3/7, p
Let o be (2/(-4))/((-4)/(-8)). Put -2, -3, o in descending order.
o, -2, -3
Let q be (16/(-10))/(-1) + -2. Let x be 4/1*(0 + -1). Sort x, q, 0.2 in decreasing order.
0.2, q, x
Let y(t) = -t**2 + 10*t - 4. Let v be y(9). Suppose 7*k = v*k - 8. Sort -2, -1, k in descending order.
-1, -2, k
Suppose 2*y = 2*o - 4 - 2, 3*o = -2*y + 4. Suppose o*v - 6*v = 16. Let s(m) = -m - 1. Let z be s(-4). Sort 5, v, z.
v, z, 5
Suppose -16 = 2*t - p - p, -t - p - 8 = 0. Let y = t - -8. Put 1, -5, y in descending order.
1, y, -5
Let o = 96 - 675/7. Put o, 4, 0.2 in decreasing order.
4, 0.2, o
Let x = -4 + 5. Let g = 5 - x. Suppose 0 = -y + 3*k + 6, 10 = 5*y - g*k - k. Put y, 4, -3 in ascending order.
-3, y, 4
Let c = -12 + 11.1. Let t = c + 0.7. Put -1/3, 0.4, t in ascending order.
-1/3, t, 0.4
Let t = 2.6 - -2.44. Let z = t - 5. Let x = z - -0.46. Sort x, 5, 3/4 in descending order.
5, 3/4, x
Suppose -3*b = -5*t + 15, 4*t + 5*b = -0*t + 12. Let l be 8 - 13 - -1*t. Sort 4, 5, l in ascending order.
l, 4, 5
Let i = 3.7 - 1.4. Let d = i - 1.9. Let f = -0.02 - -4.02. Put f, d, 2 in descending order.
f, 2, d
Let a = -79 + 82. Suppose -7*r = -3*r + 4. Let z be (-7 - -4) + (2 - -5). Sort a, r, z.
r, a, z
Let n = -38 + 33. Sort n, 4, 2 in decreasing order.
4, 2, n
Let c = -1 - -1.9. Let i = 0.4 - c. Let v(p) = p. Let q be v(-1). Put q, 5, i in decreasing order.
5, i, q
Let a be (39/65)/((-3)/2). Let t = 4011549818/11838853 - 1/910681. Let o = 339 - t. Sort 2/19, o, a in decreasing order.
o, 2/19, a
Suppose 5*u = 5 - 0. Let r be -4 + u/1 + 12. Suppose -r - 7 = 4*y. Put 4, y, 1 in increasing order.
y, 1, 4
Let h(f) = 10 - 18 - 2*f**2 + f**3 + 9. Let d be h(2). Sort -4, d, -1 in decreasing order.
d, -1, -4
Let o be 3/(-1) + (-8)/(-2). Let q(s) = -3 + o - 3 - s**2. Let x be q(0). Put -1, -2, x in increasing order.
x, -2, -1
Let n(p) = p**3 + 2*p**2 - 2*p - 3. Let i be n(-2). Let v(f) = -f**3 + 4*f**2 - 2*f + 3. Let s = 9 - 5. Let b be v(s). Sort b, i, 0 in increasing order.
b, 0, i
Let m = -6.6 - -5. Let b = m - -1.6. Put -1, -3, b in ascending order.
-3, -1, b
Let v = 0 - 2. Let o = -2 + 4. Suppose 0*p - o*p = 0. Sort p, 1, v in increasing order.
v, p, 1
Suppose 0 = -2*i - 4*q - 8, 5*i + q - 7 = -0*q. Suppose -i = -s + 4. Suppose -u - h = -5, 3*u + h + 1 - s = 0. Put 1, 3, u in increasing order.
u, 1, 3
Let p be (11 + -7)*12/16. Sort p, 6, -2, 4 in descending order.
6, 4, p, -2
Let p = -1.7 + -3.3. Sort p, 0.3, -2/41 in descending order.
0.3, -2/41, p
Suppose 3*q - 8*q - 4*v + 100 = 0, 2*v + 40 = 2*q. Suppose 2*d = -2*d - q. Sort d, -0.2, -0.02.
d, -0.2, -0.02
Let g = 77 + -76.7. Let n be (-12)/(-7) - (-4)/14. Put -2, n, g in decreasing order.
n, g, -2
Let n = -0.3 - -4.3. Put 0.1, n, 0.5, -1 in descending order.
n, 0.5, 0.1, -1
Let a(m) be the first derivative of -m**2/2 + m - 3. Let v be a(6). Sort v, -1, 2 in descending order.
2, -1, v
Let w(t) = -6*t**2 + 1. Let f be w(-1). Put f, -1, 5 in increasing order.
f, -1, 5
Let k(s) = 2*s**3 + 2*s**2 - 1. Let g be k(1). Let i(c) = -c**3 - 2*c**2 + 7*c + 1. Let z be i(-4). Put g, z, -3 in decreasing order.
z, g, -3
Let u(s) = -4*s**2 + 1. Let d be u(-1). Let p be (2/3)/(2/3). Let r = 3 + -8. Put r, d, p in ascending order.
r, d, p
Let k be 3*(-1)/18*-2. Sort -2, 1, k, -0.4 in descending order.
1, k, -0.4, -2
Let p = -1 + 1. Let h = -10 + 11. Let d be h/(9/(-2)) - 0. Put 0.2, d, p in decreasing order.
0.2, p, d
Let l = 14 - 13.7. Sort -0.5, l, -1/6.
-0.5, -1/6, l
Let h(v) = -2*v**3 + v - 1. Let n be h(2). Let y = n - -17. Put 4, y, 5 in decreasing order.
5, 4, y
Let n be (5/(-3))/(5/15). Put 4, 2, 1, n in descending order.
4, 2, 1, n
Let v be ((-6)/(-9))/((-2)/(-3)). Suppose -37 = -3*x + 5*z, -z = 2*z + 6. Suppose -4*o - x = 7. Put -5, o, v in decreasing order.
v, o, -5
Suppose 5*y + 10 = -3*i, y + 7*i - 4*i + 14 = 0. Suppose 8 = -5*c + 4*h, 3*h = -3*c - 12 - 9. Sort y, -1, c.
c, -1, y
Suppose 5 = -5*y - 0. Let p = -8 - -5. Let n be 3/(-1)*-1 + -2. Sort n, p, y.
p, y, n
Suppose -3*c - 1 = 2*t, -c = -5*c - 3*t. Suppose -4*d - 3 = -5*d. Sort c, 1, d in increasing order.
c, 1, d
Let l = 34825/13 + -2677. Let f = 85/39 - l. Sort f, 1/2, 1 in increasing order.
f, 1/2, 1
Let t(b) = 3*b - 1. Let v be t(2). Let o(f) = 3*f. Let s(y) = -2*y. Let n(z) = 3*o(z) + 5*s(z). Let m be n(-1). Put v, -4, m in decreasing order.
v, m, -4
Let j = 0.05 + -0.01. Let k = j - 3.04. Sort 5, k, 2 in increasing order.
k, 2, 5
Suppose 7*c - 5*l = 2*c + 5, 0 = -5*l + 20. Let r(a) be the second derivative of -a**3/6 + 3*a**2 + 5*a. Let x be r(8). Put c, x, -1 in descending order.
c, -1, x
Let g = -10 + 15. Let q = 5.8 + -6. Sort q, -5, g in descending order.
g, q, -5
Let z = -8/15 - -1/3. Sort -2, z, 5 in ascending order.
-2, z, 5
Let f = 83/2 - 40. Sort 0.5, f, -3.
-3, 0.5, f
Suppose -2*s + 4*s - 150 = 2*x, -5*s + 377 = -4*x. Let t = 461/6 - s. Put 0, 5, t in descending order.
5, 0, t
Let y be ((-84)/(-16) + -4)*-4. Sort 3, y, 0 in descending order.
3, 0, y
Let r be (8/6 + -2)/1. Sort -2/11, r, 10 in descending order.
10, -2/11, r
Let r(l) be the second derivative of l**3/6 - l**2/2 + 4*l. Let k be r(3). Suppose k*h - 4*v = -0*h - 6, 4*v - 8 = 0. Put 0, h, 5 in descending order.
5, h, 0
Let c(v) = 8*v - 8. Let n be c(-7). Let a = -447/7 - n. Let j = 0.2 - 0.2. Sort a, j, -5.
-5, j, a
Suppose -2*w + 9 = w. Suppose -2 = -3*p + 4. Suppose 5*m = p - 17. Put m, 1, w in descending order.
w, 1, m
Let n = -19 + 18. Let u be 2/(-7) + (-41)/(-21). Sort u, -1/2, n in descending order.
u, -1/2, n
Let y = -4 - -3. Let l = -0.5 - y. Let h = 395/6 - 66. Put l, 5, h in increasing order.
h, l, 5
Let p = -937/11 + 85. Sort p, 16, -0.2 in decreasing order.
16, p, -0.2
Let m be 0/(-2 - -3) - -2. Suppose -3*n = 3*d, 2*n = 4*n + d - m. Suppose q = i - 5*i + 1, n*i - q + 1 = 0. Put 5, -5, i in decreasing order.
5, i, -5
Suppose 13 = -4*h - 3*w, 8*w = 5*h + 4*w + 24. Suppose 0*l + l = 0. Sort -2, l, h in decreasing order.
l, -2, h
Suppose -6*u + 3*u = 15. Suppose 7 = 4*k - 5. Suppose k*w - 20 = -w. Sort u, w, 0 in descending order.
w, 0, u
Let i(h) = -h**3 - 3*h**2 + 5*h + 3. Let d be 1*(-8)/6*3. Let k be i(d). Let q = 0.5 + -2.5. Put k, q, 4 in descending order.
4, k, q
Suppose 4*o = -4*b - 28, 5*b + 2*o + 2*o = -32. Put b, 0, -3 in ascending order.
b, -3, 0
Suppose 0 = 4*x - 7 - 1. Suppose -5*q - 2 + 17 = 0. Let v = q + -2. Put v, x, -5 in descending order.
x, v, -5
Let y(h) = -h + 7. Let s be y(6). Sort -20, s, 4.
-20, s, 4
Suppose 0 = -0*q - 2*q - 8. Let d = q + 6. Put -1, d, -3 in descending order.
d, -1, -3
Let q(j) = 2*j**3 + j**2 - 3*j - 2. Let a be q(2). Put -1, 0, 1, a in decreasing order.
a, 1, 0, -1
Let o be 147/(-84) - (7/(-4) - -1). Put o, 8, 0 in decreasing order.
8, 0, o
Let a = 4 - 6. Let j = 3 + -2.8. Let b = j + 4.8. Sort 1, a, b in decreasing order.
b, 1, a
Suppose 0 = 7*k - 2*k - 2*u - 8, 0 = 3*k - 2*u - 4. Suppose 4*v + 22 = k*j, 0 = -3*j - j - 5*v + 5. Put j, -3, -2 in descending order.
j, -2, -3
Let u(s) = s**2 - 3*s - 5. Let j be u(5). Suppose -v = -j*v + 16. Let a be 5/(-2)*8/v. Sort -3, -1, a.
a, -3, -1
Let s(x) = -x - 4. Let k be s(-7). Let c = -1 + k. Suppose 28 = 5*j + 8, 5*y - 3*j = -7. Put -5, y, c in descending order.
c, y, -5
Let x be ((-2)/3)/(8/(-60)). Sort x, -3, 0.1 in decreasing order.
x, 0.1, -3
Suppose 3*b = -b. Suppose -3 = -d, -a + 6 = -2*a + 2*d. Suppose 5*y + a*y = -3*