 Sort h, -1, m.
-1, m, h
Let n = 1.7 + -26.7. Let b = n + 28. Sort b, 5, 1 in decreasing order.
5, b, 1
Let k = -25 + 25.46. Let q = k - 0.06. Sort q, 0.6, -0.4 in descending order.
0.6, q, -0.4
Let a be -3 + 0 + 3 + (-6 - -2). Suppose 3*n - 5*h + 19 = 0, 4*n - 4*h = n - 14. Sort n, a, 4 in increasing order.
a, n, 4
Let s be 9 + (-2)/2 + 30/(-5). Suppose -3*q - 2*q - 15 = 0. Sort 0.3, s, q, 7.
q, 0.3, s, 7
Suppose 0 = -3*b + 2*r + 10, 6*b - 5*b = -4*r - 6. Suppose -b*p = -3*g - g - 12, -5 = -3*g + 5*p. Sort 0, g, 4 in descending order.
4, 0, g
Let y = 0.5 + 2.5. Let d = 43.41 + -43.91. Sort d, y, -1 in ascending order.
-1, d, y
Suppose -44*b - 87 = 45. Put 0, 4, b, 1 in decreasing order.
4, 1, 0, b
Let l = -0.59 + 0.49. Put 26, l, -2/25 in descending order.
26, -2/25, l
Let o = 12 + -10. Let x(p) = p**2 - 6*p + 8. Let u be x(5). Suppose u*j = -5*v - 24, -9 = -2*v - 0*v + 5*j. Sort o, 3, v in decreasing order.
3, o, v
Let t be 14/4*(-4)/(-22) - 1. Let r = 1/33 + t. Sort r, -3, 6.
-3, r, 6
Let q = -90 + 89.59. Let h = q - 18.59. Let d = h + 16. Put -1/4, d, -0.3 in decreasing order.
-1/4, -0.3, d
Let f = 16 - 14. Let z(b) = -b**3 - 2*b**2 - 4*b - 3. Let n be z(-2). Suppose -5*q - 3*d + 18 = 0, n*q - 6 = 2*q - 3*d. Put f, q, -1 in decreasing order.
q, f, -1
Suppose 0 = -3*f - 3*n - 9, 4*n = 4*f - 3 - 9. Let t be (30/20)/(4/(-8)). Put f, 5, t in increasing order.
t, f, 5
Let p = -19 + 21. Let m(r) = -2*r**3 - r**2 - r + 1. Let y be m(p). Let g = 17 + y. Sort -5, 1, g in increasing order.
-5, g, 1
Suppose 70 = 7*z - 5*z. Suppose -8*b + b = z. Put 4, b, -1 in descending order.
4, -1, b
Let s be (-3 + 1)/(3/(-12)). Suppose b + 3*b = s. Put 1, -1, b in decreasing order.
b, 1, -1
Let t = 819 + -818.8. Let y = 13 + -15. Put -0.3, y, 3/7, t in decreasing order.
3/7, t, -0.3, y
Suppose 0 = 3*j - 4*z - 0*z - 41, -2*z + 4 = 2*j. Put 0, j, 0.12, -5 in descending order.
j, 0.12, 0, -5
Let h = 4476/166397 + -2/2161. Put -0.1, h, 3 in ascending order.
-0.1, h, 3
Let z be 3/(-24)*110*1*-4. Put 1, z, -4 in descending order.
z, 1, -4
Suppose 9 - 1 = 4*k. Sort -2, k, -0.6, 0.3.
-2, -0.6, 0.3, k
Let b = -18.3 + 4.3. Sort 0.1, b, 6 in decreasing order.
6, 0.1, b
Let v = -12 - -12. Let p(m) = -3*m**3 + 29*m**2 + 8*m + 21. Let t be p(10). Sort t, v, -2 in ascending order.
-2, v, t
Let b = 3.76 - 0.66. Let q = b - 3. Let x = 673/2 + -337. Sort x, -3, q in decreasing order.
q, x, -3
Let p = 90 + -53. Let t = -42 + p. Put -1/13, t, 1/2 in descending order.
1/2, -1/13, t
Let f be (-1*(-3)/(-2))/((-93)/62). Put -31, 3, f, 4 in ascending order.
-31, f, 3, 4
Let i = -190 - -1708/9. Let r = -10 + 3. Sort -2/15, i, r in increasing order.
r, i, -2/15
Let f = 4514/5 - 902. Sort 0, f, 19 in ascending order.
0, f, 19
Let f = -6 - -7. Let w = 39 + -39. Put 2/3, w, f in increasing order.
w, 2/3, f
Let i(x) = -3*x**3 - 7*x**2 + 3*x - 5. Let u be i(-3). Sort u, -1, -97.
-97, -1, u
Let d = -176 - -177. Put -4, -3, -5, d in decreasing order.
d, -3, -4, -5
Let v be -1 + 22 + 6 + -3. Let w = v + -21. Suppose 0 = 2*r - 3 + 9. Sort w, r, 5.
r, w, 5
Let x be (-1 - -3) + 12/(-7). Let p = -2.713 + -0.127. Let w = p - 0.16. Sort x, -1, w.
w, -1, x
Suppose 20*k = 179 + 1. Let l = -4 + 0. Put l, k, -5, 2 in descending order.
k, 2, l, -5
Suppose 5*z = 3*r + 32, 117*r + 8 = -2*z + 113*r. Sort -4, -142, z.
-142, -4, z
Let b(l) = -l**3 + 30*l**2 - 27*l - 58. Let r be b(29). Sort 7, 12, r in decreasing order.
12, 7, r
Let w = -13.74 + 13.82. Sort 2/15, 3/4, -5, w in decreasing order.
3/4, 2/15, w, -5
Suppose 5*c = -2*j - 39, 2*j + 5*c = 2*c - 49. Let b = j + 30. Let z be -2 + 4 + (-4)/(-4). Sort b, z, -1 in descending order.
z, -1, b
Let t = 11.72 + 0.28. Let l = t + -12. Let c = 0.46 + -0.06. Put -3/2, c, l in descending order.
c, l, -3/2
Let h(a) = -2*a**2 + 84*a - 851. Let m be h(17). Suppose -6*w + 10 = -w. Sort m, w, -3 in decreasing order.
w, m, -3
Let b(k) = -k**3 + 11*k**2 + k - 6. Let o be b(11). Suppose 5*j - o*c - 5 = 0, c + 2 = -3*j + 5. Let y(m) = 4*m**3 - 2*m**2 + m. Let x be y(j). Sort 0, x, 4.
0, x, 4
Let h = -33 + 32. Let m(f) = 5*f. Let r be m(h). Let j(t) = -5*t - 1. Let p be j(-1). Sort p, 2, r.
r, 2, p
Let n = -29.8 + 29.244. Let k = n + 0.056. Sort 4, 0.2, k in ascending order.
k, 0.2, 4
Suppose -4*o + 2*q = -3 - 3, 3*q + 9 = -3*o. Suppose o*u = -19*u. Put 3, u, 6, -2 in ascending order.
-2, u, 3, 6
Let v = 0.3 + -1.8. Let g = v - -4.3. Let d = 0.8 - g. Sort -2/3, -5, d in descending order.
-2/3, d, -5
Let f = -11 - -12.2. Let q = f - -7.8. Let b = q - 5. Put b, -3, -3/4 in descending order.
b, -3/4, -3
Let j be ((-1)/(-11))/(9/(18/(-1))). Put -1.5, 1.4, 5, j in descending order.
5, 1.4, j, -1.5
Suppose -5*n + 2*q = -216, q - 219 = -5*n + 4*q. Suppose 0 = -12*t + 5*t - n. Sort 1, t, -2 in ascending order.
t, -2, 1
Let h = -6 + 5.5. Let b = 104.7 - 105. Put -4, b, h, 3 in descending order.
3, b, h, -4
Let k(t) = t**3 - t**2. Suppose -f + 2*x + 0*x = 25, -2*x = -4*f - 70. Let b = f + 16. Let p be k(b). Put p, -3, 4 in ascending order.
-3, p, 4
Let f(h) = -6 - 25*h + 32*h - h**3 + 1 - 2*h**2. Let x be f(-4). Sort x, -3, -6 in ascending order.
-6, -3, x
Let h = -211/520 + 3/520. Sort -0.1, h, -4, -4/11 in descending order.
-0.1, -4/11, h, -4
Let w = 31 - 36. Let a(s) = -s**3 - 4*s**2 + 3*s - 8. Let v be a(w). Sort v, 5, 10, 3 in decreasing order.
10, 5, 3, v
Let n = -2.1 - -1.76. Let h = 0.07 - n. Let t = h - 0.01. Sort 3, t, -0.1 in descending order.
3, t, -0.1
Let n = 592 + -599. Put -2, 16, n in descending order.
16, -2, n
Let d = -3.14 - -0.14. Let q = -35 - -54. Let w = 18.7 - q. Sort w, -4, d in increasing order.
-4, d, w
Suppose -w + 20 = -0*w. Suppose 2*t - 4*p = -w, -3*t = p + 39 - 9. Put -3, t, -5 in descending order.
-3, -5, t
Suppose -21*u + 183 = -18*u. Let a = u - 66. Put 4, a, 0 in decreasing order.
4, 0, a
Suppose -2*v - 12 = 2*i, -2*i - i - 42 = -3*v. Let r be -1 + (-5)/i*-2. Sort -3, r, 1.
-3, r, 1
Let i be (-308)/(-32) - 21/(-56). Put 0, i, 4, -5 in descending order.
i, 4, 0, -5
Let y = -6 + 7. Let i(d) = -3*d - 20. Let x be i(-6). Put 0, y, x in decreasing order.
y, 0, x
Let m = 250 - 248. Put -3, 5, m, -7 in increasing order.
-7, -3, m, 5
Let j be (-88)/66*((-3)/4)/3. Let o = -2/25 - -33/100. Sort o, 3, 2/3, j in decreasing order.
3, 2/3, j, o
Let m be 4/(-10) + (-259)/(-35). Suppose 4 = 3*z + m. Let u be (-6 - z) + -3 + 5. Put 0.3, u, -1/3 in ascending order.
u, -1/3, 0.3
Suppose -3*j - s = 0, -29*s = -5*j - 25*s. Put -2, -11, j, -3 in increasing order.
-11, -3, -2, j
Let c = -0.007 + 13.507. Let b = c + -17. Let u = b - -1.5. Sort 1, u, 3 in ascending order.
u, 1, 3
Suppose 0*j - j + 2 = 0. Let x be (-21)/(-14)*((-16)/6)/(-1). Suppose 2*y = 4*o + 14, -x*o + j*o + 3*y = 5. Sort o, 4, 3 in increasing order.
o, 3, 4
Let l(y) = y**3 - 6*y**2 - 7*y - 17. Let u be l(7). Let m(b) = -b - 14. Let f be m(u). Let c(a) = -a**2 - 6*a + 1. Let v be c(-6). Sort f, -2, v.
-2, v, f
Suppose -3*g + 0*k - 9 = 3*k, -3*g + 5*k - 25 = 0. Suppose -2 = -3*x + 7. Let q be 18/27*x*1. Put 0, g, q in descending order.
q, 0, g
Let i = 1070 + -1071. Put 0, i, 87 in ascending order.
i, 0, 87
Let g = 393/5 + -79. Sort -5, -3, g, 1 in ascending order.
-5, -3, g, 1
Let i = -16.76 + -1.34. Let k = i + 2.1. Let p = k + 16.3. Sort 6, p, -3.
-3, p, 6
Suppose 2444 = -11*t - 977. Sort 1, -5, -2, t.
t, -5, -2, 1
Let y = -0.11 + 5.11. Let n = -5 + 5.3. Sort 4, n, y in increasing order.
n, 4, y
Let m(p) = p**3 + 22*p**2 + 47*p - 189. Let f be m(-19). Put f, 51, 4 in increasing order.
f, 4, 51
Let l = -7.78 - -1.78. Let w be 6/14*-1 + 0. Sort l, w, -3/2 in ascending order.
l, -3/2, w
Let k = 1.42 + -1.3. Let p = 22.12 - k. Let t = 22 - p. Put 2, t, 1 in descending order.
2, 1, t
Let j = 128 - 133. Put 6, -4, j, -3 in ascending order.
j, -4, -3, 6
Let l = 1219/4 + -305. Put l, 9, -0.2 in ascending order.
l, -0.2, 9
Let z = 0.27 + 31.73. Let h = z + -30. Sort 0, h, 5 in descending order.
5, h, 0
Let p = 567 + -568. Sort 142, p, 5 in ascending order.
p, 5, 142
Let l(d) = 9*d. Let m(b) = 26*b. Let k(c) = -14*l(c) + 5*m(c). Let a(u) = u - 1. Let z(s) = 3*a(s) - k(s). Let w be z(-5). Sort 3, w, 4.
w, 3, 4
Let k = 8.72 - 8.6. Sort k, 10/3, 0 in descending order.
10/3, k, 0
Let x = -39.4 + 26.3. Let d = x - -