+ 5. Put 7, -4, a in decreasing order.
7, a, -4
Suppose -15*v + 14 = -1. Let s(j) = 6*j**2 + j. Let g be s(-1). Sort -3, v, g in descending order.
g, v, -3
Let s = 79 + -78.5. Let a = 467/5 + -93. Sort a, s, 0.3 in decreasing order.
s, a, 0.3
Let p = 0.29 - 3.29. Sort -5, p, 2 in descending order.
2, p, -5
Let w be (-1 + 3)/(0 - 1). Let s(j) = j - 1. Let f be s(6). Let b(l) = -l + 7. Let t be b(f). Sort w, -4, t.
-4, w, t
Let f(s) = 7*s + 13. Let n(l) = -l - 1. Let m(z) = -f(z) - 6*n(z). Let w be m(-7). Put w, 4, -1 in descending order.
4, w, -1
Let p = 0.4 + -0.2. Let h = 0.8 + p. Let a = -2/737 - 1428/16951. Sort h, a, 2.
a, h, 2
Let g be (4/14)/(-3 - -5). Let r be (4/10)/((-33)/15). Put r, -0.3, g in increasing order.
-0.3, r, g
Let w = 0.42 - -5.18. Let f = w - 5. Let o = f - 1.6. Put o, -1/4, -4/5 in descending order.
-1/4, -4/5, o
Let k = 2.2 - 0.2. Suppose -4*w + 20 = w. Suppose -w = 2*v - 3*v. Put k, v, 0.2 in decreasing order.
v, k, 0.2
Suppose -3*h - 12 = -5*h. Sort h, 0, 5 in decreasing order.
h, 5, 0
Let j be (2/3)/((-10)/(-45)). Suppose -4*i + 5*w - 3*w + 2 = 0, 3*w = j*i - 6. Put i, -2, -3 in decreasing order.
i, -2, -3
Let q = 6 - 5. Let u be (-3)/(-3) - q*2. Suppose -4*n + 19 = -5*z, 3*n - 3*z = n + 11. Sort n, 0, u in increasing order.
u, 0, n
Let r(u) = 3*u**2 + 3*u + 1. Let y be r(3). Suppose -4*h + 28 = -5*f, -4*f + h - y = f. Let k = 6 + f. Sort 5, k, -1 in increasing order.
k, -1, 5
Let a(j) = -j**2 - j + 2. Let x be a(0). Suppose -4*g - 4 = -20. Suppose 3*t = -4*m + 11, x*t - 2 = -2*m + g. Put m, 1, 4 in decreasing order.
4, m, 1
Suppose 4*l = -3*p - 2, 3*p + 7*l + 3 = 4*l. Let u = -4 + -6. Let d = u + 7. Put p, -0.4, d in decreasing order.
-0.4, p, d
Let c = -2 + 14. Let d = c + -16. Sort -3, -5, d in decreasing order.
-3, d, -5
Let f = -1 - -2. Suppose 2*t = 5*h + 12, 5*t + h - f = -h. Suppose -2*z + 3*w = -z - 11, 3*w + 35 = -5*z. Put t, z, 4 in descending order.
4, t, z
Let o be ((-20)/(-30))/(1/6). Sort -4, -2, o.
-4, -2, o
Let o = 2.1 - 7.1. Sort -2, o, 1 in descending order.
1, -2, o
Let b be (171/(-45) - -5)/(2/(-15)). Put -1, b, -3, 4 in descending order.
4, -1, -3, b
Let f = -17.7 - -18. Sort 3/5, 0, f, 2/23.
0, 2/23, f, 3/5
Let d be (-4)/6 - 3619/21. Let v = d + 862/5. Sort -0.4, -1/8, v in decreasing order.
-1/8, -0.4, v
Let z be 8/(-16)*(3 - 1). Let r be (z - 0) + -3 + 1. Let u be (10/(-6))/(1/r). Sort -3, 1, u in decreasing order.
u, 1, -3
Suppose -7*o - 14 = 14. Put 5, 0, o in decreasing order.
5, 0, o
Let x = -0.3 - -1.3. Let h = 0 - x. Let p = h - -1. Put p, -3, 5 in increasing order.
-3, p, 5
Let a = -0.092 - -0.092. Sort 1/3, 6, 0.1, a in ascending order.
a, 0.1, 1/3, 6
Let a = -227721139/819 - -278048. Let x = a + 1/91. Put -0.4, 1, x in increasing order.
-0.4, x, 1
Let i = 0.17 + 0.03. Let g = i + 0.1. Sort g, -1/4, -3 in decreasing order.
g, -1/4, -3
Let c be (-2)/(((-40)/4)/5). Sort c, -3, -4.
-4, -3, c
Suppose 0 = 3*b - 3*o + 3, 0 = -4*b + 4*o + o - 3. Sort b, 3, 1, 2 in decreasing order.
3, 2, 1, b
Let d be (-6)/(-14) + 48/(-14). Suppose 0 = 3*l - 0 - 3. Let i = 6 + -4. Put l, i, d in increasing order.
d, l, i
Let w be (0 + -6)/(45/6). Let o = -23.9 + 25. Let z = -1 + o. Put -0.3, w, z in increasing order.
w, -0.3, z
Suppose -2*n - 1 + 3 = 0. Sort -4, 4, n in ascending order.
-4, n, 4
Suppose -k + 35 + 1 = 0. Let u be (9/k)/(2/(-8)). Let s(v) = -v**2 + 1. Let m be s(1). Sort u, m, -3 in decreasing order.
m, u, -3
Suppose 0 = -m - 1 - 2. Put -4, m, 3 in increasing order.
-4, m, 3
Let f = 2/81 - 421/648. Sort 3, 4, f in increasing order.
f, 3, 4
Let t = 649611 + -189036422/291. Let a = t - -3/97. Sort -5, -2, a in descending order.
a, -2, -5
Let a = -12 - -8. Sort -0.4, a, 0.3.
a, -0.4, 0.3
Let h(s) = -s**2 + 3*s - 3. Let v be h(3). Let f be -2 - 2/1 - -10. Let b be -2 - -1 - (f - 8). Put v, -2, b in descending order.
b, -2, v
Let m = -0.6 + 0.5. Sort m, 3, -0.5 in decreasing order.
3, m, -0.5
Let k be (-1 + 0)*12/(-36). Put 0.5, -2/11, -2/5, k in decreasing order.
0.5, k, -2/11, -2/5
Suppose -41 = -5*l - 16. Let x = -2.7 - -3. Put x, l, -0.4 in ascending order.
-0.4, x, l
Let l = 2.9 - 3. Let u = -11 + 11.3. Let x = u + l. Put x, -2/9, 2 in increasing order.
-2/9, x, 2
Let r = -27.2 + 32. Let k = r + 0.2. Sort -2/7, 0.4, k in descending order.
k, 0.4, -2/7
Let d = 17 - 8. Let m = 6 - d. Let s = m - -6. Sort s, 5, 0 in decreasing order.
5, s, 0
Let q be 5/10*(11 + -1). Suppose -y + 2 = 3*y - 2*x, -q*y = 4*x + 30. Sort -1, -5, y in increasing order.
-5, y, -1
Let c = 9 + -7. Suppose -5*g = -4*a + 5, 0*a + g + 1 = -5*a. Sort a, c, -4 in ascending order.
-4, a, c
Let i = -5/17 - 31/68. Sort i, 7, 1 in increasing order.
i, 1, 7
Let w = -18 + 5. Let k = -8 - w. Put 0.1, -0.3, k in decreasing order.
k, 0.1, -0.3
Let a = 14.1 + -14.18. Put a, 4, 1/3 in decreasing order.
4, 1/3, a
Let w(o) = o**2 + 5*o - 3. Let g be w(-5). Let p be g + 4 - 6/8. Put -0.2, -0.1, p in increasing order.
-0.2, -0.1, p
Let q = 2 + -0.5. Let m = -1.7 + q. Put 0.3, m, 2/3 in descending order.
2/3, 0.3, m
Let p be -3 + 4 + -1 + 8. Let q be p/12 - (-8)/(-30). Sort -3, -3/8, q.
-3, -3/8, q
Let d(w) = w**3 - 2*w**2 + 6. Let n be d(0). Sort n, -5, 2, 4 in descending order.
n, 4, 2, -5
Let l be 20/(-5)*(-1)/2. Suppose -l*t = -0 - 4. Put 0, t, 4 in ascending order.
0, t, 4
Let r = -5 + 10. Put 1, 1/2, r in descending order.
r, 1, 1/2
Let f be 2/2 + (18 - 16). Sort f, 2, -1/6, 3/10 in decreasing order.
f, 2, 3/10, -1/6
Let f = 0.36 - 0.06. Let k be 4/(-5) - (-1 - (-57)/(-15)). Suppose 2*p - 10 = -4*o - o, 2*p + 2*o = 10. Sort f, k, p.
f, k, p
Let n = -764/9 + 84. Sort n, 0.3, -0.2.
n, -0.2, 0.3
Let r be (-24)/(-16)*(-12)/9. Sort r, -1, 36 in descending order.
36, -1, r
Let w = -2 - 0. Let a be 2*-1*(w + 1). Let x be (-2 + 3/2)/a. Sort -2/3, -0.1, x in descending order.
-0.1, x, -2/3
Suppose -2*b - 5*q + 3*q + 20 = 0, -2*b = -q - 11. Sort 0, b, -2 in decreasing order.
b, 0, -2
Suppose -3 = 4*y - 15, 3 = 2*s - 5*y. Let g = 5 - s. Put g, 3, -0.3 in decreasing order.
3, -0.3, g
Suppose 2*o - 4*o = -3*c - 4, -4*o + c + 8 = 0. Suppose -o = -3*a - z + 2, -3*z = 3*a - 12. Let n be (-2)/(1/(-4)*-2). Put n, a, -1 in decreasing order.
a, -1, n
Let r = 79 + -76. Sort r, 4, 10 in ascending order.
r, 4, 10
Let k be 1/3 + (-284)/132. Let s = -5625293/77 - -73058. Let v = s + k. Put 4/7, 3, v in increasing order.
v, 4/7, 3
Suppose -4*n - u + 0 = -12, 0 = -n + 5*u + 24. Let o = -3 - 2. Let b = o - -10. Put b, n, -2 in decreasing order.
b, n, -2
Suppose 5*y = 7*m - 6*m + 18, -3 = -y. Sort -4, 7, 5, m.
-4, m, 5, 7
Let j = 8 - 7.95. Let z = j - -4.95. Put z, 2/9, 0.4 in increasing order.
2/9, 0.4, z
Let z = 2 - -3. Suppose -s + n = -4*n - 21, -2*n = -z*s + 13. Suppose -4*p + s = 5. Sort 1, p, -3 in ascending order.
-3, p, 1
Let b = -0.2 + 0.1. Let r = 128/87 + -4/29. Put b, r, 1 in descending order.
r, 1, b
Let x(m) = m**3 - 5*m**2 - 5*m + 8. Let w be x(7). Let n = 356/5 - w. Let o = 0.5 - 0.9. Put n, 1, o in ascending order.
o, n, 1
Let j(a) = -a + 2. Let v be j(7). Suppose -2*o + 4*o - 2*z = 28, 4*o = -2*z + 26. Suppose 5*u + s + o = -3, 5*u = s - 8. Put u, v, -3 in descending order.
u, -3, v
Let d = 7 + -5. Let x(c) = c**3 - c**2 + 1. Let f be x(2). Sort -0.2, f, d in descending order.
f, d, -0.2
Let g be 2 + -3*(-3)/9. Suppose -k + g = 7. Sort k, 5, -3.
k, -3, 5
Let r be 10*3/(36/6). Suppose 4*s - s = 0. Put s, 3, r in descending order.
r, 3, s
Let p = -75 - -79. Sort -1/7, -22/3, p, 2.
-22/3, -1/7, 2, p
Let q(u) = -u**3 + 3*u**2 + 3*u + 3. Suppose -3*s - 20 = -8*s. Let p be q(s). Let f = 1.5 + -1. Put f, -2/5, p in descending order.
f, -2/5, p
Suppose -3*w = -6*w - 2*t - 36, 5*w - 2*t + 44 = 0. Let j be ((-1)/w)/((-2)/(-5)). Let a = 3.1 - 3. Sort a, -1, j in descending order.
j, a, -1
Let j = 12 - 13. Sort 5, 3, j, 2.
j, 2, 3, 5
Suppose -7*n + 3*n = 16. Let g be 2/(-11) - 20/11. Sort 2, n, g in descending order.
2, g, n
Let c be 3/6 + (-9)/(-2). Let p be 1/((-9)/(-5) + -2). Let v(u) = u**2 + 5*u - 1. Let n be v(p). Sort 4, n, c in descending order.
c, 4, n
Let g = -5 + 5.01. Let d = g + 0.99. Let r = 3.8 - -0.2. Put r, d, 3 in ascending order.
d, 3, r
Suppose 2*f - 10 = -h - 0*f, 12 = -2*h + 4*f. Suppose 0 = -2*i - 8 - 2. Let q be i + 0 + (4 - h). 