3, 3*h - 477 = -5*v. Sort h, 4, 3 in decreasing order.
h, 4, 3
Let y = -8551 + 8556. Put y, -37, 3/2, 9 in increasing order.
-37, 3/2, y, 9
Let k = 1.04 - 22.84. Let o = -21.6 - k. Put 0.3, o, -0.7 in decreasing order.
0.3, o, -0.7
Let s = -1291/15204 - -2/1267. Let o = -143 + 149. Sort 4, o, s in decreasing order.
o, 4, s
Let x be (40/(-15) + 2)/(6/(-207)). Suppose -10 + 102 = -x*i. Put i, 2, -51 in descending order.
2, i, -51
Let r(n) = n**3 - 4*n + 3. Let g be r(1). Sort 9, 3, g, -5, -1 in descending order.
9, 3, g, -1, -5
Let f be 3 - (-1)/((-3)/12). Let y be (-4 + 6)/(-2 + 237/118). Let c = y - 236. Put -4, f, -10, c in descending order.
c, f, -4, -10
Suppose 16*s = -10*s + 1794. Suppose s - 68 = h + 2*m, 5 = -4*h + m. Put h, 3/7, 5/12 in decreasing order.
3/7, 5/12, h
Suppose p + 16*w = 21*w + 28, 0 = -4*p - 5*w + 37. Suppose -4*n + 6*g - 10*g + 36 = 0, -g + p = 2*n. Sort n, 0, 13 in descending order.
13, n, 0
Suppose -5*a - 6 = 2*i + 13, 0 = -2*i + 2*a + 2. Let v be 1/(i/(-8)) + -1. Sort 5, -1, v, 1.
-1, 1, v, 5
Suppose 156 = -4*c - 2*b, 22*b - 21*b + 4 = 0. Put -5, 3, -3, c in descending order.
3, -3, -5, c
Let l = -16477.2 - -16477. Let h = 0.2 + 0.1. Sort 5/2, h, -1, l.
-1, l, h, 5/2
Suppose -214*n - 101 - 113 = 0. Put n, 3, 1 in increasing order.
n, 1, 3
Suppose 296*b = -30 + 795 + 123. Suppose -14 = -5*s + 16. Put -3, b, s, -5 in decreasing order.
s, b, -3, -5
Suppose -5532 = -54*c + 14502. Put c, 4, 2, 1 in ascending order.
1, 2, 4, c
Let a = 24 - 20. Let j be -15 + 4 - (-27)/3. Sort 0, j, a, -1 in descending order.
a, 0, -1, j
Let b be (90 - 80) + 1 + -20 + -32. Put 33, -4, -5, b in ascending order.
b, -5, -4, 33
Suppose 4*c = -3*z - 22, 3*c - 853*z + 22 = -858*z. Put 1, c, -2, 106, -3 in increasing order.
c, -3, -2, 1, 106
Let u be ((-108)/5)/((-15)/75). Let j(m) = -19*m + 301. Let i be j(16). Put 1, i, u in descending order.
u, 1, i
Let x = -0.145 - -0.32. Let r = 2.175 - x. Put -2/3, 5, 1/4, r in decreasing order.
5, r, 1/4, -2/3
Let v be 5 + (2 - (-12)/(-3)). Let a(p) = 8*p**2 + 40*p + 4. Let j(u) = -u**2 - 1. Let n(k) = -a(k) - 4*j(k). Let x be n(-10). Sort v, x, 1 in increasing order.
x, 1, v
Suppose -5*g + 2*l = -3*l - 25, -2*l - 4 = 0. Suppose -t + 19 = -3*a, -5*t + 15*a - 38 = 19*a. Put 5, t, g, 1 in increasing order.
t, 1, g, 5
Suppose -v + 3 = 4*y, v - 2*y - 15 = -4*v. Let r be (4/(-6))/(6/(-9)). Put r, v, 8 in increasing order.
r, v, 8
Suppose 0 = b, -y = y - 2*b - 606. Let m = y - 305. Put m, 47, 5 in decreasing order.
47, 5, m
Let b = 0 + -3. Let l be (4008/72 - 37) + 2/(-3). Put 4, l, b in descending order.
l, 4, b
Suppose -15*x - 114 = 4386. Let h = -3298/11 - x. Sort -2, -1/7, h.
-2, -1/7, h
Let f = -4041 + 4041. Let m = -32 + 34. Sort m, f, 1/2, -0.7.
-0.7, f, 1/2, m
Let q = 34.9 - 35. Let l be 747/1566 + (-3)/6. Let w = l + -56/87. Put 1, q, w in increasing order.
w, q, 1
Let k be (283/(-6))/(3595/50 - 1). Let i = k - 1/709. Put -0.3, i, -20, 5 in decreasing order.
5, -0.3, i, -20
Let r = -34 + 67. Let c = -41 + r. Let f = c - -7.99. Sort 0, -0.5, f in decreasing order.
0, f, -0.5
Let l(i) = i**3 - 54*i**2 - 26*i - 1592. Let m be l(55). Let n = 2 + -6. Sort n, m, 0.
n, 0, m
Suppose -11 = -4*w - 11. Suppose -4*d + 8 = w, 3*m + 4*d - 38 = 6*d. Put m, -3/10, 3 in decreasing order.
m, 3, -3/10
Let s(u) = u**3 + 3*u**2 - 2*u + 4. Let i be s(-4). Let f = -1429 + 1424. Sort -2, i, f, 3 in decreasing order.
3, -2, i, f
Let z = 1/6819 - 20461/27276. Sort z, 1.97, 1 in increasing order.
z, 1, 1.97
Let d be 3/(-8) + (-940)/(-1504). Sort -1/5, -1/2, d, 7.43, 0.1 in descending order.
7.43, d, 0.1, -1/5, -1/2
Let k = 0.26476 - 0.22476. Put k, -0.1, -1.24 in descending order.
k, -0.1, -1.24
Let w = -1721.4 - -1721. Let o = 244/1235 - 6/65. Sort o, w, 1/6 in ascending order.
w, o, 1/6
Suppose 4*a = 5*a. Let f(v) = 132*v + 327. Let t be f(-6). Let y = t - -468. Put 1, y, a in decreasing order.
y, 1, a
Let v = 0.63 - 0.93. Let t(x) = -19*x**3 - 2*x**2 + 1. Let l be t(-1). Let n = l - 55/3. Sort n, 2/27, -2/5, v in descending order.
2/27, v, n, -2/5
Suppose -870*a + 3770 = -812*a. Suppose v + 5*b - 31 = -3*v, 5*v = 5*b + 5. Sort a, v, 2.
2, v, a
Let m be ((-1)/(-6))/((-3)/12). Let c = 227 + -216. Let i be (1 - 0)*(c + -10). Put -2, i, m, -5/19 in increasing order.
-2, m, -5/19, i
Let t = 0.463 + -0.348. Let g = 0.215 - t. Put 0, 1/4, -1, g in increasing order.
-1, 0, g, 1/4
Let j be 1/25 - (-1287)/325. Let p = -0.7 + -4.3. Let h be (-15)/(-9)*1*3. Sort p, -10, h, j in decreasing order.
h, j, p, -10
Suppose -10 = -6*x - 4. Let n be -1 - -2 - (-3 - x). Let r be (-1 + -1)/(6/(-18)). Put n, r, -1 in descending order.
r, n, -1
Let u(q) = -9*q + 92. Let j be u(10). Let k be 10*(3 - j) - 7. Sort 15, k, 4 in descending order.
15, 4, k
Let s = 9141.12 - 9375. Let d = -234 - s. Put -0.1, 0.2, d, -1 in ascending order.
-1, d, -0.1, 0.2
Let v = -46.11 + 1.11. Let d = -50 - v. Let m be (-8)/(-120) + (-6)/(-10). Sort -0.4, m, d, 1/3.
d, -0.4, 1/3, m
Let c = 32541 - 32540.9. Sort 484, -0.3, c in decreasing order.
484, c, -0.3
Suppose 0 = -0*y + 5*y + 2*g - 26, -2*y + 4*g - 4 = 0. Suppose -9*i + 5*i - 30 = -3*x, 5*x + i + 19 = 0. Sort -3, -44, x, y.
-44, -3, x, y
Suppose 0 = -2*a - 3*a - 4*d - 34, -3*d = 3. Let f be 10*-3*a/12. Suppose 5*k - b + 0*b = -f, k - 11 = 3*b. Sort -2, k, 0 in ascending order.
k, -2, 0
Let q = -511 + 511. Suppose -5*i + 3*j = -27, 3*i - j + 0 = 13. Suppose 5*z = -i*m + 19, 0 = m + 2*m - 9. Put -4/3, 5, z, q in decreasing order.
5, z, q, -4/3
Let z = -21282 + 21289. Let n = 2.3 + -0.3. Put z, -4, n in decreasing order.
z, n, -4
Suppose 0 = 24*t - 871 + 943. Suppose -20 = -3*l + 5*l. Put -5, 3, l, t in decreasing order.
3, t, -5, l
Let u be 3*(-5 + 200/30). Put 1, u, -1, 2, 3 in decreasing order.
u, 3, 2, 1, -1
Let s(l) = -1. Let i(c) = 5*c**2 + 18*c - 5. Suppose -3*g + 28 = 25. Let p(y) = g*s(y) - i(y). Let m be p(-5). Sort m, -0.1, 2 in increasing order.
m, -0.1, 2
Let b be 45/(-360) - (988/32 + -3). Put -5, b, 4, -3, 3 in descending order.
4, 3, -3, -5, b
Let k(r) = 21*r - 3. Let w be k(-1). Let u be (-6 + 4)*(4 + -5). Suppose -d + 5 = -2*a, -2 = d + a + u. Put d, w, 0 in descending order.
0, d, w
Let i = 732 - 279. Let r = -457 + i. Put 3, -3, r, 1 in increasing order.
r, -3, 1, 3
Let x = -151.75 - -164.75. Put 0.3, 0.065, x, 3 in increasing order.
0.065, 0.3, 3, x
Let w be 14 + 2/4*-20. Put w, -45, -5 in ascending order.
-45, -5, w
Let l(q) = -q**2 - 16*q. Let r be l(-16). Let d(z) = -z**3 + z + 3. Let c be d(r). Suppose 2*p = w - 35, -4*w + 117 + 30 = -p. Put w, c, -2 in descending order.
w, c, -2
Suppose 4*v + 8 = -4*p, -3*v - 2*p - 2 - 5 = 0. Let x(d) = -d**2 + 238*d + 12733. Let l be x(283). Sort 0, -4, v, l in ascending order.
-4, v, l, 0
Let a(h) = 28*h - 88. Suppose 5*y + x = 7*y - 10, 4*y + 3*x = 0. Let r be a(y). Sort -5, 5, r, -14 in decreasing order.
5, r, -5, -14
Let l = -2/117 + -8/39. Let o(f) = -f**3 - 8*f**2 + 7*f - 8. Let k be o(-9). Let j be 102/(-238)*(1 - k/(-4)). Put j, 0, l in increasing order.
j, l, 0
Suppose b - 2*b = 5*b. Suppose b = -32*n + 37*n - 10. Let f be 1/((-2)/10)*-1. Sort n, f, 3.
n, 3, f
Let k = 142 + -137. Suppose 4*a - 14 = -3*a. Let d = -6 + 10. Put k, d, a in increasing order.
a, d, k
Suppose r + 4*r = 4*z + 30, 0 = 4*r - 2*z - 24. Let i be r/(-14) + (-24)/28 + 1. Let k = -1.3 - -10.3. Put i, 2/3, k in descending order.
k, 2/3, i
Suppose 3*p = -5*l - 22, -65*l + 66*l - 8*p - 73 = 0. Let s(j) = j**3 - 4*j**2 - 2*j + 3. Let m be s(4). Sort m, -3, 2, l in descending order.
2, l, -3, m
Let m = -0.26 + -4.74. Let h = -141 - -234. Let k = h - 93. Put k, m, 0.4, -0.2 in decreasing order.
0.4, k, -0.2, m
Let l = 41 - 23. Let s be (112/6)/(-5 - (-96)/l). Let o = s - 60. Sort -25, -5, o in decreasing order.
o, -5, -25
Let r be -1*(-5 + (2 - 0)). Let n be ((-84)/(-17) - 0) + 50/850. Let k = 0 + 1. Sort n, -2, r, k in descending order.
n, r, k, -2
Suppose 312 + 104 = -104*f. Let n = -1 + -1. Sort f, 5, -5, n.
-5, f, n, 5
Let o be (-14)/(-20)*4/(-7). Let m = 0.11 - 1.11. Sort -3, o, m, -4 in decreasing order.
o, m, -3, -4
Let u(f) = -2*f + 166. Let n be u(82). Sort n, -3, 346 in descending order.
346, n, -3
Suppose -5*y + 172 - 47 = 0. Let b = 4889.5 + -4880.5. Sort b, y, 1/2.
1/2, b, 