b be (-1)/5 + (-5)/(-25). Sort b, s, 3 in decreasing order.
3, b, s
Suppose 2 + 8 = 2*d. Let m be (d + (-3 - 0))*1. Let t = 2 + -1. Sort m, t, -3 in descending order.
m, t, -3
Let p be 6 + ((-10)/14 - (-2)/(-7)). Sort -64, p, 0 in decreasing order.
p, 0, -64
Let b be (-2)/(-4) + 9/(-2). Let f(r) = -r - 4. Let n be f(b). Suppose -2 = -n*d - d. Sort 1, d, 0 in decreasing order.
d, 1, 0
Let r = 21 - 18. Sort -8, -4, r.
-8, -4, r
Suppose -3*q = -4*q. Sort q, 0.3, 2/7.
q, 2/7, 0.3
Let q = 6 + -6. Let y(b) = b**3 - b. Let o be y(q). Sort 6, 1, o in ascending order.
o, 1, 6
Suppose -3*o + 18 = 4*l - l, -16 = -5*l + 2*o. Suppose -2*r - 2 + 8 = -2*s, l*s - r + 18 = 0. Put -1/2, s, 0 in decreasing order.
0, -1/2, s
Let p = -0.33 - 1.67. Sort -5, p, 0.1.
-5, p, 0.1
Let v(b) be the first derivative of b**2/2 - b - 2. Let y be v(3). Let w be y + -1 + 3 + 0. Sort -2/5, 2/5, w in ascending order.
-2/5, 2/5, w
Let g be 2/9 - 158/(-18). Let j = g - 6. Put j, -2, 2 in increasing order.
-2, 2, j
Let g(n) = 3*n - 2. Let w be g(1). Let s(d) = d**2 - 7*d - 3. Let t be s(8). Sort -2, t, w in descending order.
t, w, -2
Suppose 4*n + 3*d = 5*d + 16, 2*n - 4 = 3*d. Let z = n + -11. Let j = 3 + z. Sort j, 0.4, 3 in ascending order.
j, 0.4, 3
Suppose 2*s = -3*i + 3*s + 11, s = -4*i + 10. Put i, -1, -4 in descending order.
i, -1, -4
Let m(s) = -2 - 4*s - 2 + 6*s - 3*s. Suppose 3*g = -7 - 5. Let y be m(g). Put -5, 5, y in decreasing order.
5, y, -5
Let o = 293/4 - 74. Let y = 0.2 - 2.2. Let v be (18/(-4))/(6/(-2)). Sort y, v, o in decreasing order.
v, o, y
Let p be 10/4 - (-3)/6. Suppose -a + p*a + 4 = 0. Let h = 7 - 11. Put a, h, 3/7 in ascending order.
h, a, 3/7
Suppose 15 = 9*z - 6*z. Let c be (-2)/10 + 38/(-10). Sort 0, z, c in descending order.
z, 0, c
Let n = -4 - -3. Let f be n*(2 + (-26)/2). Let d = f + -15. Sort 5, 1, d in descending order.
5, 1, d
Suppose 0 = -b + 3*b + 6. Let m be ((-8)/(-5))/((-2)/(-5)). Sort m, b, -4 in descending order.
m, b, -4
Let r be (4 - 48/9) + 92/78. Sort r, -14, -2/3 in increasing order.
-14, -2/3, r
Let w be (7 - 5)*(-2)/22. Let q = -4 - -1. Sort q, 5, w in decreasing order.
5, w, q
Let v(h) = 2*h**2 + 3*h. Let k(d) = 3*d**2 + 3*d + 1. Let s(x) = 3*k(x) - 4*v(x). Let i be s(3). Let l be 33/(-9) - (4/6)/2. Put l, i, 5 in ascending order.
l, i, 5
Let q = -18.5 - -24.47. Let n = q - 6. Let z = n - 0.27. Put -1, z, 0.2 in descending order.
0.2, z, -1
Let d be (-2)/(-1)*(-2)/4. Let k be (-2)/4*0/8. Suppose 5*j + 8 + 7 = k. Put d, 5, j in ascending order.
j, d, 5
Suppose -4*k = 8 - 24. Suppose -5*i = -i. Suppose -3*d - 2*d + 10 = i. Sort 0, d, k in decreasing order.
k, d, 0
Let w be 4 - 1 - (-16 - -18). Sort w, 3, 2, 0 in descending order.
3, 2, w, 0
Let h = -3.3 + 3. Let j = -0.1 - h. Let v = 7 + -10. Sort j, v, -1.
v, -1, j
Let r be (-136)/32 - 6/8. Suppose -3*l + 5*x = -4 + 21, -l + 21 = 5*x. Let q = l - 2. Put q, 0, r in ascending order.
r, q, 0
Suppose r = -3*j + 4, 12 = 2*r + 2*j + 8. Sort r, -3, 4 in increasing order.
-3, r, 4
Let q = -15 + 11. Let w = -7 - q. Put 6, w, 5 in decreasing order.
6, 5, w
Let x(l) = -l**2 + 2*l. Let w be x(3). Let r(p) = -p**3 + 14*p**2 - 11*p - 26. Let s be r(13). Put 2, w, s in descending order.
2, s, w
Let v = 0.8 + -2. Let n = 0.2 + v. Suppose 0 = -3*s + 5 - 17. Put s, 2/3, n in ascending order.
s, n, 2/3
Suppose 11 = 2*a - 3*b, -5*a + 8*b + 25 = 3*b. Put -20, a, 2 in increasing order.
-20, 2, a
Suppose 3*f + 47 + 43 = 0. Suppose -4*p + 11 = 43. Let b be f/p*(-2)/5. Sort 0.4, 0.1, b.
b, 0.1, 0.4
Let h(c) be the third derivative of -c**6/120 + c**5/20 + c**4/6 + 2*c**3/3 - 4*c**2. Let u be h(4). Let i be (u/(-4))/(1/3). Put 0.1, i, 4 in ascending order.
i, 0.1, 4
Let q = 10 - 17. Let j = 2 + q. Put j, -2, -1/3 in ascending order.
j, -2, -1/3
Let o = -0.5 - -2.5. Let i = o - 9. Let b = i + 5. Put -5, 1/2, b in decreasing order.
1/2, b, -5
Let o = -13 + 13. Suppose 4 = -2*z - o*z. Sort 4, z, -1.
z, -1, 4
Suppose o - 2*m = 3*o, -2*o - 30 = -4*m. Let h(r) = -r**3 - 6*r**2 + 8*r + 9. Let g be h(-7). Suppose 5*i - 3*i - g = 0. Put -3, i, o in ascending order.
o, -3, i
Let c = -4 - -2. Let t be (-2 - 1)*(3 + c). Suppose -5*a + g + 17 = 0, 3*g = 5*g - 6. Put t, a, 1 in ascending order.
t, 1, a
Let j be 273/84 + 6/8. Let p(o) = o**2 - 3*o. Let q(k) = -k - 4. Let g be q(-7). Let a be p(g). Sort a, 1, j.
a, 1, j
Let d = 7 + -11. Let h = -7 - -20. Suppose 7 + 3 = -4*u - 2*f, 5*f = -4*u - h. Sort d, u, -5.
-5, d, u
Let r = 1 - 3. Let n be 4*(-3 - r) + -1. Suppose -2*z + 2 - 26 = -4*s, 0 = -z - 4. Put s, n, 5 in descending order.
5, s, n
Let s = 12 + -7. Let j be 0/3 - (3 + -8 + -2). Sort s, j, 0.1 in ascending order.
0.1, s, j
Let r be 20/(-6)*(-48)/10. Suppose -k - 3*k = r. Suppose -15 = -h - 2*h. Put k, 3, h in descending order.
h, 3, k
Let m(j) be the second derivative of j**4/12 + 4*j**3/3 - 3*j**2 + 2*j. Let n be m(-9). Sort 4, n, 0.
0, n, 4
Suppose 4*j = 7*j + 24. Put j, -2, 2 in decreasing order.
2, -2, j
Let a(k) = -k**3 - k**2 + 4*k + 3. Let n be a(-3). Suppose -n = -4*i + 7. Sort i, -2, -5 in ascending order.
-5, -2, i
Let k = -23 + 163/7. Let s = 90.1 + -83. Let c = -7 + s. Put 5, k, c in increasing order.
c, k, 5
Let m be ((-4)/6)/(2/(-3)). Let s = 5 + -9. Suppose -5 - 4 = -3*l. Sort m, l, s in decreasing order.
l, m, s
Let q be 3/15 - (-3)/(-18 - -3). Sort q, 3/7, 3, 0.3 in decreasing order.
3, 3/7, 0.3, q
Let w = 116 - 117. Sort 5, w, -1/8, 0.
w, -1/8, 0, 5
Suppose 0 = -11*j + 12*j. Sort 1, -1, j in increasing order.
-1, j, 1
Let z = 0.5 - 8.5. Let s = z + 7.8. Sort -1/11, s, 0.4 in decreasing order.
0.4, -1/11, s
Let t be (-6 + 0)/(-3) + 4. Let r be t/(-44)*12/(-9). Put 0, r, -1/6 in descending order.
r, 0, -1/6
Let z be 0/(-7) + 4 + 0. Suppose w + 5*l = -17, 3*w - 3*l = 11 + 10. Put -4, w, z in descending order.
z, w, -4
Let w be 50/60*9/20. Let l = 1/8 + w. Put -0.3, 1, l in descending order.
1, l, -0.3
Let y = 0.2 - 0.1. Let r = 0.04 - 0.24. Put r, y, -3/4 in ascending order.
-3/4, r, y
Let f = 7.06 + -7. Let z = f - -0.24. Sort 0, -0.5, z.
-0.5, 0, z
Let k(z) = -z**3 - 3*z**3 + 0*z**3 - 2 + 3*z**3 + 14*z**2. Let l be k(14). Put 2, -4, l in descending order.
2, l, -4
Let b = -0.35 - 4.65. Sort b, 3, 0.5.
b, 0.5, 3
Let i = -3 - -6. Suppose 9 + 6 = i*w. Let s(r) = -r**3 - 4*r**2 - 3*r. Let n be s(-3). Sort -1, w, n.
-1, n, w
Let t be (14/4)/((-6)/12). Put 3, t, 1 in decreasing order.
3, 1, t
Suppose 2*p - 6 = 4*s, 3*p + 3*s - 19 = -1. Let u = 19 - 30. Let y = 12 + u. Put y, p, -2 in ascending order.
-2, y, p
Let j = 0.1 - 1.1. Let n be ((-1)/(-3))/((-12)/(-8)). Put j, -0.1, n in increasing order.
j, -0.1, n
Let d = 1.2 + 1.8. Sort 4, d, 1/3 in ascending order.
1/3, d, 4
Let k = 4 - 6. Sort 4, -3, k in ascending order.
-3, k, 4
Let n = -237/35 + 46/7. Put -5, n, 3/7 in descending order.
3/7, n, -5
Let z = -3 - -3. Let c = 433/3 + -146. Sort c, 4, z in ascending order.
c, z, 4
Let s(q) = -q**3 - q - 3. Let o be s(0). Let w(z) = 9*z - 74. Let h be w(8). Sort o, -5, h.
-5, o, h
Let c be -1 - (-1)/(14/10). Put 1, -2, 2, c in ascending order.
-2, c, 1, 2
Let k = 5 + -10. Sort -4, k, 4 in descending order.
4, -4, k
Let l be (0 - 2/3)*3. Let h be ((-1)/5)/(14/(-70)). Put l, 3, h in descending order.
3, h, l
Let p = -1 - 1. Let h = -56 + 166/3. Put p, -5/3, h in increasing order.
p, -5/3, h
Let q = -0.23 + -0.07. Let u = 2.77 + -2.27. Sort u, q, 3/4.
q, u, 3/4
Let c = -1516/11145 - -2/743. Suppose 4*b + 41 = 53. Sort -2, b, c in increasing order.
-2, c, b
Let o be (4 - 2) + -4 - 0. Sort 2, o, 3.
o, 2, 3
Let z(k) be the third derivative of -k**6/120 + k**5/60 - k**4/24 + k**3/6 + k**2. Let i be z(0). Let p be i + 1 - (9 + -2). Sort -2, p, 5.
p, -2, 5
Suppose 4*w + 26 = -2*h, -4*h - 2*w = -0*h + 22. Let p be h*1 - (0 - 2). Let b = -2 - p. Put 1, b, 2 in increasing order.
b, 1, 2
Suppose -3*f = -q - 12, -f + 2*f = 2*q + 9. Let p = 3 + 5. Suppose p*h = 6*h - 6. Sort -5, h, f.
-5, h, f
Suppose -4*t + 3*t - 2 = 0. Suppose -g = -u + 2, 0*g = 4*u + 4*g - 32. Let j = t + u. Sort j, -2, -1 in ascending order.
-2, -1, j
Suppose 0 = -l + 3*u + 13 + 2, 25 = 3*l - 4*u. Suppose -6 = -l*p + p. Put -2/5, -2/9, p in increasing order.
-2/5, -2/9, p
Let w be 4/22 - 25/440. Let a = 6 - 4. Let v = 8 - a. Put w, 5, v in decr