 + 8. Let m(p) = 3555*p - 31996. Let a be m(9). Let k be (-2)/((-2)/(-60)*4). Put k, v, a in decreasing order.
a, v, k
Let o = -6517 + 6518. Put -16, -4, 35, o in descending order.
35, o, -4, -16
Suppose -19*m - 202 + 16 = 99. Put -0.4, 1, 2/3, m, 0.2 in decreasing order.
1, 2/3, 0.2, -0.4, m
Suppose -m = -1 - 1. Suppose 3*y - 9 = -3*k, 0*k - 4*k + 24 = -2*y. Suppose -4*z + 13 = -3*v, -k*z - 4 = -2*v + 5*v. Sort m, 5, v in ascending order.
v, m, 5
Let s = -0.03 - -9.03. Suppose 0 = 2*x - 2, -2*t = -3*x + 2*x + 3. Let l = t - -4. Sort 0.3, l, s in descending order.
s, l, 0.3
Let l be (-10 - 1232/48)*3. Sort -2, -3, l, 4, 0 in ascending order.
l, -3, -2, 0, 4
Let j = 1.5 - 11.5. Let l = -13.1531 + 16.1531. Sort l, -1, j, -4.
j, -4, -1, l
Let h = 4527 - 4528. Let o = -126 - -186. Put -3, h, o in descending order.
o, h, -3
Suppose 0 = -4*o - o + 15. Suppose 14 = -15*i - 1. Let z be ((-3)/(-3))/i + (-136)/(-119). Sort -0.2, o, -1/9, z.
-0.2, -1/9, z, o
Let g = 176 - 279. Let s be g/2060*10/(-4). Put 1/3, -1.2, 2/3, s in descending order.
2/3, 1/3, s, -1.2
Let l be (1064/57)/(1/(-3)). Let m be 37/7 + 16/l. Let c(p) = p**2. Let f be c(-1). Sort m, f, -16 in descending order.
m, f, -16
Let x(y) be the second derivative of y**4/6 - 9*y**3/2 + 37*y**2/2 + 4*y + 7. Let z be x(12). Sort 9, 2, 3, z in decreasing order.
9, 3, 2, z
Suppose -4*d + w - 16 = 0, -3*d - 6 - 6 = -w. Sort 12, -1, d, -13 in decreasing order.
12, -1, d, -13
Let j be (-2)/(-16)*6 + (-9)/(-468)*13. Put j, 5, 17, -4, -1 in descending order.
17, 5, j, -1, -4
Let t = -21530 - -21529.5. Let v = 8 - 11. Let i be 60/35 - (2 - 0). Sort v, -2/9, i, t in descending order.
-2/9, i, t, v
Suppose -29*p - 73 = 12*p + 32*p. Sort 6/103, 0.5, -10, -0.3, p.
-10, p, -0.3, 6/103, 0.5
Let s be 12/(-21) - (-86)/(-301)*25/(-2). Put -18, s, -4, -5, 1 in ascending order.
-18, -5, -4, 1, s
Let r = -2.92 - 0.08. Let q = 395.6 - 400.346. Let l = q + -0.254. Put l, r, 1, 8 in increasing order.
l, r, 1, 8
Let b = 805.8305 - -0.1695. Let r = -805 + b. Let a = -0.86 - -0.8. Put a, r, 0.3 in descending order.
r, 0.3, a
Let z = 0.335 - 19.335. Let c = z - -17. Let a = -25.46 + -0.54. Put 1/5, c, 0, a in ascending order.
a, c, 0, 1/5
Let i = 1756.1 - 1765.1. Sort 0, 3, i, 0.3, 1.
i, 0, 0.3, 1, 3
Let x be (-172)/2*4/(-12). Let n = x - 28. Let p be 3 - 14/(-4)*(-12 + 11). Put -4, n, p in ascending order.
-4, p, n
Let h = 133.0309 + -0.0309. Let p = h + -133.02. Put p, -0.5, -0.2 in increasing order.
-0.5, -0.2, p
Let p = 21084 + -20404. Put 0, -1/2, p in decreasing order.
p, 0, -1/2
Let t = 489.7 - 441. Let f = -49 + t. Put -1/5, f, 3/7 in descending order.
3/7, -1/5, f
Suppose g + 2 - 1 = 0. Suppose -5*z - 22*s = -18*s - 15, -s = 11*z - 33. Sort g, z, -5, 1 in ascending order.
-5, g, 1, z
Let i(b) = -b**2 - 16*b - 35. Let a be i(-13). Let j = -19 + 29. Suppose -u - 22 = j*u. Put u, -1/10, a in ascending order.
u, -1/10, a
Suppose -3*j + 15 = -i, -2*j + 6 = -4*i - 14. Let y = 5515 + -5513. Sort -2, 0, y, j.
-2, 0, y, j
Let u = -23.53 + 24.53. Put -1/3, -5, u, -37, -4 in decreasing order.
u, -1/3, -4, -5, -37
Suppose 0 = -4*b + u, 7*b + 19 = b - b - 3*u. Let o be (9/6)/(1/2). Put b, o, 6 in descending order.
6, o, b
Let j = 76 - 74. Suppose 1 = j*w + 5, -w = 3*f - 4. Sort 23, 1, -3, f.
-3, 1, f, 23
Let h = -105 - -110. Suppose -5*j = -3*t - 0*t + 12, 0 = -5*j + h*t - 20. Let k be ((-5)/(-20) + 1)*4*1. Put j, k, 1 in descending order.
k, 1, j
Let z(y) = -3*y + 43. Let r be 693/108*2 - (-1)/6. Let n be z(r). Sort 5, -8, 10, n in decreasing order.
10, 5, n, -8
Let y = -10 + 41/4. Let j = 25 - 23. Suppose -5 = -h + d - 0*d, j*h - 4 = -4*d. Put 3, -3, y, h in decreasing order.
h, 3, y, -3
Let n(m) be the first derivative of m**2 - 29*m - 2. Let v(k) = -2*k**2 - 14*k - 8. Let s be v(-2). Let q be n(s). Put 1, q, 4 in decreasing order.
4, 1, q
Let z = -2477.9 + 2362.9. Sort -1, -2, z, 1.
z, -2, -1, 1
Suppose 6*q = 4*h + 2*q, 3*h = -5*q - 24. Let m be (-2)/3*(-17 - -20). Let g be m + (-9)/(-5) + 248/(-310). Sort 3, h, g in descending order.
3, g, h
Let z(s) = -s**2 - 35*s + 552. Let d be z(-47). Let u = -141 - -136. Put d, u, -7 in decreasing order.
u, -7, d
Let h = -5471 - -5471.3. Sort 0.13, 2, h, -43 in decreasing order.
2, h, 0.13, -43
Suppose 0 = -a + 6 - 2. Suppose -6*f = 169 - 49. Let z be -1*(f - (-25)/5). Sort z, -5, a.
-5, a, z
Let n be 60/(-9)*((-6)/(-4) + 0). Let q be -5*(6 - (-52)/n). Put q, 1, -3 in ascending order.
q, -3, 1
Let g be (-24)/(-144)*15*11/(495/4). Let j = -3 + 3.5. Let a = -0.4 + j. Sort g, 2, -0.5, a in descending order.
2, g, a, -0.5
Suppose -25*c + 69 = 119. Sort -7/6, c, 5 in decreasing order.
5, -7/6, c
Let x = -11.5537 - 0.4463. Sort 2, -1/4, -1, -3, x in decreasing order.
2, -1/4, -1, -3, x
Let y be (-66)/(-84) + 2/(-7). Suppose 77*t - 171 + 17 = 0. Let s = -1.3 - -1.6. Sort s, y, -0.1, t in descending order.
t, y, s, -0.1
Let i be 504/27*1 + -20. Sort 1/6, i, -0.4, -91, -5 in ascending order.
-91, -5, i, -0.4, 1/6
Let p = 3 - 5. Suppose -24 = -6*f + 30. Suppose 7*q - f*q = -12. Sort -3, p, 2, q.
-3, p, 2, q
Let t = -54 + 32.5. Let q = -17.46 - t. Let o = q + -0.04. Sort o, -0.1, -2.8 in decreasing order.
o, -0.1, -2.8
Let p = -9 - -10. Let z be (4/(-16) - (-23)/(-4)) + 3 + -2. Sort p, z, 5 in decreasing order.
5, p, z
Let j = 36.06 - 35. Let n = j + -0.66. Sort n, 0, -3 in descending order.
n, 0, -3
Let g = 15803 - 15807. Put g, 2/3, 253 in descending order.
253, 2/3, g
Let b = -25 + 65. Suppose -5*s + b = 5. Suppose -s*c + 12 = -2. Sort 0, c, -1 in ascending order.
-1, 0, c
Let s = 0 - -0.2. Let l = 28558 + -28558.022. Sort -0.3, l, s, 3.
-0.3, l, s, 3
Let j = -9761 + 9828. Put j, -3, 19, 3 in increasing order.
-3, 3, 19, j
Suppose -o + 3*b = 19, 3*o - o + 23 = 3*b. Put 16, 3, 4, o, 6 in descending order.
16, 6, 4, 3, o
Let p = 222 - 123. Let m = p + -50. Let q = m - 48. Put 2, 4/9, q, 4/7 in increasing order.
4/9, 4/7, q, 2
Let q = -302.198 + 0.198. Let k = q + 302. Put k, 1/7, 4, 3/8 in descending order.
4, 3/8, 1/7, k
Let s = -51 + -20. Let b = 7525 - 7601. Let m = s - b. Put -0.3, -3, m in ascending order.
-3, -0.3, m
Suppose -24*z - 126 + 654 = 0. Put z, -19, 2/15, 3/4, 0 in descending order.
z, 3/4, 2/15, 0, -19
Let h be ((-299)/(-26) - 12)/((-117)/(-36)). Put 4, -1/3, h, 6/25, -5 in decreasing order.
4, 6/25, h, -1/3, -5
Let c = 4352 + -4354. Sort c, -14, 2/5, -5 in increasing order.
-14, -5, c, 2/5
Let x(m) = m**2 + 3*m - 49. Let h be x(5). Put -1, 0, h in decreasing order.
0, -1, h
Suppose 0 + 1 = -2*w - 5*n, 5*n - 8 = w. Let l = -18 - -27. Put 3, l, 0, w in increasing order.
w, 0, 3, l
Let m(x) = -x**2 + 88*x + 1547. Let g be m(-15). Sort 5, 35, -14, g.
-14, g, 5, 35
Suppose 0 = -2*q - 1026 + 552. Let t = -233 - q. Put -2, 0, t, -13 in descending order.
t, 0, -2, -13
Suppose -4*c + 12 = 3*d, -4 = -5*c + 3*d - 16. Let i = -35 + 33. Sort -11, i, -1, c.
-11, i, -1, c
Let d(i) = -i**2 + 45*i + 142. Let p be d(-3). Put 2, -436, p in descending order.
2, p, -436
Let h be (0 - -20)*(1 + 6/(-10)). Suppose 3*k + h = -k, 2*k = -4*d + 200. Let a = d - 46. Sort 1, 6, 4, a in increasing order.
1, 4, a, 6
Let s(v) = -v**2 - 6*v - 3. Let o be s(-5). Suppose o + 4 = 3*g. Let m be (-28)/(-371)*(-2862)/(-36). Sort m, 0, g in decreasing order.
m, g, 0
Let r = -13 - -17. Let g be 2/(-4)*(0 + (14 - 14)) + -1. Put g, 2/7, -0.02, r in decreasing order.
r, 2/7, -0.02, g
Suppose 453 + 339 = 218*g - 298. Sort 13, g, -5, 0, -3 in decreasing order.
13, g, 0, -3, -5
Let t(l) = 56*l + 45. Let y be t(-10). Let g = y - -510. Sort 11, 5, g in increasing order.
g, 5, 11
Let q = -9031 - -8915. Put q, 1, -16 in decreasing order.
1, -16, q
Let g = 0.22 - -0.08. Suppose 405*n - 117 = 366*n. Put 8, 0.5, n, g in ascending order.
g, 0.5, n, 8
Let v = 2.91 - -0.09. Let n = 33308 + -33337. Put 1/6, 0.5, v, n in ascending order.
n, 1/6, 0.5, v
Let y = -11.98 - -8.5. Let b = -0.08 - y. Let q = -166 + 169. Sort b, -1/2, -0.3, q in decreasing order.
b, q, -0.3, -1/2
Let h(q) = -q + 1. Let v be h(5). Suppose -5*x + 23 = -2*p + 3*p, 3*p - 1 = 2*x. Suppose -2*a = f + p, a - 5 = 5*f + 6*a. Sort v, f, 0 in increasing order.
v, 0, f
Let f(m) = 10*m**2 - 8*m - 18. Let w be f(-2). Let h(q) = 3*q**2 - 5. Let g be h(4). Let t = g - w.