 Let w be b(-2). Let v = 4669 + -4664. Put -0.5, w, v in ascending order.
w, -0.5, v
Let c = 227 + -126. Let u = c - 45. Let n be 2/8 - 70/u. Sort -5/4, n, 0 in ascending order.
-5/4, n, 0
Suppose -34*q - 9 = -25*q. Sort 2, q, -13, -5 in descending order.
2, q, -5, -13
Suppose 106*l - 109*l = -69. Sort -4, -2, l in descending order.
l, -2, -4
Let o be 5 + (-1183)/210 + (-4)/(-30). Put 0.5, 1, o in decreasing order.
1, 0.5, o
Let y = -22.4 + 3.4. Let n = -97 - -112. Let f = y + n. Sort f, 1, 4/5 in descending order.
1, 4/5, f
Let t = -1295 + 9063/7. Sort 5/3, 4, t in ascending order.
t, 5/3, 4
Let s be 84/24*(-2)/(-7). Suppose 6 = 4*j - 6. Suppose 15 = j*r - 8*r, -h - 2*r - 7 = 0. Put h, s, -5 in decreasing order.
s, h, -5
Let t(a) = -a**3 - 6*a**2 - 6*a - 5. Let w be t(-5). Let l = 2.52 - 1.52. Sort -0.5, -1/5, w, l in increasing order.
-0.5, -1/5, w, l
Let y(l) = -3*l**2 + 4*l - 6. Let r be y(2). Let i be -6 - r - (-44)/(-10). Sort 0.4, i, 9 in decreasing order.
9, 0.4, i
Suppose 0 = -15*i - 539 - 826. Put -4, 3, -1, i in decreasing order.
3, -1, -4, i
Let f be ((-1)/(-2) + -2)*656/492. Let c be (1 - 0) + 14/(-1). Sort c, f, -3 in increasing order.
c, -3, f
Let x = -11 - -24. Let z = x + -13. Suppose -c + z*c = -2. Sort 3, 2/7, c.
2/7, c, 3
Let y be (1 + -2)*(-3 + 8). Suppose -4*z = 4*w + 16, 0 = -0*z + 3*z - 2*w - 8. Suppose 2*l = -4 - z. Sort l, 2, y in decreasing order.
2, l, y
Let r = -766 - -769. Sort 8, -7, r in decreasing order.
8, r, -7
Let s be (-2 + (0 - -2))*-1. Let k(x) = -x**3 - 20*x**2 - 15*x + 75. Let n be k(-19). Sort s, 4, n, 5.
n, s, 4, 5
Let w = 11 - 11. Let y be w*(-1 - (1 - 3)). Let v(d) = -d**3 + 2*d**2 + 2*d + 1. Let m be v(3). Sort y, 2, m.
m, y, 2
Let t be (-39 - -37)/(14/(-4)). Sort t, -126, 3/2 in increasing order.
-126, t, 3/2
Let i = -2.3 - -0.3. Let u = 98.9 - 101. Let f = u - -2. Put 2/15, f, i in increasing order.
i, f, 2/15
Let k(p) = 17*p + 4. Let b be k(-1). Sort b, -1, 5 in decreasing order.
5, -1, b
Let t = 0.385 - 0.365. Sort -1/3, 2/5, t, 1 in ascending order.
-1/3, t, 2/5, 1
Suppose 2*r + 109 = -111. Let o = r - -111. Sort 4, -11, o in decreasing order.
4, o, -11
Let u = -213/7 - -212/7. Sort u, 0, 37 in ascending order.
u, 0, 37
Let w = 38 + -21. Suppose 0 = c - w - 10. Suppose 5*x = -7 + c. Sort -1, x, -3 in increasing order.
-3, -1, x
Suppose -29*x + 63 = -8*x. Sort -4, -5, x, 2 in decreasing order.
x, 2, -4, -5
Let t = -2/53 - 92/371. Let y = 16 + -9. Let g = 7.1 - y. Sort g, t, -6 in increasing order.
-6, t, g
Let r be (9/27 - 0)*0. Sort r, -3, 6.
-3, r, 6
Let q(a) = a**2 + a - 2. Let y be q(1). Suppose 5*t = -43 + 18. Sort 2, t, 3, y in decreasing order.
3, 2, y, t
Let y be (-10 - -9) + (-1 - -7). Suppose -y*g = -3*g - 40. Suppose -13*r + g = -9*r. Put r, -4, 3 in decreasing order.
r, 3, -4
Suppose 3*m - 12 = t, -4*t + 8 = -2*m + 6. Put m, -4, -60 in decreasing order.
m, -4, -60
Let k be 9/6*(3 - 1). Suppose -203 = -k*t - 197. Put t, 5, 0, -4 in decreasing order.
5, t, 0, -4
Suppose 9 - 3 = 4*w + 2*i, -9 = w + 4*i. Suppose 2*u + 2674 = -12*u. Let l = u + 189. Sort -3, l, w.
-3, l, w
Let l = -47 + 42. Suppose -2*o - 3 = -o. Sort 5, o, l in ascending order.
l, o, 5
Suppose -26 + 24 = 2*l. Let i be (0 + (-6)/(-3))*l. Put -3, 2, i in decreasing order.
2, i, -3
Let o(g) = -g**3 + 22*g**2 + 52*g - 87. Let k be o(24). Put 4, k, -4, 2 in descending order.
k, 4, 2, -4
Let x be 2 - ((-1)/(-3))/((-3)/(-99)). Let g(s) = -s**2 - 15*s + 15. Let o be g(-16). Put o, x, 1 in ascending order.
x, o, 1
Let j = -4.4 - -11.3. Let f = 7.4 - j. Sort 0.2, 5, f, -5 in increasing order.
-5, 0.2, f, 5
Let a = 1161 + -1158. Let r = 2 - 3. Sort a, r, 1/3 in decreasing order.
a, 1/3, r
Suppose -12*z = -954 - 198. Let r = -100 + z. Let s = -0.1 - -0.3. Put 0.1, r, s in ascending order.
r, 0.1, s
Let k(x) = -x**3 + 26*x**2 + 27*x + 3. Let r be k(27). Sort r, 6, -5, 4.
-5, r, 4, 6
Let q(l) = l**2 - 10*l - 4. Let u = 13 + -1. Let k be q(u). Suppose -3*h - 8 = -k. Sort h, -10, 1.
-10, 1, h
Let l = -136 - -137.56. Let k = 1.16 - l. Sort -3, 0, k, 1 in ascending order.
-3, k, 0, 1
Let c be 3/((-63)/33) + 2. Let x be (-3)/(-9) + 6/(-9). Put x, c, 42 in decreasing order.
42, c, x
Let c = 846 - 849. Sort -2, 8, c, 59.
c, -2, 8, 59
Let s(i) = -i**2 - 2*i - 3. Let z(j) = j**2 - 4*j. Let a be z(3). Let g be 1 + 0 + (a - 0). Let w be s(g). Put 4, 0, w in increasing order.
w, 0, 4
Let q = 19 - 17. Sort -259, q, 3 in decreasing order.
3, q, -259
Let o = -0.0312 - -6.9312. Sort 3, o, -1 in ascending order.
-1, 3, o
Let f(c) = c - 14. Let d be f(16). Suppose 8 = -4*n + d*n. Put 2, -2, n in decreasing order.
2, -2, n
Suppose 3*l - 35 = -20, 0 = 5*r + 2*l - 45. Sort -7, -1, -2, r in increasing order.
-7, -2, -1, r
Let q = -8 + 4. Let n(p) = 2*p**2 + 4*p + 4. Let j be n(q). Suppose o = 6*o + j. Sort o, -2, 3 in increasing order.
o, -2, 3
Let i = 11.2 - 11.5. Sort 99, i, 0.3 in ascending order.
i, 0.3, 99
Let q be (16/(-6) + (-30)/(-18))/(-9). Let r = -0.13 - 0.07. Put -1/14, r, q, -2/5 in decreasing order.
q, -1/14, r, -2/5
Suppose -72 = -2*v + 4*z, 3*z = 3*v + 6*z - 72. Let o = v + -28. Sort 2, 5, o.
o, 2, 5
Let t be (3/(-4))/(9/3). Sort t, -1, -105, -0.5 in increasing order.
-105, -1, -0.5, t
Let l = 2.686 + 0.314. Let i be 0 - -1 - 36/28. Sort l, 0.1, 3/2, i in descending order.
l, 3/2, 0.1, i
Suppose -125*a = -149*a + 72. Let k(s) = s**2 - 5*s + 2. Let y be k(3). Put a, y, -1 in ascending order.
y, -1, a
Suppose 170 = 9*k + 440. Sort k, -4, 1.
k, -4, 1
Let j = -103 + 107. Let x be (3 - 0)*(-2 - (-7)/(-3)). Put 0, x, j in descending order.
j, 0, x
Suppose -2*v + 5 - 20 = -5*s, 5*v + 2*s = -81. Let y = v + 14. Put y, 0.2, -4 in decreasing order.
0.2, y, -4
Let q = -248 + 247.982. Put q, -1, -1/2 in increasing order.
-1, -1/2, q
Suppose 3*c - 3 = 0, -3*c + 0*c = -5*a + 212. Let s = 38 - a. Sort -3, s, 5, 4 in ascending order.
s, -3, 4, 5
Let m = 14 + -16.7. Let o = -4.9 - m. Let u = o + 2.3. Sort -1, 1/4, u.
-1, u, 1/4
Let c be (18/(-60) + 0)*-2. Suppose 0 = s - 7*f + 3*f + 3, 3*s + 4*f - 7 = 0. Let g = 11 + -8. Sort g, s, c.
c, s, g
Let m(d) = 5 - 4 - 8*d + 0. Let p be m(1). Let l = 10 + p. Put -1, l, -4 in descending order.
l, -1, -4
Suppose 4*o - 100 = -o. Suppose -3*n - o = -8*n. Put n, 0, -0.1 in decreasing order.
n, 0, -0.1
Let b = 2028 - 34475/17. Put -3/2, 2/3, b, 0.5 in increasing order.
-3/2, b, 0.5, 2/3
Suppose -4*u + 2*v + 16 = 0, 2*u - 3*v - 2 - 14 = 0. Suppose -3*q + u*q - 2 = 0. Let m = -11 + 15. Sort m, q, -4 in descending order.
m, q, -4
Let y = 14 - 18. Let q(w) = 6*w - 4*w - 8*w + 5*w + 1. Let d be q(8). Sort 4, y, d.
d, y, 4
Let c = 5 - 4.7. Let q = -11/3 - -4. Sort -5, q, c.
-5, c, q
Let f = -109 - -110. Suppose k + 2 = 5. Put f, -3, k in descending order.
k, f, -3
Suppose 2*f - 9 = -3. Suppose 123 + 84 = 3*g. Let t = 73 - g. Put t, f, 2 in ascending order.
2, f, t
Let o be -5 - (16 - 1060/50). Let g = 231 + -3925/17. Sort o, 4, g, 37 in decreasing order.
37, 4, o, g
Let l = 50 - 46. Let m(u) = -2*u - 4. Let i be m(-3). Suppose l*b + i = -6. Sort b, 1/5, -5 in descending order.
1/5, b, -5
Let z = -0.0159 + -0.1841. Sort 2.4, -4, z.
-4, z, 2.4
Let g be 16/(-28)*(-231)/22. Put 0, 3, g, 4 in decreasing order.
g, 4, 3, 0
Let r(u) = -33*u + 731. Let h be r(22). Suppose 2*n = -0 + 4. Let o(q) = -q**3 + 6*q**2 - 5*q + 3. Let j be o(5). Sort h, j, n in ascending order.
n, j, h
Let s be -5 + 1 + -2 + (2 - -18). Suppose 5*q = -2*f + s, 2*q + 4*f - 2 = 5*f. Put -4, -1, q, -3 in increasing order.
-4, -3, -1, q
Suppose 5*g = 2*y + 191, -2*y - 2*g - 53 = 103. Let p = -84 - y. Put p, -3, 0, -4 in decreasing order.
0, p, -3, -4
Let n be (4 - 7) + 2*10/6. Sort 0.2, n, -8, 3 in decreasing order.
3, n, 0.2, -8
Let z be -2 - ((-4)/(-1))/4. Put 3, 4, z, 2 in ascending order.
z, 2, 3, 4
Let p(u) = u**3 + 7*u**2 + 8*u - 2. Let l be p(-2). Suppose 2*x - 5*a = -21, 2 = -4*x + l*a - 0. Sort x, 0, -5, 3 in descending order.
3, x, 0, -5
Let o = 15 + -14. Suppose 0 = 4*s + d - 33, -26 = -0*s - 3*s - 2*d. Suppose 0 = 7*l - s*l - 3. Sort l, o, -1.
l, -1, o
Suppose -8 = -3*z - 5. Suppose -z + 26 = -5*m. Suppose -5*x + 70 = 45. Put 4, m, x in descending order.
x, 4, m
Suppose 6*x - 2*x - 60 = 3*k, x - 24 = 3*k. Let t be (-4)/x*(1 + -16). Let l(p) = p**3 