2 - 8*u - 7. Let o be c(-8). Put -1/4, o, -5 in descending order.
-1/4, -5, o
Let z = 5 - 12. Let d = -2 - z. Let u be (-1)/(d/(-2))*-5. Put 4, u, -3 in decreasing order.
4, u, -3
Suppose -4*o - 2*a = -3*a + 8, 2*o - 5*a - 14 = 0. Put -9, 4, 2, o in decreasing order.
4, 2, o, -9
Let a = 1/45 - 17/90. Put -9, a, 2/9 in decreasing order.
2/9, a, -9
Let z be (-2)/1 - 77/(-35). Suppose -7 = 4*c + 13. Put z, 2/7, c in descending order.
2/7, z, c
Let m(r) = -r - 8. Let a be m(-11). Put 1, 0, 4, a in descending order.
4, a, 1, 0
Let t = 18.83 - 19. Let z = 0.23 - t. Sort -3/5, 2/21, z in ascending order.
-3/5, 2/21, z
Let y be 3 - ((-36)/48 + (-17)/4). Suppose 3*l + 5*x = -4, -4*l - 2 = -l + 4*x. Sort l, 1, y in decreasing order.
y, l, 1
Let b(u) = 4*u**2 - u. Suppose 0*p = 5*p - 5. Let g be b(p). Let c be 1 - ((-1)/1)/1. Put g, -5, c in decreasing order.
g, c, -5
Let b = 2.82 - 3. Let d = -0.12 + b. Sort 0.3, -0.4, d.
-0.4, d, 0.3
Let c(v) = 2*v - 8. Let s(h) = 4*h - 3*h - 3*h + 9. Let m(k) = 4*c(k) + 3*s(k). Let q be m(5). Sort 4, q, -5.
-5, 4, q
Let c be 40/(-30)*6/(-4). Suppose -4 = c*y - 8. Sort 5, y, 3 in descending order.
5, 3, y
Suppose 5*h = 2*q - 12, -29 + 1 = 4*q + 3*h. Let w(i) = -i**2 - 5*i + 6. Let j be w(-6). Suppose 0*k + 3*k = j. Sort k, 1, q.
q, k, 1
Let k = 0.019 + 0.481. Sort k, -2/5, -1, -2/15 in increasing order.
-1, -2/5, -2/15, k
Suppose -10*r = -6*r - 4. Sort 1/4, 2/15, r in descending order.
r, 1/4, 2/15
Suppose -4 = -2*q + 6. Suppose -5*w + 0 = l + 2, l - 7 = 4*w. Suppose 2*k - l = 5*k. Put q, 4, k in descending order.
q, 4, k
Let q(i) = -2*i**2 - 11*i + 5. Let p be q(-4). Sort 5, p, 1 in decreasing order.
p, 5, 1
Let u = -53 + 56. Put u, 2, 1, -2 in ascending order.
-2, 1, 2, u
Suppose 4*p - 4 - 2 = 2*w, -p - w = -6. Let c(r) = r**2 - 19*r + 66. Let u be c(14). Put u, p, -5 in descending order.
p, u, -5
Let z = -6 - 1. Sort z, 1, 0 in ascending order.
z, 0, 1
Let f = -4 - -6. Let b(q) = -q - 17. Let t be b(-13). Put -2, f, t in decreasing order.
f, -2, t
Let d = -0.03 + -2.97. Let l = 2 - 1.6. Put l, 5, d in increasing order.
d, l, 5
Let p = 0.2 - 0.1. Let g = -11.01 - -0.01. Let l = -16 - g. Sort p, l, 0 in descending order.
p, 0, l
Let q = 78 + -82. Put 4, q, -2 in increasing order.
q, -2, 4
Suppose -4*t + 54 = 2*m, 7*m = -4*t + 2*m + 63. Put t, -3, 1 in ascending order.
-3, 1, t
Suppose 2*l = 2*m - 5 + 3, -4*l + 3*m = 7. Sort 0, l, 5, 4 in descending order.
5, 4, 0, l
Suppose -2*u - 3*q + 3 = 0, -2*q + 3*q + 1 = 0. Sort 0, u, -5.
-5, 0, u
Let y = 133/176 + -1/176. Put -3, y, -1 in ascending order.
-3, -1, y
Suppose -4*u - 2*i + 2 - 4 = 0, 5*u - 2*i = -25. Let v = -8 - -3. Sort u, -4, v in increasing order.
v, -4, u
Suppose 0 = 4*t - 11 - 9. Suppose 6*j + 4*d + 14 = 5*j, -2*d - 8 = 0. Let k be 0 - (-2)/(j - 1). Put 3, t, k in increasing order.
k, 3, t
Let y = 1 + 1. Suppose b + i - 1 = 0, -2*b - 2*i - y*i - 4 = 0. Let a be 0/6 + 0 + 1. Put b, a, -4 in increasing order.
-4, a, b
Suppose -16 = -h - 13. Sort -3, -5, h, -1 in ascending order.
-5, -3, -1, h
Let u = 23.3 + -29. Let t = u + 0.7. Let d(s) = -s - 2. Let j be d(-7). Put -3, j, t in increasing order.
t, -3, j
Let n = 30 + -30. Put -4, n, 2 in decreasing order.
2, n, -4
Suppose -7 = 5*g + 4*f + 12, -5*g + 5*f - 10 = 0. Let r be 3 - (2/8 + (-22)/(-8)). Sort 2, g, r in decreasing order.
2, r, g
Suppose -17 = 5*g + b + b, 3*b = 12. Suppose 4*c + 2*a + 14 = 0, 0 = -0*c - 3*c + a - 13. Sort 2, g, c.
g, c, 2
Let j = -1 + 0. Let a = j + 4. Suppose -5*m + 5*t - 5 = 0, m + t = -3 - 0. Put a, m, 4 in decreasing order.
4, a, m
Let n = -1.1 - -6.1. Let u = -3 + 3.01. Let b = u + 0.49. Sort -4/5, n, b in decreasing order.
n, b, -4/5
Let b = 3 - 0. Sort -5, b, -4 in ascending order.
-5, -4, b
Suppose -3*p = p - 28. Let n(f) = 4*f**3 + 8*f - 2*f**3 - f**3 - 8 - p*f**2. Let u be n(6). Sort u, -3, -1 in decreasing order.
u, -1, -3
Suppose -l - 53 + 48 = 0. Let z(n) = -n**3 + 7*n**2 - 6*n + 0*n**3 - 4 + 2. Let m be z(6). Sort l, -4, m.
l, -4, m
Suppose 11 = q + 4*t, -2*t + 14 = -2*q + 2*t. Sort q, 1, -5.
-5, q, 1
Let r be (-22)/4 + 6/(-12). Let b be (9/6)/(3/r). Sort 8, -1, b in decreasing order.
8, -1, b
Let s = 5 + -1. Suppose 0 = 5*d + 2*g - 3*g + 5, 5*g - 25 = 4*d. Let u be 0/s - (1 + d). Sort 0, u, -3 in decreasing order.
0, u, -3
Let l = -0.3 - -2.3. Let q = l - 1. Put 2/7, -1/6, q in decreasing order.
q, 2/7, -1/6
Let n = -16 + 14. Sort -5, -3, n in increasing order.
-5, -3, n
Suppose -5*v = -v + 3*o - 35, -4*v = -2*o - 10. Let j = -59 - -57. Sort -3, v, j in decreasing order.
v, j, -3
Let q be ((-3)/6)/((-2)/12). Suppose -3*h = -5*i - h + 19, -3*h + 3 = q*i. Put 0.4, i, 1 in decreasing order.
i, 1, 0.4
Suppose 8 = 2*n + 4. Let o(x) = -x**3 + 3*x**2 - 4*x + 2. Let c be o(2). Sort c, n, -4 in decreasing order.
n, c, -4
Suppose 0 = 5*f - 1 - 14. Suppose 4*a - 1 = -3*x + 2*a, 0 = -a + 2. Sort 4, x, f in ascending order.
x, f, 4
Let d = 47.9 - 50. Let x = d - -0.1. Let o = 0.06 - 0.26. Put o, x, -1/3 in ascending order.
x, -1/3, o
Suppose 0 = -2*w - 2, 0*w - w = 4*a - 39. Suppose 0*x - 2*x + a = 0. Put -2, 3, x in descending order.
x, 3, -2
Suppose 5*s - 2 - 8 = 0. Suppose 3*l = 2*l + 18. Let d be 27/l*(-2)/3. Sort d, 0, s.
d, 0, s
Suppose j - 9 = -2*j. Suppose 2*t = -j*t - 25. Sort t, 0.4, 3 in descending order.
3, 0.4, t
Let a = -1.1 - -1. Let g = -6.14 + 0.14. Let o = 8 + g. Put o, -4, a in decreasing order.
o, a, -4
Let s = 0.08 - -0.42. Let o = s + 0. Sort o, 5, -1 in decreasing order.
5, o, -1
Let k be (-108)/(-51) - 1 - 1. Put k, 3/8, -3 in increasing order.
-3, k, 3/8
Suppose -2 = 3*b + 16. Let l = b + 3. Let o = 37 - 38. Put 5, o, l in increasing order.
l, o, 5
Let l be ((-1)/(-3))/((-4)/(-36)). Let j(a) = -a**3 + 8*a**2 + 10*a - 12. Let i be j(9). Put -4, l, i in increasing order.
-4, i, l
Let w = 1.959 + 0.041. Sort w, 2/13, 0.5 in increasing order.
2/13, 0.5, w
Let x(j) = -2*j - 9. Let i be x(-7). Suppose 4*r - 5*r - i = 0. Let q be (2/(-14))/(18/21). Sort q, r, -5/2 in increasing order.
r, -5/2, q
Let v = 45 - 86. Let c = 45.4 + v. Let n = -4 + c. Sort 2, n, -1/4 in descending order.
2, n, -1/4
Let z = -5.761 - 0.159. Let k = 6 + z. Let n = k - -0.02. Put n, -4, 1/8 in decreasing order.
1/8, n, -4
Let s = 273 - 274. Let m be (-1 + 2 + -2)*-1. Sort s, m, 2.
s, m, 2
Suppose 0 = 2*g + g. Put 5, -1, g in increasing order.
-1, g, 5
Let y = -0.83 + 0.83. Put y, 1, -2, 7 in descending order.
7, 1, y, -2
Let k(u) be the first derivative of u**4/4 - u**3 + u**2 - 2*u - 2. Let n be k(3). Sort n, -2/5, -2/3 in decreasing order.
n, -2/5, -2/3
Suppose 0 = 3*h + g - 20, h + 35 = 5*g + 15. Sort 4, h, -22 in ascending order.
-22, 4, h
Suppose 1 = -2*x + 3*x. Sort x, 0.2, 5, -0.2 in increasing order.
-0.2, 0.2, x, 5
Suppose -2*l = -o, -5*o + 2*l = -9 + 1. Put 5, 4, o in decreasing order.
5, 4, o
Let x = -0.06 + -9.94. Let f = x - -11. Put f, -3, -5 in descending order.
f, -3, -5
Let z be ((-5)/(-2))/(4/(-8)). Put 1, z, 7 in descending order.
7, 1, z
Let x = 3 + -7. Let o be 5/7 - (-2)/7. Let h = 3 + o. Sort x, 2, h in descending order.
h, 2, x
Let r(h) = h**3 + 6*h**2 - 8*h + 1. Let m be r(-7). Put -6, -2, m in decreasing order.
m, -2, -6
Suppose 2*g = 5*x - g + 29, 3 = g. Sort -5, -2, 20, x.
-5, x, -2, 20
Let c be -1*1 - (-3 - -8). Sort -2, -4, c in decreasing order.
-2, -4, c
Let n(c) = -4*c + 8. Let h be n(3). Sort -2, h, 3 in descending order.
3, -2, h
Let m = 0.2 - -0.1. Sort 5, m, 5/3 in increasing order.
m, 5/3, 5
Let n = -0.25 - -0.05. Sort -0.1, 3/2, n.
n, -0.1, 3/2
Let k be (6/7)/(18/84). Suppose -o + k*l = -10, -4*l - l - 6 = 2*o. Sort -6, o, -4.
-6, -4, o
Let w = 6 + -3. Sort -4, w, -1 in decreasing order.
w, -1, -4
Let b be 1*((-1 - -3) + (-8 - -4)). Sort 1, -5, 4, b in decreasing order.
4, 1, b, -5
Let z(t) = -t**3 - 7*t**2 - 5*t + 7. Let d be z(-6). Let i be d/((-2)/((-12)/(-15))). Let r = -0.2 - 0. Sort i, 0.4, r in decreasing order.
0.4, r, i
Let j = -6/17 + 20/153. Let b be 2/7 + 86/(-56). Put -0.4, j, b in descending order.
j, -0.4, b
Let g = 811.81 - 820. Let i = -0.19 - g. Let k = i - 6. Put 0.3, k, 0.1 in descending order.
k, 0.3, 0.1
Let a(r) = r**2 + 7*r - 6. Let s be a(-8). Let v(i) = -i**2 + 2*i - 2. Let n be v(s). Put 2, n, -1 in ascending order.
n, -1,