 Put r, 2, c in decreasing order.
2, c, r
Let b = -25 + 31. Sort -3/4, b, -4 in decreasing order.
b, -3/4, -4
Suppose 3*m - 20 = -2*x, 0 = -6*x + 4*x + 8. Let i be (-2 - 6/(-4))*0. Put i, -2, m in descending order.
m, i, -2
Suppose -7 = -5*x - 2*q - 2, q = -2*x + 2. Put 4, -1, x, 2 in descending order.
4, 2, x, -1
Suppose 4*d - m + 3*m = 18, d - 6 = -2*m. Let o = -100 + 96. Sort o, d, 0 in descending order.
d, 0, o
Let x(j) = -j**2 + 4. Let c be x(3). Let b = -0.03 + 2.03. Let m = -1 - -1. Put m, c, b in decreasing order.
b, m, c
Let c = 32 + -15. Let o = c - 17.2. Sort -0.1, o, 0 in decreasing order.
0, -0.1, o
Suppose 4*x = 2*y - 6, 6*x + 8 = -2*y + 3*x. Let j be y/3 - (-21)/9. Suppose 3*g - j*g = -1. Put 2, 4/7, g in decreasing order.
2, 4/7, g
Let v(x) = -3*x + 1. Let j be v(-1). Let o be 1/((-5)/(4/(-4))). Sort -0.5, j, o in descending order.
j, o, -0.5
Let m be 5 - (20/8 + 1). Put -1, m, 0.4 in descending order.
m, 0.4, -1
Let m = -97.6 - -96. Sort -0.5, m, -0.4 in descending order.
-0.4, -0.5, m
Let r = 42.3 - 45. Let j = 0.7 + r. Let n = 8 - 12. Put n, -0.1, j in descending order.
-0.1, j, n
Let x(t) = t**3 - 11*t**2 + 10*t - 4. Let n be x(10). Sort 0, n, 5.
n, 0, 5
Let f(t) = t**2 + 3*t + 1. Let s be f(-3). Let z be 2/6*-6*6/12. Put s, z, -9 in decreasing order.
s, z, -9
Let g = -132.8 + 133. Sort -5/2, 2, g, -0.2 in decreasing order.
2, g, -0.2, -5/2
Suppose l = 4*l - 6. Suppose l*h + 0*h - 2 = 0. Sort -2, h, 3 in ascending order.
-2, h, 3
Suppose 0 = 3*j - 11*j - 40. Sort -2, -10, j in descending order.
-2, j, -10
Let o = 8 + -5. Put 5, 1, o in decreasing order.
5, o, 1
Suppose -3*w - 1 = -4. Suppose 5*r + 6 = 3*b, w - 11 = r - 5*b. Suppose 2*d + 3 = -3. Sort -2, r, d in ascending order.
d, -2, r
Let k = -5 + 4. Let o = 4 - k. Put 0.4, -1, o in descending order.
o, 0.4, -1
Suppose -2*r = -7 - 5. Sort r, 5, -5 in increasing order.
-5, 5, r
Let p = 0.43 + 0.07. Put 0.12, -4/5, p in descending order.
p, 0.12, -4/5
Let u = 191 - 187. Sort -0.2, 1/3, u, -3.
-3, -0.2, 1/3, u
Let b = 63 + -69. Sort 3, -2, -1, b in descending order.
3, -1, -2, b
Let f be ((-16)/(-10))/((-6)/30). Let u be f/6 + (1 - -1). Let v = 12 - 7. Put 1, v, u in decreasing order.
v, 1, u
Suppose n - 2 = -t, 0*n - 2*n - 8 = -4*t. Sort 1, 12, 3, n.
n, 1, 3, 12
Suppose 0*u - 5*u = 135. Let o be ((-4)/(-3))/((-66)/u). Put -5, o, 0.3 in decreasing order.
o, 0.3, -5
Suppose 0*i - 2*i - 3*q = -18, 4*q = 16. Suppose -i*b + 2*b = 0. Suppose -5*r = -b*r. Put -2, 4, r in descending order.
4, r, -2
Let o(v) be the first derivative of -v**2/2 - 3. Let x be o(5). Sort x, 3, -4 in decreasing order.
3, -4, x
Let t be 4/6*(15 - 12). Let b(z) = -z**3 + 4*z**2 - 4*z + 3. Let f be b(t). Sort f, -5, 4.
-5, f, 4
Let i be 46/(-10) + 5 + 204/15. Sort i, -5, 4, -1/2 in decreasing order.
i, 4, -1/2, -5
Let m be (1/1 + -1)/(-1). Let j = -14 + 13. Sort j, 1, m in increasing order.
j, m, 1
Suppose 5*s + 19 = -n, 3*n - 7 = -3*s - 28. Let c be n/12 + 2/(-3). Let d = 19 - 17. Sort -0.4, d, c in descending order.
d, -0.4, c
Let z = 645/4 - 161. Put z, -2/11, 0.1 in ascending order.
-2/11, 0.1, z
Let a = 6 + 6. Sort a, -4, -3 in descending order.
a, -3, -4
Suppose -y = 4*y + 10. Put 2, y, -4 in decreasing order.
2, y, -4
Let j = 0.123 + -0.023. Put 2/7, 0, j, -2 in increasing order.
-2, 0, j, 2/7
Let l = 29 + -32. Put 0.5, l, -0.5 in ascending order.
l, -0.5, 0.5
Let g = -52 + 74. Sort 4, g, 0.1 in decreasing order.
g, 4, 0.1
Suppose 5*n + 3 = 6*n. Suppose -n*k = -3*i - 15, 5*k - i = i + 22. Let j be (-46)/8 + 1/(-4). Sort 5, j, k in decreasing order.
5, k, j
Let k be 2*3/(-2)*1. Let v be 6/(-9)*-3 - -6. Let p = v - 5. Put 4, k, p in descending order.
4, p, k
Let l(r) be the third derivative of r**5/60 + r**4/24 - 3*r**2. Let d be l(-1). Put 1, d, -2 in decreasing order.
1, d, -2
Let y = 2.4 - 0.9. Let w = y - 1.2. Sort -1, w, -5.
-5, -1, w
Let i(q) = -q**3 + 9*q**2 - 2*q. Let d be i(8). Let h be d/(-18)*(-3)/(-2). Let j(s) = -s. Let u be j(-1). Sort -5, h, u in increasing order.
-5, h, u
Suppose -j - 3 = 5*d - 6, 0 = 2*d. Let i = -0.06 - 0.24. Let q = 248 + -997/4. Put i, j, q in ascending order.
q, i, j
Let z = 55/3 - 18. Let o = 0.21 - -7.79. Let i = o - 4. Sort i, z, 0.2.
0.2, z, i
Suppose 14 = -3*d - 31. Sort d, -3, 0 in ascending order.
d, -3, 0
Let z(w) = -w**3 + 4*w + 3. Let d be z(-2). Suppose 5*s + 1 = -4. Sort s, 0, d.
s, 0, d
Suppose 3*z + 52 = 16*z. Let c be (-2)/((-1)/2*-1). Put 0, c, z in ascending order.
c, 0, z
Let v(j) = 2*j**2 - 18*j + 15. Let z be v(8). Put z, 4, 2, 11 in ascending order.
z, 2, 4, 11
Let t = 18768 - 38417/2. Let z = 8831/20 + t. Let u = 1/5 + z. Sort -0.4, -5, u in increasing order.
-5, -0.4, u
Let v = -1.4 - -1.8. Let x = v + 0. Put x, -0.2, 2/7 in increasing order.
-0.2, 2/7, x
Suppose 3*f = -4*n + 17, -3*f + 4*n + n = 1. Suppose 2*l - d - 2*d + 8 = 0, -4*d = 2*l + 8. Sort 5, l, f.
l, f, 5
Let l(d) = d**3 - 5*d**2 - 6*d + 3. Let m be l(6). Suppose m*n = c - 1, -6*n + 3*n - 7 = 2*c. Sort -3, n, 0 in increasing order.
-3, n, 0
Suppose -7*w = -4*w + 15. Sort w, -4, 3 in increasing order.
w, -4, 3
Let i be 4/(-39)*(-6)/4. Let u = 0.87 - -0.13. Put u, -3, i in descending order.
u, i, -3
Let a = 6 - -11. Put 4, -5, a in descending order.
a, 4, -5
Let m = -2 + -8. Let k be m/(-4*1 + 2). Put k, -5, 6 in ascending order.
-5, k, 6
Let i = 0.02 - 5.02. Let a = -149/56 + 19/8. Sort a, i, 2 in increasing order.
i, a, 2
Let g = 2 - 3. Let s(z) = 5*z**3 + z**2 + z. Let p be s(-1). Let j be p*1/(20/8). Put 2, j, g in descending order.
2, g, j
Let z(g) = 2*g + 8 + 2*g - 2*g - g. Let o be z(-7). Let i = 3 + 0. Put -5, i, o in descending order.
i, o, -5
Let k be -1 - (3 + -3) - -1. Sort k, -1, 3 in increasing order.
-1, k, 3
Let f be (-8)/(-2) + -3*35/30. Sort -12, f, -1/3 in decreasing order.
f, -1/3, -12
Let h = 0 + 5. Let t = 136 - 137. Sort h, t, -3 in descending order.
h, t, -3
Let s = -10 - -8. Sort s, -4, 5 in decreasing order.
5, s, -4
Suppose -3*n - 1 = -o, -5*o - 4*n + 14 + 29 = 0. Let i = o - 4. Sort -5, 4, i in decreasing order.
4, i, -5
Let m = 5 - 3. Put 4, -14, m in descending order.
4, m, -14
Suppose 4*l - 5 = 7. Put -0.1, -1, l, 2/13 in decreasing order.
l, 2/13, -0.1, -1
Let w be (-3)/(-2)*(-46)/6. Let z = w + 12. Sort 2/3, z, -5.
-5, z, 2/3
Suppose -2*y + 1 = -1. Suppose u + 5*n - y = 0, -n + 22 = -5*u + 1. Suppose -5 = -2*o - m - 12, 4*m + 12 = 0. Sort u, 4, o in decreasing order.
4, o, u
Let q be 16/(-9) - 12/54. Suppose -r + 0*r + 3 = 0. Suppose -4*a - 1 = -2*l - 3*l, 3*l + r*a + 21 = 0. Sort l, q, 4.
l, q, 4
Suppose 2*v + 4 = -4*d, -3*v = 5*d - 0 + 4. Let m(k) = -k**2 - 3. Let j be m(0). Put d, 5, j in ascending order.
j, d, 5
Let b(t) = -8*t**3 + t**2 + t - 1. Let h be b(1). Let q(k) = k + 3. Let d be q(h). Sort -1, -2, d.
d, -2, -1
Let g = -3 - -5. Sort -4, g, 1.
-4, 1, g
Let b(z) = 2*z**3 - 9*z**2 + 6*z + 7. Let x(j) = -3*j**3 + 17*j**2 - 11*j - 14. Let y(f) = -5*b(f) - 3*x(f). Let w be y(-6). Sort -3, 5, w.
w, -3, 5
Let m(g) = -g**3 - 8*g**2 - 8*g - 6. Let r be m(-7). Let o be r/2*(-6 + 4). Sort -5, o, 2 in increasing order.
-5, o, 2
Let q = 95 + -96. Let y(l) = l**2 + l + 1. Let v be y(-2). Sort q, -4, v in increasing order.
-4, q, v
Let a be (-52)/(-20) - 3/5. Let d = 1.5 - 1. Put d, 6, a in ascending order.
d, a, 6
Let x be -7*(57/21 - 1). Suppose 12 = 3*f, 3*b = 4*b - f - 3. Let o = x + b. Put -2, o, -1 in ascending order.
o, -2, -1
Let o = 0.2772 - -0.0228. Let g be -1 - (1 - 10/8). Put o, g, 0.5 in descending order.
0.5, o, g
Let q = 97 - 56. Suppose -2*t + q = -9. Let h be (1/4)/(t/20). Sort -0.5, h, -1 in decreasing order.
h, -0.5, -1
Let i = -7 + 12. Suppose 0 = 2*v - 3*v - 3. Let z be v + (-2)/4*4. Put z, i, -4 in increasing order.
z, -4, i
Let w = 2.9 + 1.1. Sort w, -2/23, -2 in decreasing order.
w, -2/23, -2
Suppose 4*d = 2 - 6. Suppose 5*i - 2*i = 3*b, 4*i - 2*b - 4 = 0. Let q be d*6 - i/(-1). Put q, 1, 2 in ascending order.
q, 1, 2
Let k = -2 + -1. Suppose 3*q - 3 = 3*i, -5*q - 2*i - 2 = -0*i. Let g be (1 - (-2)/2)*2. Sort g, k, q in descending order.
g, q, k
Suppose -y = 3*p + 15, 3*y - 2*p + 0 = 10. Sort y, 8, -1.
-1, y, 8
Let p = -0.13 + 1.13. Let b = 9.06 - 9. Put p, -2, b in descending order.
p, b, -2
Let h = -4 - -7. Put -1, h, 0.0