 j in descending order.
j, -1/6, -4/7
Let h = 29 + -24. Let o = 5.7 - 6. Sort h, o, -3.
-3, o, h
Let r = -0.3 - -0.8. Let b(v) = -v + 15. Let a be b(11). Sort -1/6, a, r.
-1/6, r, a
Let i be (-220)/33*1*3. Let r = 23 + i. Sort 0, r, 1.
0, 1, r
Let m = -0.05 + 3.05. Let l = 0 + m. Put l, 5, 0 in increasing order.
0, l, 5
Let j be (-1 - 0) + 0/1. Let r = -19 - -14. Let b be (0 + 1 + r)*1. Sort b, 5, j in decreasing order.
5, j, b
Suppose 0 = 23*a - 18*a - 15. Put 1, -4, a in decreasing order.
a, 1, -4
Let x = 2/147 - -731/294. Put x, -3/8, 0.05 in increasing order.
-3/8, 0.05, x
Let u = 18 - 16. Put -4, -2/3, u in increasing order.
-4, -2/3, u
Suppose -5*d = -3*d - 14. Suppose d = -2*g + a, -4*a + 9*a - 26 = g. Suppose 0 = -4*x + 13 + 7. Sort x, g, 2.
g, 2, x
Let d = -7 + 2. Let j = 5.21 - 0.21. Let c = -1 + -1. Put c, j, d in increasing order.
d, c, j
Suppose 2*r + 3*f + 7 = 0, r - 4*f - 24 = -0*f. Put -4, r, 2 in descending order.
r, 2, -4
Let t = -1.74 + 1.24. Put -0.3, t, 3/5 in descending order.
3/5, -0.3, t
Let k(p) = p**3 - 11*p**2 + 11*p - 1. Let t be k(10). Suppose 0 = 4*c - 3*s + 5*s - 10, -5*s + t = 2*c. Sort c, -5, 4 in decreasing order.
4, c, -5
Suppose 0 = 5*r - 9 + 24. Let h be 0 - -1*(-2 + 3). Let y be h/(-3) + 2/6. Sort -4, y, r in decreasing order.
y, r, -4
Let z = -8 - -6. Let q be 0 + 6/(-63)*-3. Put z, 5, q in descending order.
5, q, z
Suppose 2*s + 2*v = 4*s + 8, v = -2*s + 4. Suppose 5*j - 20 = t, -5*t - 3*j = 1 - 41. Sort s, t, -4 in ascending order.
-4, s, t
Let j(h) = -2*h + 6. Let s be j(5). Suppose 3*t - 4*k + 20 = -t, 4*k - 22 = 5*t. Sort s, -3, t.
s, -3, t
Suppose -2*n + 25 = 3*n. Put 3, n, 0 in descending order.
n, 3, 0
Let b = -0.9 + 1. Suppose -c + 3*l - 12 = 0, 0 = 3*c - 2*l - 3*l + 40. Let v = c - -15. Put v, 1/3, b in descending order.
1/3, b, v
Suppose 8 = -9*t - 10. Put t, 3, 5, 1 in descending order.
5, 3, 1, t
Let o = 4 - 3. Sort o, -3, -0.3 in descending order.
o, -0.3, -3
Let n be 2/10 + 76/20. Let s be 44*((-15)/n + 4). Sort -2, s, -4 in decreasing order.
s, -2, -4
Suppose -5*j = -3*i + 5, -5*j + 0*i + 5 = -i. Sort 7, j, -5, -2 in increasing order.
-5, -2, j, 7
Suppose 0*f - 252 = 4*f. Let m = f - -249/4. Sort m, -0.5, 0 in increasing order.
m, -0.5, 0
Suppose 45 = 5*o - 4*h, h = -2*o - h. Let i = 7 - o. Sort -4, -2, i in descending order.
i, -2, -4
Let v = 0.13 - -1.87. Sort v, -1, 4 in decreasing order.
4, v, -1
Let p(a) = a - 8. Let y be p(4). Put 19, 5, y in descending order.
19, 5, y
Let h = 9 - 5. Let w = 2 - h. Let i(j) = j + 1. Let n be i(-6). Put 2, w, n in increasing order.
n, w, 2
Suppose 28 = 2*o + 2*o + 4*j, 5*o = 3*j + 3. Suppose -2*y - 4 = 5*s - 0, -o*y - 3*s - 6 = 0. Sort 0, 1, y in decreasing order.
1, 0, y
Let v = 167025 + -2173143/13. Let a = 140 + v. Sort a, -2/21, -2/15 in descending order.
a, -2/21, -2/15
Let k = -1.6 - 4.4. Let c = k - -6.4. Put 4, 3, c in increasing order.
c, 3, 4
Suppose -k = -2*k - 4. Let v = 204 - 200. Put k, 3, v in decreasing order.
v, 3, k
Let k = 11 + -8. Let b = 7.3 - 7. Let q = 17 - 15. Sort k, b, q.
b, q, k
Let n = 6.9 + -10. Let d = n - -3. Put -4, 0.3, d in descending order.
0.3, d, -4
Let g = 4.4 + -4.8. Put g, 4, 0.3, -0.11 in increasing order.
g, -0.11, 0.3, 4
Suppose -17 = 3*h + 4*c + 2, 4 = -c. Let u be (4/3)/((-6)/(-90)). Suppose 4*w + w = -u. Put w, h, -5 in descending order.
h, w, -5
Let t = 17 - 16. Sort 0.04, 2/9, t in ascending order.
0.04, 2/9, t
Let z(u) = -u**3 - 8*u**2 - 13*u - 8. Let d be z(-6). Sort -4, -0.2, d.
-4, d, -0.2
Suppose -a = -6 + 7. Let k be 0 - (2 + a)*-3. Let s be (-1 - 0) + 2 + -3. Sort k, -1, s.
s, -1, k
Let b = 0.05 + 0.15. Suppose -5*k - 150 = -5*d, 0 = -k + 3*d - 0*d - 26. Let s be ((-24)/k)/(-4 + 1). Sort 0.3, s, b in increasing order.
s, b, 0.3
Let i be ((-4)/(-10))/((-6)/(-25)). Let w = -0.11 - 10.89. Let h = -6 - w. Sort 2, h, i in descending order.
h, 2, i
Let f be 2/5*(-1)/2. Let y = 2/169 + -185/1352. Let b = -8 + 42/5. Put f, b, y in increasing order.
f, y, b
Let y = 3 - -4. Let t = 6.7 - y. Let b = t - 0. Put 1, 4, b in increasing order.
b, 1, 4
Suppose -8*x - 3*x = 55. Sort x, -0.3, -0.4, -0.06 in descending order.
-0.06, -0.3, -0.4, x
Suppose -4*d = 2*b + 4, 0*b = -4*b - d - 1. Let w(f) = 2*f + 15. Let z be w(-10). Sort b, z, 2 in decreasing order.
2, b, z
Let v = 29 - 31. Let z(p) = 6*p**3 + 2*p**2 - 1. Let s be z(-1). Sort v, s, -4 in descending order.
v, -4, s
Let r = -67/78 - -9/13. Put -3, r, 1, -13 in decreasing order.
1, r, -3, -13
Let h(u) = u + 10. Let f be h(-9). Put 5, -2, f in ascending order.
-2, f, 5
Suppose 5 = 26*p - 27*p. Let d be ((-15)/9)/(2/(-6)). Sort 0, d, p in ascending order.
p, 0, d
Suppose 3*f + 0*g - 3*g = 27, 2*g + 28 = 4*f. Suppose 0*s = -3*l - 2*s - 13, l = 4*s + f. Sort 4, 5, l in increasing order.
l, 4, 5
Let c be 2/12 - (1 + 4/(-3)). Sort -2/15, 5, c, -0.2 in ascending order.
-0.2, -2/15, c, 5
Let n(b) = -4*b**3 + 2*b - 1. Let o be n(1). Let a = -8 + 2. Let d = 8 + a. Put o, 1/3, d in increasing order.
o, 1/3, d
Suppose 2*s - 16 = 4*s - 5*j, -5*s = -j + 17. Put s, 3, 2 in ascending order.
s, 2, 3
Let t be -4 + (10 - (10 - 5)). Put t, -17, -3/5 in increasing order.
-17, -3/5, t
Let s = 1.9 + -2.3. Put -5, -1/6, s in increasing order.
-5, s, -1/6
Suppose 3*l - 8 = 2*y, 4*y + l = -1 + 13. Let i = -10 - -8. Let k = -3 + i. Sort y, 1/4, k in descending order.
y, 1/4, k
Let u(i) = -i + 5. Let w be u(6). Put w, 3, 6, 4 in descending order.
6, 4, 3, w
Let t = 171 + -175. Put t, -2, -9 in ascending order.
-9, t, -2
Let y be 3*1*5/(-3). Let t = -320 - -320.2. Sort y, 1, t.
y, t, 1
Let p = 40 + -12. Put p, 2, -3 in decreasing order.
p, 2, -3
Let p = 31 - 35. Sort p, 3, 2 in ascending order.
p, 2, 3
Suppose 3*o + 1 - 4 = 0. Suppose o = 5*y - p - 3, 0 = y + 3*p - 4. Suppose f + 3 + 1 = 0. Sort y, -1, f in decreasing order.
y, -1, f
Let s be ((-136)/(-306))/(4/18). Suppose 4*m - 5 + 1 = 0. Sort m, s, 4 in descending order.
4, s, m
Suppose 0 = t + w - 1, -5*t - 3 = -0*t - 3*w. Suppose t = 5*s + 27 + 8. Let y be (-1)/3*(s - 8). Put 1, y, 3 in decreasing order.
y, 3, 1
Let m = 60 - 65. Sort m, 29, 1/4.
m, 1/4, 29
Let a = -4 - -8. Suppose 2*r - a*r + 6 = 0. Let f be (7 + -2)*(-4)/(-90). Sort r, f, -3 in decreasing order.
r, f, -3
Let g = -1.9 + 2. Let j = -0.1 + g. Let v = -359/234 - -4/117. Put -1/2, j, v in descending order.
j, -1/2, v
Suppose 2*i = -2*i + 32. Suppose -i*s - 2*g - 12 = -4*s, -4*s - 3*g = 16. Let o = -6 + 3. Sort o, -4, s in ascending order.
-4, o, s
Let w(d) = -d + 6. Let p be w(5). Let h = p + -3. Let n be (-66)/(-14) + 6/21. Sort h, n, 4 in increasing order.
h, 4, n
Let v = -5 - -5. Let u = 3 + v. Suppose -5*p + 5*j - 2 = -22, p + 8 = -u*j. Sort 0, -4, p in descending order.
p, 0, -4
Let t(c) be the first derivative of -c**4/4 + c**3/3 - c**2/2 - 4*c - 1. Let s be t(0). Suppose 0 = -3*b + 1 - 10. Sort s, -5, b in decreasing order.
b, s, -5
Let a = -166 + 171. Sort 2, 0, a, -3 in ascending order.
-3, 0, 2, a
Let j(c) = -c**2 - 9*c + 15. Let x be j(-10). Put -4, x, -15 in ascending order.
-15, -4, x
Let z = 6 - 6. Suppose z = 5*v + h - 5, h - 3*h = v + 8. Put v, -3, 3 in ascending order.
-3, v, 3
Let p = 0 - -0.2. Let u = -4 - 0. Let g = 0 - u. Sort g, -1, p in descending order.
g, p, -1
Let z be -3 - (-2 + (-5 - -3)). Let s(q) = q + 1. Let m be s(3). Suppose 0 = 2*p - j + 8, -p - m*p + 10 = 5*j. Sort 5, z, p in ascending order.
p, z, 5
Suppose 3*h + 4*n - 17 = 0, 0 - 2 = -4*h + 5*n. Sort -1, h, 1.
-1, 1, h
Suppose -7*w - 5 = -40. Put -10, -5, w, 4 in descending order.
w, 4, -5, -10
Let j = -26 - -42. Let q = -1 + 6. Suppose -q*p - g - j = 2, -5*p = -g + 22. Sort -1, -2, p in increasing order.
p, -2, -1
Let t = -2.9 - 0.1. Let k = -0.48 + 0.4. Let n = k + -4.92. Sort t, n, 5 in increasing order.
n, t, 5
Let a be (40/(-42) - 20/(-70))*6. Put a, 0.2, -3, 6 in descending order.
6, 0.2, -3, a
Let o = -53 - -58. Put 15, -2, o in decreasing order.
15, o, -2
Let x be -1 - -3 - 7/1. Let o = -5 + 5. Suppose 6*p = 3*j + 2*p + 13, o = j - 5*p + 8. Sort x, j, -4 in descending order.
j, -4, x
Let u = -2.6 - -3. Let j = -32 + 30. Sort u, j, 0 in descending order.
u, 0, j
Let z = 6 - 4. Let q be 0 + (-6)/4*z. Let p = q - 0. Put 0, 1, p in decreasing order.
1, 0, p
Let k be 3/24*11/