pose 3*v - 4 = 2. Sort b, -4, v in descending order.
v, b, -4
Let u = -0.0159 - 0.9841. Sort u, -2, 0.5, -0.04 in decreasing order.
0.5, -0.04, u, -2
Let l = 3.236 - -0.064. Let k = l + -3. Let p = -17.87 + 18.27. Sort p, k, -5 in decreasing order.
p, k, -5
Let g(p) = 5*p**3 - 4*p**3 - 3*p**2 + 2 + 3*p - 3. Let t be g(2). Let a be ((-12)/4 + 1)/((-7)/14). Sort t, -4, a in decreasing order.
a, t, -4
Let b be 1*(-11 + 4) - 90/(-12). Sort 5, 3, b.
b, 3, 5
Let n(u) be the first derivative of -u**3/3 + 6*u**2 + u - 1. Let d be n(9). Suppose 4*o - 5*j = -36, -5*o = 2*j - 4*j + d. Sort -5, o, 3 in decreasing order.
3, o, -5
Let x be (-3 - -2)*-2 - 3. Let d be (92/10)/((-16)/(-80)). Let i = 50 - d. Put -5, x, i in decreasing order.
i, x, -5
Suppose -3*n = 2*n. Let r(o) = 9*o**2 - 51*o - 82. Let b be r(7). Sort 6, n, 3, b in descending order.
6, 3, b, n
Suppose 3*v = -4*m + 14, -3*m = 5*v + m - 18. Sort 3, 14, 0, v in ascending order.
0, v, 3, 14
Suppose 42*s = 29*s + 65. Sort s, -4, 21 in ascending order.
-4, s, 21
Let h(b) = 2*b**2 - 7*b - 34. Let q be h(-4). Sort -2/3, q, 5 in increasing order.
-2/3, 5, q
Let d = -1.873 + 0.873. Put d, -5, -3/7, -1/5 in descending order.
-1/5, -3/7, d, -5
Let g = 56 - 116. Let b = g - -56. Suppose 6*s = s - 25. Sort b, s, -1 in decreasing order.
-1, b, s
Let n = 224/5 + -45. Let f = 0.159 - -97.841. Let z = f + -97.5. Put z, 3/5, n in decreasing order.
3/5, z, n
Let k be (11 + -4 - -4)/((-3)/(-6)). Sort k, -5/3, -3/2, -2/5 in decreasing order.
k, -2/5, -3/2, -5/3
Let b be ((-17)/(-6) - 3)*-178. Let x = 30 - b. Put x, 2/13, -2/7 in descending order.
x, 2/13, -2/7
Suppose 59 - 57 = -c. Put 3, 1, 0, c in ascending order.
c, 0, 1, 3
Suppose -2*p = -23*s + 24*s, -3*s + 5*p = 0. Sort -5, 18, 4, s.
-5, s, 4, 18
Let f be (-2)/16 + 2/(128/(-1016)). Put -0.2, 3, 1, f in increasing order.
f, -0.2, 1, 3
Suppose -4*b - 155 = 5*a, -5*a - 200 = 20*b - 15*b. Put 0, 3, b, -5 in increasing order.
b, -5, 0, 3
Let c = -461 - -456. Put -1, -1.01, c in decreasing order.
-1, -1.01, c
Let m = 0.366 - 0.566. Put m, -6, 5, -0.1 in increasing order.
-6, m, -0.1, 5
Suppose 5*o = 17*o - 60. Put o, 4, -3, 1 in decreasing order.
o, 4, 1, -3
Let f be -2 - ((-352)/266 - 140/245). Let j = 14 - 17. Sort j, f, 0, 9 in increasing order.
j, f, 0, 9
Suppose 5*h + 2*k - 23 = 0, 3*h - 2 = 5*h - 2*k. Let z(c) be the third derivative of c**6/120 + c**5/60 + 3*c**2. Let u be z(0). Sort -5, h, u.
-5, u, h
Let z(r) = -3*r + 8. Let q be z(3). Let u(m) = 3*m**2 + m**2 + 3*m**2 - m**3 + 0*m**2 - 3. Let v be u(7). Put q, -4, v in decreasing order.
q, v, -4
Let j(p) = 4*p**2 - 21*p + 22. Let v be j(1). Let y be 0*(1/1)/(-1). Sort -5, y, 3, v in decreasing order.
v, 3, y, -5
Let m be (266/196)/(2/(-12)). Let g = -1997747/28 + 71357. Let j = m + g. Put j, 2, -1 in descending order.
2, j, -1
Let w be ((-282)/(-235))/((-1)/(10/4)). Sort 5, w, 24.
w, 5, 24
Let x = -254 - -251. Put x, -1, -3.5, 0.2 in ascending order.
-3.5, x, -1, 0.2
Suppose 2*s = 7*y - 10*y - 19, 0 = s + 3*y + 14. Put -4, s, 5, 19 in decreasing order.
19, 5, -4, s
Let j = 341 - 346. Put -1, -0.25, j in descending order.
-0.25, -1, j
Let z(g) = 11*g - 1. Let x be z(4). Sort x, 1, -5 in decreasing order.
x, 1, -5
Suppose -6*w = -19 - 5. Let j be (w + -4)*(-2)/(-4). Put 2, 4, j in descending order.
4, 2, j
Let v be ((-46)/102 - (-22)/187)*6. Sort 4/15, v, 1/11 in decreasing order.
4/15, 1/11, v
Suppose -2*z + 6 = 0, -5*s + 5*z = 36 + 4. Suppose 32*u = 28*u + 28. Suppose u = 5*t + 2. Put s, 0, t in ascending order.
s, 0, t
Let d(r) be the third derivative of -r**6/120 - r**5/15 + 13*r**4/24 + r**3 - 5*r**2. Let j be d(-6). Sort -0.4, j, 0.2 in ascending order.
-0.4, j, 0.2
Let j be (2/6)/(3/1593). Suppose 4*u + 208 = -4*z, -3*u - 2*z - j = -6*z. Let m be (-171)/(-33) + 10/u. Sort 1, -2, m.
-2, 1, m
Suppose -244 = 11*t - 156. Sort t, -4, 9, -3 in descending order.
9, -3, -4, t
Let t(m) = m**3 - 6*m**2 - 3*m + 44. Let j be t(5). Put 0, 3, j, 13 in ascending order.
0, 3, j, 13
Let u = 0.74 - 0.45. Let n = u + -0.29. Let o be ((-63)/28)/(66/16). Put -23, n, o in ascending order.
-23, o, n
Let d(a) = -a**2 + 14*a - 18. Let k(j) = 0*j - j + 6*j - 2*j. Let b be k(4). Let f be d(b). Sort -4, f, 5 in increasing order.
-4, 5, f
Let h = 54 + -54. Let k = 3 - 4. Put h, 4, -5, k in increasing order.
-5, k, h, 4
Let w = 907/9 + -101. Let h = -9.65 + -1.35. Sort w, 0.1, h in increasing order.
h, w, 0.1
Suppose 1063*p = 1070*p - 21. Put -1, p, -3, 5 in increasing order.
-3, -1, p, 5
Suppose -4*r + 276 = -2*b, -3*r - 2*r + 345 = b. Let p = -70 + r. Put 5, 33, p in decreasing order.
33, 5, p
Let k(c) = 79*c - 1269. Let j be k(16). Sort 3, -4, j.
j, -4, 3
Suppose -2*t - 8 = 2. Suppose -3*y + 0*y = -15. Suppose y*l + 7 + 14 = -2*d, 0 = l + 4*d + 15. Sort -1, t, l in decreasing order.
-1, l, t
Suppose -7*g + 0*g = 14. Let m be (-1)/(1 + -2) + 0. Sort g, -3, m in increasing order.
-3, g, m
Let p = 6 + -10. Suppose 4 = -6*i + 2*i - 2*d, 0 = -3*i - 3*d - 3. Let k = 0.6 - -1.4. Sort k, p, i in decreasing order.
k, i, p
Suppose -45*w = 63 + 27. Sort 0, 5, 15, w in decreasing order.
15, 5, 0, w
Let g = 0 + 1. Let c be (56/7 - 8)*(-2)/(-6). Sort -4, c, g in decreasing order.
g, c, -4
Let v(s) = 3*s**2 + 10*s. Let o be v(-3). Put o, -4, -1 in descending order.
-1, o, -4
Let m = -2097 - -2104. Put 6, 2, m in ascending order.
2, 6, m
Let a = -418 - -413. Sort -3, a, -12 in descending order.
-3, a, -12
Suppose t = -3*r + 9, 38 = -4*r - 4*t + 58. Put -2, r, -8, -1 in descending order.
r, -1, -2, -8
Let q(m) = 7*m**2 - 9*m + 9. Let b(s) = 26 + 14*s**2 - 8*s - 15*s - 3*s + 6*s**2. Let k(d) = 6*b(d) - 17*q(d). Let y be k(2). Sort 5, y, 4 in increasing order.
y, 4, 5
Suppose q + 0 + 2 = 0. Let r be ((-4)/(-10))/(q/10). Put r, -1, 3 in descending order.
3, -1, r
Suppose -2*q = 2*q - 4*a + 36, 8 = 2*a. Suppose -2*i + 6*i = -12. Let h be 4/14 + (-36)/28. Put q, i, h in decreasing order.
h, i, q
Let d = -0.119 + 2.119. Let u = -5 + 10. Sort u, d, -4 in descending order.
u, d, -4
Let n = 27 + -29. Let z be (-2)/4*1/n. Put -3/4, z, -0.4 in descending order.
z, -0.4, -3/4
Let h(d) be the first derivative of d**2/2 + 2. Suppose -z - 1 = 1. Let a be h(z). Put 3, -1, a in increasing order.
a, -1, 3
Let o(z) = -9*z - 4. Let j be o(-2). Suppose -6 = 2*q + j. Let w be 1/21 - q/(-30). Sort -0.06, 1/4, w.
w, -0.06, 1/4
Suppose 4*j = -0*j - 4. Let p be j/((-1)/3)*21/(-9). Put -5, 4, p in descending order.
4, -5, p
Let g = -3.6 + 2.6. Sort -2, g, 152 in increasing order.
-2, g, 152
Suppose 22 = 4*k + 2. Let o = 1064 + -1067. Sort k, o, 4 in descending order.
k, 4, o
Suppose 93 = -5*v - 47. Suppose -12*k + c + 51 = -10*k, 0 = -3*k - 5*c + 57. Let x = k + v. Sort x, -3, -2/7.
x, -3, -2/7
Let u(w) = -w + 5. Suppose m = -4*m - 20. Let h be u(m). Suppose -3*d = -0*d - g - h, -4*d + 12 = 5*g. Sort 0, d, -5 in decreasing order.
d, 0, -5
Let k(m) = m**2 - 3*m - 3. Let w be k(3). Suppose -6*u + 2*d = -36, 3*u - 28 = 2*u + 4*d. Sort u, w, 2 in ascending order.
w, 2, u
Let s = -33.78 + 34. Let z = s - 0.21. Let o = -0.11 + z. Put o, 2/3, 3 in descending order.
3, 2/3, o
Let r = -460 - -469. Sort 5, r, -5, -17.
-17, -5, 5, r
Let q be -2*3*3/9 + 2. Suppose -1 = 5*f - m - 7, q = 5*f - 2*m - 7. Put -2, -3, 2, f in decreasing order.
2, f, -2, -3
Let n(f) = f**2 + 6*f - 21. Let r be n(-7). Put -3, 2, 1, r in increasing order.
r, -3, 1, 2
Suppose -32*s = -34*s - 4. Put -0.2, 8, 0, s in descending order.
8, 0, -0.2, s
Let a(x) = 27*x + 1. Let j be a(-1). Let p be j/(-7) + 12/42. Suppose -t + 15 = p*t. Sort 0, -4, t in decreasing order.
t, 0, -4
Let g(c) = -c**2 - 6 + 3 + 12 - 5*c + 2*c**2. Let b be g(6). Suppose 0 = -4*s - s - b, -3*s - 13 = v. Put -6, v, -5 in descending order.
v, -5, -6
Let z = -183363/191 - -960. Let s = 224/2101 + z. Let f be 6/(-2)*(-2)/(-10). Sort 9, s, f in decreasing order.
9, s, f
Let r be -5*1*2/(-5). Suppose 2*h = 5*j + 4 - 5, h - j = 7. Let d be h/(-54) + 2/9. Sort r, d, -5 in decreasing order.
r, d, -5
Let c = -46 + 80. Let b = c - 35. Sort b, -5, -2 in increasing order.
-5, -2, b
Let i be 185/85 - 3 - -1. Let x = i + 11/34. Put x, -2, 2 in ascending order.
-2, x, 2
Suppose -x - 2*w + 8 + 0 = 0, 0 = -x + 4*w - 4. Suppose 0 = -j - 4*k + 8, -17 =