-6 + y - (-4)/3. Sort -1/2, j, w in decreasing order.
j, -1/2, w
Suppose -5*s + 3*s + 6 = -4*t, 2*s - t - 9 = 0. Suppose -4*z = l - 3, -6 = -z - l - l. Suppose 3*y = z, 4*y - s*y = g. Put 4, g, -5 in descending order.
4, g, -5
Suppose -4 = -q, -2*n - 5*q + 70 = 20. Suppose 6*p = 3*p + n. Suppose -4*b + 3*d - 17 = 0, 5*b + d + 24 = 2*d. Put b, p, 2 in decreasing order.
p, 2, b
Let v be ((-3)/5)/(3/(-15)). Let n = -1.2 - -6.2. Sort n, 2/3, v in decreasing order.
n, v, 2/3
Let b = -5 - -2. Let u = -4 - b. Let n(s) = s**3 + s - 5. Let r be n(0). Sort 3, u, r.
r, u, 3
Let q be (1 + 2)/(9/12). Let r be ((-4)/6)/(q/(-6)). Let l = r + 4. Put -2, -5, l in decreasing order.
l, -2, -5
Let d(c) = 2*c**2. Let f be d(1). Let h = 3 - f. Suppose -3*b - 7 = -19. Sort h, b, 2 in decreasing order.
b, 2, h
Let s be 2/(-3) + (-8)/(-3). Let q be 120/(-54) - s/(-9). Sort -4, 5, q in decreasing order.
5, q, -4
Let d = 1.65 + 0.35. Put -4, d, -1 in descending order.
d, -1, -4
Let k = -9 - -3. Let s be (9/(-6))/(k/8). Let n be (-4)/6*6/s. Put -4, 1, n in descending order.
1, n, -4
Suppose u - 7*w + 3*w = 17, 0 = -5*u - 2*w + 41. Let z be 3/u - (-1)/(-12). Let d = 1.94 - -0.06. Sort -2, z, d.
-2, z, d
Let a = -2.34 + 3.1. Let q = a - 0.7. Let y = 4.06 - q. Sort 1, y, -0.2.
-0.2, 1, y
Let u = 18.2 - 18. Put -5, u, -0.02 in descending order.
u, -0.02, -5
Let y = -13 - -13.3. Let v = -294/5 + 59. Sort v, -1/4, y.
-1/4, v, y
Let s = -3.4 - 0.6. Sort s, 1, 1/2, -2 in decreasing order.
1, 1/2, -2, s
Let j = 9 + -2. Suppose -3*s + 10 + j = -2*n, -2*s + 14 = -2*n. Suppose -2*d - 16 = 2*d. Put d, -2, s in descending order.
s, -2, d
Let t(k) = k**2 + 3*k - 4. Let j be t(-4). Let a(p) = -p**2 - 5*p - 2. Let z be a(-5). Let w be (-3)/(3/(z + 5)). Sort j, 1, w in ascending order.
w, j, 1
Let s = -1.56 - -0.06. Let g = 0.5 - s. Sort 4, g, 1/6 in decreasing order.
4, g, 1/6
Let s(k) = 2*k + 0*k + 3 - k**2 - 2 + 4. Let v be s(4). Sort v, -7, 5.
-7, v, 5
Let f(g) = -4*g - 27. Let d be f(-6). Let q be -3*1*(-4)/6. Put q, 5, d in decreasing order.
5, q, d
Suppose -3*b - 2*f - 12 = 10, 5*b + 38 = -4*f. Let a be (3/(-2))/(b/(-16)). Sort 3, a, 5 in ascending order.
a, 3, 5
Let b(y) = -y**3 + 3*y**2 + 4*y + 4. Let v be b(4). Suppose 5*l + 5*n - 15 = 0, 3*l + 19 + 4 = 5*n. Sort l, v, 3.
l, 3, v
Let w = 0.3 - 0.1. Sort 0.5, 18, w, -5 in decreasing order.
18, 0.5, w, -5
Suppose 5*c = -20 + 5. Let z be 1*(c + 1) + 6. Let j be 2/z + (-35)/(-10). Sort j, -3, -4.
-4, -3, j
Let f be 1/(-5) - (-72)/(-40). Sort f, -1, -5 in decreasing order.
-1, f, -5
Let k = 1.19 + -1.18. Sort k, -3, 4 in decreasing order.
4, k, -3
Let p = 1.95 + 0.05. Suppose b + 4 = 3*b. Let t be (b*1)/(0 - 2). Put p, t, 0.3 in increasing order.
t, 0.3, p
Let u = -36 - -36.5. Sort -2.6, -3, 2, u.
-3, -2.6, u, 2
Suppose 0 = 4*w - 3*x - 23, -8 = -0*w - w + 3*x. Suppose -2*k - 3*j + 5*j = 0, -k - 5*j + 6 = 0. Suppose -4 - k = -5*l. Put w, -3, l in increasing order.
-3, l, w
Suppose -4*t = t + 5. Sort 0.4, 0, t in increasing order.
t, 0, 0.4
Suppose 0 = -7*j + 5*j. Suppose f = 4*i + i - 19, j = -i + 4*f. Sort i, 0, 6 in increasing order.
0, i, 6
Let y = -0.02 - -2.02. Let l = 0.7 - 0.2. Sort -1, y, l in increasing order.
-1, l, y
Suppose 15 = 6*h + 3. Let p be 1*-2 - (-1)/(-1). Sort h, 6, p in ascending order.
p, h, 6
Let a = -14 + 35. Let m = a + -17. Suppose 2*d = -8, 0*d - 4 = 4*t + d. Put t, m, 2 in decreasing order.
m, 2, t
Let x = 13 - 18. Put 3, -2, x in ascending order.
x, -2, 3
Let c = -2 - -3. Sort -0.5, c, -2/9 in increasing order.
-0.5, -2/9, c
Suppose 3 = b - 2*b. Sort -6, 1, b.
-6, b, 1
Let k be (-22)/(-26) + (-1 - 0). Let r = 2 - 1.6. Let q = r - 0. Put q, -0.4, k in decreasing order.
q, k, -0.4
Let k = -7 + 11. Let i be (-1 + 14/8)*k. Let z be -3 + 5/(15/6). Put -4, z, i in ascending order.
-4, z, i
Let q = -0.3 + 1.3. Suppose -c + 8 - 1 = 0. Let t be (-8)/(-14) + (-2)/c. Put -0.5, q, t in decreasing order.
q, t, -0.5
Let p(j) = -j**3 - 7*j**2 - 6*j + 2. Let s be p(-6). Let f = 9 + -16. Let v be f + 7 + (-2)/(-2). Sort s, v, 4 in decreasing order.
4, s, v
Let p = 37 - 42. Put -1, 1, 0, p in descending order.
1, 0, -1, p
Let h be (-5 + -4)/3 - (-2 - -2). Sort 6, -2, 4, h in decreasing order.
6, 4, -2, h
Let h be (-2)/(-30)*(-25)/10. Sort -7, -4, h.
-7, -4, h
Let l = -4.11 - -0.11. Let i = 0 + l. Put i, -3/5, 3 in ascending order.
i, -3/5, 3
Let u = -4 - -3.7. Let d = 44 + -134/3. Put -1/9, u, d in decreasing order.
-1/9, u, d
Let u(p) = 40*p - 39*p + 10 - 2. Suppose -4*y - 5*c = -y + 26, 5*c = -5. Let f be u(y). Put -2, f, 4 in decreasing order.
4, f, -2
Suppose -5*p - 22 = 2*j, -5*j - 14 = 2*p - 1. Sort -10, -2, j in ascending order.
-10, -2, j
Suppose -m + 8 = -9. Let j = m - 19. Sort j, 5, -13.
-13, j, 5
Let t = 0.123 - 0.123. Sort -2/5, t, -6/7 in ascending order.
-6/7, -2/5, t
Suppose m = 4*o + o + 6, -o - 4*m = -3. Let f be -1 - 0 - (1 + o). Sort f, 1, 3 in decreasing order.
3, 1, f
Suppose 5*h + 20 = -0*h. Let x(c) = -c**2 - 5*c - 7. Let w(k) = 1. Let t(m) = -5*w(m) - x(m). Let j be t(h). Put j, -0.2, 0 in decreasing order.
0, -0.2, j
Let r(g) = -g - 2. Let z be r(0). Sort 1, -4, z.
-4, z, 1
Let d = -10 + 10.1. Let h be -2*(2 - 444/219). Let x = 94/949 + h. Sort -2, x, d in ascending order.
-2, d, x
Let a = 2/35 - -12/35. Let q = 31/18 + -2/9. Sort a, -2, q.
-2, a, q
Let r = 0.085 + -0.095. Sort r, -4, 3.
-4, r, 3
Let b = 4 + -1. Let s = b - 8. Sort 5, 0, s.
s, 0, 5
Let m = 0.18 + -0.58. Sort m, 5, 0 in descending order.
5, 0, m
Suppose 12*i = 10*i. Sort i, 3, -1 in descending order.
3, i, -1
Let a = 9 + -4. Let u(n) = -n - 10. Let j be u(-6). Sort j, -2, a in decreasing order.
a, -2, j
Let t = 27 - 15. Suppose -2*x = -6*x + t. Sort x, 0, -1.
-1, 0, x
Let q = -363/7 - -259/5. Let h = -43/140 - q. Sort 4, h, 0.3.
h, 0.3, 4
Suppose -4*v - 3*p - 14 = 0, -5*v - 4*p = p + 20. Let t(w) = -w**3 + 8*w**2 - 4*w - 10. Let l be t(7). Let m = l - 16. Put m, v, 4 in ascending order.
m, v, 4
Suppose -6 = -2*s + 2. Suppose -o - 3*p + 14 = 0, p = 3*o - 0*p - 12. Suppose -o*t + t = -12. Sort t, 2, s in decreasing order.
s, t, 2
Let t(b) = b**2 - b - 20. Let u be t(0). Let x be 3/(1 + u/8). Put x, 2, 3 in descending order.
3, 2, x
Suppose 0*x + 2 = 5*x + 2*o, 5*o = -x + 5. Suppose 8 = -x*a + 4*a. Sort -4, -2, a in increasing order.
-4, -2, a
Suppose 7*z + 2 + 33 = 0. Put 2, -1, z, -2 in descending order.
2, -1, -2, z
Suppose -3*g + 4*f = 20 - 1, 0 = 2*g - f + 6. Suppose -8 + 1 = o + 2*v, 13 = -4*o - 3*v. Let w = o + 2. Sort w, 3, g in ascending order.
g, w, 3
Let u be (-26)/6 - (-3)/9. Let l(s) = -s - 7. Let j be l(-6). Let t be (-1)/((-2)/(-6)*j). Sort t, -2, u in decreasing order.
t, -2, u
Suppose 34*d - 38*d = 16. Suppose f = 2*b + 3 + 1, 5*b = 5*f - 30. Let v = f + d. Put -3, -5, v in increasing order.
-5, -3, v
Let n(t) = t**2 + 5*t + 4. Let r be n(-4). Let m be (-8)/20 + 76/(-10). Let f be 5/6*m/50. Put f, 3, r in increasing order.
f, r, 3
Let i(r) = r + 6. Let b(x) = x**2 + 7*x + 6. Let o be b(-4). Let c be i(o). Let y = 5.3 + -5. Put y, c, -2 in decreasing order.
y, c, -2
Let w = 6 + -1. Suppose -q - 5*o + 2*o - 9 = 0, -4*q = o + 14. Put -2, q, w in decreasing order.
w, -2, q
Let j be (-2)/6 + (-4)/(-12). Let v(n) = n**2 + 4*n - 2. Let x be v(-5). Suppose -i + 4 = 2*g - x*g, 4*i + 2*g = -14. Sort j, i, 4 in descending order.
4, j, i
Let i = -6 + 11. Suppose 5*w = -4*z + 8, -i*w = -2*w + 4*z. Sort -1, w, -5 in descending order.
w, -1, -5
Let m be 1/(-2) - 17/(-26). Let r = 5.1 + -1.1. Sort r, m, -1 in ascending order.
-1, m, r
Let q(d) = d**3 + 2*d**2 + d. Let r be q(-1). Let x(k) = -2*k - 4. Let a be x(-3). Suppose 0 = h - 3*h + a. Sort 2, h, r in increasing order.
r, h, 2
Let l = -3 - -5. Suppose 3*g - l = -8. Suppose i - 2*i - 1 = 0. Sort g, 1, i in descending order.
1, i, g
Let d = 21 + -21. Put 5, 4, d in decreasing order.
5, 4, d
Let n = 8 - 11. Let z be (-4 - -2) + (n - -2). Let g be (1/z)/(3/9). Sort 2, g, 1 in ascending order.
g, 1, 2
Let i be 1/2 + (-2)/4. Suppose -2*j = 3*x - 20, -1 = 5*x - 5*j - 51. Suppose 12 = -4*k - x. Put 5, i, k in descending order.
5, i, k
Let b(s) = s**2 + 3. Let n be b(0). Suppose 2 = 2*h - 4*h. Put n, h, 2 in descending order.
n, 2, h
Let d = -5 - -7. Suppose -d = 3*u - 5. Let n be (