et n = 65/2 + -32. Let t be 1/(-1)*(1 - 1). Suppose 2*u + 0*u + 10 = t. Sort 4, u, n in decreasing order.
4, n, u
Let m = 20 - 20.01. Let z = -0.7 + -0.3. Let c = z - -1.2. Sort c, -1, m in ascending order.
-1, m, c
Suppose -2*f + 3*p + 6 = -p, -5*p = -3*f + 7. Put -3, f, 2 in decreasing order.
2, f, -3
Let p = -4 - 0. Let j be (-22)/(-6) - p/(-6). Sort 1, -5, j in decreasing order.
j, 1, -5
Suppose 5*n + 15 = -5*b, 3*n + 13 = -5*b - n. Sort -3, b, -5 in decreasing order.
b, -3, -5
Let d = -0.21 + -4.79. Put -2/7, d, 1.1 in increasing order.
d, -2/7, 1.1
Let s = -1 - 0. Let u be (s + 0)/((-1)/(-5)). Sort u, -1, 3 in descending order.
3, -1, u
Suppose 15 = -5*o + 2*g, 3*o + 0*g = g - 8. Put 0, 5, o in decreasing order.
5, 0, o
Let l(u) = -u**2 - 8*u - 7. Suppose 0*f = 3*f - 2*y + 16, -5*f - 2*y = 32. Let z be l(f). Suppose 0 = 2*t, -2*v + t - z*t + 2 = 0. Sort v, 1/2, -4.
-4, 1/2, v
Suppose -8*j + 4 = -4. Sort j, -9, -4, 3 in descending order.
3, j, -4, -9
Let p = 0.2 + -1.2. Suppose 3*y + 5*q + 11 = 0, -8 = -0*y + 4*y + 5*q. Let z be (y/6)/(2/4). Sort -0.1, p, z in decreasing order.
z, -0.1, p
Let z = 62/51 + -4/3. Suppose 8 = -2*b - 8. Let u = -5 - b. Put z, 2/3, u in ascending order.
z, 2/3, u
Let k be 2*(-2 + (4 - 0)). Let p(z) = 10*z**3 - 12*z**2 + 12. Let j(i) = 7*i**3 - 8*i**2 + 8. Let y(v) = 7*j(v) - 5*p(v). Let q be y(3). Sort -4, q, k.
-4, k, q
Suppose i - 1 = c, -2*c + 6*c = -3*i + 10. Sort 2, c, 4, -12 in increasing order.
-12, c, 2, 4
Suppose -32*o = -28*o + 4. Sort 0, 2, o in increasing order.
o, 0, 2
Let x = 574/9 + -64. Sort 13, 0.1, x in ascending order.
x, 0.1, 13
Let i(n) = n**2 + 4*n - 16. Let a be i(-7). Sort -2, -1, 3, a.
-2, -1, 3, a
Suppose -4*w = -5*u + 11 + 22, 0 = -u + 5*w + 15. Suppose v = -0*v + 4. Suppose 3 = -0*z - 2*z - 3*i, -4 = u*z + v*i. Sort 4, z, -4 in ascending order.
-4, z, 4
Let l = 22 - 18. Let i be l + (-3)/(4 - 1). Put -2, i, -3 in descending order.
i, -2, -3
Let d(j) = 3*j - 48. Let x be d(15). Sort x, 3, -4, 8 in descending order.
8, 3, x, -4
Suppose -6*o - 6 = -7*o - 2*v, o - v = -3. Sort o, -2, 26 in descending order.
26, o, -2
Suppose -8 = -20*j + 24*j. Let z be 4/10*(-2 - -7). Sort 3, z, j in increasing order.
j, z, 3
Let s = -215/4 - -54. Let k = 0 + -0.2. Put k, 4, s in ascending order.
k, s, 4
Suppose 0 = 4*l - 9*l. Suppose 0 = 11*b + 14*b + 75. Put l, b, 3 in decreasing order.
3, l, b
Let a = 27 + -22. Suppose a*z = -0*z. Sort -3, z, -2.
-3, -2, z
Let m be 6/(-8)*(-8)/(-12). Suppose -5*d + 0*d - 5*o - 20 = 0, -3*o + 9 = -4*d. Put m, d, -4 in decreasing order.
m, d, -4
Suppose -o = -3*o + 6. Put -9, o, 2 in decreasing order.
o, 2, -9
Suppose 3*u - y - 4 = 0, 2*y - 5 = y. Let k = 1 - 2. Put k, -4, u in decreasing order.
u, k, -4
Let v = -4 + 7. Suppose 4*k - v*q + 2 = -k, -4*k + 5*q = -1. Sort 4, k, -2 in decreasing order.
4, k, -2
Let o be 2/8 + 3/(-12). Suppose o = 5*t + 16 - 1. Let z be (1 + t/3)/2. Put -4, z, -3 in ascending order.
-4, -3, z
Let m(c) = -c**3 + 13*c**2 - 3*c + 25. Let d be m(13). Sort -5, 4, d in decreasing order.
4, -5, d
Let c(a) = 2*a**3 - 9*a**2 - 4*a - 3. Let l be c(5). Let m = -1 + 1. Sort l, m, 5 in descending order.
5, l, m
Let t = 0 - -4. Suppose -z = h - 3 + 1, -14 = -h - t*z. Let y(n) = n - 4. Let w be y(0). Put 5, h, w in increasing order.
w, h, 5
Let s = 23.8 - 29. Let o = s - -1.2. Let n = 221/6 + -37. Put -5, n, o in increasing order.
-5, o, n
Suppose 12 = -3*u, 4*r - 2*u + 8 = -0*u. Suppose -2*y = 2*y + 5*h + 9, -4*h - 32 = -3*y. Sort r, 0, y.
r, 0, y
Let k be 4 + (0/2)/(-1). Suppose -t = -4*t + 3. Suppose -5*w + 12 - 33 = 4*i, i = 2*w - 2. Sort k, i, t in descending order.
k, t, i
Suppose 5*k + 5 = -0. Suppose 0*c = c + 4. Let x = -1 - -1. Put c, k, x in descending order.
x, k, c
Let a be (15/(-9) - -1)*6. Let l be ((0 - 0)/(-1))/(-2). Let c = 1 - 3. Sort a, l, c.
a, c, l
Let m be 6/(-4)*(-16)/6. Suppose 4*q = 2*b + 4, 2*q - m = q - b. Let y = 5 - q. Put -2, -5, y in increasing order.
-5, -2, y
Let p(m) = 3*m + 2. Let l be p(-2). Sort 4, -1, l in increasing order.
l, -1, 4
Let h = -21 + 3. Let d = h + 21.5. Let c = -0.5 - d. Put c, 4, -1/4 in decreasing order.
4, -1/4, c
Let j(n) = -2*n + 18. Let g be j(7). Suppose -3*f - 5*p = 10, p - 3 = -2*p. Sort f, 1, g in decreasing order.
g, 1, f
Let g be (1*1/(-4))/1. Let a = -0.46 + 3.46. Sort -5, a, g in descending order.
a, g, -5
Suppose 0 = -2*m - 4*o - o + 16, 0 = m + 4*o - 11. Suppose -d - m = 2*d. Sort -5, d, 3 in increasing order.
-5, d, 3
Let g be 0 - (-3 - (0 + -3)). Suppose g = 6*x - 2*x + 20. Put x, 4, 1 in ascending order.
x, 1, 4
Suppose 4*n + 4 = -4*d, 4*d - 5*n + 7 - 3 = 0. Suppose 1 = 3*x - 5. Suppose -4*r + 3 = -t, -6*t = -5*r - x*t + 12. Sort d, 3, r in decreasing order.
3, r, d
Suppose -4 = -a - 5. Let i = -14 + 10. Put i, a, 4 in descending order.
4, a, i
Let h = -18 + 21. Let c = 6 - h. Put -5, c, -4 in decreasing order.
c, -4, -5
Let f = 2.7 - 2.63. Sort 2/7, f, 5 in descending order.
5, 2/7, f
Let m = 9.6 - 3.6. Put 2, m, -0.5 in descending order.
m, 2, -0.5
Let x be 2/(-8)*2*0. Let b = 2 + x. Put -1, b, -4 in descending order.
b, -1, -4
Let d = -26 + 26.15. Let m = -2.85 - d. Sort -0.05, 0, m in increasing order.
m, -0.05, 0
Let x be (-2 - -1)*(2 - 2). Let a be (x - 1)*0 + 2. Let h = 5 + -9. Put a, h, -3 in descending order.
a, -3, h
Let b(t) = -t**2 + 3*t + 8. Let y be b(5). Put -5, y, 0 in increasing order.
-5, y, 0
Let k = 21.2 - 24. Let r = 0.2 - k. Let m = 6 + -9. Sort m, r, -1 in decreasing order.
r, -1, m
Let t be 1/5 - (-12 - -12). Put t, 4, -3 in decreasing order.
4, t, -3
Let i = -3 - -1. Suppose -5*t = 9 - 4. Let w be -1*(i - t)*2. Sort w, 0.4, 0.5.
0.4, 0.5, w
Let x be -1 - (-3)/(-1 + -2). Put x, -4, 1 in decreasing order.
1, x, -4
Suppose -l = -3*a + 8*a - 7, 4*a = l + 2. Sort 3, -5, -0.5, a in ascending order.
-5, -0.5, a, 3
Let w(g) = -g**2 - 11*g + 1. Let o be w(-11). Let d(f) = 2*f - 5. Let k be d(4). Sort o, k, 2 in increasing order.
o, 2, k
Suppose -2*n = k - 2, 2*k - 7 = -5*n - 0. Sort k, 1, -8.
-8, k, 1
Let s = 27 - 26. Sort 10, 0, s in ascending order.
0, s, 10
Let l = -256/299 - -10/13. Let c = 24 - 29. Sort l, -0.3, c in increasing order.
c, -0.3, l
Let b be (0 + 1)/(-1)*4. Suppose -k - 4*f = -2*f - 10, k - 19 = -5*f. Sort k, b, 3 in decreasing order.
k, 3, b
Let t = -10 - 0. Let n = t - -12. Suppose 5*d + 24 = -n*j + d, -4*d - 32 = 4*j. Sort j, 1, 0.2 in descending order.
1, 0.2, j
Let f = -25 - -11. Let r = f + 96/7. Sort r, -0.5, 4.
-0.5, r, 4
Suppose -2*j - 13 + 5 = 0. Put 4, 0, j in descending order.
4, 0, j
Let i = 2 + -2. Let m be i - -2 - (-14)/(-2). Let j = -201 + 198. Sort 3, m, j in ascending order.
m, j, 3
Let q = 0.6 - -0.1. Let d = 0.3 + q. Let b = 30 - 268/9. Sort -4, d, b.
-4, b, d
Suppose 5*j = -1 + 16. Suppose -4*w = r - 24, w - r - j + 2 = 0. Let k(l) = 4*l - 1. Let a be k(1). Sort w, 1, a in descending order.
w, a, 1
Let f(t) = -7*t**3 + t**2. Let x(o) = 36*o**3 - 5*o**2. Let z(j) = 11*f(j) + 2*x(j). Let g be z(1). Put -3, g, 1 in decreasing order.
1, -3, g
Suppose 0 = -4*j, 5*d - 22 = -2*j - 92. Let l be ((-6)/d)/(7/49). Sort -3, l, -6 in decreasing order.
l, -3, -6
Suppose 15*s + 56 = -13*s. Let h = 0.1 - 0.5. Put s, h, 2 in decreasing order.
2, h, s
Suppose 0 = -0*b - 3*b + 180. Suppose 0 = -3*k - 0 + b. Let u be 10/12*(-6)/k. Sort u, 0, -3 in descending order.
0, u, -3
Let z = 6 + -3. Put z, 0, 4, 5 in ascending order.
0, z, 4, 5
Let c be 501/(-39) + (-10)/65. Let w be c/(-28) + (-6)/8. Put 4, 1, w in decreasing order.
4, 1, w
Let x(p) be the second derivative of p**5/20 + p**4/12 + p**3/3 + 3*p**2/2 + p. Let i be x(0). Sort i, 5, 4 in decreasing order.
5, 4, i
Let m = -0.72 + 0.52. Sort 5, 0.049, m in decreasing order.
5, 0.049, m
Let o(m) = -m**3 + 5*m**2 + 6*m + 1. Let g be o(6). Put 5, g, 4, -3 in descending order.
5, 4, g, -3
Let o = 125.3 + -131. Put o, -5, 2/11 in descending order.
2/11, -5, o
Suppose -4*b + 48 = 3*i, -5*b = 4*i + i - 75. Let f = 18 - i. Suppose -f = -4*n + 14. Sort 5/2, n, 4 in increasing order.
5/2, 4, n
Suppose 0 = 4*n + s + 1, -5*s + 4 - 29 = 0. Let l = 20 + -15. Sort l, n, -2 in decreasing order.
l, n, -2
Let b(c) = c**2 + c - 2. Let d be b(2). Suppose 3 = h + i, -i + 1 = -2*h + d*i. Put 0, -3, h in descending o