4*a - 5, 10 = 3*b - a. Sort -1, 4, b, 9 in descending order.
9, b, 4, -1
Suppose 5*y + 7 = -2*j - 3, -y - 2 = 5*j. Let p be y - (-2*1/(-2) + 7). Put 1, p, 3 in descending order.
3, 1, p
Let t(m) = m**2 - 10*m - 15. Let z be t(11). Let l = -148 + 145. Put -11, z, l, 5 in descending order.
5, l, z, -11
Suppose -5*k + 2 = j + j, -3*k - 3*j + 3 = 0. Let s(c) = c + 7. Let u be s(-3). Suppose -3*i - 12 = -6. Sort k, i, u in decreasing order.
u, k, i
Suppose 0 = 2*c + 2*c. Let d be ((-795)/(-12))/((-4)/4). Let l = 66 + d. Sort l, -0.4, c.
-0.4, l, c
Suppose -8 = -28*u + 23*u + x, 0 = u + x + 2. Sort u, -8, 5, -4.
-8, -4, u, 5
Let n = 22.5 - 24. Let g = -0.5 + n. Let m be -6*((-44)/40 - -1). Sort m, 13, g.
g, m, 13
Let m = 0.016 + -0.016. Sort m, -159, 0.4 in descending order.
0.4, m, -159
Let y = -95/583 - 1/53. Sort 4, 2, y, 0.2 in descending order.
4, 2, 0.2, y
Let s = -1444/35 - -286/7. Let y = 0.4 + -0.1. Put s, y, -3 in ascending order.
-3, s, y
Let q = 118 - 119. Suppose 20 = -5*k, -2*k - 4 = -2*t - 0*t. Sort t, 5/2, q.
t, q, 5/2
Let j(m) = -m**2 + 39*m - 233. Let l be j(31). Put 1, l, -3 in descending order.
l, 1, -3
Let m(l) = l**3 + 33*l**2 + 57*l - 158. Let q be m(-31). Sort 11, -5, q, -1 in increasing order.
-5, q, -1, 11
Let j = -0.2 + 1.2. Let y = 1.775 + -1.875. Sort y, -2, j, 0 in increasing order.
-2, y, 0, j
Let c = 328 + -332. Sort -11, c, -1 in descending order.
-1, c, -11
Let b be ((-2)/5)/(1/5). Let h = 281 + -280. Let a be ((-8)/(-3))/(2*h/(-3)). Put b, a, 2 in descending order.
2, b, a
Let b be ((-7)/(-1) - 5)*(-6)/4. Let i(h) = -h**2 - 10*h - 7. Let f be i(-7). Put f, b, 5 in decreasing order.
f, 5, b
Let y = 0.05 + 0.1. Let o = 14986 - 14985.9. Put o, 1/9, -4/5, y in decreasing order.
y, 1/9, o, -4/5
Suppose 4*o + 5*z = 24, -3*o - 2*z = -4 - 14. Let n be (8/o)/(4/15). Sort -2, n, -4 in ascending order.
-4, -2, n
Suppose 4 = -5*x + 3*q - 28, -2*q = 2*x. Let v = 5 + -5. Sort 7, x, v in descending order.
7, v, x
Let h be 3/(-9) - 22/6. Let d = -9 + 17. Suppose 6*u = d*u. Sort -3, u, h.
h, -3, u
Suppose 0 = -q - 5*q - 12. Let p be (9/114)/(q/(-4) - 1). Put -0.3, 1/4, p in descending order.
1/4, p, -0.3
Let s = -0.4 + 0. Let i(g) be the third derivative of g**6/120 - g**5/20 - g**4/12 - 5*g**3/6 - 7*g**2. Let x be i(4). Sort 4, x, s.
s, x, 4
Let l = 2.2 + -1.1. Let i = l + -14.1. Let z = -12.6 - i. Sort z, -0.4, 5.
-0.4, z, 5
Suppose 4*i - i = -5*j + 131, 5*i - 255 = -j. Let y = i - 103/2. Sort y, 1, 3/4 in descending order.
1, 3/4, y
Suppose 0 = -4*t - 5*l + 41, 0*l = -3*t - 5*l + 37. Let f(z) = -z**2 - 6*z + 19. Let m be f(-8). Sort m, t, -4.
-4, m, t
Suppose 0 = 8*l - 9*l. Suppose l = 81*a - 86*a + 5. Put -1, a, -1/7 in increasing order.
-1, -1/7, a
Suppose -7*u = -3*u + 12. Suppose m - 15 = -2*m. Let z = -68 + 67.5. Sort u, z, m in decreasing order.
m, z, u
Let z(l) = l**3 - 2*l**2 - 14*l + 4. Let c be z(5). Put 5/3, c, 3, -0.1 in decreasing order.
c, 3, 5/3, -0.1
Let i be -6 - 0*(-4)/16. Let y = 19 - 16. Sort -5, y, i in decreasing order.
y, -5, i
Let w be -8*1/2 + 5. Sort 41, 2, -2, w in ascending order.
-2, w, 2, 41
Suppose 4*o + 0*o - 84 = 0. Let y be (-52)/(-14) + 6/o. Suppose -2*d - 10 = -4*b, -3*b = y*d + 11 + 9. Put -1/10, 1, d in ascending order.
d, -1/10, 1
Let i(r) = -r**2 - r + 14. Let n(w) = -w**2 - 9*w. Let h be n(-9). Let x be i(h). Let k be 6/x*4/(-6). Put -0.5, k, 0.1 in decreasing order.
0.1, k, -0.5
Let r = 0 + -1. Suppose 0 = -5*y - 4*x - 29 - 32, -4*y + 4*x - 20 = 0. Let v be (3/y)/(5/(-75)). Put -2, v, r in ascending order.
-2, r, v
Let f = -504/11 - -46. Suppose -2*w - 2 = 3*r - 11, -3 = w - r. Sort w, f, 6 in decreasing order.
6, f, w
Let x = -4 + -39. Let o = x - -43. Sort 2, o, 4 in increasing order.
o, 2, 4
Suppose 4*k - 64 = 8. Let c be 5/((-5)/22) - -1. Let p = c + k. Sort 2, -5, p.
-5, p, 2
Let x = -128 + 125.7. Let c = 3 - 1.7. Let t = x + c. Sort t, 5, -5.
-5, t, 5
Let o = -2718 - -2722. Let y = 2 + -1. Sort -1, y, o.
-1, y, o
Let l be ((-12)/10)/((-26)/(-195)). Sort 3, l, 1 in decreasing order.
3, 1, l
Suppose 13*a + 78 = -143. Put -4, -3, 5, a in decreasing order.
5, -3, -4, a
Let f(v) = -24*v - 24. Let r be f(-1). Sort -99/7, r, -5 in decreasing order.
r, -5, -99/7
Let i = -1 + 1. Suppose 1 + 0 = -h. Suppose 0 = -z + 4*d - 16, -3*d + 7*d = 3*z + 8. Sort i, z, h.
h, i, z
Suppose -11*p = -0*p - 11. Sort 53, 5, p in decreasing order.
53, 5, p
Let a = -37.968 + -0.032. Let h = a + 37.8. Put -6, -0.1, h in increasing order.
-6, h, -0.1
Let j = -15.5 - 74.5. Let k = 90 + j. Let n = -70 - -489/7. Put k, 5, n in increasing order.
n, k, 5
Suppose 346 - 370 = 8*s. Sort -4, 10, s in ascending order.
-4, s, 10
Let c(z) = 2*z - 1. Let u be c(3). Suppose -163*w + 165*w = -10. Sort -1, u, w in decreasing order.
u, -1, w
Let z = -974 - -983. Sort z, -1/20, 0.
-1/20, 0, z
Suppose -3*j = -147 + 108. Let i be ((-3)/5)/((-1)/5). Put i, -2, j, -3 in ascending order.
-3, -2, i, j
Suppose o + 3 + 32 = w, 2*w - 90 = -2*o. Suppose 14 = w*z - 47*z. Sort z, -1, 15 in descending order.
15, -1, z
Let r = 10 - 23. Let a be 0/((-7)/(9 - 8)). Sort a, -2, 1, r.
r, -2, a, 1
Let w be (36/45)/(2/(-10)). Suppose 10 = -5*i + 4*k, 4*i + 5*k - 33 = -0*k. Let u(q) = q**3 - 4*q + 3. Let j be u(i). Put j, w, 1 in descending order.
j, 1, w
Let n(w) = w**3 + 6*w**2 - w - 8. Let t be n(-6). Let m be (-3)/(-6*t/(-8)). Sort -2, m, -6.
-6, -2, m
Let b(h) = -52*h + 360. Let q be b(7). Sort -1, q, 6.
q, -1, 6
Let o be (3 - 4) + (-24)/(-21). Let i(a) = -10*a + 10. Let v be i(-7). Let g be v/(-165) + 2/(-11). Put g, 3/2, o in descending order.
3/2, o, g
Let g(o) = -o**3 + 8*o**2 - 7*o - 3. Suppose -4*h + 5 + 21 = 2*y, -3*h = -2*y + 5. Let c be g(y). Sort -0.1, c, 0.4, 1/6 in decreasing order.
0.4, 1/6, -0.1, c
Let q = 138 + -96. Let s = 38 - q. Suppose -2*n = 5*z + 15, -3*z + 4 = -n - 2*z. Put -3, s, n in decreasing order.
-3, s, n
Let m = 1.2 - 6.2. Let n = 1.84 + -2. Let q = 498 + -496. Sort n, m, q in increasing order.
m, n, q
Let q = 0.963 + 20.997. Let k = q + -22. Let v be (-10 - -8)/(2/4). Put -0.3, v, k in descending order.
k, -0.3, v
Let o(i) = -3*i**2 + 2*i. Let l(n) = -4*n**2 + 2*n. Let y(k) = 4*l(k) - 5*o(k). Let v be y(-1). Sort 5, v, 2 in descending order.
5, 2, v
Suppose 2*x = -3*j - j - 20, 0 = -j - 4*x - 12. Let v be 2/(42/(-11) - j). Suppose -2*n = y - v, 4*n - 8*y = -4*y + 4. Sort n, 0, -1 in decreasing order.
n, 0, -1
Suppose 3*y - 5*o = -2 - 0, -5*o = -2*y - 3. Suppose -4*w + 2*m = 14, -m - 2 - y = 3*w. Let k be (w/(-3))/((-8)/36). Sort k, 1, 5 in descending order.
5, 1, k
Let j be ((-1)/(-9))/(896/(-312) + 3). Let b = 539/230 - 70/23. Let s = b + j. Sort 0, s, -4.
-4, 0, s
Suppose 8 = 4*a + 4*u, 0 = -5*a - 2*u + 2 - 1. Suppose 19*y + 68 = -46. Put 0, a, 1, y in decreasing order.
1, 0, a, y
Let o = -37 + 35. Suppose 221 = -21*a + 4*a. Suppose -4*t + 10 = q - 9, -4 = -4*t + 4*q. Put o, a, t in decreasing order.
t, o, a
Let b(g) = -g**2 + 7*g + 6. Let w be b(8). Let s be (-24)/(672/(-98))*(-4)/(-7). Put 32, w, s in decreasing order.
32, s, w
Let m = -1.97 + -0.33. Let c = m - -4.3. Let t = -10 + 5. Sort t, 0, c in increasing order.
t, 0, c
Let u(o) = -15*o + 244. Let j be u(15). Suppose 0*c - 7 = -5*n - c, 0 = 4*n - 2*c. Let k be n*-2 - 4/(-2). Sort k, j, 3 in increasing order.
k, 3, j
Let z be 1/5 - (0 - 3/(-45)). Sort z, 7, 0.3 in descending order.
7, 0.3, z
Let d be -27*5/(1085 - 0). Let l = d - 5/31. Let x = 7 - 3. Sort x, l, 0.2 in decreasing order.
x, 0.2, l
Let k be (1 - -1) + (-54)/45. Let v = -0.83 + 0.73. Sort k, v, -2 in decreasing order.
k, v, -2
Suppose -4*r - 46 = -2*a - 0*r, 4*a + 3*r - 70 = 0. Let f = a + -17. Let v be 6/4 + 15/(-2). Put f, 5, v in descending order.
5, f, v
Let s = -69812 - -628312/9. Let b = -853/2023 + -2/289. Let z = 8 - 4. Sort z, s, b in descending order.
z, s, b
Let m = -368 - -367.85. Sort 0, -1, m, 4 in descending order.
4, 0, m, -1
Let s(u) = u - 44. Let o be s(11). Let q = o - -37. Put 0, 3, q in descending order.
q, 3, 0
Let r(j) = -j**3 - 9*j**2 + 9*j - 8. Let x be r(-10). Let s be (2 - x) + 3 + 0. Put 4, 12, s in descending order.
12, 4, s
Suppose 0 = 7*w - 9*w - 2*z - 12, -2*z = -w - 3. Put -3, w, 1, -1 in decreasing order.
1, -1, -3, w
Let t = 3.32 + -3. Let v = t - -4.68. 