 w + 11/4. Sort -1/5, a, 0 in increasing order.
a, -1/5, 0
Let f(c) = c**3 + 6*c**2 - 5*c + 11. Let w be f(-7). Sort 6, -5, w, -0.2 in descending order.
6, -0.2, w, -5
Suppose -3*k + 17 - 2 = 0. Suppose 0*x + 2*x = -6, 0 = 2*m - k*x - 9. Put 2, -1, m in ascending order.
m, -1, 2
Let r = 3.3 + -3. Let a = r - 0.3. Put a, -0.3, -0.4 in descending order.
a, -0.3, -0.4
Suppose -3*l + 6*l = -x + 11, 0 = 2*x + 3*l - 7. Suppose 2*q - 3*q + 4 = 0. Sort 1, x, q.
x, 1, q
Suppose 0 = -5*g - 4 - 1. Let i = g - -4/5. Sort 3, 1, i in descending order.
3, 1, i
Let t = 82 - 86. Sort t, 5, 7 in ascending order.
t, 5, 7
Suppose -4*o + 1 = 29. Let l be (-19)/o + 2/7. Let b be (2/7)/(1 - l). Put b, -2/11, -2 in descending order.
b, -2/11, -2
Let f = 81 + -84. Sort -0.2, 2/7, f, 0.5 in ascending order.
f, -0.2, 2/7, 0.5
Let x(f) = -f**2 - 4*f. Let o be x(-3). Let c be 0 - o*(-3)/3. Put 4, -4/3, c in increasing order.
-4/3, c, 4
Let m(h) = -h**3 - 9*h**2 - h - 6. Let j be m(-9). Put j, 4, -3 in ascending order.
-3, j, 4
Let o be (-8)/(-6) - 254/6. Put 5, 4, o in descending order.
5, 4, o
Let l = -1 - 4. Let f = l + 0. Put 3, f, -2 in descending order.
3, -2, f
Let f = -0.25 + 0.05. Sort -1/3, 4, f in decreasing order.
4, f, -1/3
Let d be 3/(-2) - (-7)/2. Put -4, d, 3 in decreasing order.
3, d, -4
Let c = -5 + 11. Let i(k) = k**2 + 8*k - 12. Let a be i(-9). Put a, c, -1 in decreasing order.
c, -1, a
Let j = -1/32 - 27/160. Let d = j - -3/5. Sort d, -12, -2/7 in ascending order.
-12, -2/7, d
Let i = -0.02 + -0.58. Let y = i + 0.6. Let q = y - 1. Put 1/7, q, 2 in decreasing order.
2, 1/7, q
Let x(b) = -b**3 + 7*b**2 + 8*b - 1. Let z be x(8). Sort 5, z, -6.
-6, z, 5
Let f(p) = p + 4. Let v be f(0). Suppose 0 = -3*u - v - 2. Let b = u + -1. Put 4, b, -1 in decreasing order.
4, -1, b
Suppose -3*c + 2*j + 11 = 0, 0*c + 4*c = -3*j + 26. Let v(q) = 2 + 1 + 4*q + 4*q**2 - 3*q**2. Let z be v(-4). Sort z, 0, c in decreasing order.
c, z, 0
Let u(n) = n**3 + 4*n**2 + 5*n + 1. Let d(v) = 2*v**3 + 7*v**2 + 9*v + 3. Let g(b) = -4*d(b) + 7*u(b). Let h be g(0). Let c be (4/55)/(2/h). Sort -1, c, -3.
-3, -1, c
Suppose -2*s = h - 333, 3*s = h + h + 496. Let m be 4/(-12) - s/6. Let a be 11/m + 2/8. Sort -0.1, a, -0.2.
-0.2, a, -0.1
Let i = 7 - 2. Suppose 0 = 4*n + 1 - i. Sort 2, -2, n in decreasing order.
2, n, -2
Suppose -23 = -s - 22. Put s, 5, 0, -1 in increasing order.
-1, 0, s, 5
Suppose q - 2 = -3. Let h be 6/80 - 5/25. Sort h, q, 0 in descending order.
0, h, q
Let u = 27 - 15. Let z be (22/8)/(3/u). Suppose 2*i + z - 3 = 0. Sort i, 0, 4.
i, 0, 4
Let l = -2.6 + -0.4. Let r = -1.4 + 1. Let w = 25 - 27. Sort w, r, l in descending order.
r, w, l
Suppose 2*b - 6 = -q, 0 = 3*b - 8*b - 2*q + 15. Suppose 4*a + 5*f - 5 = 0, -5*f = a - 10 - 10. Let g = 1 + -3. Put b, g, a in descending order.
b, g, a
Let k(f) = f - 4. Let u be k(4). Suppose -q - 4 = -u. Suppose 2 = -4*g + 6. Put 2, q, g in ascending order.
q, g, 2
Let m = 23 - 17. Put m, -2, -3 in ascending order.
-3, -2, m
Let j be (-14)/(-18) - 14/(-63). Let g = j - -4. Sort g, 4, 1.
1, 4, g
Let s = -4.5 - 0.5. Let y = 9 + -6. Sort s, -4, y.
s, -4, y
Let d = -0.55 + 3.55. Let l be (-74)/10*33/(-387). Let w = -4/129 + l. Put d, 4, w in increasing order.
w, d, 4
Let z = 27.1 - 26. Let j = -0.1 + z. Put -4, j, 2/3 in decreasing order.
j, 2/3, -4
Let h be (-54)/(-180) + (-2)/(-10). Put -4/7, -5, h in ascending order.
-5, -4/7, h
Let x = 0.5 - 0.1. Let u = 2 + 3. Sort x, u, 4.
x, 4, u
Suppose -c - 2*c - 12 = 0. Sort 0, -5, c in increasing order.
-5, c, 0
Suppose 7*i - 3*i = 12. Suppose 6 + 18 = -4*r. Let z be (3/(-13))/(r/4). Put 0.2, z, i in descending order.
i, 0.2, z
Let z(s) = -s**2 - 4*s - 3. Let y be z(-3). Suppose 0 = -2*i + 3*u - 2, -4*u - 2 = -5*i - y*u. Suppose i*g + 0*g = 0. Sort -0.2, g, 3/4 in descending order.
3/4, g, -0.2
Let t(p) = p**3 - 9*p**2 + 8*p - 4. Let v be t(8). Sort -9, 0, v in descending order.
0, v, -9
Let l(o) = -o**3 - 7*o**2 - 5*o + 8. Let h be l(-6). Suppose h = p, 2*n - 3*p = 4 - 2. Sort -2, n, -4.
-4, -2, n
Suppose -2*f + 4 + 6 = 0. Sort -5, f, 2 in increasing order.
-5, 2, f
Suppose 0*y + 5*y = -25. Sort -4, y, 4 in descending order.
4, -4, y
Let n(k) = k**3 + 11*k**2 + k + 16. Let t be n(-11). Put 1, 3, 6, t in increasing order.
1, 3, t, 6
Suppose h + 4*q = -0*q + 2, 4*h = 2*q + 8. Let y = 0.8 + 0.2. Sort h, -3, y in decreasing order.
h, y, -3
Let r = 3 + -1. Let a(d) = -d**2 - 4*d + 1. Let g be a(-4). Let p = -3 - g. Put p, 5, r in descending order.
5, r, p
Let v = 106 + -106. Let h be (-2)/(-9) - 43/(-9). Suppose -4*z + 25 = -h*b, -5*b + 4*z = z + 25. Put v, b, 1 in increasing order.
b, v, 1
Let s = 16 - 20. Let y(q) = -2*q - 1. Let k be y(1). Put -1, k, s in ascending order.
s, k, -1
Let s be 3/(-10)*(-5)/12. Let o = -23.1 - -22. Let v = 1.3 + o. Sort s, v, 2/7 in increasing order.
s, v, 2/7
Suppose m - 26 = 4*w, -5*w = -4*m - 0*w + 49. Suppose -2*u - 2*u = -12. Let a be (0 + 0)*(-2)/(-4). Put a, m, u in ascending order.
a, u, m
Let x = -9 + 6. Let k = 8 - 6. Let c be 5*-1*k/2. Sort -2, c, x in ascending order.
c, x, -2
Let r be 6/21 + (-38)/(-14). Let o be (28/(-8) + 3)*0. Sort r, o, -5 in descending order.
r, o, -5
Let d be (-140)/30 - (-1)/(-3). Suppose 0 = i - 2*i + 1. Suppose -r - u = u + 2, -2*r = -2*u + 4. Sort r, i, d in increasing order.
d, r, i
Let n = -48 - -50. Let j = -11 - -8. Sort -5, j, n.
-5, j, n
Let k(m) = -m - 15. Let g be k(-12). Let d be (0 + g/(-66))*4. Let y = -8 - -4. Put y, 3/5, d in ascending order.
y, d, 3/5
Let o = -1157 - -1162.01. Let m = -0.01 + o. Let x = m - 4.5. Put 2, x, -5 in increasing order.
-5, x, 2
Suppose -5*m + 6 = -4*v - 3*m, 0 = -5*v + 3*m - 7. Sort -1, v, 4 in decreasing order.
4, -1, v
Suppose 5*a = -5*c + 70, 26 = a - c - c. Let g = -11 + a. Sort 1, -4, g in ascending order.
-4, 1, g
Suppose 0 = -4*u + 118 - 94. Put -3, u, -2, 2 in descending order.
u, 2, -2, -3
Let s be 1 - 2 - 17*-2. Let o be (-6)/s - (-53)/(-11). Let i(u) = 13*u - 62. Let f be i(5). Put f, 1, o in descending order.
f, 1, o
Let f be (0 + -2)*1/(-3). Suppose 4 = -12*l + 11*l. Sort l, 4/3, f in descending order.
4/3, f, l
Suppose 5*c - 4*o - 33 = 0, 3 + 3 = -3*o. Sort 4, c, 30.
4, c, 30
Let p(b) = -b - 8. Let t be p(-12). Sort -4, -1, t in descending order.
t, -1, -4
Let b(i) = i**2 - 11*i + 9. Let h be b(10). Suppose 4*l + 5*f = -32, 4*f + 6 = -2*l - 16. Let n = 4 + 1. Sort h, n, l in descending order.
n, h, l
Let g = 37/57 - -1/57. Let z = 67/38 - 24/19. Put 0.2, z, g in decreasing order.
g, z, 0.2
Let c = 64 - 60. Sort c, 1/11, 1/3 in ascending order.
1/11, 1/3, c
Let z(y) = -5*y + 1. Let n be z(1). Suppose -5*j = -3*j - 14. Let o(m) = 2*m - 15. Let s be o(j). Put n, s, 1 in ascending order.
n, s, 1
Let z be (-2)/(-4) - 9/(-6). Let q(h) = -2*h**2 + h + 1. Let u be q(2). Let g be (-7)/(-21) - (-26)/(-6). Put u, g, z in descending order.
z, g, u
Let t be 1/(-2) + (-26)/(-28). Let k = -5 + 4.92. Let j = k - 0.02. Put j, 1/2, t in decreasing order.
1/2, t, j
Let o be 11/((-11)/(-18)) - 1. Suppose -o = 5*l + 3*q - 6*q, -2*q = 3*l - 5. Sort -6, -5, l.
-6, -5, l
Let l = 3 - 3.2. Let h = -72 + 72. Let m = h + l. Put -0.3, 6, m in decreasing order.
6, m, -0.3
Let i(q) = q**3 - 4*q**2 + 4*q. Let o be i(3). Suppose 0*x + f = 5*x + 41, 49 = -5*x - f. Let w be ((-2)/4)/(x/(-36)). Sort o, w, 2 in ascending order.
w, 2, o
Let h = -80 + 80. Sort -21, 0.4, h in descending order.
0.4, h, -21
Let c(z) = -z**3 + 6*z**2 - 13*z + 36. Let h be c(5). Sort 5, -1, h, 4 in decreasing order.
5, 4, -1, h
Let i = 54 + -592/11. Sort i, 0.2, 1 in ascending order.
i, 0.2, 1
Suppose -6*t + 4 = -38. Suppose t*s + 16 = 4*s - b, -4*b - 14 = 2*s. Sort 4, s, 2.
s, 2, 4
Let m = -6.3 - -6. Sort m, -1/4, 0 in descending order.
0, -1/4, m
Let s = 0.4 - 0.1. Let b be -3 - ((-70)/(-6))/(-5). Sort b, -4, s in increasing order.
-4, b, s
Let b(r) = -r**2 + 2*r - 1. Let p be b(3). Let k be (8/(-6) - -2)*-3. Put p, k, -1 in decreasing order.
-1, k, p
Let h be ((-4)/(-11))/2 - 3066/(-803). Sort h, 0, -30 in descending order.
h, 0, -30
Let l(o) = -o**2 + 5*o + 1. Let d be l(4). Sort -2, -13, d in increasing order.
-13, -2, d
Suppose -q + 5 + 2 = 0. Sort -2, q, -3 in increasing order.
-3, -2, q
Let f = 111 + -1223/11. Sort 0.05, 0.5, 