 32*k. Put k, -5, 13 in decreasing order.
13, k, -5
Let t(m) = -m**3 + 7*m**2 - 5*m + 34. Let r be t(7). Sort r, -5, 2, 1.
-5, r, 1, 2
Let b = -12 + 8. Let z be (-8)/10*1/(-2). Let n = 895 - 898. Put n, b, z in ascending order.
b, n, z
Let r be -1*2 - (-7 - -3). Let y = r - -2. Suppose -5*f - g - y = 55, -3*g = -f + 1. Put -3/7, -3, f in descending order.
-3/7, -3, f
Let n(t) = -t**2 + 68*t + 526. Let z be n(-7). Let b be 3*(-2 - (-4)/3). Let j = 0.1 - 0.1. Put b, z, j in increasing order.
b, j, z
Let h = -2 - -1. Suppose 0 = -37*z + 38*z - 12. Suppose z*w + 32 = -40. Sort w, 0, h in descending order.
0, h, w
Let h(j) = -j**3 + 2*j**2 - j. Let s(d) = -d**3 + 5*d**2 + 8*d - 9. Let w be s(6). Suppose -w*p + 2 = -2*p. Let k be h(p). Put -4, -3, k in increasing order.
-4, -3, k
Let w = -0.41 + 2.91. Let h = -2.2 + w. Put h, -21, 2 in ascending order.
-21, h, 2
Let c = 22 + -32. Let r be 2*(-4 - c/4). Sort 1, r, 15 in ascending order.
r, 1, 15
Suppose 0 = -w - 3*x - 18, -3*w = 7*x - 2*x + 34. Suppose -3*z + 4*g - 14 = 0, g - 5*g + 20 = 0. Put 10, w, z in descending order.
10, z, w
Let h(i) = i + 1. Let q be h(2). Suppose 17 = d - 5*s - 3, 0 = -q*s - 15. Put -3, 3, d in descending order.
3, -3, d
Let w be 5/(-10)*(4 + (3 - 7)). Put w, 3, 4 in decreasing order.
4, 3, w
Let y be 11/(-13) + 28/(-182). Let u(z) = -z**2 - 1 + 0 - 7*z - 3 - 5. Let n be u(-4). Put n, -4, y in descending order.
n, y, -4
Suppose -b + 27 = 3*l - 4*b, l + b = 3. Let u be 13/l - (-3)/(-90)*5. Sort u, 3, 5, 1 in increasing order.
1, u, 3, 5
Let m = -321 - -322. Sort -7, m, -4, 4 in descending order.
4, m, -4, -7
Let v = -138.8 + 139. Sort -4, v, -3, 0.
-4, -3, 0, v
Let k = 368/7 + -53. Let q = 21 + -29. Let p be ((-1)/3)/((-4)/30). Sort q, k, p.
q, k, p
Let q = 6 - 4. Let b be 2 + (-2)/2 + 2. Suppose -2*j = b*j - 5*a - 30, -9 = -2*j + a. Sort 0.1, q, j.
0.1, q, j
Let s = -20 - 9. Let o = -5 - s. Let v be (o/(-14))/(81/126). Sort 1/3, -0.3, v in decreasing order.
1/3, -0.3, v
Let r = -0.222 + -0.048. Let h = 0.27 + r. Let k = 5.2 - 5. Sort k, h, 4.
h, k, 4
Let r = -11 - -13. Suppose r = -2*b + 2*d, 6*b - 3*b = -4*d + 11. Sort 0, -1, b in descending order.
b, 0, -1
Let i = -0.04 + 0.12. Let d = 231.08 - 235. Let k = i - d. Put -3, k, -0.3 in ascending order.
-3, -0.3, k
Suppose 0 = -3*y - 5*w - 7, -5*w = -3*y + 33 - 20. Put -1, 3, -7, y in ascending order.
-7, -1, y, 3
Suppose 2*g - 2 = 4*x, 3*x + 2*g + 2 = -17. Sort -2, x, -4, -9.
-9, -4, x, -2
Suppose 0*h - 88 = 4*h. Let q = h + 22. Sort -1, q, 5.
-1, q, 5
Suppose 0*a = -4*a + 4. Suppose -234 = -g - 5*g. Suppose 0 = x + 25 - g. Sort a, x, 5 in decreasing order.
x, 5, a
Let i(j) = j**2 - 7*j - 17. Let l be i(9). Put l, -132, -4, -2 in descending order.
l, -2, -4, -132
Let z(y) = y**3 + 8*y**2 - 33*y + 5. Let d be z(-11). Sort 3, -4, d, 9 in decreasing order.
9, d, 3, -4
Let h be ((-1)/(-2))/(2/(-12)). Let m = -53 - -50. Let f be -5 - -3*(-1)/m. Sort f, h, 2 in ascending order.
f, h, 2
Let l = -143.358 + 0.358. Let m = l + 140. Put 1/120, 2, -0.4, m in decreasing order.
2, 1/120, -0.4, m
Suppose -4*u = -5*c - 27, -5*u - 1 = 4*c - 4. Let v(r) = -3*r - 37. Let j be v(-12). Let l be j/(-9) - 7/21. Sort -1/4, l, u in decreasing order.
u, l, -1/4
Suppose 30*k - 132 = 8*k. Sort k, -20, -2 in descending order.
k, -2, -20
Let r(j) = j + 1. Let q be r(-4). Let p be q/6*-6 - 4. Sort p, 17, -4 in decreasing order.
17, p, -4
Suppose 7*d - 3*d = 2*n + 22, 4*n + 28 = 4*d. Let l(c) = -c**2 - 4*c + 7. Let t be l(-5). Sort n, 18, t.
n, t, 18
Let i = 107 + -107.5. Put 8/5, 2, i, -0.2 in descending order.
2, 8/5, -0.2, i
Let m = -43/4 + 10. Let y be (-10)/3*(-84)/(-70). Put 1, y, m in descending order.
1, m, y
Let i = -253/2460 - 5/164. Let c = -0.55 - -0.05. Sort 2/5, c, i, -5 in increasing order.
-5, c, i, 2/5
Let w = 438 + -432. Sort -0.5, w, -0.2 in increasing order.
-0.5, -0.2, w
Let x be (-2)/(9 + (-305)/35). Sort -4, x, 0, 4 in increasing order.
x, -4, 0, 4
Let r(z) = -z + 8. Let s be r(4). Let p = 8226/7 + -7598/7. Let a = -90 + p. Put s, 6, a in ascending order.
a, s, 6
Let k = -98.8 + 101. Put -3/2, -1, k in ascending order.
-3/2, -1, k
Let r be 28/7 + (-195)/13. Put -1, r, 3 in ascending order.
r, -1, 3
Let d = 0.13 + 0.27. Let z = d + -0.8. Suppose -4*q + 3*q + c - 5 = 0, 2*c + 4 = 0. Sort z, q, 4 in increasing order.
q, z, 4
Let a(g) = -g**2 - 11*g + 14. Let y be a(-12). Suppose 2*k = 5*h - 3, -5*k = -k - 2*h - y. Let f be (-1)/(-3)*2*3. Put k, f, -1 in ascending order.
-1, k, f
Let b = 1019 + -1019. Put 0.2, 0.09, b in descending order.
0.2, 0.09, b
Let l(v) = v**2 + 13*v + 11. Let x be (24/(-14))/(2/14) - 0. Let u be l(x). Put -2, u, 1 in increasing order.
-2, u, 1
Suppose -w = -0*d - 2*d + 10, 0 = -d + 3*w. Suppose -g = t - 1, 2*t - d*t + g - 21 = 0. Suppose 0*v - 8 = -4*v. Put t, v, -5 in ascending order.
-5, t, v
Let v be (-7)/2 - (-2)/4. Suppose -d = -2 + 4. Let m be 3/(((-6)/8)/1). Sort v, m, d in descending order.
d, v, m
Let k = -4 + 9. Let v be (3/5)/(1/k). Let b be -5 + -8 + 3 - -14. Put b, v, -1/4 in increasing order.
-1/4, v, b
Let t(w) = -13*w - 53. Let m(o) = -38*o - 158. Let f(a) = -6*m(a) + 17*t(a). Let i be f(-6). Sort 2, 0, -1, i.
-1, 0, 2, i
Let i = 9/416 - 5937/416. Sort 2, -2/5, i.
i, -2/5, 2
Let z be 2 + (-2)/(-8) + -2. Sort 16.9, 3, -3, z.
-3, z, 3, 16.9
Suppose 2*c = -4*g + 2*g + 6, 2*g = 2*c + 2. Suppose -4*d = -b - 2, 3*b - b = -d + 5. Suppose -4*p + 9 = b*n - 5, -p + n = c. Sort p, 0, 1 in decreasing order.
p, 1, 0
Let b = 0 + 0. Let c(r) = 9*r**3 - r**2 + r - 1. Let q be c(1). Suppose 4*n + 0 + q = b. Sort -0.2, n, -3 in increasing order.
-3, n, -0.2
Suppose 263*t = 277*t + 70. Sort 2, 7, t.
t, 2, 7
Suppose t - 3*y + 16 = 0, 5*y - 34 = -3*t - 26. Sort -215, -5, t in descending order.
t, -5, -215
Let w be (14/2)/(-4 - -5). Suppose 2*u = -3*d + 5, 5 = 4*u + 2*d + w. Put u, 3, -5 in ascending order.
-5, u, 3
Let k(v) = -20*v - 139. Let g be k(-7). Let i(y) = y + 3. Let n be i(5). Sort n, 0, g, 3/8 in decreasing order.
n, g, 3/8, 0
Let p = -318/545 + 20/109. Put -1/14, p, -0.02 in ascending order.
p, -1/14, -0.02
Let c(r) = -3 - 8 - r**2 + 4 + 10*r. Let t be c(7). Suppose -5*p - 11 - t = 0. Sort 1, p, -1.
p, -1, 1
Let k(r) = -r**2 - 24*r - 83. Let p be k(-20). Let i = 16 - 24. Let f = -3 - i. Put 3/4, f, p in ascending order.
p, 3/4, f
Let s = -12 + 12.092. Let u = -3.092 + s. Sort -0.01, u, 1, 0.3 in decreasing order.
1, 0.3, -0.01, u
Suppose 0 = x + x - 3*d - 1, 0 = 4*x + d + 19. Put -3/2, x, 5 in decreasing order.
5, -3/2, x
Let j be -1 + 0 + (38 - -3). Let w be (-8)/j + 502/10. Let r be w/(-70)*(-2)/5. Sort -0.3, r, 0 in descending order.
r, 0, -0.3
Suppose -5*w = 3*a - 253 + 243, 0 = -5*a + 3*w - 40. Let j(c) = 6*c**2 + c. Let r be j(-1). Let u be (-52)/(-14) + (-4)/(-14). Put u, r, a in descending order.
r, u, a
Let s = 433 + -437. Sort -1/2, -1, s, -12 in descending order.
-1/2, -1, s, -12
Let p(q) = q - 9. Let k be p(4). Let z(l) = 2*l - 4. Let w be z(4). Let r be (-6)/(-27) + w/9. Put 3, k, r in ascending order.
k, r, 3
Let j = 4/5 - 2/15. Let k = -595 - -596. Put -3, k, j, 2/9 in increasing order.
-3, 2/9, j, k
Let y = -109 + 114. Sort 73, y, -3.
-3, y, 73
Let m be (56 - -2) + (2 - 2). Let u = -53 + m. Put u, 14, -5 in ascending order.
-5, u, 14
Let h be (5/4)/(9/72). Sort 0.3, h, 1/3 in decreasing order.
h, 1/3, 0.3
Let c(r) = -8*r + 86. Let z be c(12). Sort 6, -2, -5, z in decreasing order.
6, -2, -5, z
Let r be (10/3)/5 - 4/(-12). Sort -9, -5, r, 4 in increasing order.
-9, -5, r, 4
Let a = 1.84 + -0.24. Let g = -0.5 + -2.1. Let b = a + g. Put -0.3, -1/2, b in ascending order.
b, -1/2, -0.3
Let j = 13010 - 13007. Let f = 2 - 1. Put -4, 2/7, f, j in descending order.
j, f, 2/7, -4
Let n = -0.24 + 3.24. Let c = n - 8. Put -0.3, 2/9, c, 1/2 in descending order.
1/2, 2/9, -0.3, c
Let h = -6 + 6. Let x = -2335 + 2334.7. Put h, 2/19, 9, x in decreasing order.
9, 2/19, h, x
Let k be (-18)/(-22) - ((-27)/(-33) + -1). Let a be 4 - 2/6*3. Sort k, -5, a in descending order.
a, k, -5
Let g = 0.2882 + -0.2882. Sort 4, 1/5, 4/7, g in increasing order.
g, 1/5, 4/7, 4
Let x = 0.059 + -0.119. Put x, -1/5, 4, 2 in descending order.
4, 2, x, -1/5
Suppose 12 = 2*y - 0. Let l = 504 + -505. Put y, l, 1 in decreasing 