*2 + 59*v - 89. Let u be y(-31). Let o(i) = i**3 - 7*i**2 - i + 6. Let w be o(7). Put u, -3, w in decreasing order.
u, w, -3
Let u = -18 + 17. Suppose 3*i - 11 = -2. Suppose -h - 3*h - z = 0, 0 = -2*h + 2*z. Sort h, u, i in descending order.
i, h, u
Let i = 114 + -75. Let l = 27 - i. Let k = l - -9. Sort k, 12, 1 in decreasing order.
12, 1, k
Let q = -3.089 - -0.089. Sort 14, q, 0, -2/9.
q, -2/9, 0, 14
Let c = 19/99 + 1/33. Let j = 4 - 0. Sort j, c, -2/11 in decreasing order.
j, c, -2/11
Suppose -4*u - 11 = -3*d + 122, -3*d + 3*u = -132. Let c = -38 + d. Let b = -1 + 5. Sort b, 1, c.
1, b, c
Suppose -20*n + 22*n - 10 = 0. Put 11, n, 2 in decreasing order.
11, n, 2
Suppose -3 = 2*s - 3*n, s + 21 = -2*n + 23. Suppose -5 = -2*d + d. Sort s, d, -4 in decreasing order.
d, s, -4
Suppose 14*h = 21*h - 609. Let o = 92 - h. Let f = -6 - -3. Sort o, 0, f in decreasing order.
o, 0, f
Suppose 7*i - 2*i = 10. Suppose 7 + 11 = 6*v. Suppose 2*h - 7*h - 27 = -3*j, 0 = -v*h - 2*j - 1. Put i, 3, h in increasing order.
h, i, 3
Let q be (-184)/20 - (-1)/5. Let i = 15.5 - 17.5. Put -1/4, q, i in decreasing order.
-1/4, i, q
Let n be (-162)/(-12)*(5 - (-21)/(-7)). Suppose -4*g - g = 3*o - 5, 0 = -o - 4*g + 4. Put o, 5, n in ascending order.
o, 5, n
Let r = 13 - 7. Suppose r*a - a = -20. Suppose 104*q + 93*q = 204*q. Put a, q, -3 in ascending order.
a, -3, q
Suppose 0 = -4*o + 26 - 2. Let c = 8 - o. Suppose -c*f + 5 + 1 = 0. Put -3, -2, f in decreasing order.
f, -2, -3
Suppose h + 5 = 1. Let c(n) = n**2 + 9*n + 6. Let s be c(-8). Let p be 1 + -2 - (-4)/s. Sort h, 5, p in decreasing order.
5, p, h
Suppose -4*n = 3*c + n, 5*n = -2*c. Suppose 100*p - 96*p = c. Sort p, -5, -4, 4 in increasing order.
-5, -4, p, 4
Suppose 3*u - 91 = 29. Let d be u/210 + ((-6)/14)/(-3). Put -1/5, d, 2/17 in decreasing order.
d, 2/17, -1/5
Let y(r) be the second derivative of r**5/20 - 5*r**4/12 - 4*r**3/3 + 7*r**2/2 + 6*r. Let m be y(6). Put 5, m, -1 in descending order.
5, -1, m
Let t be (((-3)/(-2))/(-1))/((-14)/84). Let a be 28/6 + ((-15)/t - -2). Sort a, 4, 2 in increasing order.
2, 4, a
Suppose 0 = 2*z - 3*z - 4. Let m = -24.084 + 24. Let t = 0.116 - m. Sort t, z, 2.
z, t, 2
Suppose -9*u + 8*u + 12 = 5*a, a - 3*u + 4 = 0. Sort a, 4, -1, -37 in increasing order.
-37, -1, a, 4
Let w = 7 - 5. Let j be 3/(w + (-25)/14). Suppose -h - 2 = b, 3*b + 0*b - 5*h = -j. Sort 0, 3, b.
b, 0, 3
Let m = 1148 + -5744/5. Put m, -0.2, 0.3, -0.04 in decreasing order.
0.3, -0.04, -0.2, m
Let a = 0.127 + -2.127. Sort -0.05, -1, a, 1 in ascending order.
a, -1, -0.05, 1
Let k = -1113 + 1114. Sort 5, 6, -5, k in decreasing order.
6, 5, k, -5
Suppose -4*x + 3 = -5*r, -4*x - 2*r + 10 = -0*x. Let l(s) = -s**2 + 5*s - 9. Let q be l(x). Sort 1, -8, q in descending order.
1, q, -8
Suppose 11*l + 255 = -6*l. Sort 3, l, 9 in increasing order.
l, 3, 9
Let q = -3 + 5. Let v be (-57)/627 + (112/11)/2. Sort q, v, 1 in decreasing order.
v, q, 1
Let f = 2/33 - 8/11. Let r = -40.3 - -40. Sort r, f, 4.
f, r, 4
Let a(f) = f**2 - 10*f. Let c be a(9). Let n be (-2 - -5)/(c/6). Sort 1, n, -3 in ascending order.
-3, n, 1
Let n = -9 - -9.1. Suppose 2*z - 2 = -0*z. Suppose 0 = l + z + 3. Sort n, l, -0.5.
l, -0.5, n
Suppose 3*y + 10 = -r + y, -15 = -4*r + 3*y. Suppose r = -5*a + 2*g - 148, 3*g = -2*a + 7*a + 152. Let f = a - -22. Put 2, -3, f in increasing order.
f, -3, 2
Let f be (-107)/5*(-1 - 1). Let c = f + 459/20. Let g = -65 + c. Sort -0.2, g, 0.5.
-0.2, 0.5, g
Let h = -0.6 + 0.2. Let z = h - 4.6. Let m be 36/(-70) + 44/55. Put z, m, -0.1 in ascending order.
z, -0.1, m
Let u = 61 + -59. Let y = 0.037 + -0.047. Sort u, 3, y in decreasing order.
3, u, y
Let u = -1 + 7. Let m be 3/4*-2*u. Let j = m - -9. Sort 3, j, 2.
j, 2, 3
Let v(w) = w**3 + 43*w**2 - 2*w - 86. Let b be v(-43). Sort -8, -3, b, -7 in ascending order.
-8, -7, -3, b
Let w(a) = -a**2 + 6*a - 4. Let x be w(5). Let b be (-1)/(-2) + 21/(-14). Let j be b - 0 - (-7 + 1). Put j, -7, x in decreasing order.
j, x, -7
Suppose 0 = 39*d - 36*d + 3. Let u be 4/d + -2 - -4. Sort -4, u, -3, 4.
-4, -3, u, 4
Suppose 0*g + 5*g = -3*n + 3, -4*g - 3 = -3*n. Let s(y) = y**2 + 21*y + 33. Let k be s(-19). Put k, -4, g in increasing order.
k, -4, g
Suppose 4*p + t = -t + 10, -p = 4*t + 15. Sort p, -3, -5, 0 in decreasing order.
p, 0, -3, -5
Let l(y) = 247*y - y**3 + 0*y**2 - 249*y - 5*y**2 + 5. Let c be l(-4). Suppose 2*v - 9 + 3 = 0. Put 2, c, v in decreasing order.
v, 2, c
Let x = 329 + -316. Sort 0, x, 5, -3 in descending order.
x, 5, 0, -3
Let c be 3/(-5) + (-76)/(-60). Sort c, 0.3, 0 in ascending order.
0, 0.3, c
Let k = 32 - 15. Let s = -19 + k. Sort s, -4, -3.
-4, -3, s
Suppose 3*a + 5 = -7. Let g(y) = -y**2 + 7*y - 7. Let i be g(5). Let r be 2/a*i/(-6). Sort -4, r, -0.2 in descending order.
r, -0.2, -4
Let j be (-420)/(-245) - 4/(-14). Sort j, -32, -4 in descending order.
j, -4, -32
Let n = -403 - -402.98. Put 2, n, -5, -6 in descending order.
2, n, -5, -6
Let b = -7/57 - -34/19. Sort 1/2, -17/7, b in decreasing order.
b, 1/2, -17/7
Let g = 62.4 + -61.6. Sort g, 4, -2, 2 in decreasing order.
4, 2, g, -2
Let a = -475 - -472. Sort -3/4, 18, a in decreasing order.
18, -3/4, a
Let x = 8 + -3. Let o = 40 - 40.2. Put x, o, 0.3 in increasing order.
o, 0.3, x
Let q(t) = 21*t**2 - t + 3. Let y be q(-2). Suppose -15 - y = -4*m. Let w = 28 - m. Put -4, -0.5, w in descending order.
w, -0.5, -4
Let g(k) = k - 5. Let s be g(4). Let o be (7 - -8)*(-2)/5. Let r(h) = h**2 + 6*h - 5. Let u be r(o). Put 5, s, u in decreasing order.
5, s, u
Let u = 7.9 + -5.9. Put u, 3/4, 0.05, -4 in increasing order.
-4, 0.05, 3/4, u
Let u be 1*2 - -10*20/(-25). Let l(m) = m**2 + m - 31. Let a be l(u). Sort -2, a, 0 in ascending order.
-2, a, 0
Let c = 1188 + -824. Put c, 5, 1 in increasing order.
1, 5, c
Suppose 0 = -79*h + 13*h - 1716. Sort 1, 5, h, -1 in increasing order.
h, -1, 1, 5
Suppose 15*a + 29 = -31. Put -1, -2, 6, a in descending order.
6, -1, -2, a
Suppose f - 150 = -24*f. Put -17, 3, f in decreasing order.
f, 3, -17
Suppose -3*v + 6*v = 24. Suppose 0*f = -2*f - 2. Sort v, f, -5 in decreasing order.
v, f, -5
Let g be 6/27 - ((-1276)/252 - -5). Sort -0.4, 0.4, g in decreasing order.
0.4, g, -0.4
Suppose -k + 5 = 0, -7*k + 3*k + 12 = -4*q. Let v = -1030 + 1034. Sort v, q, -3, 5.
-3, q, v, 5
Let x = 3705 - 3710. Let w = 1663/1390 + 1/278. Sort 0.06, 0.3, x, w.
x, 0.06, 0.3, w
Let c = -0.05 - 0.35. Let f be 11/(-11)*(-7 + 10). Sort 2/11, -1, c, f in descending order.
2/11, c, -1, f
Let h be (4/(-5))/((-8)/20). Let j be (8/(-3)*3)/(-2). Sort h, j, 3 in increasing order.
h, 3, j
Suppose 1 = 5*f - 9. Sort -2, -5, f in decreasing order.
f, -2, -5
Let f = -10 + 22. Let b = f + -12.5. Suppose 2*k - 2*i - 1 = k, -2*k - 7 = 5*i. Put -1/3, k, b in decreasing order.
-1/3, b, k
Let t be ((-6)/(-9)*63/(-6))/1. Sort -21, 1, t, -5.
-21, t, -5, 1
Let i = 237.9 + -237. Sort 4/5, i, -4 in decreasing order.
i, 4/5, -4
Let j = -17/41 - -2275/246. Let z = j - 677/78. Put z, -5, 0.4, -0.5 in decreasing order.
0.4, z, -0.5, -5
Let s be 12/8*30/(-27)*-3. Suppose 3 = 5*t - i, -2*i - 3*i - 15 = -s*t. Let o(x) = -x**3 + 6*x**2 - 2*x + 7. Let m be o(6). Sort m, t, -1.
m, -1, t
Let z(i) = -12*i + 23. Let v be z(2). Sort v, -16, 5 in decreasing order.
5, v, -16
Suppose -2*z + 3*q = 5, 12*q = -5*z + 7*q. Sort -2, -74, z.
-74, -2, z
Let h = -69 + 38.6. Let g = h + 30. Sort 0, 5, g in descending order.
5, 0, g
Let t(o) = o**2 + 6*o + 4. Let w be t(-4). Suppose -l = 2, 0 = -5*r - 4*l + 11 - 29. Sort r, w, -1 in decreasing order.
-1, r, w
Suppose 0 = 3*p - p - 20. Let u = 18 + -3. Let i = p - u. Put -1, -2, i in decreasing order.
-1, -2, i
Let s = -41 - -39. Sort -4, -3, s, -5.
-5, -4, -3, s
Let q = -60 + 62. Let m be q*(15/(-10) + 3). Sort m, 2, -2/27, -3.
-3, -2/27, 2, m
Let f = -94937/336 - -1978/7. Sort 5/3, 2, -1/6, f in descending order.
2, 5/3, f, -1/6
Let z = 6.56 - 5.56. Sort z, -13, 4/9 in descending order.
z, 4/9, -13
Suppose -4*b + 195 = 3*i - b, i + 5*b - 69 = 0. Put -5, 2, i in decreasing order.
i, 2, -5
Let b = -6 - -5. Let x(n) = -n**3 + 21*n**2 + 2*n - 41. Let g be x(21). Put b, 5, g, -7 in descending order.
5, g, b, -7
Let d = 53 - 263/5. Let a = -7.95 + 8. Put d, 3, a in increasing order.
a, d, 3
Let n = 1 + 3. Suppos