. Sort m, 1, f.
m, f, 1
Suppose -2*t - 5*u = -35, -2*t + 30 = -0*t + 4*u. Let v = -2 - -5. Suppose -v*i + 2*q = 2*i + 11, 3*q = 5*i + 9. Put i, 2, t in descending order.
t, 2, i
Let m = -50/3 + 203/12. Let i = 0.16 + 0.14. Put 5, m, i in descending order.
5, i, m
Let b be -5 + 5 + -2 + 1. Put 0, 4, b in decreasing order.
4, 0, b
Let w(u) = -3*u - 18. Let r(o) = -o - 1. Let d(v) = 4*r(v) - w(v). Let t be d(12). Sort t, -4, -4/3 in descending order.
t, -4/3, -4
Let t be ((-14)/21)/((-28)/12 + 3). Put 2, t, -11 in descending order.
2, t, -11
Let k be 589/294 - (-6)/(-3). Let y = k - -83/294. Put 1/5, -0.03, y in ascending order.
-0.03, 1/5, y
Suppose 0 = 4*b - 3*s + 4, -2*b + s + 0 = 4. Let o = -5 - b. Put o, -5, -4 in descending order.
o, -4, -5
Let i = 0.29 + -0.3. Sort i, -2, -1/2 in ascending order.
-2, -1/2, i
Let v = 1.3 + -3.7. Let w = v + 0.4. Sort w, -2/7, -5.
-5, w, -2/7
Let t be (-1)/(-4) - 1556/(-112). Let m = 14 - t. Sort 0.3, 1, m in decreasing order.
1, 0.3, m
Let r = -2.8 - -2.79. Put 2, 0.5, r in increasing order.
r, 0.5, 2
Let h = 0.1 - 0.2. Let j = 0.28 + 0.12. Let k = 8 + -4. Sort k, j, h.
h, j, k
Let k = -25 + 22. Put -1, k, 34 in descending order.
34, -1, k
Let w be 17/(-3) + (-2)/(-3). Let l be (4*(-1)/(-22))/(-36). Let b = 391/990 - l. Sort b, 0, w.
w, 0, b
Let c = -0.1 - 1.9. Let d = 0.3 + 2.7. Let x = -1 - d. Sort x, 0.2, c.
x, c, 0.2
Suppose 2*k - 3*k = 5*b - 8, -2 = 2*b + 3*k. Let c(a) = a + 17. Let f be c(0). Suppose -4*i = 1 - f. Put 0, i, b in ascending order.
0, b, i
Let f = -5 - -9. Suppose f*l - 4*j = -4, j = 2*l - 4*j + 2. Suppose -4*h - 5*o - 31 = -h, -o - 13 = 4*h. Put 3, h, l in descending order.
3, l, h
Let p(b) be the first derivative of -b**4/4 - b**3 + b**2/2 - 2*b - 2. Suppose -2 = 2*v - 0, -2*u + v - 5 = 0. Let l be p(u). Sort 3, l, 5 in descending order.
5, 3, l
Let n be 4 + (-36)/8 + (-3)/(-2). Put -1, n, 12 in increasing order.
-1, n, 12
Suppose -385*x + 376*x + 27 = 0. Let b = 8 - 6. Sort x, -18, b in descending order.
x, b, -18
Let m = 1 - -3. Let i(n) = -n**3 + 3*n**2 + 5*n + 1. Let v be i(m). Let u = v - 2. Put -1/5, -3, u in descending order.
u, -1/5, -3
Let b(t) = -2*t + 4. Let l be b(4). Let j = 5 + -10. Let p = j - l. Put -2, 2, p in increasing order.
-2, p, 2
Suppose 0 = -w, 0 = -4*v + 6*v - w + 20. Sort 0, 3, v.
v, 0, 3
Let y(l) = -l**2 - 23*l + 0 + 18*l + 1. Let z be y(-4). Sort z, -5, 7 in increasing order.
-5, z, 7
Let d be (-26)/(-10) + 12/30. Put -2, d, -1 in descending order.
d, -1, -2
Suppose -3*k - 17 = -k + 5*s, -5*s = 15. Sort k, 2/5, -0.07, 5 in ascending order.
k, -0.07, 2/5, 5
Let g = -109/2 - -547/10. Let y = 266.07 - 269. Let z = y - 0.07. Put 1, z, g in descending order.
1, g, z
Let t = 0.055 + -0.325. Let k = 0.07 + t. Put 5, -1/2, k in decreasing order.
5, k, -1/2
Suppose 3 = u - 6. Suppose 0 = -10*d + u*d. Let n be -1 + (-2)/(-3)*-3. Sort d, 3, n in descending order.
3, d, n
Suppose 15 - 33 = -2*l. Let x be 2/l - (-343)/(-126). Sort x, 0.5, 1 in descending order.
1, 0.5, x
Let c(x) = x**3 + x + 3. Let h be c(0). Let l = 12 + -12. Put 4, h, l in ascending order.
l, h, 4
Suppose 1 - 26 = 5*v. Sort 0, v, 3 in ascending order.
v, 0, 3
Suppose -k - x = -1, 3*k + 5*x - 14 = k. Let i = 0.5 + -0.6. Put -0.3, i, k in decreasing order.
i, -0.3, k
Let d(k) = k**3 + 2*k**2 + k + 1. Let m = -10 - -10. Suppose t + m + 1 = 0. Let r be d(t). Sort r, 4, 5 in descending order.
5, 4, r
Let x = 4 - 12. Let k be x/70 + (-6)/(-15). Put -0.5, k, 0.1 in descending order.
k, 0.1, -0.5
Suppose 6*h - 4 = 4*o + 4*h, 4*h = 2*o - 10. Put 10, o, 2, 0 in decreasing order.
10, 2, 0, o
Suppose -7*t + 4 = -5*t. Sort -1, -2, 4, t in decreasing order.
4, t, -1, -2
Let s = 248 + -247.7. Let u = 3.2 - 3. Sort -2, s, u in decreasing order.
s, u, -2
Suppose u = -0*u - 1. Let s = 82 - 85. Let f be (-4)/10 + (-27)/(-5). Sort u, f, s in decreasing order.
f, u, s
Let r = 16 - 16. Sort r, 4, -5.
-5, r, 4
Let c(q) = 6*q + q**2 + 1 - q**2 - 2 - q**2. Suppose 43 - 14 = 4*u + 3*s, 5*u - 22 = s. Let g be c(u). Sort -1/9, g, 0.
-1/9, 0, g
Let y = -39549/7000 - 1/7000. Let s be (-2)/8 - (-103)/(-20). Let w = s - y. Put w, 0, 1 in decreasing order.
1, w, 0
Let u be 2/3 + 60/18. Let s(o) = 2*o**2 - 2*o - 4. Let b be s(0). Put -2, b, u in descending order.
u, -2, b
Let q = 1 + 2. Let w = -19 - -32. Suppose -w = 4*g - 33. Put q, -1, g in decreasing order.
g, q, -1
Let c = 0.4 - 0.2. Put -1/3, -3/8, c in descending order.
c, -1/3, -3/8
Let c = 10 - 6. Suppose -4*x = -b + 2, -3*b + 5*b = 3*x + c. Let f be 1/b*-2*2. Sort f, 0, -4.
-4, f, 0
Let g(r) = r**2 + 3*r + 2. Let j = -6 + -4. Let s be ((-8)/j)/((-2)/5). Let i be g(s). Sort -3, i, -2 in decreasing order.
i, -2, -3
Suppose -v + n - 5 = 0, 0 = 2*n + 2*n - 12. Let y be (-22)/33*(-9)/v. Sort -5, y, 6 in ascending order.
-5, y, 6
Let j = 161/1131 - -1/87. Let n = -0.12 + 6.12. Let o = 6 - n. Put 0.2, o, j in decreasing order.
0.2, j, o
Let p = -13 + 7. Let y = p + 3. Sort 1/11, y, -0.1.
y, -0.1, 1/11
Let q = -363/5 + 72. Sort -0.2, 0.3, q, 0 in decreasing order.
0.3, 0, -0.2, q
Let i = 0.9 - 3.7. Let o = i + 3. Let w = -117 + 122. Put o, 2, w in descending order.
w, 2, o
Let h be (15/20)/(1/4). Let i = h - 6. Sort i, -4, -1 in ascending order.
-4, i, -1
Let n be (9/(-12))/((-5)/20). Sort n, -4, -2.
-4, -2, n
Let l = -21 + -17. Put 1, l, -2 in descending order.
1, -2, l
Let q = -49 + 92. Suppose -2*l = 2, 2*l - q = -5*w - 0*l. Let m be -6*(-1 + 3/w). Put 1, -2, m in descending order.
m, 1, -2
Let l be ((-32)/(-6))/((-2)/(-3)). Sort -3, 0, l in descending order.
l, 0, -3
Let f = 3.7 + -0.7. Let a = -29 - -25. Sort a, f, 2 in ascending order.
a, 2, f
Suppose -4*o + 4 + 0 = 0. Let j be (7 - 6)/(0 + o). Let a = -11 + 16. Put a, -2, j in ascending order.
-2, j, a
Suppose 5*y = y + 16. Let v = 3 + 15. Suppose 4*r = -12, -3*s + 2*r + v = r. Put s, y, -4 in descending order.
s, y, -4
Let b = -16.99 - -16. Let y = b - -1. Let z = -4.99 - y. Put -0.1, z, 0.5 in increasing order.
z, -0.1, 0.5
Let l(j) = -j**3 - 3*j**2 + 9*j**2 - 3*j + 3 - 2*j. Let n be l(5). Suppose -3 = -3*m + 3. Sort m, n, 1 in ascending order.
1, m, n
Let t(u) = -u**3 - 12*u**2 + 14*u + 18. Let s be -14 + (4 - 2) + -1. Let m be t(s). Put 3, m, 1/7 in descending order.
m, 3, 1/7
Suppose 0 = 2*a + 2*a - o + 18, -o + 22 = -5*a. Let u be (-1)/(0 + a/(-16)). Let w(r) = r - 5. Let l be w(4). Put u, l, 0 in decreasing order.
0, l, u
Let i be 18/72 - (-6)/8. Put i, 0, -5 in ascending order.
-5, 0, i
Let r = -29.2 + 29. Let m(q) = q**3 + 5*q**2 + 5*q + 3. Let c be m(-4). Let p = 0.2 - -0.1. Sort c, r, p in decreasing order.
p, r, c
Let n(l) = -l**2 + 6*l. Let c be n(5). Suppose -4*j = -c*j + 5. Sort 4, j, -1 in descending order.
j, 4, -1
Let b = 25 + -25. Sort 1/3, b, -3, 3/4.
-3, b, 1/3, 3/4
Suppose t - 4*t = 18. Let v(l) = l**2 + 5*l - 2. Let m be v(t). Put -5, 2/11, m in descending order.
m, 2/11, -5
Let b = 5 - 7. Let u = -21 + 24. Put u, b, -1 in ascending order.
b, -1, u
Let l = -25/247 - 1/247. Put 1, l, -4/59 in ascending order.
l, -4/59, 1
Let i = 2.4 - 2.6. Let q = 0.7 + i. Sort -1, -1/5, q in decreasing order.
q, -1/5, -1
Let d = 2/19 - 86/95. Sort d, -0.1, -0.03.
d, -0.1, -0.03
Let p be (-87)/(-21) + (-1)/7. Put -2, p, 5, 3 in ascending order.
-2, 3, p, 5
Suppose -k + 0*h - 5 = 2*h, k - 3*h = 10. Let u be (-19)/6 + k/6. Let d = 2 - u. Put 2, 1, d in descending order.
d, 2, 1
Suppose 0 = 4*w - 2*k + 4*k - 20, 0 = -3*w - 4*k + 25. Let a = 2 - 2.2. Sort w, 0, a.
a, 0, w
Let q = 23.5 + -24. Put -4, q, -3/8, 4 in decreasing order.
4, -3/8, q, -4
Suppose -3*t + 3*z = 1 + 2, -4*z = -5*t - 3. Put -2, t, 0.2, 1/7 in descending order.
t, 0.2, 1/7, -2
Let n = -8 + 14. Let z = -2 + n. Sort z, -0.3, -5.
-5, -0.3, z
Suppose -2*k + 3 + 7 = -2*v, -2*v - 4 = 0. Suppose 56 = 3*f - 2*n, 0 = 4*f + 2*n - 105 + 21. Suppose -3*j = j + f. Sort j, k, -2.
j, -2, k
Let r(i) = -i**2 - i + 1. Let y be r(2). Let u(f) = -2*f + 7. Let b be u(5). Put b, y, -1 in increasing order.
y, b, -1
Let v(h) = -h + 3. Let p be v(3). Let a = p + -11. Let f = 11 + a. Put 1, 6, f in increasing order.
f, 1, 6
Let y = -162 - -180.3. Let i = 18 - y. Put 2/7, -9, i in decreasing order.
2/7, i, -9
Suppose -53*t + 16 = -49*t. Suppose -v = 2*b + 3 + 2, 11 = -4*b - v.