71 - w. Put 2/25, -0.1, r in descending order.
2/25, -0.1, r
Let x = -0.32 - 1.38. Let o = -1.3 + x. Let t = 68 + -477/7. Sort t, o, -0.5.
o, -0.5, t
Let k be 20/6 + 5/(-15). Suppose -1 = -d - 0. Let l = 10 - 5. Sort k, l, d in increasing order.
d, k, l
Let b(k) = -k**2 - 5*k + 31. Let z be b(4). Put 1, 1/3, -3, z in ascending order.
z, -3, 1/3, 1
Let v = 0.4 + -0.37. Sort 3, v, -1/2 in decreasing order.
3, v, -1/2
Suppose 3*u + 0*u + 3 = 3*y, 0 = 2*y - u - 3. Suppose -y*i - 8 = -3*r, 3*r - 4*i + 16 = 5*r. Put -2, r, -6 in increasing order.
-6, -2, r
Suppose 5*a = -4*l - 17, a - 8 + 23 = 5*l. Suppose -4 = l*y - y. Let g be -1*(10/y - -3). Sort g, -1, 3.
-1, g, 3
Suppose -2*z = 3*z. Let y(v) = v**2 + v + 2. Let u be y(-1). Let i be u - (-2 + 2 + 6). Put 3, z, i in ascending order.
i, z, 3
Suppose 0*l = -2*l - 2*a + 12, -8 = -3*l + 2*a. Let w(d) = d**3 + 7*d**2 - 8. Let v be w(-7). Let x = 11 + v. Sort l, x, -1.
-1, x, l
Suppose 0 = -4*t - 3*i - 20, i + i + 8 = 0. Suppose 0*b + 10 = b + 4*m, b = 2*m - 2. Let r(l) = l**3 - 7*l**2 + l - 10. Let p be r(7). Sort b, p, t.
p, t, b
Suppose -19 = 5*k - 4. Let z = -1 + -1. Let y be 2 + 0 - (2 + -2). Put k, z, y in descending order.
y, z, k
Let d = 5.2 - 8.2. Put 0.2, 21, d, -2 in decreasing order.
21, 0.2, -2, d
Let l(x) = -7*x + 1. Let d be l(1). Sort -2/9, -1, d, -2 in decreasing order.
-2/9, -1, -2, d
Suppose -3*w - 6 = 5*q - 9, -3*w = 4*q. Suppose -c + 10 = -3*c. Suppose -2*k - 4*r = -2, 0 = 2*k - 0*k - 3*r + 12. Put c, k, q in ascending order.
c, k, q
Suppose -4*f + 2*y - 2 = -8, 0 = -5*f + 5*y + 20. Suppose 3 = 3*c, 4*m - 5*c + 1 = 12. Put m, f, -4 in decreasing order.
m, f, -4
Let i be (-10)/15 + (-22)/(-6). Suppose -h = i*j - 6, j - 4 = -j - 2*h. Suppose -j*q - y + 5 = -1, -2*y - 16 = -3*q. Sort -4, q, 1 in ascending order.
-4, 1, q
Let d = 22 + -27. Let q = -0.5 - -1. Sort d, q, 0.2 in descending order.
q, 0.2, d
Let p be 7/2 - 1/2. Let n = -1.6 + 2. Put n, p, -5 in increasing order.
-5, n, p
Let z be (-2)/(11292/(-11188) - -1). Let r = 215 - z. Let y = -0.1 - 3.9. Sort 0.2, y, r in descending order.
0.2, r, y
Suppose -4*b + 0*b - 4 = 0. Let p(c) = c**3 - 8*c**2 + 5*c + 9. Let f be p(7). Put f, 1, b in ascending order.
f, b, 1
Let i(u) = -u + 7. Suppose -2*s + 28 = 2*s. Let m be i(s). Put m, 3, -5 in descending order.
3, m, -5
Let j = 0 + -0.3. Let p = 3.8 - -0.2. Let s be 4/(-18) + 24/(-135). Sort j, p, s in descending order.
p, j, s
Let t = -654 + 658. Suppose -b = 3*j - 5, 0*j + 5*j = -4*b + 20. Put j, 3, t in decreasing order.
t, 3, j
Suppose -5 = 3*a + 6*r - r, 5*a + 31 = 3*r. Let i(t) = t. Let k be i(5). Put -3, k, a in decreasing order.
k, -3, a
Let u be 5/6 + 14 + -15. Let q(s) = s**3 - 5*s**2 - s. Let t be q(5). Let o = -0.1 - -0.1. Sort u, t, o in decreasing order.
o, u, t
Suppose 8*v + 18 = 3*v - 4*f, -4*v - 18 = 5*f. Put -1, v, -3, 1 in descending order.
1, -1, v, -3
Let b = 3 - 6. Let x = 1 - b. Put -2/7, x, -1/2 in decreasing order.
x, -2/7, -1/2
Let v = 2 + 3. Let a = 0.07 - 0.42. Let i = a - -0.05. Sort v, i, 4 in descending order.
v, 4, i
Let n(u) = -u**3 - 7*u**2 - 6*u + 5. Let z be n(-6). Put 9, -4, z in decreasing order.
9, z, -4
Suppose -3*f = -u + 3*u + 5, 5*u = -3*f + 10. Suppose -28 = -9*b + 2*b. Sort b, 2, f.
f, 2, b
Suppose -8 = 2*v, v + 24 = -4*r - 4*v. Let n(p) = -3*p + 3*p - p. Let m be n(r). Put -4, m, -5 in decreasing order.
m, -4, -5
Suppose 2 = 4*t - 2. Suppose 0 = 5*s - 2*b + 41, 4*s + 5*b + 46 = -0*b. Let m be ((-4)/12)/(t/s). Sort 4, -3, m.
-3, m, 4
Let g = 4 - 0. Let r = 54 + -55. Put 5, g, r in increasing order.
r, g, 5
Suppose 0*z + 20 = 5*z. Let q = z - 7. Sort 1, q, -2.
q, -2, 1
Suppose -3*y + 5 = -2*y. Suppose 12 = -2*f - 3*n, 2*f - y*n = 3 + 1. Sort -4, f, -5.
-5, -4, f
Let u = -0.5 - 0. Let m = 10 - 12. Put m, u, 1/6 in ascending order.
m, u, 1/6
Let j = 4 - 2. Let x = -1 - j. Let r = -14 - -16. Put 5, x, r in descending order.
5, r, x
Let w = 3 - 8. Sort w, 2, 13 in decreasing order.
13, 2, w
Let q = -0.016 + 0.116. Sort -4, q, 3/2, -3/5 in descending order.
3/2, q, -3/5, -4
Suppose 5*l = -16 - 9. Sort -1/5, l, -0.5, 0.03 in ascending order.
l, -0.5, -1/5, 0.03
Let i = -1 - -2. Let j = 347.3 + -347. Sort j, i, 2/3.
j, 2/3, i
Suppose 0 = 4*w - 3*w. Suppose 10 - 2 = -j + 3*k, 0 = 2*j + k - 12. Suppose -r = 4*q + 23, q + 0*r + 2*r = -11. Sort w, q, j in decreasing order.
j, w, q
Suppose 5*w - 5 = 0, 2*m - 5*w + 2 + 5 = 0. Sort 4, -2, m, 5.
-2, m, 4, 5
Let k = 844/153 - 90/17. Sort k, 5, 1 in descending order.
5, 1, k
Let l = 6.05 + -0.05. Let r = 6.1 - l. Let m = -2 + 2. Sort r, m, 0.4.
m, r, 0.4
Suppose -3*p - 4 = 5. Let a be 0 + -1 - (-6)/2. Put a, 0, p in increasing order.
p, 0, a
Let t be (1 + (-9)/12)*0. Sort t, -39, 4 in descending order.
4, t, -39
Let j be (2/(-5))/(10/(-100)). Sort 13, j, -1 in decreasing order.
13, j, -1
Let p(m) = 2*m**2 - 5*m + 2. Let z be p(3). Suppose -h + z = 0, 0 = -2*o + 3*o - h + 5. Let d = o + 3. Sort d, 1, 2 in decreasing order.
d, 2, 1
Let g = -1.1 - -7.1. Let v = -1 + g. Sort v, 4, 0.2 in ascending order.
0.2, 4, v
Let u(z) = 46*z**2 + 2*z - 1. Let y be u(1). Let q = 140/3 - y. Sort -5, 0.1, q in descending order.
0.1, q, -5
Let h = 0.6 - -0.4. Let x = h - 1.4. Sort -2, 1, x in decreasing order.
1, x, -2
Let d be (4/(-6))/((-10)/(-15)). Sort d, -3, 0 in descending order.
0, d, -3
Let j be 5*((-2 - -1) + 0). Let a = 3 + -3.2. Put 0, a, j in decreasing order.
0, a, j
Suppose g + 2 + 6 = 0. Let y be 1 + -4 + (-21)/g. Sort 0.2, y, -5.
-5, y, 0.2
Suppose -n - 24 = 5*q, 2*q = 5*n - 3*q - 30. Suppose -3*z = 4 + 5. Put n, z, -2 in decreasing order.
n, -2, z
Let n = -7.1 + 2.1. Put -0.4, -1/8, n in increasing order.
n, -0.4, -1/8
Let w = 23 + -30. Sort w, -3, -0.1.
w, -3, -0.1
Let p(k) = k**3 + 3*k**2 - 4*k - 4. Let z be p(-3). Let i(t) = t**2 - 7*t - 8. Let f be i(z). Suppose 5*h - 2*h - 4*a = 11, 0 = 5*h + 2*a - 27. Sort 4, h, f.
f, 4, h
Let g = -19 + 22. Suppose -3*u + 1 = 2*y - 0, 19 = 5*y + 2*u. Sort y, g, 4.
g, 4, y
Let r be (-2)/9 - 22/(-99). Sort 5, 2, r, -3 in increasing order.
-3, r, 2, 5
Suppose 0 = -2*h - 3*h + 30. Suppose w = h*w. Suppose 0 = -0*x - x + 3. Sort 2, w, x in descending order.
x, 2, w
Let t = 0.8 - 4.8. Let q = 11 + -6. Put 0.5, t, q in decreasing order.
q, 0.5, t
Let t(k) = -5*k**3 + 2*k**2 - 1. Let o be t(-1). Suppose -3*u + 6 = -o*u. Let y(z) = z**2 - z - 1. Let m be y(3). Sort m, u, 1.
u, 1, m
Let c = -25 - -30. Put 4, 0, c in ascending order.
0, 4, c
Let b be 2/(-4) - 30/(-44). Let r = 182 + -179. Put -4, b, r in increasing order.
-4, b, r
Let o(i) = 3*i**2 - 8. Let j(f) = f**2 - 4. Let h(w) = 5*j(w) - 2*o(w). Let z be h(0). Put z, 2, 0 in descending order.
2, 0, z
Suppose 2*a - 4*a + 2*s - 18 = 0, 12 = -4*a - 2*s. Let w = -14 - -4. Let l be (-2)/7 - w/(-14). Put l, a, -0.2 in descending order.
-0.2, l, a
Let f = -0.02 + 0.32. Let i be ((-6)/(-10))/((-8)/10). Sort f, i, 0.2 in descending order.
f, 0.2, i
Let u be (-4)/6*(-120)/16. Suppose 0 = -4*s + a - 3*a + 20, -u*s + 4*a - 1 = 0. Put s, 5, 0.3 in decreasing order.
5, s, 0.3
Let j(u) = -3*u**3 - 1. Let r be j(-1). Let x be 5/20*(162/(-69) - -2). Put 4, r, x in decreasing order.
4, r, x
Let t = -21 - -20. Put 2, 5, t in increasing order.
t, 2, 5
Let w be (-6)/(9/(-3)) + 1. Let q = 0 + 4. Put -3, w, q in increasing order.
-3, w, q
Let v(f) = -3*f**3 + 9*f**2 - 7*f - 1. Let z(d) = -13*d**3 + 37*d**2 - 28*d - 5. Let j(k) = 9*v(k) - 2*z(k). Let u be j(6). Sort -1, u, 2.
u, -1, 2
Let x be (2/6)/(2/18). Suppose 18 = -5*n + x. Let m = -2 - n. Sort 4, m, 0.
0, m, 4
Let v be -1 + 2 + (-7)/21. Put -4, -5/2, v in decreasing order.
v, -5/2, -4
Let b = 2.66 - 0.26. Let l = b + 0.6. Sort 4/5, l, 5 in descending order.
5, l, 4/5
Let v be 2/(-3) - 8/15. Let m = 0 + 1. Let b = m - -1. Sort 0, v, b.
v, 0, b
Let y be 0 + 7 + -2*1. Sort 58, y, -5 in descending order.
58, y, -5
Suppose 0 = 3*j + 3*c, 4*c + 8 = -5*j + 3*j. Put -1/4, j, -1/3 in decreasing order.
j, -1/4, -1/3
Let i = -477/26 + 37/2. Sort -0.4, i, 1, -14 in ascending order.
-14, -0.4, i, 1
Let r = -2.2 - 6.8. Let q = 11 + r. Sort 5/2, q, 3 in decreasing order.
3, 5/2, q
Suppose -2*p = -0*p + 8. Let f = 4 - -1. Sort p, 2, f in increasing order.
p, 2, f
Let x = -19 + 15.2. Let n = 0.07 - -3.93. Let