5/2, b, v in decreasing order.
b, v, -5/2
Let o(q) = 2*q - 8. Suppose 4*g = 5*g + 2, 0 = 2*p - 2*g - 16. Let s be o(p). Let u be ((-3)/2)/(27/(-18)). Sort -3, s, u.
-3, u, s
Let l = 15 - 10. Sort l, 1, -9 in increasing order.
-9, 1, l
Let d = 25 - 20. Sort -1/8, 2, d in increasing order.
-1/8, 2, d
Let l = 2.7 - 2.2. Put -6, -3, l in decreasing order.
l, -3, -6
Suppose 2*n - 4*n = 10. Sort -8, n, -4.
-8, n, -4
Let o = 56 - 54. Sort o, -3, -2, 1 in increasing order.
-3, -2, 1, o
Let s be (-120)/(-225)*3/(-2). Put s, -4, -0.13 in increasing order.
-4, s, -0.13
Let t = -5 - -9. Sort t, -2, -4 in descending order.
t, -2, -4
Let z(n) = n + 3. Let r be z(-3). Let x = -3 - -12. Suppose -3*i = -0*i - x. Put i, -3, r in ascending order.
-3, r, i
Suppose 4 - 1 = -5*s + 3*q, 2*q = 4*s + 2. Suppose 0 = -4*g - o + 5*o - 16, -23 = -3*g - 4*o. Put s, g, 5 in decreasing order.
5, g, s
Let x be -8 - -1*(0 + 1). Let d = x + 12. Let m be 2*(1 + 0)/1. Sort m, d, 0 in ascending order.
0, m, d
Let g(h) = 2*h - 1 - h - 3. Let j be g(5). Put 5, 4, j in ascending order.
j, 4, 5
Let a be (-2)/6 - 20/(-15). Put 4, 7, a in ascending order.
a, 4, 7
Let g = -0.04 - -0.64. Let t = 3.6 - g. Let r = -0.1 - -0.2. Put r, t, -0.3 in increasing order.
-0.3, r, t
Let x(u) = -u**2 - 4*u + 5. Let g be x(-4). Let r(h) = -h + 5. Let v be r(4). Sort g, 0, v in increasing order.
0, v, g
Suppose 0*a - 2*a = -4. Let m be -39*(-5)/30 + 3/(-2). Put -3, a, m in decreasing order.
m, a, -3
Let d be 68/(-18) - 6/27. Suppose 0 = u + 3*u. Put d, u, 3 in decreasing order.
3, u, d
Let k = 5 + -1. Suppose 3*p + 5*d = -17, 2*d = -2*d - 16. Put p, k, -3 in descending order.
k, p, -3
Let i be (-42)/63*(-6)/14. Sort -4/9, i, -1/3.
-4/9, -1/3, i
Suppose -o = n - 7, -7*n + 2 = -2*o - 5*n. Sort o, 2, -13, 5 in decreasing order.
5, o, 2, -13
Let q be 1*(-1 - (-18)/16). Let n = 32 - 63/2. Put q, n, -3 in decreasing order.
n, q, -3
Let x = -58/13 - -56/13. Let c = -288/5 - -58. Put c, x, -4 in increasing order.
-4, x, c
Suppose 3*y + 0*y = 30. Let z be ((-1)/2)/(1/y). Suppose 2*m = m. Put m, 4, z in decreasing order.
4, m, z
Let a be (-4)/(-16)*4*8. Let t be a/(-4) - (-4 - -1). Sort 4, 3, t.
t, 3, 4
Let p(a) = -3*a + 3. Let g be p(2). Let b = 17 - 17. Put 4, b, g in increasing order.
g, b, 4
Suppose -4*h + 16 = -0. Suppose -3*c - h*y - 4 = 0, c - 4 = -4*y - 0*y. Let t = -3 + 7. Sort 5, t, c in descending order.
5, t, c
Let o = -39 - -43. Put -4, 5, o, -1 in ascending order.
-4, -1, o, 5
Let n be -3 + 4 - 0/2. Let d = -12 - -20. Suppose 0 = 5*b - d - 17. Put b, n, -3 in decreasing order.
b, n, -3
Let l = 3 + -4. Let t = -6 + 2. Sort t, l, 3 in increasing order.
t, l, 3
Let z(v) = v**2 - 6*v + 2. Let b be z(6). Put b, -5/2, -1/2 in decreasing order.
b, -1/2, -5/2
Let i = -0.2 + 0.3. Let w = 0.1 - i. Let c = 50 - 51. Sort -0.5, c, w in ascending order.
c, -0.5, w
Let v = 1 + -3. Let c(r) = -r**2 - 39*r + 172. Let g be c(-43). Sort v, g, -1 in descending order.
g, -1, v
Let h = 44 + -44. Sort -5, h, 3, 4.
-5, h, 3, 4
Suppose 3*t + 3*z + 9 = 0, -3*t - 2*z - 8 = -2*t. Let c be -6*(t - (-3)/(-2)). Sort c, -4, 2 in decreasing order.
2, c, -4
Suppose -2*a + 3 = -3*a. Suppose 5*c = o + 17, -3*o + 25 = 7*c - 3*c. Put c, -6, a in ascending order.
-6, a, c
Let c be -9 + (3 - (6 + -2)). Sort -3, c, 3 in decreasing order.
3, -3, c
Suppose -6*v = -8*v + 4. Sort 4, 0, 1, v.
0, 1, v, 4
Let x be 2/(-12) + (-275)/(-66). Sort 0.6, -0.4, x, 5 in decreasing order.
5, x, 0.6, -0.4
Suppose 4*k + 3*m = -0*m + 59, 4*k - 5*m = 19. Let y = k - 8. Sort y, 4, 5.
y, 4, 5
Let n = -0.5 - 3.5. Let q = 0.3 + 5.7. Let i = 6.2 - q. Sort 4/5, n, i.
n, i, 4/5
Let t be -6*3/12 - -2. Let l = -6 + 7. Sort l, t, 2.
t, l, 2
Let v be -3 + 5 + (-1 - 0). Suppose y + 5*q = -11, -3*y - v - 6 = 2*q. Put 0, -4, y in decreasing order.
0, y, -4
Let t = -0.2 - -0.1. Let f(p) = 9*p - 15. Let v(k) = -5*k + 8. Let q(i) = -4*f(i) - 7*v(i). Let n be q(4). Sort n, -3, t.
-3, t, n
Suppose m = -2 - 3. Suppose -7*u + 5 = 12. Put 1, m, u in descending order.
1, u, m
Let s(z) be the third derivative of -z**5/60 - z**4/3 - 5*z**3/3 + 8*z**2. Let m be s(-7). Sort -1, -4, m in ascending order.
-4, m, -1
Suppose -4*a - 29 = -3*f, 3*f - 23 = -2*a + 3*a. Let k(c) = -c**3 + 6*c**2 + 7*c + 10. Let g be k(f). Suppose g = 4*n - 2. Sort 5, n, 1/4 in decreasing order.
5, n, 1/4
Let n = 93 - 94. Sort n, -2/17, -5 in ascending order.
-5, n, -2/17
Let r = -0.05 + 0.05. Let a = 4 + -3. Let f = a - 0. Put f, -3/4, r in decreasing order.
f, r, -3/4
Let t = -3.81 + -0.19. Put t, 2, 12 in ascending order.
t, 2, 12
Suppose 2*q = 5*g - 14, 3*q + 4*g - 5*g + 8 = 0. Let j = q - -1. Let p be 1 - (j - 5/(-3)). Sort p, 3/7, 4/5.
p, 3/7, 4/5
Let g = 0.67 + -0.5. Let s = g + 0.03. Let p = 0.1 + s. Sort 1, p, 4.
p, 1, 4
Let s be (-2)/4 + (-981)/(-1430). Let j = s + 2/143. Let w = -2.1 - -0.1. Put 2, j, w in descending order.
2, j, w
Let o = -8.3 + 8. Sort o, 5, -2.
-2, o, 5
Let m = 0.04 - -0.16. Sort m, 3/7, -0.5 in decreasing order.
3/7, m, -0.5
Suppose 0 = 2*r - 6. Let b(j) = j**3 - 5*j**2 + 8*j - 14. Let d be b(4). Put r, d, -5 in increasing order.
-5, d, r
Let f be 17/(-33) + (-1)/(-3). Sort -2, -4, f in ascending order.
-4, -2, f
Let v = 44 - 46. Let w be (-1)/(8/(-6)) + -1. Sort 5, w, v in decreasing order.
5, w, v
Suppose 2*l = -5*a + 13, 3*l = -5*a + 5 + 7. Put 2, -2, -13, l in increasing order.
-13, -2, l, 2
Let n = 3 - 1. Put n, 0, -1 in ascending order.
-1, 0, n
Suppose -b + 3*b - 2*w + 2 = 0, 3*b = -2*w + 22. Suppose 16 = -2*j - 14. Let l = 11 + j. Put 1, b, l in ascending order.
l, 1, b
Let a(d) = -d**2 + 2*d + 12. Let r be a(0). Suppose 2*g + r = -2*w - 2, 3*w - 3 = 3*g. Put 3, 5, g in descending order.
5, 3, g
Let l = -0.22 + -0.58. Put -4, l, 1/6 in decreasing order.
1/6, l, -4
Let j(w) = -w**3 - 13*w**2 - 5*w + 8. Let c be j(-12). Let a = 835/11 + c. Suppose q = n - 4, -q + 5*n = -3*q - 1. Sort a, q, -1 in decreasing order.
a, -1, q
Let b be (-1)/(1/3) - 1. Suppose -7*g + 8 = -13. Sort g, 4, b in decreasing order.
4, g, b
Let l(y) = -2*y - 6. Suppose -3*h = 4*t + 26, 3*h + 2*t = -29 + 7. Let c be l(h). Let r be (-3 + -2)*c/15. Sort 5, 0, r.
r, 0, 5
Suppose -9 = -2*p + 5*p. Let r be -1 + 2 + (-6)/(-6). Suppose r*c = 2*d + 14, 0 = 5*d + c - 2*c + 27. Sort -4, d, p in decreasing order.
p, -4, d
Let l = -85 + 94. Put -0.3, 3, l, -0.1 in decreasing order.
l, 3, -0.1, -0.3
Let n(s) = 2*s - 23. Let z be n(10). Sort 8, z, 5 in decreasing order.
8, 5, z
Let q = -5 - -7. Let j be q/(-3)*(-3)/2. Suppose 6 = 4*u - u. Sort -5, j, u.
-5, j, u
Let b(u) = u**3 - 2*u - 3. Let h be b(-2). Let q(t) = -t**3 - 4*t**2 + 5*t + 4. Let w be q(-5). Put w, h, 3 in descending order.
w, 3, h
Suppose -2*l = -1 - 3, 3*l - 6 = b. Let p be (b/(-3) + 1)*-2. Let d be ((-2)/(-3))/(p/(-3)). Put d, -5, -3 in decreasing order.
d, -3, -5
Suppose 28 = 4*k + 156. Let z be k/(-40)*(-20)/(-1). Let i be z/30 - 2/3. Sort 0.3, -1/3, i.
-1/3, i, 0.3
Suppose 0 = 3*x + 3 + 3. Let h be (-56)/(-12) - (-1)/3. Suppose 12 = h*o + p, p + 9 = -2*o - 4*p. Put 2, x, o in descending order.
o, 2, x
Suppose -2*w - 2*w + 2*a = 22, -5*a = -2*w - 23. Put 2/5, 3, w in decreasing order.
3, 2/5, w
Let p = -10 - -3. Let t = 7.1 + p. Let c = 2 + -6. Sort c, 2, t in increasing order.
c, t, 2
Let u = 28.2 + -26. Let i = u - 0.2. Put 4, i, -5 in decreasing order.
4, i, -5
Let l = -25 - -24. Put 2, l, 0.5 in descending order.
2, 0.5, l
Suppose -4*o + 9 = -7. Let t = -6 + 3. Put t, o, 1 in increasing order.
t, 1, o
Suppose 2*t - 4*d - 8 = -5*d, t - 2 = -d. Suppose 3*s - 1 = -4*p, -t = p - 2*s - 20. Sort 0, p, -1 in decreasing order.
p, 0, -1
Suppose -6*o - 3 = -3*o. Sort -4, -5, o in descending order.
o, -4, -5
Let n(r) = -4*r - 7. Let g(o) be the third derivative of -o**4/24 - o**3/6 - 3*o**2. Let f(k) = 5*g(k) - n(k). Let t be f(6). Put t, 5, -5 in descending order.
5, t, -5
Let x = -14.3 - -14. Put x, 3, 1/7 in increasing order.
x, 1/7, 3
Let i = 15.7 + -16. Sort i, 5, -9 in decreasing order.
5, i, -9
Let j = 17 + -18. Sort -2, 2, j in decreasing order.
2, j, -2
Let b(g) = 5*g**2 - 1. Let i be b(1). Suppose -3*r + i = r. Suppose 6*s = s + 10. Put s, r, 3 in decreasing order.
3, s, r
Let o be (-35)/(-10) + (-2)/(-4). Put -4, -0.12, o in decreasing order