.4. Let h = 0 + -20. Let c = h + 24. Sort 2, c, u in decreasing order.
c, 2, u
Suppose 2*p - 2 = -5*j + j, -3 = 3*p. Put 3, j, -2, -7 in decreasing order.
3, j, -2, -7
Let z be -5 - 8/20*-20. Let u = -3 - 0. Sort 5, u, 0, z in decreasing order.
5, z, 0, u
Let k be (32 + -38)*(-4)/(-8)*-5. Sort -4, k, -3 in descending order.
k, -3, -4
Let c be (-3)/(-2)*(-16 + 4 + 10). Sort c, 5/3, -0.2, -5/2 in decreasing order.
5/3, -0.2, -5/2, c
Let h = 103 + -93. Sort -4, 5, h in decreasing order.
h, 5, -4
Let y(u) = 13*u**2 + 45*u - 28. Let p(k) = 7*k**2 + 23*k - 14. Let l(x) = -11*p(x) + 6*y(x). Let t be l(-18). Let h = -5 + t. Put h, 4, -0.5 in ascending order.
h, -0.5, 4
Suppose 0 = -3*q - f + 12, -4*f = 4*q - 7 - 1. Suppose 12 = 4*a + 2*b, -2*a - 6 = -4*a + q*b. Let g be (a - -2)/(1 + 0). Put 2, g, 3 in descending order.
g, 3, 2
Let q be 28/16 + 8/32. Sort -4, q, -8, -2 in decreasing order.
q, -2, -4, -8
Let y = -80/39 - -186/91. Let h = y + -253/2730. Sort -0.2, -2/5, 4, h in increasing order.
-2/5, -0.2, h, 4
Let o(h) = h**2 - 24*h + 71. Let m be o(22). Sort m, -2, 2 in ascending order.
-2, 2, m
Suppose 0 = -r - 0*r - d - 10, 5*r = -2*d - 47. Put r, 7, -4 in decreasing order.
7, -4, r
Let v = -230/11 - -21. Let i = -9/22 - v. Sort -1/25, i, -1 in increasing order.
-1, i, -1/25
Suppose 0 = 85*x - 161*x - 76. Let b = 4 - 2. Suppose 0 = -4*n - b*f - 0*f + 4, -4*n + 2 = f. Put x, 1, n in descending order.
1, n, x
Let w = 2308.93 + -2277. Let z = w - 32. Put 1/4, 0, z in increasing order.
z, 0, 1/4
Let t = 0.019 + -20.019. Let p = t + 33. Let d = p + -14. Put 4, d, -3 in ascending order.
-3, d, 4
Let d = 5 - 2. Let b be (-40)/(-6)*84/112. Put b, d, 0 in ascending order.
0, d, b
Let x(d) = -d**3 - 4*d**2 + 5*d + 4. Let b be x(-5). Let o(t) = -t**3 - t**2 + 11. Let g be o(0). Suppose b*l + g = -5. Sort l, -1, 2 in decreasing order.
2, -1, l
Let l = 1752 + -1770. Sort 8, -1, l in decreasing order.
8, -1, l
Let v be (1 + 513)*10/5. Let c be 4 - (-2)/((-512)/v). Let s = -135/448 - c. Sort s, 1/7, 0.1 in descending order.
1/7, 0.1, s
Let a = 1424 + -1392. Put 0, -5, a in descending order.
a, 0, -5
Let d = -138 - -135. Put 0.1, -0.6, -4, d in ascending order.
-4, d, -0.6, 0.1
Let m be ((-1)/(1/12))/(1 + -3). Let h be (-1)/(20/m + -3). Sort h, 3, 2, -4.
-4, h, 2, 3
Let b = 521 - 525. Put -3, b, 62, 2 in increasing order.
b, -3, 2, 62
Suppose -18 = -3*d - 3, -3*c - 20 = -d. Let a = 13 - 23. Let r be ((-16)/(-10))/((-4)/a). Sort c, -2, r in decreasing order.
r, -2, c
Suppose 30*q - 45*q + 1905 = 0. Put -2, 1, q in descending order.
q, 1, -2
Let l = 0.1054 - 0.6054. Let s = -8 - -3. Sort 0, s, l in decreasing order.
0, l, s
Let q be (4/6)/((-2)/60). Let b be ((-5)/q)/((-18)/(-16)). Let k be (-8)/(-6)*28/(2744/(-21)). Sort k, b, 1 in descending order.
1, b, k
Let q = 5 + -3. Suppose -5*a - q = 8. Suppose -56 = 18*o - 4*o. Sort a, -3, o in decreasing order.
a, -3, o
Let v be (-3)/2 - (-2)/(-4). Let n = 828 - 825. Put -4, v, n in descending order.
n, v, -4
Suppose 4 = -c + 4. Put 1, c, 7 in decreasing order.
7, 1, c
Let a = 1 + 0. Let g = -4673 - -4678. Sort a, g, -4 in decreasing order.
g, a, -4
Let t be (-1*2)/(304/40 - 8). Let v be 7 + 2 - t - 12/3. Put -5, -2, -3, v in increasing order.
-5, -3, -2, v
Let r = 6 + -4. Let i = 0 + -1. Suppose 10*o + 16 = -24. Sort r, i, o in descending order.
r, i, o
Suppose 0*v = -v. Suppose 2*b - 54 + 40 = 0. Let k be (-1 + b + -5)/1. Sort k, v, -4.
-4, v, k
Let x(w) be the third derivative of -w**6/120 + w**5/10 + w**4/12 - 3*w**3/2 - 3*w**2. Let t be x(6). Suppose 0 = -t*u - 2*u. Put u, -3, 1 in increasing order.
-3, u, 1
Suppose -22*a = -36*a + 98. Put a, 1, -5 in descending order.
a, 1, -5
Suppose -17*l - 1533 = -90*l. Sort -2/7, -2, l in descending order.
l, -2/7, -2
Suppose -3*a = -19*a + 112. Put a, 3, -5 in ascending order.
-5, 3, a
Let l = -1068 + 1017. Sort l, 3, -2/7, 0.3 in ascending order.
l, -2/7, 0.3, 3
Let b be 1/(-3) + 30/9. Suppose -b*i + 4*i = 2. Let d = -4831 - -4835. Put i, d, 3 in increasing order.
i, 3, d
Let p = -0.199 + 0.08. Let t = p - -1.119. Sort t, -6, 0.1 in decreasing order.
t, 0.1, -6
Let w = 3.91 - 3.21. Put w, -0.2, -1 in increasing order.
-1, -0.2, w
Let m be -28*(-2 - 12/(-8)). Suppose 0 = p - m - 13. Suppose 0 = 2*b + 17 - p. Put b, -5, -1 in descending order.
b, -1, -5
Suppose 19*s + 7*s = -52. Sort 5, -50, -3, s in increasing order.
-50, -3, s, 5
Let d be (-18 - -13)*21/5. Sort -5, 4, 0, d in ascending order.
d, -5, 0, 4
Let v be (-2)/(-8) + 6/8. Let d = 0 - 0. Let z = -47 + 51. Put z, v, d in ascending order.
d, v, z
Let g = 10376 - 10381. Let y = 2 - 5. Sort 5/6, g, y, 4/5 in descending order.
5/6, 4/5, y, g
Let z(g) = 3*g**2 - 32*g - 6. Let o be z(3). Put o, 0, 2 in increasing order.
o, 0, 2
Let j = 62 - 72. Let b = 48/5 + j. Put b, -1/5, 4, -2 in increasing order.
-2, b, -1/5, 4
Let v(m) = m + 5. Let o be v(-3). Suppose -j = 2*j + 3*i - 21, -3*i + 17 = 2*j. Suppose 5*a - 2 = -o*z + 3, 4*a = -z + j. Sort -2, -6, z in descending order.
z, -2, -6
Let a = -0.3 - 0.2. Let w = 3169/18 + -1583/9. Sort a, 0.4, w, 3/2 in ascending order.
a, w, 0.4, 3/2
Let g = 3.95 + -3.65. Sort g, 5/2, 0.2, -6.
-6, 0.2, g, 5/2
Let j be ((-1)/10*2)/(-1). Let k = 5 + -4. Let a = 0.03 + -3.03. Put k, j, a in ascending order.
a, j, k
Suppose d - b = 5*d + 15, -3*d = 2*b + 10. Let j be (d/(-8))/(2/4). Sort 0, j, 3 in ascending order.
0, j, 3
Let m = 0 - 0. Suppose m = 9*g - 17*g + 40. Put -4, 19, g in descending order.
19, g, -4
Let n = 316019/8372 - -6/2093. Let m = n + -37. Let q be -4*1*3/(-27). Put m, q, -2 in ascending order.
-2, q, m
Let i(o) = -o + 9. Suppose h - 4*h + 18 = 0. Let x be i(h). Let p be -2 - 4*-1 - 6. Sort 5, p, x in decreasing order.
5, x, p
Let x = 421 - 426. Let u = -13 + 9. Let m be (4 - 1) + (-2 - 1). Sort m, u, x in ascending order.
x, u, m
Let s = 0.083 + -4.083. Sort -5, 71, -2, s in descending order.
71, -2, s, -5
Let k = 1239 - 1242. Let x = 4 - 2. Sort k, x, 3 in decreasing order.
3, x, k
Suppose -6*f = -3*f. Let z(n) = n**2 - 10*n + 16. Let o be z(7). Sort -3, f, o, 5 in decreasing order.
5, f, -3, o
Suppose -3*k + 4 = 4*u, 3*u = -3*k + 5*k + 20. Suppose s + 2648 = 2644. Suppose 0 = -5*z, z + 2*z - 5 = i. Put i, s, u in descending order.
u, s, i
Let b(y) = 13*y - 9. Let s be b(-2). Sort 2, 3, 1, s.
s, 1, 2, 3
Let j be (((-42)/(-4))/7)/(-6). Suppose 7*d + 344 = 29. Let m be 21/216 - (-10)/d. Put j, -0.3, m in descending order.
m, j, -0.3
Let h be 2*-15*(-3)/30. Put -4, 0, h in descending order.
h, 0, -4
Let y = 9 + -12. Let o be 6 + -8 + (-192)/(-88). Sort o, y, -2/3, 2/7.
y, -2/3, o, 2/7
Let t be 2 - 7/((-35)/(-20)). Let u be t/6 - 1/(-6). Put 0.4, 1, u in decreasing order.
1, 0.4, u
Let g(w) = -2*w + 9. Let f be g(9). Let r = f + 11. Suppose t - 3*s = 2*s - 27, -5*s = 2*t - 21. Sort -3, t, r in decreasing order.
r, t, -3
Let x = -0.001 - -0.02. Let o = -1.019 + x. Let c = -6 + 4. Put c, o, 2 in descending order.
2, o, c
Let r = -1393 - -6213. Let q be -1 - 0 - r/(-3952). Let f = q - 5/76. Sort 3, f, -2.
-2, f, 3
Let g(v) = -v**3 + 18*v**2 - 16*v - 22. Let p be g(17). Put -3, 0, p in decreasing order.
0, -3, p
Let m(c) = c**2 - 12*c + 15. Let d be m(11). Let h be (-1)/d + (-42)/24. Sort 1, 13, h.
h, 1, 13
Let i = -2174 + 2173. Sort i, 468, -3 in decreasing order.
468, i, -3
Let z be 4/7 - 148/259. Put 4, 5, z, -5 in ascending order.
-5, z, 4, 5
Let j = -1/3415 - 3407/27320. Let z be (-1666)/30 - 3/(-9). Let n = 55 + z. Sort j, n, -2/7.
-2/7, n, j
Let q = -0.2 - -2.2. Let v(a) = -a**2 - 12*a - 30. Let y be v(-13). Let w = 85/2 + y. Sort w, q, 1 in decreasing order.
q, 1, w
Let v be 1/7 + (-4)/28. Suppose 3*o + 2*o = v. Suppose -y = -4*p + 1 - 3, -2*y = -4*p. Sort p, o, -3 in decreasing order.
o, p, -3
Let i(t) = t**3 - 7*t**2 - 6*t - 5. Let n be i(8). Suppose 3*s = 2*h + 6, 4*h - 3*h = -2*s + n. Suppose h*w - 8 = -w. Put w, -2, -6 in descending order.
w, -2, -6
Let j(p) = p**2 - 8. Let b be j(2). Let h(f) = -2*f. Let c be h(-1). Put -9, c, b in decreasing order.
c, b, -9
Suppose -k = -4 + 5. Suppose -2*h - 4 + 6 = 2*w, 4*h - w - 9 = 0. Sort 0, h, k, 3.
k, 0, h, 3
Let s be 1 + -1*0/(-4 + 5). Suppose 2*z + 5 = -5*b, 3*b + 4 = 2*z - b. Sort z, -4, s in descending order.
s, z, -4
Let g 