*k - 30. Let m be ((-1)/3)/(k/(-15)). Let c = 4.4 - 0.4. Sort c, -0.5, m in increasing order.
-0.5, m, c
Suppose -2*x + 10 + 34 = 0. Suppose -4*s = -x + 2. Suppose 55 = -11*d - 0. Sort -2, d, s in ascending order.
d, -2, s
Let p be ((-1)/(18/8))/(28/42). Suppose -5*v = -3*v + 10. Let z be (-20)/(-16)*(-2)/v. Put p, 2, z in descending order.
2, z, p
Let l = 41 - 31. Put 2, l, 3 in descending order.
l, 3, 2
Let a = -2.21 + 0.21. Sort 4, a, 5 in increasing order.
a, 4, 5
Let m = -33 + 51. Let s = m - 18.7. Sort 2, s, -0.5 in ascending order.
s, -0.5, 2
Let w be -5 - (-1 - (-6)/(-2)). Sort w, 6, -3 in descending order.
6, w, -3
Let s = -32 + 222/7. Suppose -3*b + b - 2 = 0. Sort b, -5, s in descending order.
s, b, -5
Let y be 0 + 1 - 5 - -30. Let h = y + -24. Sort -2, h, 0.
-2, 0, h
Let n = -0.8 + 3.3. Let i = -2 + n. Put -1/7, 3/8, i in descending order.
i, 3/8, -1/7
Let b = 18 + -13. Suppose 4*o + 24 = -5*l, 2*o + 19 = -5*l - 3. Sort o, b, -5 in decreasing order.
b, o, -5
Suppose 72 + 72 = 6*x. Suppose -3*b = -4*d - 3, -3*d = 2*b + x - 9. Sort 4, 1, d in decreasing order.
4, 1, d
Let f = -13.2 - -17. Let q = -4 + f. Let y = 12 + -9. Put q, -0.3, y in increasing order.
-0.3, q, y
Suppose -w - 36 = -4*h + 2*w, 0 = -3*h + 4*w + 34. Suppose g + h = 4*g. Let k(d) = 2*d**2 + 16*d + 4. Let z be k(-8). Put g, -5, z in increasing order.
-5, g, z
Let q = -544/7 + 78. Let s = -1 - -1.2. Sort s, -2, q in increasing order.
-2, s, q
Let w = -4 - -4. Let h = -5 - -10. Suppose -h*o - 15 + 0 = 0. Put o, 1/2, w in increasing order.
o, w, 1/2
Let f(k) = k + 4. Let n be f(-2). Suppose -n*b = -2*x - 4, -2*b + 0*b - x = -13. Sort b, -2, -1 in increasing order.
-2, -1, b
Let x = 0.22 - 2.22. Put -8, -1, x in descending order.
-1, x, -8
Let y = 27 + -26. Put 4, y, 8 in decreasing order.
8, 4, y
Let p = -0.23 - 25.77. Put p, -1/3, 1, -0.5 in descending order.
1, -1/3, -0.5, p
Let h = 116 + -122.9. Let s = -2 - 5. Let k = h - s. Put k, 2/11, 1 in decreasing order.
1, 2/11, k
Let o = -67 - -336/5. Put o, 13, 0.3 in descending order.
13, 0.3, o
Let j be -3 + 27/7 + (-4)/4. Put -3/5, j, 4/5, 1 in descending order.
1, 4/5, j, -3/5
Suppose -3*x - x = 2*y - 16, 9 = 3*y + x. Let p be 2/2 - y/(-1). Sort p, 4, -4 in decreasing order.
4, p, -4
Let m(z) = -z + 11. Let n be m(8). Suppose q = -n*q. Suppose 4*r + 6 = r. Sort r, -3, q in increasing order.
-3, r, q
Let d = 8.5 + -8. Let m = 0 - d. Sort 2, -5, m.
-5, m, 2
Let o = -2.8 + 3. Sort 0.1, o, 2/3 in descending order.
2/3, o, 0.1
Let p(n) = 2*n**2 + 2*n - 3. Let u(a) = a - 1. Let o(k) = p(k) - 3*u(k). Let r be o(1). Suppose -z = 2 + r. Put z, 0, -5 in decreasing order.
0, z, -5
Let o(f) = 3*f - 3. Let v be o(4). Suppose v*t = 5*w + 4*t - 25, -2 = t. Sort w, -4, 1.
-4, 1, w
Let p be 1/(-2 - -1)*3. Suppose 0*v + 4*v = 0. Suppose -2*h = -2*q, -3*q + 2 + 4 = v. Sort h, -2, p in increasing order.
p, -2, h
Let v = 18 - 17. Sort 2, v, 5 in descending order.
5, 2, v
Let y(o) = o - 13. Let s be y(11). Let i be s/(-4) + (-121)/22. Put 5, i, 2 in increasing order.
i, 2, 5
Let r = 1.04 - 1. Let n = r - 4.04. Sort -2/3, -0.3, n.
n, -2/3, -0.3
Let q = -23 + 68/3. Let m(l) be the first derivative of l**4/4 + 5*l**3/3 + 3*l**2/2 - 3*l - 3. Let n be m(-4). Put n, q, -0.06 in ascending order.
q, -0.06, n
Suppose -2*n + 2 = -l - 3, 0 = -2*n - 5*l + 35. Sort 0, n, 3 in descending order.
n, 3, 0
Let t = -4.21 + 0.21. Put -3, t, -1/3 in ascending order.
t, -3, -1/3
Suppose 2*l + 2*l - 21 = 5*m, m = -3*l + 11. Let r = -28 + 17. Let n = 8 + r. Sort l, n, 0.
n, 0, l
Suppose 3*m = -9, 2*v - 10 = 7*m - 3*m. Let f be (-9)/(-10) - 6/15. Put v, 0.4, f in increasing order.
v, 0.4, f
Let s = 0.32 - -1.68. Put s, -3, 4/7 in decreasing order.
s, 4/7, -3
Suppose 5*v + 40 = -4*l, -2*l - 14 = -2*v + 3*v. Let p = 2 + -1.5. Let k = p - 0.9. Sort k, 1/3, v in descending order.
1/3, k, v
Let y = 5 - 4.7. Let g = y - -0.7. Let z be (-1 + (-10)/(-14))/1. Sort g, z, 3/4 in ascending order.
z, 3/4, g
Suppose -2*h = -2*b - 6, 5*h - 2*b + 0*b = 21. Sort -9, -5, h in ascending order.
-9, -5, h
Let f = 7 + -5. Suppose -f*l - 1 - 1 = 0. Sort 0.3, l, -2/11.
l, -2/11, 0.3
Suppose r + 4*r = x + 11, 3*r - 5*x + 11 = 0. Put -1, r, -4 in descending order.
r, -1, -4
Let c = -2 - 0. Sort -3, c, 0.2 in decreasing order.
0.2, c, -3
Let l = 1.06 + -0.06. Let h = 7 - 6.9. Sort -0.1, h, l in descending order.
l, h, -0.1
Suppose -9 = 3*t, -5*z = -z + 5*t - 5. Put -1, -4, z, 1 in descending order.
z, 1, -1, -4
Let s be -3 - (-38)/12 - (-87)/18. Put 2, s, -6 in ascending order.
-6, 2, s
Let o(k) = -k. Let r be o(2). Let n be 11/(-3) - (-2)/3. Let b be (0/r)/(9/n). Put -3, b, 1 in decreasing order.
1, b, -3
Let s = -0.22 + -0.78. Sort s, 0, -0.4, -0.16 in descending order.
0, -0.16, -0.4, s
Let c = 0.5 - 0.4. Let m = c - -0.4. Put -5/2, -5, m in ascending order.
-5, -5/2, m
Suppose 2*w + 2*w - 16 = 0. Let v be (-4)/6*(-1 + w). Let a(i) = 2*i + 5. Let d be a(-4). Put 2, v, d in descending order.
2, v, d
Let i = 61 - 59. Put i, 1/4, 1/7, -1/4 in descending order.
i, 1/4, 1/7, -1/4
Let a = 0.4 - 0.46. Let r = -3.06 - a. Sort -2/9, 2, r in ascending order.
r, -2/9, 2
Let u = -348/7 + 50. Let a be 5/(-3) + (-9)/(-3). Let s = 66 + -395/6. Sort u, a, s in ascending order.
s, u, a
Suppose 0 = 5*m + 14 - 29. Put 0, m, 4 in ascending order.
0, m, 4
Suppose -2*l - l = 12. Sort 2, l, 0, -3 in ascending order.
l, -3, 0, 2
Let x(r) = -3*r + 16. Let b be x(5). Suppose 5*w - 5 = 0, 4*w + w + 11 = 4*g. Sort g, b, 0 in descending order.
g, b, 0
Let m be 16/24 - 20/(-6). Sort m, 0, 2 in descending order.
m, 2, 0
Let g = 96 - 92. Sort 0, 2, 15, g in increasing order.
0, 2, g, 15
Suppose -3*d + 2 + 4 = 0. Suppose -4*f + 0*c - 4*c = -24, -5*f + 21 = d*c. Let a be ((-15)/6)/(1/(-2)). Sort a, 0, f in descending order.
a, f, 0
Suppose -15 = -2*f - 3*f. Let p be -2 - (-8 - -9)/(1/(-4)). Sort -10, f, p in increasing order.
-10, p, f
Suppose 9*s = 13*s - 56. Put s, -1, 1 in decreasing order.
s, 1, -1
Let i = -0.54 - -0.14. Put i, 5, 2/7 in descending order.
5, 2/7, i
Suppose 7*n = -9 + 30. Sort -3, n, 5 in decreasing order.
5, n, -3
Let b(l) = 5*l**3 + l**2 - l - 1. Let c be b(-1). Sort 2, 7, c.
c, 2, 7
Let w = 41 + -37. Suppose 2*k - 10 = 6*b - 4*b, k = -b + 5. Sort w, k, -3 in ascending order.
-3, w, k
Let c = -0.2 - -0.4. Let i = c - -0.3. Suppose -2*f + 6 = f. Sort 3, i, f in ascending order.
i, f, 3
Let w be (-5)/(-1)*(-12)/15. Let k(j) = j**2 - j - 1. Let c be k(1). Put w, c, 1 in increasing order.
w, c, 1
Let p be (10/6 - 0)*-3. Put 1, p, 0 in decreasing order.
1, 0, p
Suppose m - 3 = -2. Sort 4, m, 9, 0.
0, m, 4, 9
Suppose -5*m - 33 = -4*g, -4*m + g - 7 = 15. Let b(o) = o + 3. Let l be b(m). Sort -1, l, 3 in decreasing order.
3, -1, l
Let g = 2 + -2. Let s(i) = i**3 - 6*i**2 - 2*i + 7. Let a be s(5). Let r = a - -25. Sort -4, r, g.
-4, r, g
Let r be (11 + 1)/(-6)*3. Sort 4/5, 4, r.
r, 4/5, 4
Let y be 1/(-5) - 2/(-10). Let c be 13 + 3 + 4*-1. Suppose 0 = x + 2*x + c. Sort x, y, 4 in decreasing order.
4, y, x
Suppose 2*g - 10 = 0, 3*g = 3*z + 2*z + 10. Let i = 0 + -4. Put 4, z, i in descending order.
4, z, i
Let v(g) = -16*g**3 - 2*g**2. Let y be v(2). Let z = -198 - y. Let n = z + 249/4. Sort n, 0.1, -1.
-1, 0.1, n
Let u = 0 - -3. Let f = -3 + 3. Let d = f + 0.2. Put 1/3, d, u in decreasing order.
u, 1/3, d
Suppose 5 = 8*r - 3*r, -2*r + 17 = -3*u. Let b be -3 + 10/2 + 2. Sort u, -4, b in increasing order.
u, -4, b
Let j = -2 + 7. Put 3, j, 1 in increasing order.
1, 3, j
Suppose 4*q + 20 = 5*l, q + 13 + 3 = 4*l. Sort -4, 16, q.
-4, q, 16
Let i = 303/5 - 61. Let s = 2 + -3. Let t be (1 + s - 1)*1. Put t, i, 2/7 in decreasing order.
2/7, i, t
Let m be 8 + 4/(-2) - 2. Let p(a) = 7*a - 5 + 2*a**2 + 11 - 3*a**2 - a. Let x be p(7). Sort 3, x, m in decreasing order.
m, 3, x
Suppose -5*w = -0*w - 15. Put 4, w, -2 in increasing order.
-2, w, 4
Let w(h) = -h**3 - 9*h**2 - 15*h + 11. Let b be w(-6). Sort b, -5, -3, 1 in increasing order.
b, -5, -3, 1
Let j = -8 - -8.2. Let w = -2 - -2. Put -0.4, j, w in increasing order.
-0.4, w, j
Let l = 3 + -4. Let v = 1 + l. Let r be ((-1)/(-1))/6*-8. Sort 1/8, r, v in decreasing order.
1/8, v, r
Suppose -3*o + 74 = -19. Suppose t = 4*u - 2*t - o, -5*t - 41 = -4*u. Sort u, -2, 0 in de