) + 60/(-45). Put 69, n, 0 in decreasing order.
69, n, 0
Suppose -3*k - 19 = -4. Suppose -5*y + 4*p + 31 = 0, 3*p = 5*y + p - 23. Suppose g - y = 2. Sort 0, g, k, -3 in decreasing order.
g, 0, -3, k
Let r(u) be the second derivative of 5*u**4/12 + u**3/2 + u**2 + 16*u. Let m be r(2). Suppose 0 = -m*g + 33*g - 5. Put -2/15, g, -4 in decreasing order.
g, -2/15, -4
Let a = -8171 - -8166. Put a, -15, 3, -14, -1 in decreasing order.
3, -1, a, -14, -15
Suppose 0 = 112*k - 43*k + 966. Put 2, 1, k in increasing order.
k, 1, 2
Let i be (8/(-2))/(-20 + 1269/63). Sort i, -38, 3.
-38, i, 3
Let q be 0 + ((-10)/6)/((-10)/30). Suppose p = -q*t - 16, 3*p - 26 = -2*t - 35. Sort -5, -69, t in descending order.
t, -5, -69
Let f be (-2 + 1)*(-4 + 0). Suppose -f*t + 100 = -2*t. Let l = t + -51. Sort 0, -8, l.
-8, l, 0
Let p be 119/28 + (-21)/84. Sort 16, -1, -3, p in decreasing order.
16, p, -1, -3
Let i be 105/(-147) + 4/(-14). Let h(s) = 77*s**2 - 2*s + 3. Let v be h(1). Put v, i, 1 in ascending order.
i, 1, v
Let y(o) = 9*o**2 - 96*o + 65. Let v be y(10). Sort 35, -6, v, 2.
-6, 2, v, 35
Let t = -42 + 45.45. Let k = 2.45 - t. Let f = 0.9 - 1. Sort k, -2.2, f.
-2.2, k, f
Let q(a) = 60*a + 2457. Let m be q(-41). Let p = 3 + 5. Sort -1, p, m, 4 in descending order.
p, 4, -1, m
Let r = 3134 - 3140. Sort -1, 2/7, r in descending order.
2/7, -1, r
Let o = -4.8928 - 0.1072. Let p be ((-82)/(-10) - 5) + 3/(-15). Put o, 0.05, p, 1 in decreasing order.
p, 1, 0.05, o
Let h = -0.3 + -0.57. Let q = h - -1.27. Suppose -n - 40 = 9*n. Sort -8, q, n, 1.
-8, n, q, 1
Let c = -9185 + 9185. Sort -9, c, 5, -5, -31.
-31, -9, -5, c, 5
Let s be 74/12 + 5/(4 + -34). Let q be 1/(s/(-615 + -3)). Sort 4, 2/3, q in decreasing order.
4, 2/3, q
Let t(s) = -2*s**2 - 4*s + 131. Let b be t(7). Put 3, b, 335 in ascending order.
3, b, 335
Suppose -4*b + 0*u + 30 = -3*u, -3*u + 15 = b. Let j be 7/14 - 6/4. Sort -3, j, b in descending order.
b, j, -3
Suppose -11*j = -12*j - 15 + 11. Let t = 0.2 + 0.2. Suppose 4*b = 5*i - 40, -2*b + 3*b = -3*i + 7. Sort i, t, j.
j, t, i
Suppose -2*s - 156 = -7*u - 133, 5*u - 16 = s. Put 4, -4, u, 59, -5 in decreasing order.
59, 4, u, -4, -5
Suppose 445*r - 414*r - 32 = 92. Put -0.2, 8, r, -1, -0.19 in ascending order.
-1, -0.2, -0.19, r, 8
Let x be (-1 - (-3)/15)/((-56)/(-20)). Put 2, -44, x in increasing order.
-44, x, 2
Let g = -5.6 + 6. Suppose -y - 23 - 25 = 2*i, 208 = -4*y - 4*i. Let d be 8 + 7/y*58. Sort g, d, 13 in descending order.
13, d, g
Suppose 5*z = 3*u + 130 + 150, -5*u - 454 = -2*z. Let t = u - -92. Put -4, -20, t, 3 in decreasing order.
3, t, -4, -20
Let p be 4*(((-1469)/65 - -21) + 6/10). Put 7, p, 43, 3, 4 in increasing order.
p, 3, 4, 7, 43
Let y(w) = -2*w**3 + 7*w**2 - 6*w + 3. Let l be y(2). Let v = 2 - 2. Suppose v*t + 13 = -t + 4*k, 0 = -t + l*k - 11. Sort -2, t, 4, 5 in increasing order.
t, -2, 4, 5
Suppose -9*g + 13 = -32. Let k(l) = -l**3 - l**2 + 6*l + 1. Let v be k(-3). Sort -66, v, g in decreasing order.
g, v, -66
Let n(a) = -2*a**2 - 4*a - 2. Let x be n(-1). Suppose 0 = -2*p - 10, -6*g + g - 3*p = x. Let r be g/1 + 4/2. Sort -5, r, 4, -2 in descending order.
r, 4, -2, -5
Let j be 1 + (10 - 8) + 2. Let g(b) = b**3 - 9*b**2 + 2. Let y be g(9). Suppose -3*x - 2*m + 1 = -15, y*x = -2*m + 14. Put j, -2, x, -4 in decreasing order.
j, x, -2, -4
Let n = 55767/7 - 7967. Let s = -7 + 5. Let o be (-40)/75 + s/(-10). Put -1/4, n, 0.1, o in descending order.
0.1, -1/4, n, o
Suppose -2*b - 10*s = -13*s + 30, 2*s + 20 = -2*b. Let d(v) = -v**3 - 11*v**2 + 16*v + 48. Let l be d(b). Sort -3, l, 25 in descending order.
25, l, -3
Let p = 205.8 - 201. Let d = p - 5. Suppose 3*a = 3*q - 21, -3*a + 5*a - 4 = -4*q. Put q, 2/9, d, 0.08 in increasing order.
d, 0.08, 2/9, q
Let z = 7.7 - 7.9. Suppose -5*n = 7*n + 384. Let g be n/6*(-27)/36. Put z, g, 0.1 in decreasing order.
g, 0.1, z
Let y = -8127 - -8119. Put -1/3, 2/11, -349, y in descending order.
2/11, -1/3, y, -349
Suppose 11*n - 395 = -109. Let k = n + -43. Let g be k/(-51)*(0 + -1 + -5). Put 3, 13, -5, g in increasing order.
-5, g, 3, 13
Let t = -3133 + 3136. Sort 867, -3, t in decreasing order.
867, t, -3
Let v be ((-135)/6)/(-3) - (-8)/(-4 + -12). Sort -1, -2, 2, v, -12 in decreasing order.
v, 2, -1, -2, -12
Let k(p) = 2*p**2 - 4949*p - 14860. Let a be k(-3). Suppose f - 4*l + 6 = 3*f, 3*f + 2*l + 7 = 0. Put a, 3, f in decreasing order.
a, 3, f
Let y = 159100 + -159095. Let l be -1 + 4/6 - 0. Put 2/7, y, l, -4 in descending order.
y, 2/7, l, -4
Let i(a) = -a**3 - 2*a**2 + 12*a + 13. Let f be i(-4). Let x(d) = d**3 + 18*d**2 + 18*d + 18. Let u be x(-17). Sort -8, u, f in decreasing order.
u, f, -8
Let v = -17.9 + 17.5. Let f = 330 - 328.25. Sort -2/17, v, f in descending order.
f, -2/17, v
Let o = -328 + 334. Let z be 21/o + (-12)/(-8). Suppose -12 = 4*t + 2*h + 18, 4*h = 12. Sort 4, z, t in ascending order.
t, 4, z
Let s = -3.00391 + 0.00391. Sort 4, -0.65, s in descending order.
4, -0.65, s
Let o = 3 + -4. Let j(h) = -h**2 + 8*h + 3. Let w be j(1). Suppose -5*r - 11 = -2*v - 71, r = -4*v - w. Put r, o, -5 in descending order.
r, o, -5
Let n be (-18)/448*35/(-30). Let y = 157/64 + n. Sort y, 1/17, 0.
0, 1/17, y
Suppose 0 = 7413*q - 7411*q - 22. Put -4, q, 1, 3, -2 in decreasing order.
q, 3, 1, -2, -4
Let f = -13.4 - -12. Let s = 788.2 + -788.5. Put s, 5, f in decreasing order.
5, s, f
Let w(u) = -3*u - 4. Let y be w(-2). Suppose 61 = -y*z + 69. Sort z, -4, -0.3, 1 in decreasing order.
z, 1, -0.3, -4
Let p = 510 - 521. Sort p, 1, -5, 0.12.
p, -5, 0.12, 1
Suppose -13 = -3*a - b, -a + 3*b - 9 = -0*a. Suppose 516*u - 518 = -1083 - 1499. Put -1, -2, u, a in descending order.
a, -1, -2, u
Suppose -4*h + 17 = -x, -125*h = -123*h - 2*x - 22. Let z(b) = 2*b**3 - 2*b**2 + 1. Let a be z(-1). Sort -9, h, a in decreasing order.
h, a, -9
Let s(c) = -1772*c + 10627. Let h be s(6). Sort 117, 42, h in decreasing order.
117, 42, h
Let c = 0 + 21. Let i = 14 - c. Let k = 231.6 - 229.6. Sort 3, k, i in descending order.
3, k, i
Suppose -5*u + 5*r + 15 = 0, -15*r + 50 = 6*u - 13*r. Put 20, u, -3 in increasing order.
-3, u, 20
Let l(g) = -g - 7. Let o be l(-6). Let a(p) = -4*p - 60. Suppose 7*k = -4*k - 165. Let n be a(k). Sort o, -4, n in decreasing order.
n, o, -4
Let w = 3039 - 3033.937. Let j = -303 + 303.063. Let y = j - w. Put -1, 3, y in decreasing order.
3, -1, y
Let x be (-3)/(3 + 15/(-4)). Let c(r) be the first derivative of r**3/3 - 3*r**2 - 11*r - 26. Let a be c(7). Sort x, a, 1.
a, 1, x
Let o = 3.89 + 0.11. Let f = -252/247 - 4864111/2964. Let k = f - -1642. Put 3, k, o in decreasing order.
o, 3, k
Let a = 73/15 + -14/3. Let c = -43239 + 43264. Sort a, -0.3, c, 0.1 in increasing order.
-0.3, 0.1, a, c
Let a be (-6)/14*(0 + -1). Let k = 306 + -305.529. Let n = k + -0.171. Put -1/4, n, a in descending order.
a, n, -1/4
Let n = 4707 + -4835. Sort n, 4, -12 in increasing order.
n, -12, 4
Let s = 16.7 + -17. Suppose 7*r - 33 = 3*r - 3*z, r + z = 9. Let i be (-3)/((-2)/3 - (-31)/r). Sort s, 3, i in ascending order.
i, s, 3
Let t = -688 + 691. Suppose 3*r = -0*r + 21. Suppose 5*f - r = 2*j, -6 = 4*j - 2. Put 3/4, -2, f, t in increasing order.
-2, 3/4, f, t
Suppose 24 = -2*m + 80. Let n be -2 + ((-20260)/m)/5. Let o = n - -147. Sort 0.3, 4, o in decreasing order.
4, 0.3, o
Let q = 2 - -3. Let v be -1 + -4 + 7 + 1. Suppose -c = -j + v, c + 3*j = -2 - 9. Sort c, -2/5, q, -1/3 in ascending order.
c, -2/5, -1/3, q
Suppose 22*g - 448 = 564. Sort 4, 5, g, 2 in descending order.
g, 5, 4, 2
Let r be 147/(-12 - -33) - (-26)/(-4). Sort 5, -2/3, -8, r, 1/5.
-8, -2/3, 1/5, r, 5
Let n = 16 - 24. Let v be n/(-28) - (-16)/(-7). Let f(d) = -23*d**2 + 49*d + 12. Let k be f(2). Put 4, v, k, 0 in decreasing order.
k, 4, 0, v
Suppose 9*v + 38 - 2 = 0. Let o(s) be the first derivative of s**4/4 + 4*s**3 - 6*s**2 - 2*s + 6. Let i be o(-13). Sort v, 2, i, 4 in ascending order.
i, v, 2, 4
Let m(w) = -831*w + 1657. Let t be m(2). Put 4, -3, t, -48 in ascending order.
-48, t, -3, 4
Let h(g) = -g**2 - 3*g + 5. Let f be h(2). Suppose -6*r = -11*r + 45. Suppose -r*z - 2 = -8*z. Sort f, 5, z in ascending order.
f, z, 5
Let f = 31.983282 - -0.037718. Let a = f + -32. Let p = -0.021 + a. Sort p, 5, 2 in decreasing order.
5, 2, p
Let k = -9.8 + -0.2