9
Let v = -32.8 + -15.2. Sort 0.5, v, -1, -3 in increasing order.
v, -3, -1, 0.5
Let r = -11 + 15. Let h = 0.0083 + 0.4917. Sort r, 2, h in decreasing order.
r, 2, h
Let t = 0.2 + -0.1. Let p = 1 - 0. Let k be ((-60)/(-100) - 1)/(8/(-5)). Sort p, k, t.
t, k, p
Suppose -3*p - 2*b - 40 + 3 = 0, 2*p - 3*b + 3 = 0. Let d = -4 - p. Suppose 9*x + 6 = 10*x - 2*j, -5*x - 15 = -j. Sort d, 3, x in decreasing order.
d, 3, x
Let f = -58 + 58.4. Put 0.3, f, -1/14 in descending order.
f, 0.3, -1/14
Suppose -2*a = -3*c - 14, -2*a + 1194 - 1186 = 0. Let i(g) = 2*g**2 + 3*g + 2. Let d be i(-2). Sort d, 5, 2, c in descending order.
5, d, 2, c
Suppose 36*o + 23*o + 4*o = -63. Suppose 3*w + w - 8 = -4*y, y - 20 = 5*w. Let c be ((-4)/w)/((-3)/9). Put 5, c, o in increasing order.
c, o, 5
Let l = 0.09 + 3.91. Let v be (-18)/(-10) + 5/25. Suppose 0 = 2*f + v*f + 12. Put -2/7, f, l in ascending order.
f, -2/7, l
Let h = 5.4 + -7.4. Put 7, 1, h in increasing order.
h, 1, 7
Let f = -23 - -27. Let o = 3.5 - f. Put 1/6, -2/3, o in descending order.
1/6, o, -2/3
Let b = -34/11 + 464/143. Let y = 3.7 + -0.7. Sort 3/2, y, b in ascending order.
b, 3/2, y
Let r(o) = -2*o - 13. Let y = -57 + 52. Let k be r(y). Put k, 11, 2 in descending order.
11, 2, k
Suppose -u + 2 = 6. Let a(q) = -q**3 + q**2 - q + 57. Let o be a(4). Sort u, -3, o, 3 in ascending order.
u, -3, 3, o
Suppose -3*c + 2*t = 261, 3*t + 296 = -5*c - 120. Let p = 84 + c. Sort -5, 1, p in descending order.
1, p, -5
Let k(o) = 3*o**3 - 38*o**2 - 13*o - 18. Let y be k(13). Sort 2, -1, y, -5 in increasing order.
y, -5, -1, 2
Let s(v) = 7*v + 52. Let g be s(9). Let q = g + -112. Suppose 0 = -3*j - 12 + 3. Put -6, j, q in descending order.
q, j, -6
Let z(g) = 11*g**3 + 3*g**2 + 3*g + 2. Let o(v) = -6*v**3 - 2*v**2 - 2*v - 1. Let b(u) = 5*o(u) + 3*z(u). Let n be b(1). Sort -4, 7, n.
-4, n, 7
Let i = -120 - -116.06. Let n = i - -0.14. Let h = -0.2 + n. Sort 0.03, h, 1/3 in increasing order.
h, 0.03, 1/3
Let t(a) = -a. Let j be t(5). Let p = j - 8. Put -1, 1, p in decreasing order.
1, -1, p
Let b(c) = c**3 + 6*c**2 + 8*c. Let s be b(-3). Sort s, 2, -15 in ascending order.
-15, 2, s
Let y = -26 - -14. Let s = y - -8. Let j be ((-2)/1 - s) + -4. Sort 0, 2, j in ascending order.
j, 0, 2
Suppose 0*f = 3*f + 6. Suppose 2*z + 9 = 5*c - 21, 19 = -3*z + c. Suppose -2*q + 6*q = -5*t - 3, 4*t = -q - 9. Sort q, z, f.
z, f, q
Let c = 3.46 - -1.54. Sort 3, -1, -6.5, c.
-6.5, -1, 3, c
Let j = 3 + -3. Put -21, j, -2, -5 in decreasing order.
j, -2, -5, -21
Let i = -849 - -862. Sort 0.2, i, 5.6 in increasing order.
0.2, 5.6, i
Let l be (-60)/(-451) - 2/(-41). Put -0.1, -2, 0.09, l in decreasing order.
l, 0.09, -0.1, -2
Suppose -47 + 7 = 5*k + 5*z, -2*k + z = 7. Suppose -5*w + 1 = -9. Suppose -w*i - 5*r + 5 = 0, 5*i = 2*i - 2*r + 24. Sort i, -3, k.
k, -3, i
Suppose -2 = c, 0 = 4*i - 3*c + 2 + 8. Let t(y) be the third derivative of -y**6/120 - 11*y**5/60 + y**4/24 + y**3 - 11*y**2. Let l be t(-11). Sort l, 4, i.
l, i, 4
Let g(j) be the first derivative of j**3/3 - 17*j**2/2 + 24*j - 8. Let l be g(17). Let y = -26 + l. Sort -3, 4, y in descending order.
4, y, -3
Suppose 0 = 2*b + b - 12840. Let k be 134*(-108)/b + 3. Let r = k - 2/107. Put 4, -5, r in descending order.
4, r, -5
Let p = -0.726 - 0.044. Put 0, p, -4 in decreasing order.
0, p, -4
Let c(m) = m - 10. Let y be c(9). Let o = 183 - 182. Sort y, o, 3.
y, o, 3
Let y be ((-8 + 2)/(-2))/1. Sort -4, 9, y, -1 in increasing order.
-4, -1, y, 9
Let z = -485/714 + 3/238. Sort -0.1, 1, z in decreasing order.
1, -0.1, z
Let j(w) = -14*w + 66. Let f be j(5). Let i(n) = 4*n. Let s be i(1). Put -3, f, s, -2 in descending order.
s, -2, -3, f
Let u = 2 + -5.5. Let i = -4 - u. Let n = -99.2 + 99. Put n, -2, i in descending order.
n, i, -2
Let r be (-42)/(-12)*(-6)/(-7). Let s be 4/(-84)*r/(-1). Sort -1, -0.02, s.
-1, -0.02, s
Let a(k) = -15*k - 194. Let t be a(-11). Sort 2, t, -4 in descending order.
2, -4, t
Let u(q) be the third derivative of q**4/24 + 4*q**3/3 - 18*q**2. Let i be u(-6). Sort i, -1, 3, 1.
-1, 1, i, 3
Let n be (-7)/(21/18) - 45/(-15). Put 4, -5, -2, n in increasing order.
-5, n, -2, 4
Let v = 25 + -25. Let y be ((9/5)/(-3))/((-18)/12). Put y, 3/5, v in increasing order.
v, y, 3/5
Let s = 126 - 121. Put -1, -39, s in ascending order.
-39, -1, s
Let y be ((0/(24/(-6)))/1)/2. Put 33, y, 5 in decreasing order.
33, 5, y
Let h = 36.4 - 38. Let r = 70.68 + -69. Let f = r + h. Sort -0.4, f, 4 in ascending order.
-0.4, f, 4
Let q = -3 + 4. Let m = -80 + 70. Let x = m - -7. Put 0, q, x in increasing order.
x, 0, q
Let s = -20 - -15. Suppose -22*o = -15*o + 147. Sort -4, o, s in decreasing order.
-4, s, o
Let c(d) be the first derivative of d**3 - 7*d**2 - 11*d + 1. Let r be c(6). Suppose 3*b = 3 + 3. Put b, r, 3 in decreasing order.
r, 3, b
Suppose 0 = 4*d - 20. Suppose 3 = d*m - 7. Suppose 5*g + 20 = -2*y, 0 = 3*g + m*y - 5*y - 9. Sort -4, g, 4 in decreasing order.
4, g, -4
Let t(u) = -9*u - 76. Let m be t(-8). Sort m, -3, 37.
m, -3, 37
Let c = 23 - 28. Sort c, 1, 87 in increasing order.
c, 1, 87
Let k = -103 - -100. Sort -4/3, k, -12 in descending order.
-4/3, k, -12
Let r = -24/131 + 478/1179. Put 2, 76, r in increasing order.
r, 2, 76
Let i(m) = 3 + 2*m**2 + 2*m - 2 + 0*m. Let u be i(-2). Let b = -98 - -98. Sort u, b, -5 in ascending order.
-5, b, u
Suppose 8 + 0 = -4*h. Let w = -0.294 - -1.294. Sort w, 0.03, h in decreasing order.
w, 0.03, h
Suppose 2*w + 190 - 200 = 0. Sort 3, 600, w in increasing order.
3, w, 600
Let t = 6.242 + -5.842. Suppose 4 = -4*z + 16. Sort z, -5, t in increasing order.
-5, t, z
Let o be (-1)/3 + (-11)/(-15). Let d be ((-32)/264)/(12/(-18)). Let m = 0.13 - -4.87. Put d, m, o in increasing order.
d, o, m
Let i = -642 + 637. Sort i, 7, 14 in decreasing order.
14, 7, i
Let n = 4736/23 + -206. Let h be -3*1 + (-26)/(-10). Let t = 17 + -20. Sort t, n, h in increasing order.
t, h, n
Let x(q) be the second derivative of 2*q + 1/2*q**2 - 1/6*q**3 + 0. Let g be x(2). Sort 3, 0, g in descending order.
3, 0, g
Let n = 0.446 + 0.024. Let c = n - -0.03. Let m = -155.7 + 156. Put 6, m, c in descending order.
6, c, m
Suppose 3*d + 1 = 4. Suppose -42 = 8*o - 74. Suppose -o*p + d = 5. Put -5, p, 1 in increasing order.
-5, p, 1
Let j(d) = -18*d - 27. Let b be j(-2). Let c be (-8)/(-1)*(-3)/6. Put b, c, -5 in increasing order.
-5, c, b
Let q = 95 + -759/8. Let t = 57 - 89. Let u = t + 29. Put q, -2/7, u in decreasing order.
q, -2/7, u
Suppose 23*t - 143 = 156. Sort -5, 2, -1, t.
-5, -1, 2, t
Let s = -73.6 + 74. Put 1/33, s, -3/2 in decreasing order.
s, 1/33, -3/2
Let t = -2/2939 + 8821/5878. Let z = -10.1 - -2.8. Let o = z + 7. Put o, t, 2/21 in increasing order.
o, 2/21, t
Suppose -8*l + 12*l - 4 = 0. Suppose 4*c = -3*z + 1, 10*c - 1 = -4*z + 5*c. Sort l, 5, z in decreasing order.
5, l, z
Suppose -3*o + 6*h + 12 = 2*h, 2*o = 4*h + 12. Suppose o = 2*f - 2*p - 34, 0 = -p - p. Sort f, 0, 2, -4.
-4, 0, 2, f
Let c = 0.38 + 0.92. Let i = -2.7 - c. Sort -1, 3/7, i in descending order.
3/7, -1, i
Let a be 22*-1*(-3)/(-504). Let c = 786 - 9427/12. Let j = a + c. Put j, 5, 0 in decreasing order.
5, j, 0
Suppose -612*b + 614*b = -3*m + 27, 5*m + 2*b = 37. Let r be -11*1 - (2 - 1). Sort -4, -5, r, m in descending order.
m, -4, -5, r
Suppose 0 = 3*g + 3*b + 18, 7 = g - 5*b - 5. Sort 2, -4, g, -14 in increasing order.
-14, -4, g, 2
Let b = -4357.02 + 4410. Let w = b - 53. Put w, -2/7, 3 in decreasing order.
3, w, -2/7
Let u = 154.3 - 159.3. Sort u, -28, -3 in decreasing order.
-3, u, -28
Let o(q) = -q**2 - 5*q + 7. Let x be o(-7). Let d = 12 + x. Suppose 2*t = -2*r - 8, 3*t - 4*r - 13 - 3 = 0. Sort 0.5, d, t in descending order.
d, 0.5, t
Suppose 0 = 177*t - 180*t + 57. Let q(d) = -5*d + 78. Let f be q(t). Sort 0, f, -3 in increasing order.
f, -3, 0
Let u be -1 + (-350)/(-5) + -4. Let g be (1 - 2) + u/(-78). Sort 4, -2, g in decreasing order.
4, g, -2
Let b = 0.7 + -1.7. Let c = 1 - b. Sort 4, 1, c.
1, c, 4
Let x be (4 + -2 - 3) + -2. Let n = 7063 - 7063. Sort 2, n, x in descending order.
2, n, x
Let u = 48 + -241/5. Let g = 6.7 - 3.7. Sort u, g, 2 in increasing order.
u, 2, g
Suppose 1 + 4 = w. Suppose -3 = -3*p + 7*p + w*x, 4*x = -4*p. Suppose 3 = -p*g, 0 = b - g - 6 + 3. Sort b, 1, 3 in 