 21 = 2*u. Let g be (-2)/u + 17295/(-140). Let z = g - -124. Put 2, -2, z in descending order.
2, z, -2
Let v = 400/7 - 57. Suppose -6*q = -q - 25. Let i be 4/(-4) + 7/q. Sort v, i, -2.
-2, v, i
Let a = 23.1 + -26. Let m = a + 3. Sort 4, -3/7, m in increasing order.
-3/7, m, 4
Let x be ((-8)/12)/((-4)/30). Suppose -2*t + t - 3*r = 6, 0 = x*r + 15. Sort 5, t, -2 in ascending order.
-2, t, 5
Let c(a) = -a + 1. Let r be c(-3). Let l = 33/112 - 1/112. Suppose 5*u = -4 - 11. Sort u, l, r.
u, l, r
Suppose 2*m = -0*m - 4. Let v = 5 - 4. Let t be v*m - 3/(-9). Sort -0.5, -3, t in increasing order.
-3, t, -0.5
Let q = 111 + -1003/9. Let d = 4 + -2. Let p be d/(2/(-5)*6). Put q, p, 2/9 in decreasing order.
2/9, q, p
Suppose -5*q = -4*k + 7, 3*k + q = 5*k + 1. Sort 2, k, -13 in decreasing order.
2, k, -13
Suppose 11*a - 17*a + 30 = 0. Sort a, 0, -1.
-1, 0, a
Let v(o) = -o**3 - 7*o**2 - 5*o + 2. Let k be v(-6). Let d(n) = -n**3 - 4*n**2 - 2*n - 5. Let y be d(k). Put -5, -1, y in decreasing order.
y, -1, -5
Suppose n + 2*n = -4*k - 5, -3*n - 10 = -k. Put n, 0, 2 in decreasing order.
2, 0, n
Let x(v) = v**2 + v + 2. Let r be x(-2). Put -1, r, -4 in increasing order.
-4, -1, r
Let m(g) = 5*g - 2. Let i be m(9). Let y = -130/3 + i. Let d be (2/(-9))/(-1 - -2). Sort y, d, 1/10 in decreasing order.
1/10, d, y
Suppose 6*c = -6 + 24. Suppose 5*v = -f - c - 2, -2*v - 2*f + 6 = 0. Suppose -2*y = -2*b, -4*y = 4*b - 3*y + 5. Sort b, 4, v in increasing order.
v, b, 4
Let d = -76 + 75.8. Put 8, 2, 2/11, d in descending order.
8, 2, 2/11, d
Suppose -9 = 5*u - 4*m + 10, 2 = 2*m. Let b = -34 + 30. Put 5, b, u in increasing order.
b, u, 5
Let p(o) = -o**3 - o**2 - o + 4. Let d be p(0). Sort d, 7, 3 in decreasing order.
7, d, 3
Let u be 16/12*(-3)/2. Put -0.1, 2/11, u in ascending order.
u, -0.1, 2/11
Suppose 0 = 2*i + 6, -2*b + 8*i - 3*i + 39 = 0. Let r be 26/(-40) + 3/b. Sort 2/9, r, -2 in ascending order.
-2, r, 2/9
Let r = 39 - 34. Put 1/3, r, -5 in increasing order.
-5, 1/3, r
Let z = 20 + -23. Suppose -k - 5*t = -29, 0*t + 16 = -k + 4*t. Sort z, k, -5 in decreasing order.
k, z, -5
Let q be 8 - 8 - 2/17. Sort q, -0.4, 2/7 in ascending order.
-0.4, q, 2/7
Let c be (-2)/(-3) - 13/(-3). Let k = 5.9 + -6. Put k, c, -2 in ascending order.
-2, k, c
Let y = -0.05 - -0.25. Sort y, 1/2, 1, -1 in increasing order.
-1, y, 1/2, 1
Let n = 3 - 6. Put -0.18, -1, n, 4 in descending order.
4, -0.18, -1, n
Let f = 6 - -3. Let d = -11 + f. Sort 2, d, -1 in ascending order.
d, -1, 2
Let c(z) = 7*z - 7. Let g be c(8). Let b be (-161)/g + 4/14. Suppose 5*t - 2*q = -13, 6*t - 7 = t - 3*q. Sort 5, t, b.
b, t, 5
Suppose 4*p = 6*p - 8. Suppose p*q = 5*q + 1. Put 5, -4, q in ascending order.
-4, q, 5
Suppose 0 = 4*p + 3 - 11. Suppose 0 = a - p*a. Let v = -2 - 2. Sort -6/11, v, a.
v, -6/11, a
Let g = -2 + 1. Let n = g - -3. Let b = n - 1.7. Put 2, b, 5 in ascending order.
b, 2, 5
Let i = 39688/19 - 2090. Let m = i - -53/95. Let h = 0.05 + 0.35. Sort m, -1, h.
-1, m, h
Suppose -2*a = -o - 8, -3*a + 5 + 2 = o. Suppose 0 = -x - 1 - 0. Let q be (x/18)/((-2)/4). Sort q, -0.3, a.
-0.3, q, a
Let v = 1 + -8. Let h = v - -8. Sort 7, h, 3 in increasing order.
h, 3, 7
Let g be (-4)/(-3)*9/6. Let u be -1 + 0 + 18/(-9). Sort u, g, -2 in descending order.
g, -2, u
Let s be (12/(-32))/(2/(-8)). Let t be (-1)/((-40)/(-12) - 3). Sort 0, s, t in decreasing order.
s, 0, t
Let i be (-24)/(-16)*(-12)/(-63). Sort 0.1, i, 4 in ascending order.
0.1, i, 4
Suppose -2 = 2*c, p - c + 0 + 1 = 0. Put 5, 7, p in decreasing order.
7, 5, p
Let o be (-7)/(-42) + 69/18. Sort -5, -7, o, 5 in descending order.
5, o, -5, -7
Let h = 5 - 2. Let c(k) = k**2 - 4*k + 1. Let t be c(h). Let f be (-1)/((t - -2) + -1). Put f, 5, -3 in ascending order.
-3, f, 5
Let u = 0.9 + 0.1. Let v = 3.088 + -0.088. Put -2, v, u in decreasing order.
v, u, -2
Suppose -j + 2*a - 4 = 0, 0*j + 4*j + 2*a = 34. Put 1, -4, -3, j in increasing order.
-4, -3, 1, j
Let o = 1 + -8. Let f = 11 + o. Let y = 2 + -6. Sort -2, f, y.
y, -2, f
Let n be (-4)/22 - (-2 + 2). Put 4/5, -2, n, -0.2 in descending order.
4/5, n, -0.2, -2
Let k(d) = -d - 3. Let t be k(-9). Suppose 22 = 4*w + t. Put -3, w, 0 in increasing order.
-3, 0, w
Let s = 44 + -41.3. Let j = s - 3. Let t = 0 - 5. Sort j, 1, t in increasing order.
t, j, 1
Suppose 5*k + 2*g + 16 = 0, -4*g = -2*k - 2*k - 24. Suppose -2*d + 5*y = -d, -4*d - 3*y = 0. Put d, 2, k in decreasing order.
2, d, k
Let k = 1.3 - 0.3. Let w = -55/119 + 3/17. Sort 2/9, k, w in ascending order.
w, 2/9, k
Let r(x) = -x - 6 - 1 - x. Let i be r(-5). Put -6, i, 4 in descending order.
4, i, -6
Let v = -3/139 - -438/973. Sort -1/3, v, -0.4, -1/11 in increasing order.
-0.4, -1/3, -1/11, v
Suppose 7*a = 5*a. Let w be (2 - 7)/(-1) + -2. Sort 2, w, a in decreasing order.
w, 2, a
Suppose -22*z + 28*z + 30 = 0. Suppose 5*b - 4*b = 3. Sort z, -4, b.
z, -4, b
Let a = 2 - 0. Suppose -1 + a = -c. Sort 1, c, 3.
c, 1, 3
Let i be -1 - ((-3)/(-1) - 1). Suppose a - 3 = 0, -f + 0*a + 1 = a. Sort -1, i, f in decreasing order.
-1, f, i
Let q be 4/5*67/4. Let n = 13 - q. Let m = -4 + 0. Put m, 1/3, n in descending order.
1/3, n, m
Suppose 3 = -c + 8, -2*z + 4 = 2*c. Let x = 15 - 15.02. Let i = 0.22 + x. Sort i, -5, z in decreasing order.
i, z, -5
Suppose -2*k = -2*q + 8, 2*q - 6 = -q. Suppose 56 = -4*v - 0*v. Let n be (6/v)/(-3)*1. Put 0, n, k in descending order.
n, 0, k
Let h = 7 + -6.94. Let r = h - -0.44. Let c = r + -0.4. Sort -3/5, -5, c in increasing order.
-5, -3/5, c
Suppose -4*h - 4*u = -u - 17, -2*h = -u - 11. Sort h, 3, 2, 4 in descending order.
h, 4, 3, 2
Let v = 90 - 1172/13. Sort 2, v, 0.3, 3.
v, 0.3, 2, 3
Let s(p) = p**3 + p**2 + 2*p - 2. Let y be s(0). Put y, 0.6, 4 in descending order.
4, 0.6, y
Suppose -4*v = 4*l - 11 - 41, l = 3*v + 5. Sort -1/6, -3, l.
-3, -1/6, l
Let t = 2.95 - -0.05. Let g = 5 - t. Let h = 0.19 - 1.19. Sort h, -4, g in descending order.
g, h, -4
Suppose -5 = 5*m + g, g - 5*g - 20 = -5*m. Put 3, m, -3 in ascending order.
-3, m, 3
Let y = -3 - -4. Suppose 2*l + 9 = y. Put 0.3, 1, l in descending order.
1, 0.3, l
Suppose 0 = b + 3*m - 10, -5*b + 3*b + 16 = 5*m. Sort b, -8, 2 in descending order.
2, b, -8
Let u = 18 - -4. Let m = 13 - u. Let z be ((-4)/(-6))/((-12)/m). Sort -5, -2, z in ascending order.
-5, -2, z
Let j be -1 - (-2 + 3) - 0. Let z = -6 - -8. Sort j, -3, z.
-3, j, z
Let j = 569/15 - 115/3. Let q = -0.5 - -0.3. Sort j, 1/2, q in descending order.
1/2, q, j
Let q(k) = k**3 + 11*k**2 + 12*k + 24. Let r be q(-10). Sort 1, r, -1, -5 in increasing order.
-5, -1, 1, r
Let j be 2/(-12)*36/9. Put j, 1.1, 2/3 in decreasing order.
1.1, 2/3, j
Suppose 0 = 4*i - 10 - 10. Let a(o) be the second derivative of o**3/6 - 4*o. Let p be a(-3). Sort i, 1, p in increasing order.
p, 1, i
Let u = -39 - -44. Sort u, 2, 1 in decreasing order.
u, 2, 1
Let c = -4 - -4. Suppose c = 2*f - f. Sort 1, -5, f in increasing order.
-5, f, 1
Let f(y) = -y**3 + 6*y**2 - 6*y + 4. Suppose 0 = -2*b + 4 + 6. Let a be f(b). Put a, -3, 0 in increasing order.
-3, a, 0
Let i = 0.03 - 0.43. Sort 3, i, 0.3.
i, 0.3, 3
Let b be 4/8 - 25/2. Suppose -x = 3*x + 4. Sort -4, x, b.
b, -4, x
Let o(r) = -r. Let d be o(4). Let p(v) = v**2 + 2*v - 3. Let u be p(-4). Sort d, 0, u in descending order.
u, 0, d
Suppose 6*q - 4*q = -30. Let x be (8/10)/((-6)/q). Let l be (-5)/6*(x + 0). Sort 0.4, l, 4/3.
l, 0.4, 4/3
Let l(g) = g**2 + 5*g - 22. Let r be l(-8). Let b be 2/(-1) - 12/(-2). Put r, 5, b in decreasing order.
5, b, r
Suppose -2*z = -5*s - 25, -5*z - 25 = -3*z + 5*s. Suppose z = 3*t + 6 + 3. Sort t, 2, -1 in ascending order.
t, -1, 2
Let x = 32 + -29. Sort 0.9, 0.3, x in ascending order.
0.3, 0.9, x
Let y = -0.8 - -0.3. Let l = y + 0. Let f be (3 + (1 - 5))*3. Put l, f, -4/5 in ascending order.
f, -4/5, l
Let x be 2*-3*1/(-2). Suppose 6*n = 28 + 2. Suppose 0 = 3*j - 8 + n. Sort -4, j, x in descending order.
x, j, -4
Let k = 5.1 + -5. Let m = 0.23 + 0.07. Let a = 1.99 + 0.01. Sort m, k, a in decreasing order.
a, m, k
Let m(s) = s**2 + 5*s - 8. Let v be m(-6). Let g be v + 2*-1 + -1. Let a be -9*((-32)/(-12) + -3). Sort 2, a, g in decreasing order.
a, 2, g
Suppose 6 = x - 0. Let a(k) = 10*k - 8 - 8*k - 1. Let s be a(x). Put s, 0, -5 in ascending order.
-5, 0, s
Let o(x)