5*k - 5*y - 60. Let a be (k - -7)/(2/2). Sort -3/7, 1, a in decreasing order.
1, -3/7, a
Suppose -17 = -5*w + 2*j, 4*w = 2*w - 3*j + 22. Let t(b) = -b - 3. Let u be t(0). Sort 4, w, u in descending order.
w, 4, u
Let a = -0.06 - 0.34. Let q = -2 + 1. Let b be (-6 + 3)*2/(-18). Sort q, b, a in ascending order.
q, a, b
Let r be -5 - (0/(-2) - 1). Let j be 1*-1*(r - -3). Suppose -5*k = -2*k - 6. Put k, -0.4, j in decreasing order.
k, j, -0.4
Let w = 144 - 579/4. Let v = 3.5 - -17.5. Let a = v - 20.5. Sort -3/5, a, w in decreasing order.
a, -3/5, w
Let r be ((-8)/2)/(-1 + 3). Let s be 6/(-2)*r/39. Put s, 0.1, 1/4 in ascending order.
0.1, s, 1/4
Let k be ((-2)/(-4))/(8/(-80)). Let a be (0/1)/(1/(-1)). Sort a, k, 3 in descending order.
3, a, k
Let z = -7.5 + 8. Let w be (-10)/(-4)*(-2 + (-16)/(-5)). Put -4, w, z in descending order.
w, z, -4
Let u = 64 + -62. Let s be (2/4)/((-1)/4). Sort s, -4, u.
-4, s, u
Let i = -63.12 - -61. Let n = 0.12 + i. Let r(t) = -t + 8. Let f be r(5). Put n, f, -1/5 in decreasing order.
f, -1/5, n
Let o = -15.7 + 16. Sort -1, -5, o in decreasing order.
o, -1, -5
Suppose 0 = -2*g + 4*w - 20 - 0, -5*g = -w + 14. Put g, 4, -13, 1 in ascending order.
-13, g, 1, 4
Let u(b) = 5*b**2 + 3*b + 2. Suppose 0 = 3*i - 0*x - 4*x + 3, -3*i + x - 3 = 0. Let c be u(i). Let m = 2 + -3. Sort c, m, 1 in increasing order.
m, 1, c
Let t(s) = -s. Let j be t(-5). Suppose 0 = -3*d + d + j*a - 9, -4*d = 2*a - 18. Sort -3, d, -5 in decreasing order.
d, -3, -5
Let z(v) = -v**2 - 11*v - 12. Let l be z(-9). Let h be (l/(-9))/(2/15). Suppose 5*k - 6 = y, -3*k + 6 = -0*k. Put h, y, -3 in increasing order.
h, -3, y
Suppose -4*j + 5*k + 0*k - 38 = 0, j + 5*k - 3 = 0. Let m = -4 - j. Put 4/5, m, -1/5 in decreasing order.
m, 4/5, -1/5
Let l = -8 - -6. Sort 0.4, -0.9, l in decreasing order.
0.4, -0.9, l
Suppose -13 = 3*r + 158. Let v = r + 1025/18. Let n = -7/18 - v. Sort -5, n, -4 in ascending order.
-5, -4, n
Let u = -7.7 - 11.4. Let q = -19 - u. Let b = 0.1 - -0.4. Put b, q, 0 in ascending order.
0, q, b
Suppose 0 = 4*a - 0*a + 5*v - 5, -a + 2*v = 2. Sort -2, 5, -3, a in descending order.
5, a, -2, -3
Let h = 1 - 1. Let g = -16 + 15. Sort -4, g, h in increasing order.
-4, g, h
Let r(p) = -6*p + 94. Let s be r(17). Sort 0, -5, s.
s, -5, 0
Let z = 4 - 2. Let d = z - -1. Let a be (-1)/6*(1 - d). Put 0.5, a, -0.5 in decreasing order.
0.5, a, -0.5
Suppose 3*h + 45 = 8*h. Let s be (-33)/h - 2/6. Put -3, s, 5 in descending order.
5, -3, s
Suppose 0 = -2*m + 3*u - 9, m - 7 = -2*u - 1. Sort m, 2, -1, 1.
-1, m, 1, 2
Let o(m) = -3*m + 31. Let v be o(13). Sort v, 3, -3 in descending order.
3, -3, v
Let v = -24 - -23.7. Put 4, v, 3/4 in increasing order.
v, 3/4, 4
Let a be 17/1 + 1 + 5. Sort a, 0, 1 in descending order.
a, 1, 0
Let o be (-2)/8 - 42/(-8). Suppose 5*c - 4*n - 10 = 0, 2*n + 13 = -2*c - 1. Put c, o, 0 in decreasing order.
o, 0, c
Let j(u) = -u**3 - 3*u**2 + 7*u + 9. Let w be j(-4). Let h(o) = o**2 - o - 1. Let a be 13/5 + (-4)/(-10). Let z be h(a). Put 1, z, w in ascending order.
w, 1, z
Suppose 2*g - 90 = -4*o - g, 0 = -3*o + 2*g + 76. Let p = -55 + 34. Let n be (o/p)/((-2)/(-1)). Put 2, -5, n in ascending order.
-5, n, 2
Let i be (2/(-4))/(6/4). Let o = 523.4 - 523. Sort -1/2, i, o in ascending order.
-1/2, i, o
Let f(c) = c**3 - c**2 + 2*c + 1. Let m be f(2). Suppose 2*p + 3*g = -13, 3*p - 3*g = 2*g + m. Sort 10, -1, p.
p, -1, 10
Let h = 1.1 - 0.1. Suppose 4*s = 4*c - 12, 4*c - 1 - 1 = -s. Let k be (s - -2)/2 - 5. Sort k, h, 3 in ascending order.
k, h, 3
Suppose f = 5*f - 20. Let a = 62 - 63. Sort f, a, 0 in decreasing order.
f, 0, a
Suppose 8 = 5*z - 3*k, 0 = -z - z - 2*k. Sort 2/7, z, 6 in ascending order.
2/7, z, 6
Suppose -2*c - 5*h + 21 = 0, h - 1 = -4*c + 14. Suppose w = 0, -c*i + 2*w + 15 = -0. Let x be -1 - (1 - 0 - 1). Sort i, -2, x in increasing order.
-2, x, i
Let f(v) = -v - 5. Let q be f(-9). Put q, 2, 1 in descending order.
q, 2, 1
Let w be (-2)/10 - (-49)/(-5). Let h = w + 6. Sort h, 2, 0.
h, 0, 2
Let r be 3 + 6/(-1) - 0. Let z be 10/(3/(r/2)). Sort z, -3, -4 in descending order.
-3, -4, z
Let i = 0.14 - 0.14. Put -1/4, 0.07, i in ascending order.
-1/4, i, 0.07
Let g(s) be the third derivative of -1/120*s**6 + 0*s + 3/20*s**5 - 3*s**2 + 0 - 3/8*s**4 + 5/3*s**3. Let o be g(8). Sort -2, o, -2/13 in descending order.
o, -2/13, -2
Suppose 0 = -t + 2*z - 2, -2*t + 0*z + 5*z = 3. Let v be (-7)/3 - -3 - (-2)/(-3). Put v, t, 2 in increasing order.
t, v, 2
Let x = -29 - -27. Sort x, -0.2, 4.
x, -0.2, 4
Let d = 0.15 + 0.25. Sort 2/7, 3, -2, d.
-2, 2/7, d, 3
Let s be 1/((2 + 48/(-20))/(-2)). Sort s, 3, -1, -12 in decreasing order.
s, 3, -1, -12
Let g(i) = -i**2 + 7*i - 7. Suppose 5*a = -17 + 42. Let j be g(a). Let o = -4 + 3. Sort o, 1, j in decreasing order.
j, 1, o
Let v = -0.6 - 0.4. Let f = -20 + 15. Sort -0.1, v, f in descending order.
-0.1, v, f
Let v(k) = 4*k**2 - 3*k - 3. Let g be v(-1). Put 0, 1, g, 2 in ascending order.
0, 1, 2, g
Let q = -0.478 - 0.022. Put 2/17, -2/13, q in decreasing order.
2/17, -2/13, q
Suppose -1 = -2*k + 9. Suppose -f + 8 = k. Sort -0.5, f, 0.15.
-0.5, 0.15, f
Let a = -8 + 5. Let j be (a/(-4))/((-3)/12). Suppose -2*s + 11 = 5. Put -1, j, s in increasing order.
j, -1, s
Let k be 0/(3 + -2 + 1). Suppose -4*m = m + 10. Sort k, m, -5 in increasing order.
-5, m, k
Let z = 0.16 + 3.84. Sort 0.4, z, 1/7 in decreasing order.
z, 0.4, 1/7
Let v = -0.06 - 5.94. Let g = 6.4 + v. Let t = 0.34 + -0.04. Sort t, g, 0.1.
0.1, t, g
Let x = -24 - -40. Suppose -x = -h + 3*h + 5*y, 2 = -y. Put 4, 5, h in decreasing order.
5, 4, h
Let v be (-50)/(1 + 9) + (1 - -4). Suppose 2*n - 3 = 4*f + 1, -3*f = 3*n + 21. Sort v, n, -2 in increasing order.
n, -2, v
Let t = 12 - 10. Sort 3, t, -5 in descending order.
3, t, -5
Let r = -2 + 1. Let j be 2/3*(-27)/(-2). Suppose -w - j = 2*w. Sort 2, w, r in decreasing order.
2, r, w
Let y be 1 + -4 + 2 + 1. Let o be y - -4 - (-5 + 4). Let k be (4/6)/(2/(-6)). Put o, k, 0 in decreasing order.
o, 0, k
Let x(m) = -4*m + 1 + 2*m - 4*m. Let v be x(1). Put 3, v, 0 in decreasing order.
3, 0, v
Let u be 8/(-20) - (-46)/(-10). Put 3, -1, u in descending order.
3, -1, u
Let r = 4 - 4.3. Let c = -4.05 + 0.05. Sort 4, r, c in decreasing order.
4, r, c
Let o(p) = -p**2 + p - 1. Let x be o(2). Let f(i) = i**3 + 3*i**2 - 5*i - 5. Let b be f(-4). Sort -2, b, x in decreasing order.
b, -2, x
Let t = -0.44 - -0.04. Let f = -2.089 - -0.089. Put -1/12, t, f in descending order.
-1/12, t, f
Let a be (-5 - 0)*18/(-15). Suppose 0 - a = -3*m - t, 2*t = -4*m + 8. Suppose -5 = -3*q - 2. Sort q, -4, m.
-4, q, m
Suppose 0 = -0*j + j - 36. Suppose y - 12 = 2*p, -j = -5*y + 7*p - 3*p. Put -5, y, -2 in decreasing order.
y, -2, -5
Let t = 1614/7 + -231. Put 2, t, -5/4 in increasing order.
-5/4, t, 2
Let h = 28 + -7. Let l = -16 + h. Let x = 3/10 + 1/5. Sort l, x, -5/3.
-5/3, x, l
Let p be (-20 + 25)/((-2)/(-2)). Suppose u + 1 = 2*u. Put p, u, 3 in decreasing order.
p, 3, u
Let f = 0 + -0.1. Let t be -4*1 + (1 - 1). Put -5, t, f in descending order.
f, t, -5
Let v = -90.9 - -91. Put v, 2/5, 8/7 in decreasing order.
8/7, 2/5, v
Let j(p) = p**2 - 9*p + 18. Let t be j(4). Put 1, t, 0.5, -1/8 in increasing order.
t, -1/8, 0.5, 1
Suppose -t + 4 = 2. Let c = 4 - t. Let y be c/6 - (-2)/(-6). Put 5, 1/5, y in descending order.
5, 1/5, y
Let u be -17 + 1 + (3 - 0). Put -1, 5, u in decreasing order.
5, -1, u
Let x(r) = -r**3 + r**2 + r - 5. Let a be x(0). Let l = a - -9. Let g(h) = h + 4. Let y be g(-6). Sort 1, l, y in decreasing order.
l, 1, y
Let a = -0.66 + 4.66. Let c = 0.3 - 0.8. Put a, c, 0 in descending order.
a, 0, c
Let w be -3 - -3 - (1/1 - -11). Put -2, -1, 4, w in ascending order.
w, -2, -1, 4
Suppose 19 = 5*n - 2*j, -3*j = 2*n + j + 2. Suppose -n*u + 6 = 5*l, -u - 15 = -0*l - 4*l. Sort u, 4, -4 in ascending order.
-4, u, 4
Let g = 46 - 80. Let f = 16 + g. Sort 2, 2/3, f in decreasing order.
2, 2/3, f
Let v = 89/4 + -22. Sort v, 3, -1.
-1, v, 3
Let s(q) = -2*q + 6. Let d be s(8). Let h(r) = -r - 7. Let f be h(8). Let n be (-38)/d + (-3)/f. Sort -3, 5, n in descending order.
5, n, -3
Let x = -0.1 - 0.2. Let j = -5 - -4.8. Sort 3, j, x in decreasing order.
3, j, x
Let n = 4 - 9. Let q = 5 + n. Sort q, -0.5, -2/5.
-0.5, -2/5, q
Let 