 6. Put r, -0.3, m in decreasing order.
r, -0.3, m
Suppose 0 = -2*l - 2*l + 12. Let f = -11/24 - -191/312. Put l, 0.4, f in decreasing order.
l, 0.4, f
Let x = 98 + -101. Put -0.03, x, -0.2, 1 in descending order.
1, -0.03, -0.2, x
Let q = -35 - -31. Sort 2, q, -1, 1 in decreasing order.
2, 1, -1, q
Let k = -15 + 12. Put 4, -2/13, k in decreasing order.
4, -2/13, k
Suppose 2*i - 20 = -2*i - 4*k, -2*i + 10 = -3*k. Sort 4, -6, i in increasing order.
-6, 4, i
Suppose -2*h - 5 = 1. Put 3/2, h, -3/14 in increasing order.
h, -3/14, 3/2
Let y(p) = p + 7. Let c be (-38)/6 - (-6)/(-9). Let t be y(c). Suppose -h - 1 + 3 = t. Put h, 5, -2 in decreasing order.
5, h, -2
Let z = 0.039 - -0.231. Let x = -0.07 + z. Sort 2, -0.3, x in descending order.
2, x, -0.3
Let m(u) = -u**3 - 12*u**2 + 13*u - 5. Let q be m(-13). Put q, -3, -1 in decreasing order.
-1, -3, q
Let p = -0.43 - 0.57. Let t = -2027/8 + 253. Sort -3/2, p, t in increasing order.
-3/2, p, t
Let d be (-3)/(-2) - (-6)/12 - 1. Put 2, -5, 0, d in increasing order.
-5, 0, d, 2
Suppose i + 17 - 15 = 0. Sort 5, -4, i in increasing order.
-4, i, 5
Let g(c) = c**3 + c**2 - 2*c - 1. Let s(a) = -a - 1. Let p be s(1). Let n be g(p). Sort 3, n, 5.
n, 3, 5
Let h be 14 + 4 + -5 + -3. Suppose 12*i = h*i - 10. Let v(l) = -4*l - 1. Let f be v(-1). Sort f, i, -1 in descending order.
f, -1, i
Suppose 88 = 4*v + 68. Put v, -2, 1 in descending order.
v, 1, -2
Let p(t) = t + 8. Let i be p(-6). Suppose 3 = 2*l - 3. Suppose -2*w = -4*u + 14, -w + 3*w = -l*u + 21. Sort u, -1, i.
-1, i, u
Let y(g) be the first derivative of -g**4/4 + 2*g**3/3 - 7. Let u be y(2). Let w(z) = -z**3 + 4*z**2 + 4*z + 4. Let n be w(5). Put u, -3, n in decreasing order.
u, n, -3
Let v be (2 + -5)/(-3) + 14. Let u = v - 11. Put 5, 3, u in descending order.
5, u, 3
Suppose 0 = 6*o + o. Sort 3, 1, o.
o, 1, 3
Let p(t) = 2*t**2 + 13*t - 1. Let i be p(-7). Suppose -2*y = -i*y - 4. Put y, 5, -3 in descending order.
5, y, -3
Let r = -14 + 13.9. Put 1/3, r, -3/35 in ascending order.
r, -3/35, 1/3
Let q(j) be the second derivative of 1/20*j**5 + j - 1/3*j**4 - 1/3*j**3 + 0 + 5/2*j**2. Let g be q(4). Put -5, g, 1 in decreasing order.
1, g, -5
Let b(y) = -y**2 + 12*y - 9. Let j be b(11). Let q be j/(-8) - 3/12. Let d = 2 + 0. Sort 4, q, d.
q, d, 4
Let g = 0.21 - -0.29. Let n = -0.5 - -0.8. Sort -0.1, n, g in increasing order.
-0.1, n, g
Let z = 1.64 - -0.16. Let r = z - -0.2. Suppose 3*t - 19 = -4. Sort t, 3, r in descending order.
t, 3, r
Let z be 12/((-12)/(-4)) + 0. Let o = -9 + 4. Sort o, 1, z in increasing order.
o, 1, z
Let s = 1 + 2. Let j = 0.057 - -0.143. Sort 1/6, s, j.
1/6, j, s
Let l(o) = o**3 + o**2 - o + 1. Let f(y) = 3*y**3 - y. Let q(h) = f(h) + l(h). Let k be (2/6)/(1/3). Let m be q(k). Sort 2, m, 5.
2, m, 5
Let p = 0.714 - 0.014. Sort p, 3, -4/7, -4.
-4, -4/7, p, 3
Let u be 0 + -3*4/(-60). Sort 0.1, -1, u in increasing order.
-1, 0.1, u
Suppose -4*z = 2*j + 8, -3*j = 4*z - 5*z - 16. Put 3, 1, j in ascending order.
1, 3, j
Suppose 10 = -3*z - 5. Suppose 2*b + 0 = -4. Let y = 6 + b. Put z, -3, y in decreasing order.
y, -3, z
Let n(k) be the first derivative of -k**3/3 - 4*k**2 + 3*k - 2. Let m be n(-8). Suppose 5*c + 4 = c. Sort -5, c, m in descending order.
m, c, -5
Let w = -5 - -5. Suppose -z + 0*l - 5 = -l, -4*z = -2*l + 12. Sort w, z, 5 in decreasing order.
5, w, z
Let r be (-4)/21*6/(-4). Let a = 2 - 7. Put r, 0.3, a in descending order.
0.3, r, a
Suppose 1 = i - 4. Let w be (-1)/i - 70/25. Sort w, -5, 2.
-5, w, 2
Let d = 6 + -4. Let x(i) = -i**3 + 3. Let c be x(0). Suppose -5*z = -2*j - 25, -c*j - 22 = -j - 4*z. Put -1, j, d in decreasing order.
d, -1, j
Let v = 58 - 62. Sort v, 3, 5.
v, 3, 5
Let c = -0.3 - -0.3. Let q = c + 0.1. Let w(f) = -f**2 + 6*f - 2. Let t be w(1). Sort t, q, -0.5 in decreasing order.
t, q, -0.5
Let d = 19 - 15. Sort -3, 2/3, d in descending order.
d, 2/3, -3
Suppose 7*v = 2*v + 20. Suppose 4*a = -0*a - v. Put 0, 4, a in ascending order.
a, 0, 4
Let c be 48/5 - (-4)/10. Let b(p) = 2 + 0 + 0*p + p - 7. Let i be b(c). Put -3, i, -4 in descending order.
i, -3, -4
Let m = 0.091 - 1.391. Sort -4, 1, m in decreasing order.
1, m, -4
Let u = 6 - 4. Suppose -y + u*y = 0. Let z be (1 - y) + (-7)/5. Sort 2, z, -1/2 in increasing order.
-1/2, z, 2
Let c(f) = f**2 - 3*f - 4. Let v be c(4). Suppose -t + 13 - 9 = v. Sort 2, 1, t in increasing order.
1, 2, t
Let v be -25*2/2*-1. Suppose -2*r - 2*m = 14, -6*r - 3*m - v = -r. Let z(h) = 3*h - 4. Let l be z(3). Put 2, r, l in increasing order.
r, 2, l
Let x = -156 - -161. Let v be (-2)/4*6/(-1). Sort x, v, -1 in increasing order.
-1, v, x
Let b = 111/4 - 28. Let u = -194/5 + 39. Sort 0.1, u, b in ascending order.
b, 0.1, u
Suppose 3*d + 5*k = 8, 4*d + 4*k = -0*d. Suppose -3*n + 5 = -2*n. Let z be ((-16)/40)/(1/n). Put z, d, 0.4 in decreasing order.
0.4, z, d
Let t = 0 + -1. Let m = -0.1 - 8.9. Let c = 8.7 + m. Sort -1/4, t, c.
t, c, -1/4
Suppose -2*y = 4*s, -3*s - 12 = s - y. Let f = -1.2 + 0.2. Let b be (-2)/3 + 8/30. Sort s, b, f in decreasing order.
b, f, s
Let t(l) = -l**2 + 3*l + 12. Let q be t(5). Put -1, q, -2 in decreasing order.
q, -1, -2
Let r be ((-8)/110)/(4/10). Let a = -55603/19 + 2925. Let x = -458/285 - a. Put -4, x, r in ascending order.
-4, r, x
Let f = -127 - -633/5. Let p = -1/10 + f. Sort 1/3, p, 0.6 in descending order.
0.6, 1/3, p
Let x be ((-2)/(-95))/(5/25). Let s = 2.2 - 13.2. Let h = s + 8. Sort h, 1/5, x in ascending order.
h, x, 1/5
Let t = 1.9 + -0.7. Let s = t + -1.2. Put s, 3, -8 in descending order.
3, s, -8
Let m = -0.1 + 4.1. Let c = -0.04 - -4.54. Let g = m - c. Put -0.3, 0.1, g in ascending order.
g, -0.3, 0.1
Let o(y) = y + 4. Let n be o(-2). Let m be (-3 - -9)/(1*n). Sort m, 5, -8 in decreasing order.
5, m, -8
Suppose 0 = -5*m - 2*d + 4*d - 6, 0 = -m - 2*d + 6. Let k be 1*((-36)/15 - 12/20). Sort k, -1, m in descending order.
m, -1, k
Let d = 109 + -1197/11. Sort 0.5, d, 7.
d, 0.5, 7
Let x = 5 + -9. Let o be 24/20*(-3 - 55/(-10)). Sort -0.3, o, x in decreasing order.
o, -0.3, x
Let y = -31 + 34. Put y, 4, 0 in decreasing order.
4, y, 0
Let i = -34 - -48. Suppose 3*o + 4*y = -28, -6*o = -2*o - 3*y + 4. Let f be o/i - 16/(-105). Put 0, f, -4/5 in decreasing order.
0, f, -4/5
Let h = 0.7 - 1. Let r = h + -0.2. Let s = 18 - 17.6. Sort r, 0.1, s in decreasing order.
s, 0.1, r
Let g = -11.4 + 4.8. Let n = -7 - g. Put 0.4, -4, n in increasing order.
-4, n, 0.4
Let r(a) = -a**2 - 8*a - 4. Let o be r(-7). Suppose 2*t + 4*d - 2 = 0, 0*d + 5*d + 4 = 4*t. Sort t, -4, o in increasing order.
-4, t, o
Let p be (-1*7)/((-2)/2). Let l = -7 + p. Sort l, -4, -1 in increasing order.
-4, -1, l
Suppose 3*l + 0*l = -2*s + 5, 1 = -5*s - 3*l. Let h be s*(15/(-12))/5. Put 1, h, -0.4 in decreasing order.
1, h, -0.4
Let s(u) = u. Let t be s(2). Let o(c) = -c + 1. Let k be o(t). Let v(d) = 4*d**2 - d - 1. Let q be v(k). Put q, 1, 2 in descending order.
q, 2, 1
Let n = 6.4 - 6. Sort 6, -0.2, -0.4, n in increasing order.
-0.4, -0.2, n, 6
Let v be ((-12)/(-16))/((-3)/12). Let k be ((-16)/(-12))/(4/(-6)). Sort 1, k, v in descending order.
1, k, v
Let u be ((-24)/18)/(6/9). Sort -5, 13, u in ascending order.
-5, u, 13
Suppose 0 = -6*u + 2*u - 16. Sort 6, u, 0 in decreasing order.
6, 0, u
Let o = -22/7 + 24/7. Let r = -2 - -3. Let v = 6 - 11. Put v, o, r in ascending order.
v, o, r
Suppose 0 = -2*o + 4*o + 6. Suppose 5*p = 3*z - 15, 5*p + 5*z = 2*p + 25. Let q(y) = y**2 - y + 4. Let m be q(p). Sort m, o, 3 in ascending order.
o, 3, m
Let j = 42 - 33. Sort j, 3, 0.4 in increasing order.
0.4, 3, j
Let j = -1.83 + 0.03. Let d = -2 - j. Let o = 0 + d. Put 2, o, -0.5 in decreasing order.
2, o, -0.5
Let q = -6 - -9.6. Let x = -4 + q. Let i = x + 0.9. Sort -5, 1/4, i in descending order.
i, 1/4, -5
Let k = 0.02 + 2.98. Put 1/10, 1, k in descending order.
k, 1, 1/10
Suppose -w - 1 - 1 = 0. Let z = w + 5. Suppose o - z = -4. Sort -4, 5, o.
-4, o, 5
Let j(q) = 2*q + 2. Let i be j(-2). Let t be 16/10 + (-3)/5. Sort i, -3, t in ascending order.
-3, i, t
Let z(w) = 2*w - 30. Let l be z(17). Let j(m) = m**3 - m**2 - m - 2. Let t be j(2). Suppose -k + 4*k - 15 = t. Put l, k, 3 in descending order.
k, l, 3
Suppose j - 3*d = -4*d + 3, 0 = 2*j - 4*d + 12. Sort j, -4, 2, -1 in increasing orde