4. Let u = -0.7 + 4.7. Let r = u + -3. Sort 2, r, h in decreasing order.
2, r, h
Let z = -18.2 + 18. Let t = -1.9 + 2. Let x = z + t. Sort -3/2, x, 2/5 in ascending order.
-3/2, x, 2/5
Let l be -5*2*4/(-8). Put 3, l, -1 in increasing order.
-1, 3, l
Suppose 0*a - 6 = 2*y + 2*a, -y = -3*a + 11. Suppose 3*n - 4 = 4*n. Let f be n/(-14) + (-32)/14. Sort f, y, -3 in descending order.
f, -3, y
Suppose 10 = 2*i - w - 0*w, 0 = -i - 5*w - 6. Sort 1, i, -2.
-2, 1, i
Let s be 4/(-8)*(0 + 0). Suppose s = -x - x + 4. Put x, -5, 1 in increasing order.
-5, 1, x
Let o = -0.04 - -5.04. Let b = 10 - 61/6. Let s = -2 - -1.6. Put s, b, o in decreasing order.
o, b, s
Let f = -380/9 - -42. Sort -0.3, f, 3/7, 4.
-0.3, f, 3/7, 4
Let d = 3.1 + 0.9. Let f = -54 - -21. Let q = 299/9 + f. Put -1, q, d in decreasing order.
d, q, -1
Let n(m) = -m**2 - m - 8. Let y be n(0). Let a = 4 + y. Put a, 1, 3 in increasing order.
a, 1, 3
Let k = -8 + 4. Let c be ((-2)/14)/(k/(-24)). Put 0.1, c, -2 in decreasing order.
0.1, c, -2
Let v = -1.1 + 4.1. Let w = -3.5 + v. Sort 5, w, -0.2.
w, -0.2, 5
Let i be (-2)/7 - (-48)/364. Let w = -0.5 - -0.3. Let n = w + 0.3. Sort -4, i, n in decreasing order.
n, i, -4
Let u = -4 - -6. Suppose 2 = d, -2*f + 8 = -4*f + u*d. Let t = -0.3 - -0.5. Sort f, -0.4, t in ascending order.
f, -0.4, t
Let j(w) = 2*w**2 + 1. Let z be j(1). Let f = 0 + 2. Sort -4, z, f in decreasing order.
z, f, -4
Let i be (28/245)/(4/(-10)). Sort i, -4/13, -4/3, 5 in decreasing order.
5, i, -4/13, -4/3
Let g = 8 + -9.4. Let p = g - 3.6. Sort 0, p, -1.
p, -1, 0
Let j be (1 + -1 - -2)*5. Let h = 7 - j. Sort -4, h, -2 in descending order.
-2, h, -4
Suppose 12 = 3*a - 7*a. Suppose 5*q - 70 = 5*s, 3*s - 7 + 33 = -q. Let w = s + 6. Put -5, w, a in ascending order.
-5, w, a
Let r be (-9)/2*(-4)/6. Let k be -3 + (-2 + 1 - 0). Let f be (-15)/10 + 6/(-4). Sort f, k, r in ascending order.
k, f, r
Let i = -276 + 267. Suppose 4*r + 1 = -3. Put r, i, -4 in ascending order.
i, -4, r
Let r = -12 + 6. Let h = r - -1. Let u = 5.1 + h. Put u, -1/4, 1/3 in descending order.
1/3, u, -1/4
Let q(l) = -2*l - 8. Let z be q(-6). Let n = z + -3. Put 5, -4, n in increasing order.
-4, n, 5
Suppose 6*t - 3*t - 42 = 0. Suppose 0 = -c + 4*o - t, -3*o + 5 = -2*c - 3. Sort 5, -3, c.
-3, c, 5
Let p = -13.4 - -15.4. Put -1, 4, -0.02, p in ascending order.
-1, -0.02, p, 4
Let t be (-18 + 2)/4*1. Sort 1, t, 3 in decreasing order.
3, 1, t
Let d = 256 + -1789/7. Sort 0.9, -1/4, d in increasing order.
-1/4, d, 0.9
Let a = 23 + -23.5. Put 0, 0.5, -0.9, a in decreasing order.
0.5, 0, a, -0.9
Let i(s) = -s**3 + 2*s**2 + 3*s - 3. Let a be i(3). Let c(f) = f**2 + f - 3. Let p be c(0). Let y be p - -2 - (-9)/7. Sort -2/3, y, a in decreasing order.
y, -2/3, a
Let k = 0 + 5. Let l = 5 - k. Suppose 0 = -3*c - l*c. Sort 0.5, c, 1/4.
c, 1/4, 0.5
Let w = -101/4 - -25. Let a = -3 + 3.1. Put a, w, -4 in ascending order.
-4, w, a
Let t be 4/6 + 5/(-3). Let b(u) = u**3 + 6*u**2 + 4*u - 3. Let h be b(-5). Suppose -4*f = l - 5, h*f + 15 = 3*l - 0*f. Sort l, 1, t.
t, 1, l
Suppose q - 5*d - 8 = 0, -6*q + q = d + 38. Let j = q + 5. Sort j, -5, 4.
-5, j, 4
Let x = -431/174 + -2/87. Sort -15, x, 2.
-15, x, 2
Let u(f) = -f**3 + 15*f - 1. Let g be u(-4). Suppose k = 2*k. Let h(p) = p**3 - 5*p**2 - 5*p - 7. Let j be h(6). Put j, k, g in ascending order.
j, k, g
Suppose 2 = -63*r + 62*r. Sort 0, r, -10 in decreasing order.
0, r, -10
Let i = 56 + -58. Sort i, -4, -1, -10 in descending order.
-1, i, -4, -10
Suppose 0 = 5*c + 31 + 29. Let r(b) = b**2 + 11*b - 15. Let g be r(c). Put g, -2, -1 in descending order.
-1, -2, g
Let a = -6.26 + 6.3. Let i = 11 + -11.24. Let f = i + a. Put -0.3, f, -0.5 in ascending order.
-0.5, -0.3, f
Let s be -6 - (1 + -2) - 2. Let m = s + 8. Suppose -t + m = -0. Put t, -1, -4 in descending order.
t, -1, -4
Suppose 14 + 1 = 5*v. Let i be ((-10)/(-2))/(-3 + 2). Put -3, v, i in decreasing order.
v, -3, i
Let u = 0.247 - 0.047. Let v(d) = 7*d + 1. Let l be v(-1). Let r = -10 - l. Sort r, 2, u in decreasing order.
2, u, r
Let n = 0 - -0.1. Let w = n + -3.1. Let d be 68/(-42) - (8 + (-174)/21). Sort 0.1, d, w in decreasing order.
0.1, d, w
Suppose 4 = -2*c + c. Suppose 2*l + 6 = -v, 3*l - 3 + 11 = -v. Sort l, c, 1.
c, l, 1
Let t = 3 - 5. Let l = -72 + 71. Sort 1, t, l in decreasing order.
1, l, t
Suppose 0 = 3*s + 2*v + 4, 0*v = -4*v - 20. Let d(a) = a**2 + 6*a - 9. Let x be d(-7). Sort x, s, -5 in decreasing order.
s, x, -5
Let g(z) = -z + 5. Let r be (40/6)/5*6. Let y be g(r). Let u be 5/((9/3)/y). Sort 3/4, -0.6, u.
u, -0.6, 3/4
Let i(z) = -2*z + 2. Let b be i(0). Sort b, -5, 1 in ascending order.
-5, 1, b
Let w(u) = u + 7. Let h be w(-6). Let z(p) = p**3 - 12*p**2 - 13*p + 3. Let i be z(13). Sort i, -2, h in increasing order.
-2, h, i
Let p = 42 - 44. Sort -1, 12, p.
p, -1, 12
Suppose 9*w - 15 = 4*w. Let h be -1 + w + (-48)/28. Let x = -0.7 + 1.2. Put x, h, 0.1 in ascending order.
0.1, h, x
Let n be 29/66 - (-9)/(-54). Put 3, -2/3, n in ascending order.
-2/3, n, 3
Let b be 1*1*5/1. Let h(s) = -3*s + s + s. Let j be h(-2). Sort b, 4, j.
j, 4, b
Let s = -0.01 - 0.04. Let c = -0.15 - s. Put 5, 2/23, c in descending order.
5, 2/23, c
Let v(x) = x. Let o be v(-4). Let p = 0.14 - 0.34. Sort 2/9, p, o in increasing order.
o, p, 2/9
Let z be -2 - -2 - (1 - 2). Let c = -2 + z. Let j = -11 - -6. Put j, c, 2 in decreasing order.
2, c, j
Let a = 6/13 + 1/26. Sort -1/23, a, -5 in increasing order.
-5, -1/23, a
Let k(q) be the first derivative of q**4/4 - 4*q**3/3 + 5*q**2/2 - 2*q + 2. Let a be k(3). Let t = -18 + 21. Put t, 5, a in increasing order.
t, a, 5
Suppose -f = 3*j - 7*j + 46, -5*f - 65 = -5*j. Suppose 3*c + 12 = -2*c - 3*y, -5*c - 4*y = j. Sort -7, c, -1 in decreasing order.
-1, c, -7
Let z = 2 + -1. Let b be 0 + 9/7 - z. Let p = -11.3 - -11.2. Put b, p, -1 in decreasing order.
b, p, -1
Let p(c) = c**3 + 2*c**2 - 3*c - 3. Let f be p(-2). Suppose 0 = -0*n + f*n. Let l(d) = d**3 - 8*d**2 + 6*d + 5. Let y be l(7). Sort y, 4, n in decreasing order.
4, n, y
Let s be (-15 + 15)*(1 + -2). Suppose -q = -s*c - 3*c + 8, -2*c - 3*q + 20 = 0. Sort c, 3, -6 in increasing order.
-6, 3, c
Let w = 0 + -0.5. Let y = -0.05 + 0.25. Sort w, y, 3.
w, y, 3
Suppose 1 + 35 = 2*c. Suppose -d = o + d + 7, 3*d + c = o. Put -2, -4, o in descending order.
o, -2, -4
Suppose 3*m - 15 = -2*m. Suppose m = 2*p + 1. Let w = 13 + -13. Put w, -3, p in increasing order.
-3, w, p
Suppose 19*f = 16*f + 6. Put 3, f, -9 in increasing order.
-9, f, 3
Let k(i) = 5*i + 16. Let z be k(-4). Sort z, -2, -1 in decreasing order.
-1, -2, z
Let i be -2 - ((-1)/(-3) - (-8)/(-3)). Put 0, 2/3, i in descending order.
2/3, i, 0
Let l = -105 - -110.1. Let y = l - 5. Sort y, 1, 0.3 in decreasing order.
1, 0.3, y
Let g = -0.05 - 1.95. Let t(d) = 3 + 2 + 11*d + 2 + d**3 + 11*d**2. Let f be t(-10). Put f, 0.3, g in ascending order.
f, g, 0.3
Let d = 0.23 - 0.33. Put 0.3, 2/9, d in ascending order.
d, 2/9, 0.3
Let v be (2 + 1)*3 + -2. Suppose v = -3*c + 16. Suppose -r - c = 2. Sort 0, 3, r.
r, 0, 3
Suppose -6*j + 18 - 6 = 0. Sort 0.5, 3, -1, j.
-1, 0.5, j, 3
Suppose -8*m + 4*m = u - 7, -2*m + 7 = -3*u. Sort 3, -10, 5, u in increasing order.
-10, u, 3, 5
Let k = -3 - -7. Let y = 4 - k. Put -2, y, -4/3 in increasing order.
-2, -4/3, y
Let r = -7 + 3. Let x = 64 + -63. Put x, -3, r in decreasing order.
x, -3, r
Suppose -2*q + 5*g - 187 = -0*g, 4*q + g = -363. Let m be 64/78 + 14/q. Sort m, 0, -0.4 in ascending order.
-0.4, 0, m
Let z = 17 - 21. Put z, 1/5, 2 in descending order.
2, 1/5, z
Suppose 63 = 3*g + 2*b - 5*b, -3*b = g - 5. Sort g, -4, 4.
-4, 4, g
Let z be (0 + -2)*30/(-20). Sort 1, z, -2 in descending order.
z, 1, -2
Suppose -t = t - 2*x + 6, 18 = -5*t + 2*x. Let h be 28/4 + -1 + -1. Suppose 13 = 2*c - 3*z, -7 = 3*c + c + h*z. Sort 5, t, c in ascending order.
t, c, 5
Suppose 3*i - 4*i = 0. Suppose -w + 0 + 1 = i. Let x = 11 + -8. Put 5, x, w in descending order.
5, x, w
Let r = -8.21 + 0.21. Let m = -12 - r. Let k = -14 + 14. Sort k, m, 1 in decreasing order.
1, k, m
Suppose 0 = 9*c - 7*c + 4. Suppose -2 = -3*a + 4. Put c, 0, a in descending order.
a, 0, c
Let l(x) = 6*x - 1. Let t be l(1). Let q be (-2)/6 + (-4)/(-3) + -1. Put t, -5, q in ascending order.
-5, q, t
Let u = 