 0. Suppose 8 = 4*k - 0*k. Let n = 6 - k. Sort n, o, 3 in descending order.
n, 3, o
Let m = 1.1 + -12.1. Let y = 11 + m. Suppose -q - 8 = -3*q. Sort q, 0.4, y in decreasing order.
q, 0.4, y
Suppose j = -4*a - 8, -2*j + 3*a + 12 + 5 = 0. Let c = -6 + 4. Let y be c + (2 - (-10)/(-2)). Put y, 1, j in descending order.
j, 1, y
Let j = -0.6 + 1.2. Let l = 0.6 - j. Sort 0.2, l, 1 in descending order.
1, 0.2, l
Let h(d) = -2 + 0 + 7*d - 4*d. Let g be h(2). Suppose 3*n = -n + g. Sort -4, n, -5 in increasing order.
-5, -4, n
Suppose 7*g = 2*g - 15. Let u be 3*(g + 2 + 0). Put 0.1, -3/7, u in decreasing order.
0.1, -3/7, u
Let v = -1 + -2. Let x = 147 - 146. Sort x, 3, v.
v, x, 3
Let z = -14/51 - -1/3. Let b = z + 46/85. Let y = 16 - 16.4. Sort y, -2, b.
-2, y, b
Let t = -16 + 15.7. Sort 5, t, 0.5 in increasing order.
t, 0.5, 5
Let w = 3.166 + -0.126. Let n = w - 0.04. Let j = -1 - -6. Put n, j, 0.1 in decreasing order.
j, n, 0.1
Let a = -1/99 - -497/198. Put -3, 3, 2, a in increasing order.
-3, 2, a, 3
Let v be ((-3)/1)/(2/(-2)). Suppose 5*r + 4 = -z, -2*z - z - 2*r = 12. Put v, 0, z in increasing order.
z, 0, v
Suppose 0 = 3*h + 28 - 22. Sort -5, 5, h.
-5, h, 5
Suppose 5*g - 7*g + 6 = 0. Put g, -3, -4 in ascending order.
-4, -3, g
Let i be ((-9)/(-6))/((-2)/(-4)). Suppose 4*o + 12 = 32. Sort i, o, 2.
2, i, o
Let u = -7 - -14. Suppose 2*q - u*q - 5*w - 25 = 0, -5*w = -3*q - 7. Sort 2, q, -3 in decreasing order.
2, -3, q
Let w = -2 + 3. Suppose -5*h - w = 4*d + 19, -h = 3*d + 4. Let f = -1.3 + 0.3. Put d, -1/8, f in decreasing order.
d, -1/8, f
Let n be (-27)/2 - (-3)/(-6). Let u be 12/8 - n/4. Put u, -2, 12 in decreasing order.
12, u, -2
Let v(j) = -j - 2. Let i be v(0). Suppose 0 = 78*w - 74*w. Suppose -2*s = -5*s - 9. Put w, s, i in descending order.
w, i, s
Suppose -f = 2*t + 2*t + 10, 9 = -5*t - 3*f. Let g(l) = l**3 + 3*l**2 - l - 2. Let y be g(-1). Put -1, y, t in ascending order.
t, -1, y
Suppose 9*h - 2*h + 28 = 0. Sort 3, h, 0, -2 in descending order.
3, 0, -2, h
Suppose 0*v = -v + 6. Let r = v - 5. Sort r, -5, 0.
-5, 0, r
Let c(j) = -2*j**2 + j**2 + 1 + 0 - 4*j. Let d be c(-3). Put d, 1, -1 in decreasing order.
d, 1, -1
Let q = -67 + 63. Let n(d) = d**3 + 5*d**2 - 7*d - 5. Let r be n(-6). Put q, r, 5 in increasing order.
q, r, 5
Let t(v) = -5*v + 7. Let l be t(2). Put -4, -5, 0, l in descending order.
0, l, -4, -5
Let r = 5 + -7. Let g = 517 + -508. Put -1, r, g in decreasing order.
g, -1, r
Let c(v) = -4*v**2. Let w be c(1). Let f be w/(-6) - 16/6. Sort f, 3, 2 in descending order.
3, 2, f
Let g = 4 + 1. Suppose 4*p = -12, 2*p + 9 = 3*f - 2*p. Sort 4, g, f in descending order.
g, 4, f
Suppose 0 = -o - 3*b, -o - o + 3*b = 0. Let x be ((-3)/2)/(12/(-40)). Suppose -4*k = -w + 2, -k + 2 = -4*w - x. Put 1, o, w in increasing order.
w, o, 1
Suppose 7 = -5*r - 2*g, 4*g = r + 4*r + 1. Let l be (r - -2)/(1/6). Suppose -m + l - 1 = 0. Sort -3, -1, m in ascending order.
-3, -1, m
Let q(c) be the second derivative of -c**3/6 + 3*c. Let h be q(1). Sort -4, h, 5 in decreasing order.
5, h, -4
Let k = -10 + 10. Suppose 2*a + 14 = -3*h - h, -a - 5 = k. Sort 5, h, -4 in descending order.
5, h, -4
Let l = 1 + 11. Let w(b) = b - 23. Let s be w(l). Sort s, 4, -4 in increasing order.
s, -4, 4
Let u = -8.2 - -15.3. Let z = u - 7. Sort 0.3, 2/11, z in decreasing order.
0.3, 2/11, z
Let y(f) = 14*f**3 - 23*f**2 - 20*f + 19. Let c(z) = -5*z**3 + 8*z**2 + 7*z - 6. Let a(b) = 11*c(b) + 4*y(b). Let g be a(4). Sort 2, -1, g in decreasing order.
2, -1, g
Let i(v) = 2*v + 7. Let j be i(-3). Sort j, 0, 2.
0, j, 2
Let w = -7.4 - -7. Sort w, 5, 3 in decreasing order.
5, 3, w
Let d(q) = -q**3 - 17*q**2 - 5. Let t be d(-17). Sort -2/3, t, 1 in increasing order.
t, -2/3, 1
Let y be ((-10)/4)/((-45)/36). Suppose -4*d = 4*b - 6*b + y, 0 = -3*b + 2*d - 5. Put b, 3, 0 in descending order.
3, 0, b
Let b = -1.08 + 1. Let c = b - 0.22. Sort 0.3, c, -2/15 in descending order.
0.3, -2/15, c
Suppose -7*p + 6 = -4*p. Suppose 0 = 5*q - 4*h, -p*q = 2*q + h - 21. Sort -2, q, -6 in ascending order.
-6, -2, q
Let c(o) = -o**3 + 12*o**2 - 2*o + 23. Let h be c(12). Sort -2/11, h, -5, 4.
-5, h, -2/11, 4
Let q = -7 - -4. Let b be ((12/q)/(-4))/(-3). Put -0.4, b, 1/2 in ascending order.
-0.4, b, 1/2
Suppose 5*p + 6 = o, -5*o - 19 - 5 = 2*p. Put 1, -4, p in decreasing order.
1, p, -4
Let t = -1 - 3. Sort t, -3, -5.
-5, t, -3
Suppose h + o + 11 = 6*o, -5*h + 29 = 3*o. Let t(r) = r**3 + 11*r**2 - 2*r - 22. Let b be t(-11). Suppose -4*p + h*x = b, 0*p + p - 3*x = -2. Sort 0, p, -4.
-4, 0, p
Let x be 5/(-10) + 2/(-4). Let k be x/(-15) - 4/6. Sort 4, k, -4 in decreasing order.
4, k, -4
Let i = -47 - -44. Put 5, i, -0.5 in descending order.
5, -0.5, i
Let m = 15 + 1. Suppose 4*p - m = 5*s, -9 = -4*p - 4*s + 7. Suppose -4*v - 11 = 3*w, p*w - 3*v - 4 = -27. Put w, 2, -2 in increasing order.
w, -2, 2
Let b = 34 - 34. Put 5, b, 1 in ascending order.
b, 1, 5
Let q = -0.5 + 2. Let f = -1 + q. Let j = 449/3 - 151. Sort j, f, 1/5.
j, 1/5, f
Let g(o) = o - 2. Let h be g(4). Suppose 1 - 5 = 2*f - j, 0 = f - h*j + 5. Let x(u) = u + 2. Let c be x(0). Put 4, c, f in ascending order.
f, c, 4
Let w = -12 - -30. Suppose w + 42 = -5*x. Put 2, x, 0 in decreasing order.
2, 0, x
Let l = 5.3 + -4.8. Put -2/5, 1, l in ascending order.
-2/5, l, 1
Suppose 1 - 31 = 10*x. Suppose 0 = -2*r + g, 3*r + 5 = 2*g - 3*g. Suppose -6*d + 15 = -d. Put d, x, r in ascending order.
x, r, d
Let p be 2/8*(-104)/(-169). Let z = -1 + 6. Sort -0.3, p, z in descending order.
z, p, -0.3
Let z = -9 + 4. Put z, -3, 1 in descending order.
1, -3, z
Let w = -0.169 + -0.831. Sort w, 0.032, 4/7.
w, 0.032, 4/7
Let z = 37.5 + -38. Put 1, z, 2/3 in increasing order.
z, 2/3, 1
Suppose -199*b - 14 = -192*b. Suppose 6 = -4*m + 2. Sort 0, b, m in descending order.
0, m, b
Suppose 5*f - 70 = -5*n + f, 4*f - 40 = -2*n. Suppose 0 = -5*m + j + n, -7*j + 3*j = -2*m + 22. Let l be (6/(-22))/(3/(-2)). Put -0.1, l, m in increasing order.
-0.1, l, m
Let n be 1/((-2 + 1)*1). Put 1, n, -7, -3 in ascending order.
-7, -3, n, 1
Suppose 3*l = -l - 4. Let z = -15 + 19. Let y be z/(-22) - (-4)/22. Put l, -4, y in ascending order.
-4, l, y
Let i(d) be the second derivative of -d**3/6 + d**2/2 - 2*d. Let s = -2 + 1. Let q be i(s). Put q, 3, 1 in decreasing order.
3, q, 1
Let c be (-9)/18 - (-2)/20. Put 2, c, 0.4 in decreasing order.
2, 0.4, c
Suppose 3*g + 15 = 0, -5*g - 7 - 12 = 2*v. Let k be (-4)/(-2) - (-4 + 7). Let u = 1 - 0. Put k, u, v in descending order.
v, u, k
Suppose 3*n - 5 = -2*n. Let i be 1/(36/(-20) - -2). Suppose i*z + 7 = -2*o + o, -2*o - 5 = z. Sort n, -5, o.
-5, o, n
Let f(y) = y - 3. Let a be f(8). Let m be (4/(-8) + (-10)/4)*1. Sort -1, a, m in increasing order.
m, -1, a
Let s = 2 - 14. Let m = s - -13. Let o be ((-4)/(-6))/((-22)/(-6)). Sort o, m, -1/3 in decreasing order.
m, o, -1/3
Let b(l) = -l - 1. Let h be b(-7). Suppose -h*w + 16 = -2*w. Put 5, w, 2/3 in increasing order.
2/3, w, 5
Let l be ((-236)/8 + 1)*1. Let v = l + 113/4. Sort v, 5, 4 in descending order.
5, 4, v
Let t = 2.59 - 0.59. Sort 1/4, t, 10 in descending order.
10, t, 1/4
Suppose 5*a = 5, h = 6*h - 3*a - 2. Suppose -x + 1 + h = 0. Suppose 5*n = -5*d + 5, n = d + d + 13. Sort x, n, -1.
-1, x, n
Let g(r) = -r**2 + 11*r - 6. Let p be g(10). Suppose p*d = -0*d - 16. Sort 2, d, -3.
d, -3, 2
Suppose j - 2*n = -7, 2*j + j + 4*n = -1. Sort j, 5, -5, -4 in decreasing order.
5, j, -4, -5
Let d be ((-16)/36)/(4/6). Suppose 5*m = -3*s - s - 4, 5*m + 16 = -s. Let z be 2/m - 15/(-6). Put z, -0.2, d in increasing order.
d, -0.2, z
Let q be (-1027)/(-1508) + (-22)/8 + 2. Let i be 2/(-3) + (-1)/(-1). Put q, 4/5, i in descending order.
4/5, i, q
Let a = -23 + 24.8. Let v = a + -9.8. Let j = v + 7.7. Sort -2, 2/11, j in ascending order.
-2, j, 2/11
Let j(s) = 3 - 4 + 2 + s. Let y be j(3). Let i = 0 + 0. Sort i, -3, y.
-3, i, y
Let h be (-28)/(-48)*4/14. Sort 4, h, 0.3 in ascending order.
h, 0.3, 4
Let k = -12 - -17. Let z = -3 + 2.5. Sort k, 0, z in decreasing order.
k, 0, z
Let t = 11 - 8. Let n(y) = -y - 3. Let g be n(-6). Let a = 2 - g. Put t, a, 5 in descending order.
5, t, a
Suppose -3*x + 5*u + 11 = 0, -2*u + 3*u - 7 = -4*x. Suppose x*i = -6 - 2. Put -3, -5, i in descending order.
-3, i, -5
Let f = -3