Put -2, b, -97 in decreasing order.
b, -2, -97
Suppose -v - 5 = 0, 5*q - 7*v - 5 = -3*v. Sort q, 4, -22 in decreasing order.
4, q, -22
Suppose -30 = -5*c + a, 7*c - 30 = 4*c + 3*a. Let d be -4*4*8/(-220). Let b = -1/55 - d. Put b, c, -4 in increasing order.
-4, b, c
Suppose 0 = -b + 5, 0 = y - 9*b + 12*b - 13. Sort -1/2, y, 0, -2/5 in decreasing order.
0, -2/5, -1/2, y
Let i = -0.3 - -0.7. Let l = -769 + 772. Sort -2, 4, i, l in decreasing order.
4, l, i, -2
Let a be ((-7)/4 - -2)/(3/24). Suppose 0 = a*h + 2 - 4. Sort -5, h, 4, -4 in increasing order.
-5, -4, h, 4
Let i be (4/20)/((-2)/(-15)). Let x = 19 - 6. Suppose 2*g - x = -3*q, g - 4*q + 7 = -3. Sort 1/3, i, g in ascending order.
1/3, i, g
Suppose 0 = -5*a + 2*v + 12, 4*a = 2*v + 2*v. Let f be (2/((-20)/25))/((-2)/a). Put -3, f, 7 in ascending order.
-3, f, 7
Let b = -0.07 - 0.93. Let j = -166 + 163. Sort j, -3/5, b in ascending order.
j, b, -3/5
Let o be 7 + (4 - 10) + -5. Sort 8, o, -5, 2.
-5, o, 2, 8
Let f be ((0 + -1)/((-5)/395))/(-1). Sort 2, f, 1, 3 in descending order.
3, 2, 1, f
Let u = -45 + 110. Let y = 76 - u. Sort -4, y, -5 in decreasing order.
y, -4, -5
Let g be -5*(-504)/90*1/2. Let k(z) = -3*z - 4. Let b be k(-3). Sort b, g, 2 in decreasing order.
g, b, 2
Let m = -309.4 - -284. Let v = 25 + m. Put 2, -1/4, v, 0.4 in decreasing order.
2, 0.4, -1/4, v
Let j(p) = 3*p - 10. Suppose -2*s + 12 = s. Let n be j(s). Sort -5, n, 0, -1.
-5, -1, 0, n
Suppose 4*g = -0*g + 8. Suppose 4 + 40 = -g*q. Let z be -3 + q/18*-3. Sort 0.4, z, 5.
0.4, z, 5
Suppose 10 = -5*w + 30. Let y = -41 - -37. Let b be -1 + 2 + -4 + (-1 - y). Sort 3, b, w in descending order.
w, 3, b
Suppose 0 = 3*n - 40 + 52. Sort -2, n, 6, 0 in decreasing order.
6, 0, -2, n
Let l = -2/1081 + 1085/2162. Put 2, l, 6 in descending order.
6, 2, l
Let j = -4658/3 + 1552. Put j, 117, 1/4 in increasing order.
j, 1/4, 117
Let j be 12/27 - (2 + (-88)/45). Sort -12, j, 0.06 in decreasing order.
j, 0.06, -12
Let x = 0.3 + 4.7. Suppose 0 = -6*d + 18. Let q be d/1*10/(-40). Sort x, q, -5 in descending order.
x, q, -5
Let m be ((12/8 - 3) + 2)*6. Put -1, 4, m, 3/7 in descending order.
4, m, 3/7, -1
Let g be (-7 + (-1 - -2))/(-2). Suppose 1 = 5*n - 3*b + 11, -3*n - 5*b = 6. Put n, -1, g in descending order.
g, -1, n
Let c be ((-68)/51)/(12/(-45)). Let q be (-62)/12 + 4/24. Put c, 2, q in descending order.
c, 2, q
Let c = 722 + -716. Put c, -2/7, 15 in descending order.
15, c, -2/7
Let o be 8/(-6)*(0 + (-12)/(-8)). Let b be (-10)/(-8)*((-8)/o - 0). Put -2, b, -3 in descending order.
b, -2, -3
Let b = -793 + 790. Sort b, 0.06, 4, -0.1.
b, -0.1, 0.06, 4
Let t be (6/15)/((-1)/(-10)). Suppose 4*q = -4*n - 0*q - 4, 2*n + t*q + 10 = 0. Suppose 4*g - 3*o = g + n, o = -5*g + 17. Sort 1, 4, g in decreasing order.
4, g, 1
Let p = 279 + -279.4. Let h = 0.24 - -0.06. Sort -8, h, p in ascending order.
-8, p, h
Let v(b) be the first derivative of b**4/24 - 5*b**3/6 - b**2 + 4. Let l(t) be the second derivative of v(t). Let k be l(5). Put 4, -5, k in ascending order.
-5, k, 4
Let i = 8 - 14. Suppose -4*r + 6*r + 5*y - 12 = 0, -3*r - 20 = -2*y. Let x be r/(-12) + 42/9. Put i, 0, x in increasing order.
i, 0, x
Let g = 0.0406 - 0.0126. Sort 5, g, 0.2, 1 in decreasing order.
5, 1, 0.2, g
Let z be 3 - -10 - 15 - -17. Sort z, 3, 25, -3 in descending order.
25, z, 3, -3
Let k = 1054 - 1047. Sort 11, k, 4 in descending order.
11, k, 4
Let a(m) be the first derivative of -m**4/4 - 2*m**3 - m**2/2 - 11*m + 27. Suppose -3*j = -7*j - 24. Let g be a(j). Sort -2, -4, g in decreasing order.
-2, -4, g
Let z(r) = -r**3 + 5*r**2 - r + 1. Let l be z(5). Let w be (-7)/((-140)/(-12)) + 93/5. Let h be (6 + (-102)/w)/((-2)/6). Sort 0, h, l in increasing order.
l, h, 0
Let m = 474 + -474.5. Sort 0, 2/5, m, 5/7 in descending order.
5/7, 2/5, 0, m
Let l = 37 - 34. Let w be l/(-4 - -13) - (-10)/(-3). Let i = 2 - -1. Sort 1, i, w in ascending order.
w, 1, i
Let d = -12 - -7. Let i = -569 - -575. Put i, 5, d in decreasing order.
i, 5, d
Let i be (-1)/(-3) - (-8)/3 - 3. Let l be ((-4)/(-4 + 6))/(10 - i). Put 0.2, 1, l in increasing order.
l, 0.2, 1
Let d = 471 + -470. Sort d, 11, 4.
d, 4, 11
Let u = 2297 - 2292. Sort u, 3, 4, 1/7 in descending order.
u, 4, 3, 1/7
Suppose -5*c + 6 = -3*z + 17, 8 = -5*c + 4*z. Suppose -2*l + 3*s = -14, 0*l = l - s - 6. Put c, 11, l in descending order.
11, l, c
Let o = -2.56 - -2.16. Put 1/9, 1/6, o in increasing order.
o, 1/9, 1/6
Suppose 3 = -0*n + n. Let h = 1312 + -1310. Sort h, 5, n in decreasing order.
5, n, h
Let z(x) = x**2 - 14*x + 30. Let q be z(13). Sort 2, q, -7 in increasing order.
-7, 2, q
Let c = 61.3 + -65.3. Put -25, -2/21, c in ascending order.
-25, c, -2/21
Let l = -0.03 - 0.06. Let p = -0.11 + l. Let x = p + 0.1. Sort -0.02, -2/11, x in ascending order.
-2/11, x, -0.02
Let u = 142 - 184. Let g = 42.3 + u. Put 1/3, 4, g, 0.05 in descending order.
4, 1/3, g, 0.05
Suppose 5*y = -15, h - 5*y - 37 = -2*y. Suppose 3*p - j = 14, -p - 4*p - 3*j = -h. Sort 1, -1, p.
-1, 1, p
Let i be ((-6)/4)/((-6)/(-8)). Suppose 0 = -5*n + 1 + 39. Suppose -7*x + 1 = -n*x. Put x, 4, i in descending order.
4, x, i
Let k = 7.9 - 5.9. Let o = 6.4 - 6. Let b = -3 + 10. Put k, b, o in decreasing order.
b, k, o
Let x(c) = 23*c + 436. Let y be x(-19). Let i be ((-10)/(-8))/((-6)/24). Sort i, -2, y.
i, -2, y
Let d(g) = -g**2 - 7*g - 1. Let s be d(0). Sort 4, -3, s, 0.4 in descending order.
4, 0.4, s, -3
Let n(v) be the second derivative of -v**3/6 - 2*v**2 + v. Let a be n(-8). Suppose 5 + 4 = 2*o - 5*d, a*o + d = -15. Put 3/2, o, 2/3 in ascending order.
o, 2/3, 3/2
Let p(t) = t + 5. Let y be p(-4). Suppose 3*o = 5*r + 5*o + 28, 5*o = 2*r - 12. Put 3, r, y in decreasing order.
3, y, r
Let r(w) = -w + 7. Let q be r(7). Let p = -3 + 8. Suppose 21 = -5*b + s, 3*s + q*s - 13 = p*b. Put b, 5, -1 in decreasing order.
5, -1, b
Let n(t) be the third derivative of 5/6*t**3 + 0 + 0*t - 1/120*t**6 - 5/12*t**4 + 1/6*t**5 + 5*t**2. Let y be n(9). Sort -5, y, 0.
-5, y, 0
Let l = 1106.6 - 1107. Let u = -17 - -69/4. Sort 3/7, l, -2/17, u in decreasing order.
3/7, u, -2/17, l
Suppose f + 8 - 3 = 0. Sort f, -0.2, 0, -4 in descending order.
0, -0.2, -4, f
Let t = 3776/5 - 756. Sort t, -0.4, -4.
-4, t, -0.4
Let i = 51 - 34. Suppose 4*u = -5*n - i, 4*n + 30 = 4*u + u. Let w = 0.03 - -4.97. Sort 0.4, w, n in increasing order.
n, 0.4, w
Let h = 0.1982 - 0.0982. Let g = 0.03 - 2.03. Let j = g + -3. Put j, h, -4 in descending order.
h, -4, j
Let r = 7 - 11. Let l = 459 - 459. Sort r, l, 3 in increasing order.
r, l, 3
Let l be ((-228)/(-9))/(5/(-15)) - 3. Let n = -78 - l. Let p = 1 - 1. Put p, 4, n in ascending order.
p, n, 4
Suppose 2*u - 114 = 4*l, -37 = -0*u - u - 3*l. Suppose 2*q - 7 + 9 = v, 5*v + 3*q - u = 0. Let b = -9 + 5. Sort 5, v, b in ascending order.
b, 5, v
Suppose 0*h = 3*h - 54. Let b = h - 15. Let u(a) = 5*a - 7. Let o be u(b). Put o, -1, -2 in descending order.
o, -1, -2
Let n = -0.06 + 0.26. Sort 0.3, n, -0.2 in descending order.
0.3, n, -0.2
Let o(y) = -y. Let q be o(1). Suppose 3*v - 9 = 6. Let n = 763 - 759. Put n, q, v in ascending order.
q, n, v
Let d = -165 + 194. Let f = 31 - d. Let s(b) = -b**3 - 5*b**2. Let h be s(-5). Sort h, f, -5 in decreasing order.
f, h, -5
Let d be 2 + ((-1)/1)/(-1). Suppose d = m - 2*y, 5*y = -m - 0*y + 10. Sort m, -8, 4 in decreasing order.
m, 4, -8
Let g = -5.2 + 5. Let s = 0.9 - 1.3. Let q = 4 - 1. Sort s, g, q in increasing order.
s, g, q
Suppose 0 = -0*j - 5*j + 4*d - 24, -4*j = -5*d + 21. Sort -1, j, 0.2 in descending order.
0.2, -1, j
Let d be 7/(-3)*(-256)/2688. Sort d, -3, -3/7, 5.
-3, -3/7, d, 5
Let f = -1/1929 + 429/643. Sort 3, f, 3/5, -1 in decreasing order.
3, f, 3/5, -1
Suppose 3*f - 141 = 6*f. Put 5, f, 1 in descending order.
5, 1, f
Let s be 39/6 + -7 + (-1)/6. Put 1, 2/9, 0.1, s in descending order.
1, 2/9, 0.1, s
Let j = 10 - 6. Suppose -w + 9 = -j*w. Let v(k) = -k**3 + 11*k**2 - 24*k - 2. Let y be v(8). Sort y, 4, w in descending order.
4, y, w
Let a = -119 + 117. Sort -221, a, -4 in decreasing order.
a, -4, -221
Let s(q) = -8 - q - q + 0*q + 0*q. Let u be s(-9). Suppose 2 = -3*g - u. Put 0, 5, g in decreasing order.
5, 0, g
Let a(m) = 3*m**2 + 12*m + 7. Suppose -6 = -7*z + 9*z. Let h be a(z). Sort h, -1, 7 in ascend