4. Let w(o) = -o - 9. Let f be w(-7). Sort f, v, s in decreasing order.
v, s, f
Let u be ((-2)/(-6))/(4/(-48)). Sort -5, -20, u in descending order.
u, -5, -20
Suppose -5*q + 2*l - 5 = 0, 0 = -q + 2*l - 7*l - 28. Sort 5, -1, 3, q in decreasing order.
5, 3, -1, q
Suppose -15 = -0*r + 5*r. Suppose -47*c + 17*c - 4 = 56. Put 5, c, r in decreasing order.
5, c, r
Let f = 19342.4 - 19342. Let z = -0.1 - 8.9. Let a = 8.3 + z. Sort a, f, -1/4 in decreasing order.
f, -1/4, a
Let d be 55/45 - 4/18. Let t = 16 - 17. Let j be (-3 - (3 + -11))*-1. Put t, j, d in descending order.
d, t, j
Let f = -487 + 480. Put f, -73, 2 in increasing order.
-73, f, 2
Let s(k) = 2*k**2 + 2*k - 2. Let n = 16 - 18. Let p be s(n). Suppose 3*v = -w - 13, 1 = 5*w - p*v - 2. Sort 14, w, 4.
w, 4, 14
Suppose 4*j = -4*c + 8, -4*j + 5*c - 5 + 13 = 0. Let a be (2/4)/(3/30). Let m = a + -6. Put j, 3, m in decreasing order.
3, j, m
Suppose z - 1 - 2 = 0. Suppose 4*n + z = -5. Let l be 5/n + 6/(-4). Sort 4, 5, l in descending order.
5, 4, l
Let j = 38 + -32. Suppose j*d - 15 = 3*d. Let h = 21 + -25. Put 3, d, h in descending order.
d, 3, h
Let v = 778 - 781. Let u(a) = -a**2 + 5*a - 6. Let c be u(4). Let n(o) = o**3 - 6*o**2 + 6*o - 3. Let s be n(5). Put c, s, v in decreasing order.
s, c, v
Let y = -0.4 - -5.4. Let g = -14.06 + 0.06. Let p = 14.1 + g. Sort y, 0, p in increasing order.
0, p, y
Let y = 75 - 30. Let s be y/27*(-12)/(-10). Put -1, 4, s in descending order.
4, s, -1
Let s = -809 + 809.5. Let d = -14 - -9. Sort s, 3/5, -1/6, d in decreasing order.
3/5, s, -1/6, d
Suppose -5*j - 5*t = -40, 3*j - 5 - 13 = -5*t. Suppose -4*a - 3 = -j. Put 0, -22, a, -2 in decreasing order.
a, 0, -2, -22
Let c(m) = -m**3 + 7*m**2 + 6*m + 11. Let d be c(8). Suppose -5*i - 2 = 8. Put i, d, 4, 1 in increasing order.
d, i, 1, 4
Let a = -27 + -14. Let w = -28 - a. Let j = -12.6 + w. Put 2, 0, j in decreasing order.
2, j, 0
Let m = -54.5 - -54. Sort 5, -4/7, m.
-4/7, m, 5
Let v = -152 + 150. Suppose -2 = -5*z + 8. Sort v, 5, z.
v, z, 5
Let y = 861 - 822. Sort y, 0.1, 5 in ascending order.
0.1, 5, y
Let s = -134 - -128. Sort 2, 1, s, -5.
s, -5, 1, 2
Suppose -5 = 8*z - 3*z. Let y(o) = -14*o - 11. Let k be y(-1). Sort -8, -2, z, k in descending order.
k, z, -2, -8
Let h = 27.2 - 6.2. Let i = -1.47 - -21.87. Let x = h - i. Sort 3, x, -4 in descending order.
3, x, -4
Let t = -2.6 - -4.7. Let n = t - 2.65. Let b = n + 0.05. Put b, -3/4, 2/9 in decreasing order.
2/9, b, -3/4
Let x(v) = 66*v - 269. Let l be x(4). Sort 5, 19, l, -3.
l, -3, 5, 19
Let q = 9.24 + -9. Let h = 32.76 - 32. Let x = q + h. Sort -1, 2, x.
-1, x, 2
Suppose 4*c = 5*o + 9*c - 30, -2*c = -5*o + 2. Put o, -11, -3 in ascending order.
-11, -3, o
Let u(d) = 2*d**2 - 15*d + 30. Let n be u(5). Put n, -63, 3, 0.8 in increasing order.
-63, 0.8, 3, n
Let o(c) = -c**2 + 11*c + 15. Let z be o(12). Suppose f + z*f = 32. Let n = f - 4. Sort 1, n, 5.
1, n, 5
Let n = -28.3 - -28. Suppose -4 + 84 = -8*i. Put -5, i, n in ascending order.
i, -5, n
Suppose -5*w = 5*q - w - 11, -q = -4*w - 7. Suppose 0 = -5*o - 0*o + 3*l - 1, -4*o - 2*l - 14 = 0. Put o, -3, q, 4 in ascending order.
-3, o, q, 4
Suppose 3*f + 20 = 5. Let v = -0.144 + 0.044. Sort v, 2/19, -4, f.
f, -4, v, 2/19
Suppose 0 = -4*q + t - 15, 10*q + 5*t - 3 = 12*q. Put 65, -1, q in decreasing order.
65, -1, q
Suppose -378*r + 388*r - 57 = -7. Let n = 5 + -3. Sort 4, r, -1, n in increasing order.
-1, n, 4, r
Let q = 4/35 + -9/35. Suppose 4*l - 8 = 3*z, -20 = -3*l + 7*l + 4*z. Sort 3, l, q in descending order.
3, q, l
Let q = 188 + -187. Let v be ((-10)/6)/((-3)/(-9)). Put -4, v, q, 4 in decreasing order.
4, q, -4, v
Let r(s) = -s**3 - 32*s**2 + s + 31. Let m be r(-32). Put m, 5, 140 in decreasing order.
140, 5, m
Suppose -27 = 9*g - 0. Let q be (-20)/(-30)*g/6. Sort q, 0, 0.4 in increasing order.
q, 0, 0.4
Let i(b) = -b**2 - 9*b + 1. Let j(k) = -1. Let r(n) = i(n) + 5*j(n). Let w be r(-7). Suppose 8*u + 8 = w*u. Sort -3, -5, u in increasing order.
-5, -3, u
Let s(m) = 11*m - 194. Let v be s(18). Put -4, -196, v in increasing order.
-196, -4, v
Let r = -311 + 312. Sort -4, -1, 4, r in decreasing order.
4, r, -1, -4
Let k = 7.3 - 7. Let p = -349/2 - -184. Put 3, p, k in descending order.
p, 3, k
Suppose 0 = 2*g - 4, -17 = -5*l - 4*g + 16. Let d = -244 - -250. Sort d, l, -0.2 in increasing order.
-0.2, l, d
Suppose 3*t = -t - 8. Let f(u) = -u**2 + 66. Let v be f(0). Let i be v/(-14) - (-16)/(-56). Sort i, 3, t in descending order.
3, t, i
Let l = 2.4 + -20.4. Let r = 22 + l. Put r, 0.2, -0.5 in increasing order.
-0.5, 0.2, r
Let y = 32 - 28. Suppose -4*f = 3*i + 1, 9 = y*i - 2*f - 19. Put 0, i, -4, -5 in decreasing order.
i, 0, -4, -5
Let g(u) = -u**2 + 29*u + 35. Let l be g(30). Let v be 6/(-3) + 0 - 1. Let f be (v/(-4))/((-1)/4). Sort 2/9, l, f in decreasing order.
l, 2/9, f
Suppose -5*l - 5*t + 5 = -10, 5*l + 4*t = 13. Suppose -65*v + 58*v + 35 = 0. Sort 3, v, -4, l in decreasing order.
v, 3, l, -4
Let h = 0.035 + 0.014. Let a = h - -0.451. Sort a, -3, -1/4 in decreasing order.
a, -1/4, -3
Let l = -8.8 + 9. Let p = -59.5 + 60. Sort p, 3, l.
l, p, 3
Suppose 26*h + 194 - 298 = 0. Put h, -0.37, 5 in decreasing order.
5, h, -0.37
Let o be 4 + (-5)/((-20)/(-12)). Suppose o = 2*t - 9. Suppose 4*n = -0*w + 3*w + 3, -t*n = 0. Put w, 3, 7 in decreasing order.
7, 3, w
Let c(n) = n**3 - 13*n**2 + n - 16. Let x(s) = 3*s - 20. Let r be x(11). Let g be c(r). Sort g, -4, 2, -1 in decreasing order.
2, -1, g, -4
Suppose -2*p = 17 - 7. Put p, 3, -65 in increasing order.
-65, p, 3
Let o be 6/(434/(-88) + 5). Put 0.5, -1/3, o in descending order.
o, 0.5, -1/3
Suppose 7 = h + 5*o, -5*o + o = 4*h + 20. Let t = h - -29/4. Let f = 3.2 - -0.8. Put 1/5, t, f in ascending order.
t, 1/5, f
Let z be (2/(-1) - -2)/1. Suppose -4*w - q = 774 - 764, 2*w + 3*q = -20. Put -7, z, w in decreasing order.
z, w, -7
Let x(y) = 2*y**3 + 3*y**2 + y + 2. Let d be x(-2). Suppose -5*n - 12 = -9*n. Suppose n*u = -u + 16. Sort 1, u, d in decreasing order.
u, 1, d
Let m = -77/2 + 40. Let p(n) = -n**2 - 11*n + 9. Let a be p(-12). Put -1/2, m, -4, a in descending order.
m, -1/2, a, -4
Suppose -303 = -64*u + 145. Sort -3, -5, 1, u.
-5, -3, 1, u
Let d = -85/286 - -3/26. Let i = 0 + -0.02. Let w = i - 0.28. Sort w, d, -0.4.
-0.4, w, d
Let d = 1.29 - -0.71. Let j be (1 - -2) + (-1)/1. Let f be ((-9)/6)/(6/j). Sort d, f, -0.2 in descending order.
d, -0.2, f
Let f be (-3)/(-3) + 2 + -33. Let o be f/45*(-9)/2. Suppose -2*t - 8 + 0 = 0. Sort 2, o, t in decreasing order.
o, 2, t
Let h = -547/7 - -514/7. Let k = -31/7 - h. Sort 6/7, k, -2/3, -2 in descending order.
6/7, k, -2/3, -2
Let j = 235.1 - 246.1. Put 3, j, -3 in decreasing order.
3, -3, j
Let w = -10/13 + 83/91. Sort 7/2, 0.4, 0.5, w in ascending order.
w, 0.4, 0.5, 7/2
Let z(k) = 8*k + 320. Let i be z(-40). Sort i, 1, 9, -4 in decreasing order.
9, 1, i, -4
Let y = 1600/17 - 94. Sort y, 0.7, -1/2 in decreasing order.
0.7, y, -1/2
Suppose -2*s - 10 = -4*f, -4*s + 2*f = -0*s - 10. Put s, 16, -3, -4 in descending order.
16, s, -3, -4
Suppose 12 = -v - 2*j + 9, -4*j = 4. Put 3, v, 46, -5 in increasing order.
-5, v, 3, 46
Let b be (-3 - 11/(-4))/2. Let o = -0.789 + 3.789. Put o, b, 0.3, -0.1 in increasing order.
b, -0.1, 0.3, o
Suppose 4*f - 4 = 0, 2*f = -r + 4*f + 4. Suppose r*x - 21 = 3. Put 17, x, -5 in descending order.
17, x, -5
Suppose -3 + 9 = 3*z, -3*z + 5 = f. Let q be f/4*-4*11. Suppose -q - 14 = -5*y. Put y, 2, -1 in increasing order.
-1, 2, y
Let p = 10/7 - 23/21. Let m = 4 + -9. Let x = 0 - m. Sort p, -1/2, x in increasing order.
-1/2, p, x
Let y = 8/105 + -94/21. Put y, 0.1, -0.1 in ascending order.
y, -0.1, 0.1
Let u = 0.21 - -0.08. Let t = u + -0.69. Sort t, -0.5, 0.2, -3/2 in increasing order.
-3/2, -0.5, t, 0.2
Let g be -2 - (0 + (-2)/2). Suppose -15*u + 19*u - 5*q = 5, u + 4*q = 17. Sort g, u, -3 in decreasing order.
u, g, -3
Let t = 145.2 - 145. Suppose -3 - 7 = p. Let i be 27/5 + 4/p. Sort t, i, -4 in decreasing order.
i, t, -4
Let x = -4.9229 - 0.0771. Sort 1/7, -0.2, x in ascending order.
x, -0.2, 1/7
Let z(n) = 5*n - 7. Let c be z(2). Let l = 51 - 50.94. Put c, -0.2, l, 5 in decreasing order.
5, c, l, -0.2
Suppose -2*j + 15 = 5. Suppose -j*m - 7*h = -3*h - 23, -4 = -2*m + h. Let w(