*i - 8 = 2*i. Sort i, -6, 1 in descending order.
i, 1, -6
Let t = -12 - -7. Sort 3, -4, t in descending order.
3, -4, t
Let a = 9 + -6. Suppose -a*z + 15 = 3*t, 2*t - 1 = z - 0*t. Let m(y) = 3*y - 2. Let b be m(-1). Sort z, 0, b in descending order.
z, 0, b
Let c = -30 - -27. Suppose 5 + 1 = 3*u - 4*g, -u - 3*g + 2 = 0. Sort 3, u, c in ascending order.
c, u, 3
Let i be (32/24)/((-2)/6). Sort 1, i, 5 in increasing order.
i, 1, 5
Let s = -1 + -2. Let h be (-2)/20*26 - s. Put 1, 2/7, h in decreasing order.
1, h, 2/7
Suppose 0 = -3*m - 0 + 6. Let g be 6/(m/((-8)/(-6))). Let d = -2 + 1. Sort d, -4, g in decreasing order.
g, d, -4
Let t(h) = h**3 - 7*h**2 + 6*h + 2. Let n be t(6). Sort 4, n, -3 in decreasing order.
4, n, -3
Suppose 0 = -l + 2*k + 2, l = -l + k + 7. Suppose -4 = 5*t - 4*w, 4*t + l*w - 6*w + 8 = 0. Sort t, -1, -3 in descending order.
-1, -3, t
Let k = 4 + -4. Let f = 0 + k. Let t = 0.1 - 1.1. Sort 2/7, t, f.
t, f, 2/7
Let f = -3.05 - -0.05. Let x = 10 + f. Let q = -6.7 + x. Sort q, -1, 3 in descending order.
3, q, -1
Let u = -8 + 14. Let p = u + -3. Let s = p + -2. Sort 3, -0.5, s.
-0.5, s, 3
Suppose -8*v = -6*v - 2. Sort -2/3, v, 4, 1/4 in increasing order.
-2/3, 1/4, v, 4
Let n be (3/(-14))/(15/(-20)). Put n, 6, -2 in ascending order.
-2, n, 6
Let r = -0.6 + 1. Let j = 0.01 + -0.41. Let v be (-14)/(-49) - 20/119. Sort v, r, j.
j, v, r
Suppose 4*j - 7 = -v, 1 = v - 2*j + 3*j. Let b be 2/v*1/1. Sort -3, 0, b.
-3, b, 0
Let t = -6 - -10. Suppose 0 = t*k - 3*k + 5. Sort 1, 0, k in increasing order.
k, 0, 1
Let g(b) = 5*b + 5. Let s be g(-4). Let p be (-1 - -3) + s/6. Let n(u) = -u**2 - 7*u - 4. Let f be n(-6). Put f, p, 1 in descending order.
f, 1, p
Suppose 0*f - i = -4*f + 27, -2*i = -4*f + 30. Let l = -7 + f. Put 2, -4, l in decreasing order.
2, l, -4
Let f = -17.3 + 17. Sort f, 1/5, -3 in decreasing order.
1/5, f, -3
Let z = 2 - 3. Let f = -1128 + 1123.13. Let i = 0.13 - f. Sort i, z, 0.1 in decreasing order.
i, 0.1, z
Let y be (10/(-15))/((-20)/(-26)) + 1. Sort -1, 0.5, -3, y in decreasing order.
0.5, y, -1, -3
Let l be (4/6)/((-18)/(-135)). Put l, 4, -2 in descending order.
l, 4, -2
Let t be (30/(-40))/(30/32). Sort -0.2, t, -1/3 in descending order.
-0.2, -1/3, t
Let a = 10 - 14. Let i be (12/a - -3) + 4. Sort 3, 3/4, i in descending order.
i, 3, 3/4
Let v be (4 - 2) + (-27)/9. Let u be (0 + -3)/((-9)/12). Suppose -f - u - 3 = -3*n, 0 = -5*f - 2*n + 33. Put v, f, 0 in decreasing order.
f, 0, v
Let a = 7 + -5. Let r(q) = 5*q. Let t be r(1). Suppose 2*z - w = z, 3*z = -a*w + t. Put z, -2, -1 in decreasing order.
z, -1, -2
Let s = 3 + -8. Suppose -12*u + 9*u = 5*g - 8, -2*g - 5*u = 12. Sort 2, s, g in ascending order.
s, 2, g
Let j = -0.01 - -0.06. Put -4/5, -0.5, j in increasing order.
-4/5, -0.5, j
Suppose 4*k + 20 = -2*i, 0 = 3*k - 6*k - i - 14. Let m = 0.24 - 0.64. Sort 5, k, m.
k, m, 5
Let l = 2 - 1. Let i = 1 + l. Suppose 0 = -t - 4*n - 9, n = -4*t - i*n - 23. Put t, -1, -3 in decreasing order.
-1, -3, t
Let j = 36.5 - 36. Sort 0.2, j, 4 in descending order.
4, j, 0.2
Let r = -5.5 - -3.2. Let x = -2 - r. Let o = x - -0.1. Put o, -1/7, -2/5 in increasing order.
-2/5, -1/7, o
Let b(o) = o**2 - 2. Let h be b(-2). Sort 1, h, -5 in increasing order.
-5, 1, h
Let z = 2.3 - 0.3. Put z, 4, -1/5 in decreasing order.
4, z, -1/5
Let t(v) = v - 2. Let h be t(3). Sort 2, h, -4, -14 in ascending order.
-14, -4, h, 2
Let b(y) = -y**3 - 4*y**2 + 5*y - 1. Let l be b(-5). Suppose -c = -3*c - 10. Sort c, l, 1.
c, l, 1
Let u = 3 + -7. Put u, -2, 0.3 in descending order.
0.3, -2, u
Let z = -30 - -30. Let t = 0.08 - 4.08. Let i be (-2)/9 + (-235)/(-45). Sort t, z, i.
t, z, i
Let a be 20/(-16) + 3/12. Sort a, 2, 4, 0 in ascending order.
a, 0, 2, 4
Let n = 30 - 25. Sort 3, n, 1 in decreasing order.
n, 3, 1
Let t = 8.92 - -0.08. Let a = t + -11. Sort -5, a, 0.2 in ascending order.
-5, a, 0.2
Let r = -5 + 2. Suppose 2 = -b + 2*f + 3, -6 = -3*f. Suppose 1 = 3*z - 8. Sort r, b, z.
r, z, b
Let i be (9/(-21) + 1)*7. Suppose i*f = -o - 6, -o = 3*o - 4*f + 4. Suppose 3*z + 9 = -0. Sort -4, z, o in increasing order.
-4, z, o
Suppose -3*z + 3 = 0, -3*f + 0*z - 4*z = -4. Let t = -2 + 3. Put t, -4, f in increasing order.
-4, f, t
Let p = -2 - 1. Let h = 1 - -1. Let s(n) = n**3 - 6*n**2 + 2*n - 9. Let b be s(6). Sort h, b, p in descending order.
b, h, p
Suppose -n + 4 - 36 = 4*l, -5*n = -20. Put l, -3, 1 in decreasing order.
1, -3, l
Let o = 0.01 - 3.01. Let n = -0.05 - 0.35. Put n, 4, o in descending order.
4, n, o
Let x be (44/14 - 3)/1. Let m = -7 + 9. Put m, x, -2 in descending order.
m, x, -2
Let f(j) = -j**2 - 8*j + 8. Let t(b) = 4*b - 1. Let x be t(-2). Let m be f(x). Let u = 10 + -14. Sort 4, u, m in decreasing order.
4, m, u
Let w be (-1)/(-3) + (-62)/6. Suppose -3 = 3*s - 0. Let a be (9/6 + s)*w. Sort a, 3, -4.
a, -4, 3
Let o be (-2)/((0 + -3)/(-6)). Sort o, -1/8, 3/7 in decreasing order.
3/7, -1/8, o
Let n(q) = 2*q. Let c be n(2). Suppose s - 3*k = -s + 7, 13 = c*s - 5*k. Sort 4, s, 1 in descending order.
4, s, 1
Let o = -13.6 + 13.4. Let j = 0 + 1. Put 4, o, j in descending order.
4, j, o
Let s(o) = -o**3 + 5*o**2 + 7*o - 5. Let c be s(6). Suppose 5*q - 25 = -3*a, q = -q - 3*a + 1. Suppose 3*d + q = 5. Put d, -4, c in descending order.
c, d, -4
Let i(o) = o**3 - 7*o**2 - o + 5. Let n be i(7). Let t = -3.5 - -4. Put t, n, 0.3 in increasing order.
n, 0.3, t
Suppose -7 = n + 4*d, 2*n + 4*d + 1 = -9. Let k be (3 - (n - -5))/1. Put 3, -2, k in decreasing order.
3, k, -2
Let y = 256/3 - 86. Let q = 2 + -19. Let l = -14 - q. Sort l, y, 2/7 in increasing order.
y, 2/7, l
Suppose -5*a + 0*u - 4*u + 20 = 0, -2*u = -2*a - 10. Let k = -118 - -114. Let g = 7 - 3. Sort k, g, a in increasing order.
k, a, g
Let r(p) = -3 - 4 - p + 0 + 0. Let f be r(-9). Let y be (4/(-3 - -2))/(-1). Put 0, y, f in decreasing order.
y, f, 0
Let q = 48 + -46. Put -3, -6, -2, q in descending order.
q, -2, -3, -6
Let h = 0.14 + -8.14. Let z = 7.5 + h. Put -1, z, 1 in descending order.
1, z, -1
Let r be (2 + 0)*(-4)/24. Put -1, -0.3, r in ascending order.
-1, r, -0.3
Let m = -4.7 - -5. Let z = -0.1 - m. Let u = 0.4 + z. Sort u, -1, 2.
-1, u, 2
Suppose y + 36 = -3*y. Let d(u) = u**2 + 8*u + 11. Let t be d(y). Let a be (-1)/4 + 25/t. Sort a, 4, -5.
-5, a, 4
Let c = 13.97 - 14. Put 0.2, c, -1/6 in increasing order.
-1/6, c, 0.2
Let u = -504833/51 - -9898. Let t = -6/17 - u. Let f = -30 + 30.4. Sort t, f, -2 in descending order.
f, t, -2
Let o = -6 - -8. Let q = -57 - -60. Put o, q, -5 in increasing order.
-5, o, q
Let x be (-7 - -10) + 2/1. Put 3, -1, x in ascending order.
-1, 3, x
Let l = 0.5 - 1. Let g = 5.85 - -0.15. Put 1/2, g, l in increasing order.
l, 1/2, g
Let d be (-24)/(-16) + (-3)/(-2). Put -5, d, -1 in ascending order.
-5, -1, d
Suppose -v - 4 + 3 = 0. Let i = v + -1. Let y be (16/4 + -6)/2. Sort y, i, 0.
i, y, 0
Let b be (2 - (1 + -1))/(130/(-10)). Put -38, b, -2/7 in decreasing order.
b, -2/7, -38
Let n = 0.24 + -0.14. Let s = -0.4 + n. Put -0.4, s, 0.2 in decreasing order.
0.2, s, -0.4
Let f(l) = l + 1. Let m be f(4). Let k(r) = -3*r**2 - 4*r - 1. Let h be k(-2). Sort 0, m, h.
h, 0, m
Let j(k) = k**3 - 2*k**2 - 4*k + 1. Let m(y) = y + 8. Let p be m(-5). Let s be j(p). Sort 0, s, 3.
s, 0, 3
Let p = 5 + -7. Let y = 0.05 - 0.25. Put p, y, 2 in increasing order.
p, y, 2
Suppose 0 = -3*n + t + 14, 0 = 4*n - 13*t + 15*t - 22. Sort 0, n, -5, 2.
-5, 0, 2, n
Let g = 144.4 + -144. Sort 0.11, -2/7, g, 2/19 in increasing order.
-2/7, 2/19, 0.11, g
Suppose -4*l - 9 + 17 = 0. Suppose 0 = -5*z - 1 - 14, -2*z = -3*f + 18. Sort l, -8, f in ascending order.
-8, l, f
Let x = -0.3 + 0.8. Let y be (-2)/(-9) - (-20)/(-90). Put -1/6, y, x in increasing order.
-1/6, y, x
Let l = 27 - 32. Let g = 0.3 + 0. Let c = -0.3 + g. Put 3/2, c, l in ascending order.
l, c, 3/2
Suppose 3*v + y - 12 = 6*y, 4*y + 14 = -2*v. Let x be (12/(-4))/(4/(32/6)). Sort x, 0, v.
x, v, 0
Let d = -4 - 0. Sort 2, d, -8 in decreasing order.
2, d, -8
Let x = 7 + -4. Suppose 4*t = -4*r - 100, -t = -2*t + x*r - 5. Let y be ((-12)/t)/((-1)/(-5)). Put y, 4, 1 in decreasing order.
4, y, 1
Let o be (-9)/(-12) - (-76)/(-16). Put o, -3, -7, -2 in descending order.
-2, -3, o, -7
Let a be (-3)/(-12) - (-38)/8. Let b be 3/(3/2) - a. Let t