36)/15)/h. Suppose -s*a = 2*a - 15. Sort 1, a, -1.
-1, 1, a
Let u be 1*-1 - -1 - 3. Let q = 327 - 327. Sort 4, u, q in decreasing order.
4, q, u
Suppose -2*i = 3*i. Sort 3, 1/5, i in descending order.
3, 1/5, i
Let c(s) = -17*s - 86. Let y be c(-5). Sort 4, 1, y, 2 in increasing order.
y, 1, 2, 4
Let n = 8.02 - -0.28. Let s = -8 + n. Let x = -1/12 - 1/6. Sort 4, x, s in ascending order.
x, s, 4
Let w(l) = -l**3 + 8*l**2 - 5. Let j be w(8). Put 10, j, 4 in increasing order.
j, 4, 10
Let h = -22 - -26. Sort -5, h, 12.
-5, h, 12
Suppose 0*l = 5*l + 5. Let t(q) = 3*q - 1. Let h be t(1). Suppose -b + h*b = -2. Sort 4, b, l in decreasing order.
4, l, b
Suppose -2*d = 2*f - 16, -f + 8 + 16 = 5*d. Suppose b + 5*h + 18 = 0, 8*b + h - f = 4*b. Let v be 1*(1 + -3)/b. Sort -4, 2, v.
-4, v, 2
Suppose 5*m - 11*m = -6. Sort m, 2, -5 in ascending order.
-5, m, 2
Let p = 0.41 + 1.59. Sort 1, -0.4, p in increasing order.
-0.4, 1, p
Suppose t = 6*t + 40. Let l = t + 4. Let y be ((-2)/l)/(1/2). Sort y, -1, 4 in ascending order.
-1, y, 4
Let k = -148 + 147. Let o = -2 + 0. Sort k, -3, o.
-3, o, k
Suppose 0 = y - 0*y. Let a = 0 - -0.06. Let n = a - -0.44. Put 1, n, y in ascending order.
y, n, 1
Suppose -4*a - 40 + 8 = 0. Let k(l) = -l**2 - 7*l + 8. Let x be k(a). Sort -2, 2, x.
-2, x, 2
Let f = -23 + 47/2. Let x = f - 5/14. Sort -4, x, 0.2 in increasing order.
-4, x, 0.2
Let w = 2.87 - -0.13. Sort -4/5, -0.5, w in increasing order.
-4/5, -0.5, w
Let j(l) = -l**3 + 11*l**2 - l + 14. Let m be j(11). Let p be ((-2)/(-6))/(m/(-9)). Put -4, p, 1 in increasing order.
-4, p, 1
Suppose -5*s = 5*i + 15, 2*s - 2 + 4 = 0. Let j(v) = v**3 + v**2 - v - 1. Let z be j(i). Sort 1, 4, z in decreasing order.
4, 1, z
Let w = -1 + 1. Let l = 16 + -15. Put l, w, 0.3 in ascending order.
w, 0.3, l
Let p = -0.338 - 0.062. Sort p, 2, -3.
-3, p, 2
Suppose 3*k + 3 - 9 = 0. Let g(j) = -4*j**k + 4*j**2 - j**3 - 1 + 2*j. Let b be g(-2). Sort b, 2, -4 in increasing order.
-4, 2, b
Let d(c) = c**2 + 5*c - 6. Let b be d(-5). Let n be b/(-9) - 16/6. Sort 1, n, -1 in decreasing order.
1, -1, n
Let o = 0.08 + -0.19. Let w = o + 0.11. Put -0.3, w, -5 in decreasing order.
w, -0.3, -5
Let i = -1.9 + 1.9. Sort -4, i, -6 in descending order.
i, -4, -6
Let r = -21 - -16. Put r, 2/5, 5 in increasing order.
r, 2/5, 5
Suppose 0 = -5*v + t + 16, 1 = 4*v - 3*t - 14. Let m(d) = 3*d - 5 - 7*d**2 + 8*d**2 - 10*d + v. Let n be m(7). Sort n, 0, 2 in descending order.
2, 0, n
Let i = 2 + -6. Let o = -2.6 - -3. Let h be ((-1)/4)/(1/3). Put i, o, h in ascending order.
i, h, o
Let w(s) = s. Let l be w(5). Let h(i) = i**3 - 4*i**2 - 4*i. Let g be h(l). Suppose n + 5 = 0, b + n = 5*n + 15. Sort -3, g, b in ascending order.
b, -3, g
Let u = -1.45 - -0.45. Let x be ((-2)/6)/(2/3). Put x, u, 0.1 in descending order.
0.1, x, u
Let l(i) = -i**3 - 10*i**2 + i + 14. Let y = 22 + -32. Let z be l(y). Suppose 2*b = -b. Sort -1, b, z in decreasing order.
z, b, -1
Let y = -1.3 - -0.7. Let w = 1 - 5.4. Let n = w + y. Put 2, 5, n in descending order.
5, 2, n
Let n(s) = -3*s - 36. Let b(c) = 2*c + 24. Let o(p) = -7*b(p) - 5*n(p). Let g be o(-7). Sort -5, g, -2 in decreasing order.
g, -2, -5
Let t = -72 + 285/4. Suppose x - 12 = -7. Sort t, x, 2 in descending order.
x, 2, t
Suppose -4*r - 5 = 3. Let i be 3/4*r/(-3). Put 1/9, i, 2 in ascending order.
1/9, i, 2
Suppose 4*c - 2*q = -q - 16, 4*q = 2*c + 22. Put 2, 4, c, 1 in descending order.
4, 2, 1, c
Let t = -92 + 91.8. Sort 2, -2/37, 1, t.
t, -2/37, 1, 2
Let j be -6*(1 + 1/(-2)). Let z = -1 - 3. Let k(l) = -l**2 - 12*l. Let u be k(-12). Put j, u, z in decreasing order.
u, j, z
Let h be (-4)/6 - 2/(-3). Suppose 4*l - l = 12. Let z be (l/(-3))/((-2)/3). Put 0.5, z, h in descending order.
z, 0.5, h
Suppose -11*g = -10*g - 4. Put g, 2, -3 in descending order.
g, 2, -3
Let f be 2 + 0 + 5832/(-3296). Let l = -2/103 - f. Sort 0.3, l, -2/9.
l, -2/9, 0.3
Suppose 0 = 2*x + 3*x. Let q be (-7)/2 - (-7)/14. Put q, x, 2 in decreasing order.
2, x, q
Let y = 110 + -113. Put -5, 0.4, y, -4 in decreasing order.
0.4, y, -4, -5
Let q(d) = 3*d - 9. Let l be q(9). Suppose 2*f + f - l = 0. Let x be ((-8)/70)/(f/15). Sort -2, x, 0.1.
-2, x, 0.1
Let v = -2 + 7/3. Sort -3/2, 4, v, -0.4 in increasing order.
-3/2, -0.4, v, 4
Suppose 4*h = -4*i + 4, -2*i = h - 0 - 3. Let g(m) = -m + 2. Let r be g(0). Suppose 3*u = 5*a + r, -3*a - 13 - 1 = -5*u. Put 5, h, u in ascending order.
h, u, 5
Let p be ((-25)/(-20))/((-3)/12). Sort -4, -0.5, p in descending order.
-0.5, -4, p
Let m(p) = -1 + p + 0 - 2*p. Let t(v) = -v + 3. Let l be t(7). Let c be m(l). Put c, -1, 2 in increasing order.
-1, 2, c
Let r = 0.23 + -0.03. Let s = 0.11 - 5.11. Sort r, -4, s in decreasing order.
r, -4, s
Let p(j) = 5*j**2 + 1. Let u(g) = -g - 5. Let y be u(-4). Let f be p(y). Suppose -2*t + 0*t + f = 0. Sort -3, t, 5 in decreasing order.
5, t, -3
Let l be 1 + -1 + (-2 - 2). Let o = -8 - -2. Let q be (-35)/(-21) + (-2)/o. Put l, 4, q in descending order.
4, q, l
Let w = 0.28 - -0.02. Let k = -0.2 - -1. Let i = k - w. Put 0.4, -0.1, i in decreasing order.
i, 0.4, -0.1
Let z = -2 - 0. Sort 1/6, z, 1 in descending order.
1, 1/6, z
Let q(j) = -2*j**2 + j + 1. Let y be q(2). Sort y, 2, -1, 3 in descending order.
3, 2, -1, y
Let q be ((-66)/18)/((-3)/(-27)). Put -3, q, -2 in ascending order.
q, -3, -2
Suppose -2*x + 5*k + 16 = 0, 3*x - k - 10 = 1. Let c(a) = -a**2 + 9*a - 6. Let i be c(8). Let q be (-1)/(1 - 8/10). Put x, q, i in descending order.
x, i, q
Let h be (((-12)/1)/3)/(-2). Sort 3, 10, h in descending order.
10, 3, h
Let p = -4 + 17/5. Put 5, p, -4 in ascending order.
-4, p, 5
Let j = -6.247 + 0.803. Let n = j - -0.044. Let i = n - -5. Sort i, -5, -3 in decreasing order.
i, -3, -5
Let t = 0.107 - -2.833. Let n = 0.06 + t. Sort -3, -2/7, n in ascending order.
-3, -2/7, n
Let f = -12 - -7. Let p = 0.02 + 7.98. Let u = p + f. Put 1, 2, u in descending order.
u, 2, 1
Let n be (94/8)/(1/(-4)). Let j = 142/3 + n. Sort 4, 2/3, j in ascending order.
j, 2/3, 4
Suppose 2*a - 6 - 12 = 0. Let c be 8/12*a/1. Let u(l) = l - 4. Let d be u(c). Sort d, -1, 3 in decreasing order.
3, d, -1
Let q = -6.6 - -2.6. Put q, -0.02, 1/2 in ascending order.
q, -0.02, 1/2
Let d be (-3)/(-2) - (-686)/(-28). Let h = 16 + d. Sort h, 0, 3 in increasing order.
h, 0, 3
Suppose -2*n - 2*n + 5*h = -20, -3*h - 12 = 2*n. Sort 4, n, 3 in increasing order.
n, 3, 4
Let a = -35 - -103/3. Sort 1/5, -0.4, a, -0.3 in decreasing order.
1/5, -0.3, -0.4, a
Let v be (12/(-24))/((-1)/14). Put -2, 5, v in descending order.
v, 5, -2
Suppose 37 = -8*a + 5. Sort 5, a, 4 in descending order.
5, 4, a
Let m = -18 + 23. Sort -4, -2, m.
-4, -2, m
Let d = 6 - 3. Suppose 0 = -r + d*r - 10. Sort -1, r, -3 in descending order.
r, -1, -3
Let z = 2.3 + -2.5. Sort 3, -2, z in increasing order.
-2, z, 3
Suppose -4*r + 0 + 24 = 0. Suppose m = r - 1. Sort -3/5, -5/6, m in decreasing order.
m, -3/5, -5/6
Let t = -4 - 4. Let w be (-7)/4 + 2/t. Let l(d) = d + 3. Let k be l(w). Sort k, 2, -1.
-1, k, 2
Let d = 0.23 + 0.07. Let r = -0.2 - -0.1. Let w = -0.1 - r. Put d, 0.5, w in descending order.
0.5, d, w
Suppose 2*z - 2 = 2. Let b be z + (-1 - -1) - -2. Put -1, b, -5 in increasing order.
-5, -1, b
Let n be 42/10 + (-5)/25. Suppose 0 = -3*d + 4*d - n. Sort d, -3, -2 in decreasing order.
d, -2, -3
Let g = 1.2 - 1.1. Put 0.23, -2/9, g in decreasing order.
0.23, g, -2/9
Suppose 2*j = 2*x + 6*j - 8, -2*j + 8 = 0. Sort 0.2, -1/5, x in ascending order.
x, -1/5, 0.2
Let p = -0.16 - -0.46. Let m = -0.4 + p. Put -3, -14, m in increasing order.
-14, -3, m
Let j = 32765/4 - 2063387/252. Let v = j - 24/7. Put -1, 5, v in increasing order.
-1, v, 5
Let w = 0.28 - 0.72. Let j = w + -0.06. Put j, -5, -1 in descending order.
j, -1, -5
Let y = 32 - 29. Put 9, y, -2 in descending order.
9, y, -2
Let j = 63 - 63. Put j, 45, -1 in increasing order.
-1, j, 45
Let i = 74 + -74.5. Put 3, -2, i, 2 in descending order.
3, 2, i, -2
Suppose -c = -3*y + 3, c - 4*y + 8 - 2 = 0. Let g be c/3*(-9)/6. Let u(w) = -w**2 + 4*w + 5. Let i be u(4). Sort i, 2, g.
g, 2, i
Let s(d) = -10 + 7*d - 4*d - d - 3*d. Let r be s(-7). Let b(q) = q**3 + 7*q**2 + 1. Let t be b(-7). Put -5, r, t in decreasing order.
t, r, -5
Suppose 0 = 2*c + 2 - 10. Let l = 2 - c. So