se 5*v = -4*f + 17, -3*f = 2*v - 4*f - 12. Suppose -7 - 3 = v*u. Sort u, 3, -3 in decreasing order.
3, u, -3
Let y = -4 + 7. Suppose y*s + 20 = -s. Sort -1, 1, s in decreasing order.
1, -1, s
Let u be 9/15*(-10)/(-4). Sort u, -0.2, -2, -3.
-3, -2, -0.2, u
Let y = 42 + -22. Let m be ((-3)/(-6))/(2/y). Put m, 1, 2 in descending order.
m, 2, 1
Suppose -4*l - 5*a = -2*l - 16, -l + 9 = 3*a. Suppose 2*m = -o + 3, l*m + 1 = -4*o - 2. Sort 3/7, o, -2 in increasing order.
o, -2, 3/7
Let t = -0.8 - -5.8. Suppose 0 = -2*q + 3*q + 3*a + 3, 3 = -q + 3*a. Put -2, t, q in ascending order.
q, -2, t
Let t be 0/(-1 - 0) + 1. Let d be 1 + (-1)/t + 2. Let w = 51 - 55. Put w, d, -4/7 in increasing order.
w, -4/7, d
Let m be (-111)/36 - (-15)/5. Sort m, 0, -3/4.
-3/4, m, 0
Let b = 28 + -31. Sort b, 9, -5 in ascending order.
-5, b, 9
Suppose 4*t - 31 = 5*f, -3*f - 23 + 6 = -2*t. Put -4, 4, f, 1 in decreasing order.
4, 1, f, -4
Suppose -2*f - 5 = -3*f. Suppose -u = q + 4, -2*q + 4*u - f - 9 = 0. Sort q, -0.3, -2.
q, -2, -0.3
Let r = 0.15 - 0.05. Sort r, 3, -2 in decreasing order.
3, r, -2
Let k = 7 - 0. Let a be (-8)/(-28) + 26/k. Sort a, 5, -5.
-5, a, 5
Let t = -155 - -1087/7. Let n = -0.4 + 1.4. Put t, 1/2, n in increasing order.
t, 1/2, n
Let x = -22 + 24. Let l(n) = n**2 - 5*n - 3. Let t be l(6). Put -3, t, x in ascending order.
-3, x, t
Let c = -6 - -4. Let z be ((-5)/2)/(c/4). Suppose z*d - 19 = 2*m, d = 5*m - 2*d + 19. Put -3, -1, m in increasing order.
-3, m, -1
Let k be (-36)/16 + -1 - -3. Put k, -0.07, -0.4 in decreasing order.
-0.07, k, -0.4
Suppose 1 - 9 = -4*r. Let f(u) = 5*u + 16. Let z be f(-4). Sort -2, z, r in decreasing order.
r, -2, z
Suppose 0 = 4*n + 4*z + 8, 30 = 4*n - 3*z + 3. Put 5, 0.4, n in ascending order.
0.4, n, 5
Let l(g) = -4*g + 40. Let n be l(11). Sort -8, 5, n in increasing order.
-8, n, 5
Suppose -5*s + 10 = -5*v - 30, -5*s = -v - 24. Put 0, v, -3 in descending order.
0, -3, v
Let o = 17 - 16. Let c = 3 - 2.9. Let n = 0.1 + -0.1. Sort n, c, o in ascending order.
n, c, o
Let q = -4.07 + 4. Let l = -11 + 10.6. Sort l, -0.1, q in increasing order.
l, -0.1, q
Let j be ((-48)/(-40))/((-3)/10). Sort j, 0, -5 in decreasing order.
0, j, -5
Let z = 0.312 + 0.088. Put 1, -4, z, 2 in decreasing order.
2, 1, z, -4
Let v = -9 - -4. Let b = 31 + -34. Sort -2/17, v, b in increasing order.
v, b, -2/17
Let x(b) be the third derivative of b**4/24 - 11*b**3/6 - 3*b**2. Let y be x(13). Let j = -0.8 - -0.3. Sort 1, j, y.
j, 1, y
Let u be -4 + 4 + 7 - 3. Suppose 0 = k + 5*s + 31, -5*s + 34 = -u*k - 7*s. Sort k, 1, 2 in descending order.
2, 1, k
Let d = 1 - 0. Let k be 6*((-14)/(-4))/d. Suppose -5*z + k = 2*r, 4*r + 6*z - 17 = z. Put 5, r, 1 in ascending order.
r, 1, 5
Let r be 1/2*(1 - 1). Let o be (-2)/(4/(-10)) + 0. Suppose o*l - 28 = j, 0 = -2*j - 2*l + 4. Put -1, j, r in decreasing order.
r, -1, j
Let c be (-4)/(-10) - (-54)/(-10). Let j = -12 - -11. Sort 3, j, c.
c, j, 3
Let r = -59 - -62. Sort 0.07, r, -3.
-3, 0.07, r
Let j = -36 + 37. Let k = 397 + -5957/15. Sort j, k, -0.1 in decreasing order.
j, -0.1, k
Let t = 371/10 + -37. Put 4, 2, t, -2 in descending order.
4, 2, t, -2
Let i be 0/(-2*(-3)/(-6)). Suppose 9 = 2*s - 3*j + 8*j, 5*s + 27 = 4*j. Put -5, s, i in ascending order.
-5, s, i
Suppose 2 = -2*p + 6. Sort 1, -2, -8, p in increasing order.
-8, -2, 1, p
Suppose 0 = 5*f - 22 + 2. Suppose 0 = 5*o + f*s - 0*s + 3, -o = -3*s - 7. Put -2, o, 5 in descending order.
5, o, -2
Let r be 108/26 + (-2)/13. Let f be r/(1 - (3 - 0)). Sort -4, -0.3, f.
-4, f, -0.3
Let u be (-6)/4*14/35. Put u, 3/4, 2 in descending order.
2, 3/4, u
Suppose 0 = 2*s - 109 - 1. Suppose -4*y + s = 5*v, -2*y - 11 = -v - 3*y. Suppose -5*d = m + 15, 5*m - 3*d - v = -2. Put m, -4, 2 in ascending order.
-4, m, 2
Let f = 76 - 80. Sort 2, -5, f, -7 in descending order.
2, f, -5, -7
Let w be 0/(-1 - (0 - -1)). Let z be -3 - (w - (0 - 1)). Let k be 29/84 - (-1)/z. Put 1/2, 0.1, k in increasing order.
k, 0.1, 1/2
Let a be (-4)/(-39)*6/(-4). Let r be (-65)/(-12) - 3/(-12). Let j = r - 35/6. Sort a, 0.2, j in ascending order.
j, a, 0.2
Suppose 2*u - 3 = -u. Suppose 2*p - 5 = -u. Suppose -c = p*c. Sort 5, -4, c in increasing order.
-4, c, 5
Let o be (-2)/7 + 90/21. Suppose -a + 10 = o*a. Suppose -r = 2*r - 15. Put r, -2, a in decreasing order.
r, a, -2
Let f = -1 - -1. Let p = 1 - 2. Let g be p + 1 + 2/(-6). Sort f, g, -2 in increasing order.
-2, g, f
Let b = 4 - 7. Let j(w) = w**3 + 2*w**2 - 2*w - 3. Let h(k) = -k + 4. Let v be h(6). Let a be j(v). Put a, b, 4 in descending order.
4, a, b
Suppose -2*x - 14 = -2*c, 3*c - 7*c = -5*x - 31. Suppose 2*a + 4*z - 6*z + 2 = 0, 0 = 5*z. Let r be a*3*(-4 - -3). Sort r, c, 5 in decreasing order.
5, c, r
Let d(f) = f**3 + 6*f**2 + 1. Let p be d(-6). Put p, -1, -2 in decreasing order.
p, -1, -2
Let c be ((-6)/(-3))/(2/(-4)). Suppose y + 20 = 5*y. Sort c, -3, y.
c, -3, y
Let j be (-15)/75 + 4/(-5). Let i be -1 - 0 - (-6)/2. Sort j, -4, i in decreasing order.
i, j, -4
Suppose -2*n - 21 + 25 = 0. Sort 3, n, -2, -1 in descending order.
3, n, -1, -2
Suppose -9 = -3*u - 3*a, 9*a - 5*a = 3*u + 12. Sort -2/3, u, 5 in ascending order.
-2/3, u, 5
Let q be (-3)/(-6) - (-2)/4. Let w = q - 0. Put 0, w, -2 in increasing order.
-2, 0, w
Let b = -20 - -16. Sort b, -2/5, -3 in decreasing order.
-2/5, -3, b
Let f(w) = w**2 + w - 2. Let i be f(-3). Suppose 0 = -7*g + 134 - 162. Sort 3, i, g in decreasing order.
i, 3, g
Suppose 3*b = 0, 0 = 2*v + 3*b + 3 + 1. Sort 0.1, v, 1/4 in increasing order.
v, 0.1, 1/4
Suppose 21*v - 13*v - 11*v = 0. Put v, -3, 1, 4 in descending order.
4, 1, v, -3
Let j(i) = 13 - i + i**2 - 4*i - 19. Let y be j(6). Sort 3, 2, y in ascending order.
y, 2, 3
Let s be (-3 - -1)/((-9)/(-3)). Let n = -0.63 - -0.13. Sort n, -3, s in decreasing order.
n, s, -3
Let l be (20/(-3))/(10/(-15)). Let m = -7 + l. Let r be -1 - 3/m - 1. Sort 0.2, 0.3, r in increasing order.
r, 0.2, 0.3
Suppose 3*f - 42 = -5*u, 0 = 4*u - 4*f + 5 - 45. Let l = u - 8. Sort l, -10, -5 in descending order.
l, -5, -10
Let o(d) = -3*d + 7. Let b be o(6). Let w = b + 7. Put 4, 5, w in increasing order.
w, 4, 5
Let b = 0.129 - -1.871. Sort b, -2, 1, -5 in descending order.
b, 1, -2, -5
Let x = 14 - 18. Sort 2/3, -0.3, x in increasing order.
x, -0.3, 2/3
Let l be 15 + -18 + 1/1. Suppose f - 7 = 2*a, 6*f = 4*f - 2. Suppose 4*p + 9 = 3*u, 5*p - 3*u = u - 12. Sort l, p, a in increasing order.
a, l, p
Let x = 30 + -27. Sort 4, -5, x, -3 in increasing order.
-5, -3, x, 4
Let h = -1.24 - -1.197. Put -3, 5, h in increasing order.
-3, h, 5
Let i = 0.92 - -0.08. Let k = 0.046 + -3.046. Let b = -0.4 - -0.3. Put k, b, i in increasing order.
k, b, i
Let q be (11 - 2)/(3/(-2)). Let r(m) = -m**2 - 7*m - 6. Let d be r(q). Let b(x) = x**3 + 8*x**2 - 6*x - 46. Let y be b(-8). Put y, d, -1 in decreasing order.
y, d, -1
Suppose 11*r = 6*r. Sort r, 4, -2 in descending order.
4, r, -2
Let a = -1/83 + 253/332. Put -5, a, -2/3 in increasing order.
-5, -2/3, a
Suppose -3*a = a + 4. Let n(s) = s**2 + 6 + 0*s**2 - 4*s - 3*s. Let r be n(5). Sort a, r, -3 in descending order.
a, -3, r
Let m = -3.71 - 0.09. Let p = m + 1.8. Sort -1, p, 0.
p, -1, 0
Let i be (-4)/10 - 28/5. Sort 4, i, -0.2 in ascending order.
i, -0.2, 4
Suppose 105 = -15*j - 6*j. Let b(r) = r**2 - 2*r - 3. Let c be b(-2). Sort j, c, -4.
j, -4, c
Let d(l) = 103*l. Let v be d(-1). Let t = 145 + v. Let u be (-2)/6 + t/(-9). Sort 4, 5, u in increasing order.
u, 4, 5
Let d(l) = -l**3 + 7*l**2 - 8*l + 9. Let v be d(6). Sort v, 1, 0, -4 in descending order.
1, 0, v, -4
Let q be (-2)/5 - (-770)/50. Let u = -10 + q. Sort u, 0, -4.
-4, 0, u
Suppose -31 = 5*s - 181. Suppose -4 = -2*h + s. Suppose h = 4*u + 5*x - 3, 0 = -x. Sort u, -3, 3 in decreasing order.
u, 3, -3
Let l = -21 + 22. Let a = 6 + -3. Sort l, -1/4, a in increasing order.
-1/4, l, a
Let y = -0.01 + 0.21. Sort 0, y, -0.4 in increasing order.
-0.4, 0, y
Let o = -0.08 - -3.08. Let u be (-2)/(-8)*(12 - 0). Let r be (1/u)/((-10)/45). Sort r, 1, o in decreasing order.
o, 1, r
Let f = -5 + 8. Let i = -2.33 + 2.43. Sort f, i, -13 in ascending order.
-13, i, f
Let l = -9.1 + 3.9. Let g = l + 0.2. Sort g, 0.4, -2/5 in descending order.
0.4, -2/5, g
Let y = -3 - -3.02. Let w = -29 - -29.4. Sort y, 0, w in d