9. Suppose -j + h = 4*h + 8, 20 = 4*j - h. Let b be s(j). Put -4, b, 0.4 in increasing order.
-4, 0.4, b
Let i = 9 - 7. Put i, 0.037, -7 in decreasing order.
i, 0.037, -7
Suppose 5*r + g = 5*g + 20, -4*r + 3*g + 15 = 0. Let j(z) = -3*z**2 - 3*z + 1. Let m be j(-4). Let n be (-285)/m + -5 - 3*1. Put n, r, 2 in ascending order.
r, n, 2
Let g be (-187)/(-17) - (-1 + 2). Let d be ((-2)/46)/(5/g). Sort -0.4, d, 0.3 in decreasing order.
0.3, d, -0.4
Suppose 2*x + 0*x + 1 = d, -4*x + d - 5 = 0. Let w be (0 + x)*-1 + (-66)/30. Sort -0.1, w, -0.5, -0.4 in descending order.
-0.1, w, -0.4, -0.5
Suppose -3*n - n - 19 = 5*s, -2*s = 3*n + 9. Sort s, 2, 1 in decreasing order.
2, 1, s
Let d = 3041/42 + -508/7. Sort d, 24, 0 in descending order.
24, 0, d
Let c(w) = w**3 - 13*w**2 + 18*w. Let o be c(10). Let f be ((-144)/o)/((-2)/(-5)). Put f, 4, 2 in descending order.
4, f, 2
Let r = -17 - -19. Let p be (104 + 8)/(-16) + (0 - -3). Suppose 0 = 5*q + 2*j + 27, -2*j + 8 = -3*q - 5. Put p, r, q in descending order.
r, p, q
Let n = -737 + 740. Sort -10, -4, n, 1 in ascending order.
-10, -4, 1, n
Let f = -220.2 - -220. Let l(z) = -z**2 + 3*z + 4. Let s be l(5). Let t = s - 3. Put f, t, 4/3 in descending order.
4/3, f, t
Let c = -304 - -304. Sort c, 0.3, 4/3.
c, 0.3, 4/3
Let v be 88/(-66) - (-19)/3. Suppose 7 = 2*r + 5*x - 5, -4 = v*r + 4*x. Sort 3, r, 2 in descending order.
3, 2, r
Suppose 7 = 6*z - 5. Let y(k) = 5*k**3 - 1. Let n be y(1). Sort 0, n, z in increasing order.
0, z, n
Let b be -4*(4 - 15/(-12)). Let f = 23 + b. Put 6, f, 3 in decreasing order.
6, 3, f
Let o be 0 + (-35)/(-7) - 8. Sort 4, 22, o.
o, 4, 22
Let b be 9/6*(-16)/(-6). Let d(n) = 3 + 2*n - 4 - n**2 + 0 + 3. Let a be d(2). Put a, -4, b in descending order.
b, a, -4
Suppose -5*y = 2*z - 4*z - 4, 3*z = 2*y + 16. Suppose 0*h + z = 2*h. Let g = 273 - 272. Put h, g, 2 in increasing order.
g, 2, h
Let c = -6582/5 - -1316. Sort 1, c, 22.9, 4 in descending order.
22.9, 4, 1, c
Suppose 15*w + 10*w = -100. Put 10, 0, 8, w in ascending order.
w, 0, 8, 10
Let b = 4 - 0. Suppose -2*y + 2 = -b*h - 2, -2*y = 4*h - 12. Let s = 4 + -6. Sort s, 2, h in descending order.
2, h, s
Let j be (105/(-1750))/(6/(-8)). Put 0.2, j, 0, 5 in decreasing order.
5, 0.2, j, 0
Let i(g) = 5*g - 9. Let b be i(3). Let y be (-9)/27 - 28/b. Put y, 3, 2 in increasing order.
y, 2, 3
Suppose -h - 84 + 83 = 0. Sort h, 2, 39.
h, 2, 39
Let f be 38/8 - (-2)/8. Suppose 0*u = -4*u + 106 - 90. Put 6, u, f in descending order.
6, f, u
Let z = -728.2 - -728. Let b be -6 + 3 - 1*-8. Sort z, b, -2, -4/5 in descending order.
b, z, -4/5, -2
Suppose f = -y - 3, f + 7*y = 8*y - 7. Sort f, -4, 0.13, -0.1 in descending order.
0.13, -0.1, -4, f
Suppose -3*s - 5 + 0 = 17*k, 25 = -5*k + 5*s. Suppose -45 = 3*f + 9. Sort f, k, -0.2.
f, k, -0.2
Suppose -3*j = -y + 6, 4*j - 2*j + 3*y = -15. Let l = -0.06 + 0.06. Let m = -0.2 + l. Sort m, j, 2 in decreasing order.
2, m, j
Let b(n) = 8*n + 140. Let i be b(-16). Sort -5/6, 0.3, 2, i in decreasing order.
i, 2, 0.3, -5/6
Let s = 12.78 - 11.78. Let v = 1 - 1.03. Sort s, -0.5, v in descending order.
s, v, -0.5
Let k(n) = 2*n**2 + 11*n + 3. Suppose -35 + 45 = -2*b. Let m be k(b). Let a = 0 + -1. Put a, 4, m in decreasing order.
4, a, m
Suppose 2*h = 3 + 1. Suppose 0*l - 4 = -l. Suppose z = l*z + 6. Put h, -1, z in descending order.
h, -1, z
Let r = -65 + 37. Let x = 40 + r. Let k be (x/(-8))/(78/8). Put k, -4/5, -3/8 in decreasing order.
k, -3/8, -4/5
Let h(d) = -4*d**2 + 1. Let a be h(0). Sort a, -3, 3, -1 in descending order.
3, a, -1, -3
Let j = -2581 + 2581. Put -5, -20, j, -3 in descending order.
j, -3, -5, -20
Let c = -21.5 + -0.5. Let l = 23.1 + c. Suppose 2*q - 5*w + 12 = -w, 3*w = 2*q + 9. Put 2/7, l, q in decreasing order.
l, 2/7, q
Suppose -y - 54 = v, -2*v - y + 44 = -3*v. Let s = 52 + v. Sort -7, -3, s in increasing order.
-7, -3, s
Let k be 2/8 - 24/(-32). Let y = 22 - 12. Let f = -10.1 + y. Put k, 0.08, f in decreasing order.
k, 0.08, f
Let k = -0.042 + 0.342. Let b = -3.04 - -0.04. Put b, 0.5, k in decreasing order.
0.5, k, b
Let x = 5/16 - -1/48. Let m = 6/37 + -73/222. Put m, 1, x, -1 in descending order.
1, x, m, -1
Let u be ((-8)/(-6))/(4/6). Suppose -u*m = m. Let r = -1789/3 + 597. Sort m, r, -1 in descending order.
r, m, -1
Let a = -1492.09 - -1492. Sort 5, a, 60 in ascending order.
a, 5, 60
Let v = -0.163 + 0.173. Sort v, 1/3, -1, 5 in increasing order.
-1, v, 1/3, 5
Let o be -3 - (208/40)/(-2). Sort o, 2, 1, 3 in descending order.
3, 2, 1, o
Suppose i = -i + 2*c, 5*i + 16 = c. Sort i, 9, 4, 1 in increasing order.
i, 1, 4, 9
Let b = 12 + -9. Suppose 0 = -r - 2, -4*c - r = b - 17. Let z be 2/(-14)*(-14)/c. Sort 1, 0.03, z in descending order.
1, z, 0.03
Let u(c) be the first derivative of c**3 - 5*c**2/2 - 9*c - 1. Let b be u(-2). Put 3, 2, b in descending order.
b, 3, 2
Suppose -a - 12 = 3*a. Let f be 2*(-30)/(-5) - 9. Put 4, f, 1, a in descending order.
4, f, 1, a
Let y(f) = -f + 6. Let s be y(5). Suppose 0 = -g + 3*d + 2*d - 1, 3*g - 16 = -4*d. Let t = 91 - 94. Sort g, t, s.
t, s, g
Suppose -3*g - 2*r - 165 = 0, -5*g - 275 = 5*r - r. Let v be ((-18)/(-20))/((-33)/g). Put -0.8, 3/8, -5, v in increasing order.
-5, -0.8, 3/8, v
Suppose i = 4*c - 11, -2*c + i + 16 = -3*i. Let r be 0/(-2*(-1 + c)). Let f(s) = 4*s**2 + 1. Let q be f(1). Sort r, -5, q.
-5, r, q
Suppose -q + 14 + 13 = 0. Suppose 2*x - q = -31. Put -4, x, 2 in descending order.
2, x, -4
Let f = -1.588 + 0.588. Sort 34, f, -4, 2 in decreasing order.
34, 2, f, -4
Suppose 2*l + 0*l = 2*u + 4, 4*l + 4*u = 8. Suppose -5*r + 0 = 2*v - 4, 0 = v - 2*r - l. Suppose 3 = 3*i - 9. Put i, v, 3 in ascending order.
v, 3, i
Let u = 21/58 - -4/29. Let s be 0 + -3 + (-501)/(-189). Let j = s + 4/7. Put u, j, -2/13 in descending order.
u, j, -2/13
Let d(m) = m**2 + 4*m + 6. Let c be d(-4). Let b = c + -11. Suppose 5*n + i = 6*i + 10, 5*n - 4*i = 8. Put 1, b, n in decreasing order.
1, n, b
Let z = 653 - 650. Put z, 4, 7, -4 in decreasing order.
7, 4, z, -4
Suppose 19 = -31*x - 74. Put -4, x, -5, 3 in increasing order.
-5, -4, x, 3
Let n be (-2)/(-1*(-1)/2 - 2). Let k be (-2)/((-8)/(1 + 3)). Let b = n - k. Put b, -2/17, -1 in decreasing order.
b, -2/17, -1
Let j = 0.0965 - -0.0035. Let k be 2/(-6) - 39/45. Sort -2, j, 0.06, k in increasing order.
-2, k, 0.06, j
Let m = -279 + 275. Put m, 0.008, 0 in decreasing order.
0.008, 0, m
Let u = 0.2254 - 0.0254. Sort 6/13, u, 4 in increasing order.
u, 6/13, 4
Let a = -0.42 + 2.42. Put 1/7, 3, a, 14/5 in decreasing order.
3, 14/5, a, 1/7
Let d = -0.04 + -4.96. Let k = 17 - 7.5. Let w = k + -10. Sort 2/7, d, w in decreasing order.
2/7, w, d
Let h = -332 + 14278/43. Put 1, 3/7, h, -0.4 in descending order.
1, 3/7, h, -0.4
Let l be 1/(-3) - (-21)/(-99). Let c = -29/33 - l. Sort 0.2, c, 13.
c, 0.2, 13
Suppose -7*t = 8 - 1. Let v = 27 + -32. Put t, 2/5, v, -2 in increasing order.
v, -2, t, 2/5
Let c = 0.7 - -0.3. Let a = 4 - 2. Let z = 206 - 207. Sort z, c, a in decreasing order.
a, c, z
Let s = 866 - 861. Put 0, 1, s, 2 in ascending order.
0, 1, 2, s
Let n = 1.0739 - 0.0739. Sort -5, n, 181, 0.3.
-5, 0.3, n, 181
Let g be -3 + -1 + (18 - -2). Let y = g + -5. Let k = y - -10. Sort k, -4, 5.
-4, 5, k
Suppose -k - 4*k + 10 = 0. Let b be k/42 - 34/(-119). Sort -13, 0.4, b in ascending order.
-13, b, 0.4
Let f(u) = 54*u + 816. Let w be f(-15). Suppose -2*s = s + d + 15, -4*s - 4*d - 20 = 0. Put s, w, 0 in ascending order.
s, 0, w
Let q = -2 - 0. Let y = -55.913 + -0.087. Let l = -55 - y. Sort l, -1/3, q in increasing order.
q, -1/3, l
Suppose 0*g - g - 6 = 0. Let t(b) be the first derivative of b**3/3 + 4*b**2 + 14*b - 8. Let a be t(g). Sort -4, -7, a.
-7, -4, a
Let s be ((-2)/1)/(-2 - 8). Let z = 7781 - 7788. Sort -2/3, z, 3, s.
z, -2/3, s, 3
Suppose 6*i - 4 = -16. Put -8, i, -5 in decreasing order.
i, -5, -8
Let t be (4/10)/((-3)/5). Let u = 110 + -107.56. Let o = u - 0.44. Sort t, o, -0.1 in decreasing order.
o, -0.1, t
Let c = 1 + -2. Suppose -24 = -4*n - 4, -5*n = q - 24. Let t be 1 - 5/(-6 - q). Sort c, -5, t in decreasing order.
t, c, -5
Suppose -331 + 339 = 4*k. Let m = -4.8 + 1.8. Sort 0.1, m, k.
m, 0.1, k
Suppose 5*t + 6 = -p + 14, -2*p + 5 = -t. Sort -6, t, 7.
-6, t, 7
Let j = 6.2 + -6.7. Let p = 2 - 0. Let g = 