 -4*b + 3. Let z be k(2). Sort -7, n, z in decreasing order.
n, z, -7
Suppose -f + 6*f + 30 = 0. Let o be ((-21)/f - 2)*-2. Sort o, 10, -2 in descending order.
10, -2, o
Let c = -49 - -51. Sort -3, c, 3, -4 in increasing order.
-4, -3, c, 3
Let j be (2/12)/((-2)/8). Let n be (4/(-21))/(-4 - 30/(-9)). Sort n, j, 2 in increasing order.
j, n, 2
Suppose 4*f = -7*f. Sort 4, 8, f.
f, 4, 8
Let b = 36 + -110/3. Put b, -0.2, 0.4, 0.5 in descending order.
0.5, 0.4, -0.2, b
Let p = 0 + -1. Suppose n + 0*n - 14 = 0. Suppose 4*l = -4*q - l + n, -4*q + 2*l = 0. Put -3/2, p, q in decreasing order.
q, p, -3/2
Suppose 0 = t + 2*l, 0 = 5*l + 17 + 3. Suppose -2*m + 0 = -4*p - t, 0 = 2*p - 4*m - 8. Sort p, 1, 4 in ascending order.
p, 1, 4
Suppose 2*w - 1 = 5. Let a = -1 - 1. Sort a, -5, w in descending order.
w, a, -5
Let d = 2 + 0. Let i = 3 + -10. Let x = i + 7.3. Put x, 2/17, d in decreasing order.
d, x, 2/17
Let i = 21.4 - 21.9. Sort -0.3, i, 3, -3 in decreasing order.
3, -0.3, i, -3
Let m = -45 + 44. Put -3/4, -2/9, m in descending order.
-2/9, -3/4, m
Let a = -9.5 + 9. Let l = 78/95 + -8/19. Sort a, 3, l.
a, l, 3
Let x be 1/(-131 + 5 + 1/2). Sort x, -1, 0.5.
-1, x, 0.5
Let m be ((-6)/(-21))/(1/7). Suppose 0 = m*d - 4*j + 28, -5 = 2*d - j + 8. Sort -2, 5, d in descending order.
5, -2, d
Let d(u) = u**3 + 3*u**2 - u + 3. Let z be d(-3). Let k = -4 + z. Let m(v) = v**3 + v**2 - 5. Let s be m(0). Sort k, 3, s in ascending order.
s, k, 3
Let c be (-6)/4*-1*2. Suppose -f + q - 2 = 1, 31 = 3*f + 5*q. Let a = f + -6. Put a, c, 2 in decreasing order.
c, 2, a
Let x = -12.94 + 13. Put -5, 3, x in decreasing order.
3, x, -5
Let r = 6 + -12. Let d be r - (4 - 3 - 3). Sort -2, d, -1 in descending order.
-1, -2, d
Let z = -5.8 - -6. Put -1, 1/11, z in descending order.
z, 1/11, -1
Suppose 10 = c - 5*u, -5*c + 23 = -0*u + 2*u. Sort -7, 0, c in descending order.
c, 0, -7
Let a be (-9)/(-6)*(1 - 3). Put 0, a, 5 in ascending order.
a, 0, 5
Suppose 3*h = -i + 18, -i - 3*i + 3*h - 3 = 0. Let n(c) = -c**3 + c**2 + 4*c + 1. Let z be n(i). Let r = -73 + 78. Sort 1, z, r in descending order.
r, 1, z
Let o = -1.3 + 2.3. Let a = o + 1. Let v be (-10)/(-8) + 2/(-8). Put 2/9, v, a in increasing order.
2/9, v, a
Let g be (6/8)/((-2)/(-8)). Let i be ((-21)/(-6) + -3)*48. Suppose i = -5*k + 9. Sort k, -1, g in ascending order.
k, -1, g
Let o(h) = -3*h + 3. Let i be o(2). Let r be 17/(-12) + i/12. Let u = 3.9 + -2.9. Sort u, -4, r in descending order.
u, r, -4
Let g = -34 + 47. Sort -3, -5, g in descending order.
g, -3, -5
Suppose g + 8 = -b, 5*g = -0*g + 5*b. Sort -3/5, 0.5, g.
g, -3/5, 0.5
Let g = 287/30 - 55/6. Let o = 4.8 + -4. Let r = 2.2 + o. Sort g, r, 2/13 in descending order.
r, g, 2/13
Suppose 8 = -3*l - 3*q + 17, 0 = 5*l - 4*q + 3. Let b = l + -1. Suppose b = v + 1 - 2. Put v, 1/5, 0.4 in descending order.
v, 0.4, 1/5
Let x = 5.03 - 0.03. Let i = -22 - -372/17. Sort -0.5, i, x in increasing order.
-0.5, i, x
Let b = -5094/19 + 268. Put -0.5, b, -1 in increasing order.
-1, -0.5, b
Suppose 0 - 9 = -3*b. Put b, -2/3, 5/4 in ascending order.
-2/3, 5/4, b
Let a = -2 - 1. Let b = a + 6. Let u = 1.7 + -2. Put -0.1, u, b in decreasing order.
b, -0.1, u
Let h be (-4)/6 + 32/30. Let k be -4 + -4 + -1 + 6. Sort 3, h, k in increasing order.
k, h, 3
Let y = 101 + -106. Sort 1/2, 4, 1, y in descending order.
4, 1, 1/2, y
Let v(k) = -k. Let s be v(-4). Suppose 0 = -6*n + 2*n. Suppose w + 0*c - c = n, 0 = -5*c. Sort -5, w, s in ascending order.
-5, w, s
Let m = 3 + 0. Let y(i) = -i**3 + 9*i**2 - 7*i - 3. Let x be y(8). Let t be x/2 - 2/4. Put t, -5, m in descending order.
m, t, -5
Let a be (54/(-72))/((-2)/(-8)). Put a, -4, 3, 5 in ascending order.
-4, a, 3, 5
Suppose 10 = -0*u - 2*u. Suppose -a = 4*a - 5. Let p(o) = 3*o**3 - 2*o**2 + 2*o - 1. Let j be p(a). Put u, j, 4 in increasing order.
u, j, 4
Let u(c) = -c**3 + 2*c**2 + 3. Let m be u(2). Put -4, 0.1, m in decreasing order.
m, 0.1, -4
Let c(f) = -f**2 + 6*f + 3. Let w be c(5). Let a be (w/12)/((-2)/(-6)). Let d be 0/3 + -1 + -1. Sort 0, d, a in descending order.
a, 0, d
Suppose g + 5*t + 2 = -8, -4*g - 3*t - 23 = 0. Let b = -2 - g. Put -2, b, 4 in increasing order.
-2, b, 4
Suppose -4*b = 5*g + 10, g - 3*b - b = -2. Let l be 1/3 - (-5)/(-15). Suppose l = -2*u + 4*a - 6, 4*a + 9 = -3*u + a. Put g, u, 3 in descending order.
3, g, u
Let b = -1.8 - -1.62. Let l = 3.18 + b. Let x be (-1)/(-8)*1 - 0. Put l, x, -4/5 in descending order.
l, x, -4/5
Let i be (5/(-3) + 0)*-3. Suppose 5*m = -i*k - 5, -k - k - 6 = 3*m. Sort k, -1, -5.
-5, -1, k
Let n be ((-6)/32)/((-1)/(0 - -4)). Let m = 17/2 + -8. Put n, m, 5 in decreasing order.
5, n, m
Let w be (-14)/(-3) + 10/(-15). Let n = -2 + 2. Suppose -3*o + 3 = -2*x, n = -o + x + w - 2. Sort -2, o, 2.
-2, o, 2
Let v = 24.4 - 24. Put -2/11, -1/3, v, -1/4 in ascending order.
-1/3, -1/4, -2/11, v
Suppose -z - 4*z + 25 = 0. Sort -4, 4, z, -3 in ascending order.
-4, -3, 4, z
Let g(t) = t - 1. Let j = -2 - -2. Let y be g(j). Let w(d) = -2*d**2 + 6*d + 10. Let h be w(4). Put -3, h, y in increasing order.
-3, y, h
Let t = 0.1 - -0.2. Suppose 0*d - 2*y = 2*d - 2, d + 3 = -2*y. Sort t, -3/7, d in decreasing order.
d, t, -3/7
Let o be 6/(-4) - 38/4. Let u = o - -7. Sort -1, u, 2.
u, -1, 2
Suppose -11 = -m - 4*o + 4, -9 = -3*o. Sort 5, -3, m in increasing order.
-3, m, 5
Let b be (0 - 3)/(-2*(-3)/(-6)). Put -5, 4, b in decreasing order.
4, b, -5
Let b = 2.4 - 1.4. Sort 3/7, b, 0.
0, 3/7, b
Let w = 47 + -47. Sort -4, 3, -3, w in decreasing order.
3, w, -3, -4
Let n(y) = -y**3 + 4*y**2 + y + 6. Let o be n(4). Suppose 2*c = -0*c - o. Put 1, c, -1 in descending order.
1, -1, c
Suppose -g - 2*g = 0. Suppose 15*u - 12 = 19*u. Put u, g, -0.3 in descending order.
g, -0.3, u
Suppose 2*a - c = -10, 0 = 3*c + 2 - 14. Let m be 1 + -3 - (3 + -8). Suppose 2*i + 1 = m*i. Sort 0, a, i in decreasing order.
i, 0, a
Let g = 453/5 - 91. Sort 4, -7, g.
-7, g, 4
Let f = 14.4 + -3.4. Sort -0.5, -2, f in increasing order.
-2, -0.5, f
Suppose -3*i - 11 = 5*s, 3*s = -4*i + 6*s + 24. Let k(q) = 3*q - 4. Let z be k(4). Suppose z = 3*n + n. Put i, n, 5 in decreasing order.
5, i, n
Let r = 63/2 + -32. Let a = 26.5 - 2.5. Let z = a - 25. Put z, 0, r in descending order.
0, r, z
Let f be ((-10)/3)/(15/(-18)). Let l = 6 + -11. Put f, 1, l in descending order.
f, 1, l
Let o = 6 + 6. Let m be (3/(-1))/((-27)/o). Let j = -3.5 + 1.5. Sort j, m, 0.1.
j, 0.1, m
Let s = 29 - 16. Let a = s + -5. Let n = 8.2 - a. Sort n, 0, -2 in descending order.
n, 0, -2
Suppose -5*s = -8*s - 3. Let w(x) = -2*x + 1. Let o be w(-3). Let f = 2 - o. Put 2, f, s in decreasing order.
2, s, f
Suppose 0 = r - 0*r + n + 1, -5*r - 4*n = 0. Let d = 26 - 36. Let w = 8 + d. Sort -1, r, w.
w, -1, r
Let p be ((-4)/(-8))/(2/20). Suppose -24 = -5*i + 2*m, p*i + m - 4*m = 26. Suppose 0 = -2*r + 3*j - 25, -j - 35 = 4*r - 4*j. Sort i, r, 2 in decreasing order.
i, 2, r
Let b(v) = v**3 - 3*v**2. Let s be b(3). Let g = -5 + s. Let y = -2 - -1. Sort g, y, 3 in decreasing order.
3, y, g
Let u = 16 - 17. Let m = -15 + 8. Let v = 5 + m. Sort v, u, -1/2 in decreasing order.
-1/2, u, v
Suppose 0 = 2*u - u + 3. Put 8, u, 1 in decreasing order.
8, 1, u
Suppose 25 - 29 = 4*a. Put a, 3, 4, 2 in ascending order.
a, 2, 3, 4
Suppose -4*r = 4*b, -4*r + b = -11 + 31. Put -0.5, 1/5, r in descending order.
1/5, -0.5, r
Let j be (2/(-4))/(4/24). Let a be 6 - ((-32)/4 + 5). Sort a, j, 2 in increasing order.
j, 2, a
Let b = -8 - -8.06. Let g = b + -2.06. Put 2/5, g, 2 in descending order.
2, 2/5, g
Let k = 28 - 26. Sort k, -5, -3 in decreasing order.
k, -3, -5
Let n = 4.4 - 4. Let z = 0.1 - n. Let r be (-4)/(-18) + (1 - (-119)/(-63)). Sort r, z, 5.
r, z, 5
Let m = -1 - -6. Let o = 3 - m. Let u = -0.3 + 0.6. Put -0.4, o, u in decreasing order.
u, -0.4, o
Let c = 9/8 + 3/8. Put c, 5, -0.3 in increasing order.
-0.3, c, 5
Suppose p - 2 - 1 = 0. Suppose 2 = p*x - 2*x. Sort 1, x, -0.1 in decreasing order.
x, 1, -0.1
Let t be 4/(-6)*(-2 - 1). Let m = 85 + -88. Sort -5, m, t in decreasing order.
t, m, -5
Let g(p) = 2*p - 21. Let f be g(13). Suppose 4*i + i = 5. Put f, 0, i in increasing order.
0, i, f
Let v(q) = -q**2 + 13*q + 12. Let k(w) = -2*w**2 + 26*w + 24. Let h(n) = -6*k(n) + 11*v(n). Let i be h(14). Sort i, -4, 