 3 + 6 = 3*t. Suppose -2*n + 4 = -t*a, n + n - 2*a - 6 = 0. Put -3, n, 4 in descending order.
n, 4, -3
Let g be -6*(8/(-4) + 3). Put 0, g, 5 in decreasing order.
5, 0, g
Let m be (-5)/7 + (-2)/7. Sort m, 4, -6, 3 in increasing order.
-6, m, 3, 4
Let l = -11 + 15. Let t = l - 4.3. Let f(h) = -h**2 + 33*h + 104. Let o be f(36). Sort 0, o, t.
o, t, 0
Let j(p) = p**2 + 4*p - 2. Let b be (-2)/8 + (-120)/32. Let n be j(b). Sort -0.1, -0.5, n in descending order.
-0.1, -0.5, n
Let o = -88/3 + 974/33. Let q be (15/(-6))/(2/4). Sort o, 0.2, q in ascending order.
q, o, 0.2
Let q = -7 + 2. Let l = 5 + q. Sort 9, l, 2/9 in decreasing order.
9, 2/9, l
Let x = -1 - -1.08. Sort -5, x, 3.
-5, x, 3
Let r = 0.7 + -0.1. Let w = r - 0.4. Put 3, -1, w in descending order.
3, w, -1
Let w = -8 + 7. Let l be 1/9*(2 + w). Let d be (-2)/6 + (-38)/(-78). Sort 3, d, l in ascending order.
l, d, 3
Let v(p) = -6*p + 9. Let z be v(2). Put 0, 4, z, -2 in descending order.
4, 0, -2, z
Let n be (-13)/21 + 4/14. Put -2, -1/4, n in descending order.
-1/4, n, -2
Let h = -21 + 9. Suppose 4*b = -16 - 0. Let o be (0 - b)*(-9)/h. Sort 5, 4, o in descending order.
5, 4, o
Let m be (-1 - -5) + -5 + 1. Sort -8, m, 4 in decreasing order.
4, m, -8
Suppose -2*c - 2*c - 4 = 0. Let n be (1 + 0)/(2/(-4)). Sort 1, c, n in descending order.
1, c, n
Let l = 2/77 - 164/385. Sort -5, -5/3, l in descending order.
l, -5/3, -5
Let z be ((-1 + 3)/(-2))/(-1). Let t be (-1 + z)/((-4)/(-2)). Let d(c) = -c**2 + 14*c - 45. Let s be d(10). Sort 4, t, s in descending order.
4, t, s
Let f = -3/55 - -131/385. Let g = 169.9 + -170. Sort f, -5, g in descending order.
f, g, -5
Let r(o) = -o**2 + 8*o - 7. Let b be r(6). Let c be (-1 - (-3 - -2))/(-1). Suppose c = -4*q - 0*q - 16. Put b, q, 1 in increasing order.
q, 1, b
Let w = 21 - 16. Sort w, 1, -2 in descending order.
w, 1, -2
Suppose 4*h = m + 13, h + 3*m = 2*m + 7. Suppose -4*u - u = 20. Sort h, u, 2 in descending order.
h, 2, u
Let l(i) = i**2 + 6*i. Suppose -5*f - 6 = 19. Let c be l(f). Sort c, -3/5, -0.5 in decreasing order.
-0.5, -3/5, c
Suppose r + 4*r = 0. Suppose -b + 8 = -3*b. Put b, -1, r in decreasing order.
r, -1, b
Let g(n) = -6*n + 19. Let o be g(4). Put 4, o, -1 in decreasing order.
4, -1, o
Let a(m) = -5*m - 25. Let v be a(-10). Sort -5, 0, v, -4.
-5, -4, 0, v
Let l(i) = 3*i**3 + 3*i**2 + 3*i + 1. Let x be l(-1). Let j be (15/12)/((-2)/8). Let s(h) = h**3 + 5*h**2 + 2*h + 5. Let k be s(j). Sort 4, x, k.
k, x, 4
Suppose 2*w + 5 = -y, -2*w = 4*y - 5*w + 9. Let u be ((-86)/(-4))/((-2)/8). Let n = u + 775/9. Sort y, -1/3, n in decreasing order.
n, -1/3, y
Let a = 10.2 - 0.2. Let h = -5 + a. Sort -3, 3, h.
-3, 3, h
Suppose -4*r + 4 = -2*r. Sort r, -5/3, 5/2 in descending order.
5/2, r, -5/3
Suppose -z - 5 = -4*p, 4*z - 6 = 2*p + p. Suppose -n - p*n + 3 = 0. Put -4, n, -5 in ascending order.
-5, -4, n
Let a = 1 - 0.6. Let d = a - 4.4. Let h = d + 9. Put -2, -3, h in increasing order.
-3, -2, h
Suppose -4*n = 74 + 334. Let y be 1/(-4) - n/24. Put 0, y, 2 in increasing order.
0, 2, y
Suppose -5*k - 3*j = -38, 0 = k - 4*k - 4*j + 25. Let v = -8 + k. Let w(p) = -2*p + 5. Let d be w(4). Sort d, 0, v in increasing order.
d, v, 0
Let o = -48 - -49. Sort -1, -2, o.
-2, -1, o
Let l = -0.157 + -0.043. Put 1/3, -0.5, l in decreasing order.
1/3, l, -0.5
Let p be 2/(-10) + 27/60. Put p, -3/5, 1/5 in ascending order.
-3/5, 1/5, p
Let c = -15.5 - -13. Let d = 4 + -2. Let p = c + d. Put -0.3, p, -1 in decreasing order.
-0.3, p, -1
Let l = -3 - 0. Let q be 2/(-4) - 5/(-20). Sort l, q, -4 in ascending order.
-4, l, q
Let i be 1 + 6/3*-4. Let z(x) = -x - 9. Let c be z(i). Suppose -6*n = -5*n. Sort c, -1, n.
c, -1, n
Let f be 0*(3 + -4) - -8. Suppose 3*u + y + f = 0, 0*u - 3*u + 5*y = 32. Sort -3, 1, u.
u, -3, 1
Let n = 6 - 6.5. Let m = -7.5 - n. Let k = 7.5 + m. Sort 1/6, 0.2, k.
1/6, 0.2, k
Let j = 1610/13 + -124. Let d be ((-5)/(-20))/(1/(-6)). Put 0.1, d, j in descending order.
0.1, j, d
Suppose c - 133 = -138. Sort 3, -1, c, 2.
c, -1, 2, 3
Suppose 6*l + 11 + 37 = 0. Sort -3, 3, -2, l in descending order.
3, -2, -3, l
Suppose 3*j + 2*j + 15 = 0. Suppose -10 = -2*h - 0*h. Let u = 0 + -5. Sort h, u, j in increasing order.
u, j, h
Let p = -0.15 - -0.17. Sort -2/11, p, -3 in decreasing order.
p, -2/11, -3
Let k be 6/3 + (-1 - -1). Suppose -3*j + 3*j + 4*j = 0. Let r = 13 - 8. Sort k, r, j in decreasing order.
r, k, j
Let o = 1 - 10. Let k = -13 - o. Put 4, -3, k in increasing order.
k, -3, 4
Let k = 0 + 5. Suppose a - 1 = 5*c - 2, -5*a - k = -5*c. Suppose c = -2*g - 13 + 3. Sort 5/2, g, 5 in decreasing order.
5, 5/2, g
Let q(u) = -9*u**2 - 2*u - 1. Let f be q(-1). Let d be 1/3 - f/3. Suppose 3*r = 2*t - 0 + 6, -r - 4*t = -2. Sort r, -1, d in descending order.
d, r, -1
Let c = 18 - 16. Sort -0.5, c, 1 in decreasing order.
c, 1, -0.5
Let p = -18.3 - -18. Let s = 0.1 + p. Sort 0, -7, s.
-7, s, 0
Let l = -6 + 10. Let w = -0.35 + 4.85. Let f = l - w. Sort f, 0.4, 1 in descending order.
1, 0.4, f
Let h = -558 + 558.4. Let t(z) = z**2 - 3*z + 5 - 2*z - z. Let v be t(6). Sort -0.2, h, v in decreasing order.
v, h, -0.2
Let h = 0.4 - 1.4. Let v = h - -3. Sort 1/10, v, -0.2 in decreasing order.
v, 1/10, -0.2
Suppose 0*l = -3*l + 6. Let g be l - ((-6081)/27 + -2). Let i = g - 229. Put -3, 4/3, i in increasing order.
-3, i, 4/3
Let y = -0.06 - -6.06. Let g = y + -3. Sort -4, g, 2/5 in increasing order.
-4, 2/5, g
Suppose n = -3*n + 4*k + 36, 0 = -3*n + 2*k + 23. Let i(a) = -a**2 + 4*a + 8. Let b be i(-2). Put 1, b, n in decreasing order.
n, 1, b
Let q = -34 - -30. Put 1, 4, q, 3 in ascending order.
q, 1, 3, 4
Let u(d) = d**3 + 7*d**2 + 2*d - 4. Let m be u(-6). Suppose 4*v - 4*i = -m, -v - 5*i - 5 = -0*v. Put 3, v, -3 in increasing order.
v, -3, 3
Let y = 14 + -10. Let g = 2 - 4. Suppose -4*b - 4 = -0*b. Put b, y, g in decreasing order.
y, b, g
Let g = 641 - 638. Let v = -3 + 5. Sort g, v, 5 in descending order.
5, g, v
Let y = 3.9 - 3.8. Sort 1/2, -40, y in ascending order.
-40, y, 1/2
Suppose 3*y = 15, 4*y = 2*k + 7 + 7. Put -3, 4, k in descending order.
4, k, -3
Let n = -3 + 4. Let i be 3 + (0 - -12)/2. Put n, -5, i in ascending order.
-5, n, i
Let n be 4/(-2) - (1 - 7). Let m be (-7)/14 + 14/n. Put -1, m, -2 in increasing order.
-2, -1, m
Let c be 26/(-2) + 4/2. Let t = c - -15. Let i = 203/4 - 51. Put i, -3, t in increasing order.
-3, i, t
Let f be 1/((28/21)/(-4)). Let l = 10 - 6. Sort -2, f, l in descending order.
l, -2, f
Let l be 30/(-8) - 2/8. Let v = -6 - -6.2. Let u = 0.8 + v. Put 4, l, u in increasing order.
l, u, 4
Suppose -3*o = 3*p - 21, o + 3 = 2*p - 5. Put 4, -2, 3, o in descending order.
4, 3, o, -2
Let c be -4 - (3 + (-6)/2). Put 0, 1, c in descending order.
1, 0, c
Suppose -6 = -4*s + r - 3*r, -5*r = 15. Suppose 0 = -3*z + 2*z + s. Put -5, z, -2 in decreasing order.
z, -2, -5
Suppose -3*r + r - 5*f = -21, 4*f = -r + 18. Let y be (-1)/(-2) + (-18)/(-4). Sort y, 2, r in increasing order.
r, 2, y
Let k = -0.6 - -4.6. Let j be 0 - 1/((-1)/(-8)). Let u be (-26)/(-40) + 2/j. Put u, k, -1 in ascending order.
-1, u, k
Let g be (10/8)/(4/(-16)). Sort 5, 15, g in decreasing order.
15, 5, g
Suppose -37 = -2*j - 3*u, 0 = 5*j - 0*j - 2*u - 102. Let h be 3/(-6) + 2/j. Sort 0, h, -3 in decreasing order.
0, h, -3
Suppose 3*n - 11 = 2*i, -5*i + 15 = 4*n - 15. Sort i, -8, 0 in ascending order.
-8, 0, i
Let f(r) = -2*r - 3. Let i be f(-4). Let a(z) = z**3 - 5*z**2 + 1. Let m be a(i). Let k be 7/(-28) + m/(-4). Sort 3/5, k, -3/2 in descending order.
3/5, k, -3/2
Suppose 2*p - 4 - 6 = 0. Put 0, 1, p in increasing order.
0, 1, p
Suppose -f + 20 = 5*l, -3 = 3*l - 2*f - 15. Suppose -m - 5*d = -20 - l, -3*d = 4*m - 28. Let n = 0 + 1. Sort -4, n, m in descending order.
m, n, -4
Let n = 5 + -7. Let r = 279 + -838/3. Put r, n, 0.2 in descending order.
0.2, r, n
Let p be ((-2)/(-5))/((-3)/5). Let r = 155/4 + -39. Let i = -12 - -8. Sort p, r, i in decreasing order.
r, p, i
Suppose -2*s - 3 - 1 = 2*b, 6 = -3*b + 5*s. Put 4, b, 3 in ascending order.
b, 3, 4
Suppose -i - 3*i = 16. Suppose 0 = -3*s + 2*c + 2*c - 11, -c = -5*s + 10. Let u = s - 5. Sort 3, u, i in ascending order.
i, u, 3
Let g = 6 + -16. Suppose 66 = -4*y + 10. Let x = g - y. Sort -4, x, -1 in descending order.
x, -1, -4
Let g