10. Let q be n(5). Sort q, 0, x in decreasing order.
x, 0, q
Suppose 0 = 2*c + 11 - 1. Let s(n) = -n**2 + 11*n + 12. Let l be s(12). Sort c, 4, l in descending order.
4, l, c
Suppose 0 = 2*b - 0*b. Suppose -5*a + 40 = -5*n, 0*a + 14 = 3*a - n. Suppose -a*r - 1 = 5. Sort -4, b, r in decreasing order.
b, r, -4
Let w = 21 - 51. Let f = w + 20. Let c = f + 14. Put c, 3, -5 in ascending order.
-5, 3, c
Suppose 0 = 7*n - 6*n - 2. Suppose 0 = 25*x - 27*x. Sort n, -5, x in descending order.
n, x, -5
Suppose 4*w - 15 = 7*w. Put 1, w, 4 in descending order.
4, 1, w
Suppose 0 = 4*x + 5*u + 16, -u - u - 11 = -3*x. Let a = -2 + 1. Let k be a + (2 - 2) + -2. Sort k, -1, x in descending order.
x, -1, k
Let z = 6 - 8. Let u = 2/9 - 1/3. Sort u, -1/6, z in ascending order.
z, -1/6, u
Let m be (14/(-4))/((-3)/9). Let b = m - 10. Let r = -0.2 + 0.1. Sort r, b, -4.
-4, r, b
Let l = -44 - -47. Sort -2/11, l, -1/12, 3/2 in increasing order.
-2/11, -1/12, 3/2, l
Suppose 5*d + 22 + 8 = 0. Sort -2, d, -2/9, 2/13 in ascending order.
d, -2, -2/9, 2/13
Let m(t) be the third derivative of -t**4/24 - 4*t**3/3 - 5*t**2. Let w be m(-12). Sort w, -6, 5 in ascending order.
-6, w, 5
Let p be (2/(-3))/((-4)/12). Suppose -f + p*f = 4. Sort -2/7, f, -1.
-1, -2/7, f
Suppose 0 = -10*d + 58 - 8. Put 1, d, 16, 2 in decreasing order.
16, d, 2, 1
Suppose -3*s - 1 = 2. Sort s, -2, -9 in descending order.
s, -2, -9
Suppose -1 + 3 = o. Let t be 4/(-6) + o/6. Sort 0.5, -1/8, t in decreasing order.
0.5, -1/8, t
Let d(x) = 2*x**2 + x - 1. Let w be d(1). Suppose -7 + w = -5*z. Put 3, -1, z in descending order.
3, z, -1
Suppose z - 14 = s, 0*z + 4*z - 59 = 5*s. Let t = -193 - -195. Put t, z, -1/5 in descending order.
z, t, -1/5
Let k(z) = z**2 + z - 2. Let u be k(0). Let g = -1 + 0. Put -4, u, g in descending order.
g, u, -4
Suppose -6 = 3*h - 5*q + 4, -3*h = -2*q - 5. Suppose h*o - 6*o = 4. Put o, -0.4, -0.06 in descending order.
-0.06, -0.4, o
Suppose y - 42 = -y. Suppose 2*z + 4*w - y = -3*z, 0 = -z - w + 5. Let h = -0.1 + 0.6. Sort 0.1, h, z.
0.1, h, z
Let m be 1/(45/155) - 3. Put -0.3, m, -6/11 in ascending order.
-6/11, -0.3, m
Let v be -2*5/120*(-6)/(-4). Put 0.3, 5, v, 2/5 in descending order.
5, 2/5, 0.3, v
Let i(p) = -p**3 + 3*p**2 + 11*p - 1. Let v be i(5). Put 1, v, 1/2 in ascending order.
1/2, 1, v
Let n = -32 - -23. Let r = n + 5. Let q = 10 + -15. Sort -4/5, r, q in increasing order.
q, r, -4/5
Let a(t) = 7*t + 2. Let o be a(0). Let n(g) = 2*g - 7. Let k be n(5). Sort 1, k, o in descending order.
k, o, 1
Let n(p) = 2*p**2 + 1. Let u be n(1). Suppose 8*t = u*t + 30. Sort t, -5, 5 in descending order.
t, 5, -5
Let a be 3484/42 - (-2)/6. Let g(f) = -f**2 - 19. Let n be g(8). Let x = a + n. Sort x, -4, -2/13.
-4, -2/13, x
Let v = 8.3 - 11.3. Put -4, v, 0.2, -5 in ascending order.
-5, -4, v, 0.2
Let r be 18/60 - (2 - 4). Let k = 21/10 - r. Sort k, 0.5, 2 in ascending order.
k, 0.5, 2
Let d = 19.6 + -20. Let t be (-3)/(-6) - 1/6. Put -4, d, t in decreasing order.
t, d, -4
Let k = -10 + 11. Suppose i = -2*p + 8, -i - i = p - k. Suppose 6*s = p*z + 2*s - 14, 4*s = -2*z. Sort z, 4, -3 in ascending order.
-3, z, 4
Let d(w) be the third derivative of w**5/60 + w**4/12 - w**3/3 + 4*w**2. Let v be d(-3). Sort 0, v, 3 in decreasing order.
3, v, 0
Let p = -0.2 + 0.1. Let r = 5.5 - 0.5. Sort p, 2/9, r.
p, 2/9, r
Let a = 4.3 - 7.3. Sort a, 13, -1 in decreasing order.
13, -1, a
Let f(w) be the first derivative of w**4/4 + 7*w**3/3 - 3. Let b be f(-7). Suppose -j - 2*j - 7 = -2*d, 2*j + 3*d + 22 = 0. Sort 2, j, b in descending order.
2, b, j
Suppose -2*p + s + 4 = -0, 0 = -2*s - 4. Put -1, -0.02, p in ascending order.
-1, -0.02, p
Suppose -2*d - d + 9 = 0. Sort 1, 2/15, d in descending order.
d, 1, 2/15
Suppose -z - 8 = -13. Sort -3, -1, z in decreasing order.
z, -1, -3
Suppose -5*c + 13 = 3*t, -5*t + c = 3*c - 9. Let u = 298 - 297.8. Put 0, u, t in descending order.
t, u, 0
Let v be (-3)/(-5) + (-6)/15. Let u = 18 + -14. Put v, u, -0.3 in ascending order.
-0.3, v, u
Let z = -0.2 - 0.3. Let s = -2.5 - z. Let g = -507/5 - -101. Put 0, g, s in ascending order.
s, g, 0
Let l be 1*-3 - (0 + 1). Let b(r) = -r - 7. Let w(t) = -2*t**2 + 2*t + 3. Let q be w(3). Let m be b(q). Sort m, 0, l in ascending order.
l, 0, m
Let k = 25 + -26. Sort k, 5, 0 in ascending order.
k, 0, 5
Let k = -4/85 - 6/85. Sort -2, k, -0.2 in ascending order.
-2, -0.2, k
Let v = -10 + 15. Suppose 0*l = -v*l + 5, -l + 3 = u. Put u, -2, 3 in increasing order.
-2, u, 3
Let v = 2.97 + 0.03. Let c(h) = 2*h + 8. Let f be c(-7). Let r be -6*(-2 + (-14)/f). Sort v, -1, r.
r, -1, v
Let k(g) = g**3 + 2*g**2 - 3*g - 3. Let v be k(-2). Let l = 3.95 - -0.05. Sort l, v, -0.4.
-0.4, v, l
Suppose 5*h - h = 0. Sort 2, 6, 4, h in descending order.
6, 4, 2, h
Suppose 2*a = 4*m + 4, -4*m - 6 = 4*a - 2. Suppose 0 = -r - 2*u + 12, -5*r + 53 = -u + 4. Let d = 15 - r. Put -2, m, d in descending order.
d, m, -2
Let g = 11 - 7. Suppose y + 0*u - 3*u = 6, -g = 2*u. Suppose 0*x + 12 = 3*x + 5*p, -5*x - p - 2 = y. Sort 4, x, -5 in increasing order.
-5, x, 4
Let d be 2/(-5)*10/(-4). Sort -4, d, 4.
-4, d, 4
Suppose -2*s + 0*s + 10 = 0. Let q be 14/21 + s/(-6). Put -4, -0.5, q in ascending order.
-4, -0.5, q
Let g = 0.03 - -0.97. Let m = -0.03 - 0.57. Let t = m + g. Sort 1/6, -2, t.
-2, 1/6, t
Let w be (1/5)/(63/70). Let u = -4 + 4.3. Let g = 0.15 - 2.15. Sort w, u, g in increasing order.
g, w, u
Suppose 0 = 3*c + 2*p + 4, 0 = -2*c + p + 2 - 0. Let y(m) = m**2 - m + 3. Let r be y(c). Let q = -2 - -2. Put r, 2, q in descending order.
r, 2, q
Let l be (-2)/7*2/6. Put -3, 0, l in descending order.
0, l, -3
Let b be ((-3)/2)/(6/(-4)). Let w = 1 + b. Suppose g - 2*a = -w*g + 9, -5*g + 31 = 2*a. Sort -0.3, -2/3, g in descending order.
g, -0.3, -2/3
Let q be (1 + -1)/1 - -1. Let t be 18/(-63) - 0/q. Let o be ((8/6)/2)/1. Sort -4, t, o in increasing order.
-4, t, o
Let s(h) = -2*h - 1. Let x be s(1). Let o(u) = -u**2 - 2*u - 3. Let f be o(x). Sort -5, 4, f in decreasing order.
4, -5, f
Let n = 1 - -1. Let k = n - 2.4. Let q be (4*1/(-3))/6. Sort q, k, 0.5.
k, q, 0.5
Let l(z) = 11*z - 136. Let o be l(12). Let p = 11 + -3. Sort o, p, 1 in increasing order.
o, 1, p
Suppose -2*a = a. Let f = a + 4. Sort 2, -3, f in descending order.
f, 2, -3
Let i be -3 - -4 - -2 - 1. Let x = i - 5. Sort x, 1, 5 in ascending order.
x, 1, 5
Suppose -n + 1 = -1. Let c be (-2 + n)*(0 + 1). Suppose 3*i + 22 = 4*r - 6, r - i - 8 = 0. Put r, -1, c in ascending order.
-1, c, r
Let y = -16 - -12. Let q = y - -8. Sort q, -4, 1/4 in ascending order.
-4, 1/4, q
Let y(w) = w**2 - 5*w - 23. Let f be y(-3). Let n be 1*(1 - 2) + 6. Sort 2, n, f in descending order.
n, 2, f
Suppose 6*w = w + 15. Sort w, 5, -3, 4.
-3, w, 4, 5
Let k = 2 - -3. Suppose 2*h - a + 4*a = 2, 0 = -k*h - 3*a + 14. Let o(q) = -q**2 + q + 2. Let m be o(2). Put m, h, -2 in decreasing order.
h, m, -2
Let m = 38.3 - 59. Let j = m - -21. Sort j, -0.1, 2/11.
-0.1, 2/11, j
Let h be (-1)/5 - (-4)/20. Let q be 2/11 + (-124)/(-44). Suppose q + h = 3*m. Sort 5, -4, m.
-4, m, 5
Suppose -5*q + 3*s - 15 = 0, -2*s = 3*s. Let a(z) = -z**2 - z + 4. Let v be a(0). Sort q, v, -4 in ascending order.
-4, q, v
Suppose 0 = d + 3. Let w = -7 + 6.7. Put 1, d, w in decreasing order.
1, w, d
Let s = 9.6 - 10.2. Sort 0, s, -5 in increasing order.
-5, s, 0
Let v be 0 - (3 - 0)/3. Let r be (-6)/(-4)*12/(-27). Let h = r - -1/6. Sort v, h, 1.
v, h, 1
Let g(x) = -2*x - 7. Let d be g(-5). Put -5, d, -4 in descending order.
d, -4, -5
Let v(f) = -4*f - 1. Let a be v(-1). Let t(h) = 5*h + 20. Let n be t(-4). Sort n, 6, a.
n, a, 6
Let z = -18 + 18. Let h be (-3)/(3/2 + z). Put -5, 2, h in descending order.
2, h, -5
Let c be 44/10 - 36/(-60). Sort 2/7, c, 2 in ascending order.
2/7, 2, c
Let s = -0.01 + -0.99. Let c = s + 1.4. Sort 0.2, c, -2/11.
-2/11, 0.2, c
Suppose -8*w = -5*w + 9. Sort -2, w, 1/3 in decreasing order.
1/3, -2, w
Let x = -69 - -212/3. Let j be (1 - 2) + 15/12. Put -0.5, j, x in descending order.
x, j, -0.5
Suppose -7*i = -2*i - 20. Suppose -i*c - 33 = -9. Let m be 2 + -2 + (-4)/c. Put m, -2/5, -1/6 in descending order.
m, -1/6, -2/5
Let q be ((-3)/1)/((-10)/10). Let x be 1 + 1 + -4 - q. Suppose -5*m + 6*w - w = 15, -4*m - 18 = 2*w. Put m, -1, x in incr