+ 8. Suppose -5*m + 5*c = 0, -c + 6*c - k = 2*m. Put -1, -5, m in decreasing order.
m, -1, -5
Let b = -17.5 - -17. Sort b, 2, -3/4 in descending order.
2, b, -3/4
Suppose 4*v - j - 15 = 5, 5*v + 2*j - 25 = 0. Suppose -9*l + 5*l - 4 = 0. Sort v, l, 4 in decreasing order.
v, 4, l
Suppose y - 8 = -y - 5*l, 0 = y + l - 1. Put -4, 2, y in decreasing order.
2, y, -4
Let i = -0.3 + 0.28. Let w = 0.38 - i. Let b = -50 - -54. Put b, w, -2/9 in ascending order.
-2/9, w, b
Let s = -7.1 + 6.1. Put -5, -4, 1/5, s in ascending order.
-5, -4, s, 1/5
Let i be (-1 - 0)/(1/(-2)). Let u = 4 + -4. Suppose 4*k - 3*k = u. Put 1, i, k in decreasing order.
i, 1, k
Let i = -4 + 6. Let n = -37 + 35. Put 0.1, n, i in increasing order.
n, 0.1, i
Suppose 0 = 3*w + 8 - 5. Let r = 2 - w. Put r, -5, 4 in descending order.
4, r, -5
Suppose 4*q = -3*b - 1, -4*b - 1 = 3*q - 2. Put q, 0.1, 5 in decreasing order.
5, 0.1, q
Suppose -5*k - 5*h = -2*h + 40, k + 2*h + 15 = 0. Sort -4, k, 4 in descending order.
4, -4, k
Suppose 3*a - 9 - 6 = 0. Put -12, a, 0 in descending order.
a, 0, -12
Let m = -13.2 - -13.6. Put 5, -0.08, m, -3/4 in descending order.
5, m, -0.08, -3/4
Let o be 27/3*1/3. Let a be (18/39)/o*-1. Let h(f) = 3*f**3 - f**2. Let v be h(-1). Put a, v, 1/6 in descending order.
1/6, a, v
Let j be 0*(-2 + 5/2). Let s = 5 + j. Let n be (2 + 1*-2)*-1. Put n, s, -1 in decreasing order.
s, n, -1
Let w(t) = t - t**2 + 6*t + 4 + 7. Let l = 10 + -2. Let x be w(l). Sort -5, x, 2 in descending order.
x, 2, -5
Let d = -3 - -2.8. Let k = -6.1 - -9.1. Sort k, 0, d.
d, 0, k
Let r = -3.31 + 0.31. Put 4/11, r, -4/7, 0.3 in descending order.
4/11, 0.3, -4/7, r
Let w be 45/30 - 1/(-2). Sort -1, w, -4 in descending order.
w, -1, -4
Let v(g) = g**3 - 5*g**2 - 11*g + 17. Let x be v(6). Put -5, -2, x in increasing order.
x, -5, -2
Let j be 10/(-12)*(-12)/(-135). Let i = -44/135 + j. Sort 3, -3, i in descending order.
3, i, -3
Let n be ((1 + -3)/2)/1. Let k be -1 - (n + -2) - 0. Suppose w + k = 3*w. Sort -1, 0, w in descending order.
w, 0, -1
Suppose -w + 14 = 2*h, -75 = -5*w - 0*w - 5*h. Let d = 11 - w. Let x be -1 + 3 - 4/(-2). Sort 5, d, x in ascending order.
d, x, 5
Let u be 240/130 - (-2)/13. Suppose u*o + 14 - 4 = 0. Sort 5, -1, o in increasing order.
o, -1, 5
Suppose 0*h - 2*h + 23 = -s, 5*h = -5*s + 65. Suppose -h - 13 = -5*p. Let q(t) = t + 11. Let u be q(-11). Put u, -3, p in decreasing order.
p, u, -3
Let b = -2.8 - -3. Let p = 4.8 - 4. Let c = -1.8 + p. Sort c, b, -1/5.
c, -1/5, b
Let q = -0.9 - 0.1. Let g = -4 - -2. Let y = -1 + 1. Sort q, g, y in descending order.
y, q, g
Suppose -5 - 35 = -4*n. Sort 1, 4, n in increasing order.
1, 4, n
Let x be (3 - 3) + 0 + 2 + -3. Put -4, x, -3 in decreasing order.
x, -3, -4
Suppose h - 2 = 3*y - 11, -2*y = 3*h - 17. Let x be 2 + (-2)/(4/6). Sort h, x, 2.
x, 2, h
Let j(r) = -r**2 + 2*r - 2. Let l be j(2). Let s be 3 + l + 58/(-62). Sort 3/8, -2/7, s in ascending order.
-2/7, s, 3/8
Let h = -13 + 14. Put h, -1, -4 in ascending order.
-4, -1, h
Let y = -14 - -17. Suppose 3*m = -3 - 6. Suppose -13 = 4*d + 3. Sort d, y, m in decreasing order.
y, m, d
Suppose j - 7 + 3 = 0. Let u be (-32)/(-6) - (-8)/(-24). Sort j, u, 3 in descending order.
u, j, 3
Let r = 18 + -14. Suppose 5*y - 3*c = -2*c + 2, -2*y - c - 2 = 0. Let b be -2*1/((-4)/6). Put b, y, r in decreasing order.
r, b, y
Let f = 15 - 11. Let n = 810 + -815. Let v = -0.2 + 5.2. Put f, v, n in increasing order.
n, f, v
Let v = -0.01 + 0.11. Let m = -1.1 - -0.8. Sort v, m, 0.
m, 0, v
Suppose -55 = -5*i + 5. Suppose 0 = -3*p - 5*z + 24, 2*p - i = -p - z. Sort -5, -1, p.
-5, -1, p
Let p(i) = -i**2 - 2*i + 2. Let g be p(2). Let y(f) = f + 8. Let t be y(g). Suppose -h - t = 2. Put 1, -3, h in increasing order.
h, -3, 1
Suppose -47 = 4*g - 19. Sort -0.3, g, -1/3 in descending order.
-0.3, -1/3, g
Suppose 0 = -o + 2*y - 8 - 5, -3*o = -y + 29. Let g be o/(-1)*1/3. Suppose g*q = 4*v, 2*v = -v + 5*q - 11. Sort -1, 1, v in descending order.
v, 1, -1
Let a = 0.36 - 0.46. Let z = 5 + 0. Sort z, a, 2 in ascending order.
a, 2, z
Let t = 1.6 - 2. Let o = 0.3 + t. Let k = 1 + -5. Sort 2, o, k in decreasing order.
2, o, k
Let n = -0.1 + 0.3. Put -1, n, -3 in decreasing order.
n, -1, -3
Let d = -11 - -6. Sort -3, 1, d, 3 in decreasing order.
3, 1, -3, d
Let a be (-1 + (-11)/(-13))/(56 + -57). Let b = 0 - -0.4. Sort a, b, -1.
-1, a, b
Suppose 5*j + v = j + 59, -v - 25 = -2*j. Suppose -5*t + 0*t - 18 = 2*f, -t = 3*f + j. Let d be 4/6 - (-1)/3. Sort d, 0, t in decreasing order.
d, 0, t
Let o = 2.6 + -0.6. Sort 3, o, 5 in descending order.
5, 3, o
Let w = -1 + 3. Sort 1/10, w, 1/4, -0.4.
-0.4, 1/10, 1/4, w
Let r be (-1 + (-1 - -2))/(-1). Suppose r = 5*y + 5*n + 25, 5*n + 18 = -2*y + n. Sort 2, y, -4.
-4, y, 2
Let a = -9.5 - -9. Let o = 21 - 22. Sort o, a, -4.
-4, o, a
Suppose -5*u = -3 + 18. Suppose 4*t + 8 = -2*f + 34, 20 = 4*t. Suppose 2 = i - f*i. Sort -2, i, u in increasing order.
u, -2, i
Let s = -44 - -47. Sort 0, -0.3, s, 0.02.
-0.3, 0, 0.02, s
Let c = 0 + -1. Let f = 0 + 3. Suppose -n - f*n = g - 23, -n = g - 8. Sort 3, c, n.
c, 3, n
Let s(t) = -t**2 - 13*t + 14. Let y be s(-14). Sort -5, -1, y, 2.
-5, -1, y, 2
Let m(i) = -i**3 + 5*i**2 - i + 7. Let a be m(5). Let y = -1 + a. Sort -1, -5, y.
-5, -1, y
Let d = 71.7 + -72. Let r = -0.4 + -1.6. Sort d, 0.4, r.
r, d, 0.4
Suppose 6*l - 12 = 2*l. Let k be 2/((12/(-2))/l). Sort 1, k, 2/7 in descending order.
1, 2/7, k
Suppose 0 = -5*g + 3*g - 2*u + 4, 2*g - 4 = u. Suppose f - 12 = -g*f. Sort 3, f, 5.
3, f, 5
Let p = 0 + -1. Sort p, -2, 2 in decreasing order.
2, p, -2
Let w be 3*(-2 + 1) - 1. Let t(y) = -y**3 - 3*y**2 + 5*y + 4. Let g be t(w). Suppose 4*p + 12 = -g*p. Sort 1, p, 2/5.
p, 2/5, 1
Let l = 2 - 0. Let h = 7 - 1. Suppose h*k + 6 = 8*k. Put l, k, -3 in increasing order.
-3, l, k
Let d = 407 - 403. Let j(r) = -r**2 + 3*r + 1. Let x be j(4). Put x, 5, d in decreasing order.
5, d, x
Let w(i) = i**3 + 14*i**2 + 1. Let x be w(-14). Put 0.1, 3/4, x in decreasing order.
x, 3/4, 0.1
Let q(l) = -l**2 + 22*l - 42. Let f be q(20). Suppose 0 = -2*m + m + 2. Put 5, f, m in decreasing order.
5, m, f
Let b = -6 - -6. Sort b, -0.01, 4 in ascending order.
-0.01, b, 4
Let h be (9/2 + -4 - 0)*4. Let v = 4 + -5. Sort v, h, 5 in descending order.
5, h, v
Let n(m) = m**2 - 7*m + 1. Let g = 0 - -6. Let l be n(g). Put -3, l, 0 in descending order.
0, -3, l
Let k = -0.62 - -0.22. Sort k, 0, 17 in increasing order.
k, 0, 17
Suppose 24 = -j + 3*j. Suppose -3*f - 45 = 6*f. Sort 1, f, j in increasing order.
f, 1, j
Suppose 134*m - 130*m = -4. Sort -2, 0, m in decreasing order.
0, m, -2
Let z = -109/4 - -27. Sort -0.5, z, 0.1.
-0.5, z, 0.1
Let a be (-3)/(9/(-6)*1). Let w(x) = -4*x**3 + x + 1. Let k be w(-2). Suppose 26 = -4*n + 2*o - 5*o, 5*n + 3*o + k = 0. Sort n, 1, a in descending order.
a, 1, n
Let r(f) = -f**3 - 7*f**2 - f. Let i be r(-5). Let a be 1/2 - i/(-18). Let q be -2 - -1*a/1. Sort 2, q, -3 in descending order.
2, -3, q
Let k = -26 + 25. Sort k, -3, 3.
-3, k, 3
Suppose 3*y - 4*y = 3*a + 13, 3*y = 5*a + 17. Put -10, -3, 4, a in decreasing order.
4, -3, a, -10
Let v = -1.9 + 4.9. Put -5, -0.1, v in ascending order.
-5, -0.1, v
Let c(t) = t**2 + 17*t + 37. Let a be c(-15). Put -1, a, -3 in descending order.
a, -1, -3
Suppose m = 7*m + 24. Let q(v) = v**3 - 6*v**2 + 6*v. Let z be q(5). Put m, -3, z in descending order.
z, -3, m
Suppose -5*b + 5*m - 40 = 0, -2*b - 2*m = -0*m + 24. Let r = b - -6. Let v = 2 - 2. Put r, v, 4 in ascending order.
r, v, 4
Suppose 2*d - 5*v = 7 - 21, -4*d - 14 = -3*v. Sort -0.3, d, 14 in decreasing order.
14, -0.3, d
Let a be ((-2 + 6)/4)/((-1)/4). Suppose -4*l + 2*l = -6. Put -2, l, a in descending order.
l, -2, a
Let q be (-33)/20 + 1 + 12/30. Put q, 2/25, 11, 0.4 in increasing order.
q, 2/25, 0.4, 11
Let w = -34.7 - -35. Sort w, -0.3, -5, 4 in descending order.
4, w, -0.3, -5
Let m = -0.1 - 2.9. Let r = 36 - 37. Sort 0.1, r, m.
m, r, 0.1
Let d be 3 + -4 + 1 + 5. Suppose -3*t - 1 = -7. Let c be (-4)/t - -2 - 1. Put 0, d, c in descending order.
d, 0, c
Suppose -5*s = -5*x + 100, 0 = -x - 3 - 2. Let q = s + 23. Let f be (-16)/(-6) - (-2)/(-3). Put f, -1, q in increasing order.
q, -1, f
Let f = 103 + -103.5. Sort f, 3/7, 2, -0.4.
f, -0.4, 3/7, 2
Suppos