/(-6). Let t(f) = -4*f - 9. Let c be t(-2). Sort -4, c, b in decreasing order.
b, c, -4
Let q = -4.5 - -1.7. Let a = -2.2 - -2. Let b = a + q. Sort 0.5, -2/15, b in ascending order.
b, -2/15, 0.5
Let a be ((-4)/(-5))/(1/5). Let h = 49 - 56. Put a, h, -5 in descending order.
a, -5, h
Let f = 9 - 10. Let y be 1/(-2) - (-1)/2. Let b(z) = z**2 + z. Let p be b(y). Put 2, p, f in increasing order.
f, p, 2
Suppose 3*o + 2*o = 5*t, 4*t - 24 = -4*o. Put t, -5, 7 in ascending order.
-5, t, 7
Suppose 4*o = 2 - 10. Sort -5, 2, o in descending order.
2, o, -5
Let x be (1 - 3)/(6/(-4 + 5)). Sort -5, x, -0.1, -0.2 in ascending order.
-5, x, -0.2, -0.1
Suppose 4*v = -0*v. Sort 4, 5, -2, v.
-2, v, 4, 5
Let x = 4 + -10. Let d = -2 - x. Put d, -1, -0.1 in increasing order.
-1, -0.1, d
Let y be ((-6)/18)/(1/6). Let p = 0.4 + -1. Let n = p - 0.4. Put 3, y, n in ascending order.
y, n, 3
Suppose 5*f + 5*u + 5 = 0, 4*f - u - u + 22 = 0. Let s be (f/10)/(36/(-15)). Suppose 0*k - 3*k - 6 = 0. Sort -0.2, s, k.
k, -0.2, s
Let r be ((-6)/(-9))/(2/15). Let o = -4 - 1. Put r, -3, o in ascending order.
o, -3, r
Let m = -6 - -4. Suppose 4*t = 5*o + 9 - 48, 0 = -2*t - o - 9. Let j be 4/(-6) + (-16)/t. Put j, -3, m in decreasing order.
j, m, -3
Let r be (-4 - 0)*(1 - 2). Suppose -4*f - g + 7 = -0*f, 0 = -r*g + 12. Put 0, f, 4 in ascending order.
0, f, 4
Let n be (1/(-4))/((-1)/4). Let g(p) = 0*p - 3 - p + n. Let j be g(-2). Sort 3, -4, j.
-4, j, 3
Let q = -2.3 + 4.3. Let j = 2.9 + 0.1. Let h = 0 - 0.2. Sort q, h, j in ascending order.
h, q, j
Let f be 1576/(-40) - (-9)/(-15). Sort f, -2, -5 in ascending order.
f, -5, -2
Suppose 4*u + 5*t - 5 = 3, t = 0. Suppose b = u*c + 2*c + 6, -5*b = -2*c - 12. Sort b, 3, 4 in ascending order.
b, 3, 4
Let b = 43 + -69. Let w be 3 + -1*b/(-10). Put w, 0.1, 2/21 in descending order.
w, 0.1, 2/21
Suppose -6*d + 36 = -4*d. Suppose 0 = 4*j + 2*x - d + 4, 5*j = 5*x - 20. Sort 5, -3, j.
-3, j, 5
Suppose 3*n - 2*n = -k, 5*n - 9 = 4*k. Put 0, -3, k, 8 in descending order.
8, 0, k, -3
Suppose -25 = -4*t - o, -4*t - 4*o = -0*t - 40. Let i(c) = c**3 + 8*c**2 + 7*c + 1. Let l be i(-7). Put l, -3, t in descending order.
t, l, -3
Suppose y + 0*y = 4*x + 21, -3*y + 3*x = -27. Suppose 5*o = -4*p - 26, 3 = p - y*o - 3. Sort p, 1/4, -2 in increasing order.
p, -2, 1/4
Let h be 5 + 1 - (-3 - -5). Let k(y) = -y - 5. Let o be k(-6). Put -4, o, h in increasing order.
-4, o, h
Suppose 0 = y + u + 3 - 9, -3*u = 2*y - 17. Suppose -c - 2 = -y. Sort 4, c, -5.
-5, c, 4
Let s(o) = -o**2 - 8*o - 4. Let u be s(-8). Sort 8, -1, -5, u in increasing order.
-5, u, -1, 8
Let a be 4/(-12)*-3 + 0. Put 3, a, -2 in increasing order.
-2, a, 3
Let s = -8 + 6. Let z = s + 3. Put -1, z, -0.5 in decreasing order.
z, -0.5, -1
Let d = 7 + -9.6. Let g = 2.1 + d. Put g, 0.4, -2/5 in increasing order.
g, -2/5, 0.4
Let b(c) = -3*c**2 - 2*c + 1. Let t be b(-2). Suppose -5*u + 30 = -p, u + 4*p - 2*p = 6. Suppose 9*w + 15 = u*w. Put w, 3, t in descending order.
3, w, t
Let o = -0.05202 - -37.68202. Let n = -38 + o. Let s = 0.03 - n. Sort 5, s, -2 in decreasing order.
5, s, -2
Let t = -25 - -27. Let o = -0.04 - -4.04. Sort t, o, -0.3 in decreasing order.
o, t, -0.3
Let s(m) = -6*m**2 + 2*m - 1. Let n be s(1). Let u(r) = -4 + r - 3 - 1. Let g be u(6). Put n, g, -1 in descending order.
-1, g, n
Suppose -5*h + 2 + 13 = 0. Let w = h - 2. Let p = -2 - 0. Sort -3, w, p in increasing order.
-3, p, w
Let m(y) = -y + 15. Let r be m(18). Sort 2, 4, r in descending order.
4, 2, r
Suppose -v + 2*v = 5*f - 5, 5 = -v - 3*f. Put 3, 4, v in decreasing order.
4, 3, v
Suppose 3*j = 3*x + 12, 0 = 3*x - 0*x + 9. Sort j, -3, 2 in descending order.
2, j, -3
Let g = -1 + 3. Let p be 1 + (6 - g) - 2. Let f be -3 + (6/p)/(-1). Put f, -2/11, -2 in ascending order.
f, -2, -2/11
Let g = 14 - 13. Sort -5, g, 3/5 in decreasing order.
g, 3/5, -5
Let a be (44/33)/(4/(-6)). Put a, -1, 0.05 in decreasing order.
0.05, -1, a
Let p = 0.85 + 0.15. Sort p, -4, 3 in descending order.
3, p, -4
Let u = 7 - 5. Put -5, -3, u in increasing order.
-5, -3, u
Let q = -0.21 - 17.79. Let h = 1626/7 - 232. Sort -0.4, h, q in descending order.
h, -0.4, q
Suppose 2*g + 5*u = 4*g + 9, 8 = -g - u. Sort 0, g, -1 in increasing order.
g, -1, 0
Let d = -4 - -2. Let u(n) = -2*n + 1. Let b be u(3). Put d, -1, b in increasing order.
b, d, -1
Let t = 0.281 - 0.081. Sort -4, -0.1, t, 6.
-4, -0.1, t, 6
Let j = 70 + -74. Sort j, 7, -1/3 in increasing order.
j, -1/3, 7
Let m = -1850/5027 - -2/457. Put -1, m, 5 in increasing order.
-1, m, 5
Let o be (-1)/(-1)*(3 - 6). Let z = o + 3. Suppose -5*a + 1 + 6 = -4*y, y - 3*a + 7 = 0. Sort -2, y, z in increasing order.
-2, z, y
Let j be (1 + (-3)/2)*-8. Suppose 2*i + j = 6*i. Sort -4, i, 2 in increasing order.
-4, i, 2
Let s = 3 + -1. Sort -1, s, 5 in decreasing order.
5, s, -1
Let o = -6.7 + 11.7. Let c = 0.2 - 0.2. Let p = c - -4. Sort o, p, 1/3 in descending order.
o, p, 1/3
Suppose 0 = -3*d + y + y - 11, 4*y - 12 = 4*d. Let w(a) = a. Let v be w(0). Suppose l = 2*u + 1, 3*l + 2*u + u - 12 = v. Sort d, 1, l in descending order.
l, 1, d
Let u be 3*2/6*-1. Let r(h) = 8*h - 2. Let a be r(2). Let c = a - 16. Put c, 3, u in decreasing order.
3, u, c
Let z = 9.3 - 9. Let n = 0.2 + z. Sort 0, n, -0.4 in ascending order.
-0.4, 0, n
Let d(j) = 4*j - 15. Let a be d(6). Let i(q) = -q + 7. Let f be i(a). Put -1, -4, f in decreasing order.
-1, f, -4
Let w be (-2)/((6 - -1)/(-1)). Put w, -1, -2 in decreasing order.
w, -1, -2
Let y = -5 - -6. Suppose -4*a - 6 + 22 = 0. Put -5, a, y in descending order.
a, y, -5
Let h = -71 + 72. Let d = 1 - -1. Let l = -3 + 2. Sort l, d, h in increasing order.
l, h, d
Let y be 12/((-6 - -3)/3). Let l be 3 + (-4)/(y/9). Put 3, l, 1 in ascending order.
1, 3, l
Let u be (-4)/(-10) - (-2)/(-5). Suppose u = n - 5. Suppose 0 = 2*c + k - 3, 7 = -5*c + 3*k - 2. Put -4, n, c in descending order.
n, c, -4
Let f = 55 - 55. Let i(q) = 3*q**3 + q - 1. Let j be i(1). Put j, -2, f in ascending order.
-2, f, j
Suppose -4*y - 8 = 2*m, 4*y + 8 = -2*m + m. Let a be 44/(-11)*1/(-2). Suppose a*q - 2*w + 12 = m, -q - 3*w + 5 = -5. Sort -4, q, 2/3 in descending order.
2/3, q, -4
Suppose -3*t + 14 - 8 = 0. Sort 0, t, 11 in increasing order.
0, t, 11
Let k = -4.64 + -0.36. Put -3, k, 0.9 in descending order.
0.9, -3, k
Let h(l) = -l - 9. Let r be h(-8). Suppose -g = -0*g + 5*y + 5, 2*y = g - 9. Sort r, -3, g.
-3, r, g
Let v be 2/18*-3*9. Put -2, v, -10 in decreasing order.
-2, v, -10
Let h = -118 + 123. Put 4, -1, h, 3 in descending order.
h, 4, 3, -1
Suppose 0 = 3*k - 23*k - 20. Put 5, -4, k, 4 in ascending order.
-4, k, 4, 5
Let x = 0 + -0.5. Let w = -4.91 + -0.09. Let h = w + 0. Put x, h, 4 in descending order.
4, x, h
Suppose 4*g = g - 15. Suppose -5*c + 13 = -r, -1 = 4*c + 4*r - 21. Put g, -1, c in ascending order.
g, -1, c
Let v = 31 - 34. Let q = 0 - 5. Put v, 0, q in ascending order.
q, v, 0
Suppose -3*p + 6 = -2*a - a, 5*a = -10. Put -1, 3, p in decreasing order.
3, p, -1
Suppose -3*u - z - 6 = 0, 0*u = 3*u + 3*z. Let o be (u/21)/((-1)/2). Sort o, -2, -0.2 in decreasing order.
o, -0.2, -2
Let b be (-2)/30 + (-2)/6. Put 0.5, b, -2/7 in decreasing order.
0.5, -2/7, b
Let h = 155 + -160. Sort h, 25, 0 in descending order.
25, 0, h
Let m = 1 + -0.4. Let t = -0.4 + m. Sort t, 4, -1/3 in descending order.
4, t, -1/3
Let d = 731/4 - 184. Put -0.2, -1, d, 0.2 in decreasing order.
0.2, -0.2, -1, d
Suppose -6*s - 14 = -4*s - 2*t, -5*s = t + 11. Let v = -0.13 + 0.53. Sort -1/2, s, v in descending order.
v, -1/2, s
Suppose 3*i + 13 + 11 = 3*s, 3*s + 16 = -5*i. Sort -4, 5, s in ascending order.
-4, s, 5
Let x(c) = c**3 + 5*c**2 - 9*c - 13. Let w be x(-6). Put -2, -5, -17, w in ascending order.
-17, -5, -2, w
Let y(x) = 2*x - 6. Let f be y(4). Let r be (0/(1 + 0))/1. Let o = -3 + r. Sort o, -4, f in descending order.
f, o, -4
Let l(w) = -w - 2. Let d be l(-3). Sort -5, 11, d in descending order.
11, d, -5
Suppose -2*o + 5 - 1 = 0. Suppose 2*d = 9 + 11. Suppose 5*s - 25 = -d. Put o, s, -3 in descending order.
s, o, -3
Let j = -23 + 19. Sort 4, j, 2 in decreasing order.
4, 2, j
Let f = 0.4 - 0.4. Put f, 2, -4 in descending order.
2, f, -4
Let d = -23 - -26. Sort -1, -6, d.
-6, -1, d
Let w = 24.5 - 25. Put w, 0.18, 2 in ascendi