 -3, v in descending order.
v, 1, -3
Suppose 4*n + 2*f + 16 = 0, 0 = -n - 0*n - 5*f + 5. Put n, -3, 1/2, 0.4 in descending order.
1/2, 0.4, -3, n
Let i(r) = r + 3. Let q = -1 + -1. Let s be i(q). Sort 2, 5, s in increasing order.
s, 2, 5
Suppose 53 = 6*g + 53. Put 0.4, g, -0.1 in decreasing order.
0.4, g, -0.1
Let b(z) = 3*z - 10. Let c be b(4). Let l be -3 + (-8)/(c - -2). Put l, -2/21, 0 in ascending order.
l, -2/21, 0
Let o(a) = a**2 + 5*a - 5. Let i be o(-6). Sort -0.3, i, 2/9 in increasing order.
-0.3, 2/9, i
Let r = -63 + 61. Sort r, 2, -5, -1.
-5, r, -1, 2
Let p(j) = -j**3 + 11*j**2 + j + 4. Let k be p(11). Sort 2, 3, k in decreasing order.
k, 3, 2
Let j be (24/(-9))/((-2)/11). Let y = 130/9 - j. Sort 2/17, -5, y in increasing order.
-5, y, 2/17
Suppose g = 3 + 3. Let v(k) = k**2 - 5*k - 4. Let b be v(g). Suppose -b*a = 2 + 2. Sort a, 2, 1 in decreasing order.
2, 1, a
Let y be 5/(50/(-4)) - 54/(-10). Sort -4, 1, y in ascending order.
-4, 1, y
Let d = -1.3 + 1.2. Sort -4/7, d, 2 in descending order.
2, d, -4/7
Let f = 19.99 + 0.01. Let j = f + -19.9. Suppose 3*w - 6 = -2*w - 4*v, 5*v = 20. Put -0.2, j, w in ascending order.
w, -0.2, j
Let f(b) = -b**3 + 3*b - 6*b**2 + 0 - 8*b + 4. Let j be f(-5). Put -3, j, -1 in decreasing order.
j, -1, -3
Suppose 4*a = 2*u + 12, -2*u - u = 4*a - 22. Suppose -5*h = -3*v - 13, 3*h - 2*v = -0*h + 7. Sort -1/5, h, u in decreasing order.
h, u, -1/5
Let i = 14 + -17. Sort -3/5, i, -0.1 in increasing order.
i, -3/5, -0.1
Let b = 143 - 144. Sort -19, b, 3, -4.
-19, -4, b, 3
Let u = -2 - -1.7. Let d = -6/19 + 16/171. Put d, 3, u in descending order.
3, d, u
Let m = -5.2 - -5.69. Let y = 0.01 + m. Sort y, -0.3, -0.5.
-0.5, -0.3, y
Let o = -3 - -1. Let k = 118 - 114. Sort k, o, -5.
-5, o, k
Suppose 0 = -t - 2*t + 6. Let n be -3 - (t - (-6)/(-3)). Put n, 4, -1 in descending order.
4, -1, n
Let u be (-5 + (-45)/(-10))*(7 - 5). Let d = 171/8 + -903/40. Put -5/3, u, d in decreasing order.
u, d, -5/3
Suppose -4*y + 5*w - 12 = 0, 25 - 5 = 4*y + 3*w. Suppose r = 2*r. Sort 1, r, y in descending order.
y, 1, r
Suppose -4*n + 4 + 0 = 0. Let x(z) = -28*z + 115. Let f be x(4). Put n, -2, f in increasing order.
-2, n, f
Let n = 30.38 + -31. Let x = n - -0.12. Put 5, -5, x in increasing order.
-5, x, 5
Let c = 20 + -25. Sort 2, -2, c in decreasing order.
2, -2, c
Suppose -2*x = -5*c + 10, -2 + 0 = -c. Let h = -3 + 9. Let r be h/(-1 + 1/(-2)). Sort -1, x, r in descending order.
x, -1, r
Suppose 3*w = w - u, u = -w - 1. Let z = 2 - w. Suppose f + 0 = -z. Sort f, -2, 0.5.
-2, f, 0.5
Let i = -55 + 57. Let b = 36/7 - 137/28. Let t = 0.03 + -5.03. Sort i, b, t in increasing order.
t, b, i
Let m = 80.8 - 81. Put 0.4, m, -6 in descending order.
0.4, m, -6
Let i = 5 - 5.5. Let y be (-2)/(8/6 - 4). Sort i, -2, y.
-2, i, y
Let c be -1 + 2 + (1 - -1). Suppose 20 = c*w + 2*w. Suppose z + 4 = 3. Put -2, z, w in ascending order.
-2, z, w
Let q = -0.384 + -0.036. Let g = -0.08 + q. Sort -8, g, 0.4 in ascending order.
-8, g, 0.4
Let x = 7.3 + -7. Let q = -9.95 - 0.05. Let g = -15 - q. Sort x, -4, g.
g, -4, x
Let p = -0.04 - -0.14. Sort -0.2, p, 1/2 in ascending order.
-0.2, p, 1/2
Let f = 0.19 + -2.19. Sort f, -2/3, 0.2 in decreasing order.
0.2, -2/3, f
Let v be (2/(4/4))/2. Suppose 3 = 2*n - v. Sort -4, 4, n in descending order.
4, n, -4
Let y(b) = b + 6. Let u be y(-3). Sort -3, u, 5 in ascending order.
-3, u, 5
Let c = 107 - 107.2. Put 0, -2, -68, c in decreasing order.
0, c, -2, -68
Let n = -76 + 72. Sort 2, n, -2, 0 in descending order.
2, 0, -2, n
Let g = -1 + 10. Suppose 5*c - 11 - g = 0. Let t be (-2 - 1)*(2 - 4/3). Sort c, -5, t in decreasing order.
c, t, -5
Let i be (2/(-3))/(2/6). Suppose -5*b = j - 74, 2*j = -0*b + b - 17. Suppose b = -6*r - 9. Put i, 2, r in decreasing order.
2, i, r
Suppose u + h - 3 = 0, -2*u + 4*h + 10 = 28. Put 0, -3, 5, u in descending order.
5, 0, u, -3
Let w be (-1)/(-6) - (-2)/(-4). Suppose 3*n = -4*d + 3, 0 = 3*d + d + 5*n + 3. Let p be 8*d/15 + -2. Sort 1/7, w, p in ascending order.
p, w, 1/7
Let f = -2.6 + 3. Let v = 0.01 - 0.2. Let x = 0.69 + v. Sort x, f, -4 in descending order.
x, f, -4
Let m = -7667/21 - -365. Suppose 4*h + 0*a = -3*a - 36, 50 = -5*h - 5*a. Let d be 3/h*-2*-2. Sort 0, d, m in decreasing order.
0, m, d
Let r = -20/11 - -131/66. Sort -1, r, 0.1.
-1, 0.1, r
Suppose 0 = 5*g - 6 - 9. Put g, 2, -2 in increasing order.
-2, 2, g
Suppose -5*t - 5*h = -15, 4*t + h - 3 = -0*t. Let v = -3/50 - 8/75. Let o = 0.05 - 0.35. Sort o, v, t in ascending order.
o, v, t
Suppose 23 = -4*n - 3*m, -2*n + 2*m - 12 + 4 = 0. Let d be 1/5 - (-160)/(-50). Put n, d, -4 in decreasing order.
d, -4, n
Let u = -0.38 - -18.58. Let t = u - 18. Put -1, -3, t in increasing order.
-3, -1, t
Let t = -6 + 6.3. Let m be 1/4 + 30/8. Suppose 5*u + 10 = -x, 7*x + 5*u + 20 = 4*x. Sort t, m, x in decreasing order.
m, t, x
Suppose 4*a = -3*c + 10, -2*c - 5*a = c - 14. Let u be 3/5 + c/10. Sort u, 4, -0.3 in descending order.
4, u, -0.3
Let m(q) = -q + 2. Let x(w) = w + 1. Let f be x(6). Let i be m(f). Put -4, i, 0.4 in descending order.
0.4, -4, i
Suppose 8*r - 4 - 92 = 0. Put -2, 5, r in ascending order.
-2, 5, r
Let a = -2 - -15. Let d = -22 + a. Put -1, d, -5 in descending order.
-1, -5, d
Let k(y) = y + 3. Let h be k(7). Suppose 3*n - h = 5. Sort -4, -3, n.
-4, -3, n
Let x = -12 - -14. Suppose t + 15 = 4*f, -4*t - 7*f + 24 = -2*f. Sort t, -3, x in ascending order.
-3, t, x
Let t = 205/3 + -69. Let p be (18/(-15))/(2/10). Let w = 3 + p. Put 5, w, t in descending order.
5, t, w
Let b = 54.9 - 63. Let i = 8 + b. Let r = 0.9 + 0.1. Sort i, -2, r.
-2, i, r
Let t = -11 + 11. Let b = 2 - t. Sort b, 3, -3 in decreasing order.
3, b, -3
Let o = -3 - 0. Suppose s = -2*d - 5, -d - 10 = 2*d + 4*s. Let m be (2 + (o - -1))/d. Put m, 1, 2 in decreasing order.
2, 1, m
Let x = 1.18 + -1.38. Put x, 4, 3, -59 in descending order.
4, 3, x, -59
Let g = 3 - 6. Sort g, 5, 4 in decreasing order.
5, 4, g
Suppose -5*m + 37 = -3*a, 2*m = 2*a - 4*a + 2. Suppose 2*k = -0*k - 4*r + 22, k + r = 6. Sort k, 4, m in decreasing order.
m, 4, k
Let p = -0.06 + 0.01. Let l = p + 0.45. Sort l, 2, -0.5 in decreasing order.
2, l, -0.5
Let g = 13 + -8. Let l = g - 5.1. Put -1, l, -5 in decreasing order.
l, -1, -5
Let z = -2.02 + 0.02. Let q = -0.3 - -5.3. Sort q, z, 2/11 in descending order.
q, 2/11, z
Suppose 0 = -f - 2*f - 9, 0 = n + 4*f + 7. Let y = 3 + -5. Let v be 2/8 + 35/20. Sort v, n, y in decreasing order.
n, v, y
Let l = -22 + 22.2. Sort 2/3, 0.04, l in descending order.
2/3, l, 0.04
Let z = -125 + 2749/22. Let j = 0.222 - -3.778. Sort j, z, -1/8.
-1/8, z, j
Let x = -37 - -41. Sort 1/2, x, 2/9 in increasing order.
2/9, 1/2, x
Let v be 3201/5385 + (-2)/4. Let r = v + 2/359. Put -2/7, r, -2/3 in ascending order.
-2/3, -2/7, r
Suppose 66 = -2*k + k + 2*q, k + q + 81 = 0. Let y = -682/9 - k. Sort y, 1/4, 4 in ascending order.
y, 1/4, 4
Suppose 2*c = -2*z - 8, 2*z + 0*z + 5*c + 17 = 0. Sort z, -2, -3, 7.
-3, -2, z, 7
Suppose 5*y - 2*x - 30 = 3*x, 0 = x + 1. Suppose -10 = -3*u + y*u. Suppose -7*i - 12 = -3*i. Sort i, u, 4 in decreasing order.
4, i, u
Let n(x) = -x - 6. Let v be n(-5). Let i be 0 + 9/((-36)/8). Put v, 2, i in ascending order.
i, v, 2
Suppose 23 = -v - 2*v - 2*k, 3*k + 2 = 2*v. Suppose -5*z + 40 = -0*z. Let j = z - 5. Sort j, 2, v.
v, 2, j
Suppose -h - h - 80 = 0. Let j be ((-4)/(-10))/((-4)/h). Suppose 0 = 2*b + 5 + 3. Put j, 0, b in descending order.
j, 0, b
Suppose 9 = -2*z + 3. Suppose -g + 3*g - 16 = -v, 3*v - 2*g - 16 = 0. Suppose 6*k + b = 2*k + 12, 0 = -2*b - v. Put k, z, -2 in decreasing order.
k, -2, z
Let u = 101 + -102. Put 2, 1/6, u, 0.2 in decreasing order.
2, 0.2, 1/6, u
Let r be ((-8)/(-6))/((-2)/12). Let l = 4 + r. Let b be (45/20)/(9/6). Sort -0.3, b, l.
l, -0.3, b
Let i = -0.4 + 6.4. Put i, 3, 2/17 in descending order.
i, 3, 2/17
Let p = 3.7 - 4. Let f = 2 + -2. Put p, f, 5 in ascending order.
p, f, 5
Let m = 1.9 - 2. Let r = 9 + -8.7. Let u = r - m. Sort -0.1, u, 2 in decreasing order.
2, u, -0.1
Let b be (0 - -2)*(-4)/(-6). Sort b, -3, 1/7 in descending order.
b, 1/7, -3
Let j be 2/(-6)*-3 - 1. Suppose -u + 6*u + 5 = j. Sort 3, u, -2 in descending order.
3, u, -2
Suppose 5*y - 2*y = 12. Let c = -0.2 - 0.3. Sort y, c, -5 in d