. Suppose -6 = -b*w - 3*w. Sort w, 4, -2 in descending order.
4, w, -2
Let t be ((-8)/10)/(2/(-5)). Suppose 5*h + a - 17 = 0, -h + 6*h - 26 = t*a. Let w = 44 + -43.6. Put 1/7, w, h in descending order.
h, w, 1/7
Let p = -15 + 21. Suppose 0 + p = -3*k. Let n be 2/(-3)*15/k. Put 4, -4, n in descending order.
n, 4, -4
Let y be 1 + (-1 + 3 - (-2)/2). Sort -2, y, -3 in decreasing order.
y, -2, -3
Let u be 2 + ((-3)/3 - -2). Suppose 2*p - 6 = 4*o - 2*o, 0 = -u*o + 4*p - 8. Let h = -0.2 - -3.2. Sort 0.3, o, h in decreasing order.
h, 0.3, o
Let x = -0.4 - -0.2. Let s = -63.9 + 64. Sort 4, s, x.
x, s, 4
Let w = -4.3 - 3.6. Let n = 8 + w. Let c = -1.3 + 1. Put c, -1, n in increasing order.
-1, c, n
Let j = -2.07 - 0.03. Let i = 0.9 + -1. Let a = j - i. Sort 1/9, a, -4/7 in ascending order.
a, -4/7, 1/9
Let g = 2.8 - 2.9. Put g, 2/11, 3 in increasing order.
g, 2/11, 3
Suppose 3*o - o - 4*x = 0, -5*x = 5*o. Let p = 31 + -27. Sort o, 3, p in descending order.
p, 3, o
Let t be 10/24 - (-2)/(-8). Let s = 1 + -1.2. Put s, 4/7, t in decreasing order.
4/7, t, s
Suppose 5*o + 50 = 5*l, 3*l + 50 = -5*o + 7*l. Let j = o + 8. Let x be (-1)/j - (-2)/4. Sort x, -5, -4.
-5, -4, x
Let w be (-9 - -6)/(2/6). Let l be (-1)/(-2) + w/(-6). Suppose -3*y + 3 = -l*y. Sort 2, y, 4 in decreasing order.
4, y, 2
Let z = 31 - 43. Let u = z + 11.8. Put -2, 4/7, u in descending order.
4/7, u, -2
Suppose 4*g = 9*g. Suppose -3*d + 5*x - 31 = 0, -2*x = d - 4*x + 12. Let u(s) = -s + 1. Let y be u(d). Put 1, y, g in increasing order.
g, 1, y
Suppose 0 = -3*b - s - 0 + 4, 0 = -2*b - 2*s - 4. Suppose 0 = -w + b, 0*w + 3 = -4*q - 3*w. Sort 0, q, 1 in descending order.
1, 0, q
Let t = -669/8 + 84. Sort t, -5/3, 4, 2/33.
-5/3, 2/33, t, 4
Suppose -5*x + 4 = -2*i, -i - 4*x = -3 - 8. Let g be ((-6)/9)/(2/12). Let t(b) = b - 12. Let w be t(12). Put g, i, w in descending order.
i, w, g
Suppose 2*z - 5*r - 27 = 0, 4*z = 2*r + 1 + 13. Sort 3, z, 0 in decreasing order.
3, z, 0
Let j(y) = -4*y**2 - y. Let i be j(-1). Let q = 7 + -3. Suppose -5*k + q*k = 0. Put k, i, 1 in decreasing order.
1, k, i
Suppose o - 5*o = g - 7, 0 = o - 4*g - 6. Let r be -6 + 2*(-1 + o). Sort r, 0, -5 in ascending order.
-5, r, 0
Suppose -3*t = -4*t. Suppose -2*r + 2 = -0*r. Sort r, -2, t in increasing order.
-2, t, r
Let m = 992/11 + -90. Sort 0.1, m, 3 in decreasing order.
3, m, 0.1
Let f(d) = 2*d + 2. Let j be f(-2). Let k(q) = -q**2 + 8*q + 10. Let n be k(9). Let p = 1 + -6. Put p, n, j in ascending order.
p, j, n
Let d be 2 + 2/(-2) - 1. Suppose 3*z = 2*y - 5, -z + 0 = 4*y - 3. Put d, y, 4 in decreasing order.
4, y, d
Let s(b) = b**2 + b - 8. Let r(q) = q**2 - 9. Let c(t) = -3*r(t) + 4*s(t). Let m be c(-5). Sort m, 2/11, -3 in decreasing order.
2/11, m, -3
Let d = 17.09 + -17. Let a = 4.91 + d. Sort -4, 2/3, a in descending order.
a, 2/3, -4
Let i be 8/12*-6 - -1. Sort -1, i, 1 in ascending order.
i, -1, 1
Let m = -224 - -221. Sort 4, m, -16.
-16, m, 4
Suppose 0 = -2*k + n + 4, -3*n = -k - 1 - 2. Let c(v) = 5*v + 211. Let y be c(-43). Put 2, k, y in descending order.
k, 2, y
Suppose 5*m - 3*m = 0. Suppose 7 = -3*l + 22. Let h(w) = -w + 7. Let j be h(3). Sort l, j, m in descending order.
l, j, m
Let t = -12 - -14. Let o = -2 + 2. Sort t, o, 0.2.
o, 0.2, t
Let j = 113186 - 28862381/255. Let h = j - 1/17. Sort 0.4, h, 2/11 in decreasing order.
0.4, 2/11, h
Suppose 3*x = -0*x + o, 5*x = -4*o + 17. Let d be -2 + (x + 2 - 0). Sort d, -3, 4 in descending order.
4, d, -3
Let x = -5 + 4. Suppose 0 = 3*m + 2*i - 18, -5*i = 4*m - m - 27. Sort x, m, 0.6 in ascending order.
x, 0.6, m
Let m(v) = 12*v**2 + 2*v + 2. Let x be m(-5). Let l be 9/27*1290/x. Let z = l + 2/73. Sort 2, -0.3, z in ascending order.
-0.3, z, 2
Let b be (2 + (-6)/9)*3/(-14). Let w = 2 + 2. Sort b, -3/7, w in increasing order.
-3/7, b, w
Let n = 0.1 + -0.1. Let k be ((-3)/18)/((-13)/64). Let m = k + -2/13. Sort n, -1/4, m in ascending order.
-1/4, n, m
Suppose -2*u + 2*f = -0*f + 10, -f = 2*u + 1. Suppose -6 - 2 = 4*a + b, a - b = -2. Let x = a - 3. Sort x, 1, u in ascending order.
x, u, 1
Let a be (-3)/(1*6/8). Put a, -6, -5 in descending order.
a, -5, -6
Let p = 26 + -28. Let y(d) = d + 5. Let v be y(-4). Sort v, p, -5.
-5, p, v
Let w = 27 - 40. Let z = w + 23. Let j be (z/(-15))/((-4)/(-30)). Put -1, -2, j in ascending order.
j, -2, -1
Let n be (10/(-4))/((-4)/(-8)). Sort n, 5, 0 in descending order.
5, 0, n
Suppose -6 = i + l - 3*l, -12 = 3*i - 3*l. Suppose 0 = 2*w + 1 - 3. Put w, -5, i in increasing order.
-5, i, w
Suppose -5*r - 10 = -v, 7*v = -4*r + 3*v - 32. Put r, 0, -5, 5 in descending order.
5, 0, r, -5
Suppose j + 2 = 0, 5*j = -2*d - 4 - 14. Let k(q) = q**2 + 5*q - 1. Let f be k(-5). Sort -2, f, d in descending order.
f, -2, d
Let h be (-2*(1 - 0))/1. Sort h, -5, -7 in ascending order.
-7, -5, h
Let n(s) be the second derivative of -s**4/12 - 11*s**3/6 + 6*s**2 + 6*s. Let r be n(-12). Put -4, r, 2 in ascending order.
-4, r, 2
Let p(g) = 4*g**2 + 47*g - 12. Let y be p(-12). Sort y, -4, -1, -15 in ascending order.
-15, -4, -1, y
Suppose 5*i = -2*g - 15, -2*i - 17 = -4*g + 13. Sort -5, 4, g in decreasing order.
g, 4, -5
Suppose -5*j = 5 - 25. Let u(q) = -8*q**2 - 2*q. Let y be u(-2). Let d be (-4)/(-16) + (-1)/y. Put j, d, -3/5 in descending order.
j, d, -3/5
Let i be 1 - ((-92)/24 + 4). Put i, -2, -1 in increasing order.
-2, -1, i
Suppose 2*d = -3*d - 4*a + 100, 3*d - 60 = -5*a. Let w be (d/16)/((-2)/8). Suppose -5*i + o + 2*o - 32 = 0, 12 = 3*o. Put 3, i, w in ascending order.
w, i, 3
Let b(a) = -a + 1. Let x be b(6). Sort 2, 4, x in descending order.
4, 2, x
Let f = -1 + 2. Let t be (-1)/((-15)/(-6) + -2). Sort -5, t, f.
-5, t, f
Let g = -28 - -25. Sort -2, -4, g in decreasing order.
-2, g, -4
Let z = -7 - -10. Put -5, -2, z in increasing order.
-5, -2, z
Suppose 5*a + 13 + 52 = 0. Let t = a - -18. Sort t, -0.5, 4 in decreasing order.
t, 4, -0.5
Let t be 1/(-1) + -6 + -133. Let y be (12/10)/(t/(-50)). Sort 5, -1, y in increasing order.
-1, y, 5
Let h = -77.5 + 78. Sort h, 1, 0, -44 in descending order.
1, h, 0, -44
Let w = 174.6 - 175. Let l = 3.06 - 0.06. Sort w, l, 5 in ascending order.
w, l, 5
Suppose 0 = 10*y + 17 + 23. Sort -15, 3, -2, y.
-15, y, -2, 3
Suppose 0 = 3*t - 7 + 10. Sort 0.1, 2/7, -4, t in decreasing order.
2/7, 0.1, t, -4
Let u = 18 - 18.1. Let i = -8 - -13. Put 0, i, u in descending order.
i, 0, u
Let n(j) = j**2 + 5*j + 4. Let w be n(-5). Sort 2, -4, w.
-4, 2, w
Suppose -5 + 2 = -3*a. Suppose 0 = -3*c + 8*c + 20. Put c, a, -3 in descending order.
a, -3, c
Let x be ((-10)/4 - 1)*2. Let p(n) = -n - 4. Let h be p(x). Suppose z + 1 = -4*m - 6, -2*z - 2*m = 8. Sort -5, z, h in descending order.
h, z, -5
Let f = 9.8 + -9. Let t = f - 0.8. Put 1, t, -3 in ascending order.
-3, t, 1
Let y be (-2)/7 - 9/(-7). Suppose 4*i - 7 = -15. Sort y, i, -3 in decreasing order.
y, i, -3
Suppose u - 2*r = -3*u + 14, 4*r = -4. Let l be u - (-2)/4*0. Let y be ((-24)/9 + 3)*-9 - -4. Sort -3, l, y in decreasing order.
l, y, -3
Let x be (-13)/(-5) + (-1 - 1). Let p = -2.2 - -2. Let l = p - 0.8. Put x, 0, l in descending order.
x, 0, l
Suppose 5*u - 9 - 41 = 0. Let t = 12 + -7. Suppose -10 = t*x + u. Sort 2, x, -2 in descending order.
2, -2, x
Let m = 9 - 4. Let t = -1 - 9. Let f be (t/(-6))/((-8)/24). Sort f, m, 1.
f, 1, m
Let k = 2 - 0. Let l be (-1 + (k - 1))/(-1). Let o(w) = -w**2 + 3. Let z be o(l). Sort z, 2, -2 in increasing order.
-2, 2, z
Let m = 37.7 + -36. Let j = m + -1.3. Put j, 4, 0.1 in ascending order.
0.1, j, 4
Let b(j) = -j**3 + 11*j**2 + 12*j + 2. Let z be b(12). Suppose z*p - 7 = -5. Suppose 5*k + l + 0*l = -20, -2*k + l = 8. Put k, p, 4 in ascending order.
k, p, 4
Let k = 15 - 10. Let v be (165/12)/(6/16). Let n = -37 + v. Sort n, 0.4, k in decreasing order.
k, 0.4, n
Let x be -4*(-5)/10 + 1 + 0. Sort -4, 4, -1, x in increasing order.
-4, -1, x, 4
Suppose y - 2*i + 1 = 2*i, i + 11 = 4*y. Suppose y*r = -4*g - 26, 2*g = -r - 0*g - 10. Sort 3, -1, r.
r, -1, 3
Let n = 1 - -2. Suppose y + 4*y - 25 = 0. Sort y, 1, n.
1, n, y
Let k = -4.5 - -7. Let h = -11 + 9. Let b = k + h. Put b, -5, 4 in decreasing order.
4, b, -5
Suppose 21*l = 12*l - 27. Sort 0, l, 2 in increasing order.
l, 0, 2
Suppose 4*w + 5*b + 14 - 49 = 0, -5 = -4*w + 5*b. Sort w, -0