. Put f, 5, k in ascending order.
k, f, 5
Let u = -420 - -141. Let o = u + 1950/7. Sort 0, 2/7, o in increasing order.
o, 0, 2/7
Let c = -5 - -4.88. Let w = c - 1.18. Let i = w + 1. Sort 2, i, -5.
-5, i, 2
Suppose -5*x + 2*c - 35 = c, -2*x = 2*c + 14. Sort 5, 0, x in descending order.
5, 0, x
Let x(f) = -f - 1. Let j be x(-14). Suppose 3*g + 2 = -j. Sort g, 2, -3 in decreasing order.
2, -3, g
Suppose g = 2 + 1. Suppose 0 = -2*p - 8, 7 = 5*d + 4*p + g. Let b = -6 - -3. Put b, 0, d in increasing order.
b, 0, d
Let w = 5 - 14. Let y = w - -13. Put -0.02, y, 1 in increasing order.
-0.02, 1, y
Let b(v) = 19*v**2 + 0*v - 4*v - 18*v**2. Let i be b(5). Sort -2, 0, i in decreasing order.
i, 0, -2
Let m = 36 + -34. Sort m, 8, 4, 0 in ascending order.
0, m, 4, 8
Suppose 5*x = 3*n - 22, -2*n = 5*x + 4 + 23. Suppose -3*b + 5 = -4*p - 8, p = -4*b + 30. Suppose b*m - 25 = 2*m. Sort n, m, -4.
-4, n, m
Let s = -13 + 12.95. Put -1/11, s, 3/4 in descending order.
3/4, s, -1/11
Let r = -16 + 15.9. Let b be (1 + 102/(-101))*-1. Let n = b + 197/505. Sort 1/6, n, r.
r, 1/6, n
Suppose 8*g = -4*x + 3*g + 12, -9 = -3*x + 4*g. Suppose -2*i = 5*t + 6, 0*t - x*t = 0. Put i, 4, 3 in ascending order.
i, 3, 4
Let m(q) = -q**3 - 7*q**2 - 8*q. Let o be m(-6). Let a be (o/(-16))/((-7)/(-4)). Put a, -1/7, -0.5 in descending order.
-1/7, a, -0.5
Let r = 84 + -422/5. Put 2/9, 5/6, r in descending order.
5/6, 2/9, r
Let l(j) = j**2 + 2*j - 5. Let d be l(-4). Let w be 2 + (3/d - 3). Let k be -1 - (2 + -1 - -1). Put w, k, 2 in descending order.
2, w, k
Let i(q) = -2*q - 1. Let j be i(-1). Sort 0.4, j, 0, 2.
0, 0.4, j, 2
Suppose 0 = -2*v - 2*n - 2, 0 = v + 4*n + 7. Sort v, -5, 1/3, -3 in decreasing order.
v, 1/3, -3, -5
Let t = -626.9 + 653. Let c = -21 + t. Let q = -0.1 + c. Sort -2/3, q, 0.4 in ascending order.
-2/3, 0.4, q
Let i = -52 + 53. Sort i, -2, 5, 4 in descending order.
5, 4, i, -2
Let a = 7 - 2. Let g = 2 - 1. Let k(y) = -y**3 - y**2 - y + 3. Let w be k(0). Sort w, a, g in descending order.
a, w, g
Suppose -5*k = -3*x - 19, 0 = 4*x + k + 3*k + 4. Put -15, 2, -5, x in increasing order.
-15, -5, x, 2
Suppose -5*m - 2*b = -98, 5*m - 4*b = -b + 78. Let p be ((-12)/m)/(2/(-6)). Suppose -3*v = 3*n - 11 - 4, p = v. Put -2/15, n, 1/4 in ascending order.
-2/15, 1/4, n
Let l = 27 - 29.8. Let z = l - -3. Let u = z + 0. Sort u, -3/4, 1.
-3/4, u, 1
Let x(m) = 2*m - 18. Let z be x(11). Sort -1/2, z, -5, -2 in ascending order.
-5, -2, -1/2, z
Let t be (-1)/2*44/10 + 2. Sort 2, 1/4, t, 4.
t, 1/4, 2, 4
Let z be 10/(-15)*(-3)/1. Suppose 4 = p + 3*m - 3, z*m - 14 = 4*p. Put 5, 1/5, p in decreasing order.
5, 1/5, p
Let s(i) = 2*i - 1. Let w be s(1). Let x be -1 - (5 + -2 + w). Let y = -6 + 5. Sort y, x, -0.1 in descending order.
-0.1, y, x
Let d = 66/5 - 452/35. Suppose 4*w = 5*w + 5. Let h = w - -10. Put -4, h, d in ascending order.
-4, d, h
Let p = -89 - -79. Put 5, 3, p in decreasing order.
5, 3, p
Let j = -28 - -49. Suppose 5 - j = 4*t. Put 5, -3, t in decreasing order.
5, -3, t
Let n = -15 - -11. Suppose 5*a - 32 - 1 = 2*s, -4*s - 16 = 0. Sort -3, n, a in descending order.
a, -3, n
Let y(w) = -w**3 - 10*w**2 - 10*w - 1. Let c be y(-9). Suppose 4*l - c - 8 = 0. Suppose 0 = -3*p + 2*p. Put 5, l, p in decreasing order.
5, l, p
Let f = -11/45 + 4/9. Let u be (-1605)/(-12) - (-2)/8. Let z = -672/5 + u. Sort f, -2, z in ascending order.
-2, z, f
Suppose -3*h + 8*h + 29 = -4*g, g = 3*h + 14. Put -3, 1, 5, g in decreasing order.
5, 1, g, -3
Let p = -2.18 + 0.18. Let g = 2.96 - -0.04. Sort g, -2/3, p in ascending order.
p, -2/3, g
Let c(p) = p**3 - p**2 + p. Let d be c(0). Suppose -3*g + 3 = -2*g. Let l = g + d. Put 2, l, -2 in descending order.
l, 2, -2
Let d(k) = -k**2 + 2. Let x be d(2). Let h be ((-1)/x)/(10/4). Sort 1, h, 0 in ascending order.
0, h, 1
Let v be 1/((-2)/(-6)) - 2. Sort v, -2, 3.
-2, v, 3
Suppose f = -0*f. Suppose 4*s = 0, 2*h - s - 1 = -3. Let x = h - 4. Sort f, 5, x.
x, f, 5
Let v = 23.1 + -22.7. Let q be (-1)/10*2*-1. Let p = 0.1 + 2.9. Put q, v, p in descending order.
p, v, q
Suppose 3*o = -0*o - 12. Sort 3, o, 4 in descending order.
4, 3, o
Let y = -7/15 + 2/3. Sort -2/17, y, 2/9, 4 in increasing order.
-2/17, y, 2/9, 4
Let s be (1 + -2)/(-6)*2. Sort 0.4, -0.4, s.
-0.4, s, 0.4
Let y(c) = c + 11. Let i be y(-10). Let t = -5 + i. Sort 2, 5, t.
t, 2, 5
Let y be (-78)/66 - (-2)/11. Sort y, 7, 4 in ascending order.
y, 4, 7
Suppose -2*l = 3*l + 2*l. Put -5, -34, l in ascending order.
-34, -5, l
Suppose 4 = -4*r + 20. Let c be 1 + r - 0/13. Put -12, 0, c in ascending order.
-12, 0, c
Let b = 0.5 + -0.8. Let k(y) = -y**3 + 3*y**2 + 6*y - 3. Let v be k(4). Let t be (3/2)/(15/v). Put b, t, 1 in increasing order.
b, t, 1
Let t = -1/427 - 11527/854. Let v = 13 + t. Put -3, v, 4 in increasing order.
-3, v, 4
Let k = 17.07 + -17. Let a = -0.17 + k. Let l = a + 0. Put l, -5, -2/17 in descending order.
l, -2/17, -5
Let l = 0.03 + -2.33. Let w = 0.6 + -1.3. Let z = l + w. Sort -0.1, z, -5.
-5, z, -0.1
Suppose 2*w + 0 - 8 = 0. Let h = 1 + -9. Let v = 11 + h. Sort -2, v, w in descending order.
w, v, -2
Let o(u) = -3*u - 1. Let m be o(-2). Suppose 0 = 7*x - m*x + 10. Let w be 1/1*(3 - 1). Put w, 3, x in decreasing order.
3, w, x
Let s be (-14)/(-18)*8/(-28). Let h = 1.8 - 2. Sort 1/4, h, s in ascending order.
s, h, 1/4
Let p be (2*-2 - 1)*(-11)/(-11). Sort p, -2, -1 in ascending order.
p, -2, -1
Suppose 0 = -4*u + 2*u + 5*b - 14, 0 = 5*u + 2*b + 35. Let j = -4 - u. Suppose 2 = -m - 1. Put j, -4, m in ascending order.
-4, m, j
Let u(t) be the third derivative of -t**5/60 - t**4/4 + 5*t**3/6 - t**2. Let b be u(-6). Sort 4, b, -4.
-4, 4, b
Let u(w) = w**3 - 3*w**2 + 3*w. Let q be u(2). Suppose 2*a = -a + 24. Let y be 4/(-4) - (-10)/a. Sort q, 4, y in ascending order.
y, q, 4
Let c(z) = z - 27. Let g be c(27). Sort -2, 4, g, -5 in increasing order.
-5, -2, g, 4
Let h be 1/(-2) + (-9)/2. Let g be (-2)/7 + 185/35. Suppose 3*c + 11 = -c - g*p, -11 = -5*c + 2*p. Put c, h, -1 in increasing order.
h, -1, c
Let z be (4/(-18))/(-1)*(9 + 0). Sort z, -5, -6.
-6, -5, z
Suppose 0 = 3*v + v - 8. Suppose 0 = -0*f - v*f - 2. Let m be (-3)/(-3*1) - f. Sort 1, m, -5 in increasing order.
-5, 1, m
Suppose x = m - 3*m + 3, m + 3*x = -11. Let t(y) = 2*y**3 - 1. Let i be t(1). Sort -1, i, m in descending order.
m, i, -1
Let h = 7 + -2. Suppose h*d = -5 - 10. Let w be 2 - d/5*-4. Sort 0, w, 3/2.
w, 0, 3/2
Let f(u) = 2*u + 1. Let v be f(-2). Let y(d) = 2 - 5*d + 0*d + 0*d - d**2. Let j be y(-5). Sort 3, j, v in increasing order.
v, j, 3
Let x = -26 + 28. Put x, 20, 0.3 in decreasing order.
20, x, 0.3
Let z(p) = p + 8. Let l(b) = b - 15. Let q be l(7). Let w be z(q). Put 5, w, -1 in increasing order.
-1, w, 5
Let c = 216249/61 - 1095666095/309087. Let l = 2911/6 + -1638905/3378. Let x = c - l. Put 5, 0.4, x in decreasing order.
5, 0.4, x
Let h = -2.9 - -0.9. Put h, -0.1, -4 in descending order.
-0.1, h, -4
Suppose h - t = -0 - 2, 0 = 2*t - 8. Let n be (3/h)/((-3)/(-8)). Suppose -5*b - 5*j = 0, -5*b + 2*j = -0*j - 21. Sort n, -1, b in descending order.
n, b, -1
Let a = -4.7 - -2.7. Sort -2/3, -8, a in decreasing order.
-2/3, a, -8
Suppose -2 = -b + 2*l - 7, l = -2*b + 15. Suppose 8 + 17 = -5*o. Put o, b, 1 in ascending order.
o, 1, b
Let r = -21 - -34. Let q = 12.6 - r. Sort q, 0.2, 1 in ascending order.
q, 0.2, 1
Let x be 140/(-18) + (-4)/18. Put 5, x, 2 in decreasing order.
5, 2, x
Suppose -4*o + 4 - 16 = 0, -5*o = 3*g - 30. Put 0, 1/5, g, -3 in decreasing order.
g, 1/5, 0, -3
Let t = 4.9 + 0.1. Sort -4, t, -0.2 in increasing order.
-4, -0.2, t
Let w = -89/3 + 29. Let h = -0.2 - -0.1. Let f = h - -0.2. Sort -2, f, w in ascending order.
-2, w, f
Suppose 2*o = -5*d - 0*d - 1, -4 = -4*d. Put 0.5, o, 2 in descending order.
2, 0.5, o
Let l be (-12)/2*8/12. Sort -1, 6, l.
l, -1, 6
Suppose 3*z = 4*z - 2. Put 1, z, 4 in ascending order.
1, z, 4
Suppose -4*i + 2*i + 3*r - 12 = 0, 2*i - 4*r = -16. Let m = i + 1. Let v = 25 + -26. Sort -5, v, m in ascending order.
-5, v, m
Suppose -2*i - 6 = -u, 0 = u - 5*i - 3 - 18. Sort 7, u, -2.
u, -2, 7
Let f = -13 - -18. Sort f, -1, 1/9 in descending order.
f, 1/9, -1
Let o = 1.3 - 6.3. Let u = -7 - o. Put u, -4, -1 in decreasing order.
-1, u, -4
Suppose -5*d + 3*d = 0. Let p be 10/(-4)*