Suppose 2*o = -343*d + 346*d, -o = d. Sort o, -1, -83 in increasing order.
-83, -1, o
Let a = -456 + 456. Sort 3, -47, -2, a in descending order.
3, a, -2, -47
Suppose 0 = 4*i + 3*y - 12 - 28, 3*y = 0. Put i, -3, -4, 0 in descending order.
i, 0, -3, -4
Suppose -2*d = -3*s - 13, 2*d - s - 11 = -4. Suppose -2*v - y = -1, d*v - 5*y = 14 + 5. Let q(w) = -3*w - 12. Let o be q(-4). Sort o, v, 5.
o, v, 5
Suppose 13 = -3*p + 3*m - 2, p = -5*m - 5. Sort 8, p, 20 in decreasing order.
20, 8, p
Suppose -v = -5*x - 24, 3*v + 6 = -2*x - 7. Let q(l) = -l**3 + 31*l**2 - 38. Let r be q(31). Put 0, v, r in increasing order.
r, v, 0
Let f(n) = 27*n - 8. Let x be f(8). Let b be (-12)/(-102) + x/(-612). Sort -2, -5, b in decreasing order.
b, -2, -5
Let o be 20/((3 - 1) + 0). Suppose 6*y = y - o. Let r be (18/(-15))/((-10)/25). Sort r, -0.4, y in ascending order.
y, -0.4, r
Let g(v) = v**3 + 7*v**2 - v - 5. Let t be g(-7). Let n be ((-42)/(-15))/(t/5). Let c(d) = d**2 - 6*d - 10. Let k be c(n). Sort -0.1, 2, k in descending order.
2, -0.1, k
Suppose -3*f - 14 = -2*q, -5*q + 37 = 4*f + 25. Put f, 28, 5 in decreasing order.
28, 5, f
Let k = 87 - 90. Let v = 103 - 81. Put 4, k, v, 0 in descending order.
v, 4, 0, k
Suppose -3*k - i = -7*k - 11, 0 = 2*k + 3*i + 23. Suppose -158*j + 18 = -155*j. Put 2, j, 3, k in descending order.
j, 3, 2, k
Suppose -8*n + 6*n + 12 = 0. Let b be (-9 + 6)*(-2)/n. Let k be (-1)/(4/8 - b). Put -4, k, 3 in decreasing order.
3, k, -4
Let q be (-7 - -4) + (-3 - -2)*-2. Let z be 4 - 1 - (-3 - q). Put z, 4, 9 in decreasing order.
9, z, 4
Let w = 0 + -1. Suppose -5*x = 11*g + 125, 2*g = 21*x - 22*x - 24. Sort x, 4, w in descending order.
4, w, x
Suppose 4*k + 56 = -4*r, -24 = -0*r + 2*r + 4*k. Let q be (1/r)/(3/(-12)). Sort -3/7, -0.2, q, -0.3 in increasing order.
-3/7, -0.3, -0.2, q
Let f = 175 + -693/4. Let i = -9/4 + f. Sort -0.4, i, 0.
i, -0.4, 0
Suppose 3*k = -50 + 206. Let b = k - 52. Sort -5, b, -1 in increasing order.
-5, -1, b
Let i be (-238)/(-221) + 2/(-26). Sort -2/17, i, 4 in descending order.
4, i, -2/17
Suppose 3*j = -x - 11, -69*x + 2*j + 34 = -73*x. Sort -2, -1, x in decreasing order.
-1, -2, x
Let f be (-3)/((-1)/9*1). Let o(p) = -p**3 - 3*p**2 - p - 3. Let t be o(-3). Suppose s - 5*u + 9 = t, -4*s = -s + u + f. Put s, 0, 2 in descending order.
2, 0, s
Let r(p) = -3*p**3 + 2*p**2 + p. Let u be r(-1). Suppose 0 = y + u*y + 85. Let h = y + 20. Sort h, -2, -1 in ascending order.
-2, -1, h
Let p(q) = -2*q**2 + 5*q + 44. Let y be p(7). Sort -2/9, -3, 2/7, y.
y, -3, -2/9, 2/7
Let z = -1 + 1. Let u = -0.3 + z. Let p = 198 - 195. Put -2/11, u, p in increasing order.
u, -2/11, p
Let p = -8 - -11. Suppose -3*d = d + 5*u + 43, p*u = -d - 9. Let a be (21/12 + -2)*d. Sort a, 2/7, 0 in decreasing order.
a, 2/7, 0
Let h = 5 + -4.7. Let b = -0.5 - 15.5. Let p = -14 - b. Sort 3, p, h.
h, p, 3
Let b(n) = n**3 - 9*n**2 + 8*n + 10. Let j be b(7). Let o(c) = c**2 + 34*c + 58. Let h be o(j). Sort -2, 4, h, -5 in decreasing order.
4, -2, -5, h
Let m(g) = -4 + 2*g**2 - 6*g - g**2 + 3. Let d = -22 - -28. Let h be m(d). Sort h, 4, 2 in decreasing order.
4, 2, h
Let l(c) = -38*c + 23*c + c**2 + 0*c**2 - 5. Let d be l(15). Let f(m) = -2*m**2 + 2*m + 1. Let b be f(-1). Sort -1, d, b.
d, b, -1
Let p be -6*2/91 + (-2)/13. Sort p, -0.24, -0.3 in decreasing order.
-0.24, p, -0.3
Let h be (-6)/(-4)*36/27. Let b be -2 - ((h - -3) + -3). Sort -3, 4, b in decreasing order.
4, -3, b
Let b = 6/245 + 3328/4165. Let u = b - 19/85. Suppose -5*n + 3*z - 25 - 6 = 0, -4*n - 5*z - 10 = 0. Sort u, -1/3, n.
n, -1/3, u
Let k = -1.638 - -80.938. Let p = k + -79. Put 1, 3/5, p, -0.3 in increasing order.
-0.3, p, 3/5, 1
Suppose 0 = -5*q - 69 + 74. Put 2, q, -156, 4 in decreasing order.
4, 2, q, -156
Let p be (5 - 18/4)*-2. Suppose 8*k = -5*m + 4*k + 5, -3 = -3*m - 4*k. Sort m, 5, p in descending order.
5, m, p
Let j = 75 + -70. Put j, 42, -0.1 in decreasing order.
42, j, -0.1
Let v = 0.0453 - 0.3453. Put v, -5, 2, 18 in ascending order.
-5, v, 2, 18
Suppose -42*k = -44*k + 8. Suppose -7*m + k = 18. Let h be (-13)/(-4) - (-2)/(-8). Sort m, h, -4.
-4, m, h
Let b = -43 - -43. Let o be (-10)/(-65) + (-50)/(-13). Suppose b = -o*h - 2*h. Sort -2/7, 5, h in decreasing order.
5, h, -2/7
Let s(f) = f**3 + 6*f**2 - 7*f + 4. Let v be s(-7). Suppose m + v = -m, -m = -2*z + 2. Let u be (-6)/12*z/(-1). Sort u, -2, -3 in decreasing order.
u, -2, -3
Let i(h) = h**2 + h - 4. Let m be i(0). Let f = -187 - -104. Let s = f - -86. Sort -5, s, m in ascending order.
-5, m, s
Let l(u) = 5*u**3 - 2*u**2 + 2*u - 1. Let c be l(1). Let a(d) = c*d - 5 + 0*d - d. Let i be a(2). Put 0, -2, i in descending order.
i, 0, -2
Let b be (1 + -2)/(-2*(-1)/(-10)). Suppose 36 = -4*r + 12. Let t be (r/18)/(1/(-18)). Sort 1, b, t in increasing order.
1, b, t
Let z be (14/49)/(3/7). Suppose 0 = -2*l, -2*w + 4*l + 0*l = 2. Put w, z, -7/5 in increasing order.
-7/5, w, z
Suppose 0 = 2*z + 5*r, 4*z = -4*r + 7 + 5. Suppose 0 = -z*u + 2*u - 3*g + 6, 0 = 5*g. Let y be -1 - ((4 - u) + -5). Sort 3, -1, y in increasing order.
-1, y, 3
Let b = -260 + 240. Let o = -6.1 + -17.9. Let q = o - b. Sort 5, -1, q in ascending order.
q, -1, 5
Let b(q) = 39*q - 350. Let k be b(9). Put k, 172, 3, -3 in decreasing order.
172, 3, k, -3
Suppose -23 = 2*n - n + 4*v, 40 = -5*n - 5*v. Let m = n + 9. Let l be 4/6*(m + -7). Sort -0.4, -2, l in descending order.
-0.4, l, -2
Let l be 0*8/16*-1. Let t be (-7)/2 + 2/(-4). Sort -1, t, l in decreasing order.
l, -1, t
Let l = -0.461 - -0.061. Put 16, 3/5, l, 25 in ascending order.
l, 3/5, 16, 25
Suppose 6*t - 10*t = -5*v - 15, t - v = 3. Sort -6, t, 15.
-6, t, 15
Let r = 191 + -974/5. Let l = r + 21/5. Sort 4, l, -1, -1/3 in ascending order.
-1, -1/3, l, 4
Let t = 20 + -18. Sort t, -3, -1, -27 in ascending order.
-27, -3, -1, t
Let b = 5 - 5. Let r = 5.61 + -5.9. Let x = r + 0.59. Sort b, x, 4 in descending order.
4, x, b
Suppose 0 - 2 = k. Let q(h) = -h**3 + 6*h**2 - 8*h. Suppose 28 = 2*j - 3*l - l, 4*j + 3*l = 1. Let m be q(j). Put k, 2, m in increasing order.
k, m, 2
Let x = 81 - 68. Put 5, x, -6 in increasing order.
-6, 5, x
Let g = -20 - -28. Suppose 4*n - 6*n = -g. Suppose -4*y - 16 = 2*t - 44, y + 15 = 5*t. Put n, -3, y in decreasing order.
y, n, -3
Let h = 1.1 + -3.8. Let p = 2.1 + 0.9. Let g = h + p. Sort g, 2, -1/2 in descending order.
2, g, -1/2
Let t = 44 + 13. Let f = 57.4 - t. Let a = -164/5 + 33. Sort a, f, 1.
a, f, 1
Suppose 5*w + 9 - 2 = -3*c, 2*w + 4 = 0. Suppose 4*b - 2*k = -0*b + 10, 0 = -3*b - 5*k + 27. Let h = c + b. Sort -3, h, 2 in increasing order.
-3, 2, h
Let d = 33 + -27. Let b = -4 + d. Let n be 1/(1*(-12)/b). Put -0.5, -6, n in descending order.
n, -0.5, -6
Let v be (2/(-4))/(2/12). Let j(o) be the first derivative of 4*o**3/3 + 3*o**2 + 18. Let h be j(-2). Sort 1, v, h in decreasing order.
h, 1, v
Let h = -95.6 + 96. Put 0.8, h, 0.3 in increasing order.
0.3, h, 0.8
Let c(f) = 3*f - 39. Let s be c(19). Suppose 7*x - 4 = -s. Sort x, 2, 0, 19 in descending order.
19, 2, 0, x
Suppose 3*f - 21 = -3*w, -5*f = -3*w + 5*w - 20. Suppose -f*m - 2 + 0 = 0. Let d be (-60)/(-25) - 2/5. Put d, m, 3 in descending order.
3, d, m
Let y = -1521 - -1523. Sort -1, -1/4, y, -199 in decreasing order.
y, -1/4, -1, -199
Suppose 23 = 8*z - 17. Let h be (-3)/(-9)*(0 - (-4 - z)). Sort -1/4, h, 1, 4.
-1/4, 1, h, 4
Let z = -32 - -30. Let u(i) = -5*i - 7. Let j be u(z). Sort -4, j, 21 in decreasing order.
21, j, -4
Suppose -5*z + 28 = 4*b, 1 - 3 = 5*b - 3*z. Suppose 3246*i - 49 = 3197*i. Put -5, -1, i, b in increasing order.
-5, -1, i, b
Let s = 48.7 + -49. Put s, 8, 4, 2/9 in descending order.
8, 4, 2/9, s
Let z = 73/7 + -313/28. Sort 0.01, -1/12, -2, z.
-2, z, -1/12, 0.01
Suppose 11*n + 4*f - 6 = 12*n, -3*n = -2*f - 2. Let b be (6/(-10))/((-49)/(-35)). Sort n, b, 8.
b, n, 8
Let x(q) = -83*q + 746. Let m be x(9). Put 56, -6, m in descending order.
56, m, -6
Let b = 0 + 2. Let x = -8 - -6. Sort -5, x, b.
-5, x, b
Let w(a) = 13*a**2 - 95*a - 3. Let k be w(7). Sort -4, k, 1, -5 in increasing order.
k, -5, -4, 1
Let a(s) = 14*s**2 - 267*s + 14. Let c be a(19). Let i = -2 - -6. Sort 3, -1, c, i in decreasing order.
i, 3, -1, c
Let v = 520 - 519. Sort v, -3, 0.55, 3.
-3, 0.55, v, 3
Let z be (-1 - -2 - 1) + -