4. Put -0.5, -10, h, 2 in decreasing order.
2, -0.5, h, -10
Let c = 0 + 0.4. Let g = -0.9 + c. Let b = 0.09 + 4.91. Put g, 3, b in decreasing order.
b, 3, g
Let j = -0.1 - -3.1. Let b = -1 + j. Put b, -2/9, 0.3 in descending order.
b, 0.3, -2/9
Suppose -4*x = -16, 3*h - 2*x + 20 = 3*x. Sort -18, h, -0.5 in ascending order.
-18, -0.5, h
Suppose 0 = -10*b + 12*b - 6. Sort b, 5, -3.
-3, b, 5
Suppose -3*p = -5*b - 69, -3*p - b = -2*p - 31. Sort p, 5, 2/5 in increasing order.
2/5, 5, p
Suppose -3*m - m - 2*u + 8 = 0, 5*m + 2*u = 10. Sort -5, -1, m, 0 in decreasing order.
m, 0, -1, -5
Let a = -3 + 6. Let d be 6*(-4 - 50/(-15)). Sort d, a, -5 in descending order.
a, d, -5
Let f be 1/(3 + (-2 - 0)) + 2. Let i be (-4)/8*10 + 2. Suppose -4*o = o + 3*v + 22, 0 = -2*o - v - 8. Sort f, o, i in decreasing order.
f, o, i
Suppose 5*a - 10 = 5. Suppose -a*g = u - 21 + 9, -4*g + 16 = -2*u. Sort 1, g, 2 in increasing order.
1, 2, g
Let z(o) = -o**3 + o**2 - o + 1. Let w be z(0). Suppose 0 = 4*l - 3*f - 25, 5*l = -f + 16 + w. Put l, -1, -0.5 in descending order.
l, -0.5, -1
Let n be ((-6)/4)/(3/(-6)). Suppose 0 = -n*f + 2*f + 12. Suppose u - 5*v = -3, -5*u + 0*v - 2*v = -f. Sort 1/2, u, 0.02 in decreasing order.
u, 1/2, 0.02
Let f(x) = -5*x + 0 + 5 + x**2 + 1. Let v be f(4). Suppose -v = h - 3*h. Put 3, -5, h in increasing order.
-5, h, 3
Let g = 0.35 + 0.05. Let f = -3.63 + 0.03. Let t = f - g. Sort -5, 1, t in increasing order.
-5, t, 1
Let j = -1 + 4. Suppose -j*m - 3 = -0*m. Sort -2, 3, m in descending order.
3, m, -2
Let l = 10.01 - 0.01. Let j = l - 5. Let v = j + -4.7. Put 0, v, 1/4 in increasing order.
0, 1/4, v
Let a(g) = 2*g**2 + 14*g - 3. Let t be a(-7). Put 1, 14, t in increasing order.
t, 1, 14
Let p be 1/(-4)*0 + (-2)/2. Let x(k) = k**3 + 4*k**2 + 2*k + 1. Let w be x(-3). Sort 2, w, p.
p, 2, w
Let k = 7 - 7.1. Sort 0, 2, k in decreasing order.
2, 0, k
Let k = -0.09 - -5.09. Put 0.5, k, 42, 1/3 in increasing order.
1/3, 0.5, k, 42
Suppose -2*s + 2 = 0, s - 2 = -f + 1. Suppose -i = f*i. Let g be (3/6)/(1/2). Put g, i, -3 in increasing order.
-3, i, g
Let o = -60/451 + -2/41. Let l = 0.2 + -0.3. Put l, -3, o in decreasing order.
l, o, -3
Let l = 6.9 + 0.1. Put 1/3, 0, l in increasing order.
0, 1/3, l
Suppose -5*t - 33 = 3*l, -27 = -t + 5*t + 3*l. Put t, -1, 0.4 in increasing order.
t, -1, 0.4
Let f = 96 + -96.2. Sort -5, f, 17 in decreasing order.
17, f, -5
Let a = -83/728 + -3/104. Let z be ((-2)/4*-10)/1. Sort -1/2, a, z.
-1/2, a, z
Let t = -10 + 14. Let d be 3/4 + 5/20. Sort 9, t, d in decreasing order.
9, t, d
Let v = 0.66 + -0.06. Let o = -5.598 - 0.002. Let a = o + v. Put 2, 0.3, a in ascending order.
a, 0.3, 2
Suppose 0 = -5*n - 5*o - 55, 0*n + 4*o = -3*n - 34. Let v = -7 - n. Sort 0.2, v, 1/2.
0.2, 1/2, v
Let v(o) = -26*o + 4. Let s be v(-5). Suppose 29 = -4*u - 23. Let f be 2/u + s/26. Put 0, -1, f in descending order.
f, 0, -1
Let a(g) = g**2 - 5*g + 5. Let z be a(4). Suppose 5*s - 18 = 7. Sort s, z, -1 in ascending order.
-1, z, s
Suppose 0 = 3*x - w + 5, -2*w + 9 = -3*x + w. Sort x, 4, 1, 3 in increasing order.
x, 1, 3, 4
Let o = -0.1 - 0.1. Let k be (((-8)/(-18))/4)/(3/18). Sort 0.4, k, o.
o, 0.4, k
Let i = -367261/387 + 949. Let k = -641/774 - i. Put 0.1, k, -0.5 in decreasing order.
0.1, -0.5, k
Let k be -1 - (3 + -9) - 0. Sort -3, k, -2.
-3, -2, k
Let v(h) = -h**2 - 8*h + 3. Let q be v(-5). Let n be (3/24)/((-2)/290). Let m = q + n. Put m, -4/5, 5 in decreasing order.
5, m, -4/5
Let z(g) = -g**3 + 1. Let k be z(-2). Suppose 0 = 2*h - r - 7, 0 = 2*h + 4*r + k - 31. Let w(x) = -x + 2. Let p be w(h). Put 0, 2, p in decreasing order.
2, 0, p
Let s = 57 + -52. Put s, 1, -1/4, -0.8 in ascending order.
-0.8, -1/4, 1, s
Let n(h) = -h**2 + h + 3. Let q be n(0). Suppose 9 = -0*m + q*m. Let v be ((-4)/2)/((-14)/(-21)) + -1. Sort m, v, 2.
v, 2, m
Let b = -2.47 + -0.33. Let h = b + 0.8. Put -0.4, 0.5, h in decreasing order.
0.5, -0.4, h
Suppose z + 5*a - 1 = 3, 0 = 5*z + 5*a - 20. Let f be 2/(-3)*30/(-20). Sort z, 2, f.
f, 2, z
Suppose 2*u = 3*k - 18, -4*k + 15 = -1. Let c(v) = 1 + 0 + 0*v**2 + v**2 + 4*v. Let h be c(u). Sort -4, 0, h.
-4, h, 0
Let w be 0 + -1 - (-8)/20 - -1. Sort -2/9, 8, w.
-2/9, w, 8
Let t(z) = 2*z - 3. Let a be t(3). Let j(l) = l**2 + 13*l + 12. Let x be j(-12). Suppose x = -4*r - 0*r - 12. Sort r, a, -0.4 in increasing order.
r, -0.4, a
Let m = 61 + -25. Let j be (2/(-6))/(12/m). Put -3, j, -2 in descending order.
j, -2, -3
Let c = -0.04 - -2.04. Let h = 3.98 - -0.02. Let n = h - 8. Put n, c, -0.1 in ascending order.
n, -0.1, c
Let t be (-2)/7 + 46/14. Suppose y - 2 = -3*n, 4*y + 2 = 5*n + 27. Let f(m) = -3*m**3 + m**2 - m - 1. Let z be f(n). Sort t, z, -4 in decreasing order.
z, t, -4
Let r = -0.251 - -2.271. Let d = -0.02 + r. Let s = d + -1. Sort -5, s, 4 in increasing order.
-5, s, 4
Let m = 8 - 6. Suppose -u = m*n + 5, 5*u - u + 3*n = -10. Let i be ((-2)/4)/(2/(-24)). Sort i, u, -2 in descending order.
i, u, -2
Let a be (-2)/(-14) + 39/21. Put 1, a, -1 in descending order.
a, 1, -1
Let l = 0.406 + -42.706. Let y = l + 33. Let w = 9 + y. Put 0.5, w, -6 in increasing order.
-6, w, 0.5
Let n be (-9)/(-63) + (-1)/(-7)*-3. Sort -1, n, 2/3, -2/9 in increasing order.
-1, n, -2/9, 2/3
Suppose -6*c = -43 + 511. Sort c, 1, -1 in increasing order.
c, -1, 1
Let t(f) = -f**2 - 12*f - 37. Let u be t(-5). Let i(a) = a + 2. Let c be i(4). Let n = -2 + c. Sort -5, n, u in decreasing order.
n, u, -5
Let a(g) = g**3 - 2*g + 1. Let w be a(2). Let l be 1 - 9/(-6)*2. Sort -5, l, w in increasing order.
-5, l, w
Let h be (1 - 0)*(3 - -1). Let b(q) = q - 3. Let w be b(11). Suppose -w = 4*r + 4. Sort r, 3, h in increasing order.
r, 3, h
Let f = 4/33 + -247/132. Sort f, -0.1, -2.
-2, f, -0.1
Let b = 0 - -4. Suppose 0*d = -5*l - d + 10, -b*l + 3*d = -27. Suppose l*y = -0 + 6. Sort -3, y, -4 in descending order.
y, -3, -4
Let i = -4 + 13. Let f = i + -5. Put 0, 1/7, f in descending order.
f, 1/7, 0
Suppose 16*f - 35 = 21*f. Sort -1, 4, f, 0.5.
f, -1, 0.5, 4
Suppose -6 = 3*r - 0*r. Let y be -1 - (0 - 2) - 5. Let p = 8 - 5. Sort r, p, y.
y, r, p
Let j = -4 - -8. Let p(a) = a + 14. Let o be p(-18). Put j, o, 3 in decreasing order.
j, 3, o
Let u = 12.8 + -13.1. Sort 4/3, u, -2/15, 3 in decreasing order.
3, 4/3, -2/15, u
Let n = -32 - -220/7. Suppose 5*j + 4*b = -17 - 20, b - 7 = 2*j. Sort j, n, -0.2.
j, n, -0.2
Let s = 0.91 - 0.21. Put 5, s, 2/11 in ascending order.
2/11, s, 5
Let y = 1.3 + -0.3. Let d = -5 - -5.3. Let i = -0.5 + d. Sort i, y, 4/3 in descending order.
4/3, y, i
Suppose s - 3*n + 35 = 1, 3*n = -4*s - 121. Put -0.4, -1, s in descending order.
-0.4, -1, s
Let g(x) = 5*x + 27. Let o be g(-5). Put -4, o, 0, 5 in descending order.
5, o, 0, -4
Let n = -0.16 + 0.36. Let d = -0.1 + 0. Let l = 14 - 13.5. Sort d, l, n.
d, n, l
Suppose 2*q - 20 = -2*q. Suppose -2*o = -v - 4*o + 5, 0 = o - 3. Put v, q, -4 in decreasing order.
q, v, -4
Let m = 19 + -19. Suppose z + 4*z - 25 = m. Sort -4, 0, z in descending order.
z, 0, -4
Let r = 19 - 5.1. Let z = r + -14. Let c = 0 - -5. Sort 1, z, c.
z, 1, c
Let p = 1362 - 8129/6. Let z = p + -7. Let j be (-3)/(1 + 0) + 200/120. Sort -0.4, z, j in descending order.
z, -0.4, j
Suppose -3*n + 0*n = 0. Let g be 1 - (-2 + 5 + n). Sort g, -5, -1 in descending order.
-1, g, -5
Suppose 0*q - 5*q + 5 = 0. Let y = 13 - 8. Suppose -t - 5*g - 16 = -5*t, -5*g + 12 = 3*t. Sort t, y, q in ascending order.
q, t, y
Let r = 2 - 3. Let p = 6 + r. Sort p, -1/2, 4 in ascending order.
-1/2, 4, p
Let p be (10/2 + -2)*-1. Let w(u) = -u**3 - 2*u**2 + 4*u + 2. Let r be w(p). Sort r, 5, 0 in decreasing order.
5, 0, r
Let g(f) = -f**2 - 3*f + 2. Let l be g(1). Sort 0, 3, l in decreasing order.
3, 0, l
Let s(x) = 2*x + 2. Let c be s(-3). Let d = -1 - -1. Suppose -l - 8 = -2*l - 5*v, d = 2*l + 2*v. Sort c, l, -1 in descending order.
-1, l, c
Let h be 52/14 - (-10)/35. Let m be (3/(-2))/(9/(-12)). Suppose 0 + m = 5*y + a, 4 = 2*a. Put -2, y, h in increasing order.
-2, y, h
Let v = -72 + 73. Sort -9, -0.4, v in increasing order.
-9, -0.4, v
Let y = -91/3 + 30. Put -2/11, y, 3 in decreasing order.
3, -2/11, y
Suppose -2 + 6 = 2*v. Sort v, 18, -1 in ascending order.
-1, v, 18
Suppose 2*s = 5*s. Suppose 2*p = -3*f - 27, 0 = 4*p + 2*f - 3*f + 19.