pose 2*w - 8 = 4. Suppose 0 = -2*k - 5*j - 3, 0 = -j + 5*j - 4. Let i be (-2)/4*k/w. Put 4, i, 2/5 in descending order.
4, 2/5, i
Let b be -3 + 2 - (3 + -6). Let o = -3.03 - -0.23. Let f = 3 + o. Put b, f, 3 in ascending order.
f, b, 3
Suppose 0 = c - 2*j + 5, -2*c - j = -4*j + 7. Suppose h + c = -0. Let w be -1*(-3*2 + 1). Sort w, h, -3 in descending order.
w, h, -3
Let g = 0.3 - -0.7. Let j = -6 - -11. Let q = -89/36 + 9/4. Put g, q, j in descending order.
j, g, q
Suppose 19 = 3*o - i, -i = -2*o + 7*o - 21. Let n(t) = 2*t**3 - 9*t**3 - 5*t + 6*t**2 - 5 - 2*t**3 + 8*t**3. Let f be n(o). Sort 0, -1, f in descending order.
0, -1, f
Suppose 10*p + 48 = 7*p. Put p, 1, -4 in descending order.
1, -4, p
Let k = 26 - 14. Put k, -1, 5 in ascending order.
-1, 5, k
Let v(w) = 3*w**2 + w. Let l be v(-1). Let d(m) = -1 + m + 5 - 14. Let s be d(5). Sort -4, s, l in descending order.
l, -4, s
Suppose -71 = -5*n - 81. Put 4, 7, 5, n in decreasing order.
7, 5, 4, n
Suppose -14*h + 15 = -11*h. Put h, 1, 3 in increasing order.
1, 3, h
Let k be (-124)/10 + (-12)/(-30). Let n be 9 + k - 0/(-2). Sort 0, n, 5 in descending order.
5, 0, n
Let m be ((-2)/(-3))/(4/(-6)). Put m, 5, -8 in decreasing order.
5, m, -8
Suppose 4*i + 6 = 14. Sort i, -1/9, 0.4, 5 in decreasing order.
5, i, 0.4, -1/9
Let i = 6 + -15. Let c be i/(5 - 2) + 1. Let j(u) = -u**3 - 3*u**2 - 3*u. Let z be j(-2). Sort -5, c, z in decreasing order.
z, c, -5
Let u = -27 + 29. Let q = -0.95 - 0.05. Sort u, 2/3, q.
q, 2/3, u
Suppose 0 = 4*d + 4*d - 88. Let p = -9 + d. Suppose 0 = n - 5*w - 13, 0*n + 19 = -5*n - 3*w. Sort p, n, 4 in decreasing order.
4, p, n
Let s = 0.8 - 4.8. Let h = -1 - s. Sort 0.1, h, -1 in decreasing order.
h, 0.1, -1
Let i be 4/(-6) + (-2)/(-3). Suppose 3*n + 0*n = -y + 14, -4*n + 3*y + 23 = i. Suppose 0 = 2*z + v + 3 - 13, -v = -3*z + 10. Put n, z, -5 in ascending order.
-5, z, n
Let n = -2.5 + 5.4. Let h = n + -2.7. Put h, 5, 2 in descending order.
5, 2, h
Suppose 11*q - 16*q = 5. Sort 5, 2, q, -4 in descending order.
5, 2, q, -4
Let m = -189 + 141.95. Let q = -44 - m. Let l = 0.05 - q. Sort 0.5, l, -0.1 in descending order.
0.5, -0.1, l
Let c = -1.2 - -13.2. Let s = -0.2 - -7.2. Let y = s - c. Put -1/3, -1, y in descending order.
-1/3, -1, y
Let h = 0.08 + 3.92. Let s = h - 3. Put 0.5, -4, s in descending order.
s, 0.5, -4
Let u be (-3)/(-6) + 1/(-14). Put -4, u, -8 in increasing order.
-8, -4, u
Let k(o) = -o**3 + 16*o**2 - 16*o + 18. Let p be k(15). Put -5, -3, p in decreasing order.
p, -3, -5
Suppose 5*b - 47 + 167 = 0. Let c be b/7 + (-4)/7. Put 3, 5, c in increasing order.
c, 3, 5
Let f = -21 - -21. Let o = 9 + -5. Sort -1, f, o in ascending order.
-1, f, o
Let b = 244 + -1955/8. Sort b, -5, -2/5 in decreasing order.
b, -2/5, -5
Suppose 2*z + 4*y - 4 - 6 = 0, 4*z - 2*y = -10. Let a be (-6)/12 + z/(-4). Suppose -2*u + 3*u - 1 = 0. Sort 2/3, a, u in increasing order.
a, 2/3, u
Let j(y) = 3*y**2 - 1. Let q be j(-1). Suppose q*p - 2*c = 8, c = p + 4*c + 8. Suppose 4 = -3*b - b. Put b, 4, p in increasing order.
b, p, 4
Let f = 17 - 5. Sort f, -0.4, -0.1.
-0.4, -0.1, f
Let q = 64 + -68. Sort -3, -4/7, 2/11, q in descending order.
2/11, -4/7, -3, q
Suppose -2*k = -3*k - 6. Let i be 110/(-33) + (-2)/k. Put 3, 4, i in descending order.
4, 3, i
Let j = 4 + -5. Let b = -4 + 3.5. Suppose 0 = 4*h + 5*p + 35, -p + 2*p = 5*h + 22. Sort b, h, j in increasing order.
h, j, b
Let s(f) = f**2 + 3*f - 51. Let j be s(6). Sort 0.1, j, 10/3 in increasing order.
0.1, j, 10/3
Suppose -54 = -x + 4*x. Let u be 76/x + (-2)/(-9). Let d = u + 7. Put 0, 5, d in ascending order.
0, d, 5
Suppose 0*n = 2*n + n. Sort 5, -3, n in increasing order.
-3, n, 5
Suppose 0*g = 4*g. Suppose 3*o + 3*p - 9 = g, p = -2*o + 2*p + 9. Let d(r) = -r**2 + 3*r + 3. Let v be d(3). Sort v, 0, o.
0, v, o
Let i = 5445/14 + -389. Let t = 3 + 0. Put t, 2/9, i in increasing order.
i, 2/9, t
Suppose 5*u = -0*u - 20. Sort 2, -1, u in ascending order.
u, -1, 2
Let y be -5 + 35/10 + (-22)/(-4). Sort -11, y, -3 in ascending order.
-11, -3, y
Suppose 0 = -b + 6*b - 10. Suppose -3*y - 8 = y, 3*k + 2*y + 1 = 0. Sort 4, k, b in ascending order.
k, b, 4
Let z = 62 - 188/3. Put 2/5, z, -3 in ascending order.
-3, z, 2/5
Suppose 5*c + 0 = -135. Put c, -4, -1 in increasing order.
c, -4, -1
Suppose -4*m = -2*h - 28, 5*h = 3*m + m - 34. Suppose 2*l = -3*v + 3, m*v = v + 5. Let g be (-1)/(3/2 + -1). Sort 5, l, g.
g, l, 5
Let y be 2/(-3)*(0 - (-9)/(-3)). Put 0, 3, y in descending order.
3, y, 0
Let g = -0.3 - 0.1. Sort 0.05, 1, g.
g, 0.05, 1
Let q(m) = -3*m - 13. Let d be q(-5). Suppose d*o - 1 = -5. Sort 2, -8, o in descending order.
2, o, -8
Let u = 0.3 + -2.3. Let a(s) = -s**2 - 27*s + 23. Let g be a(-28). Sort -5/2, g, u in ascending order.
g, -5/2, u
Let k(w) = w - 4. Let d be k(7). Suppose 2*m = -d*m + 10. Let p = -2 - -5. Sort m, p, 1 in descending order.
p, m, 1
Let m be (-4)/(1 + -5 + 3). Let w = 3 + -3. Suppose 6*u - 4*u + 8 = w. Sort 2, u, m in decreasing order.
m, 2, u
Suppose 2*v = -5*m + 17, -7*v + m + 29 = -2*v. Let o be ((-1)/v)/(7/133). Let r = 8/3 + o. Put r, -0.2, -2/3 in ascending order.
-2/3, r, -0.2
Suppose -3*s - s = -8. Let m(h) = -5*h + 5. Let b(z) = -6*z + 5. Let v(u) = 4*b(u) - 5*m(u). Let q be v(10). Put s, q, 0 in ascending order.
0, s, q
Suppose 0 = z - 2*m + 9, 5*z = 4*m - 37 + 10. Let w(n) = n. Let a be w(z). Sort a, -4, -1 in ascending order.
-4, a, -1
Let l = 0.19 + -4.19. Sort l, -2, -0.5 in increasing order.
l, -2, -0.5
Let l = 45/28 - 7/4. Sort -3, l, 1/5 in decreasing order.
1/5, l, -3
Let n(w) = -8*w + 39. Let z be n(5). Let t = -21 - -24.6. Let k = 4 - t. Put z, k, -5 in increasing order.
-5, z, k
Let d = 7 + -14. Let w = -12 - d. Let l = -1 - w. Sort 2/5, l, 0.5 in increasing order.
2/5, 0.5, l
Let z = 11 + -7. Let h be (6/9)/(z/(-18)). Sort 2, h, 5 in descending order.
5, 2, h
Let v be (-3)/(-9)*6/(-8). Let c be (-2)/(-6)*(-48)/(-40). Sort c, -5, v in increasing order.
-5, v, c
Let h(c) = -4*c - 10. Let z be h(-3). Suppose -2*g + 2*b - 2 = 6*b, 4*g + 4 = b. Sort z, -4, g in descending order.
z, g, -4
Suppose -3*i - 5 = -4*i. Let r be 2*3*i/10. Sort 0, -1, r in decreasing order.
r, 0, -1
Let k = -118 + 119. Let a = 1 - 1. Put k, -5, a in decreasing order.
k, a, -5
Let c = 18 - 14. Suppose 25 = 2*n - 5*a, -c*n + 5*a + 26 = 3*a. Sort -3, n, 3.
-3, 3, n
Suppose -3*c - 19 = -31. Sort 3, c, 0, -4.
-4, 0, 3, c
Let i be (2/3)/((-6)/9). Let n be 3 + 7/((-28)/(-8)). Sort n, 3, i.
i, 3, n
Let h be 2*3 + (-6 - -4). Suppose 3*p = -9, -h*c = 4*p - 8 + 48. Let s = 6 + c. Sort s, -4, 5.
-4, s, 5
Let u = 31 + -11. Suppose -u = 4*t - 3*v, 6 = t + 5*v - 12. Let c be (-1)/((-15)/(-9) + t). Put 4, c, -4 in decreasing order.
4, c, -4
Suppose 4*o = -2*w - 4 + 20, 3*w - 10 = o. Suppose -17 - 8 = -5*j. Put w, j, 3 in decreasing order.
j, w, 3
Let q = -9 - -4. Suppose 3*o + d = -d + 13, 7 = 2*o + d. Suppose -7 = 2*l - o. Sort -1, l, q.
q, l, -1
Let r = 1 + 1. Let v = 5/4 - 3/4. Put v, 2/3, r in decreasing order.
r, 2/3, v
Suppose 1 = l - 2. Let c be 12/9*l/(-2). Let y be (5 - 7)/((-10)/15). Put y, c, 2 in decreasing order.
y, 2, c
Let z = 0.04 + 3.96. Let k = -3 + z. Sort -5, 1/5, k in increasing order.
-5, 1/5, k
Let c be ((-8)/5)/(44/110). Let p = -3 + 4. Sort c, 2, p in descending order.
2, p, c
Let q = 3 + -5. Let s(t) = 2*t + 3. Let d be s(-3). Sort d, 5, q in descending order.
5, q, d
Let a = -1 - -1. Let t = -0.39 - -0.6. Let w = -2.21 + t. Sort w, -1, a in descending order.
a, -1, w
Let h = -4 + 6. Let s = -8 - -49/6. Sort s, h, 2/7 in decreasing order.
h, 2/7, s
Suppose -o - 97 = -101. Let h = 3 + -1. Sort h, -3, o in increasing order.
-3, h, o
Suppose 3*k + 0*k - 3 = 0. Suppose -u + 4*x - 2 - k = 0, 2*u + x = 12. Sort 1, u, 3 in descending order.
u, 3, 1
Suppose -27 = 5*s - 14*s. Sort s, 1, 0 in descending order.
s, 1, 0
Let t be (-3)/(-2) + (-15)/30. Let p = 15 + -9. Let i be -10*(p/4)/(-3). Sort 4, t, i.
t, 4, i
Let n(o) = o**2 + o. Let y be n(0). Suppose 18*w + 9*w = -81. Put -4, y, w in decreasing order.
y, w, -4
Suppose 0 = 4*o + 3*n - 361, 2*o + 3*n + n = 168. Let t be o/14 + (-2)/(-7). Suppose -4*s - t = -m, -m + 6*m + 7 = -s. Sort 1, s, -1.
s, -1, 1
Let q(f) = 3*f**2 + 4*f - 9. Let i(u) = -4*u**2 - 3*u + 9. Let b(s