Let l = -13 + k. Let u = -0.13 + -4.87. Sort -0.1, u, l in decreasing order.
-0.1, l, u
Let b = 0 - 0. Suppose b = 5*h - 6 + 1. Let l be -1 - (2*(2 - 3) - -2). Put 2, l, h in decreasing order.
2, h, l
Let c(v) be the third derivative of v**6/120 - v**5/20 - v**4/6 - v**3/3 + 4*v**2. Let r be c(4). Let h be ((-1)/r)/(9/6). Put h, 4, -1 in descending order.
4, h, -1
Suppose -3*h + 5*h = 8. Suppose 3*j = h*j. Suppose 7*b - 2*b = 20. Put j, b, -3 in increasing order.
-3, j, b
Let z(v) = -v + 10. Let j be z(6). Put 5, -16, j, -2 in increasing order.
-16, -2, j, 5
Suppose 3*b - 2*s - 9 = 0, -3 = -4*b + 3*s + 9. Put b, -20, -2 in descending order.
b, -2, -20
Let z be (12/36)/((-1)/(-3)). Suppose 3*y + 0*o - 11 = 4*o, 2*o = -4*y - 22. Sort z, 3, y in ascending order.
y, z, 3
Let r = 69/28 + -12/7. Let a = 0.152 + 8.148. Let k = a - 8. Sort r, k, -3/5 in descending order.
r, k, -3/5
Let l(w) = -8*w**2. Let u be l(-1). Let i(o) = o**2 + 9*o + 10. Let z be i(u). Let c = z + -1. Sort c, 0, 2 in ascending order.
0, c, 2
Suppose -3*s = 5*f - 5, -5*s + 2*f + 22 = -7. Put 0.5, s, -0.7 in decreasing order.
s, 0.5, -0.7
Suppose -11*p = -8*p + 6. Sort p, -5, 5, 2 in descending order.
5, 2, p, -5
Let x = 0.03 + -8.53. Let c = -5 - x. Let u = c - 4. Sort u, 5, -4/5 in decreasing order.
5, u, -4/5
Let f be (24/(-6))/(-2 + 1). Sort f, 2, -5, 1 in ascending order.
-5, 1, 2, f
Suppose 2*v + 4 + 11 = 5*u, -4*v - 3*u - 17 = 0. Suppose -4*b = -b. Let r = 3 - b. Put r, v, -3 in descending order.
r, -3, v
Let i = -180 - -898/5. Sort 2, -2/3, -0.1, i in increasing order.
-2/3, i, -0.1, 2
Suppose -2*o = -3*o. Let d be 99/(-21) + (-2)/7. Let t = -3 - d. Put t, o, 5 in decreasing order.
5, t, o
Let n = 3.5 - 3.1. Let a(z) = z - 3. Let d be a(-7). Sort n, 0, d in descending order.
n, 0, d
Let c = -6 + 11. Let j = -3 + 9. Let m be j/(-10) - (-44)/(-10). Sort c, -2, m in descending order.
c, -2, m
Suppose -15 = 5*n, -8 = -k + 2*n + n. Sort -2, k, -3, -5 in increasing order.
-5, -3, -2, k
Let o(g) = g**3 - 3*g**2 - 4*g + 6. Let q be o(4). Let j be ((-2)/6)/(1/q). Let v be ((-6)/(-30))/(j/(-5)). Put -0.4, v, 0.2 in increasing order.
-0.4, 0.2, v
Let i = -16 + 20. Sort -4, -7, i in decreasing order.
i, -4, -7
Suppose -4*q = -5 + 9. Let n = -1 + -3. Put q, n, -2 in descending order.
q, -2, n
Let z be 2/6 - (-22)/6. Suppose 5*n + 8 = -3*b + z*b, -n = -2*b + 7. Put -4, 5, b in decreasing order.
5, b, -4
Let b = 16 - 25. Let y(f) = f + 11. Let i be y(b). Put i, 5, -2 in decreasing order.
5, i, -2
Let w = -1.7 - -2.6. Let v = 0.1 + -0.2. Let g = w - v. Put -5, g, 0.1 in ascending order.
-5, 0.1, g
Let r = -8 - -10. Put r, 4, 1 in descending order.
4, r, 1
Let y(v) = v**2 - 12*v - 10. Let s be y(13). Suppose -2*r - 11 = 2*r + 5*g, -1 = -g. Sort 4, s, r in increasing order.
r, s, 4
Let p be (-2)/(-1 - 3/(-2)). Let l = 5 + 25. Suppose -2*a + 5*u = -35 - 0, -a + l = -5*u. Put a, -2, p in ascending order.
p, -2, a
Let x = 5 + -7. Let y = -74 + 79. Sort 0.5, x, y in decreasing order.
y, 0.5, x
Let b be 2/(-3)*6/(-4). Let y(c) = c**2 + 3*c + 3. Let o be y(-3). Sort b, -2, o in ascending order.
-2, b, o
Let d = 17 - 17. Put -2/3, d, -1/8 in ascending order.
-2/3, -1/8, d
Let t(p) = p**2 + 25*p - 111. Let l be t(-29). Let z = -1 + 2. Put z, l, 2 in decreasing order.
l, 2, z
Let i be (-9 - 15)*6/8. Let t = -13 - i. Suppose -5*n = -r + 2, -r - 1 = 2*n + 4. Put t, n, -3 in ascending order.
-3, n, t
Let h(w) = w**3 + 4*w**2 + w + 2. Let i be h(-3). Suppose 0 = 5*q - 3*p - 88, -4*q - 5*p + 100 = -0*q. Suppose 4*s = i*s - q. Sort 4, -2, s in increasing order.
-2, 4, s
Let r(b) = -b**2 + 3*b + 2. Let z be r(4). Put z, 1, -1 in ascending order.
z, -1, 1
Let o = 7 - 11. Let b = 17/4 + o. Sort b, -5, 1 in decreasing order.
1, b, -5
Suppose 5*y = 4*l + 2, -y - 7 = y + l. Sort 3, -10, y in decreasing order.
3, y, -10
Let t be (-12)/(-18) + 7/(-9). Sort 2/17, 2, t in increasing order.
t, 2/17, 2
Let x = 1.35 + -1.4. Sort -0.1, -1/2, x in descending order.
x, -0.1, -1/2
Suppose t + 6*i = 3*i + 36, -127 = -4*t + 5*i. Suppose 5*u = 4*g - t, 0 = -5*g - u + 2*u + 15. Sort g, 4, 0.
0, g, 4
Let b = 2 - 2.2. Let c = 1.2 + -1.5. Put c, b, -4 in decreasing order.
b, c, -4
Let z(d) = d**2 + 11*d + 9. Let r be z(-10). Let o = -4 + r. Suppose 5*k + 1 = n, 0*k - 5*k + 7 = -3*n. Sort 1, o, n in descending order.
1, n, o
Let f = 36 - 37. Put f, 0.6, -2 in decreasing order.
0.6, f, -2
Let w be (-2)/8 - (-54)/120. Put w, -0.4, 1/18 in ascending order.
-0.4, 1/18, w
Let j = -61 - -61.5. Put 23, 1, j in increasing order.
j, 1, 23
Suppose 7*m + 6 = -64. Sort 4, -4, m, 2 in ascending order.
m, -4, 2, 4
Let o be 1 + 1 - (-365)/(-10). Let i = o - -36. Put 2, i, -2 in descending order.
2, i, -2
Suppose -2*k + 0 = 5*p - 2, 0 = -4*p + 2*k + 16. Let v be (-22)/33 + 13/(-3). Let a = v + p. Put -5, a, -1 in increasing order.
-5, a, -1
Let h(y) = -y**2 + 6. Let f be h(-3). Let x(g) = 3*g - 1. Let w(r) = 3*r - 2. Let a(v) = 2*w(v) - 3*x(v). Let i be a(-1). Sort f, 1, i.
f, 1, i
Let h = 5.619 - -0.081. Let i = 0.7 - h. Let k = -60 + 62. Put i, k, -4 in decreasing order.
k, -4, i
Let c = 255 - 254. Suppose -13 = 3*l - 3*d + 5*d, -5*l - d = 24. Put -2, c, l in increasing order.
l, -2, c
Let h = 19.5 + -20. Let p = 0.4 + 0.3. Let r = p + h. Sort r, 3/5, 5.
r, 3/5, 5
Let g be (-70)/147 + 1/3. Sort 2/9, 1, g in decreasing order.
1, 2/9, g
Let r(h) = h + 5. Let k be r(0). Sort 2, k, -5, 3 in descending order.
k, 3, 2, -5
Let d be (3 - 6)*(-20)/15. Sort d, 2, -1 in ascending order.
-1, 2, d
Let c = -1.1 + 0.7. Sort 4, c, 0.
c, 0, 4
Let o be (0 - -1)*-1*7. Let y = o - -1. Let i be (3/18)/(2/y). Put -1, -4, i in ascending order.
-4, -1, i
Let v(u) = u**3 + 5*u**2 + 6*u + 8. Let q be v(-4). Put -1, -5, 3, q in descending order.
3, q, -1, -5
Let l be (2/8*-1)/((-1)/10). Sort -0.5, -4, -0.4, l in ascending order.
-4, -0.5, -0.4, l
Let v be -1 - (10/(-6) - 10/(-30)). Put -2/11, -1, v, 0 in decreasing order.
v, 0, -2/11, -1
Suppose -3*q + i = -34, q - 5*i + 0*i - 2 = 0. Put 3, q, 2 in decreasing order.
q, 3, 2
Let t be 10/8*4/(-40). Put -2/9, -2, t in descending order.
t, -2/9, -2
Let d be ((-48)/(-42))/4 - (-36)/(-77). Suppose -4*u + 3 = -1, -6 = v - u. Put v, 3, d in decreasing order.
3, d, v
Let q = 4.9 + 5.1. Let h be (2/(-35))/(3/(-15)). Put -4, q, h in decreasing order.
q, h, -4
Let g = -6 - -9. Let l be -10*3/(-18)*g. Sort l, 2/9, 3 in increasing order.
2/9, 3, l
Let z be 16/(-30)*(-81)/(-180). Let y = z - 32/75. Put y, -5, 3 in increasing order.
-5, y, 3
Let i = 7.8 + -7.5. Put 0.2, i, 1 in increasing order.
0.2, i, 1
Let y = 7 + -12. Let z = 9 + -14. Let x = -6 - z. Sort -4, x, y.
y, -4, x
Let k(z) = -z**2 + 7*z + 5. Let s(r) = -r**3 + 0*r**3 - 5*r + 7 + 2*r**2 + 4*r**2 + 0*r. Let p be s(5). Let t be k(p). Sort 0, t, -2 in decreasing order.
t, 0, -2
Let w = -2.7 + 21.7. Let y = w + -19.5. Let r be 39/(-21) + (0 - -2). Sort y, -0.2, r in decreasing order.
r, -0.2, y
Suppose 6 - 3 = -3*r. Let c = -3 + 8. Suppose -3*o = 2 - c. Sort o, -4, r in decreasing order.
o, r, -4
Suppose -2*z + 14 = 2*i + 3*z, 0 = i + 5*z - 12. Sort -5, 3, i in descending order.
3, i, -5
Let w(y) = -y. Let d be 4/(-6) - 14/(-3). Let q be w(d). Let b = -151 + 151. Sort q, -2, b in descending order.
b, -2, q
Suppose 0 = -4*q + 3*q + 15. Suppose 5*y - 7 = 3. Let j be (-12)/q + y/(-10). Put -5/4, j, -3/7 in decreasing order.
-3/7, j, -5/4
Let y = 1.3 - 1. Let a = -27.6 - -28. Put -1/11, y, a in increasing order.
-1/11, y, a
Let d(b) = b**3 + 2*b**2 - 2. Let a be d(1). Put -3, -5, -4, a in decreasing order.
a, -3, -4, -5
Let i(q) = -2*q**3 + 3*q**2 - 2*q + 15. Let l(v) = v**3 - 2*v**2 + v - 7. Let b(k) = 3*i(k) + 7*l(k). Let n be b(5). Put 6, n, -5 in decreasing order.
6, n, -5
Let n be (-4)/(-6)*-3*1. Let i(l) = l**3 + 12*l**2 + l + 14. Let m be i(-12). Sort n, m, -4.
-4, n, m
Let b be (-9)/(-2) - 2 - 3. Sort -2/3, b, 0.03 in descending order.
0.03, b, -2/3
Let d be (-30)/35 + 1 + (-12)/133. Put -3/2, d, 0.3 in decreasing order.
0.3, d, -3/2
Let s = -17/30 + -7/30. Let m = -5.062 + -0.038. Let z = -0.1 - m. Put 4, s, z in decreasing order.
z, 4, s
Let h = 0.1 + -1.1. Let s = 4 - h. Sort s, 0, -1/3 in decreasing order.
s, 0, -1/3
Let c = 2.5 - 3. Let u = 259.2 + -259. Put u, 