 b = 867 - 858. Let v = -1.2 - -1.6. Sort 3/7, b, -0.4, v in descending order.
b, 3/7, v, -0.4
Let x = -2117 + 2101. Put -0.5, 3/2, x, -0.03 in increasing order.
x, -0.5, -0.03, 3/2
Let b be ((-60)/(-45) + 2/(-6))*4. Let t be 0 - -9 - (6 + 3). Sort -20, b, t in descending order.
b, t, -20
Suppose 0 = -5*y - 15, -u = -y - 3 - 0. Suppose s + 8 = -0*s + 3*n, u = -3*s - 3*n. Let m = -7184 + 7183. Sort 4, s, m, 5 in ascending order.
s, m, 4, 5
Let w(x) = -x - 11. Let h be w(-13). Suppose a - 26 = -5*l, h*a + 4 = a + l. Sort 26, -3, a in decreasing order.
26, a, -3
Let t = 2/911 - 1860/17309. Let q = -1.3 + 1.2. Let n = 3/325 + -701/5525. Sort q, t, n in increasing order.
n, t, q
Suppose -540*c + 538*c = -474. Suppose 4*h - 233 = -c. Sort 1, 0, h in increasing order.
h, 0, 1
Let i = 0.247 - -4.753. Let q be 18 - (-2 + 1)*6. Sort q, 0.1, i in descending order.
q, i, 0.1
Let u(t) = 3*t**2. Let b be u(1). Let p = 3 - b. Suppose 35*g - 35 = -f + 40*g, 86 = 2*f - 2*g. Sort p, f, -3 in descending order.
f, p, -3
Let r(s) = -12*s - 18. Let m(d) = d**3 + 11*d**2 - 11*d + 10. Let g be m(-12). Let l be r(g). Sort 2, 0, -5, l in descending order.
l, 2, 0, -5
Let r = 77/4 - 19. Let s = -40.046 - -40.246. Sort r, 3, s, 2.
s, r, 2, 3
Let m be (-1)/3 - (-2)/6. Suppose -2*t = -3*y + 3395, -5*y + 1080 + 4545 = 5*t. Let z = 1130 - y. Sort z, m, -1, -3 in increasing order.
-3, -1, m, z
Let h be (-3 - 0)/(-3) + 6*-1. Suppose 4*x = 2*x + 48. Put 4, x, h in increasing order.
h, 4, x
Let a = 27.29 + -27.19. Let w be -2*(-3 - (-18)/(-4)). Let g be w/(-36)*6/20. Put g, a, -11 in decreasing order.
a, g, -11
Let g = -30.06 + 31.06. Put 1/3, -15, g, 0.01 in increasing order.
-15, 0.01, 1/3, g
Let b(d) = -3*d**3 - 25*d**2 - 15*d - 60. Let n be b(-8). Let m be (-8)/(-126) - (-4)/(-14). Sort m, n, -26 in increasing order.
-26, n, m
Let m be (-54)/45 - 3/(-15) - -40. Suppose m*z - 30*z - 36 = 0. Put 1, -12, z in descending order.
z, 1, -12
Let f = -0.92 + 0.62. Let g = 20.36 + -0.16. Let j = 19 - g. Sort 0.1, f, j.
j, f, 0.1
Suppose -4*s = -2*s - 2. Let r be (156/27)/1 - 6/1. Put r, s, -2, 1/7 in ascending order.
-2, r, 1/7, s
Let w = 1.38252 + -0.88252. Let c = -2.3 + 0.3. Sort w, -56, c, -2/9.
-56, c, -2/9, w
Let u = 12 + -8. Suppose 3*v - 4*o - 1 - 3 = 0, 0 = u*v - 3*o + 4. Let i be 9/((-225)/10) + 75/(-125). Sort -5, i, v in descending order.
i, v, -5
Let z(i) = -i - 26. Let q be z(-27). Let w(v) = -2*v**2 + 8*v - 4. Let l be w(q). Sort l, 5, 3, -5 in increasing order.
-5, l, 3, 5
Let h be (2 - 0)*(-29637)/8658. Put -2/11, h, -5, 4 in decreasing order.
4, -2/11, -5, h
Suppose 288 = 2*z + 16*z. Suppose 4*i + 3 + 19 = 5*b, 0 = 2*i - 5*b + z. Let c be (1 + 2)*(-14)/(-6). Sort c, i, -4 in ascending order.
-4, i, c
Suppose 4*g = 23 - 15. Let x = -148 - -147. Sort -5, -4, x, g.
-5, -4, x, g
Let j = 25 + -21. Suppose -u - 65 = -5*s, 3*u + j*s - 5*s = -125. Sort u, -1, 3.
u, -1, 3
Suppose 39*t - 40*t = -5*v - 8, 0 = 4*v - 2*t + 16. Sort 5, v, 71, -1, -19.
-19, -1, v, 5, 71
Suppose -11 = -22*z - 16 - 17. Sort 0.3, 1/29, -0.07, z in decreasing order.
0.3, 1/29, -0.07, z
Let w = 167.6 - 167.7. Put w, 16, -5, -15 in decreasing order.
16, w, -5, -15
Let s be (-204)/30 - (3/(-9) + (-34)/6). Sort -1/13, s, -3 in increasing order.
-3, s, -1/13
Let t = -5626.9 + 5627. Sort t, 1, -2/5, -70.
-70, -2/5, t, 1
Let q(w) = -w**2 + 3*w + 7. Let s be q(8). Let l be ((-759)/(-22))/23 + 9/6. Put l, s, 1 in descending order.
l, 1, s
Let c = 1519.5 + -1119. Let g = 401 - c. Put 22, -0.3, g, -5 in increasing order.
-5, -0.3, g, 22
Suppose -o - 3*r - 4 = -0, -o + r = 4. Let p = 39.515 + -40.015. Sort p, o, -1, -19.
-19, o, -1, p
Let p be 14*(1368/336)/57. Sort 3, p, 5, 4, 0.
0, p, 3, 4, 5
Suppose -6*i + g = -452, -i + 215 = 2*i + 5*g. Let l(t) = t**3 + 14*t**2 - 32*t - 3. Let z be l(-16). Sort -5, i, z, -1 in decreasing order.
i, -1, z, -5
Let i = -2427 + 2774. Put -5, i, 1 in decreasing order.
i, 1, -5
Let q(y) = 18*y + 418. Let w be q(-23). Suppose 0 = -3*v + 24 - 9. Suppose -4 - v = -3*f. Sort w, 0, f, -2 in decreasing order.
w, f, 0, -2
Suppose 4*i - 3 = c, 4*c = -9*i + 13*i + 12. Sort 10, 60, i, -4, -3 in increasing order.
-4, -3, i, 10, 60
Suppose 4*h - 3*c = -20, 2*h - 3*c + 5*c + 10 = 0. Let v(y) = 2*y**3 + 8*y**2 + 3*y - 4. Let r be v(-1). Sort r, h, -50 in decreasing order.
r, h, -50
Let b be (156/(-273))/((-6)/21). Suppose -r = -5*r + b*r. Suppose 23 = -5*w + 3. Sort r, 3, w in ascending order.
w, r, 3
Suppose 12 = -32*f + 34*f. Suppose 0 = 2*z - f*z - 5*q + 26, -3*z + 6 = -3*q. Let j be ((-495)/(-40) - 7) + (-6)/16. Sort -3, j, z, -2 in descending order.
j, z, -2, -3
Let h be 9/(-8)*(-2)/6. Let d(n) = 240 + 34 - 19 + 18*n + 230 + 56. Let p be d(-30). Sort -1/7, p, h, -12 in descending order.
p, h, -1/7, -12
Let d = -2.07 - 340.93. Let v = -341 - d. Put v, -5, 10.8 in decreasing order.
10.8, v, -5
Let y = 22 + -27. Let r = 2672492/22345 - 6/4469. Let p = 120 - r. Sort 0.3, y, p in descending order.
p, 0.3, y
Let a(h) = h**2 + 47*h + 464. Let y be a(-14). Sort -16, -2, 70, y in increasing order.
-16, -2, y, 70
Let a = -1.96 - 0.04. Let d = 98.5 + -48.7. Let s = d + -50. Put -1, s, a in decreasing order.
s, -1, a
Let c be -6 + 3 + 6 - 4. Let y = 3796.6 - 3797. Sort 4, c, y in decreasing order.
4, y, c
Let t be 45714/190 - 6/10. Let q be 23/20 - 180/t. Put q, -0.1, 5/6 in decreasing order.
5/6, q, -0.1
Suppose -4*z - 2*c - 73 = 81, -4*z - 159 = 3*c. Let m be 2/(4*-1) - z/8. Suppose 0 = -m*n - 3*n + 21. Sort -1, n, 4 in ascending order.
-1, n, 4
Let s = 783.9498 - 784. Let k = s - -3.0502. Put k, -1, 13/5 in ascending order.
-1, 13/5, k
Suppose 0 = d - 6 + 2. Let a be (-2 + (-94)/(-30))*10/d. Let o = -10/3 + a. Sort 0.2, -2, o, -1/7 in decreasing order.
0.2, -1/7, o, -2
Let r = 6 - 6.4. Let u be (-8 - -5)/((-390)/104). Sort 0.4, r, u, -52 in ascending order.
-52, r, 0.4, u
Let v(y) = -39*y - 380. Let x be v(-9). Sort -5, x, -13, 0, 3 in increasing order.
x, -13, -5, 0, 3
Let x be ((4*10)/(-4))/2. Let m = -1918.8 + 1919. Sort 0.5, x, m, 4/7.
x, m, 0.5, 4/7
Let x = -6385 + 6388. Sort -13, -4, 4, 14, x in decreasing order.
14, 4, x, -4, -13
Suppose 0 = -5*z - h - 16, 0 = 67*z - 66*z + h. Sort 29, 2, -3, z.
z, -3, 2, 29
Let n be -7 + 129*110/750 - (-2)/25. Put 9, n, 1/8, -1/8 in decreasing order.
n, 9, 1/8, -1/8
Let b be -3*(-4)/378*24 + (-857)/2571. Sort -74, -1/4, -2, b in increasing order.
-74, -2, -1/4, b
Let u = 4.286 + -3.426. Put 4, -3, 1, u in ascending order.
-3, u, 1, 4
Let y(u) = 62*u - 360. Let p be y(6). Suppose -14 = 4*b + 2. Sort -2, b, p, -5 in decreasing order.
p, -2, b, -5
Let b(h) = 18*h + 864. Let k be b(-48). Sort -12, k, 3, 4 in descending order.
4, 3, k, -12
Suppose -5*t + 2*f + 70 = 0, 1422*f = -3*t + 1420*f + 26. Sort 4, 61, -2, t, 1 in increasing order.
-2, 1, 4, t, 61
Let d = -0.3 - 1.7. Let s = d - -1. Let v be -6 + ((-71)/(-213))/(3/9). Put v, s, -27 in ascending order.
-27, v, s
Let j = 253 + -258. Suppose u = 5*b - b - 13, 5*b = -4*u + 11. Put 4, u, j in descending order.
4, u, j
Let o be (-98)/(-35)*4/(-8) + 14/35. Let a = 3 - 9. Sort a, -2, o, 0.
a, -2, o, 0
Suppose -2*k + 3*f + 8 = -6*k, 2*k + 6 = -2*f. Suppose 8 + 13 = 7*c. Let d = 209 + -205. Sort k, c, d in ascending order.
k, c, d
Let m = -12952 + 12947. Sort m, -4, 0.01043, 5.
m, -4, 0.01043, 5
Let k(c) = -3*c**2 + 13*c - 9. Let p be k(4). Let r(l) = -l**2 - 2*l - 1. Let u be r(-2). Sort u, p, 5 in decreasing order.
5, u, p
Let a = 16387.2 + -16387. Sort -1/4, -67, a, 12/13 in decreasing order.
12/13, a, -1/4, -67
Let r = 0.04 + -0.34. Let f = -553228 + 553227.13. Put f, r, 0.4 in descending order.
0.4, r, f
Let g = -11 + 15. Let u = g - 4.5. Let h = -3829 + 3824. Sort h, u, 0.06.
h, u, 0.06
Suppose 78515*s + 18000 = 78485*s. Sort s, 3, 1, 7, 5 in descending order.
7, 5, 3, 1, s
Let d = 8.0724 + -8.3724. Let t = -4 + 1. Put t, d, 1, -50 in ascending order.
-50, t, d, 1
Let j be 1 + 7/(-9) + 48/27. Suppose -3*l + j*l = -2*l. Put l, 1, 16 in descending order.
16, 1, l
Let j = 3542.168 - 3542. Put 2/7, 3/8, -0.1, 5, j in descending order.
5, 3/8, 2/7, j, -0.1
Let s = 4 + -8. Let u = -0.09 + 5.09. Let z = -6418.9 + 6419. Put u, 3, z, s in decreasing order.
u, 3, z, s
Suppose -2*r - 70 = -o, 2*o - r = -0*o + 149. Let