 y = -158 + -12. Let k = y - -170.12. Sort k, 3, -0.5 in increasing order.
-0.5, k, 3
Let t = -26220 - -25092538/957. Let u = t + -2863/3828. Sort u, -8, 1/5, 2 in increasing order.
-8, u, 1/5, 2
Let x = 3 + -3.1. Let a(i) = 2*i**3 + 13*i**2 + 32*i + 1. Let j be a(-2). Let p be 2/(-2 + (-36)/j). Put p, 0.4, 1/3, x in ascending order.
p, x, 1/3, 0.4
Let k = -42.38 + 42.08. Put 3, k, -16, 0.3 in descending order.
3, 0.3, k, -16
Let t(y) = 16*y + 109. Let a be t(-7). Let k = 28 - 32. Sort -8, k, 4, a.
-8, k, a, 4
Let m be (-4)/8*(-1)/((-4)/32). Let a(c) = 8*c - 9. Let s be a(1). Let i = 0 - -1. Sort m, 4, i, s in decreasing order.
4, i, s, m
Suppose 5*g = t + 32, g + 14*t + 4 = 9*t. Put 54, 0.4, 3, g in ascending order.
0.4, 3, g, 54
Let g = 22 + -21.8. Sort -1/3, 3, 0.3, g in ascending order.
-1/3, g, 0.3, 3
Suppose 3*f + h = -0*f - 5, 5*f - 15 = 3*h. Suppose f = -3*g - 13 + 103. Suppose -g = 5*s - 11*s. Put -3, -2, s in ascending order.
-3, -2, s
Let b = -1.894 - -0.894. Put 3, -0.4, -0.6, 0, b in descending order.
3, 0, -0.4, -0.6, b
Let i = -137 - -97. Let f = -5.814 + 45.924. Let s = i + f. Put s, 0.2, 2/9 in descending order.
2/9, 0.2, s
Let t be ((-30)/210)/(13/11011). Put 8, 4, t in decreasing order.
8, 4, t
Let t be (2*1)/(100/(-8)). Let c = 191.8 + -192. Sort -2, t, 5, c in increasing order.
-2, c, t, 5
Let y = 1 - 9. Let r = 12 + y. Let b = 14 - 18. Sort b, r, -2/5 in decreasing order.
r, -2/5, b
Let w be (-1)/6*(496 - 274). Sort w, 3/2, 1/5 in decreasing order.
3/2, 1/5, w
Let d = 301.43 - 302.03. Put -2/17, 2/7, d, -34 in decreasing order.
2/7, -2/17, d, -34
Let r = 0.57 - 0.27. Sort 2/11, 3/4, -0.2, 115, r in ascending order.
-0.2, 2/11, r, 3/4, 115
Let l = 34.05 - 33.75. Put l, -4/5, -2/11, -3/4, -3.9 in decreasing order.
l, -2/11, -3/4, -4/5, -3.9
Suppose -1 - 19 = -5*i. Suppose 16*v = 21*v - 55*v - 50. Put -10, v, i in decreasing order.
i, v, -10
Let w = -56 + 89. Suppose -7 = 2*z + w. Let o be (8/(-10))/(4/z) + 2. Sort -2, o, -3 in decreasing order.
o, -2, -3
Suppose 2*d - 7*d = 0. Let v be 11/(-4) - (-2)/(-8). Suppose -63*f + 15 = -66*f. Sort 3, v, d, f.
f, v, d, 3
Suppose 13 + 69 - 10 = -24*l. Let f be ((-13)/(-5) - 2)*5. Put f, 1, 4, l in ascending order.
l, 1, f, 4
Let h = 21 - 17. Suppose -5*z = d - 25, 2*z - h*d = -0*z + 32. Let b be (2 - 1)*z - 2. Put -4, b, 11 in descending order.
11, b, -4
Let v = 9 - 8.85. Let f = v + -1.15. Let q = 33 - 31. Sort f, -3, q, 0.3.
-3, f, 0.3, q
Suppose -237*o = -111*o + 87*o - 213. Sort o, -4, -472 in ascending order.
-472, -4, o
Let s be -4 - 4*3/(-6). Let u be -1 + 3 - (3 - 5). Suppose 3*b - 4*b = -5*b - w, -3*w = 0. Sort s, -1, b, u in descending order.
u, b, -1, s
Let r = 783 - 714. Suppose 22 = -r*w + 91*w. Sort 5, w, -2, -4.
-4, -2, w, 5
Let n(b) = b**3 + 14*b**2 + b + 20. Let r be n(-14). Suppose 4*m = -1 - 7, -v = -2*m - 2. Sort r, 0, -4, v in decreasing order.
r, 0, v, -4
Let y = -50 + 49.7. Sort y, 0, 3, -30 in decreasing order.
3, 0, y, -30
Let f = 492 + -562. Let g = f + 66. Suppose -1 = b - 2*b - z, -z + 2 = 0. Sort 4, b, g, 1 in ascending order.
g, b, 1, 4
Let m = 3 + 7. Let v = -2606.4 - -2606.4. Sort m, v, -0.1, 2/13.
-0.1, v, 2/13, m
Suppose -6*x + 39 = -54 + 9. Sort 0, -20, -2, x in increasing order.
-20, -2, 0, x
Let z be 6636/147 + ((-200)/(-35))/(-5). Sort -3, 0, z, 3 in descending order.
z, 3, 0, -3
Let k = 21.928 - 22.328. Sort 0, -90, k in descending order.
0, k, -90
Suppose 2*m + 4*t = 0, -3*m - 4*t = -4*m - 12. Suppose -29*k - 70 - 655 = 0. Sort m, -2, k in increasing order.
k, m, -2
Suppose 8 - 9 = -3*s - 5*t, -3*t - 3 = 0. Suppose 0 = -0*n + n + 3*n. Put 9, s, n in descending order.
9, s, n
Suppose 2691 = -27*r - 360. Sort r, -5, 0 in descending order.
0, -5, r
Let n = -5377/70 - -771/10. Put -24, 1, n, 0.2 in descending order.
1, n, 0.2, -24
Let y be 30/(-12) + (-45)/(-6). Let n(f) = f**3 - 6*f**2 + f - 4. Let j be n(6). Suppose 0 = -2516*d + 2512*d - 20. Sort 4, y, d, j in descending order.
y, 4, j, d
Suppose r + 4 = -2. Let x = 4710 - 4707. Put x, 4, r, -1 in decreasing order.
4, x, -1, r
Let w = 17703 - 17708. Put 169, 2, w in descending order.
169, 2, w
Suppose x - 3*x - 2*j = -50, -2*j + 10 = 0. Let d = x - 21. Suppose -20*z = -11*z - 45. Put -6, z, d in descending order.
z, d, -6
Suppose -24*g + 90*g + 365 = -7*g. Put 15, 5, g in ascending order.
g, 5, 15
Let w = 462958 + -45833236/99. Let b = 34/11 + w. Let p = -8 - -7.8. Sort b, 3/2, p.
b, p, 3/2
Suppose -314*a = -l - 310*a - 6, 16 = 4*a. Sort 3, -2, 1, l, -5 in decreasing order.
l, 3, 1, -2, -5
Suppose 3*j = -2*i + 76, 4*i = 2*j + 2*j - 128. Let x be (j/(-2) - -5) + 1. Let l be 6/51 - 96/(-51). Sort 0, l, x in descending order.
l, 0, x
Let q = -1260.4 - -1260. Sort 0.3, 4, -2, q, 6/131.
-2, q, 6/131, 0.3, 4
Suppose a - 10 = -5*g, -485*a + 488*a = -g + 16. Sort g, -3, 19, -1 in descending order.
19, g, -1, -3
Let k = -41 - -32. Let y be (-52)/(-12) + (-6)/k. Let r = 1140 - 1139. Put r, 8, y in ascending order.
r, y, 8
Let u = 87 - 85. Suppose 28*m - 12 = 24*m. Suppose m*i + 9 = -0*i. Put u, i, 3, 4 in decreasing order.
4, 3, u, i
Let r = -1814 - -1806. Suppose -j + h = -12, 4*h - 5*h - 36 = -4*j. Suppose -j = 2*x - 0. Put -2, r, -1, x in descending order.
-1, -2, x, r
Suppose 32*l = 4*l + 112. Let v be l*(-8)/(-24)*(2 - -1). Sort v, -57, -1/4 in ascending order.
-57, -1/4, v
Suppose 9*w - 21*w = 12 + 48. Sort w, -68, 3, -1, -45 in increasing order.
-68, -45, w, -1, 3
Suppose -54*m - 11 = 49*m - 217. Sort 72, -2, m in increasing order.
-2, m, 72
Let a(o) = o**2 - 147*o + 3515. Let l be a(117). Let f be (-8 - 1)*2/6. Let m be -2*f/(-6)*-2. Sort l, -1, 4, m in decreasing order.
l, 4, m, -1
Let c(i) = i**2 - 6*i - 29. Let v be c(11). Suppose v = 19*r + 7. Sort 4, r, 3 in descending order.
4, 3, r
Let u = 0.0422 + -0.5422. Let v = -5 - 15. Let p = 17 + v. Sort 4, u, p.
p, u, 4
Let p = -5500.1 - -5500. Sort p, 1, 0.053, -1/2, 3 in increasing order.
-1/2, p, 0.053, 1, 3
Let d = -0.274 - -0.234. Sort 1/2, d, -3, 1/23 in ascending order.
-3, d, 1/23, 1/2
Let i = -8 - -3. Let v(p) = 3*p**2 - 12*p + 7. Let y be v(3). Let k be ((-5)/(-5))/(2/4). Put y, i, k in ascending order.
i, y, k
Let s = -29.1 + 16.1. Let y = -30.5 - -26.5. Sort -2, s, y in ascending order.
s, y, -2
Let p be ((3/64)/((-6)/(-24)))/(99/66). Sort 0.3, 1, p, 24/41.
p, 0.3, 24/41, 1
Suppose 13*m - 92 = -1. Put 1, -25, 3, m in increasing order.
-25, 1, 3, m
Suppose -1455 = -3*h - b - 1456, 5*b = 3*h + 49. Put -61, 2, h, 4, -5 in ascending order.
-61, -5, h, 2, 4
Let n be 7 - (11 + -5 - 5/5). Sort 19, 58, 5, n in descending order.
58, 19, 5, n
Suppose 13*n + 55 + 65 = n. Put 3, 19, n in decreasing order.
19, 3, n
Let t = 900.2 - 900.1. Put 4/5, -3, 7, t in descending order.
7, 4/5, t, -3
Let g be ((-9 - -2)/(-7))/((-1)/(-4)). Suppose 4*w + 2*m - 16 = 0, -g*m = 3*w - 3*m - 11. Let c be ((-9)/3)/6*-12. Sort c, 5, w.
w, 5, c
Let z = -1.5931 - -1.5631. Sort z, 0.08, -2 in decreasing order.
0.08, z, -2
Let t be 16/(-5) - ((-1846)/130 + 14). Put t, -1, 272, 5 in ascending order.
t, -1, 5, 272
Let y be (-2 - (-1440)/110) + -12. Let b = 511/6 - 85. Put b, 1, y in descending order.
1, b, y
Suppose 1596 = 90*h - 52*h. Sort 0, h, 3, 4 in decreasing order.
h, 4, 3, 0
Let l(w) = 4*w**2 - w - 2. Let y be l(-1). Let n = -2101 - -2102. Put 5, n, y, 26 in descending order.
26, 5, y, n
Let a = -41.18 - -74.18. Sort -5, a, 0.2.
-5, 0.2, a
Let y(u) = -2*u**3 - 95*u**2 - 37*u + 467. Let p be y(-47). Sort -11, -30, -2, p in increasing order.
-30, -11, p, -2
Suppose 4*w + 2 = r, 0 = w - 4*w. Let p be (-2)/(-2) - (-4)/4. Suppose 0 = -p*i - 6 - 6. Sort -5, r, i, 1 in descending order.
r, 1, -5, i
Let j be -3 + (0 + 11 - 2). Let d = 8335.8 + -8336. Sort d, 0.3, j, -1/2 in decreasing order.
j, 0.3, d, -1/2
Let r = 3522 - 3526. Put -2, 4, 30, 3, r in descending order.
30, 4, 3, -2, r
Let g(p) = 3*p**2 - 22*p - 68. Let j(r) = 4*r**2 - 23*r - 69. Let z(n) = -5*g(n) + 4*j(n). Let f be z(-13). Sort 6, -5, f.
-5, f, 6
Suppose -f + 5*q + 12 = 3*f, 3*q + 16 = -2*f. Let m be (f + 3)/(-4)*-116. Suppose 0 = w - 6 + m. Sort w, -1, -3 in increasing order.
w, -3, -1
Let p(r) = r**3 + r**2 - 21*r - 49. Let h be p(-3). Let g be 3/(3/(-4)) - (h + 0). Put 3, 7, g in increasing order.
g, 3