 - 0*b - 5*m, v*b - 3*m + 2 = 0. Sort -1/2, d, b in ascending order.
-1/2, d, b
Let u(m) = -8*m - 44. Let f be u(-6). Let r(z) = z**3 - 3*z**2 - 6*z + 3. Let t be r(4). Put 2, t, f in descending order.
f, 2, t
Let x = 6 - 10. Suppose 0*m + 4*m + 20 = 0. Let i = -5 - -2. Sort i, m, x.
m, x, i
Suppose 3*a - 1 + 4 = 0. Let o(x) = 3*x - 1. Let m be o(a). Put m, 2, 0 in increasing order.
m, 0, 2
Let w = 30 - 18. Suppose 0*j - 2*j = c - 9, -j = 3*c - 22. Let a = c - w. Put a, 1, 4 in ascending order.
a, 1, 4
Let i(w) = -3*w - 4. Let b be i(-2). Let z be 15*(14/(-6) + b). Sort -2, z, -1 in decreasing order.
-1, -2, z
Suppose -s + 30 = 5*s. Sort 1/11, -2, s in decreasing order.
s, 1/11, -2
Let q = 4.94 + -5. Let x = -0.24 + q. Let d = 1.9 - -3.1. Sort 1/2, x, d in descending order.
d, 1/2, x
Let b = -47.4 + 47. Put -0.5, b, 0.4 in increasing order.
-0.5, b, 0.4
Let n = -4.5 + 0.5. Let c be (10/(-8))/((-1)/4). Let d = -124 + 128. Sort c, n, d in decreasing order.
c, d, n
Let t = 14 - 13. Put 4, 3, t, -0.3 in descending order.
4, 3, t, -0.3
Let t(v) = -v + 20. Let g be t(0). Let j(a) = a - 5. Let h be j(8). Suppose -2*r - h*q + 17 = -3*r, -2*q = -5*r - g. Put r, -3, 0 in increasing order.
-3, r, 0
Suppose 0 = -3*g - g. Suppose p - 20 = 1. Suppose 0*s - 5*n = s - 5, -3*s - p = -3*n. Sort -4, g, s in increasing order.
s, -4, g
Let f(u) = -2*u - 22. Let j be f(-12). Let o(i) = i - 4. Let c be o(0). Sort c, 5, j in descending order.
5, j, c
Let f = 10 - 9. Let b be 20*(-2)/5*-3. Suppose i - b = 4*l - 4*i, -i = -4. Sort f, l, 4 in decreasing order.
4, f, l
Suppose 7*p - 9*p = -8. Sort -5, -3, -4, p.
-5, -4, -3, p
Let v = 0.25 - 0.35. Let g = 0 + -0.5. Sort g, v, 0.2 in ascending order.
g, v, 0.2
Let v = 3/10 + -1/2. Let r be (2 - 1)/(6/8). Let t = 6.9 - 7. Sort r, v, t in ascending order.
v, t, r
Let k(y) = -3*y**3 - 2*y**2 + 2*y - 1. Let r be k(1). Sort 0, 1, r.
r, 0, 1
Let n(k) = -2*k + 4. Let s be n(3). Let u = -3.7 - -0.7. Let y = u - -3.3. Sort y, -1, s in increasing order.
s, -1, y
Let v be (4 + -4)/6 - 2/(-4). Sort -3, -0.6, v in increasing order.
-3, -0.6, v
Suppose -n + 4*n - 39 = 0. Let k = n + -9. Put 5, 3, k in decreasing order.
5, k, 3
Suppose 5*t + 37 = 3*v, t + 2*v + 3*v - 15 = 0. Put 0, 2/7, t, 1/6 in decreasing order.
2/7, 1/6, 0, t
Let b be 2 + -2*1 + 5. Let o = 9 - b. Sort 2, -0.2, o in descending order.
o, 2, -0.2
Let o be 1 - 1/(42/46). Let c = 8 + -7. Put 5, c, o in increasing order.
o, c, 5
Let w = 0.65 - 0.15. Sort w, -3, -1/2 in descending order.
w, -1/2, -3
Let s = 131/2 + -67. Put 7, 0.2, s in increasing order.
s, 0.2, 7
Let r = 144 + -147. Let d be (-4)/10 + (-7)/(-5). Put d, -1, r in ascending order.
r, -1, d
Suppose 5*j + 2 = -3. Let p be ((-91)/273)/(2/30). Sort p, 5, j.
p, j, 5
Let c = -6 + 2. Let p = -4.2 - c. Let d = p - -2.2. Sort -2, d, -3 in descending order.
d, -2, -3
Suppose -q + 4*l + 4 = -11, 25 = -5*l. Let y = -10/11 + 52/33. Put y, q, 0.5 in descending order.
y, 0.5, q
Let i = 0.9 + 0.1. Let l = 1.2 - i. Let z = 0.3 + l. Sort -0.2, 1/9, z in descending order.
z, 1/9, -0.2
Suppose -4*a + 2*a = -4. Let d(s) = -s - 5. Let c be (-38)/6 - (-1)/3. Let p be d(c). Put a, p, -2 in descending order.
a, p, -2
Let v(m) = -m + 1. Let i be v(-1). Let u(p) = -p**2 + 3*p + 0 + 2*p - 3. Let o be u(i). Put 2, 1, o in decreasing order.
o, 2, 1
Let q(c) = c + 2. Let a be q(-2). Let d be 3*-1 + 0 + a. Sort d, 1, -5.
-5, d, 1
Let d(t) = -t**2 - 16*t - 19. Suppose 3*b = -52 + 7. Let j be d(b). Put j, -2, 5 in ascending order.
j, -2, 5
Let l(q) = 1 + 0*q + 11*q + 4*q - 2*q - q**2. Let d be l(13). Sort 1/4, d, -0.4.
-0.4, 1/4, d
Suppose 0 = 5*t - 4 - 1. Suppose -3*y - 55 = 2*y. Let g be (-4)/2 - y/7. Put t, 5/3, g in descending order.
5/3, t, g
Suppose 3*z - 1 = 2*d, -5*d + 2*z = -4*d. Suppose -q = 5*i - 4*i - 6, 2*q + 3 = i. Let w be q + (2 - (-2 - -5)). Sort w, 4, d in decreasing order.
4, w, d
Let y = -2.05 - -2. Let z = y - -4.05. Put -0.2, z, -1/4 in increasing order.
-1/4, -0.2, z
Suppose -4*n - 8 = -v, -n + 0*v = -3*v + 13. Put n, 5, -3 in ascending order.
-3, n, 5
Let i = 2/105 + 31/210. Put 3/2, 0.5, 0, i in decreasing order.
3/2, 0.5, i, 0
Let g(c) = 2*c**2 + 4*c + 3. Let n be -1 - (3 - (-1 - -3)). Let t be g(n). Put t, -5, -1 in decreasing order.
t, -1, -5
Let g = -144 + 142. Put 1, g, 5 in ascending order.
g, 1, 5
Let u(b) = -b**3 - 8*b**2 + 9*b + 4. Let o be u(-9). Suppose 0 = 2*v - 6 - 6. Let k = -13 - -8. Sort k, v, o in ascending order.
k, o, v
Let y = 147 + -143. Sort y, -1, -4/15 in descending order.
y, -4/15, -1
Let t = -1.3 - -2. Let m = -0.9 + t. Let c = 1 - 0.9. Sort c, m, -0.1 in increasing order.
m, -0.1, c
Let n be ((-9)/(-21))/(9/6). Sort 0.2, n, -0.3, 2/17 in increasing order.
-0.3, 2/17, 0.2, n
Let p = -44 + 39. Put 2, -1, p in decreasing order.
2, -1, p
Suppose -3*i = -3*q + 9, 3*q - 5*i - 3 = 2. Let o = -1 - -3. Suppose u + q = -3*c, -5*u + o*c - c - 25 = 0. Sort u, 4, 1 in ascending order.
u, 1, 4
Suppose 3*h - 4*m = -2*m + 2, -22 = 3*h + 4*m. Put h, 2, -3 in descending order.
2, h, -3
Let h = -0.05 - -1.95. Let y = h + -2. Let z = -1562/3 + 521. Sort 2/3, z, y in ascending order.
y, z, 2/3
Let g = 21.1 + -21. Sort g, 5, 2/9.
g, 2/9, 5
Let d = -0.8 + 0.6. Sort d, 4, 2/9, 5.
d, 2/9, 4, 5
Let c = 0 - 4. Let n = c + 3. Let u = 0.9 + n. Sort u, -2/13, 3.
-2/13, u, 3
Let m = 23.2 + -20.2. Sort m, 10, 3/5 in descending order.
10, m, 3/5
Let d(u) = u**3 + 17*u**2 - u - 12. Let r be d(-17). Put -4, 4, r, 1 in ascending order.
-4, 1, 4, r
Suppose -c = 5*c. Let u be 1/(-3) - (-40)/12. Let i be 0*(-2)/4 - u. Sort c, -5, i in descending order.
c, i, -5
Let x(k) = 4 - k + 2*k + 9 - 2*k. Let m be x(10). Let f be (-6)/8 + m/(-12). Put 3, f, -3 in descending order.
3, f, -3
Suppose -2*f - 8 = -4*f. Suppose -f*r + 8 = -0*r. Suppose 0 = 2*c + r*c - 12. Sort -3, c, -2 in decreasing order.
c, -2, -3
Suppose 3*x - 6 = u - 1, 3 = 3*u. Sort 3, 7, x in ascending order.
x, 3, 7
Let l = 0 + 0.2. Let d = -282.7 - -283. Sort d, 4, l.
l, d, 4
Let g be (-182)/(-78) + 2/3. Sort -5, g, 9 in increasing order.
-5, g, 9
Suppose 0 = -5*z + 10. Suppose -l - l = z. Suppose -q - 4 = -2. Put q, l, -5 in increasing order.
-5, q, l
Let d(w) = -7*w**2 - 2*w - 1. Let r be d(-1). Let t = -7 - r. Sort t, 0, -3 in decreasing order.
0, t, -3
Let l(w) = w**3 + 7*w**2 + 2. Let y be l(-7). Suppose -n = y*d - 3*n + 4, 0 = 4*d + 5*n + 17. Put 4, 2, d in ascending order.
d, 2, 4
Let w = -16.5 - -29.2. Let v = -13 + w. Let s be (-2)/4 - (-2 + 1). Put v, s, -3/4 in ascending order.
-3/4, v, s
Let l = -0.6 - -0.2. Sort 5, -3/2, l in descending order.
5, l, -3/2
Suppose 3 = -2*f - 5. Suppose -3*b + 4 - 5 = -5*x, -3*b = -3*x - 3. Suppose -m - o + 8 = 0, m - 17 = -x*o - 2*o. Put f, -3, m in decreasing order.
m, -3, f
Let v(b) = -b**2 - 8*b. Let h be v(-8). Suppose h*l - 2*l = 6. Put l, -1, 2 in ascending order.
l, -1, 2
Suppose -50 = 3*o - 5. Let p be o/10 + 9/2. Put -4, 2, p in decreasing order.
p, 2, -4
Let o = -0.36 + -0.04. Let l = o - -0.8. Sort -0.1, 1/3, l in ascending order.
-0.1, 1/3, l
Suppose 5*p = -2*v - 20, -3*p + 0*v - 4*v = 26. Sort p, -5, 1, -1 in descending order.
1, -1, p, -5
Let q = -0.6 + 0.3. Let z be (-102)/(-24) - 2/8. Let c be 1 + (z - 2 - 1). Put c, q, 1/5 in descending order.
c, 1/5, q
Let g be ((-1)/2)/((-1)/10). Let r be (-1)/10 - (-585)/(-150). Put -1, r, g in descending order.
g, -1, r
Let j = 7 + -7. Sort j, 3, 1 in descending order.
3, 1, j
Let o be (4/3)/(6/18). Sort o, 2, -5 in descending order.
o, 2, -5
Let a = 0.01 - 0.31. Let d = -12 - -12.04. Let l = d - -4.96. Sort l, 4/7, a in descending order.
l, 4/7, a
Let d = 1.3 + -0.8. Sort -5, d, -1/2 in descending order.
d, -1/2, -5
Suppose -4*u - 20 = -4. Suppose 2 = 4*q - 2. Put q, u, -1 in descending order.
q, -1, u
Let h = 0.242 - 0.042. Let b be (-1 - -2)*(-4)/10. Put -0.1, b, h in ascending order.
b, -0.1, h
Let k(u) = u**2 - 3*u + 2. Let x be k(5). Let c = x - 12. Suppose 0 = -0*q + q - 4. Sort -3, c, q.
-3, c, q
Suppose 5*f - 5 = -0. Let i be (-5 - 0) + f + -1. Suppose -3*c - 15 = -x, -2*x + 23 = 3*x - 2*c. Sort x, -1, i in descending order.
x, -1, i
Let x(i) = -i**3 - i. Let r be x(0). Let t = -6 - -8. Sort r, t, -4.
-4, r, t
Let q = -1 + 2. Suppose -b + 1 = -g + 3, -22 = -g 