15560. Let o = x - 4/5. Put -0.3, o, 0.04, 0.5 in increasing order.
-0.3, 0.04, o, 0.5
Let z = 2 + 3. Suppose -p = -z*u - 27, -3*p + 2*u - 9 = 5*u. Let y = -11 - -14. Put 4, p, y in decreasing order.
4, y, p
Suppose -2*j - 10 = -2*o, 5*j + 19 = 2*o + o. Let b be 2 - o - (-2 + 4). Sort 4, b, -2, 1 in decreasing order.
4, 1, -2, b
Let n(w) = -w**3 + 3*w**2 - 4. Let b be n(3). Let u be (-58)/10 + 4/(-20). Let o = -8 - u. Put -1, b, o in descending order.
-1, o, b
Let h(w) = -w**3 - 7*w**2 - 7*w - 5. Let i be h(-6). Let q be (-15 - -18) + -5 - 0. Sort i, q, 3, 0 in descending order.
3, i, 0, q
Let d(s) = -s**3 - 7*s**2 + 11*s - 7. Let r be d(-9). Let y = r + -60. Let j(z) = z**3 - 6*z**2 - 8*z + 9. Let l be j(7). Sort y, l, -3 in increasing order.
y, -3, l
Let p(s) = 4*s. Let n be p(3). Suppose -7380*c + 7375*c + 25 = 0. Sort c, n, -5, -2 in decreasing order.
n, c, -2, -5
Let w = 10.9 + -8.9. Suppose -d + 3*d + 8 = 0. Put 0.5, d, w, -0.4 in ascending order.
d, -0.4, 0.5, w
Let g = -0.0678 - 3.3222. Let t = 0.39 + g. Put t, 5, -4 in decreasing order.
5, t, -4
Suppose -2*l = -4*h - 464, 3*h - 106 = 4*h + 2*l. Sort h, -1, -4 in decreasing order.
-1, -4, h
Let a = 0.186 + 0.844. Let w = -1 + a. Let x = 4 - 0. Put x, -2, w in ascending order.
-2, w, x
Let y be 3*(-12)/(-10)*30/(-27). Put y, 2/9, -2 in ascending order.
y, -2, 2/9
Let x(v) = -v**2 + 11*v - 18. Let q be x(2). Put 0.3, q, 2 in descending order.
2, 0.3, q
Let n = -2.02 - -2. Let a = -2.02 - n. Let k be (-70)/(-56)*(-3)/30. Sort a, -3, k.
-3, a, k
Suppose -2*q + 15 = m, -5*m = 17*q - 16*q - 30. Suppose 5 - 1 = -f. Put 2, f, m, 6 in descending order.
6, m, 2, f
Let z be 1*(-1)/((-3)/(-2) + -2). Let u(c) = 2*c**2 + c - 7. Let r be u(z). Sort -8, 2, r in descending order.
r, 2, -8
Let p(m) = -4*m**2 + 11*m - 5. Let l be p(2). Let k(g) = g**2 + 6*g. Let q be k(-6). Let r = -1 + q. Sort r, l, -5 in increasing order.
-5, r, l
Let h be (-122)/6 - 2/(-6). Let p = 17 + h. Sort -1, 0, p, -2/3 in decreasing order.
0, -2/3, -1, p
Let l be (-7 + 8)*-4 - -1*17. Suppose -3*m - 1 = -5*u - 38, 3*m = -5*u - l. Put 1, 0.1, m, -0.3 in ascending order.
-0.3, 0.1, 1, m
Let x(h) = -7*h - 129. Let o be x(-19). Let v(f) = -f**3 + 9*f**2 - 9*f + 6. Let b(s) = s**2 + 8. Let j be b(0). Let r be v(j). Put r, 3, o in ascending order.
r, 3, o
Let n = -4.6 - -4.68. Let v = n + 0.12. Sort v, -3, 0.1.
-3, 0.1, v
Let x be -3 + ((-27)/9)/((-1)/1). Put x, 5, -2, 35 in ascending order.
-2, x, 5, 35
Let y = -19 + 16. Suppose 0 = -3*t + 15 - 3. Suppose 39 = t*a + 15. Sort y, a, 3 in ascending order.
y, 3, a
Let u = 0.11 + -62.11. Let w = 57 + u. Put 54, -1, w in decreasing order.
54, -1, w
Suppose 17*d + 4 = 18*d. Suppose n + 3*k + 13 = 0, -3*k - 2*k = -2*n + 7. Sort d, 2, n in increasing order.
n, 2, d
Let g = -214 + 212. Sort g, 0.5, 0, -0.5 in increasing order.
g, -0.5, 0, 0.5
Let q = 0.163 + -0.263. Let k = 44 - 43.6. Sort 1, q, k in ascending order.
q, k, 1
Let y(u) = u**3 + 3*u**2 - 2*u - 1. Let j(g) = -2*g + 5. Let b = 6 + -2. Let q be j(b). Let m be y(q). Sort 4, -5, m in ascending order.
-5, 4, m
Suppose 7*h + 39 - 151 = 0. Suppose h = -4*a + 5*a. Put -2, 1, a, 0 in increasing order.
-2, 0, 1, a
Suppose y + m + 4 = 0, -5*y + 10 = 3*m + 26. Let n be (-11)/(-5) - (-1)/(-5). Suppose 0*q + q = -p + 2, 2*p + q - 3 = 0. Sort y, n, p in descending order.
n, p, y
Let z = -2/97 + 204/485. Let a = -0.01 - -79.01. Let y = -79.3 + a. Sort z, 4, y in decreasing order.
4, z, y
Let v be 23/6 + (-42)/(-252). Sort -1, v, 0, -6 in descending order.
v, 0, -1, -6
Let d be (1 - -1)*(2 + -4). Let s be 11 - 9 - (-4 - -1). Suppose 5*g - 3*q - 40 = 0, -3*q = 3*g + q + s. Sort -1, d, g in ascending order.
d, -1, g
Let v be (-4)/2*4/(-18). Let m = -53 + 91. Let x = -34 + m. Sort -1/3, v, x in decreasing order.
x, v, -1/3
Let x = 0.1196 - 70.1196. Sort 2/3, x, -0.3, -2/5 in ascending order.
x, -2/5, -0.3, 2/3
Let x = -13 + -1. Sort 4/5, -2, x.
x, -2, 4/5
Let j = -36 + 93. Suppose -j*f = -63*f + 48. Suppose 4*v + 7 = 23. Sort f, v, -3 in ascending order.
-3, v, f
Suppose 4*g - w - 3*w - 24 = 0, 3*w = 4*g - 22. Suppose -5*z - 137 = -142. Sort z, 2, g in ascending order.
z, 2, g
Let g be (-25)/60*-8*(-9)/(-5). Let q be 39/33 - g/33. Sort -1, 27, q, -3 in increasing order.
-3, -1, q, 27
Let r = -1964 - -1959. Sort r, 3, -4, 4.
r, -4, 3, 4
Let b = -1069229/8 + 133365. Let i = -289 - b. Sort 1, i, 1/5.
i, 1/5, 1
Let r = 22 - -29. Let g = r - 51.1. Sort -2/5, -0.2, g, 1/4 in ascending order.
-2/5, -0.2, g, 1/4
Suppose n - 4*r - 7 = 5, -4*r + 4 = -5*n. Put -53, 5, n in ascending order.
-53, n, 5
Let v(q) = q + 21. Let t be v(-18). Suppose -6 = -t*c + 3. Sort c, 0, -2, 5 in ascending order.
-2, 0, c, 5
Let i be 26/(-12) + -1 - 111/(-37). Sort -2/9, i, 0.1, -0.04 in increasing order.
-2/9, i, -0.04, 0.1
Let z(l) = -l**3 - 3*l**2 + 5*l. Let f be z(-4). Suppose -s + 182 - 191 = -2*t, -2*s - 2*t = 0. Sort s, f, 4.
f, s, 4
Suppose 5*f + 4 + 1 = 0. Let j be ((-9)/(-3))/(6 - 5). Let b be 5/15 + 8/j. Sort f, b, 2 in descending order.
b, 2, f
Let n = 3 - 0. Let r = 2/23605 + -188846/70815. Sort n, 0.2, r, -0.5.
r, -0.5, 0.2, n
Let q(d) = -2*d**3 - 12*d**2 + 6*d + 4. Let p be q(-4). Let z = p + 337/4. Put -0.5, z, 1/2, -2 in descending order.
1/2, z, -0.5, -2
Let s be 1*((-1)/(-3) - (-56)/12). Suppose 5*c - 2*m - 4 = -s*m, -m + 8 = -5*c. Sort -3, c, 1 in increasing order.
-3, c, 1
Let z = -125 - -68. Let p = -56.94 - z. Sort p, 2/3, -0.4 in descending order.
2/3, p, -0.4
Suppose -t - 2*t = 9. Suppose -2*g + 20 = -13*a + 16*a, 20 = 5*a. Sort t, g, -2 in descending order.
g, -2, t
Suppose 2 = 2*k - 0*k. Let h = -520.6 + 515.6. Sort 25/4, h, k in ascending order.
h, k, 25/4
Let t = 3050 + -3045. Put 2, 883, t in ascending order.
2, t, 883
Let s = 480 - 477. Let g = 4 + -3. Sort s, -5, -2, g in decreasing order.
s, g, -2, -5
Let j be (-484)/9 - (-6)/(-27). Let k = j + 54. Sort k, -2, 32.
-2, k, 32
Suppose 4*d = 2*q + q - 13, -21 = 5*d + q. Let h be ((-16)/3)/d*15/(-10). Put 1, h, 2/43 in descending order.
1, 2/43, h
Let w = -3 + 4. Let o = -8.79 + 9. Let c = 0.41 - o. Sort w, 0.4, c.
c, 0.4, w
Suppose -18*f = -7*f - 55. Let g = 50 + -43. Sort 3, -2, g, f in decreasing order.
g, f, 3, -2
Let n be 6/10*(9 + -4). Let u be 0 + (-2)/(4/(-2)). Suppose n*b = u - 16. Put 1, b, 0 in increasing order.
b, 0, 1
Let o(v) = -v**3 + 3*v**2 - v + 3. Suppose -u - 1 = 3*f, 0*f + 4*f - 5*u + 14 = 0. Let y = 2 - f. Let a be o(y). Put a, -2, 4 in descending order.
4, a, -2
Let r be 4/(-14) - 33/7. Let p be ((-4)/(-5))/((-3)/r). Let x be (-18)/48 + 348/(-96). Sort 1, x, p in increasing order.
x, 1, p
Let o = -9 + 6.5. Let a = o - -1.8. Let w = 1 + a. Put -2/9, w, -5 in decreasing order.
w, -2/9, -5
Let n = 0.03 - 1.03. Suppose -2*p - 4*l = 10, -141*l - 31 = 4*p - 144*l. Sort p, 0.2, n in ascending order.
p, n, 0.2
Suppose 3*o - 30 + 1 = -2*x, -4*x - 3*o = -61. Put 0, x, 1 in decreasing order.
x, 1, 0
Let r = -4.7 - -2.2. Let h = r + 2.5. Sort h, -5, -3 in descending order.
h, -3, -5
Let i be (6/2)/(11/88). Suppose 2*j - 18 = i. Let b = 25 - j. Put -4, b, -0.1 in descending order.
b, -0.1, -4
Let w be (4 - 3)*(-3 + 100). Let m = w + -100. Let o = 0 - 1. Sort m, -4, o in increasing order.
-4, m, o
Let w = 4 + -35. Let s = w + 36. Sort -5, -1/6, s in decreasing order.
s, -1/6, -5
Let l be (-2)/(-7) + 15/21. Suppose -4*d + 23 + l = 0. Suppose 2*x + 0 = d. Put -0.1, x, 2 in decreasing order.
x, 2, -0.1
Suppose -4*t = 5*k - 4, 2*t - 4*k + 5 = 7. Suppose 4*l + 3*a - 4 = -a, -5*l = 3*a - 11. Sort l, 2, t in decreasing order.
l, 2, t
Let l(p) = -4*p + 6. Let q be l(0). Suppose 8*k - q*k = 10. Suppose 3 = o - 2*u, 4*o + 0*u + 5*u = -40. Sort k, o, -2 in ascending order.
o, -2, k
Let x = 12 + -12.1. Sort -2, x, -96 in increasing order.
-96, -2, x
Let l = -90 - -90. Suppose -10 + 11 = -w. Put w, 8, l, -2 in increasing order.
-2, w, l, 8
Suppose 2*u + 4*s + 4 = 0, 49*u = 52*u + 2*s + 10. Sort -2, 1, 7, u in decreasing order.
7, 1, -2, u
Suppose -4*i + g = 7, 2*i - 4 = -2*g - 20. Put 4, -22, i in descending order.
4, i, -22
Let n = 2382 - 2381. Sort n, -0.1, 117.
-0.1, n, 117
Suppose -3*u - 4 = 29. Sort 3, -5, u, 0.
u, -5, 0, 3
Suppose 10 = -4*p - 2*q, p - 2*q = -4*q + 5. Sort -2, p, 3, -3 in ascending