5. Let c be m(-11). Sort c, 1/4, 3 in decreasing order.
c, 3, 1/4
Let k(t) = t + 14. Let x be k(-18). Let m be (3 - -4) + 2/(-1). Sort 6, x, m.
x, m, 6
Let w(f) = 3*f**2 + 4*f + 1 - 4*f**2 + 11*f - 16*f. Let u be w(-3). Put u, 1, 6 in descending order.
6, 1, u
Let g = 335/576 - 23/64. Sort g, 3, 0.215 in descending order.
3, g, 0.215
Let d = 0.2539 - 0.0539. Put d, -5, 1/2, 24 in descending order.
24, 1/2, d, -5
Let z = -2926 + 2923. Suppose 0 = d + 5*p - 15, 0 = -3*p + 6. Suppose -5 = -4*k + d*k. Sort k, 2, z in decreasing order.
2, z, k
Let g(s) = s**2 - 13*s + 36. Let b be g(6). Let x(a) = 3*a + 8. Let q be x(b). Let v be 1 + -4 - (1 + 0). Sort q, 3, v in descending order.
3, v, q
Suppose 25*m - 23*m = -5*p + 3, -4*p = 4*m. Sort -2/9, -479, m, -2 in descending order.
-2/9, m, -2, -479
Let o(j) = -j**2 - 28*j + 90. Let m be o(3). Suppose -v + 2 = v. Let h = 2 - v. Sort -8, h, m in decreasing order.
h, m, -8
Let v = 185 + -189. Suppose 3*p + h = 21, -46 = -3*p + 3*h - 13. Suppose -g + p = g. Put -3, g, v in descending order.
g, -3, v
Let w(j) = j**3 + 5*j**2 - j - 5. Suppose c = -8 + 3. Let y be w(c). Sort 1, y, -2 in increasing order.
-2, y, 1
Let f be (-24)/((-16)/12*3/10). Let d = f - 538/9. Sort 1/3, -0.5, d in decreasing order.
1/3, d, -0.5
Let m(j) = j - 2*j - 4 + 3 - 10. Let l be m(-14). Put 2/7, l, 1, -3 in ascending order.
-3, 2/7, 1, l
Let h = 0.1 + -0.2. Let m be (-180)/(-25)*(-2 - 8). Let j be (m/378)/(12/14). Sort j, h, -0.2 in ascending order.
j, -0.2, h
Let p be -1 + 9/3 + -1. Suppose 36 - 11 = 5*n, -2*v + 48 = 2*n. Suppose 0 = 4*g + 7 - v. Sort g, -5, p.
-5, p, g
Suppose -2*d - 3 + 1 = 0. Let y(w) = -w**2 - 33*w - 256. Let p be y(-12). Sort p, d, -3, -7 in decreasing order.
d, -3, p, -7
Let u = 5.0584 + -0.0584. Sort -1/9, 1/4, u in ascending order.
-1/9, 1/4, u
Let b = -0.16 - -15.16. Let p = b + -21. Let h = 63/4 + -437/28. Sort h, 2/3, p in decreasing order.
2/3, h, p
Let x(b) = b**3 - 4*b**2 + b + 3. Let n be x(3). Let h be (-18)/n*(-2)/3. Suppose -5 = -2*u - 3. Sort u, h, 4 in increasing order.
h, u, 4
Let r be (0 + 2)*(-7 - (-120)/16). Let f = 14 - 19. Put r, -2, f in ascending order.
f, -2, r
Let s be 22/42 - (-1)/3. Let u = -24.2 - -24.6. Sort s, u, 0.3.
0.3, u, s
Let l = -3.16 + 2.36. Sort -0.3, 0.3, 1, l.
l, -0.3, 0.3, 1
Let j = 10.3 - 6.2. Let o = 5.1 - j. Sort o, 0.1, 0.
0, 0.1, o
Let p = 2040/7 + -291. Sort p, -2/3, -0.08 in increasing order.
-2/3, -0.08, p
Let d = 7/6 + -4/3. Let i be 10/12 + -1 - (-6)/12. Sort i, 7, d in increasing order.
d, i, 7
Let q = 2 + -1.9. Let h = -3716 + 3708. Put 0.4, q, 4, h in ascending order.
h, q, 0.4, 4
Suppose 5*q + 42 = -23. Put 5, q, 4 in descending order.
5, 4, q
Let j = -60 + 65. Suppose 3*k - 5*s + 2 = -16, -2*k = -s + j. Suppose -2*i = 3*i + 10. Sort i, k, 1 in ascending order.
i, k, 1
Suppose -5*z + 8 + 15 = 4*h, -2*h - 5*z + 9 = 0. Let y(r) = -r + 12. Let d be y(h). Put d, -0.5, 3 in decreasing order.
d, 3, -0.5
Let p be 5/((-8)/24 - -2). Let l(b) = -b + 10. Let s be l(5). Suppose -2*q = 5*n + s, 0*q = -2*q - p*n + 1. Put q, -5, -4 in increasing order.
-5, -4, q
Let u(l) = -l**2 + 3*l. Let v be u(3). Let c(a) = -a**2. Let k be c(v). Suppose k - 25 = 5*z. Sort 5, z, 1.
z, 1, 5
Suppose -15*p = 11*p + 130. Put 4, 11, p, -4 in decreasing order.
11, 4, -4, p
Let f(x) = -5*x - 19. Let z be f(-8). Suppose o - 2*j - 37 = -5*j, 0 = -o + j + z. Let m = -26 + o. Sort -0.2, m, -2 in descending order.
-0.2, m, -2
Let a be (-156)/819 + 4/(-42). Sort a, -3/4, 3, -1 in ascending order.
-1, -3/4, a, 3
Let s = -1006 - -1021. Sort 2, s, -18 in decreasing order.
s, 2, -18
Let h be (-77)/14 - (-2)/(-4). Put -14, h, 2, -3 in increasing order.
-14, h, -3, 2
Let t = -38 + 38.6. Let s = -0.4 + t. Sort 1/3, 0, s in ascending order.
0, s, 1/3
Suppose 4*v = -4*t + 5*v + 3, 2*t - 15 = 5*v. Let o = 0.2 - 2.1. Let r = o - -2. Sort 0.13, t, r in descending order.
0.13, r, t
Let x be -6 - (-8 - (0 + 2 - 7)). Sort -6, x, 2/9 in ascending order.
-6, x, 2/9
Suppose 33*s - 29*s = -8. Put 3, -5, s, 29 in descending order.
29, 3, s, -5
Let m = 1.1 + -5.1. Let b = -26 - -0.8. Let z = b - -25. Sort -5, m, z in descending order.
z, m, -5
Suppose 3*g + 29 = 2*u - 17, -2*g = -3*u + 29. Let j be (-1)/((-1)/1)*(-12)/g. Put 1/31, j, -0.1, -4 in descending order.
j, 1/31, -0.1, -4
Let f = 185 - 183. Suppose -42*m + 142 = -44*m. Put f, 4, m in increasing order.
m, f, 4
Let h be 4/2*46/2. Let p = 43 - h. Put 2, p, 7 in ascending order.
p, 2, 7
Suppose 3 = -0*u - u, -2*l - 36 = 2*u. Sort 2/7, l, 0.1.
l, 0.1, 2/7
Suppose s = 2*s - 2. Let q = 48 + -41. Suppose q*y = -18 + 46. Sort 3, y, s.
s, 3, y
Suppose -2*y = -5*y. Let a be 2 + (y - -2) - 0. Suppose 5*v - n = 14, 0 = 4*v + a*n + 10 - 2. Sort 5, 4, v in decreasing order.
5, 4, v
Suppose 0*z + 2*z = -8. Let y = -8556 + 8553. Sort y, -1, z in decreasing order.
-1, y, z
Suppose -2*l + 4*s + 0*s + 18 = 0, -4*s = 8. Sort 21, 3, l, 2 in increasing order.
2, 3, l, 21
Let l = 717 + -5735/8. Sort 5, -4, l, -17 in descending order.
5, l, -4, -17
Suppose 0 = 2*l - 5*r + 23, 5*l + 6 = 2*l - 2*r. Let t be l*(-3)/12*-2. Sort 5, t, -3, 4.
-3, t, 4, 5
Let c = 1097/8648 + -2/1081. Sort -0.1, c, 33/2, -0.2.
-0.2, -0.1, c, 33/2
Let d(g) = -g**3 - g**2 - 2*g - 1. Let s be d(-1). Suppose 5*b + 2*c = 8*b + 15, -5*c - 5 = b. Put s, -4, b, 4 in decreasing order.
4, s, -4, b
Let d(k) = -88*k**3 + 2*k**2 - k + 1. Let s be d(1). Let i = s - -81. Sort -3, 0.4, i.
i, -3, 0.4
Let n = 59.641 + 0.359. Put 4/7, n, 2 in increasing order.
4/7, 2, n
Let a = -193 - -197. Put a, -4, 5 in descending order.
5, a, -4
Let x = 0 + 1. Let t = 9 - 7. Suppose -2*y + 7 = -6*y + z, 2*z + 6 = -t*y. Put x, 5, y in ascending order.
y, x, 5
Let g be (21/126)/(3/((-36)/(-10))). Sort 0.4, g, 1, -1 in descending order.
1, 0.4, g, -1
Let u = -427 - -424. Put 2, -8, u in increasing order.
-8, u, 2
Let o = 749.4 - 840. Let i = -91 - o. Put -0.2, 2, i in decreasing order.
2, -0.2, i
Let b = 4919/7 - 703. Sort b, -6, -4/5, -0.3 in descending order.
b, -0.3, -4/5, -6
Let d(w) = -w**3 - w**2 - 2*w - 2. Let r = 22 - 22. Let b be d(r). Sort 2, b, -3.
-3, b, 2
Suppose -3*c - 24 = c. Let j be 3/(-9) + 4/c. Let v = -118 + 122. Put v, j, 0 in descending order.
v, 0, j
Let p(z) = z - 4. Let o(l) = -l - 1. Let h = -26 - -27. Let q(a) = h*p(a) + 2*o(a). Let u be q(-6). Sort 5, -9, u in descending order.
5, u, -9
Suppose -2 = l - 3*l. Suppose 5 = u + l. Let q be (u + (-6)/2)*4. Put 2/3, 0.2, q in increasing order.
0.2, 2/3, q
Let h = -72.7 + 72. Sort -5, 2, h, 3 in increasing order.
-5, h, 2, 3
Suppose 3 = m - 0*m. Suppose -32*a + 11 = -181. Suppose -m*i = -2*x - a, -3*i + 4*x + 4 = i. Sort i, -9, -3 in decreasing order.
i, -3, -9
Let k be (-5)/((-35)/(-21)) - (1 - 15). Sort 1, -4, k, 0 in descending order.
k, 1, 0, -4
Let o(a) = -a**2 + 18*a + 19. Let q be o(19). Suppose -2*b + 7*b = -20. Sort -5, b, q, 4.
-5, b, q, 4
Let r = -1/758 + 761/2274. Sort r, -5, 1/4, -4 in decreasing order.
r, 1/4, -4, -5
Let l(s) = 3*s + 3. Let k be l(-2). Suppose 2*g + 4*o = 32, -g + 4*g - 2*o = 64. Suppose 9*q + g = 2. Sort k, q, 3 in ascending order.
k, q, 3
Let l = 8 - 7.95. Let n = -0.95 - l. Sort 11, -3, n.
-3, n, 11
Let d = -52 + 73. Sort 5, 3, d in ascending order.
3, 5, d
Let z = 2.1 + -12.1. Let h = -3.28 - 6.71. Let a = z - h. Sort a, -5, -2 in ascending order.
-5, -2, a
Let g be 0*(5 - 48/9). Sort 13, 9, -3, g in descending order.
13, 9, g, -3
Let x(n) = n**3 - n**2 - 3*n + 4. Let m be x(2). Suppose -6*s + w = -s, -7 = -m*s - w. Put s, -9, 5 in decreasing order.
5, s, -9
Let y(c) = -c**3 + 14*c**2 + 229. Let j be y(15). Let p(w) = w**3 + 3*w**2 + w. Let o be p(-2). Suppose 0 = -o*l - 4, 3*m + 0*l + 5 = -l. Sort m, j, 0.
m, 0, j
Let s(d) = -d**3 - 3*d**2 - 2*d - 4. Let u be s(-3). Let t be (-1 - (-6 + 7))/(u/1). Sort -5, 1, t, 2 in ascending order.
-5, t, 1, 2
Suppose 15 = 1021*p - 1018*p. Put -3, p, -4 in decreasing order.
p, -3, -4
Let t be -2*(1 - (-8)/(-6)). Let z(h) = h**2 - 13*h + 12. Let i be z(13). Let a be 1/(-4) + (-3)/i. Put -3/2, a, t in decreasing order.
t, a, -3/2
Let k = -96.195 - -0.195. Sort 0.4, 0, k, 2/9 in descending order.
0.4, 2/9, 0, k
Let j = 0.02 + 1.98. Let o(u) = -7*u - 126. Let v be o(-18). Put j, v, -3 in ascending ord