. Let t = w - 4. Put t, z, -2/7 in descending order.
z, -2/7, t
Let f = 2 - 1.6. Let i = -1 + -1. Let m = 125 - 1373/11. Put f, i, m in decreasing order.
f, m, i
Suppose 4*d = -2*a + 10, 0*d = -3*d + 4*a + 35. Let z = 12.5 - 12. Let o = -0.5 - z. Sort 2, d, o in decreasing order.
d, 2, o
Let l = 797/15 + -53. Sort l, 0.4, -4 in descending order.
0.4, l, -4
Let j = 8.04 - 0.04. Let p = 5 - j. Suppose 11 + 4 = 5*s. Put s, p, -4 in descending order.
s, p, -4
Suppose 4*a = 2*b + 12, b = -3*a - 0*b + 14. Put a, -0.1, -3 in decreasing order.
a, -0.1, -3
Suppose 0 = 2*g - g - 4. Let k be ((-15)/(-25))/((-2)/10). Put -1, g, k in decreasing order.
g, -1, k
Suppose 3*o + 18 = -6*o. Sort 6, 3, o, 4 in descending order.
6, 4, 3, o
Let u = 11 + -12. Put -7, u, 0 in decreasing order.
0, u, -7
Suppose -2*i = -0 + 2. Let o = -1926/13 - -148. Sort o, i, 3 in descending order.
3, o, i
Let v = -1155.57 + 1148. Let p = -8 - v. Let b = p + 0.03. Sort b, 0.3, 4 in ascending order.
b, 0.3, 4
Let c = 0.7 + -1. Let n = 4 + 0. Suppose 5*w = 2*u - 31, -2*w + w = 3*u - n. Put -4, w, c in descending order.
c, -4, w
Suppose -2*x + 5*x = 21. Sort 1/6, 0.4, x.
1/6, 0.4, x
Let r = 12 - 10. Let m be (-1)/r + 54/(-4). Sort 1, 5, m in descending order.
5, 1, m
Let u = 49 + -54. Sort u, 0, 5, 4 in increasing order.
u, 0, 4, 5
Suppose k + k = 10. Sort k, -1, 4 in ascending order.
-1, 4, k
Let j(v) = v**2 - v - 5. Let o be (1 - -1) + (-4)/2. Let r be j(o). Put r, 4, 5 in increasing order.
r, 4, 5
Let u = -19 - -18. Sort -4, 0, -2, u in ascending order.
-4, -2, u, 0
Let k = 9 - 18. Let b be ((-3)/k)/(4/48). Put 1, b, -2 in decreasing order.
b, 1, -2
Let f be (-8 + 8)*1/(-4). Sort f, -1, 2/5, -3 in ascending order.
-3, -1, f, 2/5
Suppose -2*r - n - 2 = -14, 5*r - 4*n = 4. Suppose 5*h + 6 = 2*h. Put -1, h, r in increasing order.
h, -1, r
Suppose z = -3, 2*u + z - 46 = -21. Sort u, 5, 3, -4.
-4, 3, 5, u
Let v(c) = c - 3. Let n = -6 - -9. Let h = n + 0. Let b be v(h). Sort b, 3, 4.
b, 3, 4
Let w = 1.36 + -1.7. Let t = w - -0.04. Let b be ((-9)/(-6))/(9/15). Sort b, t, -1.
-1, t, b
Let m = 0.59 - 0.29. Let r(z) = z**2 - 6*z + 1. Let o be r(4). Put o, 2, m in decreasing order.
2, m, o
Let p(i) = -i - 15. Let s be p(-15). Let q(h) = h - 3. Let k be q(4). Suppose -1 = -t + k. Put t, 5, s in decreasing order.
5, t, s
Suppose z + 15 = -2*z. Suppose 3*b - 8 = 4*m + 2*b, -m - 21 = -5*b. Put m, z, 0 in ascending order.
z, m, 0
Let z = 321/7 + -46. Let s = -3 - -2. Put s, z, 0 in descending order.
0, z, s
Let z = -33 + 34. Sort z, -3, 4 in increasing order.
-3, z, 4
Let a(s) = s**3 + 6*s**2 + s + 4. Let c be a(-6). Let q be 118/(-24) - c/(-6). Let n = 71/12 + q. Sort -1/3, n, 5.
-1/3, n, 5
Suppose 0 = d + o - 17, -2*o + 6 = -0*o. Let v = 14 - d. Sort 2, 1, v in ascending order.
v, 1, 2
Let i be (-5)/(-15) + 89/3. Suppose i = -3*m - 0*m. Put m, -1, 5 in ascending order.
m, -1, 5
Let g = 71 + -76. Let q(w) = w + 3. Let z be q(-4). Put z, -3, g in descending order.
z, -3, g
Suppose 2*d = -d - 57. Let z = d + 14. Put 5, 1, z in decreasing order.
5, 1, z
Let g be ((-45)/20)/((-6)/16). Let d be 3/(-12) - g/8. Let k = -4 - d. Put -4, 5, k in increasing order.
-4, k, 5
Suppose 0 = -o + 5*o + 8, 0 = -4*g - o - 18. Sort 4, 3, g.
g, 3, 4
Suppose c = 4*c + 9. Put c, 5, 1 in decreasing order.
5, 1, c
Let t = -57 - -56. Sort 3, t, -2.
-2, t, 3
Let r = 12 + -12. Sort 1, r, -0.5, -2 in ascending order.
-2, -0.5, r, 1
Let i = -26 - -10. Let v = -24 - i. Let d(z) = 2*z + 12. Let f be d(v). Put f, 2, 4 in decreasing order.
4, 2, f
Suppose t = -t. Let d be (-18)/(-12)*(2 - t). Let q = 0 - 1. Put d, 0, q in decreasing order.
d, 0, q
Let z = -2.2 + 2. Let r = -1.9 + 1.8. Put r, 0.4, z in decreasing order.
0.4, r, z
Let i(c) be the third derivative of c**4/24 + c**3/6 + 4*c**2. Let h be i(3). Sort 2, h, -2 in increasing order.
-2, 2, h
Let j = -7 + 7.1. Let t = j - 0. Let r be (9/6)/(1/(-2)). Put 1/9, t, r in decreasing order.
1/9, t, r
Let a be -5*1 - 8/(-2). Sort a, 0, -5 in decreasing order.
0, a, -5
Let i(z) = -z + 3. Let h be i(5). Sort -5, -3, h.
-5, -3, h
Suppose 2 = 2*p + 3*l, -4*p - 4 = l - 8. Put p, 3, 0 in descending order.
3, p, 0
Let c = 1.7 + -2. Put 3, c, -3 in decreasing order.
3, c, -3
Let o = -6 - -4. Let k = 0 + 4. Suppose k = -y - 0. Sort -1/6, o, y in decreasing order.
-1/6, o, y
Let b be (-18)/14 + 4/14. Let n be b + (-1 - (-16)/10). Let a = -61/42 + 9/7. Sort a, n, 1 in descending order.
1, a, n
Let y(s) = -s**3 + 7*s**2 - 3*s + 17. Let j be y(7). Put 1/9, j, -0.3, -1 in decreasing order.
1/9, -0.3, -1, j
Let b = 3.2 - -2.6. Let d = b + -2.2. Let l = d + -0.6. Sort l, -0.1, -3.
-3, -0.1, l
Let t be (-4)/((-8)/6)*-1. Suppose 3*m = 7 + 2. Suppose 0 = -m*v - v - 8. Sort v, t, 1 in decreasing order.
1, v, t
Suppose 15 = 4*w + 3. Sort 2, w, -1, -19 in descending order.
w, 2, -1, -19
Suppose -t + 5*p = 27, -3*t + 4*p - 31 = -p. Put 1, 4, t in decreasing order.
4, 1, t
Let i be (-5)/(-5)*(0 - -2). Let w(s) = 2*s - 1. Let d be w(3). Suppose 2 = -k + 2*z - 0, 0 = d*z + 5. Sort k, -1, i.
k, -1, i
Suppose -4*h + 2 = -10. Suppose n = h*n + 36. Let m be 39/n + (1 - -1). Put -2, m, 0.2 in descending order.
0.2, m, -2
Let r(g) = -g**3 + 2*g**2 + 3*g. Let y be r(3). Suppose -110 = -5*d - 5*j - y*j, 2*d - 4*j = 26. Suppose n + 4*t + d = 1, 3*n - 3*t - 6 = 0. Sort n, 4, 1.
n, 1, 4
Let m(p) = -p - 1. Suppose z - 13 = 3*f - 2, -4*z = 2*f + 12. Let a be m(f). Suppose 2*o + 12 - 4 = 0. Sort o, a, -2 in ascending order.
o, -2, a
Let c(b) = b**2 - 1. Let q be c(-2). Suppose q*y + 27 = -9. Let m be 2/6 - (-64)/y. Put 4, m, -3 in ascending order.
m, -3, 4
Let g be -2 + (-12)/(-4) + -2. Put 2, g, -6 in descending order.
2, g, -6
Let z = 25 + -27. Sort -1, 4, -3, z in ascending order.
-3, z, -1, 4
Let f = 7.5 + -8. Let c = 0.2 - -0.3. Suppose -i - 8 = i. Sort i, f, c.
i, f, c
Let w = -31 + 29. Sort -1/5, w, -4 in ascending order.
-4, w, -1/5
Suppose -y = 4*z - 17, 16 = 3*y - 0*y + 5*z. Suppose 1 = 2*w - 3. Let m(g) = -g + 2. Let b be m(w). Sort 4, y, b in descending order.
4, b, y
Let z = -3.2 + 3.4. Sort z, 3, -3 in decreasing order.
3, z, -3
Let s be 1/2 - 21/(-6). Let m be (s/(-65))/(6/15). Let y(p) = -4*p**2 + p + 2. Let c be y(-1). Sort m, -0.4, c in increasing order.
c, -0.4, m
Let d = -463/45 + 98/9. Sort d, 5/3, -0.5.
-0.5, d, 5/3
Let z = -14 - -16. Sort z, 4, -2, -3 in increasing order.
-3, -2, z, 4
Suppose -3*x + 12 = -x. Let p be 3/x*8 - 2. Let z = 8 - 12. Put -1, z, p in decreasing order.
p, -1, z
Suppose -3 + 1 = -h. Put h, -3, -1 in descending order.
h, -1, -3
Let c = 18 - 18. Sort 3, 5, c.
c, 3, 5
Suppose -4*i = -o - 29 + 8, 3*i + 5*o = 10. Let k = -6 + 5. Let q = k - -0.9. Sort i, q, 0.1.
q, 0.1, i
Suppose m + 2 = 8. Let w = -4 - -8. Suppose -j + w*j = -m. Put j, 5, 4 in decreasing order.
5, 4, j
Let b = 48 + -51. Put b, 0.3, -1, -0.5 in ascending order.
b, -1, -0.5, 0.3
Let o = -0.28 - 0.02. Let k = -6.77 - -1.9. Let b = k + -0.13. Sort b, -3, o.
b, -3, o
Suppose 5*i - 8*i = 0. Put 3, 4, i in increasing order.
i, 3, 4
Suppose -5*x + x - 16 = 0. Let u = 3 + 1. Suppose 3*l + 2*l = -15. Sort l, u, x in increasing order.
x, l, u
Let b be (-2)/(-1) + 5/(-25)*-5. Sort b, -9, 0.
-9, 0, b
Let f = 1.8 + -2. Let k = f + 0.4. Let t = 1.21 + -6.21. Sort t, -2/15, k.
t, -2/15, k
Let o(z) = -3*z + 8. Let g be o(4). Put 3, g, -2 in decreasing order.
3, -2, g
Let c = -20072 + 140022/7. Let d = -69 - c. Let b = 4.97 + -5. Put -0.5, b, d in descending order.
b, d, -0.5
Let v = -16 - -13. Sort v, -2, 1.
v, -2, 1
Let n = -0.06 - -0.05. Sort 4/9, 0.5, n in decreasing order.
0.5, 4/9, n
Suppose -2*n = 2*n + 8. Sort 4, 2, n in decreasing order.
4, 2, n
Suppose 0 = 10*m - 11 + 41. Sort 4, -4, m in decreasing order.
4, m, -4
Let t = 12 + 2. Let j be ((-28)/(-21))/(t/3). Let q = -4 + 9. Sort q, j, 1.
j, 1, q
Suppose -2*n = -4*c - 2, -11 = -2*n - 5*c + 9. Suppose 0*z + 5*z + n = 0. Let u = 8 + -4. Sort 1, u, z.
z, 1, u
Let a(y) = -y**3 + 2*y**2 - y. Let f be a(1). Sort 5, f, -3 in ascending order.
-3, f, 5
Let h = -0.077 + 3.077. Put h, -1/8, 2/11, -4 in ascending order.
-4, -1/8, 2/11, h
Let s = -15 + 15.9. Let h = s - 0.5. Let l(t) = 8*t - 53. Let u be l(6). Sort u, h, 3 in increasing order.
u, h, 3
Let m = -2 - -4. Let z be 2