-3 = -z + 2*z, -4*b + 2*z - 22 = 0. Put b, p, -4, -3 in descending order.
p, -3, -4, b
Let a be ((15 - -3) + -14)*(-1)/(-4). Sort a, 2, 5, 35 in descending order.
35, 5, 2, a
Let z(v) = 3*v - 5. Let c be z(2). Let y be ((-2)/8*c)/((-4)/12). Let p = 1.8 - -0.2. Sort y, p, 5/4.
y, 5/4, p
Let l = 5.431 - 0.431. Let w = -3 + 5. Suppose -6*z = -w*z - 16. Sort l, z, -0.1.
-0.1, z, l
Let b = 18.23 + -18.31. Put 1, 0.3, 3, b in descending order.
3, 1, 0.3, b
Let f = 126 + -379/3. Put 0.4, f, 3, -1/13 in decreasing order.
3, 0.4, -1/13, f
Suppose 5*w + 2*d + 16 = 0, w = -3*d + 9 - 7. Sort w, -0.3, -24/17 in descending order.
-0.3, -24/17, w
Let t = 6.28 - 6.38. Sort 0.05, 5, t, -5 in ascending order.
-5, t, 0.05, 5
Let f(h) = -h**2 + 5*h - 5. Let x be f(4). Suppose 0 = 5*u + y - 172, 4*y + 0*y = 5*u - 187. Let o = u + -32. Put o, x, -3 in ascending order.
-3, x, o
Let a(v) = -14 + 2*v**2 + 8*v - 3*v**2 + 5 - 7. Let q be a(6). Put -3, q, 0 in decreasing order.
0, -3, q
Let b = -1021 + 4083/4. Let u = 0 - 1. Sort b, 3, u, -3.
-3, u, b, 3
Let f be (-12)/8*(-4)/3. Suppose 28 = 11*c + 17. Let w(r) = -r**2 + r - 1. Let j be w(0). Put j, f, c in decreasing order.
f, c, j
Let g = 124.9 + -125. Put g, -4, 0.5 in descending order.
0.5, g, -4
Suppose -5*r = y - 0*y - 28, r = -4*y + 17. Let z = 1 - r. Suppose -3 = n + 2, -2*d - 5*n = 35. Sort d, z, 0 in decreasing order.
0, z, d
Let s = -11863/29 + 409. Let k be 4 + -2 + 7/(-4). Sort k, 2, s in increasing order.
s, k, 2
Let m be 1/(-1) - 28/(-20). Let u be (4/30)/((-8)/(-10)). Let j = 3.024 - 0.024. Put u, j, m in descending order.
j, m, u
Let t(o) = -o**3 - 22*o**2 + 15*o - 171. Let k be t(-23). Sort k, -4/11, -0.5.
-0.5, -4/11, k
Suppose 2*p = -6 + 6. Let n = -7 + 12. Put p, 4, n in decreasing order.
n, 4, p
Let t = 0.84 + -2. Let o = 0.86 + t. Sort o, -15/7, -3 in decreasing order.
o, -15/7, -3
Let a = -5 + 8. Suppose -5*y - 2*z = a, -4*z = z - 5. Let l = 0.005 + 0.295. Put y, -0.4, l in ascending order.
y, -0.4, l
Let q = -2.7 - -2.57. Let g = -184 + 180. Put g, 2/13, q in ascending order.
g, q, 2/13
Let z = -1926315 - -148324041/77. Let t = z - -200/7. Sort -8/7, 3, t in ascending order.
-8/7, t, 3
Let u = -219/35 + 48/7. Sort -0.3, 2, 16, u.
-0.3, u, 2, 16
Suppose -34*x - 25 = -29*x. Put 3, x, 18 in descending order.
18, 3, x
Let l = 262 + -262. Put 2/61, l, -0.2, 4 in descending order.
4, 2/61, l, -0.2
Let q(a) = -a**2 + 8*a - 3. Let t be q(7). Suppose t*l = 6 + 14. Suppose 5*d = -l, 2*s + 2*d + 17 = d. Sort -1/3, s, 0.4 in increasing order.
s, -1/3, 0.4
Let j = 18 - 13. Let r = 2.5 + -1.9. Let p = r + -1.6. Put j, -1/2, p in descending order.
j, -1/2, p
Let l = -0.25 + 0.3. Let a = 2.8 + -3.35. Let r = l + a. Put 2/11, r, 0.1 in ascending order.
r, 0.1, 2/11
Let m be (-9)/6 + 75/10. Suppose m*i = 7*i - 4. Let z = 1 + i. Put 4, -3, z in increasing order.
-3, 4, z
Let o = -7.37 - -8.3. Let a = -0.43 + o. Sort -0.2, a, -4, -5 in ascending order.
-5, -4, -0.2, a
Let w be 1 - 7/(-21)*15. Let i(j) = j + 9. Let v be -6*(-2 - (0 + -3)). Let s be i(v). Put s, -3, w in increasing order.
-3, s, w
Let u = 2.2 + -3. Let z = -0.74 - u. Put -0.3, z, 0.4 in descending order.
0.4, z, -0.3
Let n = 1 - 1. Let c be (3/(-18))/((-1)/30). Suppose 2*v - 4*v = c*y + 18, v + 5*y + 19 = n. Sort -2, -3, v in decreasing order.
v, -2, -3
Let c = -5 - -9. Let p be 2/c*(-182)/13. Let w = -11 - p. Sort 1, w, -2.
w, -2, 1
Let n be -2 + 4 - 0/(-8). Put 47, n, -3 in decreasing order.
47, n, -3
Suppose 0 = 3*i + i - 4. Let u be (9 - 5) + 0 + 0. Sort u, -3, i in descending order.
u, i, -3
Let l = 8.6 - 10. Let g = l - -0.3. Let a = -0.6 - g. Put -4, -0.4, a in increasing order.
-4, -0.4, a
Let y = 69 + -98. Let g = y + 34. Put g, 7, 2 in descending order.
7, g, 2
Suppose 144*o - 31 = 113*o. Sort 2, -2/7, 5/4, o in decreasing order.
2, 5/4, o, -2/7
Let z = 8.8 - -2.2. Let w = -10.2 + z. Let o = 2.2 + w. Sort 0.5, o, 2 in descending order.
o, 2, 0.5
Let p be 12/(96/(-148))*2*1. Put p, 2, -1, 0 in increasing order.
p, -1, 0, 2
Suppose 0 = -2*t + 4*k + 2, -2*k + 4 + 1 = 5*t. Suppose 0 = -8*m - 25 - 39. Sort m, -4, t in increasing order.
m, -4, t
Let i(c) = -2*c**3 + 44*c**2 - 41*c - 20. Let y be i(21). Let t be (-1 + -17 + 1)*-1. Put t, 4, y in ascending order.
y, 4, t
Suppose 3*z - 2*u = 3*u - 26, 2*u - 12 = 2*z. Let l(t) = -t**3 - 4*t**2 - 3*t + 3. Let c be l(z). Sort 0, c, -5, 5 in decreasing order.
5, c, 0, -5
Let w be (17/51)/((-2)/(-18)). Put 2, w, 0, 5 in descending order.
5, w, 2, 0
Let v(k) = 134*k**3 - k. Let s be v(-1). Let r be (-1)/4 - s/(-28). Let t be (-2 - 1 - -31)*5/10. Sort 4, r, t in descending order.
t, 4, r
Suppose 0 = -172*n + 151*n - 357. Sort 5, n, -5 in descending order.
5, -5, n
Let a(b) = 3*b - 3. Let q be a(6). Let g be 26/10 + 6/q. Sort -2, -4, g.
-4, -2, g
Let z = 3 - 2.6. Let k = 3.3259 + -0.2389. Let i = 0.087 - k. Sort z, 13, i in decreasing order.
13, z, i
Let c = -7.2 + 6.64. Let p = -1.06 - c. Sort -10, p, -0.4 in descending order.
-0.4, p, -10
Suppose -8*y + 62 = -18. Sort y, 2, -6 in descending order.
y, 2, -6
Let b = 4 + -3. Let t be -3 + b - 28/(-13). Suppose -f + v + 5 - 2 = 0, -3*f - v = -13. Sort t, f, 2 in descending order.
f, 2, t
Suppose 0 = -3*y - 0*y - 3. Let k be (-31)/(-62)*8/2. Let p be 0*(-1)/5 + 5. Sort p, k, y in increasing order.
y, k, p
Suppose -1 + 9 = 4*u. Let x = 16618 - 16620. Put u, -2/5, x, -3 in descending order.
u, -2/5, x, -3
Let o be (-3692)/672 + (2/7)/1. Let l = o - -16/3. Suppose s - 4 = 1. Put l, s, -1/5 in descending order.
s, l, -1/5
Let h(f) = 4*f - 4. Let r be h(-1). Sort 1, r, 0, -2 in increasing order.
r, -2, 0, 1
Suppose -r + 7 - 5 = 0. Suppose -2*q - 3*q = -3*a - r, -a + q = 2. Put a, -2, -3 in increasing order.
a, -3, -2
Let h = -14 + 17.5. Let k = 3 - h. Let i = 32 + -29. Sort k, 1, i in increasing order.
k, 1, i
Suppose -5*c + 0 = x - 19, 3*c - 10 = -2*x. Sort c, 2/5, -20, -0.5.
-20, -0.5, 2/5, c
Let g be (52/78)/((-22)/(-6)). Sort g, 0.5, 37 in decreasing order.
37, 0.5, g
Let b = -107 - -106. Let f be (b/(6 + -8))/(2/(-8)). Sort -10, f, 4 in ascending order.
-10, f, 4
Suppose -3*c + 4 - 7 = 0. Suppose 5*j + 2*u + 25 = 0, 21*u + 25 = -5*j + 20*u. Let b(m) = -2*m - 3. Let w be b(-2). Sort w, c, j in descending order.
w, c, j
Let z(g) = 2*g**3 + g**2 + 6*g - 14. Let m be z(4). Let d = 154 - m. Suppose 0*c - 3*c = 18. Put c, d, -4 in decreasing order.
d, -4, c
Let w = -23 - -26. Let u be (-6)/(-4)*4/w. Sort u, -4, 0.
-4, 0, u
Suppose -3*h + 83 = -4*k, -k + 4*h + 48 = -5*k. Let o = 17 + k. Let f be 3/(-3) - 1 - 2. Put o, 4, f in decreasing order.
4, o, f
Let q = -19 - -29. Let k = -96 + 100. Suppose k*p - q = -p. Put p, -3, -4 in descending order.
p, -3, -4
Let p = -68 + 137. Let u = p + -74. Let n = -11 - -15. Put n, 12, u in decreasing order.
12, n, u
Let t = -0.5 - 0.5. Let b = -0.13 - 17.87. Let y = -18.4 - b. Sort -0.5, t, y.
t, -0.5, y
Suppose -5*m + 3*h - 11 = 0, 0 = -2*m + 3*h - 5 - 3. Suppose 2*x - 22 = -4*o, 31 = 4*x + x - 2*o. Put m, 3, x, 4 in decreasing order.
x, 4, 3, m
Let z = -36.8 - -41.8. Let r = 0.1 - 6.2. Let q = 6 + r. Sort -0.3, z, q in descending order.
z, q, -0.3
Let i = 0.087 + 5.613. Let p = i + -6.2. Sort 3, p, 1/8 in decreasing order.
3, 1/8, p
Let c(u) = -5*u**3 + 17*u**2 - 3*u - 8. Let t be c(3). Sort 139, t, 5.
t, 5, 139
Let z = 0.73 - 0.33. Sort 1, -6, z in decreasing order.
1, z, -6
Let q = -3772 - -3768. Let k(n) = -n**2 + 8*n - 9. Let h be k(6). Put h, q, -7, 2 in decreasing order.
h, 2, q, -7
Let r be (20/(-70))/((-17)/7 - -1). Let t be (-4)/(-10) + (-4)/10. Put 2, r, t in ascending order.
t, r, 2
Let a be 2/9 + 336/(-54) - -1. Let d = -4 + 5. Put d, a, -1 in ascending order.
a, -1, d
Let q(l) = -l**3 + l**2 - 2*l - 1. Let k(h) = -6*h**3 + 13*h**2 - 14*h - 9. Let u(d) = k(d) - 5*q(d). Let y be u(7). Sort y, -0.3, -1, 3 in increasing order.
-1, -0.3, 3, y
Let q be -3 - (-98)/16 - (-2)/(-16). Let y be 2 + q*(-2)/2. Sort y, 4, 8.
y, 4, 8
Let w = -21 - -23. Sort -4, -23, 1, w in ascending order.
-23, -4, 1, w
Let g = 7 + -7.1. Let z = 0.44 - -3.39. Let b = 0.17 + z. Sort g, b, 0 in ascending order.
g, 0, b
Suppose -5 - 3 = -l. Suppose 4*q = -0*q + 16. Let z = l - q. Sort z, -1, -1/5 in ascending order.
-1, -1/5, z
Let m = -4 + 0. Let 