13. Sort 0, 5/3, f.
0, 5/3, f
Let v = -8.6 - -9. Suppose 0*y = 3*y - 6. Let i be y/7 + 16/(-154). Sort v, -0.3, i in decreasing order.
v, i, -0.3
Suppose 5*g - 4*g = -2*v + 6, 0 = -2*v - 5*g - 10. Sort 1, v, -1.
-1, 1, v
Let i(g) = -g**2 - 3*g. Let q be i(-2). Sort -3, 0.5, q.
-3, 0.5, q
Suppose 2*w + 6 = -0*w. Let s = 4 + -2. Put 1, s, w in decreasing order.
s, 1, w
Suppose 20 = -4*s - s. Let u be (-1*7)/(33 + -32). Put 5, u, s in increasing order.
u, s, 5
Let y = -173/3 + 56. Let z be ((-3)/6)/(10/4). Let d = 1 + -1. Put z, d, y in descending order.
d, z, y
Let u(w) = -w**2 + 18*w + 19. Let z be u(19). Sort -2, z, -16, 3 in descending order.
3, z, -2, -16
Let d be (0 - -2)/((-28)/(-8)). Sort -0.1, 1/5, d.
-0.1, 1/5, d
Let s(k) = 2*k - 5. Let c = 6 + -2. Let t be s(c). Let d be 4/(-26) + ((-33)/39)/1. Put 1, d, t in decreasing order.
t, 1, d
Let b be (-16)/(5 - (-27)/(-6)). Put 2, -2, b, 4 in descending order.
4, 2, -2, b
Let j = 5 - -2. Suppose -5*p - j = -4*a, -3*p - a = a + 13. Sort 4, p, 1.
p, 1, 4
Let i be 2/(3/(18/(-4))). Suppose 26*f + 281 = 749. Sort f, -4, i in decreasing order.
f, i, -4
Let b = 2 - -2. Let g = 0.1 + -0.16. Let l = -0.24 + g. Sort -5, b, l in increasing order.
-5, l, b
Let q(v) = -53*v + 4. Let i be q(-4). Let a = i + -2378/11. Let t = 0.3 - -0.2. Sort 3/2, t, a in decreasing order.
3/2, t, a
Suppose 2 = -2*o - 0. Put -4, o, 2 in ascending order.
-4, o, 2
Let p = 0.35 - -0.25. Let s = 0.62 - p. Sort s, -1, -3 in decreasing order.
s, -1, -3
Let f = -25 + 26. Sort f, -4, 10 in descending order.
10, f, -4
Suppose 4*r = i + 2*r + 2, -2*r = 2. Put 1, i, 4 in descending order.
4, 1, i
Suppose 0 = 2*f - 10 - 0. Let w(j) = j**2 + 5*j - 2. Let b be w(-5). Put b, 4, f in decreasing order.
f, 4, b
Let v = 0.5 - -2.5. Put v, 5/4, 0.4 in descending order.
v, 5/4, 0.4
Let p(y) = -3*y - 3. Let w be p(-2). Suppose 1 = -m - w. Suppose 0 = -4*u + 12, u - 19 = -4*c - 4. Put 1, c, m in ascending order.
m, 1, c
Let a(s) = s**3 - 4*s**2 + 6*s - 4. Let f be a(4). Suppose f = 3*o + 2*o. Sort 3/5, o, -3 in descending order.
o, 3/5, -3
Suppose 0*y = -4*u + 3*y - 1, 2*u + 8 = 4*y. Let i = -1 - u. Sort i, 2, -4 in descending order.
2, i, -4
Let k = 6.1 + 1.9. Let i = 12.78 + 0.22. Let a = k - i. Sort 3, a, 1/3 in ascending order.
a, 1/3, 3
Let n(l) = l + 6. Let h(p) = 3*p + 2. Let k be h(-2). Let v be n(k). Let q = 1 - v. Sort -5, 2, q.
-5, q, 2
Let v be 4/(-14) + 148/28. Put -4, v, 0 in ascending order.
-4, 0, v
Let r = 1 - -2. Suppose y + 3*f = -14, -5*y + 0*f = r*f + 34. Suppose 5 = -o - 4*o. Sort -3, o, y in ascending order.
y, -3, o
Let n be -1 + 2 + 4/(-7). Sort -2, -3/5, n in decreasing order.
n, -3/5, -2
Let v be (-10)/(-4)*(-44)/(-55). Put v, 5, -2 in decreasing order.
5, v, -2
Let t = 2.4 + -2.1. Let x = -0.03 - 3.97. Sort x, 0, t in decreasing order.
t, 0, x
Let b(j) = -6*j**2 - 2*j + 1. Let c be b(-2). Let d = 31 + c. Suppose 3*m + p - d = -3*p, 4*m + 3*p = 9. Sort m, 4, 5 in increasing order.
m, 4, 5
Let z(j) = -j**2 + 2*j + 5. Let p be z(0). Put -4, p, -6 in descending order.
p, -4, -6
Let r(d) = d**2 - d - 2. Let q be r(-2). Suppose 3*z = -z - q*n - 16, 4*z + 16 = -3*n. Put 0.4, z, 2 in decreasing order.
2, 0.4, z
Let l = 1 + -1. Let a be (-2)/(-2)*(1 + l). Let h = a - 2. Put -3, h, 0 in decreasing order.
0, h, -3
Let n = 0.1 + 0.2. Let r = -1 + 0.8. Let v = -3.8 + r. Put n, v, 0.2 in descending order.
n, 0.2, v
Suppose 19*l + 1323 + 1109 = 0. Sort -0.2, l, 0.4 in decreasing order.
0.4, -0.2, l
Suppose -3*z - 2*p = 2*z - 33, 0 = 4*z - p - 16. Suppose z*r - r = 20. Put -4, 1, r in descending order.
r, 1, -4
Let i = 1595/1869 - -1/267. Let s = i - 17/28. Let t = 0.6 + -4.6. Sort t, 1/9, s in descending order.
s, 1/9, t
Let a(w) = w**2 - 6*w - 10. Let t be a(7). Let y = -1 + 1. Sort t, 1, y in increasing order.
t, y, 1
Let k = 9 - 6. Suppose u = -k, -3*u - 29 = 5*f - 0*f. Let t(m) = -m. Let c be t(1). Sort c, f, 5 in descending order.
5, c, f
Suppose u = 4*i - 3, 5*u = 2*i + 32 - 11. Put -3, i, -4 in descending order.
i, -3, -4
Let d(b) = b**3 + 6*b**2 - 7*b - 3. Let o be d(-7). Let x(a) = a**2 + 2*a. Let s be x(o). Let w(g) = -g - 2. Let l be w(s). Put l, 0, 3 in ascending order.
l, 0, 3
Let j be 4/(-14)*(-15)/(-15). Sort j, 3, -1/3 in decreasing order.
3, j, -1/3
Let c(j) = 2*j - 29. Let t be c(12). Sort t, 0, -8 in descending order.
0, t, -8
Let v be 5*(-5)/(75/(-6)). Let y = -2/63 - 307/252. Put y, v, 5 in decreasing order.
5, v, y
Let i be (4/(-5))/((-1)/5). Suppose 5*w = -i*k - 20, -5*k + 3*w - 15 = -2*k. Sort -3, 0, k.
k, -3, 0
Suppose -2*t - 3*t + 10 = 0. Suppose -4*v + 1 = -3*s, 4*s - v + 4*v = 32. Suppose 0 = t*i + s*f - 13, f = -2*f + 9. Put i, -2, -5 in increasing order.
-5, -2, i
Suppose -4*b - 20 = -0*b. Put 5, b, 9 in increasing order.
b, 5, 9
Let w = -73/77 + 12/11. Sort w, 4, -1, 0.
-1, 0, w, 4
Let p = 0.25 - 1.15. Let x = 0.9 + p. Sort -4, x, 4 in decreasing order.
4, x, -4
Let i(q) = q**3 + 6*q**2 + 5*q - 3. Let a be i(-5). Let r = a - -3. Sort -1, 1, r in descending order.
1, r, -1
Suppose 2 + 4 = -m. Sort -4, -2, m.
m, -4, -2
Let k(v) = v**2 - 6*v - 11. Let p be k(8). Sort 3, 1, -25, p.
-25, 1, 3, p
Suppose 10*d - 42 = -4*d. Put -9, -4, d, -5 in decreasing order.
d, -4, -5, -9
Let h = 3.2 + -0.2. Let j = h - -1. Put j, 1/3, 0.5 in ascending order.
1/3, 0.5, j
Let m = -9 - -13. Suppose 4*y - 2*v = -m, -2*v + 4 = y - 0*y. Let g(a) = a**2 + 8*a + 2. Let r be g(-8). Put y, r, -2 in descending order.
r, y, -2
Let x = 27/7 + -149/35. Let a = 0.3 - -0.7. Let l = 0.5 - a. Sort x, l, 2/7 in descending order.
2/7, x, l
Let b = 662/5 - 132. Suppose 4*d - 8 = 0, -5*d = -3*a - 0*d - 19. Let w = a - -3. Sort b, -5, w in ascending order.
-5, w, b
Let p = 21 - 5. Let j = -19 + p. Let d = 0.09 + 4.91. Put d, j, -0.2 in ascending order.
j, -0.2, d
Let a = -139/2 - -70. Let i = -2.1 - -2. Sort i, a, -0.4 in descending order.
a, i, -0.4
Let n(a) = -a**3 + 8*a**2 + 6*a + 28. Let x be n(9). Suppose 5*v + 3*s + 15 = 0, -3*s + 7*s + 20 = -4*v. Sort x, 2, v in increasing order.
v, x, 2
Let h = 0.4 + -0.1. Let w = 478/7 - 68. Put w, h, 0.4 in descending order.
0.4, h, w
Let m = 30 - 30.5. Sort m, -1, 0.5 in decreasing order.
0.5, m, -1
Let x(s) = s**2 - 3*s + 1. Let k be x(4). Let o = -4 - -3. Let h be (34/51)/((-2)/(-6)). Put k, o, h in decreasing order.
k, h, o
Let i = 101/301 + 4/43. Let v = 0 - -0.03. Let u = v + -3.03. Put i, -2, u in decreasing order.
i, -2, u
Suppose -12*l = 7 - 55. Suppose -5*r - 1 = 3*d - 10, -5*d - 10 = 0. Sort l, r, 0.
0, r, l
Let r be -6 + 1 - -3 - -1. Sort 1, 5, r in descending order.
5, 1, r
Let a = 49 - 47. Sort -3, -2, a, 4 in increasing order.
-3, -2, a, 4
Let j be 6/(-4)*((-44)/(-12) - 1). Sort 1, j, 11 in ascending order.
j, 1, 11
Let b = -30.3 + 30. Let p(k) = 1 + 2*k**3 + 4*k - 2*k**3 - 4*k**2 + k**3. Let z be p(3). Sort z, b, 1/8 in decreasing order.
z, 1/8, b
Let l(h) = -h + 32. Let t be l(37). Let y = -0.04 + -0.36. Let m = -3 + 2. Sort t, m, y in descending order.
y, m, t
Let d(q) = 2*q - 3. Let f be d(2). Suppose y = -0*y + f. Let w be (8 + -8)*(-2)/6. Put -5, w, y in descending order.
y, w, -5
Let q = -3 - -3.1. Let d(n) = -2*n**2 + 5*n + 6. Let b be d(-6). Let s be 3*((-28)/b)/7. Sort s, 5, q in decreasing order.
5, s, q
Let d = -0.01 + 0.31. Let y = -13 - -9. Sort y, d, -5.
-5, y, d
Let g = -16 + 12. Let z = 41 - 21. Let s be (10/8)/(5/z). Sort s, -1, g in decreasing order.
s, -1, g
Let k(r) = r**2 - 5*r - 4. Let q be k(6). Let t be q/(-5) - (-92)/(-20). Sort -4, -1, t in decreasing order.
-1, -4, t
Let w(y) = y**2 - 10*y + 5. Let q be w(10). Suppose -2*k = -q*k + 3. Sort k, -3, -2.
-3, -2, k
Let a be (-2)/3 + 4/(-3). Let y(c) = -c**3 - 10*c**2 - 10*c - 8. Let n be y(-9). Let x be (n - 1) + 2 + -1. Sort a, x, -4 in increasing order.
-4, a, x
Let o = -4.91 + -0.09. Let i = 158 - 1736/11. Put o, i, 0.2 in descending order.
0.2, i, o
Let u = -3.12 - -1.12. Put 4/5, 2/101, u in ascending order.
u, 2/101, 4/5
Let d be 4/168*4 - 6/9. Put -3, d, 3 in descending order.
3, d, -3
Suppose -3*c - 5 = 5*o + 13, 2*o = 4*c - 2. Sort -2, c, 3 in descending order.
3, c, -2
Suppose -3*n = -2*i - 8*n + 27, 5*i - 2*n = -5. Sort 2, i, 0, -3.
-3, 0, i, 2
Suppose -24 = -2*o - 4*o. Sort -22, o, -4 in increasing