pose 3*w - t = -10. Sort w, 5, o.
o, w, 5
Let t = -0.14 - 0.16. Put t, -2, 0.05 in increasing order.
-2, t, 0.05
Suppose -2*x + 7 = -4*b - 5*x, -4*x + 20 = -2*b. Let u be (-10)/(-1)*(1 - 0). Suppose 3*c - u = -2*c. Sort c, -2, b in decreasing order.
c, -2, b
Let j = -1 + 0.9. Let d = j + 0.1. Let z = 33 + -37. Sort d, 3, z in increasing order.
z, d, 3
Let o(w) = w**3 + 5*w**2 + 6*w + 3. Suppose -u + 12 = -4*u. Let l be o(u). Sort l, -2, -3.
l, -3, -2
Suppose 0 = -x - 1 - 1. Let m = x - -1. Put m, 3, 1 in descending order.
3, 1, m
Let h = -13 + 18. Sort 1/3, -5, h in ascending order.
-5, 1/3, h
Let s = 0.4 - 0.2. Let t = 0.9 - 0.5. Put t, 3, s in increasing order.
s, t, 3
Let a = 0.2 - 0.1. Let f = 5 + -5.3. Let y = -0.7 - f. Sort y, a, -2 in increasing order.
-2, y, a
Let c = 6.5 - 7. Sort -9, c, 5/4 in descending order.
5/4, c, -9
Let t = 0.19 - -6.81. Let g = -8 + t. Sort 0.2, -4, g.
-4, g, 0.2
Let v = -20 + 22. Sort -0.08, 0.3, v in descending order.
v, 0.3, -0.08
Let j be (-1)/(2*1/(-4)). Let c = 25/3 - 103/12. Sort j, c, -1/9 in descending order.
j, -1/9, c
Let j be ((-56)/20)/((-2)/(-10)). Let d be ((-8)/(-42))/((-12)/j). Put 3/4, -0.5, d in ascending order.
-0.5, d, 3/4
Let k = 0.2 - 9.2. Let g = k + 8. Sort 2, 1, g in increasing order.
g, 1, 2
Let a(l) = 4*l. Let z be a(1). Let v = 11 + -8. Put z, v, 0 in decreasing order.
z, v, 0
Let n = 16 + -19. Sort 3, n, 4.
n, 3, 4
Let b = 12 + -12. Let f(w) = 2*w**3 - 4*w**2 + 3*w - 2. Let a be f(2). Let j be (-3)/a + 1/(-4). Sort 0.2, b, j in decreasing order.
0.2, b, j
Let p be (-8)/(-12) - (-16)/90. Let h = 2/103 + -1678/1545. Let q = p + h. Put q, 0.1, 0.3 in descending order.
0.3, 0.1, q
Let c be (1 - -2) + -3 + 0. Suppose c*x + x = 5*n + 11, -n - x = 1. Sort n, 1, 3 in decreasing order.
3, 1, n
Let p = 10 - 17. Let s = 6 + p. Let i = -61 + 304/5. Put 3/4, s, i in increasing order.
s, i, 3/4
Let u be (-5)/(-25)*5*1/7. Sort 0.03, 8, u in descending order.
8, u, 0.03
Suppose -18 = u - 5. Let b = 11 + u. Sort 3, -1, b in descending order.
3, -1, b
Suppose 6*t + m - 1 = t, t + 3*m = -11. Let g(v) = -v + 11. Let u be g(8). Let x be ((-4)/(-6))/(u/9). Put 5, t, x in ascending order.
t, x, 5
Let p = -0.1 + -0.9. Let y = p - -2. Let v = -3 + y. Sort 2, 5, v in decreasing order.
5, 2, v
Let l(v) = 4 + 2*v + 2*v - 4 - 1. Let y be l(-1). Sort 3, 4, y.
y, 3, 4
Let y = 2/357 + 676/6783. Let l = -196 - -104. Let v be (-2)/(-5)*20/l. Sort 3, v, y.
v, y, 3
Let d = 51.8 - 52. Sort 0, -0.5, d, -4.
-4, -0.5, d, 0
Let h(j) = -j**2 + 3*j + 4. Let q be h(3). Let n = 15 - 17. Sort -1, q, n in decreasing order.
q, -1, n
Let v = 0.8 - -0.3. Let g = v - 1.8. Let m = g + 0.5. Put -0.01, 2/7, m in increasing order.
m, -0.01, 2/7
Let z be 4 + -1 + (0 - -1). Put z, 0, -5 in decreasing order.
z, 0, -5
Let t(j) = 0*j**3 + 4*j**2 + j - 2 + j**3 + 2. Let a be t(-3). Let o be (-10)/a - (-8)/12. Sort o, 0, 4 in decreasing order.
4, 0, o
Let o(d) = d + 8. Let u = -6 + 0. Let c be o(u). Suppose f + c = -f. Sort -5, f, -4 in ascending order.
-5, -4, f
Let d be (4 - 8)*3/28. Sort d, -1/6, 1.
d, -1/6, 1
Let v(f) = -f**3 - 5*f**2 - 4*f - 1. Let a be v(-4). Suppose 5*i = -2 + 22. Suppose -2*r = 2*r + 4*p - 8, -i*r - 5*p = -7. Put a, r, -4 in descending order.
r, a, -4
Let r = -7 - -5. Suppose -2 = -3*j - 11. Put 3, r, j in decreasing order.
3, r, j
Let f = -100 + 111. Put -3/8, f, -1/4, 3 in ascending order.
-3/8, -1/4, 3, f
Let k = 48 + -51.8. Let x = 1.2 - k. Put -5, -0.1, x in descending order.
x, -0.1, -5
Suppose -21 = 5*h - v, 3*h = -h - 2*v - 28. Let x(q) = -3*q - 2. Let t be x(-2). Sort h, -1, t in ascending order.
h, -1, t
Let s be -1 - 3/(-5 + 2). Sort s, -4, -7 in decreasing order.
s, -4, -7
Let u be (-7)/3 - 5/(-15). Let f be u + 2*(1 - -1). Suppose -5 = -h - 2*a, a + f*a - 9 = 0. Put h, 5, -5 in descending order.
5, h, -5
Let l = 125 - 125.2. Let a = -1.1 + 0.8. Sort a, 0, l.
a, l, 0
Let p be (-1)/(4 + (3 - 4)). Put -1, p, -4/5, 2/9 in decreasing order.
2/9, p, -4/5, -1
Let m = -3.3 + 2.6. Sort 2/13, m, -2 in decreasing order.
2/13, m, -2
Suppose 0 = 4*s + 3*a + 13, 2*a - 11 - 7 = 4*s. Let b be s/(-22) - (-168)/(-77). Sort 0, b, 3 in descending order.
3, 0, b
Suppose -15 = -2*a - 5. Let q = -5 + 6. Sort q, 4, a in decreasing order.
a, 4, q
Let t = 13 + -7. Let q = t - 6.3. Put q, 2, 1 in descending order.
2, 1, q
Suppose -2*y - q - 9 = -3*y, -4*y = -q - 21. Suppose -3*b = -u - 11, y*b + 6*u = 3*u + 6. Sort -1/4, b, -4 in increasing order.
-4, -1/4, b
Let m = 12 + -7. Let v(b) be the first derivative of b**2/2 - 8*b + 2. Let g be v(10). Put g, m, -3 in descending order.
m, g, -3
Let b(s) = -8*s - 53. Let r be b(-7). Sort r, 2/7, 1/5 in ascending order.
1/5, 2/7, r
Let g = 648/5 + -130. Sort -1, -2/13, g, -5 in decreasing order.
-2/13, g, -1, -5
Let v(j) = j**3 - 5*j**2 + 5*j - 3. Let n be v(3). Let a = n - -6. Put 3, a, 4 in increasing order.
a, 3, 4
Let a(f) = f**3 - 11*f**2 - f + 15. Let k be a(11). Put k, 0, -3, 6 in increasing order.
-3, 0, k, 6
Let q be ((-6)/15)/((-3)/(-15)). Sort 5, -5, q in ascending order.
-5, q, 5
Suppose -6*z + 18 = 6. Let n(w) = -w**2 + 0*w + w**3 + 0*w**3 - 2*w + 2. Let i be n(z). Sort -3, i, -5 in decreasing order.
i, -3, -5
Suppose 2*j + 0 - 2 = 0. Let a = -0.6 + 0.3. Let u = -8 - -6. Put a, j, u in decreasing order.
j, a, u
Let g be (0 + 2)*(0 - -3). Suppose g = 2*d + d. Suppose 2*p = -5*c + 13, -d*p = -p + 1. Sort c, -2/13, -2/9 in decreasing order.
c, -2/13, -2/9
Let v(w) be the second derivative of 1/20*w**5 + 1/12*w**4 - 2*w + 0 + 0*w**2 - 1/6*w**3. Let n be v(1). Put -2, -5, n in descending order.
n, -2, -5
Let c be -4 + -51*(-4)/48. Sort c, -1/3, 5/6 in decreasing order.
5/6, c, -1/3
Suppose -6*d + 9 + 9 = 0. Sort d, 2, 1 in increasing order.
1, 2, d
Let x = -6 - -12. Let w = x + -2. Let t be (0 - w/6)*-3. Put 3, t, -4 in increasing order.
-4, t, 3
Let v = 3 - 2.7. Let b(k) = k**2 - 7*k + 1. Let g be b(7). Let o be 5*18/75*g. Put v, o, 0 in decreasing order.
o, v, 0
Suppose -5 = 3*m + 2*m. Let k = -14.3 + 15. Sort m, k, -0.2.
m, -0.2, k
Let k be (0 + -3)*1*(4 - 3). Sort k, -8, 2, 0.
-8, k, 0, 2
Let z = 57 - 514/9. Sort z, -0.1, -1 in ascending order.
-1, z, -0.1
Let t = 7 - 7.8. Let k = -0.2 + t. Let i = -9 + 9.5. Put i, k, 2 in decreasing order.
2, i, k
Let q = 8 + -11. Sort q, 4, -7 in decreasing order.
4, q, -7
Suppose 2*a = -1 + 9. Put a, -1, -4 in decreasing order.
a, -1, -4
Let r be -1 + (-1 + 10)/1. Let b = 11 - r. Sort -1, 4, b.
-1, b, 4
Let m = -32 + 29. Sort -4, m, -0.3 in descending order.
-0.3, m, -4
Let t be 4*-6*(-2)/64. Let r = -3 + 2. Put r, 0.1, t in decreasing order.
t, 0.1, r
Suppose 5*n - 9 = -4*i, -4*n - 1 + 29 = -2*i. Let y(o) = 3*o + 4. Let t be y(-3). Let x be 3/(-6) + t/(-10). Put x, i, -2 in ascending order.
i, -2, x
Let f = 18/5 + -103/30. Sort 1.9, f, -1.
-1, f, 1.9
Let v be (-1 - -2)/(5/195). Let y be (-4)/6 - 26/v. Sort -0.5, 3/2, y in decreasing order.
3/2, -0.5, y
Suppose -4*n + n + 2*u = 8, 0 = 5*n + 3*u + 45. Put n, 5, -2, 3 in ascending order.
n, -2, 3, 5
Let n = -8 - -11. Let l = 70 - 66. Sort l, -4, n.
-4, n, l
Let t = 14.94 + 0.06. Let d = t + -15.5. Put d, 2, -0.2 in descending order.
2, -0.2, d
Suppose 2*d = d + 4*u + 10, -3*d + 8 = -u. Let k be (4/(2/d))/1. Let t be 5 + (-12)/8 + -3. Put -2, k, t in descending order.
k, t, -2
Let a(p) = p**3 + 6*p**2 - p - 3. Let r be ((-72)/32)/(3/8). Let f be a(r). Sort f, 5, 4.
f, 4, 5
Let g(w) = w**2 + 3*w - 7. Let o be g(-5). Suppose -2*s + 21 = -4*c + 7, 2*s = 6. Put c, o, 5 in increasing order.
c, o, 5
Let b = -0.8 - -4.68. Let c = 0.12 + b. Sort -2/13, c, -3 in decreasing order.
c, -2/13, -3
Suppose 2*b + 2 - 12 = -q, 0 = -3*q + 4*b - 10. Let g be -4 + (-3 - -2)/(-1). Put g, q, 0 in decreasing order.
q, 0, g
Let n(g) = -g + 1. Let p(f) = -f**2 - 3*f - 3. Let z be p(-3). Let d be n(z). Sort d, -3, -5 in increasing order.
-5, -3, d
Let c = 5 - 3. Suppose 6*k - 11 = 1. Suppose -c = -5*f - 4*o, -4 = 5*f + k*o - 0. Put 3, 0, f in ascending order.
f, 0, 3
Let g = 11.99 + -7.08. Let w = -0.09 - g. Put 5, -0.5, w in increasing order.
w, -0.5, 5
Suppose 0 = h - 2*k - 7, -2*k + 7*k + 13 = 4*h. Put 17, h, -4 in increasing order.
-4, h, 17
Suppose 1 = -u - 4. Let f = -112 + 111. Sort f, u, 2 in decreasing orde