a - 15 = 0, -3*a - 4 = -5*s + 1. Let g(z) = -3*z**2 - 2*z - 2*z**2 - 2*z**2 + 4*z**3 - 2*z**3 + 3. Let h be g(3). Put h, s, 2 in decreasing order.
s, 2, h
Suppose -1086 = 2*u - 5*u - 3*p, -724 = -2*u + p. Let x = u + -366. Sort x, 0.1, -2/49, -0.2.
x, -0.2, -2/49, 0.1
Suppose 29 = 2*u - 2*s + 27, 5*s = -4*u + 22. Sort 0, -3, u, 4, -74.
-74, -3, 0, u, 4
Let k = 5917 + -47333/8. Sort k, 1, 2/15, -2/15, -3/7.
-3/7, -2/15, 2/15, k, 1
Suppose -92*b + 95 = 3. Suppose 370 = -4*r + 2*c, -2*r + 0*c = c + 175. Sort r, b, -3, 5.
r, -3, b, 5
Suppose -4*d = -5*s - 55, 0 = 5*d - 8*d + 5*s + 35. Suppose d*x + 57 = x. Put x, -4, 1 in descending order.
1, x, -4
Let j = -200.4 + 29.6. Let z = 171 + j. Sort z, -5, 38 in increasing order.
-5, z, 38
Suppose i = d + 2*d - 34, -5*d - 4*i + 34 = 0. Suppose -d = -17*c + 7. Let b be (-6)/(-9) - 12/(-9). Sort b, c, 3 in descending order.
3, b, c
Suppose -5*l + 57 = 5*p - p, 42 = 3*p + 3*l. Put -4, -23, p, 5 in descending order.
p, 5, -4, -23
Suppose 0 = -5*a + 4*h + 29, -4*a = 5*h + 9 - 65. Suppose -2*f - 5 = q, -3*f - 5 = -2*f + q. Suppose y + 0*y = -5*x + 8, -5*x + y + 2 = f. Sort x, -3, a.
-3, x, a
Let z be ((-48)/(-80))/(1/(-5)). Let d(a) = -a - a**2 - 3 - 3*a + 0*a**2 + 4. Let r be d(-3). Sort z, r, 1 in descending order.
r, 1, z
Let v(f) = f**3 - 12*f**2 - 15*f + 29. Let u be v(13). Suppose -2*n + 5*n - g + 5 = 0, -u*n - 4*g + 5 = 0. Sort 0, 1, n.
n, 0, 1
Let w = 0.45 + -278.45. Let g = 290 + w. Put g, 1, 4 in ascending order.
1, 4, g
Let u(h) = -h**2 - 3. Let b be u(0). Let p be -2 - (0 + 2 + (-4 - b)). Let d be 2/(0 - 4/10). Put p, -8, d in descending order.
p, d, -8
Suppose -2*s = -0*s + 6. Let y = -6540 + 6536. Sort s, 1, 7, y in decreasing order.
7, 1, s, y
Suppose -37*y - 86789 = -86678. Let o(m) = m**2 - 3*m + 4. Let w be o(3). Let p = 0 + 3. Sort w, 1, y, p in descending order.
w, p, 1, y
Let q = -10.6 + 9. Let i = q - -1.6. Let o = -624 - -624.2. Sort -2/15, o, i, -2 in ascending order.
-2, -2/15, i, o
Let m(b) = -2*b**2 + 14*b - 4. Let u be m(4). Let z be (-10)/(-6) - 1/(-3). Suppose -2*h = z*h - 12. Sort h, u, -4, 4.
-4, h, 4, u
Let l(j) = -j**2 + j - 4. Let t be l(0). Suppose 2*a + 8 - 129 = 7*a + 4*q, 0 = 2*q - 22. Put t, -2, a in descending order.
-2, t, a
Let n = 1.366606 + -0.366606. Let u = -1165 + 1674. Sort u, n, 5 in decreasing order.
u, 5, n
Suppose -1 = -2*y + 5*s - 6, y - s = 2. Suppose 0 = n - y*p - 64, -2*p - 299 = -5*n + 2*p. Suppose -58*t - 7 = -n*t. Sort -2, t, -4 in descending order.
t, -2, -4
Let j = -207.1 + 276.1. Sort 10/3, j, 1/4 in decreasing order.
j, 10/3, 1/4
Suppose 5*c + j = 6*j + 50, 5 = -3*c - 4*j. Sort c, 3, -19 in descending order.
c, 3, -19
Let x = 11 + -7. Let f(o) = -72*o + 796. Let s be f(11). Suppose -5*n - s*t = -9, -2 = -33*n + 26*n + 5*t. Sort n, x, -1 in descending order.
x, n, -1
Suppose j - 28*d + 23*d + 14 = 0, 5*d - 20 = -5*j. Put 5, j, -9, 11, -5 in increasing order.
-9, -5, j, 5, 11
Let o = 2 - -1. Let i(a) = -360*a - 8874. Let m be i(-25). Put m, o, -1 in ascending order.
-1, o, m
Let o = -0.65 + 0.05. Let y be (-1 + (-59)/(-58))/(1417/218). Let h = y + -757/1131. Sort -2, 4/9, o, h.
-2, h, o, 4/9
Let z = -53 + -94.5. Let v = z - -147. Put v, -0.2, 0.1 in increasing order.
v, -0.2, 0.1
Let h = 187.98 + -198.98. Put 0.01, -0.4, -0.1, -1, h in ascending order.
h, -1, -0.4, -0.1, 0.01
Let f be 7 + (-7 - -3 - -5) + -1. Let k = -6 - -3. Put k, -1, f in descending order.
f, -1, k
Suppose -5336 - 10589 = -13*n. Sort -0.5, 4, n.
-0.5, 4, n
Let k = 1.0156 + -0.0156. Put k, 2/7, -27 in descending order.
k, 2/7, -27
Suppose u + 2*u = -x - 12, u - 5*x + 4 = 0. Let m be 125/30 + 2/(-12). Let a be (97/97)/(2/(-8)*2). Sort m, u, a in increasing order.
u, a, m
Let f = -1265 - -1265.561. Let u = f + -0.061. Put -2/3, 11, u in descending order.
11, u, -2/3
Suppose 4*f - 5*q = -0*f + 249, -5*f = q - 275. Sort f, -2/9, 4/7, -3 in decreasing order.
f, 4/7, -2/9, -3
Suppose 64*c - 109*c - 103 = -13. Sort c, 7218, 2 in increasing order.
c, 2, 7218
Let x(a) = -251*a - 3*a**3 + 166*a - 58 + 32*a**2 - 5 + 2*a**3. Let d be x(29). Put -3/4, d, 0.5 in ascending order.
d, -3/4, 0.5
Let n(t) = -t**3 + 71*t + 68*t - 135*t - 31. Let v be n(0). Sort -4, 3, v in descending order.
3, -4, v
Let p = -87 - -95. Let x be ((-28)/6 - -4)/(p/(-84)). Sort 0, x, 3 in increasing order.
0, 3, x
Suppose 37*w - 34*w - 6 = 0. Suppose 22*p - 25*p = -3. Sort -23, w, p in increasing order.
-23, p, w
Let c = -2206 - -2211. Put -4, c, 643 in increasing order.
-4, c, 643
Let s = -1/233 - -477/2563. Let c = -8.4 - -8.343. Let j = -6.057 - c. Put -0.4, j, s in descending order.
s, -0.4, j
Let b = 1 + -1.09. Let q = -8/6811 + 13710/74921. Sort -0.1, q, -4, b in decreasing order.
q, b, -0.1, -4
Let g be (-200509)/258 - (-2)/12. Let h = -783 - g. Put 2, h, 5 in ascending order.
h, 2, 5
Let t(d) = 3*d**2 - 148*d + 150. Let j be t(1). Sort 2, -2, -5, 77, j.
-5, -2, 2, j, 77
Suppose -19*p + 5375 = 5299. Sort p, 188, 2 in decreasing order.
188, p, 2
Let r = 1.905 + 0.095. Let m = -96 - -96.4. Sort m, r, -3, -1 in descending order.
r, m, -1, -3
Let d be (-34)/3 - (-57)/171. Suppose -5*m - 2*p = -5*p - 17, -p - 7 = -2*m. Let i be (1/3)/((-2)/(-6)). Put i, m, d in decreasing order.
m, i, d
Let f = 6 + -9. Let r = -3.37249 + 3.51249. Sort 0.4, f, -2, r in descending order.
0.4, r, -2, f
Let s = 124 + -117.26. Let z = 1.74 - s. Let v = 2.354 + -2.4. Sort v, 0.3, z in increasing order.
z, v, 0.3
Let c = -21102 - -21101.8. Let s be (6/(-8))/(3/2). Sort 12, 3/7, c, s.
s, c, 3/7, 12
Let n = -12.18 - -2.18. Let b be 68/(-153)*6/16. Sort 5/3, b, n in ascending order.
n, b, 5/3
Let i be 97 + (-15)/((-15)/(-3)). Let f be i/8 - 18/(-72). Let d be 505/1015 - f/28. Put 0.2, 5, d in decreasing order.
5, 0.2, d
Suppose -5*q + 480 = 5*h, -6*h - 180 = -8*h + 2*q. Let u = h + -91. Sort 4, u, -29, 1 in increasing order.
-29, 1, u, 4
Let l be 72/(-18) - (184/(-24) + (-3)/9). Sort 3, -1301, l in increasing order.
-1301, 3, l
Suppose -8*h + 2*h - 372 = 0. Let r = h - -87. Suppose 0 = 21*m - r*m - 40. Put 1, m, -1, 0 in decreasing order.
1, 0, -1, m
Let t = -31.9 - -25.14. Let x = t - 0.24. Let d = -1 - -1.3. Put x, 0.4, d, -5 in ascending order.
x, -5, d, 0.4
Let u(c) = -2*c**3 - 65*c**2 + 33*c - 161. Let f be u(-33). Put f, -1, -3 in decreasing order.
-1, -3, f
Let a(y) = -y**2 + 44*y - 480. Let j be a(21). Let i = -1.7 - 6.3. Sort j, i, -1 in decreasing order.
j, -1, i
Suppose 23*s = 4991 - 1196. Suppose 42*x + s = 9*x. Put 0, 3, x in decreasing order.
3, 0, x
Let g(h) = -44*h - 1489. Let k be g(-36). Put 7, k, -4 in decreasing order.
k, 7, -4
Let h = 0.279 - -0.221. Let v = -7.3 + 3.3. Let a = -5.06 + 5. Sort v, a, h in decreasing order.
h, a, v
Let i(r) = -22 + 0 + 9*r - 10. Let q be i(4). Let k be 10*((-2)/(-1))/(-4). Sort -1, 3, k, q in descending order.
q, 3, -1, k
Let n(d) = d**3 - 2*d**2 - 2*d - 4. Let b(y) = -13*y + 11. Let f be b(1). Let t be n(f). Put t, -1, 3 in decreasing order.
3, -1, t
Let y be -33 - -25 - (-12 + 15/5). Sort y, -436, 3, 4 in decreasing order.
4, 3, y, -436
Let y be (-44)/(-33)*(-114)/(-4). Suppose y*f - 39*f + 19 = 0. Let z = 20 - f. Put -5, -1/3, z in descending order.
z, -1/3, -5
Let y be 12/15*(-20)/(-8). Let o be 80/(-50) + y*(-9)/(-30). Put -4, o, 4 in decreasing order.
4, o, -4
Let h(i) = 0*i + 40500 + i**2 - 40554 - i. Let u be h(8). Sort 4, u, 0, 1 in increasing order.
0, 1, u, 4
Suppose 17*r - 44 = 21*r + 18*r. Put r, 5675, 4 in descending order.
5675, 4, r
Let q be 2/(-120)*-22 - 12/24. Let p(v) be the second derivative of v**3/2 + v**2 + 6*v. Let b be p(-2). Put -0.3, b, q, 0.1 in increasing order.
b, -0.3, q, 0.1
Let g(l) be the first derivative of -l**4/12 + 3*l**3/2 - 17*l**2/2 - 6*l + 35. Let r(a) be the first derivative of g(a). Let b be r(7). Sort 40, b, 0.
b, 0, 40
Suppose 5 - 17 = 4*f. Let z be 46 + 4891/(-134) + (-1)/2. Put f, 1, z in decreasing order.
z, 1, f
Let w = 0.09995 - 0.19895. Put 0.2, 5, -1, 2, w in descending order.
5, 2, 0.2, w, -1
Let k = 3470 + -3470. Put -2/49, k, 2, 3 in descending order.
3, 2, k, -2/49
Let m be (-6)/4 + 203/(-14). Suppose -3*p = -2*o - 29, 7*o - 12*o - 5*p + 15 = 0. Put 2, m, o in ascending order.
m, o, 2
Let d(m) = -m**3 + 5*m**2 + 5. Let s be d(5). L