, -2/7, x in ascending order.
x, -2/7, b
Let h = 27 + -25. Put 0, -3/5, h in increasing order.
-3/5, 0, h
Suppose -k = 4 - 3. Suppose 6*n - n + 20 = 0. Let o be 72/20 - n/10. Put k, 1, o in decreasing order.
o, 1, k
Let d = -12.7 - -12.4. Put -2/29, -2, d, -1/3 in decreasing order.
-2/29, d, -1/3, -2
Suppose 0 = 2*s - s + 3. Let o(r) be the second derivative of -r**3/6 - 5*r**2/2 + 2*r. Let p be o(-8). Sort -5, p, s in decreasing order.
p, s, -5
Let q(j) be the third derivative of j**4/24 - 2*j**3/3 - j**2. Let n be q(5). Put 2, 4, n in decreasing order.
4, 2, n
Let w be (1 - 2)*(-2 - -3). Let d = -1/95 - -383/285. Sort w, 1, d in decreasing order.
d, 1, w
Let m(b) = 2 - 2*b + b + 0*b. Let d be m(2). Let a = 137 - 134. Sort d, 4, a in descending order.
4, a, d
Let h = 0.2 + -0.3. Suppose 5*m - 4*u = 17, -3*m = -0*m - 5*u - 18. Let p = -366 + 365.8. Put m, p, h in increasing order.
p, h, m
Let k be -1 + 0 + (-7)/(-4). Let n = -5 - -4.6. Sort k, -1/4, n in ascending order.
n, -1/4, k
Let d be (0 + (-6)/(-9))*3. Let v be 0/(1/(1/d)). Put v, 5, -4 in decreasing order.
5, v, -4
Let b = -4 - -4.3. Let a = -2/917 + 969/23842. Let k = a - 15/52. Put b, k, 2/5 in descending order.
2/5, b, k
Let i be ((-24)/(-16))/((-2)/(-28)). Put -3, -1, i, 4 in ascending order.
-3, -1, 4, i
Let q(k) = k**3 - 10*k**2 + 16*k + 3. Let z be q(8). Sort z, -3, -1 in increasing order.
-3, -1, z
Suppose 4 = d, 3*m - 7*m - 5*d + 4 = 0. Suppose 0 = f + u - 13, 0 = 5*u + 1 + 4. Let w be 4/f + 2/(-7). Sort w, 1, m.
m, w, 1
Let a = 11 - 15. Put 0, -5, a in descending order.
0, a, -5
Let d be (-5 - 42/(-9))*-24*1. Put 2, d, 3, -4 in descending order.
d, 3, 2, -4
Let d(o) = 5*o**3 - o**2. Let p be d(1). Suppose -2*r + 4*r - 2*m = 8, -5*r - p*m = 25. Let b(k) = k. Let s be b(r). Sort s, 0, -4 in decreasing order.
0, s, -4
Let s(x) = x**3 - 2*x + 1. Let l be s(1). Suppose l*v + v - 8 = 2*d, 5*d + 11 = -2*v. Let q = d - -2. Put 5, -3, q in ascending order.
-3, q, 5
Let m(u) = 5*u. Let o be m(1). Suppose -3*t = -o*t - 4*b + 10, -2*t + 4*b + 2 = 0. Put t, 4, -2 in decreasing order.
4, t, -2
Let x be 1/5 + (-6)/(-20). Sort 2/57, -1, x in descending order.
x, 2/57, -1
Let l = 0.1 + 0.9. Let k = 0.065 - 4.065. Sort k, l, -2 in decreasing order.
l, -2, k
Let q(c) = -c**3 + 5*c**2 - 6*c + 6. Let k be q(4). Let w(f) = -f + 5. Let a be w(0). Sort a, 0, k in increasing order.
k, 0, a
Let x = -3 - -1. Sort x, -5, -1 in decreasing order.
-1, x, -5
Let r = -2.9 + 3.3. Sort 33, r, 2/9 in increasing order.
2/9, r, 33
Suppose 0*l + 8 = 4*l. Let g = 0.24 + 0.86. Sort 1/4, l, g in decreasing order.
l, g, 1/4
Suppose 11 = 5*l + 61. Let m = l + 6. Sort m, 2, -2.
m, -2, 2
Let j = 98 + -94. Let r(b) = b**2 - 4*b - 2. Let s be r(3). Sort j, s, 3 in decreasing order.
j, 3, s
Let c be ((-5)/20)/(2/(-16)). Let w(n) = -5*n**2 + n. Let a be w(-1). Let u(z) = z + 2. Let h be u(a). Sort c, -3, h in decreasing order.
c, -3, h
Let r = -11.86 + -0.14. Let g = r - -6. Let k = g + 8. Sort -0.3, k, -5.
-5, -0.3, k
Let q be (5/(-15))/(2/18). Sort q, 2/13, 1/4 in decreasing order.
1/4, 2/13, q
Suppose 2 = 3*o + 11. Put 5, o, -8 in ascending order.
-8, o, 5
Suppose 8 = -2*t - 0. Let g = -7 + 11. Let a = 4 - 4.4. Sort g, t, a in decreasing order.
g, a, t
Let r(k) = -k**3 - 7*k**2 - 2*k - 10. Let g(c) = -2*c + 5. Let i be g(6). Let m be r(i). Suppose -m*v + v = 0. Put v, -0.2, -5 in ascending order.
-5, -0.2, v
Let t = 4 - 3.5. Suppose -3*q - 4 = 2. Sort t, q, 2/9 in descending order.
t, 2/9, q
Let o(b) = -11*b - 6. Let u(i) = i + 1. Let n(y) = o(y) + 6*u(y). Let r be n(-1). Let k = -2 - -6. Sort -2, k, r in decreasing order.
r, k, -2
Suppose 3*k + 5*b + 37 = 0, -8 - 10 = 2*k + 2*b. Sort 2, -5, k.
-5, k, 2
Suppose -3*m + 3*k + k + 1 = 0, -4*m + 10 = -k. Let a be (0 - m) + -2 - -2. Put a, 4, 8 in increasing order.
a, 4, 8
Let x = -1 - -5. Sort x, -5, -2, 2 in ascending order.
-5, -2, 2, x
Let v(j) = j**3 - 4*j**2 - 6*j + 5. Let c be v(5). Put -3, c, -5 in ascending order.
-5, -3, c
Let l = -5.8 - -0.7. Let f = l - -5. Sort 0.2, 2/9, f in descending order.
2/9, 0.2, f
Let o = -2 + 0. Suppose -14 = -f - x - 2*x, 0 = -2*x + 6. Put f, o, -4 in descending order.
f, o, -4
Let b = 17.3 - 18. Let o = -72.5 + 73. Put b, o, 1 in decreasing order.
1, o, b
Let d = 29/2 - 15. Let b = 1/408 + 305/408. Put b, d, -0.3 in increasing order.
d, -0.3, b
Let s be 15/6*-1*-1. Let w = 0.1 - 4.1. Sort 3/2, w, s.
w, 3/2, s
Let w = 14.9 - 15.2. Sort 2/21, w, 0.8 in descending order.
0.8, 2/21, w
Let v = 2/321 + -967/642. Sort v, 6, -2/7 in decreasing order.
6, -2/7, v
Let r = -66 + 67.95. Let c = 0.05 + r. Sort c, 1.1, -0.1 in descending order.
c, 1.1, -0.1
Let i = -6 - -8. Let k = -8 + 13. Put 3, k, i in descending order.
k, 3, i
Let n(p) = 2*p**2 - 3*p. Let r(f) = f**2 + 5*f - 4. Let s be r(-5). Let u = s - -6. Let v be n(u). Put -4, v, -2 in descending order.
v, -2, -4
Suppose -2*a + 5*b + 7 = -7, 2*a - 2 = -b. Let r(j) = -2*j + 7. Let n be r(5). Let y be n*5*(-2)/(-6). Sort -3, y, a in increasing order.
y, -3, a
Let h = -10 + 13. Suppose -4*l - 32 = 5*u, 7 = -5*l + u + u. Put l, h, -1 in increasing order.
l, -1, h
Let u be (-132)/28 - 2/7. Suppose 2*a + 3*f - 12 = -a, -3*f = -15. Sort u, a, 3.
u, a, 3
Let r(t) = -t + 10. Let q be r(11). Let g be (6/4)/((-6)/12). Sort g, q, 4.
g, q, 4
Let p = 0 + 4. Put 0, p, -2 in ascending order.
-2, 0, p
Let t(w) = 5*w**3 - 4*w**2 + 2. Let i(u) = 4*u**3 - 4*u**2 + 1. Let v(n) = 6*i(n) - 5*t(n). Let x be v(-4). Sort 4, 0, x in increasing order.
x, 0, 4
Let p be (4/3)/((-12)/(-27)). Sort p, -7, 0 in descending order.
p, 0, -7
Suppose 7*j - 2*j = 10. Suppose -j*q - 9 = q. Put -1, q, -2 in ascending order.
q, -2, -1
Let c = 5 - 0. Suppose -3*a - 2*a + 2*z = 0, 0 = 2*a - c*z. Sort -10, -3, a in descending order.
a, -3, -10
Let m = 75 - 71. Let t = -4 - -2. Sort t, 3, m in decreasing order.
m, 3, t
Let h = -3 + 21. Sort 5, 3, h in decreasing order.
h, 5, 3
Let f(d) = 6*d - 10*d**2 - d**3 - 3*d - 3*d - 1. Let n be f(-10). Let g = 2 - 1. Put n, 5, g in ascending order.
n, g, 5
Let r = 60 + -61. Sort -4, 0, -5, r in increasing order.
-5, -4, r, 0
Suppose -3*u + 0*u = -9. Sort 2, 1, u, 0 in decreasing order.
u, 2, 1, 0
Let g = -9.9 + 9. Let d = 0.3 - -0.2. Let k = g + d. Put k, 0, 2/17 in increasing order.
k, 0, 2/17
Suppose 4*w = 3*w + 4*j + 9, 36 = -4*w - 2*j. Let y = -5 - w. Put -5, y, 0 in descending order.
y, 0, -5
Let k(h) = -h**2 + 21*h - 20. Let a be k(20). Sort a, 2/9, -3/7, 5 in decreasing order.
5, 2/9, a, -3/7
Suppose 4*l + 8 + 8 = 2*c, -5*l - c - 6 = 0. Put 4, l, 9 in descending order.
9, 4, l
Let o be (9 - 8)/(4/(-52)). Sort -3, 1, o.
o, -3, 1
Let p be ((-117)/(-30))/((-24)/(-10)) - 2. Let a = -0.1 - -1.1. Put a, 5, p in ascending order.
p, a, 5
Let s = -12 - -9. Sort 4, s, 0.3, -5 in increasing order.
-5, s, 0.3, 4
Let d(q) = 2 + 16*q + 3 - 17*q. Suppose 25 = 4*t + 1. Let r be d(t). Sort 0, r, 2 in ascending order.
r, 0, 2
Let b = 0.5 - 2.5. Let g = -4 - b. Let t = 0.38 + -0.28. Sort g, 4, t.
g, t, 4
Let m = 0.21 + 3.79. Sort -3/2, 0.07, m.
-3/2, 0.07, m
Let o = 31.1 + -31. Put 6, 5, o, 2/5 in descending order.
6, 5, 2/5, o
Let i be (-2)/(3 + (-14)/4). Let j = -18 - -13. Put j, i, 1 in decreasing order.
i, 1, j
Let h = 246/53 + -10982/265. Let s = -37 - h. Sort -0.3, s, 0.2 in descending order.
0.2, s, -0.3
Let c be 3/(-4 + 1)*(-1 - -6). Sort 0, -4, c, 4.
c, -4, 0, 4
Let y(d) be the second derivative of -d**4/4 - d**2/2 + 2*d. Let s be y(1). Let c = -4 - s. Put 1/3, c, 1 in descending order.
1, 1/3, c
Let f = 119 - 181. Sort -4, 3, f.
f, -4, 3
Let k = 0.7 + 0.3. Let t = -4 + k. Put t, -1, 0.3 in descending order.
0.3, -1, t
Let z = 0.7 + -5.7. Let b = 198 - 986/5. Put -1, z, b in decreasing order.
b, -1, z
Suppose q + 5*m + 19 = 0, 3*q - 5*m - 24 = -q. Let u(x) = -x**2 - 5*x + 5. Let j be u(-6). Put j, 3, q in descending order.
3, q, j
Let c = -16.6 - -16.8. Sort c, 2, 0, -0.4 in ascending order.
-0.4, 0, c, 2
Let n = -0.1 + -3.9. Suppose -v = 5*f + 16, 2 = -5*v + f - 0. Let c be (-3)/((-42)/(-4))*v. Put c, 3, n in decreasing order.
3, c, n
Let m(b) = 2*b. Let n be m(1). Suppose 0 = 5*t + 11 + 9. Put t, -5, n in decreasing order.
n, t, -5
Let o(x) = -x**3 - 4*x**2 - x - 2. Let q be o(-4). Let m = -0.00