/(-12). Sort t, 4, -3 in descending order.
4, -3, t
Suppose 7*h - 3*h = 0. Let g(f) = -f**2 + 6*f + 7. Let y be g(6). Let d = 3 - y. Put 1, d, h in descending order.
1, h, d
Let d be (-5 + -2)*-5 + -1. Suppose 5*v - 9 + d = -y, -4*y - 16 = -v. Let b(g) = g**3 + 4*g**2 - 1. Let s be b(-4). Sort s, y, 1 in ascending order.
y, s, 1
Let p(y) be the first derivative of -y**3/3 - 7*y**2/2 + 4*y + 3. Let s be p(-7). Sort 5, s, 1 in decreasing order.
5, s, 1
Let l(d) = d**3 + 8*d**2 + 5. Let c be l(-8). Suppose 0 = -c*v - 6 + 26. Sort v, -5, -3 in increasing order.
-5, -3, v
Let q = 124 + -127. Sort q, 4, 1 in increasing order.
q, 1, 4
Let y = 0.9 + -0.5. Let z = -1.6 - y. Let m be (-3)/(-6)*-1*0. Put z, m, 0.2 in decreasing order.
0.2, m, z
Let n be 1*(-4)/(-8)*4. Suppose 0 = n*m + 2*l - 8, -4*l + l = m - 6. Sort m, -7, -3 in ascending order.
-7, -3, m
Let v be (-5 - 0)*4/10. Let x(q) = -q**2 - 2*q - 1. Let l be x(v). Put 5, l, 4 in descending order.
5, 4, l
Let t be (-6 + 3)/(3/4). Sort t, 0, 3 in ascending order.
t, 0, 3
Let m = -0.097 + 5.097. Put -2, m, 0.1 in descending order.
m, 0.1, -2
Let y = -2 - -2. Let d(h) = 2*h**2 - 7*h - 20. Let m be d(5). Sort m, y, 3 in decreasing order.
3, y, m
Let t be 4/(-5) + 2/(-10). Let q be t/((-9)/(-12))*-3. Suppose -3*a = 1 - q. Put 2, 0, a in descending order.
2, a, 0
Let f be (-6)/(-28)*13 - 3. Let l = 2/7 - f. Sort 3/4, -3, l in increasing order.
-3, l, 3/4
Suppose -3*c - 4*z = 22, 0 = c + 3*z + 2*z + 22. Put 4, -1, c, 2 in decreasing order.
4, 2, -1, c
Let h = -6 - -7. Let b = 0.4 - 0.2. Let p = b - 0.1. Put h, -2/9, p in ascending order.
-2/9, p, h
Suppose -4*x = 4*f - 28, 10 = -2*f + 4*f + x. Suppose -5*b + 4 + 26 = -2*r, 2*r = -5*b + 10. Sort 2, r, f in increasing order.
r, 2, f
Suppose -4*k = 2*q - 16, -5*q + 19 = 5*k - 3*q. Suppose k*z = 1 + 5. Suppose 8*j - 4*j = -8. Put z, j, 3 in decreasing order.
3, z, j
Let a = 116 + -114. Let p(o) = -5*o**2 + o + 1. Let i be p(-1). Sort a, i, 4 in descending order.
4, a, i
Let b be (-12)/(-8) - (2 + 14/(-4)). Put -1, 0, b in decreasing order.
b, 0, -1
Let t(l) = l - 6. Let h be t(8). Suppose 2 = k + 1. Let f be (k + 0 - 0)*5. Sort f, h, -5 in decreasing order.
f, h, -5
Let v(k) = -k**3 + k. Let n be v(-1). Let i = 20 - 23. Sort n, -4, i.
-4, i, n
Let v = 4 + -8. Let w = 3.5 + v. Sort 5, 2, w in ascending order.
w, 2, 5
Let z = 53 - 53.08. Sort 1, z, -5, -1/2 in decreasing order.
1, z, -1/2, -5
Suppose -5*o + d + 3*d - 10 = 0, 5*d = -o - 31. Put -3, o, 0, 1 in descending order.
1, 0, -3, o
Suppose -11 + 6 = -5*m. Let x be -2*m/4*-1. Sort 4, x, -5.
-5, x, 4
Suppose -4*r - 10 = 2*k, -2*r + 3*k = 5*k + 4. Let h = 7 + r. Suppose 7*m = h*m + 3. Sort 5, m, -2.
-2, m, 5
Let x be -1*((-30)/9)/(2/(-3)). Let q = -1 - -1. Put x, q, 3 in increasing order.
x, q, 3
Suppose 4*p + 17 + 3 = 0. Sort -7, 2/7, p in ascending order.
-7, p, 2/7
Let o = 206 + -2272/11. Put -1/9, o, 1 in descending order.
1, -1/9, o
Let z = 0.1 + -0.3. Let d = 0.02 + 0.38. Let i = -0.07 - -4.07. Sort z, d, i.
z, d, i
Let z be (-6)/(-1) - 1 - 0. Let p(q) = q**2 - 7*q - 3. Let u be p(7). Put 0, u, z in ascending order.
u, 0, z
Let p = 0.35 - -9.15. Let m = -9 + p. Sort m, -3, -1 in decreasing order.
m, -1, -3
Let h = 1.1 + -1. Let u = 5.1 - h. Put u, -3/4, 0.3 in decreasing order.
u, 0.3, -3/4
Let n(q) be the second derivative of -q**4/12 + 5*q**3/3 - q**2/2 + 3*q. Let a be n(9). Let d = a + -8. Sort d, -3, 3 in ascending order.
-3, d, 3
Let t(k) = -k**2 - 4*k. Let g be t(-4). Let i be g*(2/2 + 0). Sort 2, i, 3 in increasing order.
i, 2, 3
Let h = 1.5 - -1.5. Sort 1, 4, h.
1, h, 4
Let p be ((-18)/(-24))/(6/16). Put p, 5, -4 in decreasing order.
5, p, -4
Suppose 5 = -3*i + 4*v, 0 = -i + 5*v - 3 - 6. Let c(k) = 2*k + 1. Let p be c(i). Sort -2, 4, p in decreasing order.
4, p, -2
Suppose 5*l = 3*k + 40, 0 = -3*k + 4*k + l. Put k, -4, 5 in descending order.
5, -4, k
Let z = -65/2 + 141/4. Let i = -13/4 + z. Sort -0.1, i, 0.
i, -0.1, 0
Suppose 3*z + 9 = 3. Let a be (-1 - (-1 - -3))*-2. Put 0, z, a in increasing order.
z, 0, a
Let q = 0.31 - 12.31. Let b = 12 + q. Sort 0.05, b, 2/7 in ascending order.
b, 0.05, 2/7
Suppose 5*v + 10 = 4*m + 32, m + 2*v = 1. Let c(q) be the third derivative of -q**6/120 - q**5/30 + q**4/8 - q**3/6 + 4*q**2. Let r be c(m). Sort 4, 2, r.
r, 2, 4
Let c = -2.6 + 0.6. Let l = 0.43 - 3.43. Sort -1, c, l.
l, c, -1
Let n = -0.3 + -0.7. Let v = -17.5 - -18. Let j = n + v. Sort j, 2, 1 in ascending order.
j, 1, 2
Let a = -13 - -13. Put -2, -6, a in ascending order.
-6, -2, a
Let n be -1 - (1 + (2 - 4)). Let g(w) = -2*w - 13. Let h be g(-7). Suppose n = 3*v - k + h, 3*k - 1 - 2 = v. Sort v, -1, 6 in decreasing order.
6, v, -1
Let o = -65 + 69. Put 0, -1, -2, o in descending order.
o, 0, -1, -2
Let x be -2 + 0 + 0 + 1. Let b(h) = -6*h. Let c be b(x). Suppose 2*t + c = -5*z - 9, 5*t + 25 = 0. Put z, 3, 4 in increasing order.
z, 3, 4
Let b be 1 + ((-4)/(-12) - 13/3). Sort 2, b, -12 in descending order.
2, b, -12
Let i = 0.288 + 0.012. Sort i, -2/15, 2 in ascending order.
-2/15, i, 2
Let q = -0.08 + -2.92. Let g = 29 + -26.2. Let o = g + q. Put -5, o, -1/2 in descending order.
o, -1/2, -5
Let f(v) = v**2 + 24*v - 55. Let b be f(-26). Sort 7, b, 1 in increasing order.
b, 1, 7
Let r be (-1)/(-3) - (-4 - -4). Let o = 0.122 + -0.322. Sort 0.3, r, o.
o, 0.3, r
Suppose 18 = 3*q - d - 0*d, -d + 12 = 3*q. Sort q, 1, -3.
-3, 1, q
Suppose 3*b - 7 = o, 4*o - 3 = 3*b - 4. Let c(n) = n**3 - n**2 + n + 5. Let t be c(0). Let i = t - b. Sort -4, i, 1 in ascending order.
-4, 1, i
Suppose 4*k - 8 = -16. Let a be -1 - (-2 + -6 - -2). Let o be (-4)/10 - (-2)/5. Sort a, k, o in ascending order.
k, o, a
Let j be (-3 - -4)/((-4)/16). Put 5, 3, j in descending order.
5, 3, j
Suppose 16 - 1 = -5*u. Put -4, -1, u, 4 in descending order.
4, -1, u, -4
Let w be -4 + 10 + 2 + -4. Put -9, w, 1 in increasing order.
-9, 1, w
Suppose 0 = -2*d + 14 + 16. Let p = 11 - d. Put 3, p, -2/9 in decreasing order.
3, -2/9, p
Let t(f) = f**3 + 4*f**2 - 1. Let h be t(-3). Suppose -p + h = 3*p. Suppose 0 = -0*o - 4*o + p*y - 4, 5*o + y + 19 = 0. Put o, -4, -1 in increasing order.
-4, o, -1
Let c(k) = -k**2 + 7*k - 7. Let q be c(5). Put q, 4, -1 in increasing order.
-1, q, 4
Let h(z) = z**3 + 8*z**2 - 2*z - 12. Let s be h(-8). Sort -1, s, 3 in decreasing order.
s, 3, -1
Let m be (1 - -1)*4/(-4). Sort -0.5, -0.4, m in increasing order.
m, -0.5, -0.4
Let i = 4.9 - 0.9. Let g = -0.22 - 0.08. Let m = -0.1 - g. Sort i, m, -1/3 in descending order.
i, m, -1/3
Let q be 78/4 - (-2)/4. Suppose -8*b + 3*b = q. Let o = -81 + 85. Put o, 5, b in decreasing order.
5, o, b
Let g(a) = -a**2 + 20*a - 16. Let l be g(19). Sort l, 5, -1, 1 in decreasing order.
5, l, 1, -1
Suppose 0*c - 3*m + 45 = 2*c, -4*c = -5*m - 35. Let d = -13 + c. Sort 0, 4, d in descending order.
4, d, 0
Let p(o) = -o**2 + 10*o - 12. Let n = 23 - 14. Let x be p(n). Sort 0, 1, x.
x, 0, 1
Let j = -0.1 + 0.5. Let t = j - 0.3. Let n = 0.3 - t. Sort 0.3, n, 4.
n, 0.3, 4
Let a be (0 + 0)/3 - 5. Let c(l) = -l**2 + 5*l - 5. Let o be c(4). Put 5, a, o in ascending order.
a, o, 5
Let q be (-2)/4 - (-18)/44. Let o(b) = -5*b**2 + 3*b + 5. Let u be o(4). Let x be 1/(-63) + 27/u. Put q, 1, x in increasing order.
x, q, 1
Let g = 141 + -984/7. Suppose -3*v + 12 = 0, 2*d - 1 - 13 = -5*v. Let z = d + 0. Put z, g, -4 in descending order.
g, z, -4
Let l(h) = 2*h**2 + 8 - h**2 - 2*h**2 - 9*h - 3. Let d be l(-9). Sort d, -3, 2 in ascending order.
-3, 2, d
Let k = 1.2 - -0.8. Sort -0.4, k, 0.
-0.4, 0, k
Let x be (-76)/13 - (-16)/(-104) - 2. Sort 1, x, 2, -5.
x, -5, 1, 2
Let p be ((-2)/4)/((-7)/(-14)*-3). Sort 0.3, 6, p in ascending order.
0.3, p, 6
Suppose 4*m - 9 = -m - 4*y, -3*y = 2*m - 5. Suppose -41 = -5*d - 2*a, 4*d - 35 = 4*a + 9. Suppose 4*x + d = x. Sort m, x, -2 in decreasing order.
m, -2, x
Let l = 503/4 - 124. Put 2, 5, l in descending order.
5, 2, l
Suppose 1 = -4*p + 13. Let j = 8 + -3. Let h = 6.3 - 5.8. Put p, h, j in decreasing order.
j, p, h
Let p = -52/5 - -48/5. Sort -4, 3, p, -1/8.
-4, p, -1/8, 3
Let y = 2 - -3. Let n be 3 + -2 - 4*-1. Suppose n + y = 2*w. Sort -1, 2, w in increasing order.
-1, 2, w
Let a = -44 - -44.5. Put -13, a, 3 in descending order.
3, a, -13
Let c be -2 - -6*(-3 - 