). Sort -2/11, w, o in decreasing order.
-2/11, w, o
Let y(v) be the third derivative of -v**6/120 - v**5/20 + v**4/4 + 2*v**3/3 + 3*v**2. Let t be y(-4). Sort -1, -3, t in descending order.
-1, -3, t
Let v = -6.56 - 0.32. Let a = v - 0.12. Let b = a + 7.3. Sort 5, 0.5, b.
b, 0.5, 5
Suppose 5*v + 1 = 2*d, 2*v + v + 3 = 2*d. Sort 4, -5, 1, d.
-5, 1, d, 4
Suppose -2*w + 4 = -m, -4*m - 6 + 2 = -2*w. Suppose 4 = 2*b - m*b. Sort 5, b, -1.
-1, b, 5
Let t(f) = -5*f**2 - 1. Let w be t(1). Sort 3, w, 0.
w, 0, 3
Suppose 3*b + 3 = k, 5*b - 4*k + 18 = 6. Let q = 46 - 46.2. Put q, 5, b in descending order.
5, b, q
Let i = -14.34 - -0.34. Let y = i - -11. Put y, -2, 2 in ascending order.
y, -2, 2
Let m = 21 + -36. Let c be m/(-4) - 1/(-4). Let p be (-6)/(-1 - (-4)/(-4)). Sort 1, c, p in ascending order.
1, p, c
Let q = -54 + 215/4. Let b = -1.8 - 6.2. Let j = b - -5. Put j, q, 1/2 in ascending order.
j, q, 1/2
Suppose 0 = h - 5*h. Let q(n) = -n + 4. Let o be q(5). Let a be (-1)/2 - 18/4. Sort o, h, a in increasing order.
a, o, h
Let m = 5 - 3. Let z = -0.37 + -0.03. Let p = 0.8 + z. Sort m, p, -2/15.
-2/15, p, m
Let g = -4.04 - -0.04. Sort g, 0.5, -12 in descending order.
0.5, g, -12
Let r be 2/(-3) + (-20)/6. Let d(s) = s**2 + 4*s - 7. Suppose -3*h = h + 20. Let f be d(h). Sort f, r, 1.
r, f, 1
Let q = 992 + -997.29. Let t = 0.21 - q. Let l = -6 + t. Sort -5, l, 2 in ascending order.
-5, l, 2
Let k = 20 + -29. Let o = 10 + k. Sort o, 5, -3.
-3, o, 5
Suppose x = -4*s, 0 = 5*x + 3*s - 6*s. Put 11, 2/13, x in decreasing order.
11, 2/13, x
Suppose -c - 4*p + p + 3 = 0, 0 = -5*c - 2*p - 11. Let h be (-2)/3 - (-1)/c. Let g be (-15)/(-9) - 2/(-6). Put -3, g, h in increasing order.
-3, h, g
Let r = 39 - 35. Sort 2/5, -1/9, 0, r in decreasing order.
r, 2/5, 0, -1/9
Suppose 0 = 3*x + 5 - 17. Let n be (16/(-6))/((-4)/(-6)). Put n, x, -1 in ascending order.
n, -1, x
Let m = 51 - 58. Sort 2/11, 1, m, 0 in ascending order.
m, 0, 2/11, 1
Let z = 107 + -94. Put 4, -4, z in decreasing order.
z, 4, -4
Let j = 31 + -34. Sort j, -2, 5, 2 in increasing order.
j, -2, 2, 5
Let q = 5 + -5. Let o = -1.5 + 1.9. Sort q, 1/2, o.
q, o, 1/2
Let d = -9 - -9. Let n = -3 - -2. Put d, 1, n in decreasing order.
1, d, n
Let w = -27 - -41. Let k be 12/(-42) + 4/w. Sort -4, k, 3.
-4, k, 3
Let n = 5 - 4.8. Sort 5, -1, n.
-1, n, 5
Let w = -3.8 + 8.1. Let i = w - 4. Let h = 0.4 - i. Sort 2/5, 3, h in ascending order.
h, 2/5, 3
Let q(a) = 4*a**2 - 11*a + 10. Let k(t) = 5*t**2 - 12*t + 11. Let z(u) = 3*k(u) - 4*q(u). Let x be z(6). Put x, 0.2, -5 in descending order.
x, 0.2, -5
Let b(r) = r**3 - r + 2. Let c be b(-2). Let w(y) = -2*y - 4. Let o be w(-3). Suppose 0*l - 2*l = o. Sort c, l, 0 in descending order.
0, l, c
Let f = -2.951 + -0.049. Put -1/4, f, -0.06 in decreasing order.
-0.06, -1/4, f
Suppose 3*m + 3 = 0, -3*a = -4*m - 1250 - 26. Suppose -4*t = -3*b + 1629 - 379, -b + 5*t = -a. Let j = 6208/15 - b. Put j, -1, 1 in descending order.
1, j, -1
Let r = 1.26 - 0.7. Let t = r - 0.6. Let a = 0.06 - t. Sort 0.2, a, 3 in ascending order.
a, 0.2, 3
Let t(c) = c. Let p be t(-9). Let x be (-1)/(p/6)*18. Let i = -17 + x. Sort 5, 1, i in decreasing order.
5, 1, i
Let x be ((-6)/4)/(1/(-2)). Suppose 0 = x*a - 0*a - 3. Let w = -5/6 + a. Put -0.5, -4/5, w in descending order.
w, -0.5, -4/5
Let h = -2 + -2. Sort -2, h, 2 in increasing order.
h, -2, 2
Let d be 1 + 0 - (-8)/4. Sort 1, d, -3 in descending order.
d, 1, -3
Let h = -0.007 + -0.193. Sort h, 0.2, 5, -4/5 in descending order.
5, 0.2, h, -4/5
Suppose 23 = g + r + 4*r, 0 = 3*r - 12. Let j be 24/(-28)*7*-1. Let b be (-22)/(-4) + (-3)/j. Put b, -2, g in decreasing order.
b, g, -2
Let x = -86 - -86.1. Put -7, -5/2, x in descending order.
x, -5/2, -7
Let q = -12.8 - -12. Let c = 0.9 + q. Sort -2/3, 1/2, c in ascending order.
-2/3, c, 1/2
Suppose 2*i - 1 = j + 2, 0 = 2*i + 3*j - 15. Let n be (0 - 0)*-1 - -7. Suppose -3*m - 9 = -5*k + k, k - n = -4*m. Sort i, 4, m in descending order.
4, i, m
Let a = -0.94 + 0.74. Suppose 2*y - 6 = -2*n + 3*n, -4*y = 2*n - 28. Put 2, a, y in ascending order.
a, 2, y
Let v = -0.47 - 0.03. Let t = -0.7 - v. Sort t, 0.4, 4/5.
t, 0.4, 4/5
Suppose -4*o = -2*j + 2, -6 - 5 = -3*j - 2*o. Let f(l) = -l**3 - 4*l**2 + 7*l + 6. Let h be f(-5). Sort j, h, 1 in descending order.
j, 1, h
Let z = -0.3 - -0.6. Sort 1, z, 4.
z, 1, 4
Suppose 8 + 7 = 5*a. Let q = 0 + 2. Put a, 4, q in ascending order.
q, a, 4
Suppose 2*c = 7*c + 3*h - 26, h - 6 = -c. Suppose q + 0*q + 1 = 0, 4 = -c*o + 4*q. Put 0, -4, o in decreasing order.
0, o, -4
Let l = 74 + -371/5. Sort -2, l, -0.04 in decreasing order.
-0.04, l, -2
Let u = 4 - 5. Let v = u + 1. Suppose 0*h - 5*h = v. Sort h, 2, -1 in decreasing order.
2, h, -1
Let w be 1/(9/6 - 1). Suppose 5*b + k = -18, 0*b = b + w*k + 9. Let t be (-1)/(3/b) + 4. Put t, 4, 3 in descending order.
t, 4, 3
Let p = -494.91 + 491. Let f = 0.09 - p. Let d = f - 7. Put -3/5, d, 1 in decreasing order.
1, -3/5, d
Suppose 0 = 3*c + 2*c. Sort -5, -4, c in ascending order.
-5, -4, c
Let h(r) = -r**2 - 5 + r**2 - r + 4 - 4*r**2. Let q be h(-1). Sort -8, q, 2 in decreasing order.
2, q, -8
Suppose 3*i - 4 - 2 = 0. Suppose -3*o + 45 = -0*o. Suppose 3*g = -2*g - o. Sort i, -4, g in ascending order.
-4, g, i
Suppose 4*v + 0*v = 228. Let b = v - 41. Suppose 0*s - 5*s - 3*w = b, -15 = -5*w. Sort 4, s, -3.
s, -3, 4
Let b(s) = 2*s**2 - 5 - s**2 + 13*s - 9 - 4*s. Let d be b(-10). Sort 3, d, -2 in descending order.
3, -2, d
Let w = 3 - 3. Let g = -0.86 + 0.06. Let k = g - -3.8. Sort -5, k, w.
-5, w, k
Suppose -3*v - 5 = -20. Suppose -3*y = -0*y + 4*d - 24, 0 = 2*y - 5*d + 7. Put v, y, 3 in ascending order.
3, y, v
Let b = 0.42 - 4.12. Let n = 0.7 + b. Sort 0, n, 2/23 in ascending order.
n, 0, 2/23
Let q be 4*(3/2 - 1). Suppose -5*z = -5, -q*o = -5*z - 0*z + 3. Let t(v) = -v - 7. Let u be t(-6). Put u, 5, o in ascending order.
u, o, 5
Let s = 20 + -23. Put -4, 3, s in decreasing order.
3, s, -4
Suppose -12 = y + 4*o - o, 3*y - o = 4. Suppose -5*k - 48 = 2*d - 0*d, -4*d + 2*k - 96 = y. Let f be (-12)/(-8)*(-2)/d. Sort f, -0.5, 3 in decreasing order.
3, f, -0.5
Let n = -2.5 - 0.5. Let l = 0 + -5. Sort n, 2, l in increasing order.
l, n, 2
Suppose 5*l + 16 = 2*y + 45, 0 = -4*l - 2*y + 16. Suppose 0 = 3*v - 3, 2*o - 4*v + 7 = 3*o. Put l, o, -1 in decreasing order.
l, o, -1
Let a = -6 + 5.6. Let m be -2*(7/3 + -2). Put 0, m, a in descending order.
0, a, m
Let s be ((-2)/(-2) - 1) + -9. Let n = -164 - -163. Sort n, 4, s in decreasing order.
4, n, s
Let p be 2/5 - (-32)/20. Let v be ((-3)/p)/((-15)/(-5)). Put v, -1/5, 0 in decreasing order.
0, -1/5, v
Let p = 35 - 51. Let z = -16.3 - p. Sort z, 0, 1/3.
z, 0, 1/3
Suppose 5*c = -20, -4*p + 0*c = 4*c + 24. Put p, -4, 1 in decreasing order.
1, p, -4
Let d = -14 + 14. Put -0.2, d, 3, 1 in ascending order.
-0.2, d, 1, 3
Suppose 4*m + 13 + 7 = 0. Let o = -2 - m. Put o, -3, 1 in descending order.
o, 1, -3
Let k = -47 - 5. Let u be 8/k - 6/(-39). Put u, -2, 0.5 in decreasing order.
0.5, u, -2
Suppose -3*o + 8*o - 15 = y, -2*y = -2*o + 6. Suppose 5*j = -22 - o. Sort -4, 4, j.
j, -4, 4
Let n(u) = u - 4. Let t be n(6). Let i be 4/2*-1 - (5 + -7). Sort -3, t, i in decreasing order.
t, i, -3
Let u be 4/2 - 272/153. Sort -0.5, u, -1 in ascending order.
-1, -0.5, u
Let q = -35 + 34.5. Suppose 5*c = -5*u - 40, -c + 34 = -6*c - 3*u. Put 4, c, q in ascending order.
c, q, 4
Suppose 19*a - 17*a - 6 = 0. Put 1/3, -0.1, a, -0.5 in descending order.
a, 1/3, -0.1, -0.5
Suppose 5*g + 3*b = -5, -5*b - 25 = 5*g - 6*b. Sort 0, -1, g in increasing order.
g, -1, 0
Let i be (-1)/3*21/14. Sort 0.2, i, 11.
i, 0.2, 11
Let u(m) be the first derivative of -m**2/2 - 5*m + 1. Let a be u(-6). Sort 0, a, 4 in increasing order.
0, a, 4
Let y = 129/5 + -26. Let k = 70 - 353/5. Sort 4, y, k in descending order.
4, y, k
Let c = -10 - -14. Suppose -2*j + 4 = 0, -2*g - 5 = -g - 4*j. Suppose g*v + 3 = -12. Sort c, v, 1 in increasing order.
v, 1, c
Let z be (-2)/2 - (0 - 1). Let f(r) = -r**3 - 3*r**2 - 2*r + 4. Let w be f(-3). Suppose -2*d + w - 2 = 0, -2*v + 4*d = 10. Put v, z, -1 in decreasing order.
v, z, -1
Let t = 7.9 + -10.9. Let p = 3.5 - 4. Put t, 1, p in decreasing order.
1, p, t
Let o be 24/8 + 12/(-2). Sort 1, -1, 0, o in descendin