. Let y be u(s). Sort y, 1, c in descending order.
1, c, y
Let o = 16 + -15.87. Let z = o - 0.43. Sort -1/6, z, 5.
z, -1/6, 5
Let z = 0.34 - -16.66. Let d = 12.5 - z. Let h = 5 + d. Put 5, h, -1 in increasing order.
-1, h, 5
Let v = -13/2 - -6. Let s = 44/7 - 6. Put s, v, 5 in decreasing order.
5, s, v
Suppose -2*q - 15 = -7*q. Suppose 0 = 4*p - 2*x - 0 - 2, 5*p = 4*x + 10. Let y(f) = -f - 22. Let l be y(-18). Sort l, q, p in decreasing order.
q, p, l
Let z be 2 + (-2)/2 + 1 - 1. Sort z, 4, -3, 3 in increasing order.
-3, z, 3, 4
Suppose -s = -1 - 0. Let b(x) = x**2 + 3*x + 16. Let v be b(0). Suppose 3*l = -l + v. Put s, -4, l in increasing order.
-4, s, l
Let m = 5.07 + -0.07. Let d = m + -6. Sort d, 0.4, 2.
d, 0.4, 2
Suppose y + o - 9 = 0, 0*o + 15 = 2*y - o. Suppose -4*f - 2 + 6 = 0. Sort -2, f, y in ascending order.
-2, f, y
Let l(w) = 4*w**3 - 2*w**2 + 2*w - 1. Let j be l(1). Suppose 6*y = -0*y - 12. Put 8, y, j in increasing order.
y, j, 8
Let s = -1.05 + 1.25. Sort -0.4, s, 0.03 in ascending order.
-0.4, 0.03, s
Suppose 3*g - 5 = 1. Let p be g/3 - (-5)/(-3). Let l(h) = -2*h - 1. Let s be l(-1). Sort p, 5, s in descending order.
5, s, p
Let t be -1*(2 - (-18)/(-8)). Let f = -140573/15 + 9376. Let g = f + -24/5. Sort g, t, -3.
-3, g, t
Let n = 221/6 - 37. Sort -0.2, n, -2/7, 0.09.
-2/7, -0.2, n, 0.09
Let x be 2 - (0 + -2)/2. Let t be (-1 + 24/x)*-1. Let l be 2/(-2) - 10/t. Put -2/3, 2, l in descending order.
2, l, -2/3
Let p be (-176)/(-14) + 8/(-14). Put 2, p, -5 in decreasing order.
p, 2, -5
Let d = -3.7 + -5.8. Let i = d + 9. Let g be -4 - (-1 + (1 - -1)). Sort i, g, -4/3 in decreasing order.
i, -4/3, g
Let b(l) = 8*l - 86. Let s be b(11). Put -13, -4, s in ascending order.
-13, -4, s
Suppose 6*p - 9 = 3*p. Sort -4, p, -2, 0 in ascending order.
-4, -2, 0, p
Suppose 0 = t + 4*t - 25, 3*c - 11 = 2*t. Suppose 6*m - 2 = 5*j + 2*m, -5*j = -m - c. Let l be 8/3*(-6)/(-4). Sort l, j, 1 in decreasing order.
l, j, 1
Let y = 5.6 - -0.4. Let l = y + -8. Let r = -6 + 3. Put r, l, 2 in decreasing order.
2, l, r
Let m be 4/10 + (-204)/85. Put 4, -1, 2, m in decreasing order.
4, 2, -1, m
Let l = -43.6 + 48. Let a = -4 + l. Let r = -7/5 - -19/10. Put -4, a, r in increasing order.
-4, a, r
Let m = -5.5 - 2.1. Let u = m + 8. Sort -1, u, 4.
-1, u, 4
Let m = -0.2 - -0.4. Let d(v) = -v. Let i be d(-3). Let g be (-3 + 3/i)*-2. Put 6, g, m in descending order.
6, g, m
Let q = -0.34 - -0.04. Sort 4, q, -1, 0.1 in descending order.
4, 0.1, q, -1
Let t(u) = -u**3 + 2*u**2 - u - 1. Let v be t(2). Let a(j) = -j**2 + j. Let p be a(0). Sort p, -5, v in decreasing order.
p, v, -5
Let b = 0.19 + 1.81. Sort 0.4, 1/3, b.
1/3, 0.4, b
Let t = -28.6 - -29. Let f = 13/44 + -6/11. Put t, -6, f in decreasing order.
t, f, -6
Suppose -2*i - 1 = -3. Let g be (-1)/2*(4 - 0). Let y be g/4 + (-10)/4. Put 4, i, y in ascending order.
y, i, 4
Let s = 26 - 24. Let w be 10/(-8)*s + 3. Sort w, -2, 0.2.
-2, 0.2, w
Let z = -0.12 - -0.05. Let r = z - -0.07. Let p = -2 + 1. Put -1/4, r, p in decreasing order.
r, -1/4, p
Let v = 24 - 26. Put 5, v, -11 in increasing order.
-11, v, 5
Let v = -0.6 - -0.64. Let i = -0.36 - v. Sort -3, i, -4.
-4, -3, i
Let j = -5 + 2. Sort j, 3/7, 4 in ascending order.
j, 3/7, 4
Let q(u) = u**3 + 2*u**2 - u - 2. Let r be q(-2). Suppose -2*t + 0*h - 5*h - 15 = r, 26 = -5*t - h. Let i = -19/91 + -1/13. Sort t, -4, i in decreasing order.
i, -4, t
Let m = 12 + -13.4. Sort -1/2, m, -0.1.
m, -1/2, -0.1
Let u = -2 + 1.9. Let w(k) = -k**3 + k**2 + k - 5. Let j be w(0). Let t be (2 + -1)*-2 - j. Sort t, -2/11, u in decreasing order.
t, u, -2/11
Suppose 0 = 4*u + 54 - 154. Suppose 2*o + 3*j - 20 = -j, 5*j - u = -5*o. Let c be -2 + (1 - 0) + o. Sort c, -2, 5.
-2, c, 5
Let q = -2 + 3. Put q, 3, 5, -4 in decreasing order.
5, 3, q, -4
Let b = -6 - -10. Let j be (2/(-4))/(1/2). Let o = 28 - 28. Sort j, o, b in decreasing order.
b, o, j
Let b = -451/950 - -15/38. Let z = -23/60 + -1/60. Suppose 3*w - 12 = -0. Sort b, w, z in descending order.
w, b, z
Suppose 5*g + 4*y - 6 = 3*g, -4*g = y + 2. Suppose -l + 3 = 2*x - 3*x, 3 = l - 3*x. Put g, 1, l in ascending order.
g, 1, l
Let c = -17 - -16. Sort c, -2, -2/7 in descending order.
-2/7, c, -2
Suppose 0 = 6*t - 2*t. Let z be 5/(-2)*1*2. Put t, z, -4 in decreasing order.
t, -4, z
Suppose 5 = 4*y - 3*y. Let v = -1 + 2. Let j = 14 + -17. Put v, j, y in decreasing order.
y, v, j
Suppose -2*y - 3*y - 15 = 0. Let m be 5/(-4)*12/y. Let x(i) = -i**3 - 4*i**2 + i + 1. Let s be x(-4). Put m, 0, s in decreasing order.
m, 0, s
Let x(c) = 8*c - 14. Let v be x(5). Sort v, -2, 2, -5 in ascending order.
-5, -2, 2, v
Let r = 11 - 16. Let u = -0.63 + 0.03. Let z = -1 - u. Put -1, r, z in increasing order.
r, -1, z
Suppose -9 = 3*v + 6. Suppose -f + 5 - 6 = 0. Put v, f, 1 in descending order.
1, f, v
Let q = 32/105 - -1/35. Put -0.2, q, 2/15 in decreasing order.
q, 2/15, -0.2
Suppose 6 = 2*k + b, 2*b - 14 = -5*k - 0*b. Let r be 1/(k + -2 + 1). Suppose 0 = -w - w - 4. Put 2, r, w in increasing order.
w, r, 2
Let i = 1.8 + -1.6. Sort -0.5, 2/11, i in decreasing order.
i, 2/11, -0.5
Suppose -16 = -3*b - b. Let s(h) = h**3 - 5*h**2 + 4*h + 4. Let a be s(b). Put 3, 0, a in increasing order.
0, 3, a
Let v = 18 - 12. Let u = 1 + v. Suppose u = 3*q + 5*b + 29, 0 = -4*q + 3*b + 19. Put q, -2, -4 in descending order.
q, -2, -4
Let v = -46 - -49. Sort v, -1/2, 0.2 in increasing order.
-1/2, 0.2, v
Let p be 25/(((-102)/753)/2). Let y = 369 + p. Let v = y + -13/34. Sort v, -2/9, 2.
v, -2/9, 2
Suppose 0 = -2*i - 6, 4*i + 3 + 1 = -4*m. Suppose m*q - l = 3, 2*q = -q + 4*l + 17. Let j be (-1 + (-6)/(-4))*10. Sort -4, q, j.
-4, q, j
Let r = -4 + 3. Let d be ((-18)/12)/(1/(-6)). Let p = d + -47/5. Sort -3, r, p in descending order.
p, r, -3
Let m = -3 - -3. Let n = 8 + -3. Sort m, n, 2/15 in decreasing order.
n, 2/15, m
Suppose 4*l - 20 = -3*x, 12 = 5*l + 3*x - 10. Let c(f) = -f**2 + 15*f + 3. Let q be c(15). Sort l, q, 5.
l, q, 5
Let g be 2/1 + -4 + -3. Sort g, 5/3, -2.
g, -2, 5/3
Let m = -42 + 27. Let x be 3/30*m/2. Let a be (-2)/(-4) - (-3)/30. Sort x, 3/4, a in decreasing order.
3/4, a, x
Let q = 0 - 1.3. Let g = q + 0.3. Let s(d) = d**2 + 8*d - 4. Let h be s(-9). Put -2, h, g in ascending order.
-2, g, h
Let w be (-16 + 15)*(1 + 0 + 2). Sort 5, w, -6 in decreasing order.
5, w, -6
Let z(k) = -k**3 - 22*k**2 - 3. Let s be z(-22). Let o(h) = h**3 - 2. Let l be o(0). Sort s, l, -1.
s, l, -1
Suppose -6*c = -2*c - 20. Suppose 5*y - 2 - 1 = 3*s, -2*y + 3*s - 6 = 0. Put c, -1, y in ascending order.
-1, y, c
Let b be -1*(-20)/(-4) - (-1)/1. Let j(h) = -h - 5. Let v be j(0). Sort v, -3, b in decreasing order.
-3, b, v
Suppose -18 = 3*k - 6. Sort -2, k, 0 in decreasing order.
0, -2, k
Let b be (-4)/(-10) + 198/30. Suppose -4*u = 4*g - 2 + 14, b = -3*u - 5*g. Let v = 3.7 + -0.7. Sort -0.2, u, v.
u, -0.2, v
Let z = -1 - -0.91. Let l = z + -0.11. Sort -0.5, 0.1, l in decreasing order.
0.1, l, -0.5
Suppose -2*w + 17 = -5*d, -4*w - 21 = -0*d + d. Suppose -i = 4*l - 8 + 1, 0 = 4*l - 3*i - 27. Suppose l*f = -f. Put 2, d, f in increasing order.
d, f, 2
Let y = -8 - -4. Sort y, 5, -1.
y, -1, 5
Let h = -40 - -42.7. Let t = h + -0.5. Let d = -2 + t. Sort -2/13, d, -0.3 in decreasing order.
d, -2/13, -0.3
Let g = -2.07 + 2. Put 2/3, 0, g in increasing order.
g, 0, 2/3
Let c = -4 - -7. Let i = 0.24 + 0.06. Let b = -0.6 - -0.4. Put b, c, i in ascending order.
b, i, c
Let s(k) = -k. Let w be s(-4). Suppose -25 = w*g + g. Let r = -0.04 - 0.36. Put r, g, -4 in decreasing order.
r, -4, g
Let g = 478/5 + -95. Put g, 0.1, -1/9 in descending order.
g, 0.1, -1/9
Let a(b) = -b**3 - 8*b**2 - 8*b + 2. Let p be a(-7). Suppose 0 = q + 2*q - p. Let s = 137/12 + -32/3. Sort s, -4, q in descending order.
q, s, -4
Let l = 1.52 - 0.45. Let m = 3.83 + -3.9. Let d = m + l. Put d, -1/4, -3/2 in decreasing order.
d, -1/4, -3/2
Let z = -2/183 + 67/549. Let h = -2/9 + 1/18. Sort 1, h, z in ascending order.
h, z, 1
Suppose -5*m + 2*j = -j - 36, m = -4*j - 2. Let p be m + -1 + 1/(-1). Suppose -5*a + 2*t = -14, -4*a - 4 + 2 = 5*t. Put 5, a, p in increasing order.
a, p, 5
Let x = -1 - -2. Let z be (2/3)/((-2)/(-15)). Suppose 4*p + 2 = -z*d + 2*p, 0 = -4*d - 3*p + 4. Put d, 0.2, x in ascending order.
d, 0.2, x
Let 