9 - b. Put 0.3, -0.3, l in increasing order.
-0.3, l, 0.3
Suppose m + 1 = 2*d, -2*m - 3*m - 29 = 2*d. Sort m, 13, -1/5.
m, -1/5, 13
Suppose -18 - 12 = -6*v. Put -2, -4, v in ascending order.
-4, -2, v
Let t be (3 + 579/(-195))*-5. Put t, 2, 1 in increasing order.
t, 1, 2
Let t = 4.86 - -0.14. Put t, 3, -1/6 in descending order.
t, 3, -1/6
Let f(v) be the second derivative of -v**3/6 - 3*v**2 + 2*v. Let p be f(-6). Put p, 4, -2 in increasing order.
-2, p, 4
Let q = -2 + 4. Let a = q - 1.7. Let v = -2.5 + 3. Sort a, 1/7, v in descending order.
v, a, 1/7
Let q be 1 - (-9 - 3)/4. Sort q, 2, -2 in descending order.
q, 2, -2
Let p = -4 - -1. Let f(k) = k + 2. Let b = 4 + -6. Let v be f(b). Put 5, v, p in ascending order.
p, v, 5
Suppose -5*z - 4*s = -50, -5*z - 2*s + 4*s + 20 = 0. Suppose -c - 1 = w - z, 4*w = 5*c - 7. Sort 3/4, 5, c in descending order.
5, c, 3/4
Let r be 15/(-10) + (-39)/(-6). Sort r, -2, 0 in increasing order.
-2, 0, r
Let a = 60 - 35. Sort 0.2, -2/15, a, 0.1 in descending order.
a, 0.2, 0.1, -2/15
Let u be (-2)/(0 + (-6)/(-9)). Suppose -5*d + 13 + 23 = 4*h, -2*h = d - 12. Suppose -2*i = -0*i + d. Sort -1, i, u in descending order.
-1, i, u
Suppose -2*l - 4*y + 0 + 18 = 0, 0 = -5*l - 5*y + 35. Suppose -c + 3*a + 9 = 3, -a = -3*c - 6. Sort l, c, -4.
-4, c, l
Let q(j) = j**2 - j - 1. Let v be q(-1). Let i = -4 + v. Put -4, 1, i in ascending order.
-4, i, 1
Suppose 2*x - 2 - 4 = 0. Suppose -2*z - x*z + 110 = 0. Suppose 0 = -u + 5, 0*l = -3*l + 5*u - z. Put -1/3, -1/6, l in descending order.
l, -1/6, -1/3
Let c = -1.4 - 9.1. Let v = c - -0.5. Let n = v - -6. Sort n, 1/8, -6.
-6, n, 1/8
Suppose h + 7 = 3*h + 3*n, -2*h - 28 = -4*n. Put -5, 2, h in descending order.
2, h, -5
Let b be 4/10*(13 - 3). Sort b, -1, 2 in ascending order.
-1, 2, b
Let v = 3.02 + -3. Let j = v - 0.05. Let b = j + -0.17. Sort 0, 2, b in decreasing order.
2, 0, b
Let p = -94 + 75. Sort 4, -5, p, 2.
p, -5, 2, 4
Let m(w) = w - 1. Let o be m(-3). Suppose 8 = 5*d - 3*d. Sort o, 0, d.
o, 0, d
Let h(s) = -s**2. Let u be h(-1). Put -1/6, 0.4, u, 3 in descending order.
3, 0.4, -1/6, u
Suppose -8 = 2*x - 4. Let u(i) = -i**3 - i**2 - 2*i - 3. Let f be u(x). Let b be 6/(3/((45/6)/(-5))). Put f, b, 0 in ascending order.
b, 0, f
Suppose 0 = 4*t, 2*t = 3*u - 0*t + 3. Put u, 1, 2 in decreasing order.
2, 1, u
Suppose 0 = 2*k - 2*p - 4, -k - 5*p + 0*p + 14 = 0. Let h = k - 6. Let l(j) = j - 5. Let v be l(5). Sort 5, h, v in ascending order.
h, v, 5
Let z = -148.95 + 149. Sort z, 6, 0.
0, z, 6
Let c be (-8)/(-4) + -1 + 7. Let r = c - 13. Let o = -14 + 10. Put r, o, 3 in decreasing order.
3, o, r
Suppose -3*i - 4*u - 6 = -14, -5*i = -3*u + 6. Let f be (i + -2)/((-2)/(-1)). Put 3, f, 0 in descending order.
3, 0, f
Let a(r) = -r**3 - r**2 - r + 4. Let o be a(0). Put o, -1, 6 in ascending order.
-1, o, 6
Suppose -9*y + 12*y - 15 = 0. Put 3, y, 0 in decreasing order.
y, 3, 0
Suppose -5*g = -g - 4. Sort g, 8, -3 in descending order.
8, g, -3
Let z = 6 - 2. Let w(m) = -m**3 + 11*m**2 + 12*m - 5. Let f be w(12). Let l = -3 - f. Put l, z, -5 in decreasing order.
z, l, -5
Let l = -55 + 62. Sort l, -7, -1 in ascending order.
-7, -1, l
Let n = -35 + 35.39. Let a = n - -0.01. Suppose 0 = f + 4*f + 10. Sort 0.2, a, f.
f, 0.2, a
Let q = 2.92 + 0.08. Let i = 1.8 - -0.2. Sort 5, i, q.
i, q, 5
Let y = -0.4 + 2.4. Sort y, -0.3, 3/8 in descending order.
y, 3/8, -0.3
Suppose 0 = -5*i + 7 + 53. Suppose -2*a - 4*c = 22, -11 = 3*a + 4*c + i. Let j be 1 - 1/(1/(-1)). Sort a, j, 1 in decreasing order.
j, 1, a
Let d be (7 + -7)/(-1 + 2). Put 3, 0.5, -4, d in decreasing order.
3, 0.5, d, -4
Let u = 2 + 4. Let h(i) = -i**2 + 6*i + 1. Let w be h(u). Sort w, 3, -4 in descending order.
3, w, -4
Suppose -3*y - 2*s - 10 = 0, -19 = y + 3*y - 3*s. Let f(l) = -l**2 - 7*l - 2. Let w be f(-6). Sort y, w, -0.1 in increasing order.
y, -0.1, w
Let c = 15.7 + -15. Let f = c + -1. Put 0, 1/2, f in decreasing order.
1/2, 0, f
Let j = -58 - -53. Sort j, 2, 23, 0 in descending order.
23, 2, 0, j
Let o = -17.3 + 13.3. Let n = -1.84 + -1.12. Let j = 0.04 - n. Sort j, 4, o in decreasing order.
4, j, o
Let l be 2 - (2 - (-1 - -5)). Suppose w + 5*u = 21, 0 = l*w + u + 2*u - 33. Suppose -b - 1 = -w. Sort -4, 0, b.
-4, 0, b
Let g = 4 + 0. Suppose -h = -5*h + g. Let b be (2/3)/(h/3). Sort 3, b, -4 in ascending order.
-4, b, 3
Let d = -7.3 - -7.4. Sort 1/5, 0.5, d, 0.4 in increasing order.
d, 1/5, 0.4, 0.5
Suppose -4*r + 2 - 10 = 0. Put 5, r, -0.17 in ascending order.
r, -0.17, 5
Let s(j) = -j**2 + 3*j - 5. Let x be s(2). Let q(n) = -n**3 - 12*n**2 - n - 12. Let l be q(-12). Put x, l, -1 in descending order.
l, -1, x
Suppose -3*x = -8 - 1. Let q be -1*0*2/(-4). Suppose q*z = -x*z - 6. Put -3, z, 2 in decreasing order.
2, z, -3
Suppose 2*r - 8 = -2*i - 0*i, 4*r + 5 = 3*i. Let l = 0.04 - 0.44. Sort i, -1/6, l in decreasing order.
i, -1/6, l
Suppose 0 = -2*d - 6 + 24. Let w = -3 + d. Suppose -o - 24 = 5*t, 5*t - 7*o + 16 = -w*o. Sort 4, -2, t in decreasing order.
4, -2, t
Let a = -81 + 83. Sort a, 3, 6, 3/5 in ascending order.
3/5, a, 3, 6
Let b be -2 + 6*(-6)/(-15). Let l = -177 + 882/5. Sort b, 0.2, l.
l, 0.2, b
Let y be 1*-3 + 275/95. Let w be ((-40)/(-12) + -2)*-3. Put -0.3, w, y in decreasing order.
y, -0.3, w
Suppose 5*h = 17 - 12. Sort 2, -2, -5, h in descending order.
2, h, -2, -5
Let m be (-2)/6 + (-1 - 0)/(-3). Suppose -3*g = -g - 30. Suppose 0 = -5*j - g - m. Sort 2, j, 1 in descending order.
2, 1, j
Let u = -62 + 60. Sort 1, -5, -4, u in descending order.
1, u, -4, -5
Let d(p) = p - 7. Let f be d(8). Suppose -3*u = u + 20, -2*u - 25 = -5*c. Sort -3, c, f in increasing order.
-3, f, c
Let z = -11 + 15. Let r = -1.6 + 0.6. Let s = r + 1.1. Put s, 3, z in decreasing order.
z, 3, s
Let g = -87 - -86.7. Sort 5, 2/9, 2, g in increasing order.
g, 2/9, 2, 5
Suppose 2*h + 4*d + d - 10 = 0, 0 = -5*h + d + 25. Sort 0, 1, h.
0, 1, h
Let w = -0.37 - 3.63. Let v = -0.2 - -0.4. Put w, -0.7, v in decreasing order.
v, -0.7, w
Let c = 1 + 0. Let p(z) = -z**2 - 7*z + 4. Let x be p(-8). Let d be ((-1 - -2) + 0)*x. Sort c, -1, d in decreasing order.
c, -1, d
Suppose 0 = z - 4 + 1. Put z, 2, -6 in increasing order.
-6, 2, z
Suppose -4*p + 4*u = -12, 4*p + 4*u = 3*u - 8. Let w be 2 - p - (0 - 2). Let d = 7 + -12. Sort -1/2, w, d in decreasing order.
w, -1/2, d
Let u = 3/10 - 1/2. Suppose 8 = -4*f + 5*f - h, -h - 26 = -4*f. Let p be 8/f - 2/(-3). Put -0.3, p, u in decreasing order.
p, u, -0.3
Suppose 4*a + 4*a = 0. Suppose 0*d - 4*d - 12 = -4*f, -4*d - 14 = -5*f. Sort d, a, -5 in decreasing order.
a, d, -5
Let n be 8/6*(-7)/((-28)/6). Sort -4, n, 3 in increasing order.
-4, n, 3
Let t(z) = z + 11. Let i be t(-8). Suppose 0 = -5*h + x + 7, 5*h + 3*x - 4 = -5. Suppose -u - h = 3. Put -3, u, i in decreasing order.
i, -3, u
Let s(g) = -g**3 - 8*g**2 - 7*g - 1. Let u be (7/2)/(3/(-6)). Let c be s(u). Sort c, -0.1, 0 in ascending order.
c, -0.1, 0
Let p = 448216/6377 + -4/6377. Suppose 3*s - f = f - 206, 3*s + 208 = f. Let x = s + p. Put x, 0, 3 in decreasing order.
3, x, 0
Let s = 9.546 + 0.154. Let x = s + -10. Sort 0.6, 1, x.
x, 0.6, 1
Let r be 6/(-2) - (3 + -5). Put -2, r, 3 in decreasing order.
3, r, -2
Let t = 13 - 16. Suppose 3*d - 4*j = 7*d - 32, -d - 4*j = -17. Sort t, d, 0 in descending order.
d, 0, t
Let b be (0/(4 - 2))/2. Put b, 1, -4, 0.3 in ascending order.
-4, b, 0.3, 1
Let y(v) = v**3 + 2*v + 1. Let x be y(-1). Let q = -9 - -9. Let d = 3 + -6. Put d, q, x in descending order.
q, x, d
Let m be ((-3)/(-1))/3 + 1. Suppose 2*a + m*a + 16 = 0. Sort 11, a, 2.
a, 2, 11
Let t be (-55)/25 - 2/(-10). Let x be -6 - (4 + -2)/t. Let i be 12/2*5/10. Sort i, x, 0 in ascending order.
x, 0, i
Let t = -408/5 - -82. Sort -2/13, -1, 3/2, t in decreasing order.
3/2, t, -2/13, -1
Suppose -3*m + 3 = -6*m. Let y = -1/248 - 487/2232. Sort y, m, -0.4 in decreasing order.
y, -0.4, m
Let v(s) = s - 13. Let h be v(9). Let m be (-14)/8 - 9/(-12). Sort 1, m, h in decreasing order.
1, m, h
Suppose 0 = -2*f - 2*f - 20. Put f, 4, 1 in increasing order.
f, 1, 4
Let f = -0.3 - -0.4. Let s be (-2)/((-4 - -3)*-1). Let m = -1.2 - -0.2. Put s, f, m in decreasing order.
f, m, s
Let r = -4/31 - -43/93. Let v be (-2)/4*12/2. Put r, v, 0 in decreasing order.
r, 0, v
Suppose 8*t 