 15. Sort n, 3, 9 in descending order.
9, 3, n
Let z = 283/238 + -15/14. Put -1, 93, z in increasing order.
-1, z, 93
Let j = 0 - -7. Let z(l) = -12*l - 4. Let r be z(4). Let n be (8/r)/2*-2. Sort -0.4, j, n.
-0.4, n, j
Let r = -118 - -68. Let n = r - -28. Let w = n + 25. Put -2, w, 1/17 in increasing order.
-2, 1/17, w
Suppose -3*k - 8*y = -7*y - 4, 0 = 3*k - 4*y - 29. Put k, -2, 4/37 in ascending order.
-2, 4/37, k
Let f = -11 - -10.84. Let l = f - 9.84. Sort l, 0, -4.
l, -4, 0
Let r = -2.7 - -5.9. Let x = r + -2.2. Sort 4/3, -2/11, x.
-2/11, x, 4/3
Let o = 20 - 38. Let g = o + 17. Put 3, -4/7, g in decreasing order.
3, -4/7, g
Let z(w) = 6*w + 3. Let i be z(0). Put i, 4, -5, -1 in increasing order.
-5, -1, i, 4
Let t = -1003 - -1003.11. Sort -4, t, 0.4.
-4, t, 0.4
Suppose -296*l - 1 = -301*l - 4*p, 3*l - 4*p = 7. Put 0.08, 6, 0.5, l in ascending order.
0.08, 0.5, l, 6
Let b = -3.33 + 3.46. Sort -5, b, -0.5.
-5, -0.5, b
Let h = -0.26 - 1.74. Let i be (2 + 0)*(-3)/(-18). Put i, h, 1, -0.5 in descending order.
1, i, -0.5, h
Let i be (-2)/(-4) - (-1)/(-10). Let j = 22.331 + 0.569. Let s = -24.9 + j. Sort i, 0, s in decreasing order.
i, 0, s
Let t = -38 - -35. Let j(h) = -3*h - 50. Let c be j(-16). Sort 1, c, t, 2.
t, c, 1, 2
Let i = -2452 + 2447. Sort -1.8, 1/16, -0.3, i.
i, -1.8, -0.3, 1/16
Let m(v) = -2*v + 20. Let i be m(11). Let p = 6 + i. Let o(b) = -b - 1. Let x be o(4). Put p, x, 0 in descending order.
p, 0, x
Let p = 68/3 - 137/6. Let b(z) = -z**2 - 2*z + 1. Let u be b(-2). Let n be u/2*(-42)/28. Sort -7, p, n in descending order.
p, n, -7
Suppose o - 4*d = 15, 4*d = 4*o + 3*d + 15. Let z = -60 - -62.9. Let q = z + -3. Sort q, -2/13, o.
o, -2/13, q
Let h = 28 + -14. Let f be (-220)/h + 22/(-77). Let u = 16 + f. Sort u, -5, 7.
-5, u, 7
Let d(z) = z + 1. Let g be d(4). Sort 4, g, 41, 2 in descending order.
41, g, 4, 2
Let a = 8 - 7. Suppose 2 + a = u. Suppose 23 = 4*x + u. Sort 2, x, 1 in decreasing order.
x, 2, 1
Let u(k) = -2*k + 48. Let m be u(21). Let v be m + (-3)/(-3) + 0 + -3. Let b(d) = d**2 - 2*d + 2. Let a be b(2). Put v, -2, a in increasing order.
-2, a, v
Let b = -454 - -459. Sort -0.1, b, 0 in increasing order.
-0.1, 0, b
Suppose 5*h - 40 = 5*g - 205, -97 = -3*g + h. Sort 0, -4, g, -5 in descending order.
g, 0, -4, -5
Let u be -1*6/(-10) + 204/(-90). Sort -0.2, u, -34/5.
-34/5, u, -0.2
Suppose 13*f - 39*f + 390 = 0. Let w = 4 + -3. Sort w, -3, f in increasing order.
-3, w, f
Suppose 1 = d - c, 0 = 14*d - 11*d + 5*c + 37. Sort -1, 3, d, -13 in ascending order.
-13, d, -1, 3
Let f = -4.09 - -0.09. Suppose c - 15 = -4*t - t, -10 = -2*c. Suppose 3*x = t*x + 3. Sort x, f, -1/4 in decreasing order.
x, -1/4, f
Let v = 636/7117 - -1/647. Sort v, 5, 0 in decreasing order.
5, v, 0
Let k be (18 - 19)/(3 + -2). Let g be (1 - 0) + -3 + 2. Let v be -2 - g - (-8)/(-4). Sort k, 3, v in decreasing order.
3, k, v
Suppose 2*h - 5*h = 9. Let q = -20 + 21.4. Let z = 1.4 - q. Sort z, h, 4.
h, z, 4
Suppose 5*l - 12 = 3*l. Let a(j) = -j**2 + 1. Let s(q) = q**3 - 8*q**2 - 5*q + 9. Let t(x) = l*a(x) - s(x). Let r be t(3). Sort -3, r, 2 in increasing order.
-3, 2, r
Let k = 364 + -376. Let p(d) = -d - 20. Let q be p(0). Let u = q - k. Sort -3, u, -1 in decreasing order.
-1, -3, u
Let b = 148 + -152. Put 4, b, 5, 1 in descending order.
5, 4, 1, b
Let y(q) = 58*q + 288. Let g be y(-5). Let l = 0 + 0. Put l, g, 13 in descending order.
13, l, g
Let i = 188 - 188. Put -4, i, -1, 5 in descending order.
5, i, -1, -4
Let a = 9.26 + -8.4. Let d = a + -3.86. Let m = -0.2 - -0.4. Sort d, m, 3/7.
d, m, 3/7
Let l = -3.42 + 0.42. Put -2/7, 0, l in descending order.
0, -2/7, l
Let z be -2 - (7 - 10*(-5 - -6)). Sort z, -64, 3 in increasing order.
-64, z, 3
Let u(f) = 3*f**2 + 3*f. Let b be u(-2). Suppose 2*w = 4*m - b, 4 = 3*m - 2. Let c be ((-64)/(-40))/(4/10). Sort w, 3, c in descending order.
c, 3, w
Let j = 0.58 - 31.58. Let y = j + 31. Sort y, 5, -2.
-2, y, 5
Suppose -36*y + 40*y - 24 = 0. Suppose 2*g = 3*g - y. Put -1, g, 0 in decreasing order.
g, 0, -1
Suppose -6*n = 8*n - 28. Put n, 84, -5 in decreasing order.
84, n, -5
Let i be (4/(-10))/(2/10). Let p be (-1)/(-10) - ((-207)/(-45) - 3). Sort i, p, 4, -2/3.
i, p, -2/3, 4
Suppose -17*n - 37 = 82. Suppose 4*p = 16, -2*l + p + 16 = 4*p. Put n, 3, l in increasing order.
n, l, 3
Let d = 502.7 - 501. Sort d, -4, 2 in descending order.
2, d, -4
Let g(s) = -47*s**3 - 46*s**3 + 12*s**2 + 18*s + 94*s**3 - 20. Let r be g(-10). Let n = -1.21 + 1.3. Sort n, 3/5, r.
r, n, 3/5
Let u be 11/(-34 - -1)*-12. Put 3, u, -173, 0 in descending order.
u, 3, 0, -173
Let b = -7 + 2. Suppose -p + 3 = 3*o, -28 = 4*p - 3*o + 7*o. Let u = 9 + p. Sort u, 2, b in decreasing order.
2, u, b
Let x be (2 + 1)*(-19)/(-57). Sort -5, x, -2, 4 in decreasing order.
4, x, -2, -5
Let m(z) = -z**3 + 3*z**2 + 18*z + 2. Let l be m(-3). Sort -31, 4, l.
-31, l, 4
Let m be 2/2 - (-51)/17. Put -7, -50, m in ascending order.
-50, -7, m
Suppose -69*s = -54 + 537. Sort 0, -5, s, 5 in ascending order.
s, -5, 0, 5
Let k be 1 - 6/(-51) - (2 + -1). Let q(y) = -3*y**2. Let g be q(-1). Put 11, k, g in decreasing order.
11, k, g
Let r = -267 - -293. Put -3, -7, r in increasing order.
-7, -3, r
Let u(f) = f**3 + 4*f**2 - 16*f - 23. Let q be u(-6). Sort q, -1, -1/16, -2/19 in increasing order.
-1, -2/19, -1/16, q
Let m(t) = t + 2. Let d be m(-7). Let j be (72/200)/((-21)/35)*-5. Sort -3, d, j.
d, -3, j
Let b = 0.06 + -3.06. Let w be 385/(-60) + 1 + 1. Let a = -19/4 - w. Sort 5/3, a, b in decreasing order.
5/3, a, b
Suppose -20*y + 991 = 951. Let s be 1/(2/8*-1). Let h be (2 + 2)*3/s. Sort y, h, 5 in descending order.
5, y, h
Let j = 15 - 5. Let p = j - 6. Sort -1/5, p, 3/2.
-1/5, 3/2, p
Let l = -12 - -17. Let k(q) = -q**3 + 6*q**2 - 5*q + 12. Let r be k(6). Let f = r - -22. Sort 3, l, f in descending order.
l, f, 3
Suppose -6 = 2*j + 2*u, -3*u - 27 = -2*j - 8. Let f(c) = -3*c - 15. Let w be f(-5). Let h = w - -4. Put h, 7, j in increasing order.
j, h, 7
Let o = 7 + 5. Let q = 1.15 + -16.15. Let l = o + q. Put 0, 4/7, l in descending order.
4/7, 0, l
Let m be ((-272)/(-2244))/((-4)/6). Put 0.3, -0.08, m, 2 in descending order.
2, 0.3, -0.08, m
Let j = -70.5 - -70.47. Sort 3, j, 0.1, -0.9 in increasing order.
-0.9, j, 0.1, 3
Let b be -3*(-4 + (-28)/(-6)). Suppose -2*p = -5*p - 30. Let k = p - -5. Sort b, 0, k.
k, b, 0
Suppose -4*r + 16 = -8. Let z = r - 10. Suppose 0 = -k - 0 - 1. Put k, z, -6 in ascending order.
-6, z, k
Let i = -794 + 692. Sort -2/5, -0.5, i, -3 in descending order.
-2/5, -0.5, -3, i
Suppose 0 = -2*o + o - 4*v - 15, v + 37 = -5*o. Let q be (-24 - -30) + 12/(-2). Put o, -3, 5, q in increasing order.
o, -3, q, 5
Let k = 19 - 39. Let u = -17.4 - k. Let x = u - 3. Sort -5, x, -2 in decreasing order.
x, -2, -5
Let k = 13.87 - -1.13. Let x = k + -10. Let w = -104/3 - -35. Sort w, x, 0.3.
0.3, w, x
Suppose -4*x - 20 = x. Let r = 171 + -174. Sort x, r, -17 in descending order.
r, x, -17
Let m = -58.8 + 54. Let z = m - -1.8. Let f = 0 - 0.5. Sort f, z, 9 in decreasing order.
9, f, z
Suppose y - 12*y - 5 = 3*b, 6 = 3*b. Suppose 0 = 2*m - 8. Put y, m, 5 in ascending order.
y, m, 5
Let p = 2 + -4. Let b = 4.834 + -0.034. Let k = 7.8 - b. Sort p, k, 2.
p, 2, k
Let t = 227 - 237. Sort t, 3, -3 in ascending order.
t, -3, 3
Let j be -9 + 9 + (-4)/((-2)/(-2)). Sort -9, j, -2 in increasing order.
-9, j, -2
Let u = -5.5 - -0.5. Sort 2/5, u, 2/9, 112 in ascending order.
u, 2/9, 2/5, 112
Let x(o) = 2*o**3 + 2*o**2 - 5*o + 2. Let j(f) = -3*f**3 - f**2 + 5*f - 2. Let l(r) = -3*j(r) - 4*x(r). Let m be l(4). Sort m, 24, 5 in descending order.
24, 5, m
Let a(c) = 6*c + 77. Let z be a(-12). Let d = -3 + 3. Suppose -z*i - 4*q + 10 = d, 4*i + q + 0 = -3. Sort i, 1, 4.
i, 1, 4
Let z = -1558 + 1560. Put 17, z, 4 in decreasing order.
17, 4, z
Let i = -47 - -72. Let s = 25 - i. Put s, -0.4, -1/12 in ascending order.
-0.4, -1/12, s
Let x = 222 - 1327/6. Let k be 3 + (187/(-50) - 0). Let c = k + 6/25. Put c, -1/9, x in descending order.
x, -1/9, c
Let u = -29.98 + 24.98. Suppose -4*q - 3*k - 11 = 0, k + 14 = -q - 2*k. Sort -0.5, q, u in increasing order.
u, -0.5, q
Let p be -2*(-3)/6 + 16. Suppose -6*h + 33 = -p*h. Sort 3, h, -5, -6 in increasing order.
-6, -5, h, 3
Let z = 1 - 0.7. 