4. Sort 3/7, y, -0.41 in descending order.
3/7, -0.41, y
Let k = 2.6 + -1.9. Sort 1, k, 0.3 in descending order.
1, k, 0.3
Let j = 23 - 26. Sort 4, j, 0.
j, 0, 4
Let g(b) = 2*b - 18. Let s be g(7). Put s, 5, 15 in decreasing order.
15, 5, s
Let o = -182 + 182. Sort o, -3, -6 in descending order.
o, -3, -6
Suppose 6*x + 2 + 10 = 0. Put x, 0, -4 in decreasing order.
0, x, -4
Let j = -0.02 + 3.02. Sort 2, 5, j.
2, j, 5
Let c = -0.178 - 4.822. Sort -0.3, c, -3, -4.
c, -4, -3, -0.3
Let y(q) = 14*q + 8. Let l(s) = -5*s - 3. Let j(i) = 17*l(i) + 6*y(i). Let g be j(-1). Put 4, g, 0 in descending order.
4, 0, g
Let r = -14 + 12. Put 1/4, r, -0.5 in descending order.
1/4, -0.5, r
Let b = 12 - 12. Sort -4, b, -2 in decreasing order.
b, -2, -4
Let c = -7.7 - -7.3. Suppose -2*f = 2*s - 4*s + 2, 4*f = 20. Sort s, 0.1, c in descending order.
s, 0.1, c
Let b = 0 + 0. Let k = b - -0.4. Let z = -23 + 19. Put -1/8, z, k in descending order.
k, -1/8, z
Let v(j) = -j**2 - 3*j - 6. Let d = 2 - 7. Let n(k) = -2*k**2 - 7*k - 12. Let f(y) = d*v(y) + 3*n(y). Let t be f(-5). Put t, 1/6, -4 in decreasing order.
1/6, t, -4
Let j be (-9)/12 + 9/12. Suppose j = 5*s - 25 + 5. Let n = 4 - 6. Put -1, s, n in descending order.
s, -1, n
Let g = 0.01 - 0.06. Let f = g - -5.05. Put -0.3, -3, f in descending order.
f, -0.3, -3
Suppose 16 = z + 10. Sort 3, 0, z in descending order.
z, 3, 0
Let m = 0.16 - 0.26. Let v(t) = -t**2 - 4*t + 1. Let b be v(-3). Put -1/2, b, m in increasing order.
-1/2, m, b
Let x be (-3)/(-3) - 1*-1. Let j be x/(-2) + (-4)/(-3). Let d = 0.4 + -0.3. Sort 1, j, d in descending order.
1, j, d
Let r(d) = 2*d - 4. Let j be r(4). Suppose 0 = -5*z - x - j, -3*x - 12 = -z - 4*z. Sort z, 2, -4 in ascending order.
-4, z, 2
Suppose -27 = 3*b - 0*b. Let p be (-1)/3 - (-15)/b. Let h = p - -5. Sort -2, h, 1.
-2, 1, h
Suppose 4*w + 8 - 28 = 0. Let r be (-9)/(-6)*(-8)/6. Put w, -1, r in decreasing order.
w, -1, r
Let c = 6 - 1. Let r be 1/(-2) + (-3)/4. Let t = -0.37 + -0.63. Put c, r, t in decreasing order.
c, t, r
Let l = -3 - -8. Sort l, 1/7, 4 in increasing order.
1/7, 4, l
Let y(i) = i**2 - 2*i - 1. Let b be y(2). Let a be 1/(-2) - 33/22. Let f be 1 - -1 - (a - -8). Sort f, b, 0 in descending order.
0, b, f
Let b be 2/(-9) - 176/99. Let d be (-3 + 0 - -2)/(-1). Put 3, d, b in ascending order.
b, d, 3
Let l = -1.1 + 4.1. Put 2/9, 0, l in decreasing order.
l, 2/9, 0
Let c = -117/2 - -57. Let v = 0.026 + 2.974. Sort c, v, 4.
c, v, 4
Suppose -5 = 3*s + n, -2*s + 6*s = -2*n - 6. Let z be s/10 - 7/15. Sort -1, 1/3, z.
-1, z, 1/3
Let v = 164 + -162. Sort v, 13, 1 in decreasing order.
13, v, 1
Suppose 5*v - 4*r = -12 - 10, 5*r = 5*v + 25. Suppose -n - 5*m = 21 + 1, -5 = m. Let l(u) = u**2 - 2*u + 2. Let z be l(n). Sort v, z, 1 in decreasing order.
z, 1, v
Suppose -14*h = -6*h - 8. Sort h, 19, 5 in descending order.
19, 5, h
Let b = 0.17 + -16.17. Let f = -24 - b. Let j = f + 12. Put j, -1/5, 0 in descending order.
j, 0, -1/5
Let q = -31 + 35. Suppose 3 - 8 = -o. Let c be -10*(0 - 3/(-6)). Put c, o, q in decreasing order.
o, q, c
Let h = -0.1 + 1.1. Let i = 171 - 174. Sort -2, h, i in decreasing order.
h, -2, i
Suppose d + r = 2*r + 6, 5*d + 4*r = 3. Let n = -17 + 19. Put -3, d, n in decreasing order.
d, n, -3
Let i(b) = b + 21. Let c be i(-19). Sort 5, c, -5.
-5, c, 5
Let m = 16 - 16.3. Sort 2, 0.1, m in increasing order.
m, 0.1, 2
Suppose -12 = -4*y + 4*u - 0*u, u = -5*y + 9. Suppose -f = -y*f - 3. Let q = 834 - 830. Sort q, 0, f in increasing order.
f, 0, q
Let u be 55 - (-1 - 2/(-1)). Let f = 267/5 - u. Let d be (-12)/(-9)*15/40. Put d, f, 2 in descending order.
2, d, f
Let y be ((-3)/(-5))/((-2)/10). Sort 1, y, -2 in descending order.
1, -2, y
Let a be (-4)/10 - (-54)/(-15). Let t be (-1 - 2*-1) + -1. Let y = 9 - 5. Put t, a, y in decreasing order.
y, t, a
Let v be (-2)/(-4)*(-2 + 0). Let k = -113 - -111. Sort k, v, 1.
k, v, 1
Let f = -45 - -48. Sort f, -5, 4, 5 in decreasing order.
5, 4, f, -5
Let k = 4 + -4.1. Let v be (4/(-30))/(25/125). Put -3, v, k in descending order.
k, v, -3
Suppose 4*g + 23 = -5*p, 5*p + 14 + 7 = -3*g. Suppose 20 = 2*v - 5*u + 5, -4*v = -u - 21. Let q = 11.2 + -11. Put v, g, q in increasing order.
g, q, v
Suppose 5*x = -5*s + 25, -2*x - x + 2*s = 0. Put -4, -1, 3, x in ascending order.
-4, -1, x, 3
Let t be 50/15 + 4/6. Let b(c) = -c**2 + 5*c - 6. Let j be b(t). Sort 1, 2, j.
j, 1, 2
Suppose 2*f - 2*g + 14 = 0, -2*g + 10 = -4*f - 4*g. Let n(p) = p + 9. Let h be n(-8). Sort h, 0, f.
f, 0, h
Let j be 2/(-8) + 22/(-8). Let y = -2 + j. Let f = 9 - 7. Sort 4, y, f in decreasing order.
4, f, y
Let h be (-1)/4 - (-1)/36. Put -0.4, 2, 0.4, h in ascending order.
-0.4, h, 0.4, 2
Let s = 171.4 - 171. Sort -3, 15, 3/7, s in decreasing order.
15, 3/7, s, -3
Let x = 34 - 37. Sort 2/7, 0.4, x in ascending order.
x, 2/7, 0.4
Let k be (3/1)/((-6)/4). Let t be -2 + k*2/2. Sort 2, -0.5, t.
t, -0.5, 2
Let l(o) = o + 5. Let b be l(0). Suppose -2*w = -b*q + 22, 4*q - 6 = -3*w + 7. Suppose 2*h - 6*h + 4 = 4*f, h = 4*f + 21. Sort f, w, -5 in decreasing order.
w, f, -5
Let d be 0 - -1 - (37 - 14). Let r = 23 + d. Put -1, 3, r in increasing order.
-1, r, 3
Let a(p) = -p - 1. Let x be a(3). Suppose -4 = 3*n + s, 0 = 4*n + 4*s - 8 - 0. Sort x, 2, n.
x, n, 2
Let x(q) = q**2 - 3*q - 4. Let y be x(4). Let s = -19 - -39. Suppose 3*u = -u - s. Sort u, 1, y.
u, y, 1
Suppose 0 = -2*k + 6*k. Let s = -2 + k. Suppose 19 - 11 = 4*b. Sort s, b, 3.
s, b, 3
Let r = -1 - 3. Let a(p) = -p**3 + 7*p**2 - 6*p. Let f be a(6). Let x(s) = -s**2 - 8*s - 5. Let o be x(-7). Put r, f, o in descending order.
o, f, r
Let d = 0.2 + -5.2. Let c = 3.1 - -0.9. Let i = d + c. Sort i, -0.4, -5 in decreasing order.
-0.4, i, -5
Let f(m) = -m + 10. Let b be (-1)/((-3)/(-36)*-2). Let k be f(b). Let q = 220/91 + -18/7. Put q, k, -1 in decreasing order.
k, q, -1
Let y = 3 - 2.4. Sort y, 5, 2/9 in decreasing order.
5, y, 2/9
Suppose 0 = -t + 2*t - 3. Suppose 7 = -3*n - 8. Sort n, t, -4.
n, -4, t
Let z = 8 - 1. Let c = z - 2. Let x = -1.2 - -1. Put -2, x, c in ascending order.
-2, x, c
Let x = 43/7 - 44/7. Let c = -0.9 - -4.9. Put c, -3, x in descending order.
c, x, -3
Let s be -11 - 2*(-1 - 1). Sort s, 2, -5.
s, -5, 2
Let t(m) = m. Let z be t(2). Let j = z + 3. Sort 4, j, 0 in decreasing order.
j, 4, 0
Suppose -2*k + 22 = 12. Sort -2.4, -1, k in increasing order.
-2.4, -1, k
Suppose 29*i = 23*i + 6. Sort -2/21, i, 4/3.
-2/21, i, 4/3
Suppose -1 = -5*v + v - p, -2*v + 5*p = -17. Suppose 0 = -c + 6*c + 25. Put c, 3, v in decreasing order.
3, v, c
Let b be ((-32)/24)/(4/(-6)). Suppose q + 3*c = 5, -1 = c - b. Let i(k) = -2*k - 1. Let f be i(-2). Put f, q, 4 in descending order.
4, f, q
Suppose h = -5, -r - h + 5*h + 16 = 0. Let i be (-3)/r*(-4)/18. Let m = 2.8 - 3. Put m, i, -2 in increasing order.
-2, m, i
Let t be ((-7)/(-21))/(2/(-12)). Sort 5, -1, t in decreasing order.
5, -1, t
Let k be 1/1 + (-11)/((-55)/70). Sort k, 0, 3, 4.
0, 3, 4, k
Let x(y) = y + 6. Let d be x(-5). Let i = -9 - -8.89. Let a = i - 1.89. Put 5/2, d, a in ascending order.
a, d, 5/2
Let o = -4 + 7. Let p = o + -2.6. Sort 1, 4, p in increasing order.
p, 1, 4
Let x be 0 + (2 - (0 + 2)). Let y = x - 0. Put 4, y, 1 in increasing order.
y, 1, 4
Let f(z) = -z**3 + z**2 - 3. Let a be f(0). Suppose -3*q - 2 = 2*y, 4*q + y + 4 = 3. Let o be 10/4*-1*(1 + -3). Sort q, o, a in decreasing order.
o, q, a
Let v(p) = p**3 + 2. Let x be v(1). Put 0, x, -0.007 in ascending order.
-0.007, 0, x
Let y be (-2)/(-1*(-6)/27). Let a = -5 - y. Suppose 5*u + 26 = a*f, 0 = -5*f - 0*u - 4*u + 12. Sort f, 1, -4 in ascending order.
-4, 1, f
Let c = 10 + -10. Suppose c = x - 5*x - 24. Suppose u - 3*u - 10 = 0. Put -2, x, u in increasing order.
x, u, -2
Let j = -7 - -10. Put 7, j, -4 in ascending order.
-4, j, 7
Suppose 25 = -0*b - 5*b. Let i be b/(-2)*(-24)/(-15). Suppose -2 - 10 = i*q. Put -1, q, -2 in descending order.
-1, -2, q
Suppose -2*t + 2*d - 5 = 11, 3*d = -3*t. Let n = -3 - -3. Sort n, t, 1.
t, n, 1
Suppose -l + 8 + 11 = 4*x, -27 = -3*x - 5*l. Put -4, 8, x in ascending order.
-4, x, 8
Suppose 0 = 2*s + 3*s + 10. Let c be (1 - -1) + 0 + -12. Let x = 5 + c. Sort x, s, 1.
x, s, 1
Suppose -j = 4*a - a - 7, -a = 5*j + 21. Sort 0, -4, j.
j, -4, 0
Let b(z) = -3*z - 1.