3*h. Suppose -5*n - 11 - 9 = 0. Put 3, -2, n, h in ascending order.
h, n, -2, 3
Let u be 1 + (106/(-34) - -2). Sort 2/7, 8.2, u.
u, 2/7, 8.2
Let t be (-4 - -2)*(-862)/(-10). Let c = t + 173. Let q be (-1)/(-3) + (-2)/42. Sort q, c, 0.4.
q, 0.4, c
Suppose 3*z = -4*z - 3*z. Put -3, z, 1, -1 in descending order.
1, z, -1, -3
Let d = -5 + 10. Let s(b) = -b - 1. Let w be s(-2). Suppose 173 = 5*g + 173. Sort g, w, d in ascending order.
g, w, d
Let x be ((-65)/10)/((-2)/12). Let m = x + -38. Sort -0.1, 1/3, m, -5.
-5, -0.1, 1/3, m
Let b(n) = n**3 - 4*n**2 - 4. Let a be b(4). Let f = 3.69 - 3.7. Let v = f + -9.99. Put a, v, 0.1 in ascending order.
v, a, 0.1
Suppose 34*c = 40*c - 18. Let k be 2 - (18660/(-27))/(-5). Let p = -136 - k. Sort p, 2, c in ascending order.
p, 2, c
Let t = 77 + -129. Let g = -23683/4 - -5973. Let s = t + g. Sort s, 3, 2 in decreasing order.
3, 2, s
Let k = -0.054 + -17.946. Let y = k - -13. Suppose 0 = 4*m - 5*m - 3. Put y, m, 3 in ascending order.
y, m, 3
Let z(r) = r**2 - 2. Let d be z(6). Let c be ((-20)/(-75))/2 - (-497)/(-15). Let y = d + c. Put -3, y, -2 in decreasing order.
y, -2, -3
Suppose -5*f + 3*c - 10 = c, 0 = -5*c - 25. Suppose 8*k + 44 = 12*k. Suppose b = k - 4. Sort b, f, -5 in ascending order.
-5, f, b
Let g = 36 - 21. Suppose 3*k = 3*f + g, -k + 3*f + 25 = 4*k. Let s be 2/(-4) + (-11)/(-14). Put k, 2, s in increasing order.
s, 2, k
Let j = -3 - -4. Let i = 6 - j. Let s be ((-2)/(-4))/(3/(-30)). Sort i, -3, s in ascending order.
s, -3, i
Let f = -2 + 1.7. Let m = 107.55 + -1.55. Let s = m + -101. Put f, s, 0.4 in descending order.
s, 0.4, f
Suppose -6*i + 7 = -5. Suppose i*q = 6*q - 12. Sort 4, q, -4 in descending order.
4, q, -4
Let o = -191 - -187. Sort 1, o, 20 in ascending order.
o, 1, 20
Let y be 2/(-1 - 23) - 0. Let j = 1/2784 + -68905/2784. Let s = j + 25. Sort 0.3, y, s in increasing order.
y, s, 0.3
Suppose -w - 2*l - 24 = -3*w, -68 = -5*w + l. Let i = w + -13. Sort i, -4, 2, -6.
-6, -4, i, 2
Let n = -2.3 + 1.6. Let g = n + 1. Let c(a) = -2*a - 73. Let u be c(-35). Put g, u, -2/9 in descending order.
g, -2/9, u
Let b be -6*(-14 - -7)/14. Sort b, 196, 2 in descending order.
196, b, 2
Let c be (-55)/132 - 3/(-18). Let b = 0.1 + 0. Let i = 0 + b. Sort c, -3, i.
-3, c, i
Let p = 0.6 - 0.2. Let s(x) = -x**3 + 20*x**2 - 19*x. Let d be s(19). Let t be d + (-6)/(-18) + -1. Sort t, -4, p in increasing order.
-4, t, p
Let d = 105 + -103. Sort 0.1, d, 0.4, -0.33 in increasing order.
-0.33, 0.1, 0.4, d
Suppose -2*s - 5*l - 45 = -2*l, -3*s + 2*l = 35. Sort -4, -3, -5, s.
s, -5, -4, -3
Let b = 16 - 48. Sort -5, b, 4 in ascending order.
b, -5, 4
Let x(u) = -u**3 - 2*u**2 - 1. Let l be x(-2). Let d = l + 6. Let h be (2/(-3))/(6/9). Sort 2, d, h.
h, 2, d
Let y = -30 + 30.4. Let m = 19/6 - 9/2. Sort -0.1, m, y, 4 in decreasing order.
4, y, -0.1, m
Let u = -58 - -56. Put -0.1, -5, u in increasing order.
-5, u, -0.1
Let s = 105.8 - 105.752. Put -0.3, s, -9 in ascending order.
-9, -0.3, s
Let t = -54 - -54. Let v(z) = 2*z - 8. Let n be v(2). Sort -2/3, 1.4, n, t in increasing order.
n, -2/3, t, 1.4
Let t = 574 + -569. Put -4, -5, t in decreasing order.
t, -4, -5
Let l = 98 + -94. Let o(x) = -2*x**3 + 9*x**2 - 4*x + 3. Let p be o(l). Let y = 0.4 - 0.2. Put y, p, -7 in descending order.
p, y, -7
Let m be (15/(-60))/((-2)/32*1) + -1. Suppose l - 5*k = 27, -2*l + 6*l - 28 = 4*k. Suppose b + 8 = 5*c, 6 = 3*c - 3*b + l*b. Sort m, c, 5 in ascending order.
c, m, 5
Suppose 5*k + 48 = -3*z, -4*k = -3*z - 6*k - 48. Let v be z + 4 + (-2 - -2). Sort 4, v, 0 in decreasing order.
4, 0, v
Let k = -8.5 + 9.11. Let h = k - 0.6. Sort 1/2, h, 2/9, 4 in decreasing order.
4, 1/2, 2/9, h
Suppose -4*a + 57 = 1. Suppose 3*m - a = -2. Let c be (1 + -3)*(-3)/(-2). Sort c, m, -1 in ascending order.
c, -1, m
Let a = 13 + -19. Let v = 5 - a. Let g = -9 + v. Sort g, 5, -0.1 in descending order.
5, g, -0.1
Suppose 5*i + i = -18. Let x = -21 - -17. Sort x, 5, i, -1 in descending order.
5, -1, i, x
Suppose -150 = -2*k + 5*r, -5*k - r + 325 - 4 = 0. Sort k, -3, -1 in ascending order.
-3, -1, k
Let x = 2448.5 - 2448. Sort -4, 4, x, 7 in decreasing order.
7, 4, x, -4
Let t = 8 - 13. Sort 55, 5, t, -3.
t, -3, 5, 55
Let u(i) = 28*i + 608. Let m be u(-22). Sort m, 2, -51, -5 in ascending order.
-51, m, -5, 2
Let a = -18449/7378 - -2/3689. Sort -4, 57, a in increasing order.
-4, a, 57
Let p = 2.4 - 2. Let h = -1.995 + 1.595. Sort -4, p, h, -2/63 in decreasing order.
p, -2/63, h, -4
Let l(m) = -2*m + 16. Let a be l(8). Suppose a = -6*i + 5*i. Let r = 2 - 4. Put i, r, -1 in decreasing order.
i, -1, r
Suppose 3 = -2*h + 7. Suppose n - 4*f = -3*f + 1, 24 = -4*n - 3*f. Put 18, h, n in ascending order.
n, h, 18
Let p = -22.1 - -22. Let o be ((-14)/6)/((-1)/(-3)). Let u be o/(-42) + 3/(-2). Sort p, u, -5 in decreasing order.
p, u, -5
Suppose -6*r - 175 = -41*r. Let m(p) = -2*p + 3. Let f be m(2). Sort r, f, -5, 0 in descending order.
r, 0, f, -5
Let c = 1652 + -1643. Sort c, -0.1, -2, 0.4 in decreasing order.
c, 0.4, -0.1, -2
Let g be (-10)/(11610/(-8109)) - 7. Sort -2/21, -0.4, g, -0.3.
-0.4, -0.3, -2/21, g
Let v = -8 + 15. Let r = -0.727 + 0.927. Sort v, 0, r in descending order.
v, r, 0
Let a(f) = -6*f**2 - 4*f + 5. Let b be a(-4). Let x be ((-4)/b)/(8/20). Let z = 71/4 - 18. Sort z, 3, x in descending order.
3, x, z
Let o be (2 + -1)*(-3 - -3). Suppose 2*q + o = -4. Sort -5, -3, q in descending order.
q, -3, -5
Let g = -5 - -2. Let p(v) = v**3 + 9*v**2 - 2. Let r be p(-9). Let a = 5 - 4. Put g, r, a in ascending order.
g, r, a
Suppose -9*y - 28 + 109 = 0. Put y, 7, -4, -1 in increasing order.
-4, -1, 7, y
Let h = -52 - -25. Let x = -24.6 - h. Let j = -0.4 + x. Sort -16, j, 5.
-16, j, 5
Suppose 0 = 4*v + 21 + 3. Put 2, 0, -3, v in ascending order.
v, -3, 0, 2
Let t = 1462.6 - 1463. Sort -61, t, 2/5 in descending order.
2/5, t, -61
Let z(k) = -k**3 + 12*k**2 + 2*k - 152. Let r be z(11). Let u be 2/(-12) + 34/(-12). Put u, 0, r in decreasing order.
0, u, r
Let s(k) = -k**3 + 11*k**2 - 17*k - 14. Let o be s(9). Sort 4, o, -6 in decreasing order.
4, o, -6
Let q = -2543/773 - -4276513/1236027. Let d = -2/123 + q. Let s = 85/132 + 1/44. Put s, 0, d in descending order.
s, d, 0
Let k be -119*4/(-224) + 2*-1. Put -5, 110, k in decreasing order.
110, k, -5
Let d(k) = -k + 3. Let n be d(0). Suppose -11*b = -15*b + 16. Suppose 7 = 5*s - b*r + 16, -7 = 2*s - 5*r. Put 1, n, s in decreasing order.
n, 1, s
Let a(v) = v**2 - 9*v + 24. Let j be a(4). Let z = 5 + -6. Let p = z + 4. Sort -3, j, p in ascending order.
-3, p, j
Let w = 558 + -557.5. Put w, -3, -2/39 in increasing order.
-3, -2/39, w
Let w = -22 + 23. Let x(r) = 5*r - 104. Let o be x(19). Suppose 0 = -y + 4 - 2. Put y, w, o in descending order.
y, w, o
Let i = 40 + -56. Sort -1, i, -4 in increasing order.
i, -4, -1
Let k = -45.1 - -49.1. Let v = 25 - -30. Let o = v + -273/5. Sort -3, o, k in decreasing order.
k, o, -3
Let f be (-59)/(-3) + 3/9. Suppose 0 = -3*m - 4*z + 32, m - 4*z = -f + 4. Suppose -m*o = -o. Sort 2/11, -6, o in decreasing order.
2/11, o, -6
Let c(y) = -y**3 - 10*y**2 + 28*y + 52. Let s be c(-12). Put 0, s, -4, -0.09 in increasing order.
-4, -0.09, 0, s
Let b = -2945 - -2944. Sort b, -6, -54.
-54, -6, b
Let z(a) be the third derivative of -1/24*a**4 - 6*a**2 - 2/3*a**3 + 0*a - 1/120*a**6 + 0 + 1/20*a**5. Let k be z(3). Sort -5, k, 0.
k, -5, 0
Let y be (96/(-192))/((-2)/56). Put y, 3, 7 in decreasing order.
y, 7, 3
Let u be -19*(-2)/12 + (-105)/(-126). Sort 2/3, 1, u in descending order.
u, 1, 2/3
Suppose 2*o + 4 = -2*n, 2*o = -6*n + 2*n. Let g be -1*(0 + 2) - -1. Sort g, -5, n in ascending order.
-5, g, n
Suppose -81 = 465*y - 438*y. Sort 5, y, 2, -14 in increasing order.
-14, y, 2, 5
Let k be 1 - (-6 + 0/(-1)) - 0. Suppose 5*u = -x - 24, 9*x + 3 = k*x - u. Put -4, 0, x, 17 in increasing order.
-4, 0, x, 17
Suppose -5*o - 6 = a, -44 = 2*a - 2*o - 8. Suppose -4*i + 3*i = 2. Let y be (3/i)/((-108)/a). Sort 2/7, y, -3/13.
-3/13, y, 2/7
Let m(d) = -d**3 + d**2 + 4*d - 7. Let n be m(2). Let o be 5 - (2/(-1) - -3). Sort n, o, -1 in descending order.
o, -1, n
Let t = 254 + -254. Sort 4, t, -1, 3 in decreasing order.
4, 3, t, -1
Suppose -3*n - 2 = 4*b - 6*n, -2*n = 4. Sort b, -4, 5, 2.
-4, b, 2, 5
Let r be (