 -4. Let m be 2*(4 + l) - -3. Sort 2, m, -5 in decreasing order.
m, 2, -5
Suppose 3*z + 5 = -1. Let h be z/9 + (-311)/18. Let n = 17 + h. Sort 3, 0, n in decreasing order.
3, 0, n
Let k = -102 + 102. Sort k, 1, -2/5 in decreasing order.
1, k, -2/5
Let l(t) = t**2 + 1. Let i(z) = 3*z**2 - 5*z + 8. Let n(f) = -i(f) + 4*l(f). Let k be n(-6). Let o be k - 3/6*-6. Sort o, -2, 2 in decreasing order.
o, 2, -2
Suppose 5 = -x + 2*u, -5*x + 7 = -4*u + 14. Let v be (-5)/((-60)/(-9))*4. Sort -5, v, x.
-5, v, x
Let m be (7 - 3) + -5 + 4. Put m, 0, -5 in descending order.
m, 0, -5
Let o(u) = 9*u - 2. Let v be o(2). Suppose -3*s - v = s. Let f(k) = k**2 - 5*k + 3. Let t be f(5). Put 5, s, t in decreasing order.
5, t, s
Let u = -49/120 + 1/120. Sort u, 1, -5, -0.3 in increasing order.
-5, u, -0.3, 1
Suppose 8 + 4 = -3*x. Sort -5, 1, x.
-5, x, 1
Let m be (18/(-6))/(2/6). Sort m, -2, 3.
m, -2, 3
Suppose 0*v + 2*v = 8. Suppose 3*u + v*b = 9, 2*u + b - 1 = -0. Sort -3, u, 3 in decreasing order.
3, u, -3
Let f = 1486/63 + -220/9. Sort 0, f, -1.
-1, f, 0
Let c(h) = -2*h + 1. Let u(q) = 3*q - 2. Let w(k) = -4*c(k) - 3*u(k). Let m be w(4). Let s be 30/(-75) + (-66)/(-40). Sort s, -1, m.
m, -1, s
Let d(j) = j**2 + j + 4. Let o be d(0). Let q = o + -2. Suppose m = -q, 2*u = -0*u + 3*m. Put -5, u, 1 in decreasing order.
1, u, -5
Suppose 20*y - 15*y + 45 = 0. Sort y, -1, 2 in ascending order.
y, -1, 2
Let s = 27 + -19. Let j = -6 + s. Suppose -n - 5 = -0, -2*v - 4*n = 14. Sort v, 5, j in decreasing order.
5, v, j
Let d = -0.451 + 0.051. Let g = -0.7 + 4.7. Sort d, 1/6, g in ascending order.
d, 1/6, g
Let a = 0.21 + -0.11. Sort 0.3, 3, a.
a, 0.3, 3
Let q be (-8)/44*40/(-12). Let s = -2/33 - q. Put s, -0.3, 5 in descending order.
5, -0.3, s
Let t = -11 - -7. Sort t, 0.1, 3.
t, 0.1, 3
Let o = -6 - -6.1. Let f = -1.6 + -1.4. Sort f, 0, o in descending order.
o, 0, f
Let a = 29 + -26. Put 0.3, 0.5, -0.5, a in descending order.
a, 0.5, 0.3, -0.5
Let p be (-27)/18*(-16)/3. Sort 1, 5, p, 4.
1, 4, 5, p
Let v = -7 + 12. Let f = 9 - 13. Let w(z) = -z**3 - 4*z**2 + 1. Let a be w(f). Sort -3, a, v in decreasing order.
v, a, -3
Let p = 100 + -103. Put 2, p, 4 in increasing order.
p, 2, 4
Let c = 0.12 + -0.02. Sort 0.4, -0.5, c in decreasing order.
0.4, c, -0.5
Let w = 1847/9 + -205. Let h = 7 - 10. Let y = -4 - h. Put w, -3, y in ascending order.
-3, y, w
Let h be ((-24)/(-21))/((-10)/14 - -1). Put -5, h, -25 in decreasing order.
h, -5, -25
Let w = 1.1 - 5.1. Let v = -4.5 - w. Let b = 5 + -9. Sort 2/3, v, b in descending order.
2/3, v, b
Suppose 0 = -4*n + 11 + 17. Sort n, 5, 4/3 in decreasing order.
n, 5, 4/3
Suppose 5*o + 0*o = -25. Let a be ((-2)/(-6))/(1/15). Put a, -1, o in decreasing order.
a, -1, o
Let h = -157/2 - -80. Put -0.04, -2, h, -1/2 in descending order.
h, -0.04, -1/2, -2
Suppose -3*d = -4*d + 1. Let u = 1 + -1. Put u, -1, d in descending order.
d, u, -1
Let q = -0.3 - -0.7. Let k = 4 - 4. Put k, -2, q in ascending order.
-2, k, q
Suppose 2*i = -i - 6*i. Sort 3, -3, i, 2.
-3, i, 2, 3
Let k = 15 - 13. Sort 10, k, -3 in descending order.
10, k, -3
Let v = -0.056 + -0.944. Put v, -0.03, 2/11 in descending order.
2/11, -0.03, v
Let r be (1/(-2))/((-2)/8). Let n(g) = 7*g + 2. Let u be n(-5). Let h = 32 + u. Sort h, 3, r in descending order.
3, r, h
Let q = -9 + 7. Suppose 2*d + 4 = d. Put -1/6, d, q in ascending order.
d, q, -1/6
Let w = -3 + 8. Let d be (-6)/9 - w/(-3). Put -3/8, d, -5 in increasing order.
-5, -3/8, d
Suppose -15 + 1 = k. Let w = -12 - k. Let r be 0 - (1*-1 + 0). Sort r, w, -4 in decreasing order.
w, r, -4
Suppose -5*h + 8 = -4*f, f = 3*h + 5*f + 8. Suppose -4*n + 0*r - 2*r = h, n - 4*r + 9 = 0. Suppose 4*j + 24 - 4 = 0. Put -4, n, j in descending order.
n, -4, j
Let l = -7 + 5. Let s = 2 + l. Let u be (1/(-2))/(4/3). Put u, s, 0.3 in descending order.
0.3, s, u
Let q = 0 - 0. Let p(s) = -s**3 + 2*s**2 + 11*s - 5. Let o be p(4). Suppose -o = 5*h + 8. Sort h, 2, q.
h, q, 2
Let n = -0.2 + 0.3. Let i = 4 - 10. Let j be (-2)/(-10)*i/3. Sort 1, n, j.
j, n, 1
Let d = 7 - 2. Suppose 0 = -3*n - 0*z + 3*z + 3, 3 = -3*z. Sort d, -1, n in decreasing order.
d, n, -1
Let a be (90/10)/(2 - -1). Sort 2/7, -3, a in descending order.
a, 2/7, -3
Let i = -1/252 + -5/63. Suppose 0 = u + 3*u + 4. Put -0.4, i, u in descending order.
i, -0.4, u
Let s = 6 - 1. Sort s, 2/3, 0 in increasing order.
0, 2/3, s
Let z be (-14)/3 - 2/6. Let d(f) = -2*f + 14. Let h(k) = -k + 1. Let j(v) = -d(v) + 3*h(v). Let x be j(-8). Sort z, x, 1.
z, x, 1
Suppose 3*p - 5*z + 32 = 0, 3*z - 4 = -2*p - 0*p. Put p, 5, 3 in descending order.
5, 3, p
Let g = -0.2 - 0. Let q = 3.289 + -0.169. Let n = -0.12 + q. Put 0, g, n in decreasing order.
n, 0, g
Let r be (-4)/((-4)/1)*7. Sort 2, r, 1 in increasing order.
1, 2, r
Suppose -3*m + 95 = -217. Let q = m + -419/4. Let y = 1 - 1.1. Sort q, 5, y in ascending order.
q, y, 5
Let h = -0.05 - -7.55. Let t = -7 + h. Sort -0.2, -3, t in descending order.
t, -0.2, -3
Let c be (-16)/6*(3 + -6). Let g = -13 + c. Let b be 2/3 + (-8)/21. Sort b, g, -2/7 in descending order.
b, -2/7, g
Suppose 3 - 1 = o, 0 = -j + 4*o - 3. Let a be ((-15)/25)/((-1)/j). Sort a, 2, 0 in decreasing order.
a, 2, 0
Let a be (-426)/21 - (-2)/7. Let l be 50/a*4/5. Sort 5, 1, l in increasing order.
l, 1, 5
Let w = -3 - 6. Let l(k) = k**2 + 8*k - 9. Let q be l(w). Sort 4, q, 5.
q, 4, 5
Let i = -116 + 116. Put 9, 2, i in descending order.
9, 2, i
Let n(a) = 6*a + 14. Let p be n(-3). Put p, 2, 4, 5 in descending order.
5, 4, 2, p
Let j = 0.1 - -0.1. Let v be 2/(-5) - (-504)/810. Sort 2, v, j in descending order.
2, v, j
Let x = 1.7 + -2. Let w = 17 - 11. Sort w, -5/2, x in descending order.
w, x, -5/2
Suppose -4*b + 2*s = -16, 2 = 2*b + 5*s - 3*s. Suppose 2*d = -0*v + 3*v + 8, 12 = -4*v + b*d. Suppose 2*y = -v*y + 10. Sort 4, -5, y in increasing order.
-5, 4, y
Suppose -3*u + 5*m = 4, u = 5*u - 2*m + 10. Suppose -2*w + 6 + 7 = 3*c, -c = -3. Sort w, u, -4 in decreasing order.
w, u, -4
Suppose -66 = -6*w + 24. Sort 0, -5, w.
-5, 0, w
Let h = -19 - -75/4. Sort h, 0, 1/3 in decreasing order.
1/3, 0, h
Let n = 38 + -26. Let m = n - 17. Sort 3, m, -1.
m, -1, 3
Suppose 0 = -2*t + 10. Let u = 2 + -5. Sort t, u, 2 in decreasing order.
t, 2, u
Suppose 0*x - 2*x - 2 = 0. Put x, -0.5, 1.6 in decreasing order.
1.6, -0.5, x
Let p be (5/2)/((-2)/4). Let z = -0.017 + 4.617. Let o = z - 0.6. Put -1, p, o in descending order.
o, -1, p
Suppose -3*i + 8 = -i. Let a be (-9 + (0 - -3))*-4. Suppose i*j + 3*l = -a, -11 = -5*j + 2*j + 5*l. Put 2, j, 5 in decreasing order.
5, 2, j
Let m be (4/(-16))/(2*5/16). Sort 4, m, -0.3, 0.2 in ascending order.
m, -0.3, 0.2, 4
Let t = -0.06 + 13.06. Let y = t - 19. Let p = y + 6.4. Put -5, 3/5, p in ascending order.
-5, p, 3/5
Suppose 4*a + 4 = 3*i + 24, 4 = -2*i - 2*a. Let t = i + 8. Let p = 4 + -1. Put t, p, -1 in descending order.
t, p, -1
Let x(y) = -y**2 + 3*y + 5. Let m be x(5). Put -4, m, -1 in ascending order.
m, -4, -1
Let u = 2.157 - 0.217. Let b = u + -2. Let n = 2.06 + b. Put n, 2/19, 0 in descending order.
n, 2/19, 0
Let b = -1.9 - -2. Let t = -3 + 3. Let s = t + -3. Sort 2, b, s.
s, b, 2
Let a = -6 + 7. Let v = -1.1 + a. Sort 0.1, v, -0.5 in ascending order.
-0.5, v, 0.1
Let h = 14 - 11. Let l(s) = -s**3 + 5*s**2 + s + 4. Let y be l(5). Suppose y = -0*x + h*x. Sort x, 1, -1 in decreasing order.
x, 1, -1
Suppose -27 - 13 = -5*n. Let d = -0.1 + 0.1. Sort 1/8, d, n in decreasing order.
n, 1/8, d
Let n be -35 - (4 + (-9)/3). Let x be n/(-28) + 4/(-14). Let m(i) = -5*i**2 + 1. Let d be m(x). Put -2, d, 3 in descending order.
3, -2, d
Suppose 3*c - 20 = -5*m, m - 6*m = -5*c + 20. Let r be 9/(-6)*(-2)/(-3). Sort c, r, -2.
-2, r, c
Let z = -7 + 3. Put 1, z, 5 in descending order.
5, 1, z
Suppose 30 = -6*g + g - 5*y, 0 = 5*g - y + 6. Let m = -3 + 7. Let u = m + g. Sort 1/9, u, 0.2 in increasing order.
1/9, 0.2, u
Let s be 28/3 + 2/3. Let m(i) = s*i + 0 - 2 - i**2 - i. Let n be m(9). Sort 4, n, 0 in increasing order.
n, 0, 4
Suppose 0 = 4*x - c + 5*c - 96, -c = 2*x - 46. Let j = -27 + x. Sort -1, j, 0 in increasing order.
j, -1, 0
Let n = -42.9 + 43. Sort -4, 0, n, 0.5 in increasing order.
-4, 0, n, 0.5
Let u be ((-3)/(-17))/(2/(-22)). Let l = 31/17 + u. Put l, 5, -4 in descendin