-o = -3*w + 6*w + 2, 0 = -2*w - 5*o - 23. Let x be 28/7 - 1/(w/6). Suppose 0 = -0*l + l + 4. Sort x, l, -1 in ascending order.
l, x, -1
Suppose 2*v - 54 = -10. Suppose 0*j + 11*j - v = 0. Put j, -1, -4, 1 in ascending order.
-4, -1, 1, j
Let g(t) = -t**3 + 14*t**2 + 11*t + 50. Let y be g(15). Sort y, -19, 3, -3 in ascending order.
-19, y, -3, 3
Let n = -15.84 - -15.8. Put 1.5, 2, -2/13, n in ascending order.
-2/13, n, 1.5, 2
Suppose k - 5 - 2 = -4*m, -2*k - 25 = -5*m. Suppose 2 = t - 2, -m*t = -3*c - 18. Sort -3, c, -1 in ascending order.
-3, c, -1
Let q = 78 + -73. Suppose 4*b - q = -b. Sort 4, b, -16 in decreasing order.
4, b, -16
Let d be (1*2)/(-1) - 1272/(-600). Sort 2, 1/7, 3/5, d in ascending order.
d, 1/7, 3/5, 2
Let r = -14.78 - -0.78. Put -2/5, r, -5 in ascending order.
r, -5, -2/5
Let n = -139 - -173.1. Let b = n - 35. Suppose 5*p + 33 - 13 = 0. Put p, b, -1 in ascending order.
p, -1, b
Let y(t) = t**3 + 6*t**2 + 10*t + 7. Let o be y(-4). Let f(b) = b**2 - 8*b + 5. Let w be f(7). Sort w, 0, -3, o.
-3, w, o, 0
Let z = -294 + 293. Sort 1, -24, z in decreasing order.
1, z, -24
Suppose 4 = r - 4*r + q, -3*q + 3 = 0. Let y(z) = 7*z + 3. Let a be y(r). Sort a, -0.3, 1/2, -2 in decreasing order.
1/2, -0.3, -2, a
Suppose 3*b = 6*b - 36. Suppose -10*y - b = -22. Sort 4, -2, y.
-2, y, 4
Suppose 10 = -0*h + 5*h. Suppose -h*d = -9*m + 4*m + 27, 4*m - 16 = -4*d. Suppose -5*g + 1 = -4*o, -2*o - 2 = 2*g - 6. Sort 4, d, o in ascending order.
d, o, 4
Let d = 9 + -14. Let m = d + 3. Let t be 9 + 1 - (2 - (-2 - 1)). Sort 1, t, m.
m, 1, t
Let t = -46 - -40. Let l be 9/t*(-10)/(-3). Put -2, l, 12 in descending order.
12, -2, l
Let b = -21.7 + 3.7. Let v = 17.8 + b. Sort v, -5, -0.1, -2 in descending order.
-0.1, v, -2, -5
Let k = -299 + 300. Sort 0, -13, k in descending order.
k, 0, -13
Let n(l) = 2*l - 66. Let j be n(35). Sort 10, j, -4 in decreasing order.
10, j, -4
Suppose -5*i - 6 = -11. Put 15, 0, i, 3 in ascending order.
0, i, 3, 15
Let g(w) = w**3 - w**2 - w - 1. Let z be ((-24)/(-9))/4*3. Let u be g(z). Put -2, u, 0 in descending order.
u, 0, -2
Let r be -8 - (-1 - 3) - -7. Sort 1/2, r, 4 in ascending order.
1/2, r, 4
Let i = -255 - -262. Put i, 2, 5, -3 in increasing order.
-3, 2, 5, i
Let x(z) = z + 12. Let i be x(-9). Let l be i + 12/(9/(-3)). Put l, -6, 5 in descending order.
5, l, -6
Let t(v) = v**3 + 11*v**2 + 28*v + 1. Let k be t(-7). Sort k, 2, -2, 5 in decreasing order.
5, 2, k, -2
Let f be (1 + 5/(-3))*63/(-28). Let x = -5.02 - -0.02. Sort f, x, 3 in descending order.
3, f, x
Let m = -2.99 - 0.01. Let y = -4314 - -4313.5. Put -2/3, y, m in decreasing order.
y, -2/3, m
Let o = 1 + 3. Suppose 0 = 2*s - 7*s. Suppose s = -3*z + 7*z. Sort 2, o, z in descending order.
o, 2, z
Let u = 35.98 - 36. Let r = u - -0.15. Put r, 3, 3/8 in increasing order.
r, 3/8, 3
Let y = 12.06 + -11.66. Sort 66, y, 2, -2/9 in increasing order.
-2/9, y, 2, 66
Let v = 33.09 - 33.59. Let l = -0.44 - -0.04. Sort -5, l, v, 2/7 in increasing order.
-5, v, l, 2/7
Let f = -1.3 + 0.3. Let c = -1277.008 - -1282. Let n = c - -0.008. Sort f, -1/6, n in ascending order.
f, -1/6, n
Let s = 909/5 - 181. Let k(x) = -x**3 + 24*x**2 + 25*x - 3. Let f be k(25). Sort -2/13, s, f, 3/7.
f, -2/13, 3/7, s
Let i be (4/(-5) - 0)/(8/(-20)). Sort -1, -3, 14, i.
-3, -1, i, 14
Let c(v) = 5*v - 4. Let x be c(5). Let q = x - 23. Put q, 2, -1 in ascending order.
q, -1, 2
Suppose 4*n + 16 = -4*t, -2*t = t + n + 14. Suppose 10 = -3*q + 22. Suppose -q*l + 7*l - 6 = 0. Put t, 5, l in ascending order.
t, l, 5
Let n = 239 - 232. Sort -5, 0, n, -1 in ascending order.
-5, -1, 0, n
Let y = -64 - -65. Let p be 5 - (5 + -1)/y. Sort 5, 2, 0, p.
0, p, 2, 5
Let b be (-189)/(-7) - (2 - 1). Suppose -3*c = -11*c - 40. Sort c, -4, b in descending order.
b, -4, c
Let m = 13 - 7. Let b = 6 - m. Put b, 6, -2 in decreasing order.
6, b, -2
Let g be (-54)/(-216) - 10/8. Put 2, g, 11 in ascending order.
g, 2, 11
Let o(b) = 9*b**3 + b**2 - 1. Let x be o(1). Let t be (15/x)/(7/21). Sort -3, 4, t.
-3, 4, t
Let a = 32 + -52. Let j = a - -22. Put -4, j, -2/5 in increasing order.
-4, -2/5, j
Let d = 346 + -346. Put -1, -3, d in ascending order.
-3, -1, d
Let a = -28 + 22. Let z = a + 8. Put -1/2, -5, z in decreasing order.
z, -1/2, -5
Let i(m) = 5*m**2 - m + 1. Let c be i(1). Let w be 4 + 0 - (-14 + 14). Let n = 8 - w. Sort c, -2, n.
-2, n, c
Let p = -125 - -122. Sort 1, 2, 0, p in increasing order.
p, 0, 1, 2
Suppose -2*q = -6*q. Suppose -4*s - 12 = -q*w + 4*w, -s = 0. Sort w, 2, 0.
w, 0, 2
Let k = 37.8 + -38.1. Sort -0.56, 1, 0.4, k in ascending order.
-0.56, k, 0.4, 1
Suppose 0 = 2*x + 6, 5*j + 3*x + 49 + 230 = 0. Let a = -50 - j. Sort a, -2, -1 in descending order.
a, -1, -2
Let a = 162/799 + -4/47. Sort -16, a, -6/5 in descending order.
a, -6/5, -16
Suppose -17*s + 49 = -24*s. Sort 9, s, -4, 3 in ascending order.
s, -4, 3, 9
Suppose 40 - 10 = 6*g. Put -4, g, 4, 9 in ascending order.
-4, 4, g, 9
Let u = -4 + 4. Let q = -0.32 + -4.68. Let j = -0.03 + -2.97. Sort q, j, u.
q, j, u
Let f = 2741 - 2745. Sort -5, 2/15, 5, f.
-5, f, 2/15, 5
Let c = 62 - 34. Let z = c - 27.65. Let d = z - 3.35. Sort d, 6, 3 in ascending order.
d, 3, 6
Let g be 2 + 2 - 0/7. Suppose 4*h + 0*m - m + 5 = 0, 2*m - 10 = -5*h. Suppose 3*j - 3 = 0, h*q - g*j = -q - 5. Sort -1/5, 5, q in increasing order.
q, -1/5, 5
Let n(q) = 4*q**2 - 255*q - 67. Let d be n(64). Put d, -13, 7, -2 in increasing order.
-13, d, -2, 7
Let s(n) = -n**3 - 6*n**2 - 6*n - 3. Let m be s(-5). Let t(y) = 3*y + 6 + 6 - 2*y - 9. Let i be t(-3). Sort m, i, 5 in descending order.
5, m, i
Let q = 217 - 215. Sort -2, -12, q.
-12, -2, q
Suppose 21 = 5*b + 2*x - 3*x, 2*b = 4*x + 12. Suppose 2*t - 2*w = -8, -2*t - 6 = -3*t - 4*w. Sort t, -4, b.
-4, t, b
Let o = 0.2 - 0.5. Let p = 0.2 + o. Let c = 0.22 - 0.31. Sort c, p, -1/3 in decreasing order.
c, p, -1/3
Suppose 0 = -7*c + 4*c. Let z be ((-2)/4)/(10/(-20)). Let o be (18/(-42) - (-59)/7)/z. Sort o, c, 2 in ascending order.
c, 2, o
Let z(g) = -g**3 - 21*g**2 + 2*g + 46. Let u be z(-21). Put -5, 9, u in decreasing order.
9, u, -5
Let r be 3/(-2) - 21/14. Sort -1, 4, 5, r.
r, -1, 4, 5
Let j = -2 + 4. Let s = 11.31 - 6.31. Sort 10, s, j in descending order.
10, s, j
Let p = -3 + -39.5. Let w = -43 - p. Sort 0.2, 4, w, 1.3 in ascending order.
w, 0.2, 1.3, 4
Let c = -74 + 72. Let i = -1 - c. Let s = -197/72 - -21/8. Sort i, s, 0.1 in increasing order.
s, 0.1, i
Suppose 803*l + 1 = 802*l. Put l, 2/23, -1/4, 2/33 in decreasing order.
2/23, 2/33, -1/4, l
Let q = 123/2 + -63. Let r = -3.1 + 2.1. Sort -5, r, q.
-5, q, r
Let u = -1 - 1. Let r(a) = 43*a - 44. Let x be r(1). Sort u, -4, x.
-4, u, x
Let c = -4587 - -4588. Let p(f) = f**3 + 5*f**2 + 4*f - 3. Let q be p(-4). Sort -5, c, q in descending order.
c, q, -5
Let j = -6.449 + 6.4. Let x = j + -20.951. Let p = x + 20.5. Put -1/5, 12, p in decreasing order.
12, -1/5, p
Let n = 6 + -5.9. Let b = -33 + 38. Suppose -z - 2*z = 0. Put b, z, n in descending order.
b, n, z
Let f be 1324/(-396) - 10/(-2). Let p = f - -1/99. Let t(r) = r**2 + 3*r - 3. Let h be t(-3). Put h, p, 0.4 in descending order.
p, 0.4, h
Suppose 44*r - 53*r = 0. Sort 2/19, -4, r in ascending order.
-4, r, 2/19
Let v be (-15)/(-4) - (-1)/4. Let p = -161 + 163. Sort v, p, -24, -4 in ascending order.
-24, -4, p, v
Let f be ((-216)/(-288))/((18/(-16))/(-3)). Suppose 6*h - 10*h + 56 = 0. Sort -3/2, f, h in decreasing order.
h, f, -3/2
Let i = -2.78 + -58.22. Put 3, i, -1/6, 1 in decreasing order.
3, 1, -1/6, i
Let i be (-9)/13*20/35. Let s = i - 3/91. Suppose -3*l = -5*l. Sort s, -0.05, l in decreasing order.
l, -0.05, s
Let x be 7 + -1 + -3 - 2. Suppose 2*p + 4*t = -5 - 1, -5*t = 0. Sort p, x, -4, 0 in increasing order.
-4, p, 0, x
Let z(b) = -b**3 - 6*b**2 + 6*b + 6. Let o be z(-8). Put 1/6, 2/13, o in decreasing order.
o, 1/6, 2/13
Let v = 2.62 - -5.38. Put -2, 0.5, v, 0 in decreasing order.
v, 0.5, 0, -2
Let l = -4 + 6. Suppose 26 = -3*m - c, 4*m + 11 = -c - 23. Let t = m - -11. Sort -1, l, t.
-1, l, t
Let l = 0 + -1. Let p be 6/4 + 4 + -2 + -2. Put l, p, -19 in descending order.
p, l, -19
Suppose 3*j = 7 - 1. Let c be ((-2)/(-7))/((-2)/(-14)). Suppose -c*z + 6*z = 5*s + 10, 0 = s + j. Put 4, z, 7 in decreasing order.
7, 4, z
Let 