 - 2*b = v, 5*b + 37 = 2*y + 8. Sort -2, -5, y in descending order.
y, -2, -5
Let v = 5.39 + -0.39. Let d be 2/(-3) - 26/(-21). Sort d, 2, v in increasing order.
d, 2, v
Let g be 21/(-2)*(-4)/(-6). Put 4, 3, g in descending order.
4, 3, g
Let g = -31 + 27. Put 4, -2, g in descending order.
4, -2, g
Let o = -6 - -8. Suppose 2*i + o*i - 40 = 0. Suppose m - 6*m + i = -5*h, -4*h + 24 = 4*m. Sort -4, m, 1 in ascending order.
-4, 1, m
Let y be -3 - (-19)/(-1)*-1. Let v be (0 - 3)*y/(-12). Let d be (-13)/(-21) - (-1)/(-3). Sort d, 2, v in decreasing order.
v, 2, d
Let x = -178 - -2312/13. Sort -5, x, 5 in descending order.
5, x, -5
Let l = -18 + 42. Suppose 2*c + 1 = 3*b + 9, 0 = -2*c - 5*b - l. Sort c, -4, 0 in decreasing order.
0, c, -4
Suppose -2*r - 2*r - 5*v + 7 = 0, -v + 3 = 0. Sort -3, r, 3, 5 in ascending order.
-3, r, 3, 5
Let d = 86 + -51. Let u be d/10 - 1/(-2). Sort 2, u, 1 in decreasing order.
u, 2, 1
Let a be 0*(-2 - -3)*1. Suppose 2*x + 2*d = 0, -5*d - 14 + 7 = -2*x. Let k = 0 + x. Put -1, a, k in descending order.
k, a, -1
Let s be (-5)/(-4) - 1/4. Let i be (1 + -5)*(0 + -1). Sort s, 2, i.
s, 2, i
Suppose -4*h + 15 = -5. Sort h, 7, 2 in increasing order.
2, h, 7
Let p = 14.949 - -0.051. Put p, 0.3, -3 in increasing order.
-3, 0.3, p
Let q = 0 - -1. Suppose 0 = -d - w, w + 0*w + 3 = 0. Suppose 5*j + 6 = 3*i + 2, -i - 4*j - 10 = 0. Sort i, d, q in increasing order.
i, q, d
Let z = -11 + 11.09. Let c = -23.89 - -21.8. Let a = c + z. Sort a, 0.2, 0.1.
a, 0.1, 0.2
Let h = 1573980/11 + -143202. Let i = 113 + h. Suppose 2*b = -2*b + 16. Sort i, -5, b in decreasing order.
b, i, -5
Let v be ((-1)/(3/(-18)))/1. Suppose n + 3*b = 1, 2*n = v*n + 2*b + 6. Sort 4, n, 2/5 in ascending order.
n, 2/5, 4
Let a = -6.7 - -4. Let q = a - -3. Let s = 85 - 509/6. Put q, 1, s in ascending order.
s, q, 1
Let a(f) = -f**3 + 9*f**2 + 10*f. Let k be a(10). Let x be 0 + -2 - 8/(-2). Sort k, x, 3.
k, x, 3
Let c be (-1)/(-2*(-4)/8). Sort -10, c, -3 in descending order.
c, -3, -10
Let m = 1 + -1. Let s = -13 + 14.8. Let i = s + -1.3. Put m, i, 2 in ascending order.
m, i, 2
Suppose n + 6 = 12. Sort -3, n, 4.
-3, 4, n
Let t = -100 - -101. Sort -16, t, 3 in decreasing order.
3, t, -16
Suppose -5*x + h = -30, 4*x + 0*h = -4*h + 24. Let v be (2/x)/(2/18). Let r(m) = -2*m + 8. Let i be r(6). Sort -2, v, i.
i, -2, v
Let v = -30 - -28. Sort v, 0, -3, -4 in decreasing order.
0, v, -3, -4
Let n = 0.048 - -0.052. Let p = 2.05 + -0.05. Sort p, -2/7, n in ascending order.
-2/7, n, p
Suppose c + 81 = -3*r, 0 = -r - c - c - 22. Let l be ((-2)/r)/(8/(-32)). Sort l, 1/4, 0.3 in ascending order.
l, 1/4, 0.3
Let p be (-1*1)/((-7)/(-49)). Let l be 5/(15/(-9)) - p. Suppose -2*x + x = -l*y + 13, -6 = -2*y. Sort 0, -5, x in descending order.
0, x, -5
Let o = 11 + -11. Suppose a - 3*j + 12 = o, 3*a + j = 6*j - 20. Suppose 3*x - 3 = -9. Sort x, a, 1 in descending order.
1, a, x
Suppose 16 = -2*k + 4*r, -24 = 3*k - 0*k + 4*r. Let a be (-10)/15 + k/(-3). Suppose -7*u = -3*u - a*j, -4*u = j + 6. Sort -2, 5, u in decreasing order.
5, u, -2
Let x be -8 + (-2)/(-2) + 2. Put x, -0.4, -1 in descending order.
-0.4, -1, x
Let r = 0.18 - 0.18. Sort 1/2, r, -5.
-5, r, 1/2
Let r = 27.6 - 28. Put -7, -2, -1, r in descending order.
r, -1, -2, -7
Let s be ((-10)/(-4))/(1/2). Let f be (-46)/6*s/1. Let a = f - -569/15. Put -0.5, -4/3, a in decreasing order.
a, -0.5, -4/3
Let g be 6*4/(-3)*1. Let h(c) = -c**3 - 7*c**2 + 8*c - 6. Let v be h(g). Let q be 20/6 + v/(-9). Sort q, -3, -2 in decreasing order.
q, -2, -3
Let n(j) = j**3 - 6*j**2 + 5*j + 4. Let f be n(5). Suppose 7 = -f*r - 5*z, 2*r - r + 4 = z. Suppose -6*i = -8*i. Put r, -5, i in descending order.
i, r, -5
Let k = -6 - -4. Let h = -41.4 - -44.4. Sort 2, k, h in increasing order.
k, 2, h
Let m = -36 - -254/7. Put 0.4, 3/7, 3, m in descending order.
3, 3/7, 0.4, m
Suppose -4 + 24 = -10*o. Put 5, -1, o, -5 in ascending order.
-5, o, -1, 5
Let b = 25 + -19. Let k be (b/15)/((-1)/10). Put k, -1, -5 in descending order.
-1, k, -5
Let r = 0.1 - 1.1. Let n = 4 - r. Put n, 1/4, -1 in decreasing order.
n, 1/4, -1
Let t be (-36)/24*1/(-3). Sort t, -1.1, -0.5 in descending order.
t, -0.5, -1.1
Let u(p) = -p**2 - 5*p - 6. Let w be u(-4). Let m = w + 0. Let j = 3 - 7. Put -5, m, j in decreasing order.
m, j, -5
Let x = 176 + -171. Sort -0.1, x, 1/2, -12 in increasing order.
-12, -0.1, 1/2, x
Let l = -30 + 25. Let c(w) = -w**2 - 2*w. Let j be c(-3). Put l, j, -0.6 in decreasing order.
-0.6, j, l
Let q be 4/(-6)*(-27)/(-99). Sort -1/5, 2/5, q in increasing order.
-1/5, q, 2/5
Let p = -1.7 + -8.3. Let b = p - -17. Let z = b - 7.5. Put z, 3/2, 5 in decreasing order.
5, 3/2, z
Let q(v) = -v**2 - 11*v - 16. Let o be q(-7). Suppose 4*k = 8*k - o. Sort 1, k, 0 in ascending order.
0, 1, k
Suppose 0 = -2*r + 4*r - 24. Suppose 2*j = -j + r. Suppose 2*x = z - 5, x - 2 = 2*x. Put -1, j, z in descending order.
j, z, -1
Let b be (3/2)/((-12)/(-16)). Let q be b/8 - (-5)/(-20). Put q, -2, 3 in ascending order.
-2, q, 3
Let x = -0.135 + 2.135. Sort 0.62, -0.3, x.
-0.3, 0.62, x
Let j = -11 - -6. Sort 7, j, 1/2 in decreasing order.
7, 1/2, j
Suppose 2*w = 4*k + 16, 2*k + 2*w = -16 + 2. Suppose -c + 3 = -1. Sort c, k, -1 in decreasing order.
c, -1, k
Let v = -24.03 - -24. Put -1/3, -3/2, v in ascending order.
-3/2, -1/3, v
Suppose 6*p - 3*p = 5*s + 4, -2*s = -5*p - 6. Let j be (15/5)/((-2)/s). Sort j, -5, -1 in decreasing order.
j, -1, -5
Let f = 0 - 3. Let o = 2.0282 + -0.0282. Sort f, 0.2, o in increasing order.
f, 0.2, o
Let i = -1 - -3. Let x(m) = -m**2 - 5*m + 6. Let a be x(-6). Sort 0.3, a, i in decreasing order.
i, 0.3, a
Let o = -28 - -22. Sort -2, 2/11, o.
o, -2, 2/11
Suppose -3*w + 7*w = 0. Put 5, w, 8 in descending order.
8, 5, w
Let w(v) = 2*v**2 - 2*v - 2. Let t be w(-1). Let z be ((-21)/(-14))/(1/t). Sort z, 1, 5 in decreasing order.
5, z, 1
Let v(a) = -a**2 + 4*a + 8. Let w be v(-2). Sort w, 7, -3 in increasing order.
w, -3, 7
Let b(v) = v + 1. Let h be b(-6). Put -4, h, 4 in descending order.
4, -4, h
Let n = 0 + -0.1. Let f = -0.01 - -0.11. Let a = f + n. Put -2/3, 2/9, a in descending order.
2/9, a, -2/3
Let f = -1.863 - 0.137. Suppose -5*r = 23 - 8. Let j = r + 2. Sort -0.2, j, f in descending order.
-0.2, j, f
Suppose 0 = -4*l + 16 + 16. Suppose -5*z + 2*a - l = -z, 4*z = -4*a - 8. Sort 5, z, -4 in descending order.
5, z, -4
Let f = -52 - -54.1. Let h = f - 2. Put 4, -1, h in decreasing order.
4, h, -1
Let c = 0 - -3. Suppose -3*s = -5*f + 12 + 18, 0 = 5*f + c*s. Let d = 1 + 0. Put f, d, -5 in decreasing order.
f, d, -5
Suppose 7*s - 8*s = 4. Suppose 0 = -3*n + 8*n - 15. Sort s, n, 0 in ascending order.
s, 0, n
Let x(q) = -2*q. Let n be x(1). Let a = -3 + 5. Let d = a - 3. Sort -4, n, d in descending order.
d, n, -4
Let p be 1/((-2)/(-4 - -2)). Suppose -2*m + 2*t = -m + 8, -14 = 4*m + t. Sort p, 0, m in descending order.
p, 0, m
Let a be 2/3*(-36)/(-56). Let t be (2/4)/(7/(-2)). Let j = a + t. Put j, 1/4, 3 in increasing order.
1/4, j, 3
Let o = 0 + -0.6. Let d = -0.4 + o. Let g be -1 + (-7)/2 + 2. Put g, d, 1/5 in descending order.
1/5, d, g
Suppose 3*z + 12 + 3 = 0. Let j be ((-12)/15)/((-2)/z). Sort 3, j, 1.
j, 1, 3
Let c be 24/(-20)*10/4. Sort 0, -2, c.
c, -2, 0
Let n(p) be the first derivative of -p**2/2 + 2*p - 1. Let u be n(5). Sort 3, u, 4 in ascending order.
u, 3, 4
Let r be 24/(-18)*(-3)/(-10). Put 2/5, -5/4, r in descending order.
2/5, r, -5/4
Suppose -p + 16 = 3*p. Suppose 0*h - p*h = 4*r + 16, 2*r - 3*h = 7. Let o be 18/4 - r/(-2). Sort o, 5, -4 in descending order.
5, o, -4
Let p = 9 - 15. Let n = 11 + p. Suppose 5*z = 11 + 9. Put 1, z, n in ascending order.
1, z, n
Let j = 2 - 1. Let i = 3.05 + -0.05. Let z = -1.7 - 0.3. Put z, j, i in descending order.
i, j, z
Let b(n) = -n + 1. Let x be b(6). Suppose 4*f = l + 8, -f = l - 4*l + 9. Suppose -1 = -2*c + f. Sort c, -1, x in ascending order.
x, -1, c
Let i(l) = -4*l + 4. Let x be i(-4). Suppose 5*j + 0 = -x. Sort -2, -1/3, j in decreasing order.
-1/3, -2, j
Let a = -15 + 29/2. Put 4/7, a, 3, 0.3 in increasing order.
a, 0.3, 4/7, 3
Let f be 300/(-84) - 3/7. Sort 0.3, f, -0.5 in decreasing order.
0.3, -0.5, f
Suppose -3*m = -0*m + 6. Put 5, 29, m, -3 in decreasing order.
29, 5, m, -3
Suppose 0*a - 8 =