4. Let l(y) = 4*y - 15. Let a be l(4). Suppose -135*s + 134*s - 5 = 0. Put x, a, s in increasing order.
s, a, x
Let b be ((-10)/(-5) - -123) + 2/(-1). Suppose -4*u = -303 + b. Let s be ((-36)/u)/((-4)/10). Sort -0.1, 7/3, s in ascending order.
-0.1, s, 7/3
Suppose -5*m - 11 = 3*s, -4*m + 26*s - 25*s + 15 = 0. Put 11, -4, -5, -3, m in decreasing order.
11, m, -3, -4, -5
Suppose 0 = h + 3*j - 2, -h - 1 = -10*j + 12*j. Let c(n) = -8*n - 47. Let z be c(h). Let d be 1*1/z + (-12)/(-54). Put -2, -1, d in increasing order.
-2, -1, d
Let f = -4237 + 4236.8099. Let k = f + -0.0099. Sort -2/37, 4, 5, k.
k, -2/37, 4, 5
Let y be 6 - 2/(-3 - -4). Let c = -167 + 167. Suppose c = p - 2 + 6, 5*h - 17 = 3*p. Sort h, -2, -5, y in decreasing order.
y, h, -2, -5
Suppose -5*q + 10 = y, -y = 3*q - 1 - 3. Put q, -837, 4, -1 in decreasing order.
4, q, -1, -837
Let r = 2 + -5. Let t = -1481/7 + 212. Let i be ((-12)/(-32)*-6)/(-3). Sort t, i, r.
r, t, i
Let x = 1 + -1.4. Let b be -1*((-9)/(-45))/(9/15). Sort b, -9.3, x in increasing order.
-9.3, x, b
Let c = -0.2587 + 3.2587. Put 0, -23, -0.2, c in decreasing order.
c, 0, -0.2, -23
Let q = -3554 + 3544. Let m be (-8 - -13)*(-6)/(-10). Sort 2/5, q, m in decreasing order.
m, 2/5, q
Let n = -68.45 + 69. Let h = -1.25 - n. Sort 0, h, 2.
h, 0, 2
Let i = 3318 - 3315. Sort -1, i, 2.1, -2/11.
-1, -2/11, 2.1, i
Suppose -s - 16 = -3*n, 16*n + 6 = 14*n. Put s, 3, -1, 4 in increasing order.
s, -1, 3, 4
Let j = -1784 - -1757.4. Put -4, -1, j in decreasing order.
-1, -4, j
Let x = -22.4 + 22. Let f = -0.00519 + 0.50519. Sort 3, x, f, -4 in descending order.
3, f, x, -4
Suppose 4 = -7*m + 5*m + s, -m = 4*s + 11. Let f be (-6 - -1)/((6/2)/(-15)). Put 5, f, m in descending order.
f, 5, m
Let q = -11526 + 11524. Sort q, 0.099, 2 in descending order.
2, 0.099, q
Let a(b) = b**2 + 26*b - 86. Let y be a(-29). Let l be 3 + (-130)/28 + 2. Let t = l - 31/126. Put t, y, 1/3 in decreasing order.
y, 1/3, t
Let i(w) = -2*w**2 - 10*w + 14. Let g be i(-6). Suppose 10 = x + 3*c, c = -7*x + 3*x + 29. Let o = x - 4. Put g, o, -5 in increasing order.
-5, g, o
Let d = 0.45 + -65.45. Let a = 3623 - 3677. Let t = a - d. Put -2, 0.3, t in decreasing order.
t, 0.3, -2
Let g = 1479/7 + -211. Suppose -4*k - 227 = 3*c + 238, 245 = -2*k + c. Let q be ((-2)/6)/(8/k). Sort 0.5, q, g in decreasing order.
q, 0.5, g
Let s be ((-20)/(-80))/((-4)/(23 + 1)). Let q = -0.051 + -15.449. Let r = 16 + q. Sort -4, r, s, 9 in descending order.
9, r, s, -4
Let k = 922 - 473. Put -2, 4, k in increasing order.
-2, 4, k
Let i = 1 - 1. Let c be (-40 + (-1950)/(-52))*-2. Let t(o) = o - 9. Let r be t(-3). Put i, r, c, 3 in ascending order.
r, i, 3, c
Let i(c) = 3*c**3 - 31*c**2 + 3*c + 16. Let z be i(7). Let j = 478 + z. Sort j, 1, -4 in descending order.
j, 1, -4
Let f be (392/35)/((-2)/(-5)). Suppose 0 = 2*w + 4*p - 6*p + 24, f = -3*w + 5*p. Sort -2, 0, w, -3 in ascending order.
w, -3, -2, 0
Let j = 4999/1710 + -53/18. Let v = 46 - 30. Suppose v = 4*l + 4. Sort j, 1/3, l.
j, 1/3, l
Let n be (-2760)/(-7728)*(-98)/(-5). Suppose -5*z = -3*z - 4. Sort n, -2, z, 6.
-2, z, 6, n
Let d(z) = 126*z + 5549. Let j be d(-44). Let l(c) = -c**2 - 1. Let u be l(0). Suppose 0 = -q - v - 1, 2*q + 5*v + 6 = 2*v. Sort j, 2, q, u.
u, 2, q, j
Let s = 6075 + -6073. Sort s, -10, -3, -42, 3 in decreasing order.
3, s, -3, -10, -42
Let n be (-9)/2*(-8)/12. Let i be (-1 - (-1)/(-3))*n/2. Let y be (i/(-12))/((-1)/(-9)). Put y, -6, -2 in increasing order.
-6, -2, y
Let l = -13.7 + 13.8. Suppose 3*g = 3*c + 45, -g + 4*c + 24 = -0*g. Suppose 0*p = -3*p + g. Put p, -2, l in descending order.
p, l, -2
Let q = -83 - -89. Let t = -1.44 + -1.56. Sort 0, q, t, 5 in decreasing order.
q, 5, 0, t
Let t = -6124 - -6135. Let f be 2 + 1/4*-5. Put 1, f, t in decreasing order.
t, 1, f
Let n = -869 - -1034. Let h be 44/n + (-2)/(-15). Sort h, 0.1, -0.04, -10.
-10, -0.04, 0.1, h
Suppose 5*z = 4*i - 8*i - 31, 2*z + 22 = -4*i. Suppose -a - 12*a - 13 = 0. Sort a, -2, -0.068, z.
z, -2, a, -0.068
Let q = 253467.5 - 253468. Let o = -3 + 2.8. Put q, -24, o in ascending order.
-24, q, o
Suppose -4*n = 16, 0 = -4*r - 5*n + n - 916. Let t = 227 + r. Sort t, 3, -2 in increasing order.
-2, t, 3
Let f = 1.73 - 7.58. Let n = 0.85 + f. Let y = 0.44 - -0.06. Put n, -0.1, y in descending order.
y, -0.1, n
Let q be (2115/105 + -13)/(4/14). Sort -132, -1/2, q.
-132, -1/2, q
Suppose -13*y = 8 + 44. Suppose 5*p + 0 = 5. Sort 26, y, p in descending order.
26, p, y
Let g = 8 - 8.447. Let t = g - -13.447. Sort 3, t, 5 in decreasing order.
t, 5, 3
Let h be (-5)/3 + 2/(-6). Let r be 4/(-14)*154/44. Put 7, h, r in ascending order.
h, r, 7
Let u = 53 + -8. Let l = u - 39. Suppose t + l*t - 7 = 0. Sort 0.3, t, -4, -0.2 in decreasing order.
t, 0.3, -0.2, -4
Suppose -55*h + 31*h = -34*h + 480. Put 2, 5, -2, -1, h in decreasing order.
h, 5, 2, -1, -2
Let h = -1486 - -1491. Sort h, -1, -74.
-74, -1, h
Let r(i) = -3*i**2 - 17*i + 11. Let k be r(-6). Let j(p) = -4*p**3 + p**2 + 2*p + 1. Let u be j(-1). Suppose 5 = -l + u. Sort -5, 4, l, k in descending order.
k, 4, l, -5
Let b(r) = 417*r + 9577. Let t be b(-23). Sort 11, t, -6, 4 in ascending order.
t, -6, 4, 11
Suppose -b = -6*b + 450. Suppose -22*i + 4*i = b. Sort 7, -2, i.
i, -2, 7
Let j = 78.6 - 78.8. Let b be -2 + ((-5)/(-4) - -2). Sort b, j, 2.
j, b, 2
Let g = 2 - 5. Suppose 0 = 4*p + 17*a, -97*a + 101*a = 4*p. Put -5, g, -4, p in descending order.
p, g, -4, -5
Suppose q - 6*q + j - 5 = 0, -3*q = j + 3. Let v(g) = -g**2 + 4*g. Let h be v(4). Suppose 3*n - 210 = 8*n + 37*n. Sort -3, q, h, n in descending order.
h, q, -3, n
Let o = 30.18 + -25.18. Put o, 0.5, -4, 2.307 in increasing order.
-4, 0.5, 2.307, o
Let p = 316 - 312. Let v be (p - ((-24)/(-6))/4) + -38. Put 3, 4, v, -1 in increasing order.
v, -1, 3, 4
Let r = 9098 - 9104. Put -1, -368, r in descending order.
-1, r, -368
Let r = -10450 + 10450.1. Put r, 134, 5, 1 in decreasing order.
134, 5, 1, r
Let q = -327 + 327. Let p be 4/6 + (-46)/60. Let n be 3/99*((1 - 4) + -3). Sort n, q, p, -1 in decreasing order.
q, p, n, -1
Let t = 6104 - 6068. Sort t, -2, -1.
-2, -1, t
Let o = 0.29 + -0.79. Let n = 31.8 - 3.8. Let u = -32 + n. Sort u, -6, -0.2, o in decreasing order.
-0.2, o, u, -6
Let f = -1 + 0. Let q be f - (-1)/(-4)*2. Let j = 0.989 + -1.489. Put -0.16, j, q in ascending order.
q, j, -0.16
Let d = -0.06 + 17.06. Let f = d + -15. Let x = 4026 - 4025.5. Sort x, -0.2, f, -1/4 in ascending order.
-1/4, -0.2, x, f
Suppose -2*i = -i - 2. Let w(c) = -65*c**2 + 92*c - 114. Let o be w(0). Put i, o, -2 in decreasing order.
i, -2, o
Let r = -73.889 + -0.111. Let m = r + 73.7. Let t be -2 + (60/14)/3. Put t, m, -2/3, -3 in increasing order.
-3, -2/3, t, m
Let w = 402 + -400. Suppose -8*g + 5*g = -3*u + 12, w*g + 17 = 5*u. Sort -5, 110, 4, g.
-5, g, 4, 110
Let y = 8982 + -8987. Sort y, -296, 5, 1 in descending order.
5, 1, y, -296
Let o(q) = -20*q + 176. Let x = -12 - -21. Let i be o(x). Let f be (-2 + 1)*(-10)/(-2). Sort 5, f, 1, i in descending order.
5, 1, i, f
Let u = -17 + 20.5. Let o be (-3 - 21/(-9)) + (-4143)/(-18). Let t = o + -229. Sort -3, t, -2, u.
-3, -2, t, u
Let o = 7.8 + -8. Let j = 14.232 + -32.932. Put o, j, 3 in descending order.
3, o, j
Let l be 0*(2793/10584 - (0 + 6/16)). Sort 201, l, 27.
l, 27, 201
Let u(h) = -7*h**3 - 5*h**2 - 15*h + 30. Let q(m) = -13*m**3 - 9*m**2 - 29*m + 60. Let o(c) = 6*q(c) - 11*u(c). Let z be o(5). Let n = z - -126. Sort n, 0, -3.
-3, 0, n
Let p be (2/4)/((-13)/(-78)). Let b = 3836 + -3839. Put -10, p, b in descending order.
p, b, -10
Let i = -9456 + 9479. Put 4, -5, -6/7, i, 2 in descending order.
i, 4, 2, -6/7, -5
Let a be (-4)/(2/(-4)*20/535). Let g = -211 + a. Sort 1, 0, g, 5 in decreasing order.
5, g, 1, 0
Let r(b) = 2*b**3 + 16*b**2 - 37*b + 34. Let j be r(-10). Sort -1, 0, j, -7, -5 in increasing order.
-7, -5, -1, 0, j
Let d = -19.92 + 19.86. Sort d, -0.3, 0, 8, -5/3.
-5/3, -0.3, d, 0, 8
Let f = 88 - 87.872. Let v = 570.428 - 534.3. Let i = v - f. Sort 2/3, i, 3.
2/3, 3, i
Let i = -1.66 + -101.84. Let d = 104 + i. Sort 5/4, d, -0.3 in ascending order.
-0.3, d, 5/4
Let b = -30881.038 - -30909. Let w = b + 0.038. Put w, 3, 1/5 in increasing order.
1/5, 3, w
Suppose -3*w - 9 = 3. Suppose 0 = 17*i - 14*i - 