9 - -170. Put 2, z, -52 in increasing order.
-52, z, 2
Let z be 3 + 3/((-12)/8). Let t = -2 - -2.1. Sort -2/11, t, z in decreasing order.
z, t, -2/11
Let h be 4/6*(-5 + 6). Sort h, -0.5, 0.1.
-0.5, 0.1, h
Let v be 4*1/(-14) + 68/(-56). Sort v, 2, 5, 1.
v, 1, 2, 5
Suppose -16 + 4 = -3*q. Let i be q/16 + 38/8. Suppose -i*l + 2 = 22. Put -5, l, 2 in decreasing order.
2, l, -5
Let g = -56 - -55.6. Put g, -2, 4 in descending order.
4, g, -2
Let t = -28 - -32. Let g be (0 - -3)/(-1) + -1. Sort 5, g, t in decreasing order.
5, t, g
Let b = 2547907 + -2293116727/900. Let p = b - -3/100. Let t = -8 - -13. Sort p, 1, t in decreasing order.
t, 1, p
Let b be 2/(-4) - 36/8. Let z be 3 - (2 + 4 - 4). Sort b, z, 4 in increasing order.
b, z, 4
Let c = -13 - -13. Put 5, c, -2 in ascending order.
-2, c, 5
Let x(w) = -2*w**3 - 11*w**2 + 6*w. Let r be x(-6). Sort 4, r, -8, -1 in increasing order.
-8, -1, r, 4
Let x = 16 + -17. Suppose 0 = 4*v - v - 6. Suppose -v*n - 4 = -4*n. Sort x, -2, n in descending order.
n, x, -2
Let a = -4.1 + -0.9. Let o(t) = -t**2 + 3*t + 3. Let l be o(4). Put a, l, 2/7 in descending order.
2/7, l, a
Let c(a) = -a**3 + 4*a**2 - 2*a. Let o be c(3). Suppose 0 = -v - o*v. Suppose -21*k - 20*k = 41. Sort k, 2, v in increasing order.
k, v, 2
Let s = -0.13 + 0.33. Put -1/2, s, 10 in decreasing order.
10, s, -1/2
Suppose 24 = 28*x + 80. Suppose -5*y + 2*y = -9. Sort -3, x, y in ascending order.
-3, x, y
Let l = 0.25 - 0.17. Let p = l - -0.42. Put -0.4, p, 3 in ascending order.
-0.4, p, 3
Let l(y) be the first derivative of -y**3/3 + 4*y + 1. Let q be l(3). Sort -0.5, 5/2, q.
q, -0.5, 5/2
Let c = 1711/2 + -4921/6. Let y = 31 - c. Let p = y - -4. Sort -2, 0, p in increasing order.
-2, p, 0
Let p = 66 + -64. Put -0.3, 1, 0.2, p in decreasing order.
p, 1, 0.2, -0.3
Let o be 2*-2 + -11 + 12. Let y(z) = z + 8. Let m be y(-7). Sort m, o, 5.
o, m, 5
Let g = 14.2 - 9.2. Put 4/9, -1, g in ascending order.
-1, 4/9, g
Let k = -5 - -5.03. Let z = -3.03 + k. Sort 5, 2/7, z in decreasing order.
5, 2/7, z
Suppose x + 3*u = 3*x, -3*x - u - 22 = 0. Put 0, 3, x in descending order.
3, 0, x
Let v = 0.03 + 0.57. Let i = v + -1. Put 2, i, -4 in ascending order.
-4, i, 2
Let p = 14 + -17. Put -0.5, p, -8/3 in decreasing order.
-0.5, -8/3, p
Let y = -8 - -6. Let j = -0.15 - -3.15. Put j, -4, y in ascending order.
-4, y, j
Suppose -4*r = -2*y + 26, 0 = -r - 3*r + 5*y - 35. Let h = -6 - -5. Let d = h + -3. Sort d, r, 2.
r, d, 2
Let m = -7 + -14. Let d be (m/35)/((-9)/10). Sort 1, d, -0.2.
-0.2, d, 1
Let s = 5 + 5. Let j = s - 6. Sort 3, j, -2/7 in decreasing order.
j, 3, -2/7
Suppose b = h - 2, b - 4*h = -h - 2. Sort 2, b, 4 in increasing order.
b, 2, 4
Let b be (5/3)/((-2)/6). Put -2, 3, 5, b in ascending order.
b, -2, 3, 5
Suppose -16 = 33*z - 37*z. Sort -2/7, -4, z in decreasing order.
z, -2/7, -4
Let t(k) = k**3 - k**2 - k + 12. Let c be t(0). Suppose 5*v + r - c = -3*r, 4*r = 5*v - 28. Sort -2, 3, v in increasing order.
-2, 3, v
Let j be (-1 - -3)*(-2 - -1). Let t be ((-28)/(-21))/(j/(-3)). Let b(c) = -4*c + 3. Let d be b(2). Sort t, d, 4.
d, t, 4
Let j = 0.87 - 0.07. Sort j, 3, 0 in increasing order.
0, j, 3
Suppose 0 = -l - u - 18, -4*u + 35 + 46 = -5*l. Let g = -11 - l. Let t = g + -10. Sort -1, t, -5.
-5, t, -1
Suppose -5*h + 21 - 2 = -2*v, 3*v + 9 = h. Suppose 0 = w - 2, 2*n + 5*w - 9 = 1. Suppose -4 = b, n = -2*q + q + 4*b + 16. Sort h, 4, q in descending order.
4, h, q
Suppose 0 = p - 3*i - 3, 5*i + 5 = -4*p. Let f = -15 - -11. Let s be 2/f*(-5 + 3). Put 2, p, s in ascending order.
p, s, 2
Let j = -16 - -23. Put 2, j, 0 in ascending order.
0, 2, j
Let n(d) = d + 3. Let r be n(0). Let j = r + -2. Let h(w) = -w**2 + 4*w + 1. Let y be h(5). Sort y, 5, j in increasing order.
y, j, 5
Let u(t) = t**3 + 9*t**2 - 3*t - 13. Let q be u(-9). Suppose 5*j - q = 3*s, -2*s = 2*s + 4*j + 8. Sort -2, 2, s in decreasing order.
2, -2, s
Let d be (-3 - 28/(-6))*3. Suppose -2*p - 8 = 2. Suppose 5*x + 10 = -m, 5*x - 3*m + 10 = -0*m. Sort x, p, d in decreasing order.
d, x, p
Let m(h) = -h**3 - 6*h**2 - 11*h - 25. Let t be m(-5). Put 0, -9, t in descending order.
t, 0, -9
Let n be (-2 + (5 - 2))/(5/(-50)). Sort 3, 2/11, n in ascending order.
n, 2/11, 3
Suppose y = w + 2, 5*w + 3*y - 4*y = -2. Let s = w + 3. Sort -2, s, -4 in descending order.
s, -2, -4
Let i be (-1)/6 - ((-286)/12)/11. Put -5, i, -1 in increasing order.
-5, -1, i
Suppose -2 = -4*u + 2. Let o = 4 + -7. Put u, 4, o in descending order.
4, u, o
Suppose 2*k + g = -5, k + k = g - 7. Sort -2, 2, k in increasing order.
k, -2, 2
Suppose 2 = v - s, 4*v + 6 = s - 1. Put 0.2, v, 2, 7/6 in descending order.
2, 7/6, 0.2, v
Let k(w) = -w**2 - 4*w - 2. Let i be k(-3). Let q(u) = -u**2 - u + 1. Let x be q(0). Let n be (0 + i/x)*-2. Sort 3, -1, n in descending order.
3, -1, n
Let b be (1 - 2) + 1 + 2. Let r = -1 - -6. Suppose -2*j = -r*z - 23, -8 = -5*j + 4*z + 24. Sort b, 0, j in ascending order.
0, b, j
Let t be (0 + (3 - 0))*1. Let j = t + -8. Let r = -13 - -18. Sort j, -1, r in ascending order.
j, -1, r
Let o(b) = b**3 - 28*b**2 - 30*b + 30. Let c be o(29). Sort -6, c, -3.
-6, -3, c
Let b(c) = -c**2 + c + 2. Let w be b(0). Let o be 2 - 1 - (-4)/w. Suppose -o*l + 4 = -l. Sort -1, l, 5.
-1, l, 5
Suppose -2*w + 16 - 8 = 0. Sort -1, w, 0 in ascending order.
-1, 0, w
Suppose 13*d - 17*d = 8. Let w(j) = -5*j + 3. Let k(y) = y - 1. Let b(z) = -4*k(z) - w(z). Let h be b(-5). Put -3, h, d in decreasing order.
d, -3, h
Suppose -z + 5*j = -10, -5*z + 4*z + j = -18. Sort -3, -5, 3, z.
-5, -3, 3, z
Let o = 0 + -0.2. Let a = 1/2091 - -8357/14637. Sort o, -4, a.
-4, o, a
Suppose -2*a = -5*a. Suppose 3*p = -a*p + 3. Suppose -17 = 5*i - 3*t, -4*i + 10 = 5*t + 31. Sort 4, i, p in decreasing order.
4, p, i
Let o = 0.16 + 0.04. Let s = -8 - -8.3. Let v = s + o. Sort v, 0.4, -5 in descending order.
v, 0.4, -5
Let i = -0.7 - -3.7. Let k(x) = x**2 + 11*x + 12. Let j be k(-8). Let p be 6/(-9)*(-9)/j. Sort p, 5, i in increasing order.
p, i, 5
Let z = -37 + 37. Put z, 3, -2/9 in ascending order.
-2/9, z, 3
Let b = 54 + -55. Let w = -1.4 + 0.3. Let h = w - b. Put 1/2, -2, h in descending order.
1/2, h, -2
Let y = -0.21 + -0.09. Let m = -0.1 + y. Sort 0.3, m, -5/4.
-5/4, m, 0.3
Suppose 4*w - w = -3. Suppose 3*h - 21 = -3*k, 4 = k - 3*h - 3. Put 1/5, w, k in ascending order.
w, 1/5, k
Let g be 0 - 6*(-6)/(-9). Let z be (-5 - g)*(4 + 1). Let o = 3.5 + -0.5. Sort 2/9, z, o.
z, 2/9, o
Let x = 27 - 27. Sort -2, 2, -3, x in descending order.
2, x, -2, -3
Let a = -0.56 + 9.56. Let f = 64.8 - 74. Let x = a + f. Sort 1/6, x, -0.1 in ascending order.
x, -0.1, 1/6
Let c = -161 + 156. Sort 13, c, -4 in ascending order.
c, -4, 13
Suppose -4*d = -x - 89, 0 = 2*d - d + 2*x - 11. Let z = d - 18. Sort 1, 0, z in decreasing order.
z, 1, 0
Let x = -120 + 1078/9. Sort 0.1, 5, -3, x in increasing order.
-3, x, 0.1, 5
Suppose 0*f + 4*f = -0*f. Let b be (6/(-2))/((-45)/(-2)). Sort f, b, -1 in descending order.
f, b, -1
Let z be 18/4*6/(-9). Suppose -2*n + 42 = 3*n - 4*x, -4*n + 5*x = -39. Sort n, 0, z.
z, 0, n
Let l = 121 - 119. Put 5, 3, l, -4 in decreasing order.
5, 3, l, -4
Let a be -5*3/(-30)*-4. Put -3, a, 3 in decreasing order.
3, a, -3
Suppose -2*k = k + 12. Let h = -8 + 7. Put k, 5, h in ascending order.
k, h, 5
Let q = -2 - -7. Let b be 21/(-90) + (-4)/(-10). Let g = 0.32 + 0.08. Sort g, b, q in ascending order.
b, g, q
Suppose -2*y = -2*r - 10, -6 = -5*y - 5*r + 19. Sort -2, 4, y in decreasing order.
y, 4, -2
Suppose 0*s = -5*r + 3*s - 5, 4*r - 9 = 5*s. Let o(f) = f + 3. Let c be o(0). Sort -2, r, c in decreasing order.
c, -2, r
Let f be ((-2)/3)/(2/(-9)). Suppose -3*q = -3*s - 0 - 3, -f*q = s - 3. Let a = 0.09 + -4.09. Put s, a, 4 in increasing order.
a, s, 4
Let c = 0 - 0.1. Suppose -2*w - 14 = -4*t, -5*t = -0*w + 3*w - 23. Sort c, w, -5 in decreasing order.
w, c, -5
Let b(t) = -2 + 3 + 0*t - 5*t + t**2. Let n be b(5). Suppose -5 = 2*i + 1. Sort i, 3, n in descending order.
3, n, i
Suppose -4*j - 4 = -3*w, w = 2*j + 2*j - 4. Let m be -1 - (-6 - 1/(-1)). Sort -2, j, m.
-2, j, m
Let o(j) = 2*j - 11. Let w be o(8). Sort -5, w, -4 in descending order.
w, -4, -5
Let n = -8 - -13. Let d be (2 - (1 + 9))/(-2). Suppose 2*f = -2*i - d, -1 = -f - 4*i - 3. Sort n, f, 1 in 