e ((-48)/(-40))/(3/5). Let c(r) be the first derivative of r**2/2 + 2*r + 1. Let f be c(-6). Sort p, f, -2.
f, -2, p
Suppose -4 = -5*x + 1. Sort x, 5, -4 in decreasing order.
5, x, -4
Let j be (1 - 0)*(-1 - -1). Suppose -9 = -3*x + 6. Suppose -x*r + z - 6 - 12 = 0, 12 = 4*z. Put 3, j, r in decreasing order.
3, j, r
Let n(z) = 3*z**3 - 18*z**2 + 1. Let u be n(6). Sort 2, u, -4 in ascending order.
-4, u, 2
Let t = 4 - 3. Suppose -2*o = -3 - t. Sort 3, 0, o in ascending order.
0, o, 3
Let i = 0 + 0.2. Let r = -8.57 - -7.6. Let b = -0.03 + r. Sort i, b, 2 in increasing order.
b, i, 2
Let n = -0.5 - -0.7. Let t = -0.3 - n. Sort t, -4, 3 in increasing order.
-4, t, 3
Let g = 5 - 5.1. Let c be ((-2)/(-10))/(8/(-10)). Let p = 820/5499 + 2/423. Sort p, g, c in descending order.
p, g, c
Let t(v) = -7*v - 5. Let y(q) = -10*q - 8. Let b(c) = 7*t(c) - 5*y(c). Let h be b(-8). Let s(x) = -x + 2. Let a be s(-2). Put -2, h, a in descending order.
a, -2, h
Let v be (6/(-9))/(6/36*-2). Suppose j - 17 = -0*f - 4*f, -5*j + 25 = 0. Let p = 8 - f. Sort -5, v, p in increasing order.
-5, v, p
Let q be 4*(-3)/(0 - -3). Let m(v) = -v**3 - 6*v**2 - 6*v - 1. Let w be m(-5). Sort w, q, 5.
q, w, 5
Suppose w = -3*l - 41, l + 0*l + w = -17. Let j be (-1)/(-10)*(-48)/l. Let z = 0 - -0.1. Sort j, z, -0.3 in decreasing order.
j, z, -0.3
Let u = 20 + -1. Let b = u - 18.8. Put 4, b, -5 in decreasing order.
4, b, -5
Let p = -4 + 4.2. Put 1, p, -3 in decreasing order.
1, p, -3
Suppose -63*m = -58*m - 5. Sort 4, -1, m in descending order.
4, m, -1
Let b be ((-3)/19)/(5 + -2). Sort b, 2/5, -5 in increasing order.
-5, b, 2/5
Let z(x) = -x + 8. Let h be z(0). Let v(o) = -o**2 + 7*o - 3. Let n be v(6). Suppose -n*c + h = c. Sort 0, c, 5 in decreasing order.
5, c, 0
Let c(q) = q - 3. Let r be c(2). Let p(y) = -4*y - 3. Let s be p(-1). Sort s, -5, r in ascending order.
-5, r, s
Suppose 13*h = 18*h. Put 5, h, -3, -1 in descending order.
5, h, -1, -3
Let w(i) = -i + 3. Let u be w(0). Put 0, u, -4 in increasing order.
-4, 0, u
Let n = -33928/39 + 871. Let a = -5/13 + n. Put a, 3, -1/4 in descending order.
3, a, -1/4
Let z = 2 + -5. Let j be 0/(-3 - z - -2). Sort -2, j, 1 in decreasing order.
1, j, -2
Let r = 11 + -6. Suppose 2 = -r*v - z, 6 = -0*v - 5*v - 3*z. Let t be ((-4)/10)/((-2)/20). Sort t, v, -5.
-5, v, t
Let p = -69 - -68. Sort p, -1/6, -0.1, -6 in increasing order.
-6, p, -1/6, -0.1
Let v be (-34)/(-10) + (-12)/4. Sort -1/7, -2/7, v in ascending order.
-2/7, -1/7, v
Let o = 6 + -4. Suppose 2*i - 5*j = -10, -3*j + 5 = -i - j. Let p = 3 + i. Sort p, o, -3 in descending order.
o, p, -3
Let x(h) = -h**2 - 2*h - 5. Let d be x(-5). Let b be (-2)/8 + (-9)/d. Let a = -97 - -96. Sort b, a, -1/3 in decreasing order.
b, -1/3, a
Let o be (-12)/(-54) - (-176)/18. Suppose -34 = -6*z - o. Sort z, 5, 0 in decreasing order.
5, z, 0
Let o = 89 - 1. Let d be (-40)/(-99) - 16/o. Put -3, d, 2 in ascending order.
-3, d, 2
Suppose -2*m + j + 11 = 5, 5*m + 5*j = 0. Suppose -2*v - 10 = 2*n, -4 - 6 = 2*n + 5*v. Let r be n + (-1 - 2) + 3. Put r, m, 1 in decreasing order.
m, 1, r
Suppose -8 = 3*g + v, 0 = 5*g - 2*v + v + 16. Let p = 7 + -7. Suppose p = 8*b - 3*b. Sort b, -1, g in ascending order.
g, -1, b
Let i be (0/(-4))/((-2)/(-1)). Sort 2, i, -4 in decreasing order.
2, i, -4
Let w = -208429 + 2712088/13. Let d = -193 + w. Put -4, d, -0.3 in decreasing order.
d, -0.3, -4
Let x be (-1 - 1)/(3 + -4). Suppose x*o - 4*o - 2 = 0. Sort -3, o, -8 in decreasing order.
o, -3, -8
Let b = 10.01 - 0.01. Let a = -10.2 + b. Put -3/4, a, 0.2 in decreasing order.
0.2, a, -3/4
Let r = -26/3 + 37/6. Sort r, -4, -0.2 in ascending order.
-4, r, -0.2
Let q = 7 + -5. Suppose 0*p - q*p + 6 = 0. Let u = -0.6 - -0.9. Put p, u, -2/13 in descending order.
p, u, -2/13
Let y(a) = a**3 + 8*a**2 - a - 9. Let i be y(-8). Let h = 5 + -3. Sort 3, h, i in descending order.
3, h, i
Let h be 30 - 3/(-2)*-2. Suppose -t - 7*d + 21 = -3*d, 3*t + 3*d = h. Put t, 0, -4 in descending order.
t, 0, -4
Let f be 0/(-3 + (2 - 1)) + -4. Put 3, 8, f in increasing order.
f, 3, 8
Let t = 6 + -1. Suppose 4*j + 12 = j. Let f(x) = -x - 1. Let z be f(j). Sort t, 0, z in increasing order.
0, z, t
Let m(i) = -6*i + 1. Let k be m(1). Sort 1, 0, k in ascending order.
k, 0, 1
Let j = -0.7 - -0.81. Let l = -5.82 + 2.93. Let b = j - l. Sort 2/3, 0.5, b in decreasing order.
b, 2/3, 0.5
Let a = -44.3 + 42. Let s = a - -0.3. Let o = s + 3. Sort o, 4/5, 3 in ascending order.
4/5, o, 3
Let l = -5 - -5. Suppose l*r + 5*r - 15 = 0. Sort 1, r, -1 in ascending order.
-1, 1, r
Let v = 2.95 - -0.05. Let s = v - 2.6. Sort -4, s, 0.
-4, 0, s
Let t = 2/93 + 20/31. Let a be 1/3*(-4)/((-20)/(-5)). Let r = -217 - -1522/7. Put t, r, a in decreasing order.
t, r, a
Let f = 89 + -446/5. Let k = 27/7 + -156/35. Sort k, f, 4.
k, f, 4
Let w = -23 - -26. Put 4, -6, w in decreasing order.
4, w, -6
Let l(j) = j - 1. Let t be l(-1). Let v = 1 + t. Let d be (2/4)/(7/14). Sort v, d, -5.
-5, v, d
Let i = 17 - 33/2. Put -3, 0.4, i, 0 in descending order.
i, 0.4, 0, -3
Let f = -4 + 7. Let h = -115 + 34. Let r = h + 566/7. Sort f, r, 4.
r, f, 4
Suppose 2*v = 2*h + 2, -2*h = h - 9. Let i be ((-1)/(-3))/((-2)/(-18)). Put -7, v, i in increasing order.
-7, i, v
Let z(r) = r**3 + 5*r**2 + 5*r + 2. Let d be z(-4). Sort d, 3, 1.
d, 1, 3
Let v be (12 + -15)/(-1 - 0). Sort 4, v, -2 in decreasing order.
4, v, -2
Let j = 8 - 10. Sort -103, j, -4, 4.
-103, -4, j, 4
Let j = 1 - -2. Let v = -153 + 156.92. Let s = v - -0.08. Put s, -2/17, j in increasing order.
-2/17, j, s
Let t = -88 + 93.68. Let h = -0.08 + t. Let p = h + -6. Put p, 4, -1 in increasing order.
-1, p, 4
Let f(q) = -q**3 + 0 - 4 + 2*q + 7*q**2 - 4*q**2. Let c be f(3). Let l be (c/(-2))/(2/(-4)). Put -2, l, 3 in increasing order.
-2, l, 3
Let t = -2.8 + 2.3. Let i be (-1 + 3)*(-4 + 5). Let z be (-8)/12*(-9)/i. Put z, 4, t in decreasing order.
4, z, t
Let u be 60/(-8)*(-8)/10. Let r be u - (1 - 2/(-1)). Put -2, 4, r in increasing order.
-2, r, 4
Let s = 3.08 - 0.08. Let h be 6/15*1/(-2). Let t = -2.5 - 0.5. Sort s, t, h in ascending order.
t, h, s
Let g = 9.55 - -1.15. Let x = -11 + g. Let z = 38 - 115/3. Sort z, x, 0.2.
z, x, 0.2
Let y = -2.7 + -0.3. Let z = 0.9 + -6.9. Let g = z - y. Sort g, 0.1, -0.4 in descending order.
0.1, -0.4, g
Let b = -18.91 - 0.09. Let x = b + 23. Put 5, x, -1/4 in descending order.
5, x, -1/4
Let o(s) = -3*s - 5. Suppose 0 = 2*v + 5*q + 19, -3*q + 5 = -v - 4*q. Let w be o(v). Sort -5, 4, w.
-5, w, 4
Let g(w) = w - 2. Let n = 20 - 23. Let b be g(n). Put -4, 1, b in increasing order.
b, -4, 1
Let l = -18 + 22. Sort l, 5, -5 in decreasing order.
5, l, -5
Let a be 33/(-15) + 2 + 36/(-20). Sort 2, 0, a, 5.
a, 0, 2, 5
Let t = 0.26 - 0.66. Sort -3/4, t, -0.2.
-3/4, t, -0.2
Let v = 2 - 1. Sort -1, v, 5 in decreasing order.
5, v, -1
Let g(r) = r**3 - 3*r**2 + 5*r - 3. Let u be g(3). Let k be (-9)/11 + u/(-66). Sort k, 0, 1 in decreasing order.
1, 0, k
Suppose -16 - 2 = -6*o. Sort -3, o, 0 in decreasing order.
o, 0, -3
Let p(z) = -3*z - 16. Let j be p(-5). Sort -7, -4, j in ascending order.
-7, -4, j
Let d = 26 + -7. Sort 3, 4, d.
3, 4, d
Let y = -5 + 10. Let t = -2 - -1. Let m = t - -0.8. Put m, y, -2 in decreasing order.
y, m, -2
Suppose 13 = 5*w - 7. Let y = 119 - 123. Put y, 5, w in ascending order.
y, w, 5
Let c = -54.1 + 60. Let z = -1.1 - c. Let d = 3 + z. Put -0.3, 0.2, d in decreasing order.
0.2, -0.3, d
Let l = -67/126 - -7/18. Suppose 5*i - 14 + 44 = -5*g, 9 = i - 4*g. Suppose 3*d = 2*r + 17, 3*d + 2*r + 0 = 13. Sort d, i, l.
i, l, d
Let u(d) = -d - 2. Suppose 4*r + 11 + 13 = 0. Let b = r + 1. Let h be u(b). Sort h, 4, -2 in decreasing order.
4, h, -2
Let h be (-2)/(-3)*30/(-80). Let s = 70 + -489/7. Sort s, h, 2 in ascending order.
h, s, 2
Suppose 5 = u - 0. Suppose -2*d + 8 = -2*s, -2*s + u*d - 16 = 2*s. Suppose -x + 0*x + m - 6 = 0, -4*m = -x - 21. Sort x, s, 0.
s, x, 0
Let r = -9 - 6. Let a = 10 + r. Let y = a - -2. Sort y, 2/7, 2.
y, 2/7, 2
Let g = 7 - 33/5. Sort g, -0.6, -0.2 in descending order.
g, -0.2, -0.6
Suppose -4*s + s + 3 = 0. Let w be ((-2)/32)/(s/(-2)). Let n = 11/14 - 9/7. Sort w, -0.2, n in increasing order.
n, -0.2, w
Let l(h) = -h + 4. Let w be l(15). Put -0.2, w, 3 in increasing order.
w, -0.2, 3
