 - 13. Sort u, -2, s in decreasing order.
s, -2, u
Let d be 40/(-240) + 9/6. Put 1/7, 1/2, 101, d in descending order.
101, d, 1/2, 1/7
Let p be (-3*(-10)/126)/((-425)/(-510)). Sort -0.09, 8, p in decreasing order.
8, p, -0.09
Suppose d - 3*d + 156 = 0. Suppose 3*i = i + 3*w + 33, -5*i = -3*w - d. Let q = 560 - 555. Sort i, 0, q in decreasing order.
i, q, 0
Let l(y) = -4*y**3 - 2*y + 1. Let o be l(1). Let x be -5 + 1/(-2)*(18 + -12) + -6. Let a = 0 - 1. Sort a, 5, o, x.
x, o, a, 5
Suppose 384 = 19*k + 384. Sort 31, 43, k in descending order.
43, 31, k
Let s(u) = 26*u - 413. Let l be s(16). Sort -4, l, 7, 1/6.
-4, 1/6, l, 7
Let s = 4622.3 + -4622.4. Let d be (-3)/(-5) - 4/10. Sort d, s, 1, -0.3 in increasing order.
-0.3, s, d, 1
Suppose y + 3*v - 160 = 0, 5*v + 493 + 207 = 5*y. Let d = 153 - y. Let c = 19 + -16. Sort c, 2, d in ascending order.
2, c, d
Suppose 11*v = v - 1290. Let z = v - -131. Sort z, -3, -5, 0 in increasing order.
-5, -3, 0, z
Suppose -7*d + 8*d + 2*v = -12, -4*v - 8 = -2*d. Let i be 9 - d - 5 - (2 + 4). Sort i, -20, 5.
-20, i, 5
Let i = 4600 + -41402/9. Put -0.3, 1/42, i, -2 in increasing order.
-2, -0.3, i, 1/42
Let v = -155 - -637. Suppose -475 = 7*h - v. Sort 4, h, 48 in descending order.
48, 4, h
Let o(k) = k**3 - 19*k**2 + 14*k + 66. Let j be o(18). Let g be (1 - 3/j)/((-6)/64). Sort -1, 0, g in decreasing order.
0, -1, g
Suppose -2*b + 1213 = -155. Suppose 7*j - b = -698. Put 5, -5, j in decreasing order.
5, j, -5
Let n = 2 + 0. Let b = -3556 - -3556. Put n, 1, -3, b in increasing order.
-3, b, 1, n
Suppose 503*a = 474*a - 87. Suppose 2*f = 4*r + 4*f - 8, -r = -4*f - 11. Sort -5, a, r, -2 in ascending order.
-5, a, -2, r
Suppose -5*f - 2*n + 10405 = 0, -1 = 3*n - 16. Let h be 9 + f/(-187) - (-3 + 1). Sort 2/15, h, 1.
h, 2/15, 1
Let i = 9786 + -9737.31. Let l = i - -0.31. Let v = l - 49.2. Put v, -0.1, 1/8 in decreasing order.
1/8, -0.1, v
Let j(l) = l**3 - 11*l**2 + 11*l + 11. Let n be j(10). Let y be (-1)/3 - (-13)/n. Let u = 191 + -186. Sort u, y, -2 in decreasing order.
u, y, -2
Suppose 23*k - 2268 = -4*k. Sort 3, -2, k, -4, 2 in descending order.
k, 3, 2, -2, -4
Let n = -2957/2 + 4441/3. Put -4, n, 2/3, -1/8 in decreasing order.
n, 2/3, -1/8, -4
Let v = -7712 - -69410/9. Sort -2515, 1/7, v.
-2515, 1/7, v
Suppose -4*p + 3*k = 195, -5*k - 31 - 60 = 2*p. Suppose 0*l = 5*l - 285. Let d = l + p. Put -4, d, 1 in descending order.
d, 1, -4
Let u be 196/70 + (-2)/(-10). Let x be (-2)/13 + 54/351. Put x, -1, u in descending order.
u, x, -1
Let a = -8.91 - -9. Let s(p) = p**3 - 20*p**2 + 83*p - 545. Let o be s(17). Sort o, a, -5 in ascending order.
-5, o, a
Let v = -80052 + 80050. Let w = 0 + -0.22. Sort -0.2, v, w.
v, w, -0.2
Suppose 7 = 4*i - 1. Let c = i + -3. Suppose 0 = -5*b + 4*a - 20, 12*a - 20 = 5*b + 17*a. Sort c, 1, b in decreasing order.
1, c, b
Let k = -0.208 - -0.408. Let h = -179/4 + 53. Sort k, h, -0.3.
-0.3, k, h
Suppose -6*y + 9 = -3. Put -1.7, -8, 0.2, y in decreasing order.
y, 0.2, -1.7, -8
Let z(h) = h**3 - 3*h**2 - 3*h - 1. Let k be z(4). Suppose 65 = k*i - 4*y, -2*i + 5*y - 2 + 57 = 0. Suppose i = -l - 4*w, -2*l - 3*l + 10 = 3*w. Sort l, 1, -4.
-4, 1, l
Let n be -2*(1 + 33/6). Let j(k) = -k**2 - 13*k - 4. Let r be j(n). Let y be 10/2*3/5. Put y, 0, r in descending order.
y, 0, r
Suppose -439 = -281*p + 255 + 711. Put -2.34, 57, p in decreasing order.
57, p, -2.34
Let l = -160/9 + 15191/855. Sort l, 1/7, 4.
l, 1/7, 4
Suppose 2*t = 5*f - 29, 0 = 2*t + 12*f - 7*f - 21. Let m = t + 14. Let v(b) = b**3 - 11*b**2 - 13*b + 7. Let l be v(m). Put 4, l, 2 in increasing order.
l, 2, 4
Let x(j) = 16*j - 91. Let r(m) = 80*m - 454. Let a(d) = 2*r(d) - 11*x(d). Let t be a(6). Put 4, -4, t in increasing order.
-4, t, 4
Let g = 713 + -696. Suppose 12 = g*l + 63. Suppose -4*o + 10 = -x, 3*x + 9 = 3*o - 3. Sort o, l, 0.4, 5 in decreasing order.
5, o, 0.4, l
Let d be -11 + 16 + 6 + (-59)/5. Put 5, d, 1/5 in decreasing order.
5, 1/5, d
Let x = -498 - -495. Put -2, x, 6 in decreasing order.
6, -2, x
Let c = 88 - 92. Let b(t) = t**3 + t**2 - 6*t + 9. Let u be b(-3). Sort u, c, 4 in descending order.
u, 4, c
Suppose 2*d - 11 = -3. Suppose 0 = -5*y - 5*p - 10, 3*p = -3*y - 6*p - 30. Put 12, y, 3, d in ascending order.
y, 3, d, 12
Let c(b) = -b**2 + 6*b + 8. Let i be c(8). Let o be 14/i - (-2 - 0). Let y(k) = k**3 - k. Let x be y(0). Put x, 0.5, o, 5 in descending order.
5, 0.5, o, x
Let y be (11 - 20) + 4 - -4. Sort 2, y, 5, -846 in decreasing order.
5, 2, y, -846
Suppose 2*h + 20 = -4*r, -3*h = -7*r + 3*r. Let q be r - (-1*51 + 4). Suppose -q*o = -49*o - 10. Put o, -0.5, -4 in ascending order.
-4, o, -0.5
Let a(i) = -i**2 + 5*i - 4. Let s be a(3). Let v(c) = -c - 39. Let f be v(-43). Sort f, s, -2 in decreasing order.
f, s, -2
Let j = 0.24 + -0.24. Let q = -15047/8 - -1881. Let f be (-23)/38 - (-1)/2. Sort 0.2, j, q, f in descending order.
0.2, q, j, f
Suppose 0 = -2*j - t + 22, -5*j - t + 70 = -6*t. Let y(m) = m**2 + j - 65*m + 42*m + 12. Let x be y(22). Put -3, x, -2, 0 in increasing order.
-3, -2, 0, x
Let z be -1 - (2 + -3 + 2). Suppose 2*l + 4 = 0, -43 + 32 = -h + 4*l. Let r = -34 + 39. Put h, z, r in ascending order.
z, h, r
Suppose -55*k - 384 - 1 = 0. Suppose -10 = -2*y + 3*o, 4*y = 2*o + 1 + 3. Put y, k, 5 in ascending order.
k, y, 5
Let o = 8301 + -8298. Let j = -0.29 + 13.29. Put j, o, 0.1 in decreasing order.
j, o, 0.1
Let p = 13500 - 13497. Sort -12, p, 0, 2, -4 in descending order.
p, 2, 0, -4, -12
Let f be (-1306)/(-4571)*1/2. Put 7, -2/7, -6, 1, f in ascending order.
-6, -2/7, f, 1, 7
Let a = 19.5 - 20.6. Let f = -0.8 - a. Sort 4/5, 5, f in decreasing order.
5, 4/5, f
Let n be (-6)/(-4) + 4365/90. Suppose 3*j = 4*g + 187, 45 + n = -2*g + j. Sort g, -5, 2 in increasing order.
g, -5, 2
Let v = -1.5969 + 1.5769. Put 0.3, v, -9/10 in decreasing order.
0.3, v, -9/10
Let n = -0.6 + 0.5. Suppose -6*b + 4*b = 0. Suppose -f + 5*y - 14 = b, -4*f + 0*y - 5*y = 6. Put n, f, 0 in decreasing order.
0, n, f
Let y = -21893 + 21902. Sort y, 4/11, -2, 3/11 in descending order.
y, 4/11, 3/11, -2
Let i = 297.9 + -298.9. Put -0.046, -3, 3, i in decreasing order.
3, -0.046, i, -3
Let t(r) = r**3 + 117*r**2 - 237*r + 133. Let h be t(-119). Suppose -4*i = -d + 8, 4*i + d + d - 4 = 0. Sort i, 0, h, -3 in increasing order.
-3, i, 0, h
Let j = -4.9631 + 0.9631. Sort 5.9, -3, j, 4/5.
j, -3, 4/5, 5.9
Let y = -1339.7 + 1343.7. Put 5, -1/8, 3/91, y, -5/2 in decreasing order.
5, y, 3/91, -1/8, -5/2
Let r = -40 - -45. Let o = -16 - -40. Let m = o + -33. Sort r, m, 1/2 in decreasing order.
r, 1/2, m
Let r = -15539 - -15543. Sort 0, r, 13, 5, 2.
0, 2, r, 5, 13
Let s(t) = 2*t + 36. Let r be 228/(-6)*(1/2)/1. Let h be s(r). Suppose -5 + 7 = a. Sort a, h, 3.
h, a, 3
Suppose 3*y + 17 = 2*k - 3, 4*k - 5*y = 36. Sort 3/2, 33/2, k, -3, -0.5 in decreasing order.
33/2, k, 3/2, -0.5, -3
Let c = -247 + 239. Let q = 596/119 + -90/17. Sort 2/11, 1, q, c in descending order.
1, 2/11, q, c
Let h = 68/63 + -302/189. Sort h, -4, -0.3, -1/7 in descending order.
-1/7, -0.3, h, -4
Suppose 4*g = -663 + 659. Put -4, 27, 3, -5, g in descending order.
27, 3, g, -4, -5
Let b = -10432 + 10428. Sort 0.1, b, -3/4, -3, -56 in descending order.
0.1, -3/4, -3, b, -56
Let t = 161.4 + -128. Let r = 4.6 + t. Let f = 38 - r. Put -3, f, 2/3, 2 in descending order.
2, 2/3, f, -3
Let v(c) = -c**3 - 16*c**2 + 268*c - 84. Let k be v(10). Sort 0.006, k, -1/3 in ascending order.
k, -1/3, 0.006
Let k = -2834 - -2051. Sort 0.1, -0.3, 5/3, k in descending order.
5/3, 0.1, -0.3, k
Let s = 18696 + -18685. Put -2, 0, s, 3 in ascending order.
-2, 0, 3, s
Let t be 27*-15*56/1260 - -20. Let f be (-1)/((-1)/1) + -3. Put f, 8, t in decreasing order.
8, t, f
Let k(w) = -w**2 - 6*w + 440. Let v be k(18). Put 104, -4, v in ascending order.
-4, v, 104
Let x = 152 + -104. Let b = x + -48. Sort 1, b, -3, 5 in increasing order.
-3, b, 1, 5
Let f = -1631 - -17947/11. Put -0.4, 1, 0.3, f in increasing order.
-0.4, 0.3, f, 1
Let j be (-1 - 0)/(2/(-54)). Suppose j = 2*r - 5*m - 0*m, -4*m = 20. Let x(h) = -7*h**2 + 1. Let d be x(r). Sort d, 5, 0, -5.
d, -5, 0, 5
Suppose 3*k + 24*k = 35 + 46. Put k, 1, -5, 16, 2 in increasing order.
-5, 1, 2, k, 16
Suppose -5*h = -16 + 1. Let a(q) = -q + 7. Let t be a(-25