15. Suppose i*k = 4*v + 23, -2*k - 3*k - 4*v + 7 = 0. Sort w, k, -3.
w, -3, k
Let q = 87373 + -87370. Let u be 1/(-3)*215/3. Let g = u + 71/3. Sort g, -2, q, -4 in ascending order.
-4, -2, g, q
Let y = -2087 + 2089. Let j(z) = -6*z. Let b be j(-4). Suppose 0 = -4*q - 11 + 7. Put b, 4, q, y in descending order.
b, 4, y, q
Let d = 2439.9 + -2428.4. Put d, -11, 2/9 in decreasing order.
d, 2/9, -11
Suppose 0 = -4*h + 13 - 21. Let d be h/6 - (10/(-6))/5. Let y be 0/(-1) + d*4/(-12). Put y, 5, -11 in decreasing order.
5, y, -11
Let i = -1 - 1. Let s = 17 - 21. Let v be 456/(-108) - (0 + s). Sort i, 0.5, v, -3.
-3, i, v, 0.5
Suppose -14 = -3*k - z, 2*k + 15*z = 11*z + 16. Let g be (27/6)/(2/(-4)). Sort g, k, -3 in descending order.
k, -3, g
Suppose 21 = 3*b, -4*k = -4*b - 1289 + 1333. Put 1, -7, 3, 77, k in ascending order.
-7, k, 1, 3, 77
Suppose w + 7 = 2*n, -4*n + 4*w + 14 - 2 = 0. Put n, -4, 230, -5, 3 in increasing order.
-5, -4, 3, n, 230
Suppose -5*o - 2*s - 27 = 0, s + 94 = 3*o + 108. Put 4, -30, o in decreasing order.
4, o, -30
Suppose -29*g = -37*g - 904. Let a = g + 112. Suppose -4*b + 3*z = -2, 0 = -5*b + 3*z + 5 - 1. Put b, -3, a in ascending order.
-3, a, b
Suppose -l - 3*o - 2*o = 0, -4*l + 19 = o. Put 32, l, 1, -9, 2 in decreasing order.
32, l, 2, 1, -9
Let d be 1735/12 + (-24)/18 + -1. Let m = d - 143. Let n = 17 - 10. Put 0.4, n, 2, m in ascending order.
m, 0.4, 2, n
Suppose -18 = b - 5*f, 3*f = 18*b - 17*b + 10. Let n = 40 - 71. Sort -1/3, n, b, 0.2 in decreasing order.
b, 0.2, -1/3, n
Suppose 4*i = 5*v - 204, 8*v = 4*i + 4*v + 204. Sort 1, i, 7, -2 in descending order.
7, 1, -2, i
Let q(g) = -g**2 + g + 110. Let k be q(11). Sort 39, 1, -5, k, 5 in ascending order.
-5, k, 1, 5, 39
Let v be 21/9*3 - -48. Suppose 3 + v = 29*k. Put -1, -2, k in decreasing order.
k, -1, -2
Let p(v) = v**2 + 90*v + 301. Let t be p(0). Sort 9, t, -1.
-1, 9, t
Let w = 79 + -34. Suppose -5*m - w = -2*i - 3*i, 0 = i - 4*m - 24. Suppose 7*z - 6 = 9*z. Sort i, 2, z in ascending order.
z, 2, i
Suppose 0 = 95*d - 162*d + 335. Put d, 2, 2153 in descending order.
2153, d, 2
Let p be -5 - (11 + (-650)/39 + (-2)/(-3)). Sort 166, p, 2, 5, -1.
-1, p, 2, 5, 166
Let o = -283 - -283.2. Let c be (-2)/1 + 2 + -341. Let b = c - -2041/6. Sort o, b, -2 in decreasing order.
o, b, -2
Let w = 2396/9 - 266. Suppose -4 = 4*g + 4*l, 0*l - l + 29 = -5*g. Suppose 0*t - 4*m = t - 1, 2*t = -2*m + 2. Sort g, w, t in descending order.
t, w, g
Let z = 137 - 133. Let l = 1/39 + 37/78. Let j = -1/6 + l. Sort 2/3, z, j.
j, 2/3, z
Let q = -41/189 - -2/27. Let b = 4 - 7. Let z = -29758 - -29758. Sort b, 1/4, z, q in descending order.
1/4, z, q, b
Suppose -2*w = -5*k - 26, 0*w + 3*w - 5*k = 29. Let l be w*12/(-18)*(1 - -1). Sort 57, -3, l, 3 in ascending order.
l, -3, 3, 57
Let o be -3*(-105)/36*7092/985. Sort -18, -1, o.
-18, -1, o
Suppose 4*s + 2*c - 74 = 0, 72 = 4*s - 6*c + 10*c. Let u(a) = a - 17. Let q be u(s). Suppose -2 = -2*t, 5*t - 25 = y + 4*y. Put 4, y, 5, q in descending order.
5, 4, q, y
Suppose -4*l - 3 = 9. Let r = 51.327 - 45.227. Sort -0.2, l, r, 3/5 in decreasing order.
r, 3/5, -0.2, l
Suppose -7*x = -0*x - 112. Suppose 0*p - 26*p = 42*p + 136. Put 2, p, x in increasing order.
p, 2, x
Suppose 4*v = -5*d - 43, d = 2*d - v + 14. Let n(o) = 2*o**2 + 10*o + 2*o**2 - 10 + 8*o**2 + 2*o**3 - o**3. Let p be n(d). Sort 13, 4, p in descending order.
13, 4, p
Let p = 90631/7 - 12947. Put 5/3, 2, p, 0.3, 213 in decreasing order.
213, 2, 5/3, 0.3, p
Let z = -0.262 - -0.042. Let s = 0.72 + z. Sort -41, s, 0.4.
-41, 0.4, s
Suppose 0 - 10 = -2*p. Let m = 13933 + -13938. Sort p, m, -93, 2.
-93, m, 2, p
Let k(o) = o**3 - o**2 + 1. Let d be k(2). Let x be (0/(0 + -2))/(-3). Let f be (x/(-1))/(((-2)/1)/(-2)). Put -6, d, f in descending order.
d, f, -6
Let w be (-3)/(-6)*(1 - 1). Suppose w = -5*o - h + 3, -4*o + h + 6 = -0*h. Suppose -68*j = 4*j + 72. Sort -2, 0, o, j.
-2, j, 0, o
Let a = 2.59 + -2.29. Let u = 0.2 - a. Sort 1/2, 3, u.
u, 1/2, 3
Let v = 22.61 + -23.11. Let h be ((-2)/(-3))/(25/(-5265)). Let b = -140 - h. Sort b, -11/4, v in decreasing order.
b, v, -11/4
Let x be (1 + -2)*5 + 89. Suppose 3*u - 142 = 8*u - 3*l, 3*l - x = 3*u. Sort -1, u, 2, 1 in ascending order.
u, -1, 1, 2
Let x = -1/6754 + 33799/195866. Sort -0.4, x, 37.
-0.4, x, 37
Let z = 160.801 - 161. Let c = 1.701 - z. Put 0.1, -4, 2, c in ascending order.
-4, 0.1, c, 2
Let f be ((-1)/(-2))/(10/90) + 1/2. Sort -4, f, 2, -2, 4 in decreasing order.
f, 4, 2, -2, -4
Suppose -3*w + 3 = 3*r, 0 = -2*w + w - 4*r - 5. Sort w, -3, 120 in descending order.
120, w, -3
Let a = -1.1 + 1. Let q = -21978.6 - -21971. Sort -3/7, a, 1, q in decreasing order.
1, a, -3/7, q
Let s be ((-4)/(-3))/(6/9). Let k = -46495 - -46495. Put s, k, 112, -4 in ascending order.
-4, k, s, 112
Let d be (-7)/((-175)/(-120)) + -10*(-14)/175. Sort -1, 2, 1, d, -9 in decreasing order.
2, 1, -1, d, -9
Let l = 1096/1345 + -4/269. Sort l, 3, 0.2, 2 in increasing order.
0.2, l, 2, 3
Suppose 3*b - 14 = o, 0 = 4*o + 5*b - 13 - 16. Let i be ((-7)/(-280)*20 - 84/18)*6/40. Put i, o, 2/15 in ascending order.
i, 2/15, o
Let m = 0.0132 + -40.6132. Let g = -6 - 35. Let f = g - m. Sort 4, f, -1/26.
f, -1/26, 4
Let t = 15 + -18. Let c = -5477.5 + 5477. Sort t, c, -5, 98 in ascending order.
-5, t, c, 98
Let b = 3280 - 3279. Put b, 3, 7, 6, -5 in decreasing order.
7, 6, 3, b, -5
Let a = -2686 + 2663. Sort -5, -1, a in ascending order.
a, -5, -1
Let r = -2.443 - -2.703. Sort 0, r, 0.3, -0.5 in decreasing order.
0.3, r, 0, -0.5
Suppose 14*i - 19*i + h + 16 = 0, -24 = -3*i - 3*h. Sort -6, 15, -4, i in descending order.
15, i, -4, -6
Let w = 101313 - 101308. Let h = 18 + -25. Sort 0.5, 0.4, w, h in descending order.
w, 0.5, 0.4, h
Let l = -69 + 70. Let a be (-2)/3 - (-140)/21. Let c be -3*((-2)/a + 1). Sort c, l, -3 in decreasing order.
l, c, -3
Let t be 68/8*-1*(-5 - 1). Suppose 87 = -2*m - 21. Let i = m + t. Sort i, -1/12, -2/5, -18 in decreasing order.
-1/12, -2/5, i, -18
Let u be (-16 - 6 - -8)*4/(-14). Suppose 3*k + 0*k - 4*g - 55 = 0, 4*k - 68 = u*g. Sort 4, -4, 2, k in increasing order.
-4, 2, 4, k
Let l(s) = -651*s - 1304. Let d be l(-2). Sort 0, -11, d, 30, 2.
-11, d, 0, 2, 30
Let z be (1/2)/(1744/28*14/16). Let d = 1.9 + -2. Sort 0, 4, d, z in descending order.
4, z, 0, d
Let p = -73 + 103. Let a be 18 + (-2603)/114 + 5/(-2)*-2. Sort -4, a, p.
-4, a, p
Suppose 49 = -3*n - 56. Let i be (-7)/(n/(-20)) + -1. Let a = 44 + -29. Put i, a, 2 in ascending order.
i, 2, a
Let j(b) = -b + 12. Let g be j(12). Suppose -768*f + 765*f + 21 = g. Put -5, -4, 5, f in increasing order.
-5, -4, 5, f
Let p = 11.9825 - 231.9285. Let x = -220 - p. Put 2, x, -2 in ascending order.
-2, x, 2
Suppose -4*u + 6 = -3*y, 0 = -u - 3*u. Let c = -1856 + 1859. Sort c, y, -1.
y, -1, c
Let q be 12/10 - 9/((-855)/(-209)). Sort 2, 5, q, -48 in ascending order.
-48, q, 2, 5
Let i(f) = -f**2 - 15*f - 24. Let s be i(-12). Suppose 0 = 6*b + 6 - s. Sort 4, b, -2.
-2, b, 4
Suppose 4*p - 3*d = 49, -13*p + 16*p - 4*d - 28 = 0. Let m = -13 - p. Sort -1, 2/17, m.
m, -1, 2/17
Suppose 0 = 2*v + k + 11, 3*v = 4*k - 8 + 19. Let z be (0 + 8 + (-176 - -169))/1. Put z, v, -4, -1 in descending order.
z, -1, v, -4
Let s = -947 + 947. Let h = 19 - 19.32. Let j = -0.02 - h. Put -2/3, j, s in descending order.
j, s, -2/3
Let c(h) = 232*h - 6495. Let p be c(28). Let d = 4 - 9. Put -7, 2, p, d in ascending order.
-7, d, p, 2
Let t = -2.72 - -2.22. Put t, -5.1, 2/3, -3/2 in ascending order.
-5.1, -3/2, t, 2/3
Let c(t) = t - 9. Let f be c(7). Let k = 60 + -59. Suppose -k = -2*s + s. Put f, s, 5 in increasing order.
f, s, 5
Let t = 11 + -6. Suppose -y = -4*l + 3, -l + t*l - 20 = 0. Let w = 21 - y. Sort w, 2/11, 0 in ascending order.
0, 2/11, w
Let i = 30 + -185/6. Let u = i + 7/6. Let w = 48 - 49. Sort w, 1/4, u.
w, 1/4, u
Let i(t) = 0*t - 4*t - 11 + 3*t + 0*t. Let r be i(-14). Let b be (-1*1/r)/((-3)/(-27)). Put b, -5, 4 in descending order.
4, b, -5
Let s be ((-11)/(-53 - 2))/((-2)/10) - 3. Sort s, 12, -3, -11.
-11, s, -3, 12
Let o = 1/1033 - -9292/5165. Sort 4/7, 3/5, 5/4, o.
4/7, 3/5, 5/4, o
Let u = -692 - -684. Sort 0, 5, -3, 42, u in decreasing order.
42, 5, 0, -3, u
Suppose 0 = -d + 34 - 4. Let n be -16 + d/18*-3. Sort -5, -4, n i