 -4*w - 10. Sort w, 5, 0 in descending order.
5, w, 0
Let v = -2 + 2.4. Let r = -18 - -18. Let f = v + r. Put 0, 1, f in decreasing order.
1, f, 0
Let i be (-4)/(-6) - (-10)/30. Sort 8, 0.5, i.
0.5, i, 8
Let k = 3.81 - -0.19. Let v = 0.5 - 1. Let t = -3 - -1. Sort k, t, v.
t, v, k
Let k(v) = -v + 1. Let n be k(3). Let m = 3 - 1. Put n, -4, m in decreasing order.
m, n, -4
Let h = -8.6 + 9. Put h, -5, -0.1 in descending order.
h, -0.1, -5
Suppose -2*r + 70 = 28. Let u be 9*(r/9)/7. Sort 1, u, 0 in increasing order.
0, 1, u
Let g = 0.8 + -1. Let v = g + -3.8. Put 3, v, -0.3 in decreasing order.
3, -0.3, v
Let i be 1 + (-1 - 6) - -1. Let j = -6 - -10. Suppose 4*r - 12 = 2*c + 12, -r - j = 2*c. Put i, 0, c in decreasing order.
0, c, i
Let i be 6/(-10) - (-14)/40. Let s = 3 + 0. Sort s, i, -2 in increasing order.
-2, i, s
Let h = -11 + 8. Let v be (-2)/h - 65/(-15). Put 4, -2, v in decreasing order.
v, 4, -2
Let o(d) = -7 - 2 + 1 + d. Let t be o(8). Suppose 4*j = -20, 0 = -t*b - 4*b - j - 17. Sort -4, 2, b.
-4, b, 2
Let m(d) = d**3 - 5*d**2 - 3. Let c be m(5). Let b(r) be the third derivative of r**5/60 + r**4/24 - r**3/3 - r**2. Let h be b(c). Sort h, -1, 3.
-1, 3, h
Let c = 7 + -7.3. Sort c, 1, -2/3 in increasing order.
-2/3, c, 1
Let b = -0.16 + -1.84. Sort 0.4, b, -2/9 in descending order.
0.4, -2/9, b
Let z(i) = -i - 6. Let s be z(-9). Sort s, -3, -1 in ascending order.
-3, -1, s
Suppose -2*m - 5 - 3 = 0. Sort m, -13, 4 in descending order.
4, m, -13
Let d = -653963187/476 - -1373873. Let r = 1/119 - d. Put 1/3, 5, r in decreasing order.
5, 1/3, r
Let x = 6 - 12. Let y be (1 - 3)*x/4. Let o = 0.5 + -2.5. Put y, o, -5 in ascending order.
-5, o, y
Suppose 3*l + 26 = -5*g, -l + 14 = -g - 3*g. Let h = 2 - -1. Suppose 0*i + h = i. Put 4, i, l in decreasing order.
4, i, l
Let n be (-1)/3 + (-32)/12. Put -1/5, n, 0.2 in decreasing order.
0.2, -1/5, n
Let q = -3.1 - -3. Put q, 0.02, -1/5 in descending order.
0.02, q, -1/5
Let c be 26/6 - (-14)/21. Suppose u = -3, -23 = -0*o + 5*o + u. Sort c, o, 1 in ascending order.
o, 1, c
Let r = 177 - 173. Let m be (-1 - (-1 - -1)) + 1. Sort m, 2, r.
m, 2, r
Let h(a) = 4*a**3 + 9*a**2 + 9*a + 7. Let i(y) = 5*y**3 + 10*y**2 + 10*y + 8. Let b(r) = 4*h(r) - 3*i(r). Let p be b(-5). Sort -5, 2, p in descending order.
2, p, -5
Let n = 3.2 - 3. Let x = 0.1 - n. Let k = -33 - -32.5. Sort -2, x, k in descending order.
x, k, -2
Let h = 104 - 104. Sort 1, 2, h in descending order.
2, 1, h
Let u(o) = -2*o**2 - o - 2. Let s be u(0). Let z be (3 + -1)/(4/(-14)). Let b = z + 12. Sort b, s, 4 in decreasing order.
b, 4, s
Suppose 0 = -4*a - 5*l + 1, -5*a = -10*a - 5*l + 5. Put -5, a, -2 in increasing order.
-5, -2, a
Suppose -6 = -i - i. Let t be 2/2 + (6 - i). Let x = -1.94 - 0.06. Sort x, 1, t.
x, 1, t
Let v = 2 + -7. Let q be (2*3)/(12/8). Put 1, q, v in ascending order.
v, 1, q
Let i be (-2)/4 + (-10)/(-4). Let h(b) = -b**2 - 4*b + 4. Let p be h(-5). Let t(s) = s**2 + 2*s + 1. Let x be t(p). Put x, i, -1 in decreasing order.
i, x, -1
Let t = 30.8 + -31. Put -2, 0.4, t in decreasing order.
0.4, t, -2
Let h = -3 + 8. Put h, -5, 3 in descending order.
h, 3, -5
Suppose 2*v + 7 = b, -4*b - v + 3 - 2 = 0. Suppose 0 = 4*i + q + 17, -i - 3*q - 11 = 3*i. Put 4, i, b in descending order.
4, b, i
Let p = 6 - 9. Let u = 2 + p. Sort 5, u, -3 in decreasing order.
5, u, -3
Let l be (1 - 2 - -3) + 2. Put 2, 3, l in descending order.
l, 3, 2
Let x = 16 + -15. Put -4, -0.5, x in decreasing order.
x, -0.5, -4
Suppose -9 = 3*r, 3*r - 8 = 5*x + 3. Suppose -20 = -2*k - 0*k. Let c be 2*-1*1/k. Put x, c, -0.3 in decreasing order.
c, -0.3, x
Let c be 1/((-14)/(-4) + 0). Let o be (-1 - 0)*(-5 + 1). Let j be 1*(18/(-51))/3. Sort c, o, j in decreasing order.
o, c, j
Let j(k) = 8*k**3 + 5*k**2 - 8*k. Let d(w) = 7*w**3 + 4*w**2 - 7*w. Let t(a) = 7*d(a) - 6*j(a). Let v be t(-1). Put v, 2, -3 in decreasing order.
2, v, -3
Let r(b) = -2*b - 2*b**3 - 2 + 2*b**2 + 3*b**3 + 0. Let y be r(-3). Suppose 9 = 4*k - k. Put y, k, 5 in descending order.
5, k, y
Suppose 5*m - 30 = 3*d - 8*d, 5*d - 6 = 3*m. Suppose m*k = -3*p - 18, k - 3*p - 15 = -5. Let f be (k - 1)*(-1)/3. Sort -3, -5, f in ascending order.
-5, -3, f
Let a be (-712)/330*3/(-12). Let o be (-218)/(-330) - 30/50. Let i = o + a. Sort 0.5, i, 1 in descending order.
1, i, 0.5
Let j = 48 + -47.39. Let v = j - 0.01. Let a = v - 0.4. Put a, -4, -0.1 in descending order.
a, -0.1, -4
Let b be 2*(-21)/36 + 1. Sort b, 0.1, 0.2 in decreasing order.
0.2, 0.1, b
Let k be 7/(-2)*(-4)/7. Sort k, -4, 4 in increasing order.
-4, k, 4
Let w = 184/65 + -42/13. Let k = 199/3 - 67. Sort -1/2, w, k in increasing order.
k, -1/2, w
Let i = 124 - 112. Put i, -5, -0.5, -3 in ascending order.
-5, -3, -0.5, i
Let f be -11 - -5 - (-1)/(1/4). Let m(v) = -v**2 + 3*v + 3. Let z be m(4). Sort 1, f, z.
f, z, 1
Let f(n) = 6*n. Let j be f(0). Sort 1, j, 2, -5.
-5, j, 1, 2
Let f = 0.8 - 1. Let g = 19 - 19.5. Sort 1, f, g in ascending order.
g, f, 1
Let r = 0.08 - 0.01. Let s = r + 3.93. Let x = -10.3 - -10. Sort s, -0.4, x in descending order.
s, x, -0.4
Let y = -0.45 + 0.17. Let q = y + 0.18. Put 5, q, 6 in decreasing order.
6, 5, q
Let d = 2.01 + -0.01. Suppose -6*f = -3*f - 18. Let w = f - 2. Sort -5, w, d in increasing order.
-5, d, w
Let h be 21*1 + 9*44/99. Sort h, 3, 2.
2, 3, h
Let n(f) = f. Let g be n(0). Let q(l) = l**2 - l - 17. Let z be q(5). Put 2, z, g in descending order.
z, 2, g
Let z(v) = v**2 + v. Let a be z(0). Let s be -4*3/(a + -3). Sort s, -2, -5 in increasing order.
-5, -2, s
Suppose 0 = -o - 0 + 4. Suppose y = -r - 1, -o*y - y = 4*r + 2. Let c = 6 + r. Put 1, c, -4 in increasing order.
-4, 1, c
Suppose 5*o = 3*u, 0 = 4*o + u + 3*u + 32. Sort o, 0, 7 in decreasing order.
7, 0, o
Let o = -5.13 + 0.13. Let g = 15 - -2. Let f = g + -17. Sort 3, f, o in ascending order.
o, f, 3
Let q = 6 - 1. Let k = -1 - 2. Let f = q + k. Put -4, f, -0.5 in increasing order.
-4, -0.5, f
Let z(k) = -k**3 - k**2 + 1. Suppose 0*x = -3*x - 3. Let t be z(x). Sort 0, t, -4 in decreasing order.
t, 0, -4
Let g = -0.8 + 0.6. Put -18, 1/2, g in descending order.
1/2, g, -18
Suppose 0 = 3*y + 104 - 116. Sort -2, 2, -5, y in descending order.
y, 2, -2, -5
Suppose 12 = -4*l + 3*d, -4*d = -l + 4*l - 16. Sort -1, 4, l in ascending order.
-1, l, 4
Let a be 4/(-14) + -29*(-4)/14. Put 4, a, -5 in increasing order.
-5, 4, a
Let y = -4 - -3. Suppose -2*k + 4*k - 8 = 0. Suppose 4*f + 16 = -0, 4*c + k = -4*f. Sort c, y, 4 in descending order.
4, c, y
Let b(k) = -6*k + 1. Let v be b(-1). Let a be 15/25 + 6/(-10). Put a, 4, v in ascending order.
a, 4, v
Suppose 2*q - 1 = w, -2 = -5*w - q + 48. Suppose o = 4*o + w. Sort 0, o, 3 in increasing order.
o, 0, 3
Suppose -f - 5*h - 17 + 6 = 0, 0 = -2*f + 2*h + 2. Let p be ((-15)/12)/(f/4). Let s = 25.5 + -26. Sort 3/2, s, p in decreasing order.
p, 3/2, s
Suppose -5*d - 2*t = -0*t + 20, -3*d - 12 = t. Let b(p) = -p. Let y be b(3). Put y, 1, d in increasing order.
d, y, 1
Suppose b + 0 = -3. Suppose v = -4*n + 24 + 1, n = 3*v - 10. Put v, -2, b in ascending order.
b, -2, v
Let m be (-4)/(-18) - 43/(-9). Suppose 0 = m*n - 2*n + 12. Let h be (-1)/((-2)/(-2)) - n. Sort h, 5, 2 in decreasing order.
5, h, 2
Let b(d) be the first derivative of d**3/3 - 5*d**2/2 + 3*d - 3. Let p be b(3). Sort p, 1/2, 2.
p, 1/2, 2
Let n = 54.4 - 54. Let l be 1/(0 + (-2)/(-10)). Let j = -7 + 5. Put l, n, j in decreasing order.
l, n, j
Suppose 16 = 5*b + 6. Suppose -26 = -u - 6. Let z be (u/4 - 3) + -5. Sort b, z, 4.
z, b, 4
Let r = -34 + 40. Sort 2, 1, r in decreasing order.
r, 2, 1
Let b(x) = -x**2 + 8*x - 2. Suppose n = 8 - 1. Let w be b(n). Suppose -w*u + 17 = 3*f, -3*f = -2*u - 14 + 4. Put 3, -2, u in decreasing order.
3, u, -2
Let r = -1.68 + 1.28. Sort -0.3, -0.1, r, -2/15.
r, -0.3, -2/15, -0.1
Let o(h) = 2*h**2 + 21*h + 8. Let i(g) = g**2 + 11*g + 4. Let u(y) = 9*i(y) - 4*o(y). Let w be u(-15). Suppose 5*t + 1 = 4*t. Sort w, 0, t in ascending order.
t, 0, w
Let i = -74.01 + 69. Let w = 5 + i. Let d = w + -0.99. Put d, -2/3, -4 in descending order.
-2/3, d, -4
Let d be ((-16)/(-6) + -3)*(-4)/(-6). Sort 1/4, d, -0.5 in ascending order.
-0.5, d, 1/4
Let b = 0.4 + 0.1. Let t = -8 - -7.7. Let j = 3.06 - 0.06. Sort j, b, t.
t, b, j
Suppose b + 2