1, m in descending order.
z, m, -0.1
Let h = 0.037 - -0.363. Put h, 0.05, 4 in increasing order.
0.05, h, 4
Let f = -4 + 1. Suppose -4 = -h + 1, r + 2*h - 10 = 0. Sort 4, r, f in increasing order.
f, r, 4
Let l(q) = q**2 + 8*q + 9. Let o be l(-7). Suppose 0 = -3*u + g - 10, 0*u + 3*u = 5*g - 14. Sort u, o, -5 in decreasing order.
o, u, -5
Let m = -6 - -8. Suppose 0 = z + 4*z + 2*d + 5, m*z + 2 = -5*d. Sort z, 0, -5.
-5, z, 0
Let o = 2 + -3. Suppose -13 = -g - 3*s, 4*g = -5*s - 8 + 25. Sort o, -5, g in decreasing order.
o, g, -5
Suppose 3*i + 2*h = h - 2, -4*i - 6 = 3*h. Let l = 6 - 2. Suppose -l*w = -3*w + 2. Put w, 2, i in increasing order.
w, i, 2
Suppose m + 6 = -4*w - m, -5*m = -4*w + 15. Let b be (-15)/12 + (-264)/96. Sort w, 3, b.
b, w, 3
Let m = -1 + 1. Suppose -4*h + 2*h - 2 = m. Put 0, 2, h in increasing order.
h, 0, 2
Let m = 15 + -18. Put m, -1, 3 in increasing order.
m, -1, 3
Let l be -3 + 1 - -1*2. Suppose 0 = -4*d + 5*k - 20, d + 3*k + 2*k = -5. Let v(a) = -a**2 - 5*a + 10. Let x be v(-7). Put x, d, l in decreasing order.
l, x, d
Suppose 0 = -f - 1, -5*m - 4*f - 17 = -2*f. Let n be 2/(-6)*5*m. Let g = 12 - 11. Sort 2, g, n in descending order.
n, 2, g
Let j = 0 - 0.1. Let n = -0.4 - -0.5. Let w(s) = 3*s - 146. Let x be w(49). Sort j, n, x.
j, n, x
Let q = 96 - 99. Sort -5, q, 2, -2 in decreasing order.
2, -2, q, -5
Let h = 0.6 - 0.2. Let w = -0.3 - -0.8. Sort w, h, 3/2 in increasing order.
h, w, 3/2
Let c be (-2)/(-3)*3*-2. Suppose -4*o = u + 9, 2*u = -3*u - 4*o + 3. Let g = 10 + -10. Put g, u, c in decreasing order.
u, g, c
Let y(b) = -2*b**3 + 8*b**2 - b + 12. Let a be y(4). Sort a, -2, -5, 2.
-5, -2, 2, a
Suppose -25 = -5*k + s, -5*k - 4*s + 13 = -12. Put 1, k, 0 in increasing order.
0, 1, k
Suppose 5*a - 8 - 2 = 0. Let d(i) = -i**2 + 10*i - 10. Let r be d(9). Sort a, 0, r in decreasing order.
a, 0, r
Let r(y) = -12*y**2 + 7*y - 10. Let f be r(2). Put 1, -2, f in ascending order.
f, -2, 1
Let l = 0.3 - 0.8. Let i = l + -6.5. Let m = 12 + i. Sort -2, 2, m in decreasing order.
m, 2, -2
Let c(y) = y**2 + 4*y + 1. Let x be c(-3). Let j be (-2 - 0)/(-1 + -1). Sort x, j, -5 in decreasing order.
j, x, -5
Suppose -4*v = -0*v + d + 1, 3*d + 3 = v. Suppose -u + v = 3. Let f be 3*(-1)/u*3. Sort f, -1, -4 in descending order.
f, -1, -4
Let m(z) = z - 2. Let d be m(6). Let h be -4*((-5)/d)/1. Sort 0.2, -3, h in increasing order.
-3, 0.2, h
Let y = -9.6 - -0.8. Let v = 9 + y. Sort -4, v, 0.1 in ascending order.
-4, 0.1, v
Suppose -5*f - 5*f + 20 = 0. Put 24, f, -3 in increasing order.
-3, f, 24
Let c(i) = i**2 - 11*i + 3. Let b be c(11). Suppose 2*m - 3*g = -5*g - 2, -g - 5 = -3*m. Sort 2, b, m.
m, 2, b
Suppose 28 = 5*q - 17. Put 1, -4, q in ascending order.
-4, 1, q
Let b be -1 - 2*(-22)/36. Let i = 5 - 0. Let f = i - 8. Sort 0.4, b, f in descending order.
0.4, b, f
Suppose -26*t = -63 + 193. Let p = 4 + 3. Sort -2, p, t.
t, -2, p
Let w = 3 - 14. Let j be 1 + 4 + 22/w. Put -4, j, 0.1 in decreasing order.
j, 0.1, -4
Let f be -2 + (2 - 0)*-1. Let x be (14 + 0)*2/f. Let q be -1 - x/(147/30). Sort 1, 2, q in descending order.
2, 1, q
Let r(m) = m**2 + 6*m - 6. Let x be r(-7). Let g(s) = 4*s + 1. Let b be g(x). Sort b, -3, 4.
-3, 4, b
Let s be 0/3*(2 - 3). Sort -0.2, s, 1/4.
-0.2, s, 1/4
Let v(u) = -u**2 + 5*u + 8. Let h be v(6). Let q be (1 + -1)/(-1 + h). Suppose 2*t - 7*t = q. Put t, -4, -1 in descending order.
t, -1, -4
Let n be (-8)/(-3 + -1) - -3. Sort n, -4, -1 in descending order.
n, -1, -4
Let z = 87/230 - -1/46. Sort 2/19, z, 0.08 in ascending order.
0.08, 2/19, z
Suppose b + 8 = -3*b. Suppose 22 = 4*i - u, 2*u + 19 = -0*i + 3*i. Sort -1, i, b in increasing order.
b, -1, i
Let n = 18 + -18.01. Let m = 0 + 0.01. Let q = n + m. Sort 4, 3, q in descending order.
4, 3, q
Suppose -7*p - 13 = 4*q - 2*p, 3*q + p = 4. Let k = -1 - -1. Sort -3, k, q in increasing order.
-3, k, q
Let z = -0.353 - -0.053. Sort -3, -2, z in decreasing order.
z, -2, -3
Let i be (-6)/9*(-10 - -4). Suppose 0 = -2*r + 3 + 7. Sort r, 3, i.
3, i, r
Let y = 221 + -1101/5. Let u = -3.3 - -3. Sort u, y, -1 in descending order.
y, u, -1
Let q = -9 + 4. Let t = 4 + q. Sort -4, -5, t in increasing order.
-5, -4, t
Let d = -6 + 9. Let z = -916/4041 - -2/449. Put d, z, 4 in descending order.
4, d, z
Let l = 174 + -174.4. Put -2, -0.3, l, 2 in descending order.
2, -0.3, l, -2
Let m = -2 - -6. Let i = 9.86 + -9.76. Let f be 1/((-2)/4 + -2). Sort m, f, i in descending order.
m, i, f
Let u(j) = -21*j - 173. Let x be u(-8). Suppose 14 = -i - 5*o, -3*i + 3*o + 38 + 10 = 0. Put i, x, 4 in descending order.
i, 4, x
Suppose 4*u = -2*f + 2 - 6, 18 = 3*f - 2*u. Suppose 3*t = f*v + 50, -2*t + 6*v - 5*v + 25 = 0. Suppose 0*i - t = 5*i. Sort -3, 2, i in increasing order.
-3, i, 2
Let o = 8 - 22. Let p be (-4)/o - 28/49. Sort p, -1/7, -2/11 in decreasing order.
-1/7, -2/11, p
Let z(l) = 4*l - 3. Let q be z(2). Let c = -14 - -13. Put q, 0, c in decreasing order.
q, 0, c
Let b be (-60)/(-33) - (-4)/22. Let v be 2 - 1 - (b - 1). Sort v, 3, -3 in descending order.
3, v, -3
Let w be 5/(-4) - (-15)/(-20). Put 20, 4, w in descending order.
20, 4, w
Let s(y) = -y**2 + 5*y - 2. Let w be s(3). Let z = w + -1. Let g be ((-3)/z - 0)/1. Put -1/10, g, -2 in decreasing order.
-1/10, g, -2
Let k = 0.3 - -12.7. Let x = 8 - k. Let h = -2 - 1. Put 0, h, x in decreasing order.
0, h, x
Suppose -2*c - 23 = -6*c - 5*u, -2*u = -3*c. Suppose -4*o - 4*x = -3 - 1, c*x = -2. Suppose -o*d + 2 = 5*f - 4, 2*d - 3*f - 6 = 0. Sort -4, 5, d.
-4, d, 5
Suppose 0 = -8*z + z - 0*z. Suppose -i = -3*i + k - 21, -3*i - 30 = -k. Put 5, i, z in ascending order.
i, z, 5
Let c be 2/(-4)*(0 + 0). Suppose c = 3*w - 3*r, 5*w + 6*r - 2*r - 18 = 0. Let i be (-8)/(-3) - w/3. Put -1, 4, i in decreasing order.
4, i, -1
Let g(d) = -d**3 - 7*d**2 + 9*d + 4. Let u be g(-8). Let k = u + 3. Let j(a) = -a**3 - 4*a**2 + 6*a + 5. Let y be j(-5). Sort y, 5, k in increasing order.
k, y, 5
Let m(v) = v**2 - 3*v + 3. Let f be m(2). Let y = 14 + -11. Sort f, y, 4 in increasing order.
f, y, 4
Let h = -1 - -5. Let t(m) = -m - 7. Let c be t(-5). Put 1, c, h in descending order.
h, 1, c
Suppose 7 = -3*f - 2*l, -4*f - 10 = 3*l - l. Let m be ((-60)/4)/(-3) - 3. Sort 5, f, m in decreasing order.
5, m, f
Suppose 2*u = -6*u + 16. Put 12, -1, 4, u in ascending order.
-1, u, 4, 12
Let x(m) = m**3 - m**2 + 2*m + 2. Let j be x(0). Sort j, 3, -1 in decreasing order.
3, j, -1
Let l = -5833/26 - -353777/1638. Let c = l + 57/7. Sort c, -0.4, -0.5 in increasing order.
-0.5, -0.4, c
Suppose -2*a = -4*i - 2, -i = -0 - 2. Let j(v) = -4*v + 53. Let y be j(13). Put a, 7, y in descending order.
7, a, y
Let m = 18.4 + -18. Sort -5, m, 2/9 in decreasing order.
m, 2/9, -5
Let j = -1.6 + 1.5. Let k = -2 + 1.4. Let a = k - j. Put -5, 0.3, a in decreasing order.
0.3, a, -5
Suppose -7 = -6*m + 5. Sort 4, m, -3 in descending order.
4, m, -3
Suppose 3*x + 6 = 5*f + 6*x, f - x + 2 = 0. Sort -2/9, f, -1, -0.4.
-1, -0.4, -2/9, f
Let s be 48/(-27) - 2/(-1). Sort -3, 25, s in descending order.
25, s, -3
Suppose -5*q - 5 = 0, -3*d + q = 2*d - 26. Suppose d = -4*b - b. Let j be (1/(-2))/(2/12). Sort 0, b, j.
j, b, 0
Let f(m) = -14*m - 10. Let d be f(-1). Put -1, -20, 0, d in descending order.
d, 0, -1, -20
Suppose 3*m - 4 - 5 = 0. Sort -5, 0, m, -6 in descending order.
m, 0, -5, -6
Let a = -44 - -48. Put a, 3, -5 in decreasing order.
a, 3, -5
Suppose 7 = -2*q - 2*d - 1, -q = 3*d + 12. Sort -1, -5, q in decreasing order.
q, -1, -5
Let r(y) be the third derivative of -y**6/120 + 11*y**5/60 - 3*y**4/8 - 2*y**3 + y**2. Let z be r(10). Sort -1, 4, z.
z, -1, 4
Let h = -27 - -28. Suppose 2*m - 3*m - 2*w - 5 = 0, 5*w = m - 30. Sort -5, h, m.
-5, h, m
Suppose -5 - 5 = -2*z. Suppose 33 = 18*v - 75. Put v, -5, z in decreasing order.
v, z, -5
Let m be (-17 + -7)*(-3)/2. Suppose 0 = l - 4*d - 20, 4*l - 8*d + 3*d - m = 0. Sort l, 0, -3 in increasing order.
-3, 0, l
Suppose -3*h + 3*o - 3 = 0, -4*h - o + 5 = -11. Sort h, 0, 3/4 in ascending order.
0, 3/4, h
Let d = 0.2 - 0. Put -4, 4, d in descending order.
4, d, -4
Let r = 20 - 11. Suppose -4*h + 5*k = -r*h - 15, -4*h = k. Sort 5, -2, h.
-2, h, 5
Let u = -32 - -31. Put -6, u, 3 in descending order.
3, u, -6
Let d be (-36)/15 + 3/(-5). Sort 0.4, d, 8 in d