15. Sort x, 19, -5, l.
-5, l, x, 19
Let c be (-7 - 1)/(180/(-144) - 6/8). Sort -3, 0, c, -7, 2 in descending order.
c, 2, 0, -3, -7
Let l = 2.58 + -0.58. Let a = -35 + 49. Let c = a - 13.8. Sort c, l, -1 in increasing order.
-1, c, l
Suppose -z + 317 - 20 = 0. Let b = z + -280. Sort -2, b, -4, 1 in ascending order.
-4, -2, 1, b
Let u(r) = 2*r - 17. Let t(f) = 12*f**2 + 3*f - 4. Let p be t(1). Let g be u(p). Sort 0, -3, g, 1 in descending order.
g, 1, 0, -3
Suppose -8 = 4*s + 5*z, -3*s - 6 = -5*s - 5*z. Suppose 0*o - 22 = 7*q + o, -5*q - o = 14. Sort q, 0, s.
s, q, 0
Let p = -1226349/13700 + 2238/25. Let u = 21941/3836 - p. Sort u, 0.2, -2.
-2, 0.2, u
Let i = -381 + 156. Let v = -229 - i. Let g = 5 + -1. Put v, 1, -0.2, g in ascending order.
v, -0.2, 1, g
Suppose -r = -4*r - 6. Let o = -35657 - -249602/7. Put r, o, -1 in decreasing order.
o, -1, r
Let t(p) = -67*p + 273. Let g be t(4). Sort -43, g, 2.
-43, 2, g
Let m(c) be the second derivative of -c**5/20 - c**4/2 - 5*c**3/6 - 3*c**2/2 - c. Let l be m(-5). Suppose 176*u = 1799*u. Put l, 9, u in decreasing order.
9, u, l
Let u be (-3)/(-15) - (-4 + 5/25). Suppose -28*y + 14 = -22 - 48. Put 2/5, 0.5, u, y in decreasing order.
u, y, 0.5, 2/5
Let a be (-3 - 33/(-5)) + ((-240)/(-50))/12. Sort a, -3, -5, 353 in decreasing order.
353, a, -3, -5
Suppose -2811 = -96*m - 10203. Sort -5, 3, m, -4 in descending order.
3, -4, -5, m
Let r = -2608 + 3102.8. Let c = -497 + r. Sort 0.5, c, 0.3, -2.
c, -2, 0.3, 0.5
Let b(n) = -2*n**3 + 4*n - 10. Let o be b(2). Let c be (-4)/o - (-11)/(-9). Sort -2, 0, c in descending order.
0, c, -2
Let s(z) = -z**3 + 83*z**2 + 4*z - 333. Let o be s(83). Sort -4, 3, o, 1, -3 in descending order.
3, 1, o, -3, -4
Let g be -1 - (-12)/(-10) - 28/35. Put 0.025, -3/5, -0.5, g in decreasing order.
0.025, -0.5, -3/5, g
Suppose 2666 = -31*h - 5*h + 2486. Sort -102, h, -9, 1 in decreasing order.
1, h, -9, -102
Let t = 3 + -3.6. Let l = 0.05 + 0.45. Sort l, -8, t.
-8, t, l
Let t be (-172)/(-10) + -13 + 1652/140. Let y be (-15)/(-4) - (-11)/44. Put y, t, -5 in descending order.
t, y, -5
Let b = 4.4 + -4. Let u = -4439 - -4436. Put b, 16/3, u, 1/8 in descending order.
16/3, b, 1/8, u
Let m = -4238 + 4237.6. Put -1/9, m, 3/2, -2, -0.08 in ascending order.
-2, m, -1/9, -0.08, 3/2
Let q = 27.08 - 28. Let s = q + 0.62. Put 1, -1, s in descending order.
1, s, -1
Let f = -9295 + 9299. Sort -11, f, 1 in decreasing order.
f, 1, -11
Let k = -1 + 1.01. Let p = 66.47 - 66.67. Put 2, p, k in ascending order.
p, k, 2
Let f = -11966393813/1794 + 6670230. Let x = f + -1/598. Sort -5/4, 0.1, x in decreasing order.
0.1, x, -5/4
Suppose -b = 4*w + 3, -6*w = -9*w + 3*b - 21. Sort w, -4/5, -2/427, 6.
w, -4/5, -2/427, 6
Suppose 3141*n - 3160*n = 95. Sort -12/7, 5, n, -4, 2/15 in increasing order.
n, -4, -12/7, 2/15, 5
Let o = -335078.885 - -336125. Let k = o + -1041. Let g = k - 0.115. Sort 3, 1, g.
1, 3, g
Let a = 0.72 - 1.22. Let p be (-9)/(27/7)*(3 + -2). Sort p, -1/4, a in descending order.
-1/4, a, p
Let h(t) = -t**2 - 43*t - 189. Let y be h(-5). Suppose 2*d + 4*w - 2 = 8, 0 = -2*w. Suppose -y - 24 = -d*o. Put 11, o, -3 in decreasing order.
11, o, -3
Let o = 49526/5 + -9905. Sort o, -2, 876.
-2, o, 876
Suppose 308 = 2*x + 26*x. Suppose g - 5*w = 6, 4*g + 4*w + x = -13. Put g, 5, -1 in ascending order.
g, -1, 5
Let m = 5824/17 + -342. Sort 0, m, 1/5, 0.3, 3 in descending order.
3, m, 0.3, 1/5, 0
Let t = 44633 - 44189. Put -2, t, 1 in decreasing order.
t, 1, -2
Let c be (12/(-10))/(-4 + 22/5). Put 0, c, -21 in decreasing order.
0, c, -21
Let c be (-70)/12 + (5/40)/((-222)/(-1480)). Let s be -3*(0 - (-2)/2). Sort c, -10, -2, s.
-10, c, s, -2
Let j be ((-116)/290)/(14/35). Let h = -5 + 1. Let u = h - -7. Put 5, u, j in ascending order.
j, u, 5
Suppose n - 2*o - 47 = 0, -3*n = -5*o - 117 - 29. Put -4, 0, n, -1 in decreasing order.
n, 0, -1, -4
Let g = 82949 - 82954. Let z(k) = -k + 3. Let r be z(2). Let b = -2 - -4. Sort g, b, -4, r in decreasing order.
b, r, -4, g
Let m = 10876.6 - 10877. Put -0.06, m, -0.8, 1, -0.3 in increasing order.
-0.8, m, -0.3, -0.06, 1
Let o be 1/3*6 - 2. Suppose -4*u - 2*t + 5 + 47 = o, 0 = 3*u - t - 49. Let g = 20 - u. Sort -3/8, g, -4, 4/7 in descending order.
g, 4/7, -3/8, -4
Suppose -6*h = -19*h - 3536. Let y = h + 274. Let p(r) = 5*r**3 + r + 2. Let v be p(-1). Sort 3, y, -1, v in descending order.
3, y, -1, v
Let b(n) = -n**3 + 8*n**2 - 8*n + 10. Let w be b(7). Suppose -2*d - k = -d + 2, -2*k = 5*d + 4. Suppose d = -55*y + 56*y. Put 5, 1, y, w in ascending order.
y, 1, w, 5
Suppose -33 = -3*z - 4*w, -8*w + 1 = 25. Put z, -6, -5 in descending order.
z, -5, -6
Let b = 216 - 206. Suppose 11*c - b = 16*c. Sort -1/2, -1, 0, c in decreasing order.
0, -1/2, -1, c
Suppose -11*q = 24*q - 70. Suppose 16*w = -14 - q. Put w, -6, 4, 0 in descending order.
4, 0, w, -6
Let p = -0.6 + 0.5. Let m = 1.56 - 0.16. Let u be (1/(-9 - -20))/((-2 + 3)/(-6)). Put p, -0.3, u, m in decreasing order.
m, p, -0.3, u
Let k be 4/6 - (-52)/12. Let v = 1955 + -1955. Put v, 3, k, 32 in decreasing order.
32, k, 3, v
Let q = 13790 - 13788. Sort q, 5, 4, 1, 34 in decreasing order.
34, 5, 4, q, 1
Let x(t) = t - 66. Let b(h) = 66. Let n(q) = 2*b(q) + 3*x(q). Let y be n(25). Sort -5, -1, y in ascending order.
-5, -1, y
Let n be 126/(-98) - -2 - 1*(-8)/(-28). Sort -1, n, 1/9, -5, 5 in descending order.
5, n, 1/9, -1, -5
Suppose 787 = 4*j + q, 5*j + 10*q = 13*q + 971. Suppose r = -3*v + j, v - 2*r = -4*r + 72. Sort v, 0, 2 in increasing order.
0, 2, v
Let y be (12/88 - 5510/(-209)) + -25. Suppose -2*k + 3 = -3*j + 10, -3*j + 27 = 3*k. Sort j, 1, y.
1, y, j
Let q = -6 - -8. Let k = 396.93 + -399. Let v = k - -2.57. Put -2, q, v in decreasing order.
q, v, -2
Suppose -5*x - 4*v + 45 = -9*v, -x - v + 3 = 0. Let s be (-7)/(56/64) + x. Suppose -5 = 3*m + 2*m. Put s, m, -5, -9 in decreasing order.
m, s, -5, -9
Let b = -16.75 - -17. Let f = b + -3.25. Let a = -224 + 224. Sort -5/4, f, a in ascending order.
f, -5/4, a
Let h = 6379 + -6306.13. Let c = 0.13 + h. Let k = 76 - c. Sort 0.1, 5, -0.2, k in descending order.
5, k, 0.1, -0.2
Let y be 21/(-6)*72/(-63). Let v(u) = -5*u - 10. Let a be v(-1). Let g = -7 + 5. Put g, a, y in ascending order.
a, g, y
Let j(t) = 3*t - 5*t**3 - 2*t**2 - 1 - t - 4*t. Let n be j(-1). Let x(p) = 64*p + 4931. Let g be x(-77). Sort n, g, 5, 0 in ascending order.
0, g, n, 5
Let i = -0.3 + 0. Let y(t) = t**2 + 281*t - 1717. Let b be y(6). Let c = 12/5 - 16/5. Put i, b, 0.05, c in descending order.
b, 0.05, i, c
Let r = -2949 - -2950. Sort 4, r, -10, -1 in descending order.
4, r, -1, -10
Let w = -137/72 - -17/8. Let h = 0.41 - 0.41. Let c = -2 + 5. Sort w, h, c in decreasing order.
c, w, h
Let z be ((-36)/(-20))/(14/(-70)). Let t be 42/z - (-4)/(-12). Put -17, t, -1, 3 in increasing order.
-17, t, -1, 3
Suppose 0 = u - 6, 3*l + 48 = 92*u - 94*u. Sort 2, l, -50 in descending order.
2, l, -50
Let y(z) = 23*z + 111. Let p be y(-5). Let a(l) = -5*l**2 + 10 - l**3 + 2*l**2 + 7*l + 0 + 0*l**2. Let v be a(p). Sort 1, v, 2, -1 in ascending order.
v, -1, 1, 2
Let p be -2*(1 - 6/5). Let n = 0.0746 - 336.0746. Let t = n - -335. Put p, t, -19 in descending order.
p, t, -19
Let t be (-3)/(-2)*-2 + -2. Suppose 5*n + 10 = 0, 13*v - 15 = 12*v + 5*n. Sort v, t, -18.
-18, t, v
Let d(u) be the first derivative of u**3/3 + u**2/2 - 2*u + 47. Let o be d(1). Let g(p) = -p**3 + p**2 + p. Let q be g(-1). Put 7, o, q in descending order.
7, q, o
Let k(r) = -r**3 - 10*r**2 + 37*r - 1. Let i(l) = -l. Let s(m) = -2*i(m) + k(m). Let f be s(-13). Sort f, -31, -5 in decreasing order.
f, -5, -31
Let v(f) be the second derivative of f**5/20 + f**4/4 - 5*f**3/6 - 7*f**2/2 - 62*f. Let d be v(-4). Put 2, d, 5 in descending order.
5, 2, d
Let p = 4 - 7. Let t = -152542 - -20288194/133. Let c = 10/19 - t. Put p, c, 0, 2 in decreasing order.
2, 0, c, p
Let n = 19 + -39. Let u = 27928 - 27926. Put u, n, 2/5 in ascending order.
n, 2/5, u
Let s be (0 - 1)/((-5)/(-135)*9). Let p be s*(-16)/(-12)*-2. Sort 0, p, -4.
-4, 0, p
Suppose 0 = -2410*c + 2414*c - 2176. Suppose c = w + 33*w. Sort 2/3, w, 0.2.
0.2, 2/3, w
Suppose -14*u = 30*u - 1672. Suppose 11 - u = 9*l. Let k(j) = 3*j + 1. Let y be k(1). Sort y, l, -9, 5 in decreasing order.
5, y, l, -