) = 3*s + 1. Let d be y(t). Let h = -5/3 - -3. Sort -3/4, h, d in increasing order.
d, -3/4, h
Let k = 1.2 - 0.2. Let t = -3 + 6. Let u = t - 5. Sort -1, u, k.
u, -1, k
Let g(r) = -2*r - 6. Let k be g(-4). Suppose -4*o - 27 = -5*m, 2*o + 5*m = 3*o + 18. Put o, 4, k in decreasing order.
4, k, o
Let u = 39.3 + -39. Sort u, 1, 0 in descending order.
1, u, 0
Suppose 2*a - 8 = 3*y, -a + 0 + 9 = -4*y. Suppose 7*l - 2*l = 0. Suppose b + 0*b - 2 = l. Sort a, b, -4 in descending order.
b, a, -4
Suppose 4*h = 19 + 1. Suppose -4*d - 5 = d. Sort 1, d, h in increasing order.
d, 1, h
Let o be (-4)/20 + (-224)/(-20). Let w(u) = u**3 - 11*u**2 + u - 6. Let f be w(o). Let i = 0.6 - 0.1. Sort f, i, -1.
-1, i, f
Let t = -0.24 - -0.54. Sort -0.1, t, -3.
-3, -0.1, t
Let m(q) be the third derivative of 1/4*q**4 + 1/60*q**5 + 2*q**2 + 1/2*q**3 + 0 + 0*q. Let b be m(-2). Sort -2, b, 0.
b, -2, 0
Let p = -10 - -10.5. Let a = 0.3 - -0.4. Let k = a - 3.7. Sort p, -0.3, k in ascending order.
k, -0.3, p
Suppose u = -d + 3, 2*d - u - u - 10 = 0. Sort d, 0, -3 in increasing order.
-3, 0, d
Let a(z) be the third derivative of z**5/60 + z**4/12 - 5*z**3/6 + 5*z**2. Let b be a(0). Sort b, 0, -1.
b, -1, 0
Let a = -9.8 - -10.3. Sort -3, a, 3.
-3, a, 3
Let z = 2 - -2. Suppose -8 = -2*p + p + 4*u, z*u = -p - 16. Sort p, 3, 1/6 in decreasing order.
3, 1/6, p
Let a = 3 + -7. Put 3, -3, a, -3/4 in decreasing order.
3, -3/4, -3, a
Suppose -5*s + 24 = -4*f, -s = -0*s - 4. Sort 5, 0, -4, f.
-4, f, 0, 5
Suppose 3*g + 25 = 4*s - 12, 0 = g + 4*s - 9. Sort g, -3, 5 in decreasing order.
5, -3, g
Let x = 6 - 3. Let d = x - 5. Let v be -3 + (-3)/(-3)*3. Put v, d, -1/4 in descending order.
v, -1/4, d
Suppose 3*d - 1 - 2 = 0. Put -5, d, 0.5, -4 in decreasing order.
d, 0.5, -4, -5
Let i = 82.2 + -82. Let k = 2.8 - -0.2. Sort i, k, 2/9.
i, 2/9, k
Let q be 10/(-2)*8/(-10). Suppose -4 = -q*d - 8. Suppose 2 = -4*p + 6. Put -5, p, d in increasing order.
-5, d, p
Let s be (1/(-1))/((20/(-3))/(-5)). Put 2, -1/89, s in ascending order.
s, -1/89, 2
Suppose 0 = -5*g + 3*g + 6. Suppose 5*n - 1 = -4*d, 0 - g = 4*d + n. Suppose 4*f = -2*z + 2, 2*f - 5*z + 4 - 11 = 0. Sort d, 2, f.
d, f, 2
Suppose 0*t - 2*c = -3*t + 9, 2*c = -2*t - 4. Let z be (-6)/9*(-5 - t). Put 9, -4, z in descending order.
9, z, -4
Let r(y) = 3*y - 3. Let d be r(2). Suppose 0 = x - 2*x + d. Let u(i) = i**3 + 4*i**2 + 1. Let j be u(-4). Put x, j, -3 in decreasing order.
x, j, -3
Suppose -f = -3*f - 6. Let j be ((-1 - 3 - -2) + -3)/1. Put f, j, 1 in decreasing order.
1, f, j
Let f = -13.29 + 13. Let v = -0.21 + f. Put v, 0.4, -2/9 in descending order.
0.4, -2/9, v
Suppose -2*c + 4*x = -12, 12 = -3*c - 5*x - 14. Put c, -1/5, -8 in ascending order.
-8, c, -1/5
Let x = -1/8 - -5/8. Sort x, 12, 4 in increasing order.
x, 4, 12
Let o be -2 + (-4)/((-12)/51). Suppose j + 2*j + o = 0. Sort 4, -2, j.
j, -2, 4
Let p be ((-128)/4 - -1) + -2. Sort -5, p, -3, -4.
p, -5, -4, -3
Suppose -2*v + j = -4, 2*v + 5*j + 6 = 5*v. Suppose p - v = 3. Let c(q) = q + 13. Let y be c(-10). Sort y, 1, p in decreasing order.
p, y, 1
Suppose p - 2 = -0*p, 0 = 3*g - 4*p + 11. Let j = 11 - 7. Suppose -8 = -j*l - z, 0 = 3*l - 0*z - 5*z + 17. Put l, 1/3, g in descending order.
l, 1/3, g
Let o = -24 + 97/4. Let z = -4 - -3.96. Let i = -0.46 + z. Sort 5, o, i in decreasing order.
5, o, i
Let l = 2 + 1. Let p = 12 - 12. Sort l, -3, p in descending order.
l, p, -3
Let a be -8*(1 - 2) - -1. Let i be (-6)/(-4)*6/a. Let s be 0/(-2) - (i - -4). Sort 5/4, 2/13, s in decreasing order.
5/4, 2/13, s
Suppose -4*h - 5*z = 116 - 36, -3*h - 60 = 5*z. Let g be 308/h + 6/15. Sort -5, g, 0.
g, -5, 0
Suppose 4*h = 5*h - f - 4, 5*f = 3*h - 10. Let i(g) = -g**2 + 4*g + 2. Let u be i(5). Sort u, h, 2 in ascending order.
u, 2, h
Let q be 6/10*40/(-30). Sort -6, q, 2/11, -2/5.
-6, q, -2/5, 2/11
Let p(a) = -7*a + 7. Let i(n) = -n + 1. Let f(r) = 6*i(r) - p(r). Let v be f(6). Suppose g - 4*b - 3 = -2*g, 0 = -2*b. Put v, g, 2 in ascending order.
g, 2, v
Let j(n) = n**3 - 4*n**2 + 4*n - 4. Let c be j(3). Let t = -0.5 + -4.6. Let s = t - -1.1. Sort s, 1/8, c in descending order.
1/8, c, s
Suppose 7*f + 25 = 4. Sort -4, f, -23, -5 in increasing order.
-23, -5, -4, f
Let g = -7 + 13. Suppose t + 2*t = d - 4, 4*d - 2*t - g = 0. Sort d, -4, -2 in descending order.
d, -2, -4
Suppose -2*r - 19 = -3*n + 3*r, 0 = -3*n - 2*r - 16. Suppose 5*p - 1 = -6. Sort n, -4, p in decreasing order.
p, n, -4
Let o(p) = -5*p**2 + 4*p - 4. Let d(h) = -11*h**2 + 7*h - 9. Let f(x) = -6*d(x) + 13*o(x). Let l be f(-9). Sort 1, 2, l.
l, 1, 2
Let u = -11 + 7. Sort u, -1, 3 in descending order.
3, -1, u
Let o = -1 - -5. Sort o, 1, -3 in increasing order.
-3, 1, o
Let q be (-12)/(-16)*284/18. Let w = -461/42 + q. Sort 5, w, -0.3.
-0.3, w, 5
Let n = -618.01 - -614. Let m = n + 0.01. Sort 0.3, 2/7, m.
m, 2/7, 0.3
Suppose -2*u = x - u + 43, 87 = -2*x - 3*u. Let a be (12/x)/(8/(-14)). Sort -5, a, 0.3 in decreasing order.
a, 0.3, -5
Let a = -12 - -12. Put a, -4/7, -1 in descending order.
a, -4/7, -1
Let w = -2 + 1. Let f(d) = -d**3 + 3*d**2 + d. Let v be f(3). Sort v, 2, w.
w, 2, v
Let p be -15*((-24)/9)/4. Suppose 5 = -3*o - p. Suppose 0 = -2*b + 2 + 8. Sort -2, o, b in descending order.
b, -2, o
Suppose -m - 4 = b, -m + 13 = -b - 5*m. Put -6, -4, b in increasing order.
-6, -4, b
Let c = 1408/6255 - 2/695. Sort 0, c, 4 in increasing order.
0, c, 4
Let y = 2.899 - -0.101. Let l = 1 + -0.7. Sort -5/4, y, l.
-5/4, l, y
Let v = 11 + -10.7. Put -4, -23, v in descending order.
v, -4, -23
Let q be (-4)/20 - (33/10 + -2). Put -1, -2/11, q, -0.02 in ascending order.
q, -1, -2/11, -0.02
Suppose 0 = 2*l + 5*j - 10 + 34, 2*l - 4*j - 12 = 0. Sort 2, l, 33 in ascending order.
l, 2, 33
Suppose 0 = -7*g + 9*g + 24. Let w = 7 + g. Suppose 0 = -0*t + t. Put w, -4, t in increasing order.
w, -4, t
Suppose d = -0*d + 2. Put -6, d, 1 in decreasing order.
d, 1, -6
Let l be (-2)/(-7) - (-4)/35. Let o(f) = -f**2 - 9*f - 18. Let t be o(-6). Sort t, 2/3, l in decreasing order.
2/3, l, t
Let s be 4/10*5 - -3. Sort s, 1, 15 in ascending order.
1, s, 15
Let d = 0.04 + -0.64. Let j = d - -1. Sort j, 4, 0.3.
0.3, j, 4
Let j(l) = -l**2 - 3*l + 7. Let y be j(-5). Put y, 2/11, 0 in ascending order.
y, 0, 2/11
Let k = 0 - -0.2. Let d = 61 + -64. Put k, d, -2/21 in increasing order.
d, -2/21, k
Let y be ((-8)/6)/4*2. Suppose 5*r = -5*q, -5*r - 2*q = -2 - 1. Put 3, r, y in descending order.
3, r, y
Let z = 6 + -2. Let l = z - 3. Sort -2/5, -0.1, l in decreasing order.
l, -0.1, -2/5
Let n be (0 + (-6)/(-4))/6. Suppose 45*c = 44*c - 1. Sort c, n, 4 in ascending order.
c, n, 4
Let s be 2/(-6) - (-57)/117. Let z = -0.03 + -0.37. Sort -0.3, s, z.
z, -0.3, s
Suppose -2*a + 4*b + 8 = 0, 2*b = 4*a + 3*b + 2. Sort -2, a, -6 in descending order.
a, -2, -6
Let t = -0.72 + 0.02. Let l = 0.8 + t. Sort -1, l, -3.
-3, -1, l
Let q be 0/(3 - (-16)/(-4)). Sort 5, -5, q, 2 in descending order.
5, 2, q, -5
Suppose l - 4 = -4*l - n, -3*l - 5*n + 20 = 0. Sort 3, l, -2/7 in ascending order.
-2/7, l, 3
Suppose -4*v + 4 = -0*v - 3*t, 14 = -5*v - t. Sort v, -3, -1.
-3, v, -1
Let h = -0.6 + 0.2. Let z = 1 + 5. Let a = z - 3. Sort a, -0.3, h.
h, -0.3, a
Suppose -d + h = 2*d, 4*d - 5 = 3*h. Put 2, -4, d in increasing order.
-4, d, 2
Suppose -2*t - 8 = -3*g - t, 4*t = 4*g - 24. Put g, 4, -2 in descending order.
4, g, -2
Suppose 5*w = -w. Suppose -2*y - 5*f = -5 - 26, w = -y + 2*f - 7. Put y, -3, -8 in increasing order.
-8, -3, y
Let d be 775/(-60)*3/(-13). Let k = d - 42/13. Put 3, k, 4 in descending order.
4, 3, k
Let p be (-2 - 11/(-4))*4. Let c be (-4)/6 - p/(-9). Sort c, 1, -1.
-1, c, 1
Suppose 9 = 4*l - l. Let m(f) = -f**2 + 4*f - 3. Let c be m(l). Suppose j = -c + 2. Sort -0.5, j, 0.3.
-0.5, 0.3, j
Let g = -0.5 + 0.6. Let z = g + -1.1. Suppose 4*t + 0*q + 12 = 4*q, -5*q - 25 = 5*t. Sort t, z, -0.3 in descending order.
-0.3, z, t
Suppose 0*k - 12 = 4*k. Sort k, 5, -4 in ascending order.
-4, k, 5
Let m = 0.22 - -0.08. Let o be -1 + (-2 - 5/(-1)). Let t be ((-9)/6)/(18/o). Sort -4, t, m.
-4, t, m
Let g(i) = i + 4. Let z be g(-6). Let u be z/(-7)*1/1. Put u, 1, 4 in ascending order.
u, 1, 4
Let h = -2.03 - -0.03. Let n = h - -1.5. Put -3/2, n, 2/5 in ascending order.
-3/2, n, 2/5
Let c(j) be the first 