 0 = k + f. Sort k, i, -5 in descending order.
k, i, -5
Let o be 6/(1 + 0/2). Let z be -2 - (2 - (o - 2)). Suppose p = -z*p. Put -5, 3, p in decreasing order.
3, p, -5
Suppose 3 = 3*f - 2*f. Sort -5, f, 9, -4 in descending order.
9, f, -4, -5
Let d(s) = -s**3 + 6*s**2 + 8*s - 2. Let q be d(7). Let u = 1 + 1. Let o = u + -4. Sort q, o, 2 in descending order.
q, 2, o
Let t = -66 - -63. Put 11, t, -1/2 in increasing order.
t, -1/2, 11
Let m = -15 - -14.5. Put m, -3, 0 in descending order.
0, m, -3
Suppose 2*v = -a - a + 122, -3*a = v - 189. Let o be (-4)/(-2) - 152/a. Let h = 4 + -9. Put h, -3, o in increasing order.
h, -3, o
Let y = -18 + 13. Let k = 7 + y. Put k, 3, 4 in ascending order.
k, 3, 4
Let z = -0.8 - 15.2. Let c = z + 4.6. Let y = c + 11. Sort y, -1, -0.2.
-1, y, -0.2
Let v = -2 - -1. Suppose -r = 5*u + 25, 0 = -u - 5*r - 5. Sort u, v, -0.3 in increasing order.
u, v, -0.3
Let o be 2/6*8*3. Suppose 3*s + 1 + o = 0. Let r = -0.7 - -0.8. Put r, 3, s in ascending order.
s, r, 3
Let l be 0*(1 + 1)/(-2). Suppose l = -k - 2*k + 15. Let i(u) = -u - 8. Let y be i(-4). Sort k, y, -5 in ascending order.
-5, y, k
Suppose -2 = -a + 2. Suppose t - a*t = -9. Let p be ((-4)/(-3))/(-4)*t. Sort 4, -5, p in descending order.
4, p, -5
Suppose 2*l - 4*l = 10. Let x = 6 + l. Let o = x - 1. Put -3, o, -1 in ascending order.
-3, -1, o
Suppose j + 32 = 27. Put 4, j, -7 in decreasing order.
4, j, -7
Let r(y) = y**2 - 7*y + 7. Let k be r(6). Suppose 0 = t + 4 + 1. Sort t, k, 5.
t, k, 5
Let r(p) = -21 + 4*p - 3*p + 11. Let b be r(8). Sort b, -3, 3 in descending order.
3, b, -3
Let t be 9/4 - 4/16. Suppose t = 3*g - 13. Sort g, 1, -3 in ascending order.
-3, 1, g
Let q = 0.1 - 0.35. Let k = q + 0.05. Sort 5, k, 0.1 in descending order.
5, 0.1, k
Suppose r + 12 = 3*j, 0 = -5*j + 5*r + 4 + 6. Sort j, -1, 1/8, -0.2 in descending order.
j, 1/8, -0.2, -1
Let c = 5 - 8. Let v = 2 + c. Suppose -7 = -w + 2*k + 5, 3*k + 24 = 3*w. Sort 1, v, w in increasing order.
v, 1, w
Suppose 5*w - 12 = 18. Let i be ((-4)/6)/(w/9). Suppose -9 + 24 = 3*g. Sort 4, i, g in decreasing order.
g, 4, i
Let y = -4 - -4.1. Let k = -5.1 + y. Let q = -3 - k. Put -0.1, q, -2/11 in decreasing order.
q, -0.1, -2/11
Let g(k) be the second derivative of -k**4/12 - 4*k**3/3 - 5*k**2 + k. Let v be g(-7). Let i be (6/5)/v*10. Sort 4, -3, i in decreasing order.
4, -3, i
Let a be 8 - 7 - (1 - -2). Let b be (-1)/((-22)/(-10) + -2). Sort b, -4, a in decreasing order.
a, -4, b
Suppose 0*x + x = 3. Sort x, 2, 5 in decreasing order.
5, x, 2
Let y = 58 - 62. Sort y, -2, 0, 3 in increasing order.
y, -2, 0, 3
Let l = 0.5 + -0.1. Sort 2, -5, l.
-5, l, 2
Let u(n) = -4*n**3 + 2*n**2 - 2*n + 1. Let y be u(1). Suppose 3*z = -2*z - 10. Sort z, -5, y.
-5, y, z
Let c = 7.1 - 1.1. Let m = c + -6.4. Sort -5, m, -2 in decreasing order.
m, -2, -5
Suppose -18*f + 14*f - 12 = 0. Put f, 5, 4, -4 in ascending order.
-4, f, 4, 5
Let l = -46 + 44. Put -3, 0.1, 5, l in decreasing order.
5, 0.1, l, -3
Let j be 3/(-5) - (-38)/30. Let x = j + -5/9. Sort 0.2, x, -0.4 in decreasing order.
0.2, x, -0.4
Let r be (-1)/3*-1*2. Sort r, 1/7, 1.
1/7, r, 1
Let u = -7 + 11. Suppose u*p - 20 = -0*p. Let g(t) = t**3 - 3*t**2 - 5*t. Let a be g(4). Sort p, -5, a in descending order.
p, a, -5
Suppose 10*c = -14 + 34. Put -54, 5, c in increasing order.
-54, c, 5
Let w be 0*((-3)/(-9) + -3 + 3). Let d = 4 + -8. Put w, 5, d in decreasing order.
5, w, d
Let h = -19.3 - -19. Put -0.8, 0.2, h, 3 in increasing order.
-0.8, h, 0.2, 3
Let u = -0.105 - -6.055. Let z = u - 2.92. Let m = z + -0.03. Sort 5, m, -2 in descending order.
5, m, -2
Suppose 4 = -4*a - 2*l, 3*a + 4*l + 11 = 3. Suppose 0 = 6*i - 4*i. Let y be 1 + (i - (6 + a)). Put 2, y, 1 in decreasing order.
2, 1, y
Suppose -7*n = -2*n - 10. Suppose -d = d + n. Put -3, -2/3, d in increasing order.
-3, d, -2/3
Suppose 5*n - 4*b - 1 = 0, n + 1 = 4*n - 2*b. Let i be 1 - ((-1)/n - 24). Suppose 4*o + 10 = 3*a, 5*o + 0*o + 3*a = -i. Sort -3, o, 2 in descending order.
2, -3, o
Suppose 2*p - 5*p + 0*p = 0. Sort 4, p, 1 in descending order.
4, 1, p
Let w be -1 + (1 - (1 + 0)). Let c be (w - 7/(-5))*5. Sort 3, c, -3 in decreasing order.
3, c, -3
Let g(j) = -j + 1. Let n be g(-2). Let x(l) = l**2 - 4. Let d be x(-3). Let b be d - (n + 3 - 3). Sort -2, b, 3 in descending order.
3, b, -2
Suppose -16 = 2*i - 6*t + 2*t, 5*t = 5*i + 35. Sort 5, 0, -3, i.
i, -3, 0, 5
Let t be 2/(15/6 - 2). Suppose -t = 4*y + 4. Let b(p) = p**2 - 3*p. Let o be b(3). Put -3, o, y in descending order.
o, y, -3
Let p = -10 + 5. Let j be ((-36)/(-160))/((-9)/(-15)). Put p, 1/15, j in descending order.
j, 1/15, p
Let y be (-2)/(20/(-6))*-1. Let g = -1.6 + 1.7. Sort y, g, -0.3 in descending order.
g, -0.3, y
Let u = 10 - 17. Sort u, 2, -2/21.
u, -2/21, 2
Let z = 63 + -63. Sort z, 3, -1/5 in increasing order.
-1/5, z, 3
Let i be 14/18 + (-24)/(-108). Let o be 6/(-9)*i/(-6). Let p = -283/186 - -2/93. Put 4, o, p in descending order.
4, o, p
Suppose 0 = -3*q + 26 + 4. Let s be (-2 + q)/(-4) - -4. Sort 0, s, -2 in decreasing order.
s, 0, -2
Let z(m) = -3*m + 1. Let b be z(2). Put -4, b, 2, 1 in ascending order.
b, -4, 1, 2
Let p = 0.2 - 0.7. Put 0.2, -1, p in decreasing order.
0.2, p, -1
Let t be ((-20)/8)/((-1)/2). Suppose 2*m + 5*b - 8 - 9 = 0, -4*m - t*b = -19. Sort m, -2, 4 in increasing order.
-2, m, 4
Suppose -3*y = 5*v + 10, 7*y - 10 = 5*v + 2*y. Let u = 20 - 29. Let k be 3/(u/v) - 1. Sort 4/5, -0.2, k in decreasing order.
4/5, -0.2, k
Let c = 18.4 - 3.35. Let p = c - 15. Put p, -2/9, 0.3 in descending order.
0.3, p, -2/9
Let y(l) = -4*l - 21. Let i be y(-6). Sort -3, i, -44 in descending order.
i, -3, -44
Let v be (-2)/(-9) + (-266)/63. Let n(c) = c**3 - 3*c**2. Let f be n(3). Suppose 13 = 4*s + 5*q - 0, f = -2*s + 3*q + 1. Put -1, s, v in ascending order.
v, -1, s
Let m be 4/(-6) - (-57)/(-135)*-3. Sort 0, m, 0.5, -4 in descending order.
m, 0.5, 0, -4
Suppose 18 = 3*i - 0*i. Let a be ((-4)/14)/((-2)/28). Suppose a*w + i = 2. Sort -0.3, w, -0.4 in decreasing order.
-0.3, -0.4, w
Let l be -8*(5/(-2) - -2). Suppose x = -l*x - 30. Let r be 1/2*0/1. Sort 4, x, r.
x, r, 4
Let g = 19 - 31. Put 1/2, 4/3, g in descending order.
4/3, 1/2, g
Let j = 3 - -5. Let q = j - 12. Sort q, 0.3, 2/5.
q, 0.3, 2/5
Let k = -2.4 - -2.4. Sort -12, 0.4, k in ascending order.
-12, k, 0.4
Suppose -3*p + 3 = -3*n - 0, -3*n = 4*p - 25. Let r be 0/(-4*1/(-2)). Suppose 0 = -r*h - 5*h. Put 5, h, n in decreasing order.
5, n, h
Let k = -4 - -7. Suppose 5*m + 7 = 3*y, 0 = -5*m - 0*m + 5. Let c be (4/(-36))/(1/(-4)). Put c, k, y in descending order.
y, k, c
Suppose w + 2*d = 6*d - 7, 1 = 5*w - 2*d. Let v(p) = 9 - 1 + p - 2*p + 1. Let g be v(10). Sort 5, g, w in descending order.
5, w, g
Let h = 0 - 0.2. Let f = 1.9 - 1.1. Let r = -0.4 + f. Put h, r, -2 in ascending order.
-2, h, r
Let v be (6/15*5)/(4/22). Put 0.5, v, -0.2 in increasing order.
-0.2, 0.5, v
Suppose -i - w + 3*w = 0, -w - 15 = -3*i. Let c(q) = -q + 6. Let o be c(i). Sort 1, o, -0.3.
-0.3, o, 1
Let f be 1/3*(15 - -3). Let n = f + -5. Put 4, 5, n in descending order.
5, 4, n
Let n = -1.11 - -1.1. Let f = 0.41 + n. Sort f, -1/8, -3.
-3, -1/8, f
Suppose 0 = -2*i - 3 + 17. Let l be i/85 + 8/(-40). Put 1, l, -1/4 in increasing order.
-1/4, l, 1
Let y(s) = s**3 + 6*s**2 + 4*s - 4. Let f be y(-5). Let a = -2 + f. Let m(i) = -i**3 + 10*i**2 - 2*i + 15. Let w be m(10). Sort 5, a, w in descending order.
5, a, w
Suppose 2 = 2*u, -3*u + 0 - 5 = -2*r. Sort r, -1, -3 in descending order.
r, -1, -3
Let n = 66 - 65. Put n, 6, -3 in decreasing order.
6, n, -3
Let g = -7 - -4.5. Let z = -0.2 + -2.8. Let m = g - z. Sort m, -5, -0.1.
-5, -0.1, m
Let z = 1.8 + -2.08. Let d = z - -0.18. Sort d, -5, -0.2 in decreasing order.
d, -0.2, -5
Let f = 17 + -22. Put f, 3, -1 in ascending order.
f, -1, 3
Let p(f) = f**2 - 3*f - 5. Let z be p(4). Sort 2, 1, -6, z in descending order.
2, 1, z, -6
Let i(d) = -5*d + 8. Let v be i(2). Sort 4, v, -1, -6 in increasing order.
-6, v, -1, 4
Let u = 423 - 423.3. Let y(b) = -b**2 - 3*b - 1. Let g be y(-3). Sort -3, u, g in descending order.
u, g, -3
Let g = 1.76 + 0.24. Sort g, -5, -2 in descending order.
g, -2, -5
Let f = 21 - 20. Let l = -4 - -7. Suppose -3*y - 9 = l*c, -2*y + 1 = -2*c - 1. Sort c, f