*3/18. Let n = 3.7 + -4. Sort 3/2, n, f.
n, f, 3/2
Suppose 4*s - 5*k - 22 = 0, -4*s = -k - 3*k - 20. Suppose 0 = -v - t + s*t + 13, 4*v - 12 = -2*t. Sort v, 1, 0.
0, 1, v
Let n = 0.03 + 0. Let y = n + -0.13. Sort y, 3, -4 in decreasing order.
3, y, -4
Let v = 25 + -39. Let h = v - -10. Put h, 2, -0.3 in increasing order.
h, -0.3, 2
Let f be ((-65)/35 - -1) + 1. Let m = -14.6 + 15. Put -0.3, f, m in decreasing order.
m, f, -0.3
Suppose -4*d - 37 = 4*i + 11, 39 = -3*d - 4*i. Let y(l) = 2*l + 15. Let o be y(d). Sort o, 4, -1 in descending order.
4, -1, o
Let i be (-6)/(-2) + 0 + 1. Suppose 3*k - 20 = -5*t, -k + t = 2*k + i. Suppose 3*d + 0*d - 23 = -5*w, 2*w = -3*d + 11. Sort d, 2, k in decreasing order.
2, d, k
Let k be (-8)/(-3)*(-6)/(-4). Suppose 0 = -0*g + 3*g - 3*q, -4*g = -2*q - 2. Let f(s) = -s - 6. Let a be f(-11). Put k, a, g in ascending order.
g, k, a
Suppose -2*b - 6 = -d, d - 2*b - 6 = -d. Suppose 0 = -j - 2*c - d*c + 3, 2*c + 3 = 5*j. Let r be (1 - -2)*(-12)/18. Put r, j, -4 in ascending order.
-4, r, j
Suppose -6*n + 3*n = -3. Sort n, -7, 4 in descending order.
4, n, -7
Let i(c) = c**2 - 9*c - 1. Let k be i(8). Let p be ((-1)/k)/(4/12). Put 1, p, -1 in decreasing order.
1, p, -1
Suppose -5*q + 5 = -2*p - 8, -2*q = -3*p - 14. Let z be 7/q + -4 + 1. Suppose -z*a + 2*i + 0 = 12, 5*a - 3*i + 16 = 0. Put a, -5, -4 in descending order.
a, -4, -5
Let o be 1/5 + (4 - 62/10). Suppose 5*d - 7 = -3*g, -4*d - 20 = -6*g + 2*g. Suppose 5*m - 15 = -0*m. Sort o, m, g in decreasing order.
g, m, o
Let z = 0.8 + -0.3. Let s be 5/(140/(-36)) - -1. Put z, s, -0.2 in ascending order.
s, -0.2, z
Let a = 15 + -23. Suppose -7*g = -6*g + 4. Put g, -1, a in ascending order.
a, g, -1
Let m = -6.2 - -7. Let l = m - -2.2. Let d = -21 + 21. Put 2, d, l in decreasing order.
l, 2, d
Let y be 3/(-6) + 0 + 2/8. Sort -2, y, 0.1, 0.6.
-2, y, 0.1, 0.6
Suppose 1 = -4*p + 3*p. Put p, -0.3, 3/5 in decreasing order.
3/5, -0.3, p
Let c(u) be the third derivative of -u**4/24 - 2*u**2. Let i be c(1). Let v(w) = w**2 - 2. Let q be v(2). Sort q, i, 3.
i, q, 3
Let w = 4 + -1. Let s be (-2 + 2)*(0 + (-4)/4). Put w, s, -3/7 in descending order.
w, s, -3/7
Let z be ((-20)/(-80))/((-1)/(-12)). Put -12, z, 5 in descending order.
5, z, -12
Let r = -12 - -18. Suppose 0 = -4*x - r - 2. Let k = -9 + 5. Put 0.1, k, x in decreasing order.
0.1, x, k
Let y(c) = -c - 2. Let b be y(-2). Sort -23, 1, b.
-23, b, 1
Let r = -2 - -6. Suppose -a - 3 = -2*f + 3, 2*f + 4*a = -r. Put -4, f, -3 in decreasing order.
f, -3, -4
Let k = 0.3 + -0.4. Let g = -4 - 0. Let a = -3.9 - g. Sort a, k, -0.4.
-0.4, k, a
Suppose 2*n - 14 = -2*c, -31 = 2*c - 7*c - 3*n. Let t be ((-2)/6)/(9/81). Sort 4, c, t in decreasing order.
c, 4, t
Let j be (-2)/(30/(-17)) + -1. Suppose -y + 4*l = 12, 4 = -4*y + 5*l - 0*l. Suppose -4 = -q + v - y*v, 5*q - 2*v = -31. Sort q, -4, j in increasing order.
q, -4, j
Let o be 7 - 17 - (-3 - 0). Let v = o - -9. Put 1, 5, v in increasing order.
1, v, 5
Let s = 40 - 41. Sort s, 2, -5 in ascending order.
-5, s, 2
Let y = 0.1 - 0. Let j = 88 + -83. Sort j, y, 1 in descending order.
j, 1, y
Let t = -73 - -77. Put 2/11, 5, -2, t in decreasing order.
5, t, 2/11, -2
Let t = -3 + 0. Let h be ((-3)/2)/(3/8). Sort h, t, 0.
h, t, 0
Let g = 0.066 + -3.066. Sort -5, -1.4, g in decreasing order.
-1.4, g, -5
Let n be 0*((-22)/4 - -5). Put n, -4, -3/8 in ascending order.
-4, -3/8, n
Let a = -25 + 25. Sort -3, a, 4 in ascending order.
-3, a, 4
Suppose 3*g = 4*l - 19, -5*l + 3*g = -25 + 5. Suppose -2*b + 7*b = 110. Suppose 4*x + 4 = -4*t, 6*x - 4*t = x + b. Put x, l, 5 in decreasing order.
5, x, l
Suppose -5 = 5*i, -4*i + 4 + 1 = 3*x. Let o(p) = -p**3 - 6*p**2 + 2*p**3 + 6*p**2 - 3*p - 3*p**2 + 4. Let d be o(x). Put -0.5, d, -2/3 in descending order.
-0.5, -2/3, d
Let d(h) = -3*h - 3. Let p be d(-2). Let b be 34/(-6) - (-8)/12. Put -1, p, b in descending order.
p, -1, b
Let g = -25 + 48. Let u = g + -91/4. Sort u, -0.5, 2/17 in increasing order.
-0.5, 2/17, u
Let c = 3.6 + -10.6. Put c, 0.3, 0.5 in descending order.
0.5, 0.3, c
Suppose 4*s - 1 - 15 = 0. Let k be (-1 + 0)/(1/2). Sort s, -4, k.
-4, k, s
Let v = 19/24 + -5/12. Let d = 0.3 + -5.3. Sort -1, v, d in decreasing order.
v, -1, d
Suppose -5*u + 28 = -u. Suppose 3*x = u - 4. Let t = x - 6. Put 1, t, -3 in decreasing order.
1, -3, t
Let n = -25 - -22. Sort n, 3, -2 in descending order.
3, -2, n
Let s be -1 - 3 - (2 + -7). Suppose -d + 8 = -5*f - 1, 7 = -d - 3*f. Sort 2, d, s in decreasing order.
2, s, d
Let x(a) = a - 3. Let z be x(3). Put -4, -5, z, 2 in increasing order.
-5, -4, z, 2
Let l(t) = -t**3 - 10*t**2 - 11*t - 16. Let o be l(-9). Let g = 0.15 - 0.1. Sort -2, g, o.
-2, g, o
Suppose -3*r = 5*j + 18, -4*r + 4*j + 5 = -3. Sort -4, 2, r.
-4, r, 2
Let l be ((-30)/(-225))/(4/6)*4. Put -2, l, -0.3 in decreasing order.
l, -0.3, -2
Suppose 2*f + 6 = 5*n, -5*f - 15 = -0*n - n. Put -7, f, 4 in descending order.
4, f, -7
Let c = -6.03 + 6. Let j = c - 0.17. Sort -1/2, 3/4, j in ascending order.
-1/2, j, 3/4
Let w = 10.3 - 8.3. Put -0.2, -3, w, 0 in descending order.
w, 0, -0.2, -3
Let j(x) = -x**3 + 8*x**2 - 6*x - 4. Let h be j(7). Put 7, h, -5 in decreasing order.
7, h, -5
Let f(s) = -s + 8. Let a be f(8). Let k be a/(1*3/(-3)). Sort -2, -5, k in decreasing order.
k, -2, -5
Let y = 89 - 98. Put 2, -3, y in descending order.
2, -3, y
Let x = -8 - -5. Let m be (7/1)/((-1)/1). Let u be 4 + -2*(-3 - m). Sort -1, x, u in ascending order.
u, x, -1
Suppose 5*q - 3 = 32. Let j be 27/(-21) - (-2)/q. Let u = j + -3. Sort -5, u, 2 in increasing order.
-5, u, 2
Let z(t) = 3*t. Let y be z(-1). Let o(j) = -17*j**2 - 1. Let c be o(1). Let w = c - -13. Sort y, -2, w in decreasing order.
-2, y, w
Suppose -4*u - 37 = -33. Put -1/5, u, 0.1 in decreasing order.
0.1, -1/5, u
Let s = 15 - 9. Sort 1, s, -5.
-5, 1, s
Let m = -6 + 3. Put 9, m, 1 in descending order.
9, 1, m
Let y(b) = -b**2 + 2*b + 4. Let h be y(-3). Sort h, 1, -4 in ascending order.
h, -4, 1
Suppose -14 = 2*s - 40. Suppose 2*l = -3*v + l, 4*l - s = v. Sort 3, v, 4 in decreasing order.
4, 3, v
Let b = -2 - -5. Suppose -12 = k - 4*v + 12, -k = 5*v - 21. Sort k, b, -0.1 in descending order.
b, -0.1, k
Suppose 2*w - w = 12. Suppose 3*f + 2*u + 19 = 0, -3*f - 20 = -f + 5*u. Let x be (w/(-10))/(2/f). Sort x, 4, -2/7 in ascending order.
-2/7, x, 4
Let b(a) = a**3 - 6*a**2 - 5*a - 10. Let m be b(7). Let t be ((-4)/(-8))/(1/(-8)). Sort m, -2, t in descending order.
m, -2, t
Suppose 2*x + 3*l = 4*x + 9, -4*x - 4*l = -32. Suppose 0 = 2*g + 3*w + 8, w + 12 = -6*g + x*g. Sort g, 0.2, 2/5.
g, 0.2, 2/5
Let r(c) = -c - 9. Let i be r(-9). Sort i, 5, -3 in increasing order.
-3, i, 5
Let y = 11 + -6. Let w = -8 - -5. Sort y, w, -4 in decreasing order.
y, w, -4
Let f = -135.6 + 152. Let n = 16 - f. Sort -3, -6, n in increasing order.
-6, -3, n
Let i = -0.14 - 0.16. Let s = -3.9 - -4. Let q = 0 - s. Sort 0.2, q, i in descending order.
0.2, q, i
Suppose 7*s - 4*s + 6 = 0. Sort -1, s, 2, 20 in increasing order.
s, -1, 2, 20
Let f(z) = 3*z + 3. Let s be f(-6). Let t = s + 11. Sort 1, -3, t in decreasing order.
1, -3, t
Suppose -2 + 0 = -z. Let c(g) = g**3 + 8*g**2 + 7*g - 2. Let y be c(-7). Sort z, y, -5.
-5, y, z
Suppose 5*g = 15, c - 12 = 6*c - 4*g. Suppose -3*y - y + 16 = c. Let l be 1*-6*2/y. Sort l, -1/2, 3.
l, -1/2, 3
Let p = 7 + -3. Suppose 5*b - 32 = -p*z - 0*z, -4*b + 3*z = -7. Suppose c - 1 = -b. Sort -4, 3, c in increasing order.
-4, c, 3
Let v(p) = 3*p**3 - 8*p**2 - 13*p - 4. Let k(s) = -s**3 - s**2 + s + 1. Let f(y) = -2*k(y) - v(y). Let w be f(11). Put 2/7, w, 4/7 in increasing order.
2/7, 4/7, w
Suppose -3*n + 7 = -5*u - 2, -4*n + 12 = -3*u. Suppose 9*y = 4*s + 11*y - 16, -4*y = -4*s + 16. Put 1, n, s in increasing order.
1, n, s
Let b(r) be the second derivative of r**5/20 - 2*r**4/3 + r**3/3 - 11*r**2/2 - 3*r. Let p be b(8). Put p, 0, 1 in increasing order.
0, 1, p
Let m = -26.1 + 25. Let d = m - 3.9. Let h = -0.9 + 4.9. Sort h, -1, d in descending order.
h, -1, d
Let s = 20 - 16. Suppose -5*i - s = -7*i. Put i, 1, -2 in descending order.
i, 1, -2
Let g be (8/(-18))/(14/3). Let s = -97.8 + 98. Sort g, -2/5, s in ascending order.
-2/5, g, s
Suppose -s - 4*d = -11, 0*d - 11 = 2*s - 3*d. Put 5, 1, -4/3, s in ascending