*k + z - 6, 3*k + 0*z = z - 1. Sort k, o, -4.
-4, k, o
Let u = -29 + 21.5. Let n = 8 + u. Sort -5, n, -3 in increasing order.
-5, -3, n
Let r = 3.08 + -0.08. Let z be (-294)/252*(-3)/(-21). Sort z, 0, r.
z, 0, r
Let d = -0.5 + -0.5. Let t = d - -0.9. Let v = t - -0.4. Sort -4/7, 3, v in decreasing order.
3, v, -4/7
Let m = -20 - -25. Put 1, m, -5, 6 in decreasing order.
6, m, 1, -5
Let m(d) = -d - 1. Let q(j) = j + 2. Let x(l) = -2*m(l) - q(l). Let b be x(3). Suppose 0 = -2*f - b*f - 10. Put f, 5, 3 in descending order.
5, 3, f
Let m be 1 + 1/8*-5. Put -2, m, -0.4 in ascending order.
-2, -0.4, m
Let s(b) = -b + 2. Suppose 3*a + 8 = -4*t, t + a - 2 = -4. Let q be s(t). Let z = -46 + 42. Sort 1, q, z.
z, 1, q
Let c be ((-5)/(405/6))/((-4)/(-6)). Put -0.3, c, -3/4 in decreasing order.
c, -0.3, -3/4
Let y(b) be the third derivative of -b**5/60 - b**4/8 + 2*b**3/3 - b**2. Let v be y(-4). Let r = 1 + 2. Sort -4, r, v in descending order.
r, v, -4
Let z = -0.2 + 0.1. Let q = -0.6 - z. Put 1, 4, q in decreasing order.
4, 1, q
Let q be (3/(27/6))/(-4). Let b be (2/(-3))/((-16)/(-18)). Put q, b, -2/7 in ascending order.
b, -2/7, q
Let o = 4.7 + -15.2. Let a = -11 - o. Sort 5, 0.5, a in descending order.
5, 0.5, a
Let x(z) = -2*z**3 + z**2 + 2. Let g be x(2). Let l = g - -5. Let o = -3 + 2. Sort -4/5, o, l in descending order.
-4/5, o, l
Let z = 40 - 40.5. Put z, 0.5, 1, 0 in increasing order.
z, 0, 0.5, 1
Suppose 4*l + 3*y + 0*y = -31, 2*y + 10 = 0. Suppose 0 = -8*r + 3*r - 5. Sort r, 0, l in increasing order.
l, r, 0
Suppose 0 = 5*g + 4*a - 0 + 21, -5 = 2*g + 5*a. Let u = -9 - g. Sort -3, u, 4 in decreasing order.
4, -3, u
Suppose -g + 2 + 3 = 0. Put g, 0, 2 in descending order.
g, 2, 0
Let k = 71 + -71.1. Let c = 3.03 + -0.03. Put c, k, -2/11 in ascending order.
-2/11, k, c
Let c be 8/(-130)*5/2. Let r = -8 + 5. Sort c, 0.5, r in decreasing order.
0.5, c, r
Let n = 0.25 + -0.05. Sort 2, -0.4, n.
-0.4, n, 2
Let o(p) = p**2 + p + 1. Let y be o(-2). Suppose 2*g - y = -g. Sort 2, -4, g.
-4, g, 2
Let t = 1 - -4. Let l = 29 - 34. Let x = -2 - l. Put x, -4, t in ascending order.
-4, x, t
Let q = -4.06 + 0.06. Let x = -7 - q. Let z = 57 - 284/5. Sort 3, z, x in decreasing order.
3, z, x
Suppose 0 = 7*p - 2*p - 10. Suppose -f + 5*d = -19, 6 = 3*d - 5*d. Let b be -1 - f/((-144)/44). Put p, 1, b in descending order.
p, 1, b
Let x be -4 + 4 - -3 - 1. Let q = x + -5. Suppose g + 4*o - 4 = 5*g, -5*g - 23 = o. Put q, -2, g in increasing order.
g, q, -2
Suppose 3*m + 145 = -5*g + 2*m, 0 = -3*g - 4*m - 70. Let r = g + 121/4. Let n = 25 + -22. Put r, n, 5 in ascending order.
r, n, 5
Let b = 47 - 47. Put b, -1/4, -0.02 in descending order.
b, -0.02, -1/4
Suppose -3*k = -3*i, -2*k - 7 = 5*i - 0*k. Sort -2, -3, i.
-3, -2, i
Let v = 2 + -1.5. Let i be 12/92*(-2)/(-32). Let r = i - -2175/4048. Sort r, v, 1 in increasing order.
v, r, 1
Suppose 0 = -2*z - 5*x - 12, z - 5 = 4*x - x. Put 4, z, 0 in descending order.
4, 0, z
Suppose -3 = w - 0. Let a = -1 - -0.98. Let l = -0.28 + a. Put l, -5, w in decreasing order.
l, w, -5
Let k = 91 - 821/9. Sort -3, k, 2/111, 0.5 in ascending order.
-3, k, 2/111, 0.5
Let o = 4 - 0. Suppose 2*k + 20 = -2*k. Sort -4, o, k.
k, -4, o
Let v = 9 + -9. Let r = -0.4 - -0.2. Let b = 0 + r. Sort 0.2, b, v.
b, v, 0.2
Let w = -174 - -169. Sort w, -4, -3, -1 in increasing order.
w, -4, -3, -1
Let s = 4 - 3.6. Let o = 12 + -12.1. Sort s, -1, o.
-1, o, s
Let r be 6095/90 + 6/(-27). Let u = -69 + r. Sort u, 5, -3 in ascending order.
-3, u, 5
Let q be ((-1)/3)/((-3)/(-81)). Let i be ((-24)/q)/((-2)/3). Sort 4, 5, i in descending order.
5, 4, i
Let p = 177.01 + -179. Let i = p - 0.01. Let h be (-4)/18*(4 - 1). Sort h, i, -4 in descending order.
h, i, -4
Let c = 347/6 - 58. Sort 0.3, c, 1, 4/9 in decreasing order.
1, 4/9, 0.3, c
Suppose -3*g + 25 = 2*g. Let c(b) = -4*b + 4. Let h(x) = 3*x - 4. Let t(k) = -5*c(k) - 6*h(k). Let z be t(-4). Put z, 2, g in descending order.
g, 2, z
Let r(b) = -b - 13. Let u be r(-13). Sort 2/13, u, 1.8.
u, 2/13, 1.8
Let y = 0.1 - 2.1. Let o = y - 1. Let r = -1/11 - 19/33. Put r, 0, o in descending order.
0, r, o
Let w(f) = f**2 - 2*f + 4. Let k be w(4). Let y be 62/k - 7/42. Sort 8, 0, y in descending order.
8, y, 0
Let m = 8 + -12. Sort 1, 5, m in descending order.
5, 1, m
Let q = -4.02 + 4. Let k = -3.98 + q. Sort -2/7, k, -0.3 in increasing order.
k, -0.3, -2/7
Suppose 9 = 2*t + 1. Let s be ((-6)/6)/(2 - (-13)/(-7)). Put s, t, -4 in increasing order.
s, -4, t
Let v be (-8)/(-42)*(-9)/6. Let y(p) = p**3 + 5*p**2 - 5*p + 7. Let h(c) = -c**3 - 6. Let t be h(0). Let g be y(t). Put g, v, -0.1 in descending order.
g, -0.1, v
Let r = -0.32 + 10.32. Sort -3, r, -0.1 in increasing order.
-3, -0.1, r
Let l = -26 - -28. Let z = -4 + l. Put z, 0.3, 5 in decreasing order.
5, 0.3, z
Let h = -3 - 0. Put h, 3/5, -10, -0.4 in decreasing order.
3/5, -0.4, h, -10
Let b(c) = -3*c. Let f be b(2). Let n = f + 7. Let o = 15 - 11. Put o, -5, n in descending order.
o, n, -5
Let h = -0.09 + -0.01. Let s = -0.9 + h. Sort 3, s, 0 in ascending order.
s, 0, 3
Let r = -113 + 118. Sort 1, -3, r, -4 in ascending order.
-4, -3, 1, r
Let r be 66/54 - 2/9. Let n = -4 - 1. Sort n, r, -0.3 in decreasing order.
r, -0.3, n
Let c = -13 - -13. Let u = 0.03 - -0.47. Let s = u - c. Sort s, -2/11, 0 in ascending order.
-2/11, 0, s
Let z be 26/3 + (-2)/(-6). Suppose 3*t + z = n - 2*t, -n + 3*t + 5 = 0. Let a = 8 - 5. Put 1, a, n in descending order.
a, 1, n
Let h = -1 + 1.1. Let p = h + -0.2. Let r = -0.1 - p. Sort r, 1, -0.2 in descending order.
1, r, -0.2
Let v(d) = d + 2. Let w be v(6). Suppose 2 = 5*l - w. Suppose -g + 18 = -5*i, -4*i = 3*g - 1 + 4. Put l, i, -5 in decreasing order.
l, i, -5
Let z be 71/(-5) + (-1)/(-5). Let f = -253 - -256. Put z, 1, f in decreasing order.
f, 1, z
Let u = -0.03 + -0.17. Put -2/13, 2, u in increasing order.
u, -2/13, 2
Let u = 1 - -1. Let z = 4.4 - -0.6. Sort -4, z, u in decreasing order.
z, u, -4
Suppose -4*a = -0*a + 40. Let f = 7 + a. Put -5, f, -2 in increasing order.
-5, f, -2
Suppose x - 3*x = 20. Let f be 36/(-30)*x/(-3). Sort 1, f, 4 in decreasing order.
4, 1, f
Let b(n) = 3*n - 2. Let f be b(2). Suppose 5 + f = -3*o. Sort o, 2/7, -2/9 in increasing order.
o, -2/9, 2/7
Suppose 4*o = 2*o + 6. Let l = -8 + o. Suppose -2*f + 0 - 2 = 0. Put -2, f, l in increasing order.
l, -2, f
Let m(g) = g**2 - 4*g - 5. Let k = 11 + -7. Let v be m(k). Sort -2, v, 0 in decreasing order.
0, -2, v
Let t be -1 - (0 + -3 + 1). Put -5, t, 25 in increasing order.
-5, t, 25
Let l = -3 - -2.99. Sort l, -2/5, 3/4 in increasing order.
-2/5, l, 3/4
Suppose 19 = -5*z - 1, -h + 4*z + 14 = 0. Let q be (6/4)/((-2)/4). Sort h, q, 2 in descending order.
2, h, q
Suppose 0 = z - 4*o - 9 + 1, -2*z - 2 = o. Suppose z + 10 = -5*t. Put t, 1, 0 in increasing order.
t, 0, 1
Suppose 29*u + 10 = 31*u. Sort u, -10, 3 in increasing order.
-10, 3, u
Let q(s) = -6 + 6*s**2 - 8*s - 5*s**2 + 5. Let j be q(8). Let x = 7 + -5. Put j, x, 5 in ascending order.
j, x, 5
Suppose -4*j - d + 18 = -3*d, -4*j - d + 15 = 0. Let l = -3 + j. Sort 2, -2, l.
-2, l, 2
Let b be 6 + -4 - (-14)/(-8). Let u = -0.21 + 0.41. Sort b, -5, u in ascending order.
-5, u, b
Suppose 0 = -3*r + 3. Suppose 0*f - f = r. Put -2, 5, f in increasing order.
-2, f, 5
Suppose 0 = 4*i + 3*v - 6, 0 = -v - 0*v + 2. Suppose i = 5*f + y + 19, 4*y = 2*f + y + 11. Sort f, -2, 5 in ascending order.
f, -2, 5
Let i be 8/(-6)*(-3)/2. Suppose -10 + 2 = 3*p - t, 0 = -2*p + i*t - 12. Put p, -4, -2 in descending order.
p, -2, -4
Suppose -5*a - 6 = 3*v + 4, -4*v - 25 = -5*a. Sort -4, 5, 0, v in decreasing order.
5, 0, -4, v
Let k be 1 - (-60)/80*(-5 + 1). Sort 4, 3, k in descending order.
4, 3, k
Let q(v) = -v**3 - 10*v**2 - 10*v - 13. Let r be q(-9). Let p be ((-1)/2 + 0)*-8. Sort r, -3/2, p.
r, -3/2, p
Suppose -7*g + 29 = 8. Sort -2, g, 0, -1.
-2, -1, 0, g
Suppose -2*h - 3 = -1. Let q = h - -3. Sort -3, q, 0.4 in descending order.
q, 0.4, -3
Let i(m) = -m - 7. Let l be i(8). Let b = l + 14. Sort b, 5, -2 in descending order.
5, b, -2
Let n = -45/8 - -479/88. Let c = -1/21 - 9/7. Sort c, n, -0.4 in descending order.
n, -0.4, c
Suppose 4*u = -4*g - 28, 4*u + 5*g = 2*g - 26. Suppose 2*w + 0*w = 10. Sort w, u, 2 in decreasing order