Put s, 5, 1 in ascending order.
s, 1, 5
Suppose 4*w = -26 - 22. Sort 5, 0, w in decreasing order.
5, 0, w
Let u = 18 - 18. Suppose u = -4*z + z + 6. Sort z, -5, 3 in descending order.
3, z, -5
Suppose 10 = s + 2*c, s - c + 0 = -2. Let p = s - 6. Sort p, -3, 3 in decreasing order.
3, -3, p
Let g be -6 - (1/1 - 0). Put -1, 4, g in decreasing order.
4, -1, g
Let v(c) = c**3 - 6*c**2 + 4*c + 5. Let m be v(5). Suppose 3*i + 16 = 4*t - 5, 4*i + 5*t + 59 = 0. Let q = -6 - i. Put m, q, 3 in increasing order.
m, 3, q
Let o be (4*(-5)/40)/(1/(-8)). Let i(n) = -2*n + 4. Let s = 2 - -1. Let k be i(s). Sort 3, o, k in descending order.
o, 3, k
Suppose -3*l + 15 = 2*l. Suppose -y - l*y + 8 = 0. Let q = y - 3. Sort -4, q, 3.
-4, q, 3
Suppose 1 = 5*v + 4*g - 47, -10 = -5*g. Let l = 9 - v. Put l, 0, -4 in decreasing order.
l, 0, -4
Let i = -5 - -10. Suppose 3*q + i + 4 = 0. Let n be q/9*(-2 + 11). Sort n, 5, 2.
n, 2, 5
Let y = 0.09 - 2.09. Let d = -0.2 - 0.2. Put 1/6, y, d in decreasing order.
1/6, d, y
Let t(p) = p**3 - 7*p**2 + 5*p + 4. Let x be t(6). Sort -2/3, -2/15, x in descending order.
-2/15, -2/3, x
Let p = 0.7 + -0.7. Suppose -b - 4 = -5*b. Put p, -4, b in descending order.
b, p, -4
Let j = 44 - 47. Sort j, -2, 5, -5 in ascending order.
-5, j, -2, 5
Let o = 2 - -3. Sort -4, -5, -1, o.
-5, -4, -1, o
Let c = 52 - 51. Let w = -7.3 + 7. Let n = w + 0.1. Put c, -0.5, n in decreasing order.
c, n, -0.5
Let y = -14 + 12. Let s(d) = -d**2 - 6*d + 4. Let b be s(-6). Let c be (-14)/3 - b/(-6). Sort 0.5, c, y in increasing order.
c, y, 0.5
Suppose 4*q = 5*q. Let j(k) = -k**2 + 7*k - 10. Let y be j(5). Suppose -f + 5*z - 21 = y, -2*f - 3*z + 18 = -z. Sort f, q, -3.
-3, q, f
Let f = 9 + -8.7. Let a(i) = -i**3 + 4*i**2 + 6*i. Let g be a(5). Suppose -7 = 3*p - 4*p + g*y, 2*p - 7 = 3*y. Sort f, p, 5 in ascending order.
f, p, 5
Suppose -3*u + 3 = -w - 1, 3*u + 4*w + 16 = 0. Sort u, -10, 2.
-10, u, 2
Let m(r) be the third derivative of r**6/120 + r**5/60 - r**4/8 + r**3/2 - 2*r**2. Let f be m(-3). Let y = 4 + f. Sort y, 3, -1 in decreasing order.
3, -1, y
Suppose -3*h = 5 + 7. Let w(v) = -v**3 - 5*v**2 - 5*v + 1. Let l be w(h). Suppose -l = 2*n - 1. Sort 3, n, 5 in decreasing order.
5, 3, n
Let z be (8/6)/(1/(-3)). Let c = 2.7 + -1.7. Sort -2, c, z in descending order.
c, -2, z
Let m = -5 - -5.4. Let t = m - 0. Let u = -0.01 - 0.39. Sort -2, u, t.
-2, u, t
Let q(f) = 14*f**3 - f. Let o be q(1). Suppose -36 = -4*r + 3*b - 0*b, 0 = -2*b. Let g = o - r. Sort -1, g, 2 in ascending order.
-1, 2, g
Let j = 0.22 + 0.48. Let m = j + 1.3. Sort m, -3/4, -4 in descending order.
m, -3/4, -4
Let b be (9 - (-8)/(-4)) + -2. Let c(o) = o**2 + o + 3. Let q be c(0). Put b, q, -3 in ascending order.
-3, q, b
Suppose 12 = -3*q, -4 = f + q + 5. Let z = f - -8. Let a = -1 + -2. Put a, z, 1 in decreasing order.
z, 1, a
Let s(v) = -v**3 - 4*v**2 - 5*v - 4. Suppose 3 = b + 6. Let n be s(b). Put n, 4, 1 in decreasing order.
4, n, 1
Let b(j) = -j**3 - 3*j**2 - 5*j - 4. Let p be b(-3). Suppose -4*r + 6 = 4*a - 18, a + 2*r - p = 0. Put a, -5, 4 in descending order.
4, a, -5
Suppose -2*i - i + 2*v - 11 = 0, 14 = -3*i + 5*v. Let x(w) = -4*w. Let h be x(-2). Suppose h = -3*k - 4. Sort -1, i, k.
k, i, -1
Suppose 5*r + 8*w - 16 = 5*w, 0 = r + 4*w - 10. Suppose -r*h = n - 11, -11 = -5*n + 2*h - h. Sort -2, 4, n in increasing order.
-2, n, 4
Let k = -13 + 40. Let t = k + -27.1. Let s = -0.02 - 1.98. Sort t, 2/11, s.
s, t, 2/11
Let p = -1.7 - -2.2. Let o = 0.499 - 3.569. Let q = o + 0.07. Put 4, p, q in descending order.
4, p, q
Let y = 2 - -2. Sort 2, y, -4, -5 in decreasing order.
y, 2, -4, -5
Let u = -15 + 14. Sort -10, u, 0.
-10, u, 0
Let u be 148/5*(-21)/12. Let w = u - -52. Put w, -0.5, 0 in increasing order.
-0.5, 0, w
Let w = 0.35 + 0.05. Let j = 4.4 - w. Sort j, -1/11, -1/7 in decreasing order.
j, -1/11, -1/7
Let k = 1 - 12. Sort 4, k, -4 in decreasing order.
4, -4, k
Let x be (-1 - 12/(-14))/((-3)/(-9)). Put -4, x, 0.6 in decreasing order.
0.6, x, -4
Let y = -8 - 14. Let x = -17 - y. Put -4, x, -4/7 in decreasing order.
x, -4/7, -4
Let j = -23 - -23.27. Let v = 5.27 - j. Let m be -3*(-1 - (-13)/15). Put m, v, -0.3 in increasing order.
-0.3, m, v
Let l(d) = -d**2 - d - 3. Suppose -3*q = -3*t, 3*t + 4*q - 3*q = 0. Let g be l(t). Let v = 0 - g. Put v, -2/11, -0.2 in decreasing order.
v, -2/11, -0.2
Let m(g) = g + 5. Let n be m(-5). Let i = n - 4. Let b(h) = -h**3 + h**2 + 2*h + 1. Let z be b(2). Sort z, -1, i.
i, -1, z
Let p = -13 - -10. Let f = p + -1. Suppose 3*h + h + 20 = 0. Sort f, 0.4, h in ascending order.
h, f, 0.4
Let n = -15 - -12. Sort -2/9, n, 0.02.
n, -2/9, 0.02
Let f = -16 + 19. Let z = f + -1. Sort 5, z, -4/7 in ascending order.
-4/7, z, 5
Let a(b) = 26*b + 5. Let i be a(-4). Let w be 2/3 + 25689/i. Let u = w - -259. Sort -3, -1/4, u in decreasing order.
u, -1/4, -3
Let k = -33 + 38. Put -1.9, -3/4, k in decreasing order.
k, -3/4, -1.9
Let o = -0.3 - -2.3. Sort 1, -1, o.
-1, 1, o
Let c = -25 - -42. Let k be (-4)/c*(-3)/6. Let p = -2.5 - 0.5. Put k, p, -0.3 in descending order.
k, -0.3, p
Let n = -157 + 39. Let i = 2008/17 + n. Let w be (-88)/33*1/(-4). Put i, 2/5, w in increasing order.
i, 2/5, w
Let v be 1 - 15*(-4)/(-12). Let k be ((-12)/(-9))/(v/6). Sort -3, k, 5 in descending order.
5, k, -3
Suppose 2*y - 30 = -5*q, 5*q - 3*y + y = 10. Suppose q*x - 9 = 5*x. Sort -2, -4, x in decreasing order.
-2, -4, x
Let f(a) = -2*a + 37. Let r be f(20). Put -1, -2, r, -10 in increasing order.
-10, r, -2, -1
Let z be 2 + (-3)/((-9)/(-6)). Suppose -i = 3*o - z*o + 2, -5*i = -o + 10. Sort i, 0, 2.
i, 0, 2
Suppose -6 = -3*y - 3. Let l be (1 - -4) + y*-3. Sort l, -1, 1 in descending order.
l, 1, -1
Let w = 4 + -3. Sort w, -2, -4/5 in descending order.
w, -4/5, -2
Let l be 3 - (-1)/((-3)/18). Let f = 32 + -158/5. Put 1/5, f, l in decreasing order.
f, 1/5, l
Let q be (16/6)/((-1)/(-3)). Let w be 2/6*60/q. Put w, -2, -4 in decreasing order.
w, -2, -4
Let x be 0/1*(-2)/(-4). Let z be (0 + x/(-3))/(-2). Suppose z = j - 2*j. Put -2, j, -5 in increasing order.
-5, -2, j
Let n = -12 - -7. Put n, -4, -19, -3 in decreasing order.
-3, -4, n, -19
Let y = 11 + -15. Suppose -6*z + 14 = l - z, -z = -4*l - 7. Let o = -2 - l. Sort o, 4, y.
y, o, 4
Let w be 21/9 + (-2)/6. Suppose x - 12 = -4*n, 3 = -w*n + 9. Let u = -16 - -11. Put u, x, 2 in decreasing order.
2, x, u
Let z(d) = 2*d - 29. Let a be z(15). Put -5, a, 4 in decreasing order.
4, a, -5
Let y be (1/2)/(2/4). Suppose 3*n - 3*x - 10 - 5 = 0, -4*n = x - 10. Put y, -1, n in increasing order.
-1, y, n
Suppose -5*l - 2*k + 0*k = 47, -2*l - 4*k - 22 = 0. Let n = 37/4 + l. Let y(t) = -t**3 + 8*t**2 + 10*t - 8. Let b be y(9). Put -3, b, n in decreasing order.
b, n, -3
Let k = 546 + -551. Let b = 24 + -17. Sort b, 4, k in increasing order.
k, 4, b
Let z be (-1)/2*(-8 + 8). Let m be 1 - 0 - (-2 + 0). Let n = m + -4. Put n, z, 2 in increasing order.
n, z, 2
Let a be (0 - -4) + (-38)/10. Put a, -4, 10 in decreasing order.
10, a, -4
Let a(x) be the third derivative of -x**6/60 - x**3/6 - x**2. Let k be a(1). Let n = -5 - k. Put n, -1, 2 in decreasing order.
2, -1, n
Let r = -71/44 + 15/11. Sort r, 2, 0, -3 in descending order.
2, 0, r, -3
Let f = -16.85 + -0.15. Put -0.3, f, 2/7 in decreasing order.
2/7, -0.3, f
Suppose 2 = -w - 0. Let r be 2/((-8)/(-6))*w. Let u = 1 - -3. Sort u, 5, r in ascending order.
r, u, 5
Suppose -p + 1 = -0. Let f = p - 0. Sort f, -4, 0 in ascending order.
-4, 0, f
Let k(q) = -5*q. Let c be k(-2). Suppose c = -d - 5*s, 0 = 2*d - 5*s - 3 - 7. Sort d, 3, 2.
d, 2, 3
Let r be ((-12)/(-15))/((-4)/(-30)). Let k be 1 - 2*(-9)/r. Sort 1, -4, k.
-4, 1, k
Suppose 8 = -3*f + 5*f. Let k = 0 + -1. Suppose -d - 1 = 2*d + 2*b, 5*d + 4*b = -3. Sort k, f, d.
k, d, f
Let m = 177 + -172. Suppose -3 = -s + 4*q + 18, q + 1 = -4*s. Put m, s, -2 in ascending order.
-2, s, m
Let z = -0.9 + -1.1. Let y = z + 2.1. Sort 4, y, 0.4 in descending order.
4, 0.4, y
Suppose 2*s - 2 = 4*s. Let k = 54 - 54.3. Put k, s, 2/23 in increasing order.
s, k, 2/23
Let t = 5 + 0. Suppose -k = -2*k + t. Suppose 1 = w - 0. Sort k, -4, w in descending order.
k, w, -4
Let a be (-8)/2 - (-1 + 1). Let t = 9 - 5. Suppose 3*d - 3*k = 0, -d - 20 = -t*k - k. Sort a, d, 4 in descending order.
d