 descending order.
n, -2/3, -1
Let c = 9.17 - 0.17. Let w = 8.6 - c. Sort -1/5, -1, w in ascending order.
-1, w, -1/5
Let j be (-2)/8 + 30/160*28. Sort 1, -4, j, 4.
-4, 1, 4, j
Let x(m) = 3*m + 12. Let r be x(-5). Sort r, 18, 0.
r, 0, 18
Let o = -3 + 3.2. Suppose a = 5*k + 3 + 19, 5*k = -4*a - 37. Put 2, k, o in increasing order.
k, o, 2
Let o(i) = i + 7. Let t = -21 + 12. Let p be o(t). Let q be 24/(-5) + p/10. Put q, 4, -4 in decreasing order.
4, -4, q
Let q = -21 + 22. Let l(y) = y**3 + y + 2. Let j be l(0). Suppose -j*r + 5*x = 28, -4*r = -6*x + 3*x + 28. Put r, 5, q in decreasing order.
5, q, r
Let n be (2/(-9))/(2/3). Put -4, n, -5, 0.1 in decreasing order.
0.1, n, -4, -5
Let r = 12 - 17. Let v(q) = -q**3 + 14*q**2 + q - 11. Let z be v(14). Sort r, -0.4, z in ascending order.
r, -0.4, z
Let j be 44/(-8) + (-2)/(-4). Let f(o) = -3*o**2 - 17*o - 5. Let g be f(-5). Sort j, -1, g in ascending order.
j, -1, g
Let q(j) = -j - 3 + 3 + 3. Let z be q(6). Let d be (-4)/2 + (-9)/z. Sort -1, d, 5 in increasing order.
-1, d, 5
Suppose 4*d + b = 3*d - 10, 2*b + 12 = -d. Let p = -19 + 32. Let l = d + p. Put -3, 3, l in descending order.
l, 3, -3
Let s(r) = 5 - 8 - r**3 - 5*r**2 - r + 0*r. Let q be s(-5). Suppose g + 0*u - 2*u - 1 = 0, 5 = -g - 4*u. Sort q, g, 1 in descending order.
q, 1, g
Let d be (-413)/28 + 2/(-8). Put -4, d, -1 in increasing order.
d, -4, -1
Suppose -16 = -4*i + 2*y + 10, -4*y = 3*i + 8. Suppose i*k = -4*o - 13 + 45, -23 = -4*o - k. Suppose 0 = o*a - 8 - 2. Sort a, 5, 1 in decreasing order.
5, a, 1
Suppose 30 = -5*d + 4*x, -4*d + 13*x - 9*x - 24 = 0. Let u = 10 + -7. Suppose 1 = -k - u. Sort d, k, 3 in increasing order.
d, k, 3
Let g = 42 - 39. Let h(q) = -q**3 + 6*q**2 - 6*q + 2. Let v be h(5). Sort v, g, 5 in ascending order.
v, g, 5
Let g = 0 - 0. Let y = -0.139 - 0.861. Sort y, g, -0.2.
y, -0.2, g
Let m = -143 - -152. Put -4, -5, 1, m in ascending order.
-5, -4, 1, m
Let o = -4717/17 - -276. Let t = o + -1/34. Put t, 1/2, 5/4 in decreasing order.
5/4, 1/2, t
Let f(z) = -2*z + 16. Let k be f(13). Let h = -15 - k. Let m = -1 - -4. Sort m, h, -6 in decreasing order.
m, h, -6
Let n be (-16)/(-6) + (-2)/(-6). Suppose -10 = 4*a + a. Put a, n, -1 in decreasing order.
n, -1, a
Let x be ((-16)/(-60))/2 + (-2)/15. Sort x, 1, -1, -4.
-4, -1, x, 1
Let i(k) = -k**3 + 6*k**2 + k - 5. Let r = 20 + -14. Let u be i(r). Sort u, 4, 2/9 in decreasing order.
4, u, 2/9
Let k = -1.7 - -2.1. Sort -1/3, k, 0.1 in descending order.
k, 0.1, -1/3
Suppose -j + 17 = 4*r, r + r + 14 = 4*j. Sort j, -2, -3, -5 in ascending order.
-5, -3, -2, j
Let w = 150 - 57. Let i = w - 653/7. Sort 3, 2, i.
i, 2, 3
Suppose -2 = -3*a - 2*x - 22, x = -3*a - 16. Suppose 5*k = 4*v + 22, -5*v + k - 4*k = 9. Sort a, 2, v in ascending order.
a, v, 2
Let b = 5.7 - 6. Let r = 0.2 + -0.7. Let u = -4.5 - r. Sort u, b, 0.5.
u, b, 0.5
Let b(g) be the second derivative of g**5/20 + 2*g**4/3 + 3*g**3/2 + 9*g**2/2 + 2*g. Let w be b(-7). Put 4, 0, w in ascending order.
w, 0, 4
Let o = 0.2 - -0.2. Let t = -542/3 + 177. Let j = t - -5. Put -0.5, o, j in ascending order.
-0.5, o, j
Let b = 0.3 - 1.3. Suppose n = 2*m + 6, 0 = -31*m + 32*m - 2*n + 3. Sort -5, b, m in ascending order.
-5, m, b
Let l = -2.4 + 1.8. Put l, -5, 1 in increasing order.
-5, l, 1
Let a = 0.5 + -0.3. Put -1/2, 0, a in decreasing order.
a, 0, -1/2
Let j be 4/5 - (-370)/(-525). Put -1, j, -3 in descending order.
j, -1, -3
Suppose -5*n + 1 = -c - 2, -2*c = -5*n + 1. Let j = -6 + n. Let f be (-1)/2 + (-9)/(-6). Put f, -4, j in increasing order.
j, -4, f
Let g = 3 + 2. Sort 0, g, -0.1 in descending order.
g, 0, -0.1
Let v = 0 + 0.5. Let w be (-6)/(-1) + -5 + 1. Sort v, 0, w.
0, v, w
Let o be (-2 + 122/118*2)/(-2). Put 3, o, 0.4 in ascending order.
o, 0.4, 3
Suppose 1 = -3*n - 2*r + 4, 5*n + 3*r - 5 = 0. Suppose 4*s = -1 + 13. Sort -3, n, s in ascending order.
-3, n, s
Let n be (-2 + -1 + 3 + -5)/(-1). Sort n, -4, 0.
-4, 0, n
Let p be 1/2 + 16/32. Let h(o) = -o**2 - 4*o + 2. Let y be h(-4). Put p, 3, y in descending order.
3, y, p
Let r = 5.3 - 5.4. Sort r, 0.8, 2 in descending order.
2, 0.8, r
Let r = 0.3 + 0.2. Let n be (2 - 1)*(0 + -3). Let x = -2 - n. Put -3/4, r, x in ascending order.
-3/4, r, x
Let j = 1.3 + 3.7. Put -0.3, -2, j in decreasing order.
j, -0.3, -2
Let b = -0.05 - -0.55. Let g = b - 0.1. Sort -5, g, 0.5 in descending order.
0.5, g, -5
Suppose 4*s - 7*s = 3. Let m = 33 + -33. Let g be 5/5 - (5 - -1). Sort s, m, g in decreasing order.
m, s, g
Let x be 3*1 + (-1100)/380. Sort 0.2, 0.5, 6, x.
x, 0.2, 0.5, 6
Let d be 4*(2 - 1/4). Let w = 4 - d. Let m(g) = -2*g + 3. Let q be m(4). Sort w, 0, q.
q, w, 0
Let k = -4.92 - 0.08. Let y = 0.0474 - 0.3474. Put 0.2, y, k in descending order.
0.2, y, k
Suppose 2*s + 3*i - 9 = 0, 6 = -2*s - 0*i + 2*i. Suppose s = d + 2*d - 9. Sort -2, d, -1 in decreasing order.
d, -1, -2
Let q = -6 + 10. Suppose -2*p - q = -p. Sort -2, -3, p in ascending order.
p, -3, -2
Let m = -1 - 6. Let a be 5/((-5)/(-3)) - 0. Sort 0, m, a in ascending order.
m, 0, a
Let k(r) = -r. Let t(u) = 7*u - 12. Let p(s) = 6*k(s) + t(s). Let j be p(9). Sort 3, j, -1 in ascending order.
j, -1, 3
Suppose -17 = -5*w - 2. Suppose 4*k - w*k = 1. Put k, -4, -1 in decreasing order.
k, -1, -4
Suppose 2*d - d - 3*j = -3, 4*j - 12 = 0. Let b = -5.16 + 0.16. Sort b, d, -0.3 in ascending order.
b, -0.3, d
Suppose -2*v + 4*r - 20 = 0, -5 = -7*v + 2*v - r. Let z = 15 + -11. Put v, -4, z in increasing order.
-4, v, z
Let g = 13 + -16. Put -4, g, 16 in decreasing order.
16, g, -4
Let d be 2/6 - 10/(-6). Suppose 12 = s + d*s. Let g be 1/(-2) + 7/2. Put g, s, -2 in increasing order.
-2, g, s
Suppose 3*y + 2*y = 0. Suppose -2*i - 34 = -2*j, y*j + 2*i + 49 = 3*j. Suppose 6*t = t + j, -16 = -a - 5*t. Put -1, a, -2 in descending order.
a, -1, -2
Suppose 0 = -o + 2*p + 12, -3*o + p - 9 = 4*p. Suppose 5*a = 7*a + o. Put 0.2, 5, a in decreasing order.
5, 0.2, a
Let p = 32 - 31. Put 4/5, -5, p in descending order.
p, 4/5, -5
Suppose 0 = -4*n - 2*k + 3*k, 4*n = 2*k. Let q = -163 - -818/5. Put q, 4, n in increasing order.
n, q, 4
Suppose -4*j + 2*j + 6 = 0. Suppose 0 = -0*k + k - n + j, -4 = -4*n. Put 3, -1, k in descending order.
3, -1, k
Let c = -22 - -20. Let a = 0.45 + -0.05. Sort 4, c, a in ascending order.
c, a, 4
Let k be (15/(-25))/((-4)/(-20)). Let z(a) = a**2 - a + 7. Let q(s) = -s**2 - 7. Let x(p) = -6*q(p) - 7*z(p). Let n be x(6). Sort -2, n, k.
k, -2, n
Let m = -2.4 - -3. Let n = m + -0.7. Put -5, -2/13, n in decreasing order.
n, -2/13, -5
Suppose -4*r = 6*n - n - 9, -7 = -3*r - 4*n. Sort r, 3, 0 in decreasing order.
3, r, 0
Let m = 0.9 - -2.6. Let f = -3 + m. Put -0.5, f, -5 in ascending order.
-5, -0.5, f
Let k = -847/18 - -47. Let x = -4/15 - -8/5. Put x, 4, k in increasing order.
k, x, 4
Suppose 2 = 3*k + 5. Let b(v) = -3*v - 20. Let q be b(-6). Put 2, k, q in decreasing order.
2, k, q
Let s = -47/3 + 31/2. Put 47, s, 4 in ascending order.
s, 4, 47
Let f = 2 + 1. Let b = -2.8 + f. Let v(j) = 3*j + 3. Let q be v(-2). Sort 0.1, b, q in ascending order.
q, 0.1, b
Suppose -2*f + 1 = -3*x - 26, -f - 4*x = 3. Let j(u) = u**2 - 9*u - 2. Let g be j(f). Sort -0.5, g, -2/13 in descending order.
-2/13, -0.5, g
Let y(c) = c**2 - 4*c. Let i be y(4). Let o = 187 + -189. Sort i, o, -5 in descending order.
i, o, -5
Let k(d) = d**2 - 1. Let z be k(-1). Let p(n) be the first derivative of n**4/4 - n**3/3 - n**2/2 - n + 2. Let h be p(0). Sort 5, z, h in increasing order.
h, z, 5
Let v = -7 + 6.7. Let n be (-3 + 33/6)*2. Sort v, -4, n.
-4, v, n
Let y = -413 - -7019/17. Sort -5, y, -1 in descending order.
y, -1, -5
Let x = -0.5 + 0. Let j = -3.1 + 3. Put j, 0.3, x in descending order.
0.3, j, x
Let v be (-7)/((-28)/(-360)) - 0. Let w = v + 448/5. Put w, 4, -3/8 in descending order.
4, -3/8, w
Suppose 3 = a - 4*u, 5*a + 2*u + 0 = -7. Sort 4, -2, a.
-2, a, 4
Suppose 2*s - 3 = -0*s - r, 5*s = 4*r + 27. Suppose -5*o + u + 4 + 17 = 0, 0 = 2*u - 8. Suppose -2*l = -o*l + s. Put -2, l, 4 in increasing order.
-2, l, 4
Suppose -m = -2, -3*h + 0 + 8 = -2*m. Let q = -14 + 27. Let j = q + -13. Put 0.2, h, j in descending order.
h, 0.2, j
Suppose -4 = -2*w + 2. Let g(h) = h**2 + 5*h - 2. Let b be g(3). Let x = -25 + b. Sort 1, x, w in increasing order.
x,