. Put m, 4, c in ascending order.
m, 4, c
Suppose m - 4*b - 1 = 4*m, -m - 2*b = 1. Suppose -5*k = 11 - m. Let x be -2 + 0 - 4 - (-7 - -5). Sort x, 4, k.
x, k, 4
Let p = 24.62 - 25. Let d = -0.02 + p. Put 5, d, -0.3 in decreasing order.
5, -0.3, d
Let i be (0 + 1)/(1*-1). Let v = -5 + 1. Sort i, -5, v in increasing order.
-5, v, i
Let a(b) = b**3 - 4*b**2 - 2*b + 3. Let p be a(4). Sort p, 4, 8 in decreasing order.
8, 4, p
Let z(r) = -r + 3. Let d = -54 + 75. Suppose 4*u = -5 + d. Let q be z(u). Sort q, -2, 4 in descending order.
4, q, -2
Suppose d + 61 = -4*a, 3*a - 2*d + 14 + 40 = 0. Let z = a - -11. Let c = -7 - -9. Put z, 5, c in ascending order.
z, c, 5
Let v(a) = a**2 + 10*a + 1. Let g be v(-10). Put -1, g, -4 in descending order.
g, -1, -4
Let m(i) = -i + 2. Let k be m(6). Let n be (9/12)/((-1)/k). Suppose 0 = -5*q + 2*q + 2*s + 6, -5*q - 5*s - 15 = 0. Put -2, n, q in descending order.
n, q, -2
Let v(j) = j**2 - 11*j - 209. Let s be v(-10). Suppose -2 = -l - 4. Sort l, s, -0.5 in decreasing order.
s, -0.5, l
Suppose 0*v + 2 = v. Let f = v + -5. Put 2, 1, f in decreasing order.
2, 1, f
Suppose -6*q + q + 5 = 0. Suppose o = 3 + q. Suppose -b + 5 = o*s, -3*s + 2 = -3*b + 2*s. Put 0, 3, b in descending order.
3, b, 0
Let h = -6.22 - -0.62. Let o = 6 + h. Sort 0, 1/5, o.
0, 1/5, o
Let y = -7 + 7.6. Let m = y + -1. Sort m, -2/9, 0 in descending order.
0, -2/9, m
Suppose 2*n = 5*k - 1 + 23, k - 3*n + 7 = 0. Sort 1, 4, k.
k, 1, 4
Let q be 3 + 0 - (-4 - -2). Suppose -m = 15 - 3. Let a be m/(-20) - (-17)/5. Put a, 0, q in descending order.
q, a, 0
Let j be (3/9)/(2/12). Suppose -2*z + 7*s - 2*s = -33, -2*s - 6 = z. Suppose 16 = z*m + 4*y, 2*m = y + 2*y - j. Put 4, m, 0.4 in ascending order.
0.4, m, 4
Let n be (-4 + 1)*(2 - 1). Put -1, n, -20, 2 in descending order.
2, -1, n, -20
Suppose 2*j - 22 = -3*k, -5*j + 0*k = -2*k - 17. Let u = 9 - j. Put u, -2, 5 in decreasing order.
5, u, -2
Let i = 240 - 236. Let g be -2 - (2 - 0)/2. Sort 0, g, i in increasing order.
g, 0, i
Let h(g) = -5*g**2 + 3*g - 1. Let m be h(2). Let s be ((-5)/(m/12))/(-1). Put -3, s, -5 in ascending order.
-5, s, -3
Suppose -3*z = 2*z. Suppose 2*y - 1 - 1 = 0. Sort 3, y, z in descending order.
3, y, z
Let y(p) = 3*p. Let g be y(5). Suppose 5*i - 10 = g. Suppose -8*o = -4*o. Sort o, 4, i in ascending order.
o, 4, i
Suppose 5*x - 4*q = 0, -2*x - x + 3 = -3*q. Sort 1, x, 3, 5 in decreasing order.
5, 3, 1, x
Let n = -0.03 - 3.97. Let h = n - 0. Let j = 5 + -3. Put j, 0.3, h in ascending order.
h, 0.3, j
Suppose -n - 9 = -2*z, 5*z - n + 15 = -6*n. Suppose 0 = z*w - 6*w + v + 3, -3*w = -5*v + 19. Suppose -2*d - 10 = -w. Put -1, d, -2 in decreasing order.
-1, -2, d
Let m = -0.3 - -0.6. Let x = -0.06 - -0.06. Sort m, x, -0.4 in descending order.
m, x, -0.4
Suppose 2*r = 7*r. Suppose 0 = -2*o - r*o. Let s be (o/2)/1 - 2. Put 1, 5, s in descending order.
5, 1, s
Let t = -5 - -10. Let j = 27 - 26.5. Sort 1, j, t in descending order.
t, 1, j
Suppose -5*n + 2*w + 16 = -2*w, 3*w = 5*n - 12. Suppose -3*o - 4*b = -5 + 1, 6 = o - b. Suppose -2*m + o*m = -4. Put -1, n, m in descending order.
n, -1, m
Let r = 0 + -1. Let a be -3 + (-1)/r + 3. Let x = 10 + -5. Put x, 4, a in descending order.
x, 4, a
Let j = 11 + -20. Let m = j - -7. Let i = 2 - 3. Sort -0.4, m, i in ascending order.
m, i, -0.4
Let y = -0.1 + 0.1. Let f = -7 - -6.6. Let x = -2.6 + f. Sort 1/4, y, x in ascending order.
x, y, 1/4
Let p = 0.53 + 20.47. Let i = p - 16. Sort -3/4, i, 2/11 in decreasing order.
i, 2/11, -3/4
Let y = 0.2 - 3.2. Let w = 53.7 - 54. Sort -0.4, y, w in descending order.
w, -0.4, y
Let t = 0.9 - 0.95. Sort -1/5, 0.3, t in descending order.
0.3, t, -1/5
Let h be (0 - 24)/3 - -3. Let j(u) = u**2 + 5*u + 3. Let y be j(h). Sort 0, -3, y in descending order.
y, 0, -3
Let y be ((-15)/6 - -3)*22. Suppose y - 31 = 4*r. Put 0.4, 6/5, r in descending order.
6/5, 0.4, r
Suppose 3*d + c = 23, 2*d - 3*d = 3*c - 13. Let u be 5/(-50)*4*(9 - -1). Sort 3, u, d in decreasing order.
d, 3, u
Let r = 99.9 - 96. Let y = r - 4. Let o = -0.3 - y. Put o, -0.4, 0.1 in descending order.
0.1, o, -0.4
Suppose -8 = c + c. Let f be (3/(-3))/((-2)/(-14)). Let v = f - c. Sort -1/3, v, -0.2 in decreasing order.
-0.2, -1/3, v
Let k(p) = p - 7. Let w be k(3). Suppose 4*o - 11 - 37 = 0. Suppose -6*d - o = -c - d, -4 = -4*c - 2*d. Sort w, -3, c in descending order.
c, -3, w
Let x = 61 - 66. Sort 36, -2, x in increasing order.
x, -2, 36
Let p(t) = t**2 + 12*t - 10. Let r be p(-13). Sort -3, 5, 14, r in increasing order.
-3, r, 5, 14
Let k(b) = -b**3 + 4*b**2 + 5*b - 10. Let o be k(4). Sort -5, -2, o, -1 in descending order.
o, -1, -2, -5
Let m = 1 - 6. Suppose -3*g = g - 16. Let j be (2 - g)*-2 - 8. Sort m, 2, j in descending order.
2, j, m
Let g = 1 + -3. Sort g, 5, -5 in descending order.
5, g, -5
Suppose -8*y = -11*y. Suppose 4*t + 3 + 13 = y. Put t, 5, -0.2 in descending order.
5, -0.2, t
Suppose -4*v + 26 = 4*n - 2*v, v = -4*n + 27. Sort n, -2, 1.
-2, 1, n
Suppose 5*p = p - 28. Let j = 11 + p. Sort 2, -3, j in ascending order.
-3, 2, j
Let c = -152 + 153. Let r = 1 + -1. Sort c, 2, r in descending order.
2, c, r
Let j = -0.01 + 1.01. Let x = 2.9 - 3. Sort x, 2/13, j.
x, 2/13, j
Let t = -0.1 + 0.1. Let k = -0.2 + t. Let r = -5 + 2. Sort r, k, -2/5.
r, -2/5, k
Let m be 2 + (5 + -3 - 9). Let s = 4 - 1. Put 0, m, s in increasing order.
m, 0, s
Let p(b) = -b - 2. Let y be p(0). Suppose 4*d + 5 = 3*d. Put d, y, 0 in ascending order.
d, y, 0
Let q be (-4)/(16/3) + (-3 - -3). Put -2, q, 31, -0.3 in descending order.
31, -0.3, q, -2
Let o = -16 + 18. Suppose o*a = -1 - 5. Put 3, -1, a in increasing order.
a, -1, 3
Let a(y) = -y**3 - 9*y**2 + 10*y + 1. Let c be a(-10). Sort 2, -3, c in descending order.
2, c, -3
Let q = -0.6 + 0.5. Let m = -7.3 - -7. Let g = q - m. Sort 2/7, -2/7, g.
-2/7, g, 2/7
Let i = 90 - 90.15. Put i, -4/7, -2 in decreasing order.
i, -4/7, -2
Suppose 0 = 2*x - g - 6, -2*x + 3*x - g = 2. Sort -1, -12, x in descending order.
x, -1, -12
Suppose 125*k - 104 = 129*k. Sort 4, 0, k in decreasing order.
4, 0, k
Suppose j = 3*j - 10. Let p = 6 - j. Put 0, p, 4 in descending order.
4, p, 0
Suppose -4*r + r - 36 = 0. Let a = 20 + r. Suppose g - q = 2*q + 7, a = g - 4*q. Put 2, g, 5 in decreasing order.
5, g, 2
Let i = 19 - 15. Sort i, 3, 0 in decreasing order.
i, 3, 0
Let j = -1 + 5. Suppose 8 - 4 = -j*p. Put p, -5, 1 in decreasing order.
1, p, -5
Let y(o) = o**2 - o - 1. Suppose 4*h - 4 + 12 = 0. Let q be y(h). Let m be (-9)/12 + 2 - 1. Put m, q, -0.4 in ascending order.
-0.4, m, q
Let k(d) = -d**2 - 1. Let n be k(-2). Sort -2, 0, n in ascending order.
n, -2, 0
Suppose 3*v + 2*v - 2*m = 0, 0 = -4*v - 3*m. Put v, 2, -5 in ascending order.
-5, v, 2
Let v be -9 + 3 + (0 - -3). Let d = 0.4 - 0. Sort 3, d, v in decreasing order.
3, d, v
Let n(m) = -2*m + 0*m - 3 + 1 + 3 + 21*m**2. Let x be n(1). Suppose x = 4*f + 6*i - i, f = -5*i + 5. Put 0.3, -2/11, f in increasing order.
-2/11, 0.3, f
Suppose q = 3*q - 8. Let f(z) = -z**2 - 2*z + 4. Let a be f(-3). Sort q, 3, a in decreasing order.
q, 3, a
Let u(m) = m**3 - 13*m**2 + 20*m + 1. Let x be u(2). Let t = 1.2 + 3.8. Sort t, x, 3/5 in increasing order.
x, 3/5, t
Let p = 1.3 + -1. Let g = 0.2 + p. Let l = -0.269 + 0.069. Sort l, -4, g.
-4, l, g
Suppose -5*m - 3*a - 22 = 0, 0*m + 3*a + 16 = -2*m. Let z be (-5 - -3)*1/m. Put 2, -5, z in decreasing order.
2, z, -5
Let j(s) = -2*s**2 + 3*s + 1. Let d(m) = 3*m**2 - 4*m - 1. Let h(l) = -3*d(l) - 4*j(l). Let k be h(0). Sort k, -2, -4 in increasing order.
-4, -2, k
Let k be (0/2)/(6/(-2)). Sort k, -7, -3 in decreasing order.
k, -3, -7
Let p(y) = y**3 - y**2 - y. Let j be p(-1). Suppose -16 + 1 = -3*q. Sort q, j, 1 in ascending order.
j, 1, q
Let t(l) = -l**3 - 10*l**2 - 22*l + 7. Let x be t(-6). Sort 3, -8, x, -1.
-8, x, -1, 3
Let z = -118 + 113. Put -2, -61, z in descending order.
-2, z, -61
Let b = 25/4 - 167/28. Suppose -3*i = -0 + 6. Put b, 0.5, i in decreasing order.
0.5, b, i
Let t be 16 + -17 - (-2 + 1). Sort 2, -5, t.
-5, t, 2
Let d = -144 + 143. Let a(v) = v**2 + 1. Let q be a(1). Let o be -4 + (q + 0)*1. Sort o, 1, d in decreasing order.
1, d, o
Let z = -29 + 113/4. Sort 5, -0.5, z.
z, -0.5, 5
Let p = -7.6 - -8. Sort p, 4, -3 in descending order.
