 - 6*s - 1. Let m be a(6). Sort -4, m, x in descending order.
x, m, -4
Let u = 53 + -35. Let x = -21.8 + u. Let o = -1.2 + x. Sort 2/15, -2, o in increasing order.
o, -2, 2/15
Suppose -4*u - 6 + 2 = 0. Suppose -186 = 5*m - 191. Let a be 2/(-1 + u)*m. Put a, 5, 2 in ascending order.
a, 2, 5
Let c(b) = b - 6. Let t be c(3). Let k be t/((18/(-8))/(-3)). Sort 0, -1, k in decreasing order.
0, -1, k
Suppose x + 1 = -0. Let u = x + -4. Let q = -79 - -319/4. Put q, 1/3, u in descending order.
q, 1/3, u
Let y = -177 + 173. Put y, 7/2, 2, -3/2 in ascending order.
y, -3/2, 2, 7/2
Suppose 5*u = -4*o + 8, -4*u + 7 = -o + 4*o. Let f(b) = -b**2 - b + 3. Let c be f(o). Put 5, -5, c in descending order.
5, c, -5
Let q(p) = p**2 + p + 1. Let v be q(-2). Suppose -v*s - 28 = -s. Let t be 4/s + 60/(-35). Sort 4, t, 1 in increasing order.
t, 1, 4
Let o be (0 + -1)/(3 - 2). Suppose y - 39 = -2*y. Suppose 1 = -4*w + y. Sort o, 5, w in decreasing order.
5, w, o
Let r be (-4)/(-18)*(0 + -1). Put -1, 3, r in increasing order.
-1, r, 3
Let g be -1*1/2*10. Put g, -4, 2/5 in decreasing order.
2/5, -4, g
Let i be (-1)/2*(0 + 0). Suppose i = d + 5. Sort -1, 4, d in descending order.
4, -1, d
Let f = 12.7 + -13. Sort f, -0.5, 2/17 in descending order.
2/17, f, -0.5
Let z(o) = 3*o + 2. Let i be z(1). Sort i, -3, 0 in ascending order.
-3, 0, i
Suppose -4*v = 5*p + 3, 3*v + v - 27 = 5*p. Suppose 3*n = 1 + 2. Let x be (-2 - -1)*n/1. Put v, x, 4 in increasing order.
x, v, 4
Suppose 5*m + 8 = 9*m. Suppose 0*r - m*r - 3*k = 7, 2*k + 6 = 0. Sort r, -2, 5 in decreasing order.
5, r, -2
Let c = 3 + -7. Suppose 6*l = 7*l + 13. Let x = l + 10. Sort x, c, -1 in descending order.
-1, x, c
Let j = -2 + 3. Sort -23, 2, j in descending order.
2, j, -23
Let r = -71 - -71.3. Let z be 2 + -1 + 18/(-16). Sort -2/5, z, r in descending order.
r, z, -2/5
Suppose 3*b + 3 = -2*a, -5*a + b + 18 = -0*a. Suppose 0*l + 4 = l. Put -5, l, a in descending order.
l, a, -5
Suppose -5*k - 75 = -10*k. Let b be 10/(-1)*(-6)/k. Sort b, -1, 0 in increasing order.
-1, 0, b
Let a = 178/9 + -20. Sort a, 1, 0.5 in increasing order.
a, 0.5, 1
Let t(r) = 4*r + 4*r - 4*r - 3*r - 1. Let x be t(-2). Let c = x + 8. Sort c, 3, 1/2 in descending order.
c, 3, 1/2
Let v = -0.38 + 0.38. Sort -0.2, -1/3, v in increasing order.
-1/3, -0.2, v
Suppose -6*o - 15 = 4*z - o, -3*z + 5*o - 20 = 0. Let a be 4 + 1 - (1 - 0). Suppose 9*g - 4*g = 10. Sort a, g, z in ascending order.
z, g, a
Let z(i) = -7*i - 4. Let b(q) = 15*q + 7. Let p(v) = 6*b(v) + 13*z(v). Let n be p(-9). Let u be 2/8*-1*n. Sort 2, u, 5 in ascending order.
u, 2, 5
Let t = 0.2 + 0.2. Let u = 0.4 - t. Let a = -3 - -7. Put a, 2/7, u in increasing order.
u, 2/7, a
Suppose 0 = h - 4*v + 15, h + 20 = 3*v + 2*v. Put -3, 4, h in decreasing order.
h, 4, -3
Let h = 1 - 0. Let z = 4 + 0. Let x = 9 - z. Put x, h, -0.3 in ascending order.
-0.3, h, x
Suppose -9*q + 12*q - 12 = 0. Suppose r + r = q*z + 22, r + 10 = -5*z. Put -7, -4, z in descending order.
z, -4, -7
Let l = -145 + 157.2. Let k = l - 12. Sort k, 1/3, 2 in decreasing order.
2, 1/3, k
Let c = 77 - 146. Let x be 4/c*6/4. Put -4, 1/2, x in descending order.
1/2, x, -4
Let o(g) = -3*g**2 + g - 5. Let f(z) = 2*z**2 - z + 3. Let h(u) = 5*f(u) + 3*o(u). Let q be h(3). Sort -5, -2, q in descending order.
q, -2, -5
Let u = 16.13 - 0.13. Let t = u + -21. Put -0.1, 3, t in increasing order.
t, -0.1, 3
Suppose -2*p - 5*s = -15, -4*s = 4*p - 10 - 14. Suppose 21 = -2*z + o, o + 0*o = 3*z + 31. Let g = z + p. Put 5, g, -3 in descending order.
5, -3, g
Let c be (-1)/((-27)/(-102)) + 4. Put 5, 0.06, c in increasing order.
0.06, c, 5
Let f = 398/7 - 57. Sort -3, -2/13, f in descending order.
f, -2/13, -3
Let o = -29/6 + 5. Sort 0, o, -0.6 in ascending order.
-0.6, 0, o
Let b = -4.9 + 5. Let v = 2.2 + -1.2. Sort -1, v, b in descending order.
v, b, -1
Let u = -0.16 + 0.06. Let d = 4.9 - -0.1. Sort 2, u, d in decreasing order.
d, 2, u
Let m(b) = -b**2 - 4*b + 2. Let g be m(-5). Suppose -7 = 6*w + w. Sort -4, g, w in descending order.
w, g, -4
Let f = 0.8 + 1.4. Let x = -0.2 + f. Let z = -39 + 196/5. Sort x, z, -2/5 in decreasing order.
x, z, -2/5
Let w(l) = l**3 - 3*l**2 - l - 2. Let o(g) = g**3 - 2*g**2 - g - 1. Let n(m) = -3*o(m) + 2*w(m). Let h be n(1). Sort 5, 4, h.
h, 4, 5
Let f(z) = -z**3 + 11*z**2 - 19*z + 12. Let g be f(9). Sort 19, g, 0 in decreasing order.
19, g, 0
Let b = -143/1150 - -3/25. Let u = -341/920 + b. Put -1/7, u, -3 in ascending order.
-3, u, -1/7
Let r = -17 - -37. Suppose 6*b = -o + 2*b + r, 0 = o - 2*b - 2. Suppose -2*l = -5*j + 11, -4*j + o*l = 4*l - 4. Sort j, -5, -3.
-5, -3, j
Let n = -35 - -28. Sort n, 6, -1/5 in decreasing order.
6, -1/5, n
Let o be (0 + -4)*(-1 - -2). Let j(q) = q**3 - 6*q**2 + q - 1. Let h be j(6). Sort 4, o, h in increasing order.
o, 4, h
Suppose 4*a - 3 = 7*a. Sort a, 3, 4, -4 in decreasing order.
4, 3, a, -4
Let s = -9 + 9. Suppose 5*z - 5*x = 10, 0 = 4*z + 5*x - s*x + 28. Suppose -26 = -d + 5*y, -d - 2*d = 2*y + 7. Sort z, 2, d in decreasing order.
2, d, z
Let a = 411/35 - 58/5. Let q be (-1)/2 + (-7)/14. Put -0.1, a, q in descending order.
a, -0.1, q
Let p = 27 + -23. Sort -5, -1, p in increasing order.
-5, -1, p
Suppose 4*y - j - 9 = -4, 0 = 2*y + 4*j + 2. Let x = -8 - -4. Sort -3, x, y in increasing order.
x, -3, y
Suppose -p = 2*p - 5*z + 9, 3*z - 13 = -2*p. Let r = -29009/1434 + 15/239. Let i = r + 20. Put p, 0.5, i in ascending order.
i, 0.5, p
Suppose 5*y = -j - 22, -3*y - 2*j + 7*j = 30. Put -2, -3, y in ascending order.
y, -3, -2
Suppose 0 = 8*z - 13*z - 15. Sort z, 0, 1, 6.
z, 0, 1, 6
Suppose 6*z - 3 = 27. Sort z, 4, 0 in increasing order.
0, 4, z
Suppose 0 = 8*p - p + 21. Put 1, p, -5, 2 in decreasing order.
2, 1, p, -5
Suppose 0 = 3*q - 3. Let c = -7.61 - -1.31. Let o = 1.3 + c. Sort o, q, 5 in descending order.
5, q, o
Let c = 55/42 + 4/21. Suppose 0 = -4*z - 3*h + 115, 5*h + 54 = 2*z + 3. Suppose 2*l + z = 4*s, -5*s + 5*l + 51 = 6. Sort s, -3, c.
-3, c, s
Suppose -j - 442 = -14*j. Put -1, -5, j in increasing order.
-5, -1, j
Let o = 26 - 25.56. Let c = o - 0.24. Sort -1/2, c, -4 in decreasing order.
c, -1/2, -4
Let g = -6420/19 + 338. Let p = -1 - -0.6. Sort g, -2, p.
-2, p, g
Let i be (1 + 0)*(-24)/(-36). Put i, 8, -0.1 in ascending order.
-0.1, i, 8
Let x be (1 + -2 + -1)/(-2). Put 2, 4, x in descending order.
4, 2, x
Let f = 5 + -5.22. Let u = f + 0.12. Put 2, 5, u in increasing order.
u, 2, 5
Let u be (-3 + -1)/(1 - 0). Let s = u - -2. Let b(m) = -2*m - 2. Let n be b(-2). Sort n, -4, s in decreasing order.
n, s, -4
Suppose -7 = -4*c - 3. Put c, -5, -8 in increasing order.
-8, -5, c
Let n be ((-45)/(-6))/(-3) + 2. Sort -0.4, n, -0.31 in descending order.
-0.31, -0.4, n
Suppose b + y = 0, b - 9 = 2*b - 2*y. Let a be 3 + 3 + b*1. Sort 2, -4, a in descending order.
a, 2, -4
Let b = -1.3 + 1.6. Let u = b - -1.7. Sort u, -0.3, -0.1.
-0.3, -0.1, u
Suppose 14*g + 20 = 12*g. Sort g, 2, -2 in descending order.
2, -2, g
Let g = -4 + 3.72. Let x = g + -0.02. Sort x, -2/17, -1/22 in ascending order.
x, -2/17, -1/22
Let l = 5.3 + -2.3. Put l, 2/5, -1 in increasing order.
-1, 2/5, l
Let g = 1.6 - -2.45. Let k = 0.05 - g. Let r = -79/5 + 16. Sort k, r, -0.4 in ascending order.
k, -0.4, r
Let j = 11.91 - -0.79. Let f = j - 12. Let c = f + -1. Sort 5, c, -0.4.
-0.4, c, 5
Let z be (-1)/(-2) + (-1 - (-14)/12). Let b(p) = -p - 2. Let x be b(-3). Let n = 2 - x. Put z, n, 0 in descending order.
n, z, 0
Suppose 4*o - 10 = 2. Suppose -2*c = c - o. Sort 0, c, -2 in ascending order.
-2, 0, c
Let o = -5 - -9. Suppose 3*b = 5*v + 6, -2*v - 8 = -o*b - 0. Sort 0, 1, b.
0, 1, b
Let a be -1 + 3 + 2/2. Sort -2, 0, a.
-2, 0, a
Suppose 19*v = 46 - 8. Sort v, 6, 1 in decreasing order.
6, v, 1
Suppose -9 = -3*z - 5*v, -4*z = z - v - 15. Suppose c + 2*c + 15 = 0. Sort z, -3, c in increasing order.
c, -3, z
Suppose 2*f - 2 = -10. Suppose 3*y = y + 12. Suppose -n + y = n. Sort n, 0, f.
f, 0, n
Let g be ((-10)/(-25))/((-2)/20). Sort g, -3, 1 in descending order.
1, -3, g
Let x be (-11)/(-3) + 18/(-27). Sort x, 2, 15.
2, x, 15
Let j = 3 + -2. Let f be 1*j/(-1) - 2. Let p = -3 - 1. Sort f, 1, p.
p, f, 1
Let j = -387.06 + 392. Let q = j + 0.06. Sort 4, 2, q.
2, 4, q
Suppose k = 24 - 8. Suppose -5*i + 31 + 49 = 0.