5*b. Put -2, 1, v in descending order.
1, -2, v
Let c = -0.82 - -0.6. Let p = 0.32 + c. Sort -12, p, -2/17 in ascending order.
-12, -2/17, p
Let p = -5 - -6. Sort 3, p, 2 in decreasing order.
3, 2, p
Let h = -7 - -5. Let m be 3 - (h - 201/(-39)). Let f = 13 + -13.5. Sort f, 6/7, m.
f, m, 6/7
Suppose d + 2 = -1. Put d, -5, -4 in increasing order.
-5, -4, d
Let t = 0.02 + 3.98. Let u = 5 + -1. Let q be 2 - (144/15)/u. Sort 2, q, t.
q, 2, t
Suppose 4*q = 2*q - 2. Let m = 2.9 - 2.7. Put m, 0, q in increasing order.
q, 0, m
Let w be (0/(3 - 6))/(-2). Suppose v = -2 - w. Put 2, v, 1 in ascending order.
v, 1, 2
Suppose 0 = -l + 11 - 15. Suppose 0 = -3*k + 5 - 2. Sort k, 3, l in descending order.
3, k, l
Suppose -3*i = -5*b + 7*b + 4, 4*i + 5*b - 4 = 0. Sort 8, i, -1, 0 in increasing order.
i, -1, 0, 8
Suppose 3*h = -2*b + 13, 4*h - b - 11 = 2*h. Suppose 0 = -2*v + 1 - 3. Put h, v, 1 in descending order.
h, 1, v
Let c be -2 + 2/(-1) - 0. Sort c, 0, -15 in decreasing order.
0, c, -15
Suppose -15 = 5*w - 3*a, 4*a + 9 = -3*w + 8*a. Let l be (-7)/2 + 2/(-4). Suppose -3*y + 13 = 2*o, 6 = y + 1. Put w, l, o in descending order.
o, w, l
Let p = 13 - 12.6. Sort p, 0.1, 5 in descending order.
5, p, 0.1
Let x = 5 + -10. Let t be ((-18)/(-15))/((-1)/(-5)). Suppose -t*v + v = 5. Put 3, x, v in descending order.
3, v, x
Let z = 0.1 - 1.4. Let d = z + -2.7. Sort 3, 2, d.
d, 2, 3
Let q = 3 + -4. Let j = 0 + 2. Put q, j, -2 in descending order.
j, q, -2
Let x = 51 - 71. Sort 1, x, 0.4 in descending order.
1, 0.4, x
Let q = 56 + -37. Sort q, 0, 3.
0, 3, q
Let o(l) = -l**2 - 6*l + 2. Let x be o(-6). Suppose -27 = -5*r + t, 4*r - t = x*r + 12. Sort -5, 4, r.
-5, 4, r
Let j = -1 + 6. Let x = -10 - -2. Let k = x + j. Put 2, k, 1 in ascending order.
k, 1, 2
Suppose 22 = -4*v - 2*w, -5*v + 5*w - 5 = -0*v. Sort v, 5, 4/3.
v, 4/3, 5
Let y be (24/(-9))/((-1)/(-3)). Let p = 4 + y. Let t = 0.6 + 1.4. Sort p, 3, t in increasing order.
p, t, 3
Let f = 5.5 + -2.6. Let i = 3 - f. Let j = -8 + 13. Sort j, i, 1/4 in increasing order.
i, 1/4, j
Let y = -1.6 + -14.4. Let t be (-549)/(-297) - (-5)/(-3). Put 0, y, t in decreasing order.
t, 0, y
Suppose 0 = -5*f + 4*i - 7*i + 22, -3*i - 3 = 0. Suppose 4*q - 8 = x - 0*x, -3*q + 3*x + 6 = 0. Sort q, f, 3 in descending order.
f, 3, q
Let b = -0.002 - -0.082. Sort 0.1, 0.3, b in descending order.
0.3, 0.1, b
Suppose -5*c - 2*i = 14, 2*i + 4 = -4*c - 2*i. Let t = -2 - 1. Let m = t - -1. Sort -0.2, m, c.
c, m, -0.2
Suppose -3*x = -2*x. Let s be (-2)/6 - (-16)/(-6). Sort 3, x, s in increasing order.
s, x, 3
Suppose 4*g - 11 = 1. Suppose -2*s + s + 2*k = -g, 0 = 3*s - 4*k - 5. Let b = -11 + 9. Sort 3, s, b in descending order.
3, s, b
Let i = 10 + -12. Let a be 3 + -2 - (-7)/(-5). Put 0.2, i, a in decreasing order.
0.2, a, i
Suppose -2*a - 2*h + h - 6 = 0, 0 = 3*a + 5*h + 9. Sort 8, 1, a in increasing order.
a, 1, 8
Let v = -101.5 - -102. Sort -1, -0.1, v in decreasing order.
v, -0.1, -1
Let a = 10 - 15. Let t = 1 + a. Sort 0, t, -5.
-5, t, 0
Let w = 22.2 + -22. Sort -0.2, 0, w, 5 in increasing order.
-0.2, 0, w, 5
Let y(a) = -a**3 + 5*a**2 - 3*a + 3. Let x be y(4). Let c be x/(105/18) + -2. Put -1, -1/7, c in ascending order.
-1, c, -1/7
Let u(w) be the first derivative of w**2/2 - 4*w - 1. Suppose 0 = -2*c - 2*h + 18, 5*h + 0*h - 33 = -3*c. Let n be u(c). Sort -2, -5, n in descending order.
n, -2, -5
Let w = 12.3 - 12.43. Sort -1, -4, w.
-4, -1, w
Let p(a) = -a**2 + 5*a - 2. Let b be p(4). Let w(u) = u**3 - 21*u**2 + 3*u - 67. Let c be w(21). Put b, c, -5 in descending order.
b, c, -5
Suppose 34 = 3*p + 2*a, 2*p + 2*a + 0*a = 26. Sort -4, -1, p in decreasing order.
p, -1, -4
Let b be (0/(-2))/(3 + -1). Suppose b = 3*k + 5*p - 16, 4 + 0 = -2*k + 4*p. Put 1, 5, k in descending order.
5, k, 1
Suppose -8*f + s = -5*f + 19, -3*f - 2*s - 7 = 0. Sort 0, f, 11 in decreasing order.
11, 0, f
Let t = 1.2 - 5.2. Let w = 0.6 - 1. Sort t, -3/2, w in increasing order.
t, -3/2, w
Let c be (-2 + -1)*(-8)/6. Put -2, c, 1 in ascending order.
-2, 1, c
Let r(c) = c**3 - 13*c**2 + 13*c - 14. Let d be r(12). Let w = 0 + d. Sort 0, w, 3 in ascending order.
w, 0, 3
Let o(u) = -u**2 - 1. Let d be o(2). Let q be 5/5*(0 + 0). Let h = q - 0. Sort d, h, 1 in ascending order.
d, h, 1
Let r(f) = -f**2 + 5*f - 4. Let q be r(5). Put -3, 2, q in increasing order.
q, -3, 2
Let p be -2 - -2 - 0/(-1). Suppose -6 = -3*u - p. Let t be u/(-4) + 21/(-6). Put 0, t, 2 in descending order.
2, 0, t
Let b = 13 + -53. Let s = -46.4 - b. Let f = -6 - s. Sort 1, f, 1/5.
1/5, f, 1
Let s(d) = d**3 - 5*d**2 - 7*d + 1. Let r be s(6). Suppose 10*l + 10 = 5*l. Sort 1, l, r.
r, l, 1
Let s be ((-6)/(-8))/((-6)/(-4))*-4. Let v(t) = -t + 1. Let m be v(4). Sort -1, m, s in descending order.
-1, s, m
Suppose 2 = -p + 3. Sort 5, p, -5.
-5, p, 5
Let c = 0.081 - 2.081. Let w = 2 - 3. Put w, 1, c in ascending order.
c, w, 1
Let t = 149.6 - 150. Let q = 0 + -5. Sort t, q, 3 in decreasing order.
3, t, q
Suppose 3 + 1 = 4*z. Put 4, z, -4 in increasing order.
-4, z, 4
Let n = 0.46 - 0.46. Sort n, -8, -4, -0.3 in descending order.
n, -0.3, -4, -8
Suppose -20 = 3*c - k, -3*k = -8*c + 3*c - 40. Let p be 4/3*(-45)/(-12). Put c, p, 1 in decreasing order.
p, 1, c
Suppose -2*u = -4*j + 16, 4*j - 23 = -u - 1. Suppose 4*d - 2*d - 6 = 0. Put -1, u, d in descending order.
d, u, -1
Suppose 0 = -x - 2*x + 3, 4*x = -4*i. Put 4, 3, i in descending order.
4, 3, i
Suppose -3*a + a = 2*s + 12, 3*s + 6 = a. Let m be (-4 + 4)/(a*1). Sort m, 1, 5 in increasing order.
m, 1, 5
Let o = -33/5 + 32/5. Let p = -2 + 1.9. Put p, o, 1/5 in ascending order.
o, p, 1/5
Let x(i) = -3*i**3. Let f be x(-1). Sort f, 2, 4.
2, f, 4
Let l = -1 - 13. Let b = -13.9 - l. Let p = -2082/13 - -160. Sort b, p, -0.2 in decreasing order.
b, p, -0.2
Let k = -1 + 3. Suppose 0 = k*a - 1 - 1. Suppose 0*u - 3*u + 29 = 5*g, -g - 2*u = -10. Sort a, -3, g in descending order.
g, a, -3
Let w = -13 + 15. Put -0.2, -5, w in descending order.
w, -0.2, -5
Let j = -167 + 671/4. Suppose a + 9 = 2. Let m be (2/(-5))/(a/(-5)). Put 2, j, m in descending order.
2, j, m
Let t = -122 - -612/5. Sort t, 3/7, -1 in descending order.
3/7, t, -1
Let m = 20 - 17. Sort m, -3, -0.2.
-3, -0.2, m
Let d = 156 - 621/4. Let z be ((-2)/(-3))/((-14)/(-63)). Suppose -z*a + n + n = 13, -3*a + 7 = 2*n. Put a, 3, d in ascending order.
a, d, 3
Suppose 2*m - 3*m = -1. Sort m, 0.8, -1/2 in descending order.
m, 0.8, -1/2
Let r = 20.2 - 20. Sort r, -1/2, -3 in decreasing order.
r, -1/2, -3
Let t = 0.12 + -5.12. Let i = 1.2 - -3.6. Let o = t + i. Sort o, -5, -1 in ascending order.
-5, -1, o
Let o = -32 - -14. Put 3, 4, o in descending order.
4, 3, o
Suppose 2*b = 7*b - 5*r + 15, 15 = -5*b + 3*r. Let v be (-25)/15 + (-2)/(-3). Put 0.4, b, v in descending order.
0.4, v, b
Let p = 1.2 - 0.2. Let b = 0.2 - 0. Let y(h) = -h**3 - 13*h**2 - h - 8. Let c be y(-13). Sort p, c, b in increasing order.
b, p, c
Suppose -o - 3*o + 4 = 0. Sort o, 5, 3 in descending order.
5, 3, o
Let d be (-1)/(-1)*(2 + 1). Suppose 9 = -6*x + d*x. Sort 3, x, -2 in descending order.
3, -2, x
Let q(u) = -u**2 + 12*u + 30. Let b be q(14). Suppose -3*s = 2*s - 3*t - 12, -3*t = -3. Put -1, s, b in decreasing order.
s, b, -1
Suppose d - 20 = -0*d. Let q be (d/(-16))/((-2)/(-8)). Put 5, 4, q in descending order.
5, 4, q
Let u(m) = -2*m**3 + 3*m**2 - 4*m + 8. Let h be u(6). Let g = -2384/7 - h. Let l = 4.7 + -4.6. Sort l, g, 2/5 in decreasing order.
2/5, l, g
Let i be (-44)/12 + 4 - 7/3. Put 14, i, -5 in decreasing order.
14, i, -5
Let o be ((-16)/12)/(56/(-12)). Let c = -86/399 + -4/57. Sort c, 3/5, o.
c, o, 3/5
Let r be (-3 - 0)/((-4)/(-12)). Let y = 13 + r. Put -1, y, -4 in ascending order.
-4, -1, y
Let z = -62 + -14. Let n = z + 75.47. Let y = -0.03 - n. Put 0, 5, y in decreasing order.
5, y, 0
Suppose -4*c + 8 = 4. Let h(u) = u**3 - 5*u**2 + 2*u + 4. Let z be h(3). Let o be c + 0 - (4 + z). Sort -5, 0, o.
-5, 0, o
Let q = 13 + -20. Sort q, 3, 3/4 in decreasing order.
3, 3/4, q
Let t be (-6)/(-46)*2/3. Suppose i - 10 = 5*f, -8*i - f + 24 = -3*i. Sort t, 0.5, i in increasing order.
t, 0.5, i
Let l = 73 + -73.6. Sort l, 1, -0.1, -0.3.
l, -0.3, -0.1, 1
Suppose -5*t = 1 - 16. Sort t, -3, 5 in decreasing order.
5, t, -3
Let y be (-15)/(-6)*(