/7, 1
Let l(x) be the first derivative of -x**3/3 - 9*x**2/2 - 5*x + 85. Let h be l(-8). Put h, 0.4, -4 in decreasing order.
h, 0.4, -4
Let x = -2586 - -2597. Put x, 2, -0.4, 0.09 in descending order.
x, 2, 0.09, -0.4
Let g = 2971 - 2725.2. Let q = 246 - g. Let a = 5 + -7. Put -0.3, -2/13, q, a in ascending order.
a, -0.3, -2/13, q
Let h = -5589 - -5587. Put 168, 5, h, 4 in descending order.
168, 5, 4, h
Let x be ((-45)/5 - -7) + 77/55. Put x, -5, -399 in descending order.
x, -5, -399
Let u(x) = x**3 + 16*x**2 + 36*x - 34. Let k be u(-13). Put k, 2, -3, -6 in decreasing order.
k, 2, -3, -6
Suppose 5*f = 2*r - 29, 20 = -4*f - 3*r + 6. Suppose -p - p = -56. Let c = p - 32. Put 3, c, f, 5 in descending order.
5, 3, c, f
Let d = 9.12 + -0.12. Let f = d - 8.9. Let q = 0.3994 - -22.6006. Put f, q, -0.4 in increasing order.
-0.4, f, q
Let x = -15081 - -15083. Sort -5, -71, x.
-71, -5, x
Let a be 140/(-20) - 3*100/(-44). Put -12.8, -1, -3, a in decreasing order.
a, -1, -3, -12.8
Suppose -5*n + t = 1564, 18*t = 3*n + 17*t + 938. Let a = -373 - n. Sort -3, a, -5 in ascending order.
a, -5, -3
Let p = -738 - -738.27. Let b = -0.26 + p. Put 2/15, b, -0.4 in increasing order.
-0.4, b, 2/15
Let y be (-1 - -27)/(-2) - 3/3. Let i be y*11/((-462)/(-36)). Put -2, i, 3, 1 in decreasing order.
3, 1, -2, i
Let z = 949.483 - 949. Let u = z - 0.383. Put u, -0.3, 0, 5 in ascending order.
-0.3, 0, u, 5
Let t(l) = 5*l**2 + 4*l + 3. Let n be t(-2). Let s be (-8)/144*-234 - (10 + 2). Sort -5, s, n, 0 in descending order.
n, s, 0, -5
Let n = 0.124 + 3.876. Sort 22, -2/5, -16, n in ascending order.
-16, -2/5, n, 22
Let z be -2 + (8 + (-2)/2 - -2). Put z, -2, -11 in decreasing order.
z, -2, -11
Let z(c) = 20*c - 1065. Let s(t) = 5*t - 266. Let l(x) = 9*s(x) - 2*z(x). Let j be l(48). Put 0, j, -5 in decreasing order.
0, -5, j
Let m = -0.814 - -2.714. Put 6, 0.3, -4, -0.4, m in decreasing order.
6, m, 0.3, -0.4, -4
Let z = -130.3 + 73.2. Let w = z - -54.1. Sort w, -2, 0.3, 7.
w, -2, 0.3, 7
Let n = 21493 - 21002. Put 1, n, -4 in decreasing order.
n, 1, -4
Let c(z) = -z**2 - 5*z + 88. Let s be c(7). Let w(x) = -x**2 + 5*x + 27. Let y be w(-4). Sort y, -12, s in descending order.
s, y, -12
Let j(p) = 14*p - 4. Let f be j(1). Suppose 9*w - 11 = 97. Suppose 3*k - w = -18. Sort f, -5, k in decreasing order.
f, k, -5
Let j = -673 + 671. Suppose 6 = -2*c + t, -4*c + t - 1 = 15. Let p = -6.8 - -24.8. Sort j, c, p.
c, j, p
Let j = -18 - -11. Let w = 239835 - 239830. Sort w, j, 3, -2 in descending order.
w, 3, -2, j
Let l = 11597 - 34790/3. Let x = 5 - 5. Sort -9, x, l.
-9, x, l
Suppose -2*o = -4*d + 7 + 3, d - 5 = 0. Sort 2, -2, o, 191.
-2, 2, o, 191
Let u = -441.3 + 385.3. Sort u, -5, -4, 0.05 in descending order.
0.05, -4, -5, u
Let s be 2 + -4 + (-747)/(-415). Sort -4, 1/9, s, 3, 5 in descending order.
5, 3, 1/9, s, -4
Let u(y) = -y**3 + 3*y**2 + 6*y - 4. Let c be u(4). Suppose c*s - 8 = 2*s. Let i = -45 + 43. Sort i, -5, s in decreasing order.
s, i, -5
Suppose 24*h = -46*h - 350. Sort h, 2, 76, 1.
h, 1, 2, 76
Let j = -29 + 14. Let d(k) = k**2 + 5*k + 1. Let n be d(-4). Let r = -116785 + 116784. Sort j, n, 5, r in descending order.
5, r, n, j
Suppose 0 = -3*c + 4*c + 4*o + 15, c + 2*o + 7 = 0. Let q be c/2 - (-42)/12. Sort -16, -2, q.
-16, -2, q
Let x(l) = -13*l**3 + 5*l**2 - 12*l + 6. Let p be x(1). Sort p, -4, 4 in ascending order.
p, -4, 4
Let h = 0.3 + -0.38. Let w be (5 - 246/54)*(-189)/(-42). Put -0.2, w, h in decreasing order.
w, h, -0.2
Let u(j) = -164*j + 1639. Let w be u(10). Sort -0.4, 3, 0.14, -2, w in descending order.
3, 0.14, -0.4, w, -2
Let k = 30.826 - -20.174. Put -17/2, 0.4, k in ascending order.
-17/2, 0.4, k
Let s = 4.4 - 3. Suppose 808 = 853*o + 5073. Suppose -4 = -5*d + 3*d. Sort -3, o, d, s.
o, -3, s, d
Suppose z - 835 = -3*k - z, 4*k - z - 1128 = 0. Let n = k + -282. Let l be -3*4/(-6) + 1. Put 2, -4, n, l in increasing order.
-4, n, 2, l
Let y = 26572 - 26571. Put y, -16, 0, 11 in ascending order.
-16, 0, y, 11
Let p = 0.024 + -4.024. Let g be (-3)/(-12) - (4 + 57636/208). Let u = g + 281. Put p, u, 3, 1 in decreasing order.
3, 1, u, p
Suppose 3*i = -m - 8 - 14, 7*i + 50 = -2*m. Sort i, -2, -14, 4.
-14, i, -2, 4
Let q = -233 - -274. Suppose -5*w = 4*l - q, -w + 23 = 2*w + 2*l. Sort -3, 1, w, 3 in descending order.
w, 3, 1, -3
Suppose 0 = 2*p, 139*g - 142*g + 2*p = 0. Sort -4, -13, g, 4, 2 in decreasing order.
4, 2, g, -4, -13
Suppose 0 = -m + w + 3, -113 = -m - w - 126. Let l = 1 - 3. Sort m, l, 4, -3 in descending order.
4, l, -3, m
Let b be (92/48)/((-3)/12)*-54. Suppose -415*j + 1 = -b*j. Let s(d) = -d**3 - 4*d**2 + 4*d - 6. Let x be s(-5). Sort 0, x, j in descending order.
j, 0, x
Let z be (-19 - 697/(-34))*(-4)/2. Let d = 15 + -12. Sort 55, 1, d, z.
z, 1, d, 55
Let r = -1409 - -1408.8. Put r, 5, 16 in increasing order.
r, 5, 16
Let d(h) = 3*h - 24. Let a = -7 + 9. Suppose -2*k + a*t + 24 = 0, 4*k - 1 = k - 4*t. Let u be d(k). Put -4, u, 1 in decreasing order.
1, u, -4
Let m be (16/(-2) + 1748/230)*-5. Put -5, 0, m, -193, -2 in increasing order.
-193, -5, -2, 0, m
Let p(x) = -x**2 - 17*x - 25. Let h be p(-16). Let c = h - -25/3. Let f = 7/6 + c. Sort 5, f, -0.2.
-0.2, f, 5
Let w(h) = h**3 - 29*h**2 + 28*h - 6. Let t be w(28). Suppose 3*x - 2*n - 13 = 0, -3*x = -0*x + 2*n - 17. Let k be x*((-1)/5 - -1) + -6. Sort t, 1, k.
t, k, 1
Suppose -i + 3*l = 3, -i = -4*l + 3 + 2. Let z = 181 + -186. Let y(d) = -d**3 - 5*d**2 - 6*d - 9. Let x be y(-4). Sort i, 2, x, z.
z, x, 2, i
Let i be (((-972)/(-30))/27)/(((-3)/(-10))/1). Sort -2, 70, -3, i in decreasing order.
70, i, -2, -3
Let l = -33177/5 + 6635. Sort 2/17, -0.06, 0, l, -1 in decreasing order.
2/17, 0, -0.06, l, -1
Suppose 2*o - 26*o = 3*o - o. Put 5, 19, 4, o in decreasing order.
19, 5, 4, o
Suppose 2*p + 5760 = -2*h, -11502 = -1210*p + 1214*p + h. Sort 1, p, 3.
p, 1, 3
Suppose 50*h = -82*h - 5*h + 6713. Put 13, -4, h in increasing order.
-4, 13, h
Suppose 3*y = -2*k + 17, -2*k = -3*k + 4*y - 8. Let u be 310/5 - (-2 - -10). Put u, -1, k in decreasing order.
u, k, -1
Suppose -6*j = -1894 - 1304. Suppose 23*u - j = 1008. Put 2, -5, 0, u in ascending order.
-5, 0, 2, u
Let g = 8609/14 + -4294/7. Put -30, g, -1/11 in increasing order.
-30, -1/11, g
Suppose -16*f + 11*f = 30, 3*b = -3*f - 12. Put b, -5, -2, -36 in ascending order.
-36, -5, -2, b
Let n(v) = -14*v - 805. Let j be n(-58). Sort j, -2, 8, 5 in decreasing order.
8, j, 5, -2
Let v = 94.06 - 94. Put 0.4, -60, v, 1/3 in ascending order.
-60, v, 1/3, 0.4
Let k = 204 + -144. Suppose 341*l + k = 338*l. Put 1, 5, l in increasing order.
l, 1, 5
Let j(d) be the second derivative of d**4/12 + 37*d**3/6 + 101*d**2/2 - 83*d. Let l be j(-34). Put l, 12, 5 in descending order.
12, 5, l
Let b = 253/236 + -19/59. Sort 1/4, -5, b, 70/17 in increasing order.
-5, 1/4, b, 70/17
Suppose -30*n + 135*n = 0. Put 1, -4, 243, -2, n in descending order.
243, 1, n, -2, -4
Suppose -c - 10*s = 60, -3*s + 213 = -2*c + 231. Sort c, -0.14, -0.026.
-0.14, -0.026, c
Let l be ((-616)/(-40))/(28/105 + 3/(-15)). Put 5, 4, l in increasing order.
4, 5, l
Let p be 16/56*(3 + (-58)/17). Sort p, 1, -104, -0.1.
-104, p, -0.1, 1
Suppose 0 = 4*y - 5*x + 19, 4*y + 0*x + 2*x = 2. Let k = 123 - 118. Suppose -5*h = -k*z - 50, 0*z - z = -4*h + 25. Put h, -11, y, -2 in decreasing order.
h, y, -2, -11
Let n(s) = -s**3 - 41*s**2 - 72*s + 233. Let u be n(-39). Sort u, -102, 0.2, 1/2 in increasing order.
-102, u, 0.2, 1/2
Let f be (6/(-30)*1)/((-1)/45). Let j(d) = -d**2 + d + 4. Let m be j(3). Sort 2, f, 1, m.
m, 1, 2, f
Suppose k + 156 - 58 = 0. Let s = 0.39 + 0.61. Put k, s, -0.1 in descending order.
s, -0.1, k
Let o be (((-2)/10)/((-66)/(-220)))/(130/(-3783)). Sort -4, 17/3, o in increasing order.
-4, 17/3, o
Suppose -4*u - 171 = -179. Let m(i) = -42*i + 79. Let l be m(u). Suppose 10 = -2*c + 3*z, -3*c + 2*z - 7 = 3. Put l, c, 1 in descending order.
1, c, l
Let n = 10002 + -10001. Put 162, 2, n, -2/3 in descending order.
162, 2, n, -2/3
Let i = 1135.5 - 841. Let v = -294 + i. Sort 3, v, 3/8.
3/8, v, 3
Suppose 5*a = 2*o + 6 + 6, 0 = 4*o + 3*a - 28. Let b(k) = -k**3 + 5*k**2 - 6*k + 8. Let j be b(o). Sort -2/19, -0.6, j.
-0.6, -2/19, j
Let k be (2 + -4)/((-2)/(-1)). Let q be (24/6)/(16/20). Put q, k, 