 y = -2580 + 2591. Put 1, y, -3 in descending order.
y, 1, -3
Let m(o) = -8*o - 122. Let k be m(-16). Sort -2, k, -42 in ascending order.
-42, -2, k
Suppose 20 = 20*d - 0. Sort 0, d, -2 in descending order.
d, 0, -2
Let z(i) = -i**3 + 3*i**2. Suppose 0*y = -y. Let r be z(y). Put -1, r, 3, -6 in ascending order.
-6, -1, r, 3
Let a = -162.9 - -164. Sort -1/2, -1, -2/7, a in decreasing order.
a, -2/7, -1/2, -1
Let x be (((-42)/(-27))/(-7))/(4/(-6)). Let w = -30.7 - -31. Sort 18, x, w in descending order.
18, x, w
Suppose -5*p = -2*d - 0*d + 18, -8 = -2*p - 3*d. Suppose -5*a - 9 = n, 5*n + 3*a + 0*a = -1. Sort 6, n, p.
p, n, 6
Let n(f) = f**2 - 6*f + 4. Let l be n(6). Suppose 0 = -t + l*t. Let z be (9/(-6))/(-3) + 5/(40/44). Put z, 2, t in increasing order.
t, 2, z
Let r = -17 + 17.06. Let y = -0.44 + r. Let v = y - 0.12. Put -0.3, v, -2 in decreasing order.
-0.3, v, -2
Let v = 9 + 0. Let d = -306 + 270. Let w be ((-1)/38)/(v/d). Put w, -2/11, -2/7 in decreasing order.
w, -2/11, -2/7
Let n be (-75)/(-150)*(4/(-3) - -2). Let x be ((-1)/6)/(8/(-6)). Let m be 22/(-12) + (-1)/(-3). Put m, x, n in ascending order.
m, x, n
Let u = -4 + 8. Let w = 6 - u. Suppose -w*v + 3*k = 5, 0*k - 6 = 4*v - 2*k. Put 4, 2, v in descending order.
4, 2, v
Let v be (-1)/(3*(-4)/60). Suppose -3*t + 3 = -0*t. Suppose p = j + 5, 4 = 3*j + 3*p - 11. Sort v, j, t in decreasing order.
v, t, j
Suppose 3*v + 3 - 15 = 0. Let c be 3*((3 - 5) + 3). Sort -1, c, 5, v.
-1, c, v, 5
Let a = 22 + -53. Let h = -31 - a. Sort -2, h, -1 in decreasing order.
h, -1, -2
Suppose -3035*c - 20 = -3039*c. Put c, -1, 0, -16 in increasing order.
-16, -1, 0, c
Suppose -2*t - 24 = 38. Let r = -32 - t. Sort -4, r, 5 in descending order.
5, r, -4
Let u = -0.5 - -1.3. Let a = 3.8 - u. Let k = 207 - 1037/5. Sort k, -1, a in descending order.
a, k, -1
Let i be -2 + 1 + (-4 - -1) + 1. Let x = -9 - i. Sort -5, x, 4 in descending order.
4, -5, x
Let x be (-32)/12 - -3 - (-12)/19. Let s = -12/19 + x. Sort -8, 0.2, s, 2/5.
-8, 0.2, s, 2/5
Suppose 0 = -2*r - 5*y + 49, 3*y - 17 = -r + 2*y. Let h = r + -7. Suppose p - 3*p - 2 = -4*u, -2*p = 4*u + 10. Sort h, u, -3.
-3, u, h
Let k be (6/(-2))/(-1)*(-11 + 16). Suppose k*b - 26 = 19. Sort 15, 1, b in increasing order.
1, b, 15
Suppose -5*x = -6*x + 5. Suppose 0 = c + 2*z - 3, -3*c - 2*c - 50 = -3*z. Let t(b) = b**2 + 12*b + 22. Let s be t(c). Put -4, s, x in ascending order.
s, -4, x
Let a = -2.55 + 2.55. Sort a, -2/7, -2/165, -5 in descending order.
a, -2/165, -2/7, -5
Suppose -s = -5, 0 = -3*y - 2*s + 31 - 9. Let w = 12 + -9. Put w, -8, y in descending order.
y, w, -8
Suppose d + t = 6, 359*d - 17 = 355*d + 3*t. Sort d, 84, -5 in descending order.
84, d, -5
Suppose -3*n - 2 = -4*w - 1, -4*n + 3*w - 6 = 0. Let f be (n + 1)*(-2)/(-4). Let q be (-6636)/1344 - 1/16. Sort f, q, 4 in decreasing order.
4, f, q
Let i be 4/6*15/2. Let f be ((-3)/(-9))/(4/38 - (-25)/(-57)). Sort -4, i, f in ascending order.
-4, f, i
Let g(q) = 3*q**2 - 3*q + 5. Let f be g(1). Let i(r) = -r - 1. Let l be i(-3). Put f, l, -2 in increasing order.
-2, l, f
Let l = -37 + 62. Suppose 0*f + f + 4*k + l = 0, 20 = -5*f + k. Sort f, 1/8, 7, -2 in ascending order.
f, -2, 1/8, 7
Let f = -10033 - -10033.5. Let u = -7 - -6.7. Sort f, 0, u, -3 in ascending order.
-3, u, 0, f
Let k = -162 - -172. Let j = -91 + 87. Put 2, k, j in descending order.
k, 2, j
Let b = 0.11 + -0.51. Let y = 26 - 22. Suppose -y*r - 2 = 5*u - 2*r, -3*u = r + 2. Put -3, b, u in decreasing order.
b, u, -3
Let v = 1000 - 1001. Sort 17, v, -1/6 in descending order.
17, -1/6, v
Let o(u) = -u**3 + 5*u**2 + u - 4. Let m be o(5). Let k be -1 - (m - 2 - 3). Suppose -k*s - 3*s + 18 = 0. Sort 0, s, 2.
0, 2, s
Let k(j) = -8*j**2 + 26*j - 8. Let i be k(3). Put -4, i, 12 in descending order.
12, i, -4
Let d = 418 + -419. Sort -23, 1, d in descending order.
1, d, -23
Suppose -2 = -2*d - 2*i - i, 0 = -2*i. Let b = 29 + -34. Put d, 5, b in decreasing order.
5, d, b
Suppose 7*p - 8*p = -2. Suppose 3*n = 3*r - 24, -n + 2*r = -0*n + 11. Suppose 2*l = -3*t - 1, -2*t + 5*l + 21 = 2*l. Sort t, n, p in increasing order.
n, p, t
Let b = -676 - -695.15. Let m = -0.15 + b. Let d = -18.8 + m. Sort 2, d, -1.
-1, d, 2
Let a(i) = 20*i - 25. Let q be a(1). Suppose 0*x - 56 = 4*x. Let j be (-4)/x - (-4)/(-14). Sort q, -2, j.
q, -2, j
Let k = -891 - -886. Put 0.2, 42, k in increasing order.
k, 0.2, 42
Let o = -298 - -298. Sort -0.1, o, 4/9.
-0.1, o, 4/9
Let q(x) = -x**2 + 29*x - 113. Let w be q(5). Suppose -i - 5*k + 14 + 5 = 0, 3*k = -2*i + 10. Suppose -2*l + 12 = v, 0*l + 2*l + 8 = 4*v. Sort w, i, v.
i, v, w
Let r = 0.6 - 0.9. Let f = 26.6 + -51.6. Sort f, r, -5 in descending order.
r, -5, f
Let g = -79/6 - -1039/78. Let s = -2/835 + 1676/2505. Sort -0.4, s, g in ascending order.
-0.4, g, s
Suppose -16 - 9 = -5*x. Put 0.1, x, 0.4 in descending order.
x, 0.4, 0.1
Let f = 240 - 239.8. Sort 4/5, 1, f, -1.3 in decreasing order.
1, 4/5, f, -1.3
Let p = -41.2 - -41. Sort -5/2, 2, p, -0.3 in ascending order.
-5/2, -0.3, p, 2
Suppose j - 4 = 2*m + 3, 5*j = 5*m + 10. Suppose -1 = -4*l + a, 0 = 4*l + a + 12 - 11. Put m, -4, 3, l in decreasing order.
3, l, -4, m
Let g = 13.1 - -3.9. Put -0.4, -0.2, g in decreasing order.
g, -0.2, -0.4
Let g = 21 + -8. Suppose 0 = 2*y - 15 - 7. Let c = y - g. Put c, 0, 3 in decreasing order.
3, 0, c
Suppose -3*f = -s + 7, -12 = -2*f + 4*s - 0*s. Put -2, -1, 1, f in decreasing order.
1, -1, -2, f
Let i(h) = -9*h + 7. Let z be i(1). Suppose 0 = -4*r + 20, 5*x - 4*r + 10 = -0*r. Sort z, -3, x, -4 in increasing order.
-4, -3, z, x
Let b = -7.78 + -0.22. Let f = b + 8.3. Sort -5/2, -0.2, -4, f in descending order.
f, -0.2, -5/2, -4
Let i = -746 - -750. Let m(q) = -q**2 - 5*q - 1. Let k be m(-5). Suppose -2*d + 8 = -2. Put k, i, d in decreasing order.
d, i, k
Let q = -18 + 94/5. Let z(c) = -2*c**3 + 8*c**2 + 8*c + 9. Let v be z(5). Put 2, v, q in increasing order.
v, q, 2
Suppose 14*u = 12*u + 10. Suppose 5 = u*d - 4*o, o = -0*d + 2*d - 5. Sort d, -1, -2 in ascending order.
-2, -1, d
Let v = 188/249 + 55070/4233. Let z = v + -11500/833. Let c = 104/147 + z. Put 0.5, c, 1/11 in descending order.
c, 0.5, 1/11
Suppose -t = -3*b + 13, 6 = 2*b + 2*t - 0. Let c = -2864 + 2869. Put c, b, 2, -5 in decreasing order.
c, b, 2, -5
Suppose -225*n = -234*n + 9. Put 4, n, -11 in ascending order.
-11, n, 4
Suppose 0 = -4*s - s + 65. Suppose 3*m = 2*m + 2*d - 5, -3*m + 4*d = s. Put m, -2, -4 in ascending order.
-4, m, -2
Let g = 3 + -10. Suppose 2*r - 21 = -3*f, 3*r - 8 = 1. Put f, g, 2 in decreasing order.
f, 2, g
Let q(p) = -12*p + 60. Let g be q(5). Suppose 4*j + 7 = -3*m + 8*j, 0 = 4*m + 2*j + 2. Sort m, g, 1 in decreasing order.
1, g, m
Let h = -405 + 405. Put h, -4, -32, -3 in ascending order.
-32, -4, -3, h
Suppose 6*o - 15 - 15 = 0. Sort o, 1, -5, 2.
-5, 1, 2, o
Let t = 9 - 14. Sort 2, -50, t.
-50, t, 2
Let x = -0.14 + 0.11. Let g = 14.07 - 14. Let y = x - g. Put y, 1/6, 10 in descending order.
10, 1/6, y
Let t = -13 + 8. Let f be 16/(-6) - 28/21. Let r be (-1)/((4/f)/(-4)). Sort t, r, 5 in decreasing order.
5, r, t
Let r be 6*(-5 + (5 - -1)). Suppose 0 = r*c - c. Sort 2, -1, c, -4 in descending order.
2, c, -1, -4
Suppose 4*r + r = -15. Let j be 7/(9/((-162)/(-63))). Suppose -3*i - k = -7, -4*k + 12 = -4*i - 0*i. Sort r, i, j in decreasing order.
j, i, r
Suppose i + 24 = 29. Suppose 3*m = 5*m + i*m. Sort m, 1, 5.
m, 1, 5
Let r = -48 - -39. Let u = r - -9.2. Sort 4, 2/5, u in increasing order.
u, 2/5, 4
Let d = 3300 - 16868/5. Let h = d + 74. Sort 2, 0.03, h in descending order.
2, h, 0.03
Let b(d) = 19*d**2 - 4 - 2*d**2 - 9*d**2 - 9*d**2 - 6*d. Let q be b(-4). Sort 0, q, 2 in increasing order.
0, 2, q
Let b be 3/(1 + (-4)/2). Put 6, b, 3, 0 in descending order.
6, 3, 0, b
Let i = -2380.4 - -2198. Let m = i - -158. Let w = m + 24. Sort -3/8, 0.1, w in ascending order.
w, -3/8, 0.1
Suppose 2*g = -4*z + 24, 3*g - 5 - 3 = -2*z. Suppose -z = s + 10. Let w = s + 19. Put 1, 10, w in descending order.
10, w, 1
Suppose 5*y = -0*y + 25. Let f be -2*(-3)/6 + 3. Let g be f/6 - 95/30. Sort -1/4, y, g.
g, -1/4, y
Let i be (-2 + 21/9)/((-3)/(-45)). Put i, -5, -4 in descending order.
i, -4, -5
Suppose -11*t + 9*t = 0. Suppose 7*c - 2*c - 20 = 5*w, t = 3*c. Let a be ((-