 5*w. Put -4, w, 3 in ascending order.
-4, w, 3
Suppose 0*x + 46 = -4*x - 5*m, -6 = 3*m. Put x, -2, -4 in decreasing order.
-2, -4, x
Let z be ((-266)/(-45))/(-7) + (-4)/(-10). Sort z, 11, -3/2 in decreasing order.
11, z, -3/2
Let n = 25 - 20. Sort -2, n, 6 in decreasing order.
6, n, -2
Let l(g) = g - 3. Let o be l(6). Put -3, 5, o in descending order.
5, o, -3
Let r = -0.017 - -0.017. Sort r, 0.2, 0.4.
r, 0.2, 0.4
Suppose 3*a = -4*q - 17, -2*q - 15 = 2*a - 7*a. Suppose 4*m + 16 = 8*m. Sort m, a, -4.
-4, a, m
Let m = 28 - 48. Let z = m + 16. Sort 0.1, z, 2 in decreasing order.
2, 0.1, z
Let d be (2 - 4/2)/(-2). Suppose l = -d + 6. Let w(b) = -2*b + 9. Let h be w(l). Sort h, -2, 5 in ascending order.
h, -2, 5
Suppose -h = -3*g + 17, -h = 4*h + 3*g + 13. Sort 8, h, -1 in ascending order.
h, -1, 8
Let n(j) = -j - 4. Let w be n(-7). Suppose 2*g - 5 = w*q, -2*q = -0*q - g + 4. Sort 0, q, -1 in decreasing order.
0, -1, q
Let n = -115 - -115. Sort -4, 2/11, n, 1 in decreasing order.
1, 2/11, n, -4
Let k = -0.028 + -0.212. Sort -6/7, -1, 0.2, k in decreasing order.
0.2, k, -6/7, -1
Let b = 3 - 1. Let d = 3.94 + 0.06. Put -2/17, b, d in descending order.
d, b, -2/17
Let r = -9 - -1. Let l = 12 + r. Sort 2, -4, l in descending order.
l, 2, -4
Let b = -0.6 + 3.9. Let i = 0.08 - -2.92. Let n = b - i. Sort n, 2/13, -5 in increasing order.
-5, 2/13, n
Let o = 18 + -16. Sort o, 5, -4 in decreasing order.
5, o, -4
Let b = -463/7 + 66. Let s be (-6)/8*(-1)/3. Put b, s, -0.5 in decreasing order.
s, b, -0.5
Suppose 3*l - 2*m - 1 = 0, l = -2*m - 2*m + 5. Let c = 0.028 + -3.028. Put l, 0.4, c in descending order.
l, 0.4, c
Let p(f) = -f**2 - f - 2. Let c be p(-2). Let d be c*1*(-2)/(-2). Sort 5, 0, d in descending order.
5, 0, d
Let q = 8 + -4. Suppose 2 = 3*a - q*u, 0*u = -2*a + 3*u + 1. Put -3, 4, a in ascending order.
-3, a, 4
Let y(b) = -b**3 + 7*b**2 - b + 5. Let h = -3 - -10. Let t be y(h). Let x be 29/9 + 2/(-9). Put x, t, -3 in decreasing order.
x, t, -3
Let m(d) = d**3 + 10*d**2 + 8*d - 8. Let j be m(-9). Sort -4, j, 5, -1 in decreasing order.
5, j, -1, -4
Let z be 3/(3/1) + -9. Let h(v) = -v - 9. Let u be h(z). Sort 3/4, 2/11, u.
u, 2/11, 3/4
Suppose 12 - 2 = -2*c. Sort 7, c, -3 in increasing order.
c, -3, 7
Let y = 0.87 + 0.13. Put 1/10, y, 0.4 in decreasing order.
y, 0.4, 1/10
Let h = 0.77 - -0.03. Let q = 0.3 - h. Let i = -0.2 - q. Sort i, 1/12, 4 in descending order.
4, i, 1/12
Let s = 1.1 - 1.5. Put 4, 0.5, s, 1/5 in descending order.
4, 0.5, 1/5, s
Let z = 15 + -17. Put 3, -5, z in ascending order.
-5, z, 3
Let b = -17 + 16. Put -4, 0, b in decreasing order.
0, b, -4
Suppose -5*s - 4*x + 19 = 0, 4*x + 2 = 4*s - 6. Suppose -4 = -s*i + 11. Let a(h) = h**3 + 5*h**2 - 7*h - 6. Let p be a(-6). Sort p, -4, i.
-4, p, i
Let u = -28 - -19. Sort 0.2, u, 2 in ascending order.
u, 0.2, 2
Let o = 2 + -2.1. Let i = 0.14 + -0.32. Let s = 4.82 - i. Sort -4, o, s in ascending order.
-4, o, s
Let d(p) = -p**2 + 9*p - 10. Let x be d(8). Let y = 0.4 + -0.8. Let j = -0.1 + y. Sort -0.3, x, j.
x, j, -0.3
Suppose -5*l + 2*g = -35, 6*g = l + 3*g - 20. Sort 2/19, l, 2/5.
2/19, 2/5, l
Let h = -105 - -101. Sort 1, h, 20, 3 in decreasing order.
20, 3, 1, h
Let s be 8 - 7 - (-4 + 1). Sort -5, -4, s in decreasing order.
s, -4, -5
Let b = 4 + -3. Let k be -1 + b + 2/(-1). Sort k, 1, 6 in decreasing order.
6, 1, k
Suppose 1 = -2*w - 1. Sort 7, 4, w, -3 in decreasing order.
7, 4, w, -3
Suppose 2*f = 2*m - 0*m, -16 = 4*f. Let a be 2*1*(1 - 2). Sort m, 2, a.
m, a, 2
Let r = -4.979 + -0.021. Sort -0.2, r, 2.9, -0.1 in increasing order.
r, -0.2, -0.1, 2.9
Let r = -5 - 0. Let w = -1 + r. Let y = 4 + w. Put -5, y, 3 in descending order.
3, y, -5
Suppose 2*n - 2 + 6 = 0. Let r(j) = 3*j. Let g be r(3). Suppose 0*h = -3*h - g. Put n, h, -2/17 in increasing order.
h, n, -2/17
Let u = 49.3 - 49. Put -0.4, -3, u, -2/9 in descending order.
u, -2/9, -0.4, -3
Let s(x) = -2*x - 1. Let w be s(1). Let v = -4 - w. Let d(q) = 3*q + 95. Let z be d(-30). Sort v, -2, z in increasing order.
-2, v, z
Let t be 1/(-6) - (57/(-126) - 0). Let g = 0.1 - 0.6. Put t, 0, g in descending order.
t, 0, g
Let l(m) = -m - 6. Let o(h) = -h - 11. Let z(v) = -5*l(v) + 3*o(v). Let y be z(2). Put -5, y, 2 in decreasing order.
2, y, -5
Let r be (-4)/(-6)*(-3 - (-1080)/365). Put r, -4, 2/13, -0.2 in decreasing order.
2/13, r, -0.2, -4
Let r = 1.5 + 1.5. Put -6, -0.4, r in ascending order.
-6, -0.4, r
Let x = -3.8 - 0.2. Let l = x + 6. Let s be (-3 - -4)*10/(-8). Sort s, l, -2 in increasing order.
-2, s, l
Suppose 4 = 4*h, l + 4*h - 6 = -h. Put l, 2, -2, -14 in ascending order.
-14, -2, l, 2
Let c = -0.2 - 1.8. Let z = c + -1. Put z, 5, -0.5 in decreasing order.
5, -0.5, z
Suppose a = 2 + 2. Let n(c) = -c**2 - c - 4. Let u be n(0). Suppose h + 2 = 4. Sort a, u, h.
u, h, a
Let x = -9.96 + 10. Let v = x + 4.96. Suppose -q = -6*q + 5. Sort -0.1, v, q in increasing order.
-0.1, q, v
Suppose -1 - 3 = -p. Put -2, -3/7, p, 0.2 in ascending order.
-2, -3/7, 0.2, p
Let b = -0.17 - 0.13. Let l = 30/29 - 297/203. Put 5/3, b, l in decreasing order.
5/3, b, l
Let l(a) = -a**3 + 8*a**2 + a - 7. Let u be l(8). Sort 0, -3, u.
-3, 0, u
Let s be (-64)/544 + (-49)/17. Put 3, s, -4, 2 in decreasing order.
3, 2, s, -4
Let f = 20.87 - 21. Sort -1/4, 0.1, f in descending order.
0.1, f, -1/4
Let y = -3.4 + 3.8. Let s = -8 + 13. Put s, 1, y in decreasing order.
s, 1, y
Let m(s) = -s**2 - s + 1. Let u(c) = -c**2 - 7*c - 6. Let q be u(-6). Let d be m(q). Put -1, d, 5 in decreasing order.
5, d, -1
Let v = -3.4 - -3.2. Put v, 6, -5 in decreasing order.
6, v, -5
Suppose -7*a = -11*a - 8. Put 3, -3, -11, a in decreasing order.
3, a, -3, -11
Let b = -0.16 - -6.16. Let n = b - 11. Let h = 1/268 - -527/2412. Put h, 3/5, n in descending order.
3/5, h, n
Let q(x) = x - 7. Let p be q(5). Put p, 0, 5 in decreasing order.
5, 0, p
Let s = 28 + -32. Put s, 0, -2 in decreasing order.
0, -2, s
Let i be (-16)/(-4) - 4 - 2. Let g = -5 - -2. Sort g, -7, i in decreasing order.
i, g, -7
Let o = 7 - 6. Let r = -50 + 49.3. Put o, r, -2/7 in increasing order.
r, -2/7, o
Suppose 0 = 4*m + 5*s, -s + 8 = -5*m - 21. Let k(i) = i + 7. Let o be k(m). Suppose 3*x - 25 = -o*x. Sort x, -3, 1 in descending order.
x, 1, -3
Suppose 4*h + 2*c = -20, h + 9*c - 4*c = -14. Let j = -0.1 + 0.2. Put j, h, -0.5 in descending order.
j, -0.5, h
Let a = 299/7 + -43. Put -0.4, 3, a, -5 in decreasing order.
3, a, -0.4, -5
Let b = 16 + -17. Sort 3, -18, b in descending order.
3, b, -18
Suppose 0 = 2*m - 5*j - 35, 5*m - 21 - 14 = 2*j. Put 4, -4, m in ascending order.
-4, 4, m
Let g = -1/4 + 7/12. Suppose r = 3*r - 34. Suppose -r = -4*u - 2*m - 3, 0 = u - 3*m + 14. Sort u, 0.1, g in increasing order.
0.1, g, u
Let x = -2 + 3/2. Let t = -0.27 + -0.03. Let u = 0 + t. Put 3, u, x in descending order.
3, u, x
Let a = 13 - 7. Suppose -2*j = -5*w + 16, -4*j - 4*w = 3 + 1. Put -4, j, a in descending order.
a, j, -4
Let p = -44 - -45.2. Put p, -2/11, 1/2 in descending order.
p, 1/2, -2/11
Let b(x) = x + 5. Let r be b(-6). Let f = r + -2. Let t = f - 1. Put 3, t, 1 in increasing order.
t, 1, 3
Suppose -3*x - 3 = 0, m + 0*m + 3 = -3*x. Sort m, -44, 4.
-44, m, 4
Let d(s) = 4*s + 5 - 3*s + 4. Let l be d(-4). Sort -2, -5, l in decreasing order.
l, -2, -5
Let p = -8 - -8.3. Let s = -8 - -3. Sort 0, s, p in ascending order.
s, 0, p
Suppose 2*v = -3 - 1. Sort 0, v, 1.
v, 0, 1
Let j = -50 + 448/9. Put j, 5, -3/8 in descending order.
5, j, -3/8
Suppose 17*q + 9 + 8 = 0. Suppose -3*f = -4*f + 2. Put q, f, -3 in increasing order.
-3, q, f
Let h = -16.1 - -16. Let d be (3*1)/(9/(-6)). Sort 5, d, h in ascending order.
d, h, 5
Let k(x) = 9*x - 1. Let w be k(2). Let c = -139/8 + w. Sort c, 2, 9.
c, 2, 9
Suppose -5*k - 8 = -3*k. Let s(g) = -2*g - 5. Let y be s(-3). Let u = 0.04 - 2.04. Sort y, u, k in ascending order.
k, u, y
Let c be (-12)/16*8/(-6). Sort -2, -0.3, c in ascending order.
-2, -0.3, c
Let k be 3 - 2/(-5)*-5. Suppose v - 1 = k. Sort -4, -2, v in ascending order.
-4, -2, v
Suppose d = 6*d + 10. Suppose 6*y - 4*y = -2. Sort d, y, 1 in decreasing order.
1, y, d
Let u be 3*(-3 + 10/3). Let v = 5 - 1. Suppose -k - v*k = 0. Sort k, u, -3 in increasing order.
-3, k, u
Let u = -1.4 - -0.2. Let h = u - 3.8. Sort 3, 0, 