4. Sort 2, v, q.
q, v, 2
Let h = -1435 - -1438. Sort h, -387, -2, 1 in ascending order.
-387, -2, 1, h
Let q be (21/(-210)*-5)/((-6)/4). Let w = -0.2 - 2.8. Sort 0.18, w, q.
w, q, 0.18
Let q = 74.46 + 2.54. Sort q, 0.4, -1/7, 1 in descending order.
q, 1, 0.4, -1/7
Let u = 8 - 6. Let v = -1036/5 - -208. Put u, -3, v in increasing order.
-3, v, u
Let i = -0.438 - -0.238. Put 2, -5, i, 1/10 in decreasing order.
2, 1/10, i, -5
Let w = -1575.6 + 1576. Put -5, -2, 5, w in ascending order.
-5, -2, w, 5
Let o(v) = v - 38. Let z be o(16). Let c be (-2)/11 + 0 - (-62)/z. Put c, -1, -13 in descending order.
-1, c, -13
Suppose 3*j + 84 = 5*z, -z = 3*j + 1 - 25. Suppose 0 = 4*m + 14 - z. Let p = 0 - -0.1. Sort p, m, -4 in ascending order.
-4, p, m
Let f be (9/(-15))/((-1)/(-5)). Let l be 1/(-3*(1 + -3)/(-6)). Put 0.3, f, -6, l in ascending order.
-6, f, l, 0.3
Let l = 179 + -171. Put -0.01, -0.4, l in decreasing order.
l, -0.01, -0.4
Let a = 2.49 + -2.09. Put -1/6, -3, a, -6 in decreasing order.
a, -1/6, -3, -6
Let b = -421 - -418. Sort b, -2, -12, 4 in increasing order.
-12, b, -2, 4
Suppose 8*s - 10*s = -14. Sort -5, 3, s in decreasing order.
s, 3, -5
Suppose -3*g + 1 = i, 11 = -3*i - g + 6*g. Suppose 5*a + 0*s - 10 = -3*s, 0 = -5*s. Suppose -a*z + 9 = -5*z. Sort z, i, -4 in increasing order.
-4, z, i
Suppose -h - 6*a = -4*a + 26, 0 = -2*a + 10. Let b be (-112)/(-180) - (h/(-15) - 2). Sort 2, 1, b, -1 in ascending order.
-1, b, 1, 2
Let z be (-26)/(-10) + (-20)/(-50). Let t be (-1)/(5/2 - z). Sort -4, t, -3 in increasing order.
-4, -3, t
Suppose l + 5 = -0*l. Suppose -10*w - 21 = -1. Let v(b) = -10*b**3 - 2*b**2 - 2*b - 1. Let p be v(-1). Sort p, w, l.
l, w, p
Suppose 9 = 4*z - 2*t - 45, -5*z + 90 = 5*t. Let q = 74 + -58. Suppose q*f = 21*f - z. Sort -2, 1/2, f in increasing order.
-2, 1/2, f
Let w be (-1)/(-12)*(4 - 7). Put 83, w, 4 in ascending order.
w, 4, 83
Let a be 70/504*4*3/5. Put a, -0.2, -3, -97 in descending order.
a, -0.2, -3, -97
Let m be (2 - 1) + 40/(-25). Suppose 3*p + 6*w = 2*w + 78, 4*p - 104 = -2*w. Let b = p + -79/3. Put -5, b, m in increasing order.
-5, m, b
Suppose -5*b + 21 = 1. Suppose 6*x - b = -28. Sort 4, 2, x.
x, 2, 4
Suppose 5*s + 5*q = s - 15, 0 = 4*s - q + 21. Let z = 7 - 7. Let w = 0.1 - z. Sort s, w, 0.2.
s, w, 0.2
Suppose -4*d = -0*d + z + 121, 5 = -z. Put d, -2, -5 in descending order.
-2, -5, d
Let o = 0.039 + 33.961. Let x = 39 - o. Let h = 7.7 + -8. Sort h, -1, x.
-1, h, x
Let k(b) = -b**2 + 4*b + 27. Let t be k(11). Let d be 15/t*(-5)/(-9). Sort -0.2, d, -3 in ascending order.
-3, -0.2, d
Suppose 2 = 5*g + 7. Let j(x) = -x**3 - 6*x**2 - x - 3. Let q be j(-6). Let o = -75 + 80. Sort o, g, q in decreasing order.
o, q, g
Let h = 2.5 + -0.5. Let t be -1 - 4/(-7*(-2 + 16/28)). Sort h, -4, t.
-4, t, h
Suppose 4*y + 18 = 2*l + 2, 0 = -5*y - 2*l - 2. Let s = 6474 - 6473. Sort 5, y, s, 11 in increasing order.
y, s, 5, 11
Let v(d) = -d**2 + 6*d + 4. Let z be v(5). Let t be (78/65)/((-2)/5). Sort z, 0, t.
t, 0, z
Suppose 3*r - 12 - 3 = 0, 5*r - 29 = -2*k. Sort 5, k, -6, 10 in ascending order.
-6, k, 5, 10
Let g = 2.5 - 7.5. Let i = 0 - g. Sort -18, -1, i, 2 in ascending order.
-18, -1, 2, i
Let g = -65 - -65. Sort -13, g, -2, 3 in ascending order.
-13, -2, g, 3
Suppose z - 2*s = 1 - 2, -7 = z - 4*s. Let o = -17 + 20. Put -5, z, o in increasing order.
-5, o, z
Let t = -1/693 + -689/2772. Sort 0.2, -0.1, t, -0.011.
t, -0.1, -0.011, 0.2
Let u(d) = d**3 + 28*d**2 + 51*d - 13. Let l be u(-26). Put -1, l, -4, -2 in descending order.
l, -1, -2, -4
Let t = -129 + 129. Let m be 32/66 + (-6)/9. Put m, 0.05, t in decreasing order.
0.05, t, m
Let q(j) = 3*j + 51. Let u be q(-17). Suppose -2*g + 14 - 18 = u. Put 4, -9, g, 3 in decreasing order.
4, 3, g, -9
Let y be ((351/(-52))/(-27))/(6/(-8)). Let a = -0.1 - 0.1. Put 5, a, y, -4 in decreasing order.
5, a, y, -4
Let k = -7 - -4. Let m = 1.3 - 0.3. Let n = m + 2. Put 2/5, k, n in descending order.
n, 2/5, k
Let o = -150 - -150. Let r = 43 - 24. Suppose 5*d + r + 1 = o. Put 3, 0.5, d in descending order.
3, 0.5, d
Let d be 54/(-10) - (1034/(-110) - -9). Put -17, -2, 7, d in decreasing order.
7, -2, d, -17
Let r = 546 + -546. Put -2, -1/3, -0.01, r in increasing order.
-2, -1/3, -0.01, r
Let z = 886 + -899.33. Let o = z - -0.33. Let c = 14 + o. Put -1, 0, c in descending order.
c, 0, -1
Let o be (120/(-100))/((-3)/5). Suppose -o*x - 4 = -c - c, 0 = -3*x + 5*c - 4. Put 1, x, -1 in decreasing order.
1, -1, x
Let h = 25 - 22. Let u be 1/(-4) + 21/(-12). Let s(v) = 2*v**3 + v**2 - v. Let b be s(1). Sort b, u, h in ascending order.
u, b, h
Let a be 2/(14/(-1))*2. Let r(i) = i**3 + 21*i**2 - 2*i - 43. Let z be r(-21). Sort z, a, 3 in decreasing order.
3, a, z
Let z = -253 - -258. Sort -0.4, z, -1/2, 3/2 in decreasing order.
z, 3/2, -0.4, -1/2
Let y = 2488.91 - 2490. Sort y, 1/3, -0.9 in decreasing order.
1/3, -0.9, y
Let r = 5.108 - 0.108. Sort 0.2, r, 4, -2 in descending order.
r, 4, 0.2, -2
Let h be (-4)/7 + 1 - 0. Let t = -924 + 927. Put 5, h, t in decreasing order.
5, t, h
Let l = -4.08 - -0.08. Let f = 14 + -17. Let t = -0.3 - -1.3. Sort f, l, t in increasing order.
l, f, t
Let g be ((-14)/(-10) - 1)*-5. Let v = 8.663 + 0.037. Let j = v + -8.9. Put 3, g, j in decreasing order.
3, j, g
Let x = -19 - -18. Suppose -l - 10 = 3*p, l - 3*p = 1 + 19. Suppose -22 + 2 = l*z. Sort -5, x, z.
-5, z, x
Let j be 1/(-2) - 27/(-6). Let o = 36 + -20. Sort o, -3, j in decreasing order.
o, j, -3
Let s(c) = -c - 5. Let y be s(-3). Let f = -47 - -42. Let j be 0 + 2 + (-4 - f). Sort y, 0, j in descending order.
j, 0, y
Let j(i) be the first derivative of -i**3/3 - 3*i**2/2 - 2*i + 3. Let y be j(-1). Put y, -5, 1 in ascending order.
-5, y, 1
Let w = -360 - -364. Sort -1, w, 73 in increasing order.
-1, w, 73
Suppose -2*k = 3*b + 4 + 18, 0 = 4*b - 3*k + 35. Suppose 4*j - 2*w = 70, 2*j = 4*w - 9*w + 65. Let x be 2/(j/b - -3). Sort 5, x, 3 in ascending order.
3, x, 5
Let j = -536 - -536. Put 5, -11, 1, j in decreasing order.
5, 1, j, -11
Let u(w) = w**3 + 9*w**2 + 6*w + 6. Let c(m) = m**3 + 10*m**2 + 7*m + 6. Let o(r) = -4*c(r) + 5*u(r). Let q be o(-5). Sort 2, 0, q.
q, 0, 2
Suppose 13*v = 17*v + 164. Let n = 124/3 + v. Put n, -4, -2/17 in descending order.
n, -2/17, -4
Let q = -19.7 - -20.7. Suppose -4*j + 21 = 2*t - 11, -28 = -4*j - t. Let m(k) = -k**3 + 7*k**2 - 7*k + 9. Let f be m(j). Put -4, f, q in ascending order.
-4, q, f
Let h = 574 - 579. Put 0, 3, h, 4 in descending order.
4, 3, 0, h
Let f = -7 - -7.05. Let h = -11.05 + f. Let i = h + 11. Put 4, i, 4/7 in ascending order.
i, 4/7, 4
Suppose c - 3 = -2*r - 0*c, 0 = 3*r - 3*c - 18. Suppose -5*z + r = -12. Suppose -3*p - 4 = -5*t, -t - 7 = 340*p - 338*p. Sort -2, z, t in decreasing order.
z, t, -2
Suppose o + 2*o - 6 = 0. Sort o, 1/12, 12.
1/12, o, 12
Suppose 12 = -5*h - 0*s + s, 2*s = -h - 9. Suppose -y = y. Let m(l) = -l**2 - 19*l - 92. Let g be m(-10). Put g, y, h in decreasing order.
y, g, h
Let p = 282.1 - 283. Let a = -0.06 - -0.56. Put a, p, 5 in descending order.
5, a, p
Let p = 48/17 + -319/119. Sort -2, p, -2/131.
-2, -2/131, p
Let u = -0.082 - -7.082. Let d = -6.9 + u. Put d, 1/3, -1 in descending order.
1/3, d, -1
Let s = -190 + 183. Put 11, 2, s in increasing order.
s, 2, 11
Let h(p) = -3 - p + 0 - p + 6*p. Let u(f) = -4*f + 3. Let x(r) = 5*h(r) + 6*u(r). Let c be x(2). Put c, 4, 3 in descending order.
4, 3, c
Suppose 5*w = 3*l - 34, l + 2 = -0*l - 5*w. Let g(n) = 4*n**3 + 3*n**2 - 3*n. Let k be g(-3). Let t be (15/l)/(k/32). Put -2, -5, t in descending order.
t, -2, -5
Suppose 1572*v = 1579*v. Put v, -5, 108 in increasing order.
-5, v, 108
Let z = 1 - 4. Suppose 5*j + 29 = 54. Sort -2, j, z in descending order.
j, -2, z
Let l be 1/(-2)*(-840)/(-28). Sort l, -2, 1, 5 in ascending order.
l, -2, 1, 5
Suppose 0 = -5*f + 4*y - 42, 3*y + 3 - 6 = -f. Let w be 2/f*(5 - (4 + 4)). Let h be (6/8)/((-2)/8). Sort h, -2, w in increasing order.
h, -2, w
Let t be 45/(-165)*6134/6. Let i = 279 + t. Put 0.19, 2/7, i in ascending order.
i, 0.19, 2/7
Suppose 11 = 3*f + 5. Suppose 0 = -3*x - f*x + 15. Let i = 3 - -1. Sort x, i, -2 in ascending order.
-2, x, i
Suppose 0 = -3*g - 2*x + 4, 0 = 2*g - 7*g - 4*x + 10. Sort -4, g, 1, -1 in increasing order.
-4, g, -1, 1
L