. Put w, x, -1 in descending order.
x, -1, w
Let b = -15/2 + 77/10. Let s = -11.5 - -6. Let i = s - -5. Sort i, 5/4, b in decreasing order.
5/4, b, i
Let r = -3.54 + 3.64. Let y = -6.4 + 6. Suppose -8*v + 4*v = -4. Put v, r, y in ascending order.
y, r, v
Let t = -0.02 + 0.08. Let y = -106.94 + 110. Let v = y - t. Sort -1, v, 1/3 in ascending order.
-1, 1/3, v
Let x(w) = 4*w + 68. Let o be x(-16). Put 4/5, o, 7 in descending order.
7, o, 4/5
Let c = -11 + 13. Sort -3, c, 0.2 in decreasing order.
c, 0.2, -3
Let s = 63 + -64. Sort s, 5, 3.
s, 3, 5
Let t(s) = s**3 + 5*s**2 - 6*s. Let r be t(-6). Sort r, -3, 1 in increasing order.
-3, r, 1
Let s(y) = y**2 + 7*y + 3. Let x be s(-6). Sort 8, x, 3.
x, 3, 8
Let h be 4 + -1 + 3 + -1. Let l = -0.46 + 0.06. Let v = 0.09 + -3.09. Put l, h, v in decreasing order.
h, l, v
Let n be (-2)/(-4) - 2/4. Suppose 0 = z + 2*v + 3, -v = 2 + 1. Let i be (-5)/2*(-5 + z). Sort i, n, 4.
n, 4, i
Let u = -1 + 1. Let q = -15 - -17. Put u, -2, q in ascending order.
-2, u, q
Let c be (-11)/(-3)*(-1 - -4). Suppose -2*f + 5*f = s + c, -26 = -2*f - 4*s. Suppose f*a - 6 = 2*a. Sort a, 0, -5 in decreasing order.
a, 0, -5
Suppose t + 2*r = -8, 2*t - 4*r - 12 + 4 = 0. Suppose -5*y = -3*v - 30, 0 = -4*y + 5*y - 4*v + 11. Suppose 3 = -3*l + y. Sort 3, t, l.
t, l, 3
Let n = 12 + -7. Put n, -5, -1 in descending order.
n, -1, -5
Let k(w) = w**2 - 1. Let l be k(-2). Let p = 0.18 + -0.11. Let f = 0.07 - p. Put l, f, -3 in descending order.
l, f, -3
Let n(m) = m**3 + 8*m**2 + 5*m - 10. Let f be n(-7). Suppose -2*i + 40 = 5*l, 4*i - i - 60 = 3*l. Suppose -3*r + i = r. Put -1, r, f in decreasing order.
r, f, -1
Suppose -7*x = -4 - 3. Put -3, -1, -18, x in descending order.
x, -1, -3, -18
Let u = -17 + 20. Suppose -3*i - 2 = -i + 2*l, -3*i - 5*l = -u. Sort 3, 0, i in decreasing order.
3, 0, i
Let y = -7 + 3. Let h = -0.0228 - 2.0072. Let k = h - -0.03. Put 2, y, k in descending order.
2, k, y
Let k be 3 - (-2)/(-6)*3. Let w be 1/k - 25/10. Sort -1/4, 0.3, w.
w, -1/4, 0.3
Let g be 94/(-60) + 4/6. Let d = -1/2 - g. Put 5, -0.1, d in descending order.
5, d, -0.1
Let a(d) = -d**2 + 8*d - 8. Let f be a(6). Suppose f - 3 = u. Let t be -10*1/(-2) - u. Put -3, -5, t in decreasing order.
t, -3, -5
Let g be (24/10)/((-5)/25). Let y = g + 13. Put y, 4, -2 in decreasing order.
4, y, -2
Let i(m) = m - m - 10 + 3*m - 2*m. Let j be i(5). Put -3, 1, j in decreasing order.
1, -3, j
Let l = 5.3 - 8.3. Let h = -157 - -1101/7. Sort 2, l, h.
l, h, 2
Let j(i) be the first derivative of -i**3/3 - 3*i**2 - 9*i + 1. Let p be j(-6). Let t be 6/2*12/p. Sort -5, t, 5 in increasing order.
-5, t, 5
Let p = 484/7 - 69. Sort -3, -5, p.
-5, -3, p
Suppose -10*r = -6*r - 4. Put -4, 0.4, r, 3 in decreasing order.
3, r, 0.4, -4
Let r be 3 - (0 - 3 - -4). Suppose r*w + w = 15. Put w, -2, 3 in decreasing order.
w, 3, -2
Suppose 30 = 4*i - i. Let k = i - 7. Let q be (5/5)/((-1)/k). Sort -1, 3, q in increasing order.
q, -1, 3
Let n be ((-2)/(-1) + 1)*-1. Let k = n - -7. Put k, 0, -4 in increasing order.
-4, 0, k
Let c = 5 + 10. Suppose 0 = 2*i + 4*q + 16, 2*i = -i - 3*q - c. Let x be ((-4)/i)/(12/3). Put 0, x, -0.2 in descending order.
x, 0, -0.2
Suppose 8*v - 13*v = 0. Let q be -1 - 2 - (-2 + 2). Let o be ((-6)/(-4))/(3/(-4)). Put v, o, q in decreasing order.
v, o, q
Suppose -l - 4*l - g = -10, 0 = 4*g - 20. Sort -2, -3/7, l.
-2, -3/7, l
Suppose 5*k = -3*m + 3*k + 29, -2*m + 4*k = 2. Suppose -3*x = -1 + m. Sort x, -15, 4.
-15, x, 4
Let m = 31 + -33. Sort -3, -4, m, -1 in ascending order.
-4, -3, m, -1
Let q = 3.4 - 1.1. Let v = q + -0.3. Let l = -4 + v. Put l, -5, -3 in decreasing order.
l, -3, -5
Let r = 5 + -3. Let d be -3 + 75/21 - 0. Put r, -4, d in ascending order.
-4, d, r
Let h be 37/7 + (-2)/7. Let p(f) = f + 1. Let b(o) = -2*o - 6. Let z(x) = b(x) + 3*p(x). Let m be z(h). Put m, -3, 5 in increasing order.
-3, m, 5
Suppose -z - 4*z + 15 = 0. Suppose -z*i + i - 6 = 0. Sort -5, 1, i in ascending order.
-5, i, 1
Let p = -14 + 9. Let h = 4.067 + -0.067. Put 0.5, p, h in descending order.
h, 0.5, p
Let g = -28 + -27. Let w be (g/3)/(-5) + -3. Put w, 3, -1 in increasing order.
-1, w, 3
Suppose -9*n + 8 = -n. Put -5, -1, n, -4 in descending order.
n, -1, -4, -5
Suppose l + 1 - 4 = 0. Let k(y) = y**2 + 3*y**l + 2 - 2*y**2 - y - 5*y**2 - 2*y**3. Let v be k(6). Put v, 3, 1 in descending order.
3, 1, v
Let p(a) = -2*a**2 - 3*a. Let d be p(-2). Suppose 0 = 3*y + y - 8. Sort -4, d, y in descending order.
y, d, -4
Let b = -1730 - -254309/147. Let u = b - -305/1617. Let o = -4.93 + -0.07. Sort -0.2, u, o in ascending order.
o, -0.2, u
Suppose h + u = -4*h - 25, -3*u + 15 = -3*h. Suppose 3*l - 1 = 5. Suppose 0 = y - 3, 0*f + 11 = 5*f + l*y. Sort f, h, -1 in ascending order.
h, -1, f
Let y = 0.044 + -0.544. Put y, 1.2, 3, 3/4 in ascending order.
y, 3/4, 1.2, 3
Let s = 7 - 15. Let w be 1 - s/((-2)/(-1)). Sort -2, -3, w in ascending order.
-3, -2, w
Suppose 4*z = -11 - 9. Let i = -69 + 135/2. Sort z, i, -1/2 in descending order.
-1/2, i, z
Let l = -14 - -19. Sort 0, -3, l.
-3, 0, l
Let a(j) = 4*j - 2*j + 3 + 1. Let n be a(-4). Put n, 3, 2 in decreasing order.
3, 2, n
Let d be 2/((0 - -8)/(-4)). Let h = -8 - -4. Put -2, d, h in decreasing order.
d, -2, h
Let r = 14 - 11. Suppose -2*c - r = 1. Put c, 0, -5 in ascending order.
-5, c, 0
Let c(l) = l**3 - 3*l**2 - 3*l - 1. Let z be c(4). Let j = 178 - 173. Let b(w) = w. Let n be b(-1). Put j, z, n in ascending order.
n, z, j
Let f be 15/10 - (-9)/6. Suppose 17 = -0*y + 2*y + 5*t, t + 1 = 4*y. Let l be (2/(-6))/(y/(-3)). Put l, -3, f in decreasing order.
f, l, -3
Let m be 58/(-14) - (0 + -4). Sort 8, m, 1/8 in descending order.
8, 1/8, m
Let n = 0.3 - 0. Let h be 3/(-7)*(-56)/(-32). Let i = h + 41/44. Sort i, 0.2, n in descending order.
n, 0.2, i
Let b(p) = -p**3 + 14*p**2 + 15*p + 4. Let g be b(15). Put -5, g, 3 in ascending order.
-5, 3, g
Let c(j) = -3*j - 14. Let p be c(-5). Put p, 5, -5, 0 in ascending order.
-5, 0, p, 5
Let h = 6 + -5.5. Sort 1/4, -3, h.
-3, 1/4, h
Suppose -24*b = -23*b + 3. Let i = 7 - 4. Sort -4, b, i.
-4, b, i
Suppose 0*u - 3*u + z = 12, 4*z - 27 = 5*u. Let q = 2 - 7. Let s(h) = -h**2 - 7*h - 1. Let x be s(-6). Put u, q, x in increasing order.
q, u, x
Let v be (15/(-3) - -1)*-1. Let p be 0 - (9/(-3) + v). Sort 0, 1, p in descending order.
1, 0, p
Let p = 0.006 + -0.806. Sort p, -4, 4, -0.5 in ascending order.
-4, p, -0.5, 4
Suppose -5*m + 0*k = 3*k - 32, -2*m - 2*k = -16. Let w = -5.98 + 6. Let o = w - 0.02. Sort -5, m, o.
-5, o, m
Let s = -3 + -1. Put s, 4, -1 in ascending order.
s, -1, 4
Let z(x) = x**3 - 7*x**2 + 7*x - 7. Let b be z(6). Let r(w) = -4*w - 7. Let t be r(-3). Let i be (-56)/70*(0 + t). Put -2/3, i, b in descending order.
-2/3, b, i
Let y(i) be the third derivative of i**6/120 + 7*i**5/60 + 5*i**4/24 + i**2. Let o be y(-6). Let p be (o/14)/((-9)/(-6)). Put 0.2, p, -1/5 in descending order.
p, 0.2, -1/5
Let u = 0 - -4. Let o = u + -4. Sort 0.1, -3, o in descending order.
0.1, o, -3
Let a = 2 - -1. Let w = -0.18 - -0.18. Put w, 1, a in ascending order.
w, 1, a
Let t be 1/(-4) - 4/(-144). Suppose 0 = 2*w - 11 - 1. Let m = -7 + 6.8. Sort w, m, t.
t, m, w
Let u = 66 + -66. Sort 13, u, -5, 2 in descending order.
13, 2, u, -5
Let w = 4.6 - 5. Sort w, 0.1, -2 in ascending order.
-2, w, 0.1
Let s be -3 - (16/(-4) - -2). Suppose 0 = w - 2*w + 4*b + 2, -2*b - 4 = -2*w. Suppose -w*g + 8 = 0, 5*g = -r + 26 - 4. Sort -4, r, s.
-4, s, r
Let p be 35/(-300) - ((-14)/8)/7. Sort 2/3, -2, 0, p.
-2, 0, p, 2/3
Let i = 15.8 + -16.3. Let n = -0.2 - -0.3. Sort n, i, 2.
i, n, 2
Let d be 38*3/(-144) - -2. Let s = -5/6 + d. Put 0.3, s, -4 in decreasing order.
s, 0.3, -4
Let x = 30.5 - 1.5. Let v = x + -23.3. Let w = v - 6. Put -2/11, -2/15, w in descending order.
-2/15, -2/11, w
Suppose 30*g + 10 = 32*g. Put 2, g, -1 in ascending order.
-1, 2, g
Let v be ((-4)/10)/(3/(-15)). Let w = v - 1. Suppose a = 3 + w. Put 5, a, 1 in increasing order.
1, a, 5
Let u = -334/255 - 2/85. Put u, -0.8, 1/5 in descending order.
1/5, -0.8, u
Suppose 0 = 2*s - 5*f - 45, 5*f = -2*s + 3 - 8. Suppose 15 = 5*z, 0 = -0*i + 2*i - 4*z + s. Suppose 0 = -9*k + 5*k. Sort 3, k, i.
k, i, 3
Let f = -1/18 - 4/9. Sort -0.2, f, 0 in increasing order.
f, -0.2, 0
Let h