. Let z be v - (-3)/(-6) - -3. Put 3, z, 0 in ascending order.
0, z, 3
Let d = -19 + 17. Sort d, 1/2, 0 in decreasing order.
1/2, 0, d
Suppose -2*i - 12 = -0*i. Let n = i - -4. Sort 2, n, 6 in decreasing order.
6, 2, n
Let b = -23.1 + 25. Let w = 6.1 + b. Let d = w + -3. Put d, -4, -2/3 in descending order.
d, -2/3, -4
Suppose 11*f - 16 = 7*f. Put 0, f, -0.07 in increasing order.
-0.07, 0, f
Let u(k) = -k**2 - 10*k - 12. Let l be u(-8). Suppose -l*h - 6 = -h. Put -3, h, 5 in increasing order.
-3, h, 5
Let c be (-2)/(-7) - (-266)/98. Let r be (-16)/56 + c/(-14). Sort r, -1/5, -5 in ascending order.
-5, r, -1/5
Let d = -17 - -9.9. Let w = -11 + 18. Let m = d + w. Put 0.3, m, 0 in descending order.
0.3, 0, m
Let l = 62.96 - 64. Let z = 0.04 + l. Sort z, -2/7, -3/5 in descending order.
-2/7, -3/5, z
Suppose 31 = 4*w - 1. Sort 5, w, 3.
3, 5, w
Let f = 19 + -15. Sort -0.3, 0.3, f in increasing order.
-0.3, 0.3, f
Let w be 2 - -16*4/(-30). Put 1/5, 2/7, w in descending order.
2/7, 1/5, w
Suppose 0 = -y - 3*r - 4, 2*y + r + 3*r = -4. Suppose x = -0*x + 3. Put x, y, 1 in ascending order.
1, y, x
Let x(k) = -k**2 + 11*k + 21. Let m be x(13). Sort 3, 2, 1, m in descending order.
3, 2, 1, m
Suppose 3*j + 22 = -5*z, -j + 2*z = j - 12. Suppose -o - n = -4*n - 6, -3*n = 5*o + 6. Put o, j, 2 in increasing order.
o, j, 2
Let z = -0.009 - -0.309. Put 0, z, -2/7, -3 in increasing order.
-3, -2/7, 0, z
Let h be 1 + (-30)/(-26) - 2. Let v = 6.4 - 6. Let r = -7 - -6. Put r, v, h in descending order.
v, h, r
Suppose -1 = 4*w - 13. Put w, 8, 4 in decreasing order.
8, 4, w
Let a be (-95)/30 - (-2)/12. Let o(d) = -d**2 - 6*d + 3. Let f be o(-6). Let g be (-2)/(1*2/4). Sort g, f, a.
g, a, f
Suppose 0 - 1 = j, 3*o - 4*j = -5. Put 5, -5, o in descending order.
5, o, -5
Let k(y) = -y - 10. Let p be k(-7). Let s = -0.41 - -0.31. Sort p, s, -1 in increasing order.
p, -1, s
Let c = 2.7 - 1.8. Let g = 0.5 - c. Sort g, 0.2, 0 in descending order.
0.2, 0, g
Let z = -3 - -11/4. Let q = -0.04 + -0.02. Let i = q + -0.04. Put 0.04, z, i in ascending order.
z, i, 0.04
Let i be 4*(3/3)/1. Sort -2, i, 3.
-2, 3, i
Let s = 3.02 - 0.02. Let g = -479 + 477. Sort g, 1, s in decreasing order.
s, 1, g
Suppose -3*q = -2*y + 7 + 5, -y + 5*q = -13. Suppose 5*x + 4 = 6*x. Suppose -4*i - 10 = -x*p + 2*p, y*p + 29 = -5*i. Put -5, i, 4 in descending order.
4, i, -5
Let l(j) = 3*j**2 + 21*j + 5. Let x be l(-7). Sort -22, x, 3 in decreasing order.
x, 3, -22
Let r(y) = y**3 + 5. Let j be r(0). Suppose 5*v + 6 = 1. Sort j, v, 4 in descending order.
j, 4, v
Let n = -29.7 - -29. Sort n, -0.4, -2/13 in increasing order.
n, -0.4, -2/13
Let p(b) = -b**2 + b + 2. Let a(i) = i**2 - 5*i - 2. Let u be a(5). Let m be p(u). Let w = -1 + -4. Put m, w, 0.2 in ascending order.
w, m, 0.2
Let g = -33.1 - -33. Put 0.01, -3, g in descending order.
0.01, g, -3
Let s be (-2)/9 + (-7)/9. Let d be -2*s/16*-6. Sort -3, 0.2, d.
-3, d, 0.2
Let h(j) = j + 4. Let o be h(-3). Suppose -5*f - 3*a - o = 0, 7 = -f + 5*f + 5*a. Sort 0, f, -1 in decreasing order.
0, -1, f
Let y(s) = s**2 + 2*s + 4. Let f be y(-4). Suppose 0*r + f = 3*r. Suppose 2*a = -1 - 7. Sort a, -2, r in descending order.
r, -2, a
Let v(c) = -c**3 - 3*c**2 + 5*c + 6. Let q = -21 - -17. Let l be v(q). Let f = 1 + -1. Sort l, f, -3.
-3, f, l
Let q = -1.4 - -1. Let z = -82 + 130. Let k = z - 241/5. Put q, 0.3, k in decreasing order.
0.3, k, q
Let w = -0.4 + -0.2. Let m = w - -0.7. Let c = 0.14 - -0.06. Sort m, c, 3 in decreasing order.
3, c, m
Let g(d) = -2*d**2 - d + 1. Suppose 5*b = -o - 6 - 6, 4*o = 4*b. Let n be g(b). Suppose 0 = m - 3*m - 8. Sort m, 5, n.
n, m, 5
Let q = 42 - 337/8. Put -5, q, -3 in decreasing order.
q, -3, -5
Let u = 985 - 703. Let f = -2259/8 + u. Let j be 15/200 + 1/(-5). Sort 1, f, j in increasing order.
f, j, 1
Let g = 0.267 + 23.533. Let y = -24 + g. Let s = 15 + -11. Sort s, 1/5, y in descending order.
s, 1/5, y
Let j = 7 + -12. Let n be 2*-2*j/4. Let w = 0.7 + -0.2. Sort n, w, -3.
-3, w, n
Let t be (2/(-18))/(1/3). Sort t, 3, -1 in decreasing order.
3, t, -1
Suppose -3*o + 5*f + 24 = -0*f, 0 = 5*f + 15. Put o, -0.08, -1 in descending order.
o, -0.08, -1
Let i = -0.1 - -0.6. Let y = -0.14 + -1.86. Sort i, y, -1.
y, -1, i
Suppose 0 = 7*u - 6*u. Sort u, -1, -5.
-5, -1, u
Let r be (627/66)/((-4)/2). Put r, 2/5, 0 in ascending order.
r, 0, 2/5
Suppose -5*s = 2*r - 9, r + 15 = 3*s - r. Sort s, -0.1, -4.
-4, -0.1, s
Let f(a) = 4*a - 2. Let r be f(2). Let g(c) = c - 3. Let q be g(r). Suppose -2*s - 2*b + 0*b + 4 = 0, -q*b - 9 = 0. Sort s, 3, 2 in descending order.
s, 3, 2
Let g = 3 + -3. Sort g, -2, 1 in ascending order.
-2, g, 1
Suppose 5*a = -146 + 166. Put a, 0.3, 1/29, -1 in decreasing order.
a, 0.3, 1/29, -1
Suppose -6 = 4*r - 2. Suppose 2*k + 16 = -2*l, -232*l = -237*l - 4*k - 37. Suppose -7 + 3 = 2*o. Sort r, o, l in descending order.
r, o, l
Let l = 3/22 + -23/330. Put l, -0.2, 3, 0.2 in increasing order.
-0.2, l, 0.2, 3
Let k be 4/6 - (-830)/(-30). Let o be 4/(-8) + 75/k. Let v = o - -28/9. Sort -3/7, 0.5, v.
-3/7, v, 0.5
Let m be ((-12)/21)/(2/(-7)). Let n be (-4 + m)*(-4 - -3). Sort -1, n, -2 in descending order.
n, -1, -2
Let c = -43 + 43. Sort 4, 3, c in increasing order.
c, 3, 4
Suppose 1 - 4 = -3*t. Suppose 0 = 5*n - n - 3*u + t, -2*n = 4*u + 28. Put n, 3, -4/7 in descending order.
3, -4/7, n
Let w = 7 + -7.3. Let z = w + 1.3. Put z, -0.1, 5 in ascending order.
-0.1, z, 5
Let k = 43.7 - 44. Put k, 0.05, 1/4 in decreasing order.
1/4, 0.05, k
Let r = -3 - -5. Suppose -b + 0*g = -g, g = r*b. Put -3, -4, b in decreasing order.
b, -3, -4
Let z = 0.4 - -8.6. Sort 4, z, -0.4.
-0.4, 4, z
Let t be (-6)/8 + 2/(-8). Let i be (0*(2 + t))/1. Suppose 0 = 3*q - i*q - 12. Sort q, -4, -5 in ascending order.
-5, -4, q
Suppose -m = -n + 4*m + 9, -15 = 5*n + 5*m. Suppose 0 = -2*j - 10, 2*r - 33 = 5*j. Suppose -3*s + r*s = -4. Put s, n, 4 in increasing order.
s, n, 4
Let j(x) be the second derivative of 1/4*x**4 + x + 0*x**2 + 1/20*x**5 - 1/6*x**3 + 0. Let l be j(-3). Put -3, -1, l in descending order.
l, -1, -3
Let r(y) = -y + 5. Let d be r(8). Suppose -6 = -0*m + 3*m. Let x be (-5)/d - m/6. Sort x, 4, -1 in ascending order.
-1, x, 4
Let d(c) = -c**2 - 4*c - 3. Suppose -2*m = -m + 3. Let x be d(m). Put 1, -3, x in decreasing order.
1, x, -3
Suppose 0 = i - 4*t + 2*t + 9, 2*t = 2*i + 16. Let b(u) = u**3 + 7*u**2 - u - 3. Let z be b(i). Sort -1, z, -3 in ascending order.
-3, -1, z
Let p be ((6 - 4) + -9)*(-60)/35. Sort -2, -4, p in ascending order.
-4, -2, p
Let o = -0.04 + -1.96. Let a = 2.3 + o. Let j = 0.1 - 0.1. Sort j, -0.1, a in decreasing order.
a, j, -0.1
Let w = 46 - 47. Put 3, w, 2 in increasing order.
w, 2, 3
Let r = 9.3 - 9. Sort -3, -1, r in decreasing order.
r, -1, -3
Suppose -3*r - 2*u = -12, -r + 3*u - 7 = -0. Sort 0, r, -4, 1 in increasing order.
-4, 0, 1, r
Suppose 3*m = -m - 3*k - 21, 12 = -3*m - k. Let v be (1/(-2))/(1/1). Sort m, v, -4 in decreasing order.
v, m, -4
Suppose -4*l = -3*v - l + 15, 0 = -5*v + l + 25. Let r(n) be the first derivative of -n**2/2 + n + 1. Let x be r(v). Sort 0.5, x, 1/8 in descending order.
0.5, 1/8, x
Suppose 5*c - 3 = 8*c. Put -2, c, 0, -4 in ascending order.
-4, -2, c, 0
Let a(p) = -p**3 - 6*p**2 - 2*p - 9. Suppose -2*v + 4 = 16. Let i be a(v). Sort 1, i, 0 in descending order.
i, 1, 0
Let j be (-2)/6*4/6. Suppose 5*v + 2*c + 12 = 0, 0 = -2*v - 0*v + 3*c - 20. Put j, v, 3 in decreasing order.
3, j, v
Suppose 5*a + 3 + 2 = 0. Let c(z) = -z**2 - 7*z + 4. Let h be c(-7). Suppose -2 = 2*f - h*s, 2*f - s + 18 = -2*f. Put a, f, -3 in descending order.
a, -3, f
Let y = -136 - -141. Put y, 2, 0 in decreasing order.
y, 2, 0
Let h be (-1)/1 + 3 + 1 - 2. Put 4, 5, h, 3 in ascending order.
h, 3, 4, 5
Suppose -2 = 2*t - 0*t. Suppose -5*d - z = -32, 5*z + 0*z = 3*d - 36. Suppose -16 + 51 = -d*o. Sort t, o, 5 in increasing order.
o, t, 5
Let b = -263/90 - -27/10. Sort -0.1, b, 2 in increasing order.
b, -0.1, 2
Let s = 12 + -20. Let t = 7 + s. Sort 1, 3, t in decreasing order.
3, 1, t
Let r(x) = x - 9. Let w be r(4). Suppose 5*h - 9 = -b, b - 4*b = 2*h - 1. Put 3, w, h in decreasing order.
3, h, w
Suppose 4*j - 10 = 4*z - 26, -3*j - 6 = 3*z. Let i be z + -1 - (-3)/(-18). Put 5, 1, i in descending order.
5, 1, i
Sup