 1 = -t. Sort u, 4, t in decreasing order.
4, t, u
Let m(n) = 2*n - 17. Let j be m(6). Put -35, j, 0, -1 in increasing order.
-35, j, -1, 0
Suppose 5*f - 4*f = 3*s + 5, 4*f + 2*s = 6. Suppose 2*a = -3*n - 48, -a - 59 = 4*n - 0*a. Let y = -16 - n. Put 3, f, y in descending order.
3, f, y
Let b = 1715 + -156063/91. Let o = b - 200/819. Sort -1, -3, o in ascending order.
-3, -1, o
Let s = 2 + 3. Suppose h + 3 = s. Let g be (-1 - 6) + 8 + 1 + -7. Sort -1, g, h in decreasing order.
h, -1, g
Let y be 2/4 + 3/2. Let x be (-2)/(0 - y) - -1. Let k(n) = -n**3 + 2*n**2 + 2. Let s be k(x). Sort s, -1/2, 3.
-1/2, s, 3
Let j = -0.11 + -4.89. Let o = 446 - 446.4. Sort j, 4/7, o in decreasing order.
4/7, o, j
Suppose 1 + 8 = 3*s + 5*m, -4*s = 3*m - 1. Sort 26, 2, s.
s, 2, 26
Suppose m = 3*d - 19, -5 = -5*d + 20. Sort m, 2, -42 in ascending order.
-42, m, 2
Let n = -1 - -1. Let u = 5.7 - -92.3. Let y = u + -102. Sort -0.5, n, y in decreasing order.
n, -0.5, y
Let p be 0/((-9)/3 + 0). Let s(v) = v**3 - 9*v**2 - 23*v + 7. Let d be s(11). Sort p, d, 3, -5.
-5, d, p, 3
Let c = 136 - 137. Let o = -67/13 - -5. Put -4, c, o in ascending order.
-4, c, o
Let v = -91 - -89. Put v, 2, 5, -1 in decreasing order.
5, 2, -1, v
Let j be 284/(-10) + (-2)/(-5). Let i = 8657 + -8661. Put i, j, -3 in ascending order.
j, i, -3
Let o be 60/105 + 8/(-14). Let b(a) = a + 1. Let u be b(o). Sort 4, 0, u.
0, u, 4
Let c(v) = -2*v**2 + 7*v + 14. Let s be c(5). Sort 8, -2, s, -4 in descending order.
8, s, -2, -4
Let o = -19 - -18.93. Let l = 0.17 + o. Sort l, 2, -4 in decreasing order.
2, l, -4
Let c = -106 - -115. Let s be ((-8)/(-3) - 3)*c. Put s, 10, 5 in descending order.
10, 5, s
Suppose 4*q + 5*n + 13 = 0, 0 = -5*q - 5*n - 4 - 6. Let w(t) = 2*t - 15. Let p be w(7). Sort p, -15, q in decreasing order.
q, p, -15
Let q = 1042 - 1047. Put q, 3, 4, 33 in descending order.
33, 4, 3, q
Suppose 0 = 4*r + 18 - 6. Let m = -3 + 3. Suppose -2*l - 2 + m = 0. Sort l, r, 4 in descending order.
4, l, r
Let w = 1639 - 1638.6. Sort -0.034, -5, w in descending order.
w, -0.034, -5
Suppose -5*c = -4*u, u - 18*c - 7 = -15*c. Let k = 0.9 - 1. Sort u, k, -2/3, -1/8 in ascending order.
u, -2/3, -1/8, k
Let a be (177/(-118))/((-6)/(-20)). Sort 1/5, a, 13/4, -0.4 in decreasing order.
13/4, 1/5, -0.4, a
Let n = -112 + 112. Let k(z) = -z**3 - 4*z**2 - 3*z + 3. Let b be k(-3). Put -0.3, b, n in increasing order.
-0.3, n, b
Let s be 2/3 + (-195)/(-45). Put 6, s, -4, -13 in descending order.
6, s, -4, -13
Let f(y) be the second derivative of y**4/12 + 5*y**3/3 + 9*y**2/2 + 16*y. Let i be f(-9). Sort i, 4, -8.
-8, i, 4
Let o(q) = q**3 - 11*q**2 + 9*q + 2. Let u be o(9). Let k = -82 - u. Sort k, -0.4, 4, 2/7 in ascending order.
k, -0.4, 2/7, 4
Let g(y) = 8*y - 11. Let o be g(-6). Let h = -55 - o. Let l = 0 + 3. Sort h, 5, l in descending order.
5, h, l
Suppose 0 = -30*h - 17 - 73. Put 5, h, -85 in descending order.
5, h, -85
Let b(i) = -2*i**2 + 46*i - 84. Let s be b(21). Sort 6, 2, s.
s, 2, 6
Let p = 0 - -9. Let o be (-6)/p - 2/(2/(-1)). Put 0.5, o, -1/10 in descending order.
0.5, o, -1/10
Let d = -7667/4 - -1928. Put 3, -0.06, d in ascending order.
-0.06, 3, d
Let k = -67.39 + 1.39. Let l = -65 - k. Let r be (-4)/3*(-1)/(-10). Put l, 0.3, r in ascending order.
r, 0.3, l
Let y = -475 + 464. Put 1, 2, y in decreasing order.
2, 1, y
Let x be 60/18*1*9/6. Suppose -v + 4 = 0, -x*g + 5*v = -2*g + 8. Put g, 5, 0 in increasing order.
0, g, 5
Let r = 4 - -12. Suppose 19*w = 23*w - r. Sort 5, w, 1.
1, w, 5
Let l = -1335/7 + 191. Let d = 18 + 30. Let q = -48.4 + d. Sort l, q, -3 in ascending order.
-3, q, l
Let r be (-80)/32*4/25*5. Sort 487, -3, r in decreasing order.
487, r, -3
Suppose -4*j + 18*j - 140 = 0. Suppose -2*q - 16 = -j. Suppose -y - 5*g - 17 = -2*y, 3*y + 5*g + 9 = 0. Sort q, y, 1 in decreasing order.
y, 1, q
Let l = -2.7 + 2.7. Let v = -275 + 274. Sort v, l, 1/6, -3/10 in increasing order.
v, -3/10, l, 1/6
Let w(j) be the second derivative of -j**5/20 + j**4/2 + 11*j**3/6 - 9*j**2/2 - 13*j. Let h be w(7). Suppose -17*r + h*r = 0. Put -2, r, 2 in descending order.
2, r, -2
Suppose -17 = -14*r - 31. Let g(y) = y. Let v be g(5). Sort -4, r, v in ascending order.
-4, r, v
Let n be ((-902)/(-187) - 5)*-17. Put n, -24, -13 in descending order.
n, -13, -24
Let a(r) = -r**2 + 23*r - 122. Let w be a(9). Sort 2, 1, w in increasing order.
1, 2, w
Let w(a) be the third derivative of a**5/60 - 7*a**4/12 + 4*a**3/3 - 5*a**2. Let f be w(14). Let c be 3/(60/f)*5. Put 1, 0, c in descending order.
c, 1, 0
Let c = -2.6 + 4.6. Let v = 4 - c. Let o = -9 - -14. Sort v, o, 4 in decreasing order.
o, 4, v
Let t(q) = -q**2 - 6*q - 4. Let f be t(-5). Let c be 1 + (f + 3 - 3). Suppose -c = -3*x + x. Sort 6, 3, x in decreasing order.
6, 3, x
Let w(c) = -12*c - 9. Let s be w(-1). Let g = 7 - 4. Let m = g + -4. Put -5, m, s in ascending order.
-5, m, s
Let b = -16 - -26. Suppose 8 = 2*r, -r = -5*v + 4*r - b. Suppose 2*q + v*q - 4 = 0, -5*q - 15 = 4*g. Put 4, g, -1 in decreasing order.
4, -1, g
Let v(p) = -p**3 + 8*p**2 - 5*p - 18. Let t be v(7). Suppose -3*f = -6*f + 2*x + 7, -3*x = 5*f + 1. Put t, 4, f, -10 in descending order.
4, f, t, -10
Suppose 0 = 4*p + p - 15. Suppose o + 0*u - 3*u - p = 0, 2*u + 2 = -5*o. Let h = o - -4. Sort -5, -4, h.
-5, -4, h
Let t = 29 - 30. Let o be t*(2/4)/(2/(-8)). Put -6, 3, o, -5 in descending order.
3, o, -5, -6
Let k = -361 - -361. Suppose -3*h + 2 + 2 = 5*c, 0 = h + 4*c - 6. Put 3, k, h, -3 in descending order.
3, k, h, -3
Let q(s) = -s**2 - 6*s + 9. Let a be q(-7). Let n be (2 - (-1 - -3)) + a. Let k = n + 2. Put 3, k, 1 in descending order.
k, 3, 1
Let s = -263 - -261. Suppose -j + 4*t + 11 = 1, 0 = -j - t. Put 8, s, j, 0 in descending order.
8, j, 0, s
Let z = 2 - 1. Let t = 422 + -422.5. Sort z, t, -5/3, -5 in decreasing order.
z, t, -5/3, -5
Let o(l) = l**2 + 2*l - 1. Let r be o(1). Let d(i) = 2*i**2 - 27*i + 13. Let t be d(13). Sort t, r, 1/8.
t, 1/8, r
Let b(u) = -u**3 + 11*u**2 - 8*u - 13. Let g be b(10). Suppose 0 = -q + 14 - 6. Suppose -g*r + q*r - 1 = 0. Sort 5, r, -4 in ascending order.
-4, r, 5
Let l = 121 - 124. Let o(b) = -6*b - 20. Let x be o(l). Sort 0, 1, x, 23 in ascending order.
x, 0, 1, 23
Let v = 23.5 - 12. Let t = -0.348 + 12.348. Let s = t - v. Sort -1, s, -3 in decreasing order.
s, -1, -3
Let g = 42 - 70. Let f = g - -31. Put f, -2, -5 in descending order.
f, -2, -5
Let b = 24 + 13. Let n = b + -37.2. Let v = -4 + 3.6. Sort v, n, 4 in ascending order.
v, n, 4
Let u = 58 + -57. Sort -3, -2/15, -8, u.
-8, -3, -2/15, u
Suppose -3*u + 10159 = 10147. Suppose 22 = v - 1. Suppose -2*c - 18 = 4*o, 0*c + 3*c + 4*o + v = 0. Sort c, -1, u.
c, -1, u
Suppose 0 = -69*b + 106 - 106. Sort -1, -4, 13, b.
-4, -1, b, 13
Suppose 3*f = -3*s, 4*f + 8*s = 3*s - 2. Let a = 3 - 3.2. Put 0.3, a, f in decreasing order.
f, 0.3, a
Let n be -6 + 10/5 + 4. Let b = 2.5 - 2.6. Let j = -6 + 10. Put j, b, n in descending order.
j, n, b
Let f be (-7 - -3)*6/1188*9. Let x = -31 - -89/3. Sort -3, 1/7, x, f.
-3, x, f, 1/7
Let c = 105 - 107. Let n be 2*(2 - -1*2). Suppose 0 = -5*o - 2*k + k - n, 4*k + 14 = -2*o. Sort c, o, -4 in decreasing order.
o, c, -4
Let s be (-4)/(-2)*9/2. Let g = -64 - -64. Let u be g + 1 - (-8 - -2)/(-12). Put 5, u, s in decreasing order.
s, 5, u
Suppose k + 44 = 3*k. Let q = -21 + k. Let d = 1.2 + -0.8. Put q, 0.6, d in decreasing order.
q, 0.6, d
Let y = -43 - -72. Let t = y - 24. Sort -1, -3, t in descending order.
t, -1, -3
Suppose s - 10 = -2*s - l, -3*l + 9 = 2*s. Suppose 3*r - 2*w - 17 = 0, 0 = -5*r + 4*r - 4*w + 1. Sort -3, 7, s, r in ascending order.
-3, s, r, 7
Let s(w) = w**3 - 32*w**2 + 3*w - 101. Let y be s(32). Suppose 3*m + c = 1 + 8, -3*m - 5*c + 21 = 0. Sort 5, m, y in increasing order.
y, m, 5
Let r be (-6)/18*-1*3. Let y be (11 - 0) + (-100 - -93). Sort r, 5, y in decreasing order.
5, y, r
Suppose 3*c = 2*o + 16, -3*o = 2*c - 3*c + 17. Let n = -14679 + 14701. Put 1, n, c in increasing order.
1, c, n
Let d = -11 - -2. Suppose -5*u - 3*t = 2*t + 5, 0 = 5*t + 25. Let w(x) = -2*x**2 - 29*x - 18. Let p be w(-14). Put p, u, d in decreasing order.
u, p, d
Suppose 3*m = 1 + 8. Let p be (12 + m)*1/3. Let j(r) = -r**2 + 12*r + 15. Let s be j(13). Put s, p, 1 in decreasing order.
