se j + 5*v - 3 = 0, 3*j - 4 = 4*v + 5. Suppose 0 = -2*f - k, 3*k - j = -f + k. Let m be (12/(-2))/2*f. Put m, -5, -2 in descending order.
m, -2, -5
Let f = 3 + 0. Let k = -2 + -3. Let m = k + 5. Put m, 1, f in increasing order.
m, 1, f
Let z = 87 + -263/3. Sort 1/6, 2/3, z.
z, 1/6, 2/3
Let q = -54.6 + 55. Put -0.8, -2/13, q in decreasing order.
q, -2/13, -0.8
Let g = -0.425 + 0.025. Sort 2/7, -6, g in increasing order.
-6, g, 2/7
Let n(z) = z**3 + 9*z**2 - 3*z - 13. Let h be n(-9). Suppose h = 5*r - 6. Suppose -q + 3*q = 0. Put r, -4, q in descending order.
r, q, -4
Let b = -10 - -11.1. Let c = -2.07 - -0.94. Let t = b + c. Put 1, t, -1 in decreasing order.
1, t, -1
Let f = -28 - -23. Let i be 13/9*36/(-465). Let w = i - 2/93. Sort w, f, -0.2 in increasing order.
f, -0.2, w
Let b(v) = v**3 - 2*v**2 - v - 4. Let f be b(3). Let m(d) = 2*d - 9. Let p be m(7). Let r = 9 - p. Put f, 0, r in descending order.
r, f, 0
Let u(l) = -l**3 - 7*l**2 + l + 6. Let f be u(-7). Let r be 3*(0 + f + 0). Put -1, r, 3 in increasing order.
r, -1, 3
Let m be (-4 + 0)/(-2) + (3 - 2). Sort m, -3, -1/7 in ascending order.
-3, -1/7, m
Let d = -8 - -6. Let a = 0 + 5. Sort d, a, 0 in decreasing order.
a, 0, d
Let y = -0.2 + 0.7. Sort 0.4, -4, y in ascending order.
-4, 0.4, y
Let v be (-1*1)/(7/2). Let f = 16 - 10. Let p = 6.2 - f. Sort p, v, 0.
v, 0, p
Let r = 0.18 + -0.18. Sort 1, 0.4, r in decreasing order.
1, 0.4, r
Let n(o) = -o**2 - 3*o + 3. Let a be n(-4). Let q = 2.2 + -2. Let u = 2.4 + -4.4. Sort q, a, u.
u, a, q
Suppose 0 = 2*v + 6. Let u = 0 + 3. Suppose -u*d + 8 = -d. Sort v, -4, d.
-4, v, d
Let k be (-2)/(-3 + -1 + -4). Sort k, 1, -0.8, -1.
-1, -0.8, k, 1
Let o = -5.3 + 5.1. Let m = -0.036 - -6.336. Let c = 6 - m. Sort c, 0.3, o in descending order.
0.3, o, c
Let s(f) = 6*f**2 - f. Let y be s(-1). Suppose 0 = 5*u - y*u. Sort -4, 4, u.
-4, u, 4
Suppose 11 = -5*q + 1. Suppose -o + 22 = 5*v, 0 = 3*o + 2*v - 4*v + 2. Put 3, o, q in ascending order.
q, o, 3
Suppose 0 = -7*m + 10*m. Suppose b + b = m. Suppose -4*r + a + 17 = -b*a, a = -2*r + 13. Put r, 0, 3 in descending order.
r, 3, 0
Let w = -9 + 11.5. Let l = -1.5 - w. Put 5, l, -0.5 in decreasing order.
5, -0.5, l
Let j be 2/(-16)*(0 + 2). Put 1/8, j, -1/7 in descending order.
1/8, -1/7, j
Let i(h) = h**3 + 5*h**2 - 7*h - 8. Let g be i(-6). Let d = 1/10 - 8/5. Let o = 4.08 - 0.08. Put g, o, d in increasing order.
g, d, o
Let o = 7.2 + -9. Let u = o + 1.36. Let p = u - -0.04. Put 2, 3, p in ascending order.
p, 2, 3
Let o = -0.78 - 0.12. Let s = o + -0.1. Let g = s + -2. Sort -2, g, 4 in descending order.
4, -2, g
Let p be ((-11)/(-11))/((-1)/2). Put 0, -4/5, p in increasing order.
p, -4/5, 0
Let n = 7 + -6.9. Put -2/13, -5, -0.1, n in increasing order.
-5, -2/13, -0.1, n
Suppose 0*c + 4*c = 0. Put -1, c, -4 in descending order.
c, -1, -4
Let x = -23.18 - -25.2. Let r = 0.02 - x. Let g = 27 - 24. Sort r, 0.3, g in descending order.
g, 0.3, r
Let r = -4.89 - -5. Let x = -2.11 + r. Let w = 0 + -1. Put -1/2, w, x in decreasing order.
-1/2, w, x
Let z = -0.9 - 4.1. Let r = -5.4 - z. Let t = 0.2 + r. Sort 5, 0.1, t in increasing order.
t, 0.1, 5
Suppose -s = -2*s. Sort 4, s, -3 in increasing order.
-3, s, 4
Let b be (2/8)/(2/(-4)). Suppose 0 = -n - 2*d + 3*d - 4, -3*n = 5*d - 28. Put 2, b, n in descending order.
2, n, b
Let b be ((-1)/(-3))/((-6)/(-18))*2. Sort b, -2, 0 in descending order.
b, 0, -2
Let q be 0/(-1) - (0/(-2))/(-1). Put -5, q, -15 in decreasing order.
q, -5, -15
Let a = -2.8 + -1.24. Let g = a - -0.04. Put 3, g, 5 in decreasing order.
5, 3, g
Let b(f) = f - 6. Let h be b(11). Suppose -t - 5 = -h*v - 18, 0 = -4*v + 5*t - 2. Let s be ((-2)/(-3))/((-1)/3). Sort s, 3, v in ascending order.
v, s, 3
Let i be (2/6)/(1*(-6)/54). Sort 2, i, 3, 5 in increasing order.
i, 2, 3, 5
Suppose 5*a + 16 = -4*z, 2*a - 2*z = 4*a + 8. Let r = 0 + 2. Put a, r, 1 in decreasing order.
r, 1, a
Let i be 55/11*(-4)/5. Suppose -u = -2*d + 5, -u - 25 = 4*u. Put i, -5, d in decreasing order.
d, i, -5
Let o = -0.13 - 7.87. Let y = -5 - o. Put y, -5, 5 in increasing order.
-5, y, 5
Let j be (22/(-6) + 1)/((-38)/57). Sort j, -1, 6 in descending order.
6, j, -1
Let a(i) = -i**2 - 8*i - 4. Let s be a(-8). Let c be (-9)/(-24) - 20/(-32). Let x = -7 - -4. Sort c, x, s in decreasing order.
c, x, s
Let a(k) = -k**2 - 3*k + 17. Let j be a(-6). Sort 5, 0, j, -5 in decreasing order.
5, 0, j, -5
Let n(p) = -2*p - 2. Let z be n(-2). Sort -4, z, 1.
-4, 1, z
Let l = 22 + -17. Put -2, l, -10, 2 in descending order.
l, 2, -2, -10
Let y = 4.01 + -0.01. Let z = 8 - y. Let l be (0 + 1 + -3)/2. Put 5, z, l in descending order.
5, z, l
Let i = 22 - 23. Let u = -0.01 + -0.39. Sort i, -1/3, u.
i, u, -1/3
Suppose -5*l + 3*h = 19, -3*h + 0 = l + 11. Put 2, l, 4 in decreasing order.
4, 2, l
Let h = 3 - 3.5. Let j = -2 + -4. Let f(m) = -m**3 - 6*m**2 + m + 6. Let z be f(j). Sort z, h, -3 in descending order.
z, h, -3
Let k = 0 - 0. Let s be 1 + k + -1 + -5. Suppose 1 = 4*p - 15. Sort 1, s, p in increasing order.
s, 1, p
Let b(o) = -o**2 + 6*o - 4. Let m be b(6). Put m, -1, 0, -2 in decreasing order.
0, -1, -2, m
Suppose 4*i - 2*o = 342, -2*o + 156 = 2*i - 0*o. Let r = -335/4 + i. Put -2/19, -4, r in ascending order.
-4, r, -2/19
Let o = 20 + -19. Put 4, o, -1 in decreasing order.
4, o, -1
Let p = 3.6 + -1.6. Sort -5, p, -0.3 in descending order.
p, -0.3, -5
Let j be 20/(-6)*18/(-15). Put -2, 2, j in increasing order.
-2, 2, j
Let d be (12/(-10))/(1/(-5)). Let n be d/(-38)*(-2)/(-3). Put n, -3/7, 3 in descending order.
3, n, -3/7
Suppose -2*i - s = -7, i + i = -5*s - 5. Let n = 51 + -458/9. Sort n, -2, i.
-2, n, i
Suppose 5*j = -5*c - 10, 2*j - 4*j = -4*c + 22. Sort -4, -3, j in descending order.
-3, -4, j
Let h(z) = -5*z + 4. Let i be h(5). Let s be (3 - 2)/(i/(-6)). Let n = -0.06 + -0.44. Put 0, n, s in descending order.
s, 0, n
Let q(w) = w**3 + 3*w**2. Let z(c) = c + 9. Let m be z(-11). Let s be q(m). Sort s, 0, -3 in decreasing order.
s, 0, -3
Let z = 27 + -51. Let w = z + 24.4. Put w, -3, 4 in descending order.
4, w, -3
Let b = -0.43 - -2.53. Let g = b + -2. Let s = -5.1 + g. Sort -0.3, 2/9, s in increasing order.
s, -0.3, 2/9
Let c = -4 + 3.7. Suppose g + 4*g + 25 = 0. Let a = -6 + 2. Sort g, c, a in decreasing order.
c, a, g
Suppose 2*x = -2*x + 24. Let c = -5 + x. Sort 3, c, -3 in increasing order.
-3, c, 3
Let i = -3 - -7. Sort -1, 1/6, i in decreasing order.
i, 1/6, -1
Let n(m) = m**3 + 11*m**2 + 11*m + 15. Let g be n(-10). Sort g, 0, 4 in increasing order.
0, 4, g
Let p = -50 + 50. Put 0.2, p, -1/6 in ascending order.
-1/6, p, 0.2
Let n(k) be the second derivative of k**3/3 + 2*k**2 - 2*k. Let z be n(-4). Sort 1, 0, z in increasing order.
z, 0, 1
Let c(h) = 2*h. Let d be c(1). Suppose -2*q + 7 + 3 = 0. Put -3, q, d in increasing order.
-3, d, q
Let n = 52 - 52. Sort -5, -0.2, n.
-5, -0.2, n
Suppose 8 = -z - z. Let l be -4*z/24*-6. Put -3, l, -5 in increasing order.
-5, l, -3
Let d be (-20)/(-4 - (-3)/1). Let u be (16/d)/((-2)/10). Let j = u - -7. Sort j, -4, -2 in decreasing order.
j, -2, -4
Let m be (-2)/(-10) + 16/(-5). Let q be (m - (2 + -4)) + 2. Suppose -4*y = -4*x - 4, -x - 1 = y - 4*x. Put -3, y, q in increasing order.
-3, q, y
Suppose z - 4*p = 5*z - 24, 0 = p - 3. Suppose -2 = -g + z*g. Sort 3, g, 5 in descending order.
5, 3, g
Let y be (-4 - 85/(-20))*-6. Sort 3, -4, y, 2.
-4, y, 2, 3
Suppose -3*v = -5*i - v + 12, 0 = 2*i - v - 4. Let k be -1 - (3 + -3 + -4). Sort k, i, -3 in descending order.
i, k, -3
Suppose 15 = 7*k - 2*k. Let d be (-28)/126 + (-25)/9. Put k, 2, d in descending order.
k, 2, d
Let l = 2 + 2. Let g = l - 6. Let d = 386/5 - 77. Sort d, -1, g.
g, -1, d
Suppose -2*b + 3*u = 5, -2*b - 3 = u - 2. Sort b, -4, -5, 3.
-5, -4, b, 3
Let i be ((-1)/10)/(50/125). Let j be 2 - (-1 - (-3 + 1)). Let x be 1 + j*(-2 - -2). Sort i, x, -1/7 in ascending order.
i, -1/7, x
Suppose -5*f = 4*j - 20, -f - j + 3 + 2 = 0. Let c(t) = -6*t - 10. Let s be c(-3). Suppose x + s = -5*p, -3*p = p - x + 10. Sort f, p, -3 in increasing order.
-3, p, f
Let a(n) = n**2 - 5*n + 6. Let z be a(6). Suppose 5*q = 8 + z. Suppose -5*y = 3*s - 24, 7 = y - q*s + 16. Sort y, -3, 5 in descending order.
5, y, -3
Let f be (3/(-2))/(-3 - 15/(-6)). Put 30, -4, f in incr