4. Suppose 2*h + 2*h - 20 = 0. Sort s, 4, h.
s, 4, h
Let d = -3.7 + 4. Let c = 1.3 - d. Let y = -0.8 + c. Put 2, 0.3, y in decreasing order.
2, 0.3, y
Let q = 1.4 - 1.5. Put q, 0, -0.3 in increasing order.
-0.3, q, 0
Let n = -2.3 + -0.7. Let q = 4.587 - -0.413. Sort n, 0.2, q.
n, 0.2, q
Let q = -7 + 5. Put 4, q, -4 in decreasing order.
4, q, -4
Let i = 0.024 - -0.076. Put 1/9, 5, i in decreasing order.
5, 1/9, i
Let v(z) = -z**2 + 15*z + 33. Let b be v(17). Sort 0.03, 0, b, 3 in increasing order.
b, 0, 0.03, 3
Let c = -325 + 322. Let k = 2.4 - -0.6. Let q = 1.2 + -1. Sort k, c, q.
c, q, k
Let k be (-19)/7 - -1 - -2. Let c = 1.6 - -0.4. Let w = c + -3. Put k, 1/5, w in increasing order.
w, 1/5, k
Let y = 75 + -74.7. Let v = 18/7 + -176/63. Let u = 2.01 + -0.01. Sort v, y, u in decreasing order.
u, y, v
Let b = 13/6 - 5/2. Put -2/11, b, -0.4 in increasing order.
-0.4, b, -2/11
Let l(n) = -5*n**2 + n + 1. Let c be l(-2). Let v be 1/3 + (-35)/c. Suppose 0*z - 8 = 4*z. Sort v, 6, z in descending order.
6, v, z
Let p = -26 - -25. Sort p, -3, -2 in ascending order.
-3, -2, p
Let v = 0 - 0. Sort -1, v, -6.
-6, -1, v
Suppose 1 + 8 = -g. Let m be 5/(-2) - g/6. Put -2, m, 1 in descending order.
1, m, -2
Suppose -3*p + 39 = 3*j, -2*j - p = -4*p - 11. Let z = j + -8. Suppose -2*s - z*a + 11 = -5*s, -13 = 5*s + 2*a. Sort s, 2, -1 in decreasing order.
2, -1, s
Let o = -20 + 23. Sort 1, -0.2, 0.4, o in increasing order.
-0.2, 0.4, 1, o
Let d(g) = g**3 - 2*g**2 - g - 1. Let p(a) = -a**2 - 8*a - 10. Let w be p(-6). Let n be d(w). Sort n, 4, -5 in descending order.
4, n, -5
Let q(s) = s - 3. Let b be q(8). Suppose -b*y + 8 = d - 5, -3*y + 2*d = 0. Suppose 2*v = -y*f - 4, 2*v + v + 5*f = -4. Put 2, 5, v in descending order.
5, 2, v
Let p = -10 - -7. Sort p, -5, -8 in decreasing order.
p, -5, -8
Let u(d) = d**3 - 4*d**2 + 2. Let o be u(4). Suppose -5*s - 5 = 3*j, -4*j + 3 = -0*s - 3*s. Suppose 0 = 3*b - 6*b - 15. Sort o, b, j in decreasing order.
o, j, b
Let y = -0.48 + -0.02. Let f = -0.1 + 0.6. Sort -2/9, y, f in descending order.
f, -2/9, y
Let t = 18 - 15. Suppose 4*h + 4 = -2*x - 2, x = 2*h - 7. Let j be ((-1)/2)/((-1)/(-6)). Sort j, h, t.
j, h, t
Let k(f) = -f + 4. Let m be k(4). Let h = -1 - m. Let o be (3/1)/(7/h). Sort 0.5, o, -2/9 in ascending order.
o, -2/9, 0.5
Suppose 2*x + 2*x = 0. Let f = -5 - -4. Sort x, -3, f in decreasing order.
x, f, -3
Let h(z) = -z**2 + z + 4. Let d be h(-3). Let m(f) = -f - 7. Let l be m(d). Sort 3, l, 2 in decreasing order.
3, 2, l
Let t = -25 - -20. Put 5, t, -2/11 in ascending order.
t, -2/11, 5
Let m = -46223722/28290885 - 1/154595. Let v = m - 2/61. Sort -3/2, v, -1 in descending order.
-1, -3/2, v
Suppose 0 = -5*w - 5*b + 40, -5*w = -0*w - b - 16. Suppose 8 = -w*s - 0. Sort s, -1, -4 in decreasing order.
-1, s, -4
Let a = 60 - 59.72. Sort a, 3/4, 5/2 in descending order.
5/2, 3/4, a
Let t(h) = -h**3 + h**2 - 4*h + 4. Let j be t(1). Sort -5, -6, j, -1 in descending order.
j, -1, -5, -6
Let z be 4*(1 + (-2)/(-4)). Let j be z/10 + 2/5. Suppose y + j = 3. Sort -5, 3, y in descending order.
3, y, -5
Let k = -3.2 - -3.6. Sort -1/4, 0.2, k in descending order.
k, 0.2, -1/4
Let x be (-2)/(-2) - (-1 - 0). Let s be (-1*(-3 + x))/1. Sort -2/9, s, -5.
-5, -2/9, s
Let k(i) = i + 13. Let p be k(-9). Suppose 2*h - 5*h - a = -5, 4*a - 4 = p*h. Sort -5, h, -1 in decreasing order.
h, -1, -5
Suppose 4*f + 4*j - 2*j - 6 = 0, 9 = 5*f + 2*j. Sort -4, -1, 6, f.
-4, -1, f, 6
Let v be 4 + (3 - 7 - -3). Put -1, -5, v in ascending order.
-5, -1, v
Let f be 30/9*30/(-25) + 3. Sort 28, -5, f, 5 in increasing order.
-5, f, 5, 28
Let i be ((-6)/(-8))/(3/6). Put i, -1/7, 3/7 in descending order.
i, 3/7, -1/7
Let d be (-4 - 17/(-5)) + 112/20. Sort -5, d, 12.
-5, d, 12
Let k = -20 + 38. Suppose 3*l - k = -2*o - o, -3*l + 12 = 0. Sort o, 4, 5.
o, 4, 5
Let c = -44 + 63. Sort c, 2/13, 5.
2/13, 5, c
Let f = 10 - 6. Suppose -f*a = -4 + 20. Put 3, 4, a in increasing order.
a, 3, 4
Suppose -n + 6 = 7. Sort 1, 3, n.
n, 1, 3
Let j = 3.97 - -0.03. Let n = 17 - 16.4. Let c = n - 0.6. Put j, c, -3 in decreasing order.
j, c, -3
Let p = 3 + -1. Suppose p*m + m = 0. Put m, -5, 3 in descending order.
3, m, -5
Suppose -3*o + 4 + 7 = j, -14 = -j - 4*o. Suppose 0 = -j*u - m - 4, -5*u + 3 = -5*m - 17. Sort 8, 2, u in ascending order.
u, 2, 8
Suppose 0 = 3*j - 2*j. Let x = 4 - j. Let q(y) = -4*y**2 - 31*y + 3. Let h be q(-8). Sort x, -3, h in decreasing order.
x, -3, h
Let o = 0.2 - 0.55. Let v = 0.05 - o. Put v, -1/11, -2 in descending order.
v, -1/11, -2
Let j(h) = -h**2 + 15*h. Let r be j(15). Sort r, -17/2, 0.2.
-17/2, r, 0.2
Suppose -2 = 4*c - 3*c. Sort -5, c, 5 in descending order.
5, c, -5
Let j(b) = -b**2 + 3*b + 2. Let q be j(3). Let k = 164905 - 1815530/11. Let s = k - -143. Sort s, 0.1, q in decreasing order.
q, 0.1, s
Let a = -584 - -585. Let u = -9 - -6. Sort u, a, 4 in ascending order.
u, a, 4
Let u be (-72)/(-30) - (2 - 0). Let k = -6720 - -188213/28. Let j = k - 15/7. Sort j, -3/4, u in increasing order.
-3/4, j, u
Suppose 0 = 2*k, -2*q = -6*q - 2*k - 20. Let z = 5 + -3. Suppose z*y = 6*y - 8. Sort y, q, 3 in decreasing order.
3, y, q
Let t = 125/4 + -31. Let u = -10 + -8. Let s = u - -13. Sort t, s, -3 in ascending order.
s, -3, t
Let o(p) = p**2 - 8*p - 2. Let l be o(8). Sort l, 3, 1 in increasing order.
l, 1, 3
Let c = 20 - 19. Put -5, c, -2 in ascending order.
-5, -2, c
Let n = -2 - 9. Put 2, n, 1 in increasing order.
n, 1, 2
Suppose -4*c - 17 - 3 = 0. Sort 0.4, -2/7, c in ascending order.
c, -2/7, 0.4
Let c = 11 + -10.6. Let a = -0.8 + 3.8. Sort a, 5, c in decreasing order.
5, a, c
Let j(z) = -z**2 - 5*z - 6. Let d be j(-6). Put 1, -2, d in descending order.
1, -2, d
Let k = -86/3 + 29. Sort -2, -1, k, -5 in decreasing order.
k, -1, -2, -5
Let r = 0.373 - 0.073. Sort 2, r, 1, 0 in increasing order.
0, r, 1, 2
Let u be (-1 - (-6)/4)*0. Put -1, 2, u in ascending order.
-1, u, 2
Let f be ((-1)/3)/(1/(-30)). Let i = -13 + f. Let u = -1.8 - -2. Put u, i, 3 in ascending order.
i, u, 3
Let h = 0.091 - -37.909. Let s = 41.8 - h. Let a = s - 0.8. Sort a, -0.1, -2/11 in increasing order.
-2/11, -0.1, a
Let k = -25.5 - -26. Let w = -4 - 0. Sort 0.4, k, w in increasing order.
w, 0.4, k
Let o = -25 - -2. Let g = -24 - o. Sort 2, -5, g in descending order.
2, g, -5
Let h = -1 + 0.6. Let l = -12 + 20. Put l, 3, h in descending order.
l, 3, h
Suppose 5*z - 5*j = -2*j + 25, 4*j - 5 = -z. Suppose -4*i = -2 - 2. Sort 2, i, z in increasing order.
i, 2, z
Let m be (1 + -2)/(3 + -2). Let c = 12 - 8. Suppose 0 = c*v + v - 10. Sort v, -2, m.
-2, m, v
Let v(f) = 4*f - 1. Let b be v(-1). Let w be 1 - 0 - (b + 3). Let m be -4*w/(-8)*2. Sort m, 0, 1 in ascending order.
0, 1, m
Let n = -8 - -5. Suppose -4 = -2*w - 6. Sort w, 4, n in decreasing order.
4, w, n
Let d(k) = -k**3 + 4*k**2 + 13*k - 4. Let h be d(6). Let m be (-2)/(-6) - (-26)/(-6). Sort h, -3, m.
m, -3, h
Suppose -2*a - 4 = 2. Let b(w) = -w**3 - 2*w**2 + 3*w + 2. Let y be b(-3). Sort a, y, 3.
a, y, 3
Let r = 0.53 - -2.47. Sort 5, 0.18, 4, r in decreasing order.
5, 4, r, 0.18
Suppose 4*q = -5*f - 8 - 0, 0 = 3*f - 2*q + 18. Put 13, 0, f, 1 in decreasing order.
13, 1, 0, f
Suppose 2*a - 10 = 0, -39 = -2*s - 5*a - 8. Suppose s*c - 7*c = 16. Suppose -7*b = -2*b. Put -2, c, b in decreasing order.
b, -2, c
Let c(v) = v + 15. Let h be c(-12). Suppose h*b - 5 = -2. Put 2, b, -4 in ascending order.
-4, b, 2
Let u = -13 + 17. Suppose 0 = -u*c - 4. Sort c, -4, 1 in increasing order.
-4, c, 1
Suppose -4*a + 2 - 10 = 0. Put 2, -9, a in descending order.
2, a, -9
Let f = 2.12 - 0.12. Let y = -0.02 - 4.98. Sort f, -3, y in descending order.
f, -3, y
Suppose 3*u - 18 = m - 2*u, 0 = 2*u - 8. Sort -3, 5, m, 1 in increasing order.
-3, 1, m, 5
Let l = -6.7 + -0.3. Let i = l - -6. Sort -0.4, 0.03, i in ascending order.
i, -0.4, 0.03
Let r = 0.27 - 12.27. Let j = r - -8. Let c be (1 + 4)*(11 - 12). Sort j, c, 3 in increasing order.
c, j, 3
Let i(u) = -u**2 - 10*u - 4. Let k be i(-9). Put k, -7/3, -1/2 in descending order.
k, -1/2, -7/3
Let q = 42 - 54. Put 3, -1, -3, q in descending order.
3, -1, -3, q
Let v be -2 + 3 + (-1 - 3). Let d be (-2)/2 + (v - -9). Put 4, d, -5 in descending order.
d, 4, -5
Suppose -14 = f - 3*f + 5*n, -2*f - 3*n