Let k = -1 - -6. Sort t, 3, k in ascending order.
t, 3, k
Let y = -11.66 - -0.46. Let p = y - -4.6. Let g = -7 - p. Sort 0, g, -2.
-2, g, 0
Let z(n) = 32*n**2 + 2*n + 1. Let y be z(-2). Let m = y + -1627/13. Let b = 5 + 0. Sort 2/5, m, b in descending order.
b, 2/5, m
Suppose 3*i - 8 = -l, i + 2 = -4*l + 12. Suppose -10 = -2*u - l. Sort 5, 1, u.
1, u, 5
Suppose 2*h - 3*m - 6 = 0, 10 = -0*m - 5*m. Put 4, h, -3 in descending order.
4, h, -3
Let h = -7 - -7.6. Let b = -122 - -118. Sort b, h, 0 in ascending order.
b, 0, h
Suppose 0*d + d + 8 = 0. Sort -3, -2, d in ascending order.
d, -3, -2
Let y = 2/527 + -549/5797. Sort y, 3, 0.1 in decreasing order.
3, 0.1, y
Let i = -10 - -13. Sort i, 5, -3 in decreasing order.
5, i, -3
Let v be 32/12 + 2/(-3). Let o = 14 + -9. Suppose 0 = 2*d - o*d + 5*c + 5, 0 = -5*d - 5*c - 5. Put -3, v, d in descending order.
v, d, -3
Let o = -18 + 16.7. Let d = -191 + 190. Sort d, -2/13, o in ascending order.
o, d, -2/13
Let x = 17 - 14. Suppose 4*z - 5 = x. Put z, -2, 1 in decreasing order.
z, 1, -2
Let b = 14 + -13.5. Let p(t) = t**3 - 2*t**2 - 3*t - 4. Suppose -5 = -4*q + 7. Let f be p(q). Put b, f, -5 in ascending order.
-5, f, b
Let y = -2.6 + 2.49. Sort y, 3, -0.5 in ascending order.
-0.5, y, 3
Let u = -4 + 7. Suppose 1 - 5 = 2*g. Sort 1, g, u in ascending order.
g, 1, u
Let s = 0.8 + -1. Suppose -51 = 4*u + 17. Let k = u + 103/6. Put s, k, -3/5 in ascending order.
-3/5, s, k
Suppose -5 - 2 = -y + z, -4*z = -5*y + 30. Put -4, -5, -3, y in decreasing order.
y, -3, -4, -5
Let q = -15 - -10. Let u be 15/20 - (-1)/4. Let r be (-1 - -1)/(1 + 1). Sort r, u, q in ascending order.
q, r, u
Let d(j) = 2*j - 12. Let x be d(8). Suppose -p - 3 = y, 0 = -x*y + p - 18 + 6. Suppose -3 = -3*f - 6. Sort y, 4, f.
y, f, 4
Let n be -3*(0 + 2/(-6)). Suppose 1 = -u + 3*y, -6*y + 8 = -2*y. Sort u, n, 0 in descending order.
u, n, 0
Suppose 8 - 26 = -9*b. Put b, -1, 3 in decreasing order.
3, b, -1
Let w be 3/18 + 10/(-6). Sort 0, w, -2/13 in descending order.
0, -2/13, w
Let r be 2 - 5/3*24/15. Sort 0, -5, 0.4, r in ascending order.
-5, r, 0, 0.4
Let m be -4*2*2/(-20). Let t = 407 + -412. Sort 3, t, m in decreasing order.
3, m, t
Let x be -13 + -4 + (-12)/(-4). Put 2, x, -4/5 in ascending order.
x, -4/5, 2
Suppose 3*r - 20 = -r. Let d(g) = g - 8. Let m be d(r). Let h = m - -3. Sort h, 1, -1 in ascending order.
-1, h, 1
Suppose 7 = -5*h + 22. Suppose -h = -5*l + 12. Put 4, 2, l in descending order.
4, l, 2
Let n = -0.133 + 1.133. Sort n, -0.2, -0.01.
-0.2, -0.01, n
Let m(j) = 2*j + 3. Let a be m(-4). Let k = 2 + a. Sort -2, k, -4 in descending order.
-2, k, -4
Let i be ((-2*4)/(-2))/(-1). Let g be (-32)/(-18) - 1*2. Sort g, i, 4.
i, g, 4
Let i(x) = -x**3 + 11*x**2 - 12*x + 15. Let a be i(10). Sort a, 3, 5, 0 in decreasing order.
5, 3, 0, a
Let f(z) = 12*z - 2. Let t be f(0). Put t, 8, 1, 5 in ascending order.
t, 1, 5, 8
Let q = 18 + -18.07. Let x = -2.07 - q. Let k = 2 + x. Put 4, 2, k in ascending order.
k, 2, 4
Let d = -41.8 - -46. Let h = d + -0.6. Let r = h + -4. Sort -1, 2/5, r.
-1, r, 2/5
Let h = -0.173 + -0.027. Suppose 2*y = 2*o + 2*o + 6, -5*o - 12 = -4*y. Put o, 2, h in increasing order.
h, o, 2
Let b = -526 + 520. Let d be 41/24 + 2/(-6). Let i = 137/88 - d. Sort 1, b, i in ascending order.
b, i, 1
Let g(q) = 6*q. Let b be g(1). Suppose -b*s + 5 = -5*s. Sort -1, s, -5.
-5, -1, s
Let l be 32/14 + 2/(-7). Let r(u) = u - 4. Let i be r(9). Suppose f = -i + 1. Sort l, 1/2, f in descending order.
l, 1/2, f
Let i = 9.8 + -0.3. Let a = -9 + i. Let c be 2/(-42) + 2/(-7). Sort c, -2, a.
-2, c, a
Let s(g) = -g**2 - 10*g - 16. Let w be s(-8). Suppose 6*f + 16 = 2*f. Suppose 5*z - v = -18, -3*z + 3*v = -8*z - 6. Sort f, w, z in decreasing order.
w, z, f
Let z = 228 + -2056/9. Sort -4, -5, z in decreasing order.
z, -4, -5
Let c = 116 + -115. Put 4, -10, 3, c in ascending order.
-10, c, 3, 4
Let t(a) = -a**2 - a - 6. Let j be t(0). Let o be 1/j - (-5)/12. Sort -2, 2/9, o in descending order.
o, 2/9, -2
Let v = 0.02 - -0.04. Let l = -0.7 + -1.3. Put l, v, 2 in increasing order.
l, v, 2
Let o(b) = b**3 + 4*b**2 + 3*b - 3. Let r be o(-3). Let j be (-1)/3 - (-8)/24. Suppose j = -0*h - 2*h + 10. Sort 0, r, h in decreasing order.
h, 0, r
Let g be -1 + 3 + -2 + -3. Suppose -4*w - 7 = r, 5 - 4 = 2*r + 3*w. Sort g, r, 15 in decreasing order.
15, r, g
Let x = 0.07 - 0.1. Let l = -2.03 - x. Let j = -2 - l. Sort -1/2, j, 2 in decreasing order.
2, j, -1/2
Suppose 5*v + 23 = -j - 0*j, -2*j + 3*v = -6. Put 2, j, -2, 5 in ascending order.
j, -2, 2, 5
Let h(i) be the second derivative of i**3/3 + 5*i**2 + 3*i. Let s be h(-7). Suppose 0 = -5*r - 3*o + 16, 0 = 3*r + 6*o - o. Sort s, r, -1 in increasing order.
s, -1, r
Let k be 0/(-2) - (-5 - -3). Suppose -s - k*h - 5 = 0, -3*h = 3*s + 2 + 7. Let t be 17 - 9 - (3 - 0). Sort -5, t, s.
-5, s, t
Let i be (-1)/(21/2)*-3. Put 5, i, -3 in descending order.
5, i, -3
Let g = 4.07 - 3.9. Let l = -0.03 - g. Sort -2, 2/3, l.
-2, l, 2/3
Suppose -2*r = -0*r + 4. Let c be (-6)/8*6/9. Sort -0.2, c, r in ascending order.
r, c, -0.2
Let l = 4.9133 + 0.0867. Let d = 59 - 239/4. Sort l, -2, d in decreasing order.
l, d, -2
Let y(b) = -4*b**3 + b**2. Let j be y(-1). Suppose 6*f - 3*f - 2*z - 8 = 0, f = z + 3. Let o(a) = a**3 - 4*a**2 + 3*a - 2. Let n be o(f). Sort j, n, -3.
n, -3, j
Let o = 2.2 - 13.2. Let t = o - -9. Sort 2, t, 1/8 in decreasing order.
2, 1/8, t
Let f = -10/3 + 5. Let d = 0.3 - 0.29. Let l = -2.01 + d. Put l, f, -0.2 in descending order.
f, -0.2, l
Let i = 79.92 - 80. Sort i, 0, 5 in decreasing order.
5, 0, i
Let y = 2.6 - -5.4. Sort 5, -0.3, y.
-0.3, 5, y
Let b = 3502666 - 262693783/75. Let y = b - 14/25. Let c = -81 + y. Sort -3, c, 0.
-3, 0, c
Let l = -29/2 + 15. Suppose 3*x - 5*i + 16 = 0, -5*x + 2*i - i = -10. Suppose 5*q - x*b = 7, 0 = 3*b + 3 + 9. Put l, -0.5, q in decreasing order.
l, -0.5, q
Let q = 18.8 + -18. Let p = q + -5.8. Sort p, 0, 2 in descending order.
2, 0, p
Let t = -0.6 + 6.6. Let g = t - 6. Put 2/9, g, 3 in descending order.
3, 2/9, g
Suppose u - 2*u = 3. Let m = u + 7. Suppose -3*p + 25 = -8*p. Sort m, 0, p in decreasing order.
m, 0, p
Let w be (-6)/4*(-4)/(-6). Let a be (-5)/(0 + (0 - w)). Let d = -22 + 27. Put d, a, -3 in ascending order.
a, -3, d
Let z = 21.6 + -20. Let p = z - 2. Let i(v) = -v**3 - 4*v**2 + 8*v + 11. Let h be i(-5). Put h, 3/7, p in increasing order.
h, p, 3/7
Let n(o) = -o + 1. Let q be n(-4). Let r(j) = j - 9. Let i be r(7). Put 4, i, q in decreasing order.
q, 4, i
Let w be (3/2)/((-6)/(-8)). Suppose -2*p + 5*p = -t + 13, -3*p + 23 = -4*t. Sort p, 3, w.
w, 3, p
Let x be 1 + -3 + (-1 - -11). Suppose -3*b + u + x = -1, 0 = -4*b + u + 13. Suppose -b*v = v - 25. Put 3, -5, v in decreasing order.
v, 3, -5
Suppose 2*u - 5 = -q - u, 3*q = -2*u + 1. Put q, 10, -5 in ascending order.
-5, q, 10
Let h(o) = o**3 - 5*o**2 + 3. Let r be h(5). Put r, 7, 5, 2 in decreasing order.
7, 5, r, 2
Let g be (-1)/(-4) + 33/(-84). Let d(h) = h - 10. Let v be d(7). Sort -0.08, v, g.
v, g, -0.08
Let u = 2 - -3. Sort 1, 4, u in increasing order.
1, 4, u
Let u be (-4)/10 - 28/(-20) - 0. Sort 2, u, 4, 5 in increasing order.
u, 2, 4, 5
Let k(b) = -b**2 + 2*b + 6. Let i be k(4). Put i, 2, 0 in decreasing order.
2, 0, i
Let d = 62 + -66. Put d, -5, 3, -2 in descending order.
3, -2, d, -5
Let d = 2 - 9. Sort 4, 1/3, d in increasing order.
d, 1/3, 4
Let i = -13 - -10. Sort -10, 0.5, 3, i in increasing order.
-10, i, 0.5, 3
Let g = 7 - 1. Let y be -3*(-14)/g - 3. Put 5, 2, y in descending order.
5, y, 2
Suppose 0 = 4*g + o + 4*o - 11, 2*g - o = 9. Let m = 0.57 - 0.07. Sort m, -1/6, g in decreasing order.
g, m, -1/6
Suppose 8 = 9*x - 1. Put x, 2, -5 in decreasing order.
2, x, -5
Suppose 0 = 3*c + 2 + 1. Sort -4, c, -3.
-4, -3, c
Let a be ((-6)/(-18))/(2/24). Suppose -3*t - 1 = -7. Let y(l) = -l**3 + 2*l**2. Let g be y(t). Put g, a, 0.2 in increasing order.
g, 0.2, a
Suppose -h + 25 = 5*x, 0 = -5*x - 3*h + 33 + 2. Suppose a = x*z + 4*a, 5*z = -a + 11. Put 2, z, -5 in ascending order.
-5, 2, z
Suppose -8 = 2*m + 2*v, 4*m - 2*v + 4 = 2*m. Let j be (1 - -1 - 3) + m. Let t = -7 + 4. Sort j, -2, t in increasing order.
j, t, -2
Let k be 104/18 - 2/(-54)*6. Put k, 0, -4 in ascending order.
-4, 0, k
Let b(s) = -s 