. Let k be 1/s - 27/(-6). Sort -5, g, k in descending order.
k, g, -5
Let a be 1/(7/2 + -4). Let d(k) = k + 1. Let z be d(-5). Sort z, -1, a in decreasing order.
-1, a, z
Let f = 10 - 6. Let d = f - 5. Let o be ((-12)/8)/((-2)/(-4)). Put o, 1, d in increasing order.
o, d, 1
Suppose 12*o = 14*o + 10. Let s = -3 - o. Sort -3, s, -2 in ascending order.
-3, -2, s
Let a be ((-26)/(-42) - (-20)/(-70))*1. Put 1, a, 3/5, 58 in descending order.
58, 1, 3/5, a
Suppose -w = -2*r - 11, -w + 2 = 1. Let u(s) = -3*s**2 - 8*s - 7 - 2*s**3 - 4*s**2 - 3*s**3 + 4*s**3. Let d be u(-6). Sort d, r, -2 in descending order.
d, -2, r
Let f be (-1 + 5/5)/(-1). Put 6, f, 3 in decreasing order.
6, 3, f
Let o = 7/47 - 185/611. Sort 2/9, 1/6, o in ascending order.
o, 1/6, 2/9
Let o = -5 + 10. Suppose 13 = -4*t - 3*b - 7, 15 = -3*t + 5*b. Sort o, t, -4.
t, -4, o
Let b = -294 + 146. Let v = -2810/19 - b. Put v, -0.4, -0.5 in increasing order.
-0.5, -0.4, v
Let i be 1/(-2)*2 + -4. Let x be (1/(-3))/(2/(-12)). Let h be x*3/(-9)*6. Put h, -3, i in increasing order.
i, h, -3
Suppose 2*q - 5*w - 7 = 0, 2*w - 7 = q + 3*w. Sort 0, q, 4 in increasing order.
q, 0, 4
Let j = -1 - -2. Sort 5, j, 4 in increasing order.
j, 4, 5
Let p = -0.35 + -4.65. Sort 2/9, -12, p.
-12, p, 2/9
Let i = -0.3 + 0.7. Let r = 0.5 + -0.5. Put 0.5, i, r in ascending order.
r, i, 0.5
Let k = -5 - -9. Sort k, 3, 5 in decreasing order.
5, k, 3
Suppose 3*p + 30 = 5*b, -3*p - 2*b - 19 = 2*p. Suppose 0 = -5*r - 0*o - o - 2, 3*r = -4*o - 8. Sort p, -2, r in decreasing order.
r, -2, p
Let a = 0.31 + -0.01. Put -4, -0.5, a in descending order.
a, -0.5, -4
Let l be 1 + -3 + 4 + -2. Suppose -5*z + 2*r = -2*r + 20, 3*z - r + 5 = l. Suppose w + 3*w = z. Sort 4, w, -4 in ascending order.
-4, w, 4
Let m(c) = c + 3. Let w(j) = -j**3 - 4*j**2 + 4*j - 3. Let v be w(-5). Suppose -v*x = 2*x. Let u be m(x). Sort 1, u, -5 in descending order.
u, 1, -5
Let y(w) = -w. Let n be y(-4). Suppose -5*t + n*z - 35 = 0, 30 = -5*t + z + 2*z. Sort -4, 4, t in ascending order.
-4, t, 4
Suppose -5*o + 4*z = -2*o, z + 17 = 5*o. Suppose -5*n + 25 = -o*u + 5*u, -3*n + u = -15. Let p(h) = h**2 + 3*h - 4. Let q be p(-4). Sort 1, n, q.
q, 1, n
Let v be (-42)/28*1*8/(-3). Suppose -h - 6 = h. Sort h, v, 0 in increasing order.
h, 0, v
Suppose -6*z - 7*z - 39 = 0. Sort z, 0, -1, -8 in increasing order.
-8, z, -1, 0
Suppose a - 4*a + 21 = 0. Let o be a/5 - 3/(-5). Sort o, 4, 0.
0, o, 4
Suppose 3*i = 4*f - 7, 8*i - 3*i - 7 = 2*f. Sort i, 0, 2, -3.
-3, 0, 2, i
Let g = 20 - 16. Put -5, -3, g in decreasing order.
g, -3, -5
Let t = 104 + -106. Let a = 5 + -4.7. Let x = a - 0.1. Put x, t, 3/2 in decreasing order.
3/2, x, t
Let a = 40.4 + -37. Let v = a + 0.6. Sort v, -2, 0.2 in decreasing order.
v, 0.2, -2
Let p = 4 + -6. Let q = p + 6. Put 0, -1, q in increasing order.
-1, 0, q
Let a(b) = b - 10. Let p be a(9). Suppose -7 = -3*i + 11. Suppose i*o + 12 = 2*o. Sort o, 0, p.
o, p, 0
Let y be ((-3770)/168)/5 - -2. Let q = 23/12 + y. Put -1, -5, q in decreasing order.
q, -1, -5
Let x = -5 - 0. Sort -4, -1, x in descending order.
-1, -4, x
Let r be 3 + 2 + -15 + 11. Let p(i) = i**3 - 7*i**2 + 6*i - 1. Let h be p(6). Put r, 2, h in decreasing order.
2, r, h
Suppose -2*p = 3*g - 5, 4*p - 6*g + 2*g = -40. Let l = -5/122 + -443/1098. Let q = l + -1/18. Sort -2/11, q, p in increasing order.
p, q, -2/11
Suppose -11*f + 12 + 10 = 0. Put -1, -5, f, 3 in increasing order.
-5, -1, f, 3
Let j = 32 - 34. Sort -3, -4, 0, j in decreasing order.
0, j, -3, -4
Let g = 2.8 + -3. Suppose 2 = 2*t + 4, 0 = 2*v + 2*t - 2. Suppose 0 = 2*w - 5*w - 15. Put g, v, w in ascending order.
w, g, v
Suppose 22*y + 6 = 24*y. Put -4, y, -1, 0 in decreasing order.
y, 0, -1, -4
Let v(w) = w - w**2 - 2 - 3*w - 2*w - 2*w. Let f be v(-5). Sort -4, f, 16.
-4, f, 16
Let z(i) = -i**3 + 8*i**2 - i + 3. Let o be z(8). Let n(b) = -b**3 - 3*b**2 - 2*b - 1. Let w be n(-3). Let l = 0 + w. Sort -3, l, o.
o, -3, l
Let t = -2.73 - 0.27. Let o = 9 + -15. Let b = o - t. Sort b, 2, 3/4 in ascending order.
b, 3/4, 2
Let a = 11 - 15. Let q = -130 - -648/5. Let t = 2.6 + -2.4. Sort a, q, t in increasing order.
a, q, t
Let p = 602/5 - 121. Sort p, -2/7, 0.05 in decreasing order.
0.05, -2/7, p
Let c(r) = -r + 3. Let q be c(3). Suppose 0 = 3*i + 15 - 66. Put q, i, 4 in ascending order.
q, 4, i
Let z = -0.6 - -1.1. Let c = z - 0.4. Put -0.4, 0, c in descending order.
c, 0, -0.4
Let b = 42 + -167/4. Put b, 3/4, -0.1, 4 in decreasing order.
4, 3/4, b, -0.1
Suppose -2*q - 3 = -b - 1, -4*q + 8 = -5*b. Let l = 0.8 - -0.1. Let m = l - 0.4. Sort q, m, 1 in descending order.
1, m, q
Let h = 0.0334 + -2.0334. Let g = -1 - -6. Put h, g, -2/15 in increasing order.
h, -2/15, g
Let h = 7 - 7. Let x(w) = -w**3 + 5. Let y be x(0). Suppose v = 2*d + 1, -5*d + y = -0*d - 5*v. Sort -5, h, d in descending order.
h, d, -5
Let j = -0.04 + 0.24. Sort j, 0.5, 2/31 in descending order.
0.5, j, 2/31
Let c be 28/(-5) + 10/(-25). Let i be (-1 + c/(-4))*0. Suppose -n = -i*n - 4. Put -2, -3, n in increasing order.
-3, -2, n
Let v = -140 - -145. Sort v, -1, 1, -5 in increasing order.
-5, -1, 1, v
Suppose n + 0 = 1. Suppose -u - n = -2. Let l = 1 - u. Put 3, -3, l in decreasing order.
3, l, -3
Let i be 1/(75/6)*15/3. Sort i, 0.1, 0.3 in ascending order.
0.1, 0.3, i
Let l be (-4)/((-8)/12*3). Suppose -4*w = 5*o + 1, l*w = 3*o - 1 + 6. Sort 5, 2, o in increasing order.
o, 2, 5
Suppose 3*p = -2*p - 2*d + 27, 0 = -5*p - d + 26. Suppose 4*l - 5*w - 30 = 0, -p*w + 2 = l + 7. Let i = 0.53 + 0.47. Put i, l, 2/9 in decreasing order.
l, i, 2/9
Let n = -0.05 + 0.08. Sort 5, n, -5/2.
-5/2, n, 5
Let b = -3 - 1. Let d be b + 3 + 3*1. Let a = -12 - -12. Sort -2, a, d in increasing order.
-2, a, d
Let p = -24 - -29. Suppose -3*n + n = 10. Let y be (n/(-2))/(4/(-8)). Sort -4, y, p in descending order.
p, -4, y
Let d = -0.9 + 0.5. Suppose 0 = -4*r - q + 8, -q - 10 = -5*r - 3*q. Let b be -3 - (-1 + r + 1). Put b, -4, d in decreasing order.
d, -4, b
Let m(x) = 3*x - 3. Let a be m(2). Let b = -4 + -1. Sort a, -3, b in decreasing order.
a, -3, b
Let t = 3 + -2.9. Let a = 1.1 - t. Let j = -39 - -271/7. Put j, -3, a in descending order.
a, j, -3
Let i(o) = -3*o - 4. Let l(q) = 2*q + 4. Let f(c) = -3*i(c) - 4*l(c). Let m be f(7). Let x = 5 - 8. Sort x, m, 4 in ascending order.
x, m, 4
Suppose -3*y + 3*h = -6, 13 + 5 = 5*y + 3*h. Suppose 3*a + 3*o - 42 = 0, -a - 3*a + 5*o = -47. Let d = -9 + a. Sort y, d, -3.
-3, y, d
Let q = -1 - -0.8. Let t = 1.4 - 1.4. Let m = q - t. Sort 3, 2, m in descending order.
3, 2, m
Let l = -1.4 - 13.6. Let y = 11 + l. Let c = 0.1 - 0.1. Sort -2, y, c in descending order.
c, -2, y
Suppose -15*b + 10*b = -10. Sort -10, b, 0 in descending order.
b, 0, -10
Let b = 1.4 - -0.6. Let y = 5 - b. Sort y, -3/7, 1/2 in ascending order.
-3/7, 1/2, y
Let y(h) = -4*h**3 + h**2. Let s be y(-1). Sort 2, s, 0 in descending order.
s, 2, 0
Let f = -0.64 + -1.36. Put -3/7, -2/57, f in increasing order.
f, -3/7, -2/57
Let q = -0.11 + -0.19. Sort q, -4, -0.2 in increasing order.
-4, q, -0.2
Let i = -14 + 17. Let q be 3 - (7 - (i - 1)). Let p(g) = -g**3 + 7*g**2 + 9*g - 11. Let s be p(8). Put q, s, -4 in decreasing order.
q, s, -4
Suppose 5 = -3*d + 14. Suppose 0 = d*j + 5*h - 30, 1 - 8 = -2*j + h. Sort j, 0, 4 in ascending order.
0, 4, j
Let l = 1.2 - 0.8. Sort -1/3, l, -0.3.
-1/3, -0.3, l
Let b = -0.7 - -0.1. Let z = b + -4.4. Let k = -60 - -182/3. Sort z, k, 5 in decreasing order.
5, k, z
Suppose 28*o = -3*j + 31*o - 30, 3*j - 4*o = -35. Let x = -2 + 4. Put 1, j, x in increasing order.
j, 1, x
Let s be (-6)/(-9)*3/(-2). Let b(o) = o + 3*o - 2*o + 9 - o. Let m be b(-6). Sort m, 2, s.
s, 2, m
Suppose 3*r - 2*o - 2*o = 1, -4*o - 8 = -4*r. Let w = -12 + r. Put w, 0, 4 in decreasing order.
4, 0, w
Suppose 0*u - 4*u = 0. Put u, -4, 3 in descending order.
3, u, -4
Let d = -34106 - -4502033/132. Let v be (-21)/(-77) - (-2)/(-8). Let z = d + v. Sort 0, z, -1/3 in decreasing order.
z, 0, -1/3
Let p be ((-2)/(-6))/((-3)/27). Let m = 0.6 + -2.6. Let i be 0 + 0 - 2/12. Put i, m, p in descending order.
i, m, p
Let z = 12.8 + -11.8. Put 0.6, -2, z, -3/4 in descending order.
z, 0.6, -3/4, -2
Let i(t) = 2*t + 24. Let p be i(-13). Put p, 2/7, -3 in decreasing order.
2/7, p, -3
Suppose 