4, s in decreasing order.
4, 2, a, s
Let t = 1811.7 - 1816.7. Put -2/7, t, -6/11, 43.8 in increasing order.
t, -6/11, -2/7, 43.8
Suppose w = -52*k + 57*k - 170, -820 = 5*w + 5*k. Sort 3, 1, w, -5.
w, -5, 1, 3
Let o(n) = -n**2 + 169*n - 2604. Let l be o(152). Put l, 1, 0, -17 in descending order.
1, 0, -17, l
Let p = -1.38 + 1.371. Let l = -0.11 + p. Let c = l + 4.119. Sort 0, -1/6, c.
-1/6, 0, c
Let x(f) = 9*f + 84. Let i be x(-9). Suppose 48 = 4*o + 56. Put 1, 5, i, o in ascending order.
o, 1, i, 5
Let i = -0.7 - -0.8. Suppose 36*j = 35*j + 6. Let h be -2*(j - (-85)/(-10)). Sort -1, 1, i, h.
-1, i, 1, h
Let x = -58 - 25. Let v = 138 + x. Let k = v - 60. Sort -3, 4, k, -9.
-9, k, -3, 4
Let a(k) = -11*k - 1. Let j be a(-1). Let f = j + -16. Let d be -5 + 0 + 98*28/686. Sort d, f, 0 in descending order.
0, d, f
Suppose 0 = 164*h - 114*h + 4550. Put 23, -4, h in descending order.
23, -4, h
Let h = -31 - -22. Let y(x) be the third derivative of x**6/120 + 2*x**5/15 - 5*x**4/12 - 2*x**3/3 + 2*x**2. Let n be y(h). Put -5, n, 0 in descending order.
n, 0, -5
Let k be ((1 - -2) + -7)/((-8)/12) - 5. Put -24, -5, -2, k, 0 in descending order.
k, 0, -2, -5, -24
Let d = 755 - 752. Let y = 43 + -48. Put -6, d, y in descending order.
d, y, -6
Let k be (-2)/(-4) - (-2)/(-4). Let b be 0*1/3*(-2)/8. Let f(p) = 2*p**2 - 4. Let j be f(b). Put 1, j, k, 3 in descending order.
3, 1, k, j
Let o = -175 - -176. Let m be ((-3)/(-6) - o) + 108/8. Sort 2, m, -2, 3.
-2, 2, 3, m
Let d be ((-16)/3)/((33/9 + -2)/5). Sort 25, d, -11 in descending order.
25, -11, d
Suppose -5*j + 0 = 4*k - 7, 4*k + 2 = -2*j. Let s = -47/45 + 14/15. Sort s, 0.4, j, 5 in decreasing order.
5, j, 0.4, s
Suppose 17 = -4*c - 2*x - 19, 3*c = -4*x - 32. Let q = 265 - 545. Let s = 3642/13 + q. Sort -4, 2/3, c, s in decreasing order.
2/3, s, -4, c
Suppose -2*t + 23 = 79. Let d(p) = -p**2 + 22*p + 1561. Let v be d(52). Sort t, v, -3 in decreasing order.
v, -3, t
Suppose -i + 2 = 0, -25*k + 4*i = -16*k + 26. Sort -4, -50, 0, k in descending order.
0, k, -4, -50
Suppose 4*d = 93 - 89. Put -4, -23, 7, d in descending order.
7, d, -4, -23
Suppose 0*h + 112 = -7*h. Let p = h + 19. Suppose -2*l + p = l. Put l, -2, 0 in descending order.
l, 0, -2
Let p = -22108 + 22083. Put 153, p, -1 in increasing order.
p, -1, 153
Let a = -0.1 + -0.9. Suppose 0 = 4*x + 3*g - 36 - 97, -4*x + 3*g + 139 = 0. Let n be 12/(-2) + -32 + x. Sort n, -2, a in decreasing order.
a, -2, n
Let u(k) = -8*k**2 + 24*k - 7. Let o be u(0). Put o, -5/9, -2/3 in decreasing order.
-5/9, -2/3, o
Let q = 8803/15 + -587. Let u be 10/(-8)*(-16 - -15). Put -35, q, u in decreasing order.
u, q, -35
Let k be (35/20 + (-14 - -11))*-4. Put -1, -2, 62, -5, k in increasing order.
-5, -2, -1, k, 62
Let t = -15.015 - -19.5. Let q = 4.5 - t. Sort 0.1, 1, q, -3 in descending order.
1, 0.1, q, -3
Let s = 40 - 40.4. Let b = -34 - -56. Let r = b - 20. Sort -7, s, r.
-7, s, r
Let q(b) = -2*b**3 - 410 - 8*b**2 + 218 + 4*b + 206. Let o be q(-4). Sort 1, -5, o in ascending order.
-5, o, 1
Let i(t) be the first derivative of -3/2*t**2 + 16 + 5*t. Let c be i(2). Put 6/11, -1/2, c in decreasing order.
6/11, -1/2, c
Let l = -27 + 40. Suppose -l = 3*n - 2*r - 5, n + 3*r = 1. Let s = 53 + -57. Put n, s, 0.2 in decreasing order.
0.2, n, s
Let o = -29702 - -29697. Suppose 0 = -r - 0*h - 5*h - 19, 4*r + 156 = -4*h. Sort -1, r, o.
r, o, -1
Let b(o) = 3*o + 18. Let k be b(-4). Suppose 0 = 16*w - 13*w - k. Put w, 3/14, -1, 2/15 in ascending order.
-1, 2/15, 3/14, w
Let f = 24179/96668 + -3/24167. Sort f, -0.3, -3/4, 0.4, -1027.
-1027, -3/4, -0.3, f, 0.4
Let p = -135 - -175. Suppose 0 = -12*h - p - 20. Put h, 2/21, -4 in ascending order.
h, -4, 2/21
Suppose 131 = -5*z + 131. Suppose z = 53*r - 50*r - 3. Sort -6, -2, r, -4 in decreasing order.
r, -2, -4, -6
Let k be 21/70*18 + (-3 - 3). Let g be (-1 - 42/(-54))*(-6)/1. Sort g, -3, k in descending order.
g, k, -3
Let j(i) = -i - 5. Let m be j(-3). Let h be ((3/2 + 0)/(-6))/(11/(-44)). Put 13, m, h in descending order.
13, h, m
Let v = -862.497 + 3.497. Sort -0.3, v, 3/7, 4 in decreasing order.
4, 3/7, -0.3, v
Let i be (-2)/(-40) + 33*(-49)/(-1260). Put 1/2, -11, 0.2, i, 3/5 in descending order.
i, 3/5, 1/2, 0.2, -11
Let y(v) = 109*v + 3594. Let r be y(-33). Suppose d - l + 10 = 0, 3*d = -0*d + 2*l - 30. Put 5, d, -4, r in decreasing order.
5, r, -4, d
Suppose 6*s - 1324 = 8*s. Let f = -4636/7 - s. Sort -2, 1, f in descending order.
1, f, -2
Let w be ((4 - 2) + -7)*(-2 - -1). Let j be 40/2660*19 - (-116)/(-14). Put j, w, -2 in descending order.
w, -2, j
Suppose 0 = -3*l - 0*z - 4*z + 151, 5*l - 241 = -4*z. Suppose -m - l = -6*m. Let u be 3*(-3)/m - 4. Put 3, u, 2 in decreasing order.
3, 2, u
Let z(k) = -k**2 - 58*k + 164. Let j be z(3). Put -20, 1, j, 5, -5 in ascending order.
-20, j, -5, 1, 5
Let m = 82.2 + -82. Let c = 581 - 586. Sort 0.5, c, m, 0.06 in ascending order.
c, 0.06, m, 0.5
Suppose 3*j = 3*r - 9, r - 4 = -j + 1. Suppose -8*i + 65 = 713. Let a = i + 571/7. Sort 2/23, j, a, 5 in increasing order.
2/23, a, j, 5
Let p be (-9)/(-18) - -10*(-2)/24. Sort p, -1, 2/17, -5/11.
-1, -5/11, p, 2/17
Let r = 0 - -1. Let k = -27.042 + 26.8. Let n = -0.362 - k. Put -3, -1, n, r in ascending order.
-3, -1, n, r
Let y = 122 - 1588/13. Let d = 298971.2 - 298971. Sort d, -0.31, 2, y in ascending order.
-0.31, y, d, 2
Let t = -1 + 1.1. Let n = 131.19 + -9.99. Let o = n - 121. Sort 0, t, o in ascending order.
0, t, o
Suppose 49*h - 592 + 218 = -129. Put 385, h, 0 in descending order.
385, h, 0
Let s = -2.0745 + -24.9255. Let l = 2.06 - 0.06. Put s, -1/6, l in decreasing order.
l, -1/6, s
Suppose -74 + 10 = -16*k. Suppose 2*o + k*b + b = 44, 2*b = 8. Suppose -o = -5*g + 3. Put g, -6, -3 in decreasing order.
g, -3, -6
Let p be 2/(-3) + (-4)/(-6). Let o(d) = 2575*d**2 + 36048*d - 25. Let j be o(-14). Sort p, -5, j, -2.
-5, -2, p, j
Let b = 15 - 19. Let x be (-1)/(-9) - 5/15. Put x, -0.2, b in decreasing order.
-0.2, x, b
Suppose 2*p = 5*m - 458, 20*m + 160 = 22*m + 5*p. Suppose 22*v + 5*q = 18*v - m, 4*v - 3*q = -74. Sort -4, v, 2 in descending order.
2, -4, v
Let c = 167.36 + -164. Let b = -4.36 + c. Sort b, 2, -0.3, -1/4.
b, -0.3, -1/4, 2
Let r = -294.83 - -40.53. Let k = -254 - r. Put 1, -2, -0.05, k in decreasing order.
1, k, -0.05, -2
Let a(u) be the third derivative of 0*u + 23*u**2 - 13/6*u**3 + 1/8*u**4 + 0. Let o be a(5). Put -2, o, -6 in ascending order.
-6, -2, o
Let u be ((-3)/1*(-1)/(-2))/(3/6). Sort u, 1405, 1 in increasing order.
u, 1, 1405
Let y(h) = -9*h**2 + 638*h + 717. Let v be y(72). Put 4, 3, v, -1, -21 in decreasing order.
4, 3, -1, v, -21
Let m(i) = -i**2 + 55*i + 1407. Let v be m(-19). Suppose 10*w = 5*w - 25. Let c be 1*-2 + 1 - -1. Sort w, v, c in decreasing order.
v, c, w
Let n = 4834 - 4833.5. Put 0.171, n, -1 in descending order.
n, 0.171, -1
Suppose 0 = -5*k + h - 0*h - 37, 2*k + 7 = 3*h. Let z = -7 - k. Let p be (0/(-2) - (z - 1)) + -1. Sort 0, p, -9 in descending order.
0, p, -9
Let q(p) = -17*p**2 + 130*p + 129. Let o be q(-1). Put o, -3, 5 in decreasing order.
5, -3, o
Let x(v) = -v**3 - 6*v**2 + 2*v + 8. Let c be x(-6). Let l(q) = q**3 + 4*q**2 - 3. Let j be l(c). Let u = -48900 + 48896. Put u, 0, j, 5 in descending order.
5, 0, j, u
Let p = 116.7 - 112. Let o = 4.7 - p. Suppose 0 = -3*y - 4*d - 5, 3*y + y - 3*d = -15. Put 1/15, o, y, 2/13 in increasing order.
y, o, 1/15, 2/13
Let a = 22 - -14. Let c = a - 34. Suppose 2*j - 5*t + 9 = 0, 0 = j + 3*j + c*t - 18. Sort 9, -3, j, -4 in increasing order.
-4, -3, j, 9
Let l = -16133 - -16135. Put -12, 0, 27, -0.2, l in increasing order.
-12, -0.2, 0, l, 27
Let j(t) = t**3 - 9*t**2 + 6*t + 1. Let c be j(3). Let i be ((-168)/c)/(3/10*1). Suppose 3*k - 1 + i = 0. Sort 1, 3, k.
k, 1, 3
Let u(j) = j**2 - 6*j + 7. Let s be u(5). Suppose s*q + q = 9*q. Put 1, q, 42 in increasing order.
q, 1, 42
Let m(w) = 3*w**2 - 46*w - 29. Let t be m(16). Suppose -32 + 33 = 3*y + 5*i, -11 = t*y - i. Put y, -14, 4 in ascending order.
-14, y, 4
Let t be 2 + 68 + 5 + 2. Suppose t*r + 1104 = 69*r. Sort 2, r, 1 in increasing order.
r, 1, 2
Let n = 1809 - 1828. Sort -2, n, -14 in descending order.
-2, -14, n
Let i be (-81)/18*((-272)/(-6))/2. Let l = -107 - i. Sort 8, l, -3 in decreasing orde