.8. Let t = n - y. Sort t, -0.3, 2/17.
t, -0.3, 2/17
Let v = 65 + -391/6. Let z = -3 - -2.5. Put v, 3, z in increasing order.
z, v, 3
Suppose 0 = q - 4*v - v - 22, -2*v - 34 = -4*q. Suppose -4*g = 2 - 6. Put 3, q, g in decreasing order.
q, 3, g
Suppose 3*u - 9 = 3*c, 5 = u + 4. Let t be 7/(-14) + (-3)/c. Sort -3, -2, t in decreasing order.
t, -2, -3
Let s(u) = u**3 - 4*u**2 - 5*u + 2. Let j be s(5). Suppose 0 = -j*v - 2 + 4. Let r be (3 + 5/(-3))*3. Sort r, 2, v in ascending order.
v, 2, r
Let k be 12 + -10 - 12/2. Sort -1, k, 1 in descending order.
1, -1, k
Let c be (-6)/27 + (-14)/18. Suppose -3*u = -r - 37, r - 2*r - 5*u = 5. Let o be (r/(-10))/(1/2). Put o, 0.5, c in decreasing order.
o, 0.5, c
Let w = 2.5 - -5. Let y = 8 - w. Put 1/4, 0, y in descending order.
y, 1/4, 0
Suppose -6*i + 5 = 3*u - 2*i, 4*u = -2*i + 20. Sort -1, u, 3 in descending order.
u, 3, -1
Let s = -21 - -18. Sort 5, -10, s.
-10, s, 5
Let t = 1.1 + 2.9. Let d = 1.1 + -5.3. Let u = d + t. Put u, -0.5, -1 in decreasing order.
u, -0.5, -1
Let c be -8*((-3)/6)/(-1). Sort 5, -3, c, 7 in ascending order.
c, -3, 5, 7
Suppose 2*b + 9 = -5*m - 8, 3*m + 14 = -5*b. Let z be 1*-2*m/(-2). Suppose -4*j + 20 = -2*h - 0*j, -3*j + 5 = h. Sort 2, z, h.
h, z, 2
Suppose -7*d - 5 + 40 = 0. Sort 4, d, 0, 67 in decreasing order.
67, d, 4, 0
Let d = -3 + 3. Let p be (-3)/6*-2 + 7. Suppose 2*b - p = -2*b. Sort b, d, 1 in descending order.
b, 1, d
Let q(i) = -i + 12. Suppose -5*k + 5 + 30 = 0. Let v be q(k). Sort 2, 4, v in descending order.
v, 4, 2
Let b = 8 - 13. Let i(x) = -x - 5. Let l be i(b). Sort -4, 3, l in decreasing order.
3, l, -4
Let g = -22 + 23. Sort g, 10, 3, 5 in descending order.
10, 5, 3, g
Let g = 0 + -0.3. Let t = -0.02 - -0.27. Let q = t - 0.05. Put 2, g, q in descending order.
2, q, g
Let o = 17 + -19. Let m be (-1 + (0 - -5))/(-1). Sort m, o, 0.1 in descending order.
0.1, o, m
Let a be 4 - (-11)/((-4)/(-4)). Let t(w) = 55*w**3 + w - 1. Let i be t(1). Let q be (-21)/i - (-3)/a. Sort 2/7, q, 3 in descending order.
3, 2/7, q
Let j(x) = x + 1. Let f be j(-6). Let n = -1.5 - -0.5. Let s = -1.5 - n. Sort s, f, -2 in decreasing order.
s, -2, f
Let i be -2*1/(-2)*0. Let g be (6/(-4))/((-232)/32 - -8). Put 3, g, i in descending order.
3, i, g
Let x = 1.4 - -19.6. Let p = 20.5 - x. Sort -1/4, p, -5 in ascending order.
-5, p, -1/4
Let r = 0.18 - 0.18. Put -11, r, 3 in decreasing order.
3, r, -11
Let l be (-18)/27*1/3. Let k(s) = -s**2 + 4*s - 3. Let p be k(2). Put 2/7, p, l in descending order.
p, 2/7, l
Let h(v) = -v**2 - v + 1. Let n be h(-2). Let t = -245 + 2207/9. Put n, t, -4 in descending order.
t, n, -4
Let x = 0.03 + -1.03. Let g be (-16)/(-15) + 2/(-3). Let v = 2 + -5. Put x, g, v in ascending order.
v, x, g
Let a = -1.5 + 2. Let w = a - 0.3. Let b = -7 - -2. Sort w, b, 4 in decreasing order.
4, w, b
Let y = 32 - 20. Suppose -y = 5*s - 8*s. Put 2/13, s, -1/4 in descending order.
s, 2/13, -1/4
Let l be 20/72 + 1/6. Put l, -0.5, -5 in descending order.
l, -0.5, -5
Suppose 6*y = -4 + 10. Put y, 7, 0, -2 in descending order.
7, y, 0, -2
Let m = -0.013 + -0.087. Put -2/11, 0.5, 2, m in descending order.
2, 0.5, m, -2/11
Let j = -5 + 8. Suppose 2*y = j*y + 4. Put y, 5, 4 in ascending order.
y, 4, 5
Let o = -0.25 + -0.25. Sort -1/3, o, 5, 1/2 in descending order.
5, 1/2, -1/3, o
Suppose -12*i + 15*i = -9. Let c(u) = u**3 + 4*u**2 + 2*u - 2. Let d be c(-4). Let v = -5 - d. Put v, i, -1 in decreasing order.
v, -1, i
Suppose -3*x - 3*s + 9 = 0, 4*x - 4*s + 9 = -s. Let l(q) = 2*q - q + x*q. Let m be l(-2). Sort m, 3, -4 in increasing order.
-4, m, 3
Let z be 5/(-2 + 1) - -1. Let n be ((-2)/(-2)*5)/(-1). Let t = 5 + n. Sort -3, z, t.
z, -3, t
Suppose 3*w + 1 - 4 = 0. Let o(m) be the third derivative of -5*m**4/24 + m**3/6 + 2*m**2. Let d be o(w). Sort -3, d, -1.
d, -3, -1
Let j = -0.996 + 0.896. Let m = 3.3 + 0.7. Put -5, m, j in increasing order.
-5, j, m
Let b = 8 + -6. Put b, -1, 5 in decreasing order.
5, b, -1
Let k = -60 - -57. Let g be (-1)/(-2)*1/(-2). Put g, 2, k in descending order.
2, g, k
Let k be 3/1 - (9 - 3). Suppose 4 + 6 = -5*s. Suppose -12 = -3*v - 0*v - 4*r, -v - 3*r = -4. Put s, k, v in decreasing order.
v, s, k
Let z be ((-3)/(-12))/((-2)/(-4)). Let x = 42.9 + -43. Sort -2, z, x.
-2, x, z
Let o = -2.9184 - 0.0516. Let m = 0.03 - o. Put m, -5/4, 2/9 in ascending order.
-5/4, 2/9, m
Suppose 4*r + 5*u + 11 = 3, -r + 2*u = -11. Suppose r*c - 10 = -4*q + 3*q, c = q + 10. Sort 4, -1, q in decreasing order.
4, -1, q
Let g(k) = -k**2 + 8*k - 13. Let p be g(6). Sort p, 0, 4 in ascending order.
p, 0, 4
Let y = 0.3 - 0. Let r = 185 + -184. Put y, 0.4, r in increasing order.
y, 0.4, r
Let d = -2.2 - -1.8. Sort 3, -0.1, d in descending order.
3, -0.1, d
Let r = -5.7 - -3.7. Sort r, 4/11, 0 in decreasing order.
4/11, 0, r
Suppose -14*p = -9*p + 10. Let f(a) = -a**2 - 5*a - 4. Let q be f(-4). Put p, q, -1 in decreasing order.
q, -1, p
Let d = 203 - 506. Let i = d - -3941/13. Put i, 5, -2/15 in increasing order.
-2/15, i, 5
Let m = 3 - 3.2. Let q = -2.3 + 6.3. Sort q, 0.5, m in descending order.
q, 0.5, m
Let r be (4 + -1)*(-1 + 0). Sort 3, r, -1 in descending order.
3, -1, r
Let p be -1 + 1 - (2 - 3). Let c(z) = z. Let m be c(3). Sort p, m, 2 in descending order.
m, 2, p
Let l(y) = y**3 + 7*y**2 - 29*y + 11. Let v be l(-10). Put -1, -10, v in increasing order.
-10, -1, v
Let t be -2*(14/(-4) + 2). Suppose -r - t*r + 12 = 0. Suppose 3 = 4*c - 3*s + 2*s, 12 = -r*c - 4*s. Sort c, -0.4, -2/7.
-0.4, -2/7, c
Let l(h) = -h - 8. Let v be l(-10). Suppose -14 = -3*a + v*i, 0*i = 2*a + i. Suppose o = -a*o. Put o, 5, 4 in increasing order.
o, 4, 5
Let m(y) = -2*y**2 - 5*y + 2. Let c be m(-5). Let p = 16 + c. Put 3, 5, p in decreasing order.
5, 3, p
Let g be ((-1)/3)/(20/240). Put 0, 1, g in ascending order.
g, 0, 1
Let r be (6/4 - -2) + -3. Sort 0.1, -3/5, r in increasing order.
-3/5, 0.1, r
Suppose 157*k - 2 = 155*k. Sort -3, 17, 2, k in descending order.
17, 2, k, -3
Let a be 23/(-6) + (-6)/36. Put -3, -2, -1, a in descending order.
-1, -2, -3, a
Let h = -3 + 8. Let l(r) = r - 17. Let b be l(16). Sort b, -2, h in descending order.
h, b, -2
Let p = 94 - 92. Put p, 0.1, -3 in ascending order.
-3, 0.1, p
Let u = 11 + -13. Sort 2, 3, u in increasing order.
u, 2, 3
Let m = 24 - 165/7. Put -9/2, 0.1, 2/7, m in descending order.
m, 2/7, 0.1, -9/2
Suppose -2*g + 3*r + 6 = 0, 3*r + 0*r + 24 = -4*g. Put g, 3, 0, 2 in descending order.
3, 2, 0, g
Let h be (1 - 325/20) + 2/8. Sort h, -4, -1 in descending order.
-1, -4, h
Suppose 5*t + 5 = -2*d - 5, -8 = 4*t - 3*d. Let g = 1 - 1. Sort -1, t, g in descending order.
g, -1, t
Suppose -22 = -2*i + j, -23 = -i + 2*j - 6. Let x(d) = d**2 - 10*d + 12. Let c be x(i). Sort 2, -2, c in descending order.
c, 2, -2
Let z = -206 - -203. Let b(k) = k**3 - 5*k**2 + 2*k - 6. Let q be b(5). Put q, -4, z in descending order.
q, z, -4
Suppose 4*k + 5 = 2*m - 11, 2*m - k = 1. Suppose -3*u + 2 - 14 = 0. Sort m, -3, u in decreasing order.
m, -3, u
Suppose -3*r + 5 = -i, -3*r = -2*r. Put -2, i, 4 in increasing order.
i, -2, 4
Let k = 4.1 + -3. Let d = 0.1 - k. Let i = d - 0. Sort i, 2/21, -0.5 in ascending order.
i, -0.5, 2/21
Let r be 3 - ((-56)/10)/(-2). Let b be (3/(-5))/(0 + 1). Put b, r, -1 in increasing order.
-1, b, r
Suppose 0 = 5*u - q + 4*q, -q - 5 = 0. Let p = 2 - u. Put -0.5, p, 3 in descending order.
3, -0.5, p
Let f = 0.06 + 0.44. Let n = f + -2.5. Sort n, 3, 4/3 in decreasing order.
3, 4/3, n
Suppose -2*u - 14 = -4. Put u, 3, 1 in decreasing order.
3, 1, u
Let q(f) = 3*f + 1. Let o(g) = -g + 1. Let z(w) = -2*o(w) - q(w). Let j be z(1). Sort -1, -5, j in descending order.
-1, j, -5
Let w be (2/(-12))/(1/4). Let t be ((-2)/11)/(1/(-1)). Suppose -25 = -5*x - 10. Put w, t, x in decreasing order.
x, t, w
Suppose -3*r = -5*s + 125, -s + 4*r + 12 + 13 = 0. Let d be (-15)/(-35) + s/7. Suppose 3*x + 2*x = 0. Sort x, d, 3 in increasing order.
x, 3, d
Let n = 2.93 + 0.07. Let d(g) = 0 - 7*g + g - 1. Let u be d(-1). Sort n, u, 0 in ascending order.
0, n, u
Let m(n) = n - 7. Let v be m(5). Let g be (62 - -1) + (-2)/2. Let h be (-3)/(-18) - g/12. Put -0.4, h, v in decreasing order.
-0.4, v, h
Let z = 0.6 - -3.4. Let f = -40 - -36. Put z, f, 0.3 in descending order.
z, 0.3