4. Let j = 1.5 - 2. Sort 3, x, j.
j, x, 3
Suppose 5 = -4*k - 15. Suppose 0*r + 4 = r. Sort -7, r, k in increasing order.
-7, k, r
Let t = 800 - 801. Sort -0.6, -2, 2, t.
-2, t, -0.6, 2
Suppose 0 = 4*d + 8, 0 = -20*r + 15*r - 4*d + 1742. Put 4, -1, r in increasing order.
-1, 4, r
Suppose -5*h - 5*d = 10, 0 = 3*d - 8*d + 10. Sort h, 43, 4 in ascending order.
h, 4, 43
Let i(k) = -k**2 + 6*k + 6. Let d be i(6). Let p = 159/14 + -23/2. Sort p, d, 3 in descending order.
d, 3, p
Suppose 2*p - p = -4, -4*p + 6832 = -4*s. Let q be s/96 + 1/(-6). Sort 4, -2/5, q.
q, -2/5, 4
Let z(o) = -14*o**2 - 4*o + 1. Let f be z(1). Put 8, -4, f in decreasing order.
8, -4, f
Let z = 55 + -67. Sort -2, -9, z in descending order.
-2, -9, z
Let z be -25 + 10 + (-1)/1. Let c be (z - -12)*(-1 - 0). Suppose -4*i + 5 = 1. Put i, c, -3 in descending order.
c, i, -3
Let y = -6 - -1. Suppose -4*i + 16 = 0, -t = 2*i - 0*i + 26. Let h = t + 32. Sort -3, h, y in decreasing order.
h, -3, y
Let h be 4/(-6) - 726/396. Sort 121, h, -5 in ascending order.
-5, h, 121
Suppose -5*v = -2*v + 9. Let g(i) = -i**3 + i**2 + 3*i - 1. Let t be g(2). Sort v, t, -5.
-5, v, t
Let z(a) = a**2 + 2*a - 2. Let f be z(-4). Let g be 9/f*(-80)/15. Sort -4, 2, g in descending order.
2, -4, g
Let y = -21 - -33. Let t be (0/(-2))/(y/((-18)/(-3))). Sort 2, t, -1, -2 in ascending order.
-2, -1, t, 2
Let m = 186 + -180. Sort -0.3, 15, m.
-0.3, m, 15
Let g = -81 - -407/5. Sort g, -3, -38/7 in increasing order.
-38/7, -3, g
Let i = 2534 - 2533. Suppose 3*r + 15 = 3*n, -4*r - 40 = r - 2*n. Put i, 0, -4, r in descending order.
i, 0, -4, r
Suppose 14*d + 2453 = 3*d. Sort d, -4, -3 in decreasing order.
-3, -4, d
Let t(a) = a**3 + 6*a**2 + 9*a - 6. Let l be t(-8). Let o = -208 - l. Suppose -16 = 4*d - r, 2*d + 2 = -r + 3*r. Put -15, o, d in decreasing order.
o, d, -15
Let f = 2/3 + -5/12. Let p be 0 - 6*(-1)/1. Let t be (p/4)/(12/(-10)). Sort f, 10, t in ascending order.
t, f, 10
Let t be ((-27)/6)/(-3)*-4. Let a be (-3 + 2)*-1 - t. Suppose -a*s + 9*s = 14. Put 5, s, -2 in decreasing order.
s, 5, -2
Suppose 5*c = 3 + 7, -4*c = -4*n + 20. Put 2, -2, n in decreasing order.
n, 2, -2
Suppose -3*x = -4*x. Let p be 2/(2 + x) + -2. Let r = -1.405 + 3.405. Put p, r, 0.1 in increasing order.
p, 0.1, r
Let r be (-400)/(-45) - (140/(-90))/14. Sort 4, -3, r.
-3, 4, r
Let q be ((-9)/7)/((-6)/(34 - -8)). Sort q, -1, -3 in descending order.
q, -1, -3
Let l = 1078 - 1076. Put 6, 10, -1, l in descending order.
10, 6, l, -1
Let p be (-36)/4 + (-14)/(-2) + 2. Put -23, -4, 3, p in increasing order.
-23, -4, p, 3
Let o(a) = a**2 + 4*a + 3. Let f be o(-3). Let r = -639 - -646. Put r, 1, f in increasing order.
f, 1, r
Let y = -80 + 80.82. Let z = -2.96 + y. Let c = z - -0.14. Put c, 5, -2/3 in decreasing order.
5, -2/3, c
Let c = 11.16 + -10.4. Let j = 0.66 - c. Put j, 1, 2/13 in increasing order.
j, 2/13, 1
Suppose 4*i = -30*h + 31*h - 19, -i = -5*h. Sort h, -2, 3 in descending order.
3, h, -2
Suppose -j = i - 5*j + 12, -3*j = 4*i + 10. Let z = -13 - -18. Suppose z*h + a + 26 = 0, -2*h - 7 = -3*a - 0. Sort i, h, -3.
h, i, -3
Let n be (6/(-7))/((-2)/14). Let t(p) = -3*p**2 - 22*p - 29. Let o be t(-2). Put 4, 0, o, n in ascending order.
0, o, 4, n
Let d(j) = -j**2 - 13*j + 3. Let a be d(-13). Sort a, 9, 34.
a, 9, 34
Let f(r) = r**3 - 7*r**2 + 7*r - 3. Let m be f(6). Suppose 0*j + 3*j = -3*b + m, -b + 1 = 3*j. Suppose j = -s - 11 + 15. Sort 2/7, -3, s.
-3, 2/7, s
Let r be (-2 + (-33)/(-6))*8/14. Suppose d + 1 = -0. Let k be -1 - d*(3 + -1). Sort 3, k, r in descending order.
3, r, k
Let r be (6 - -1) + 715/(-110). Suppose -4*t - 21 - 15 = 0. Put r, -3, t in descending order.
r, -3, t
Suppose p - 6 = -5*m, 2*m + 9 = -3*p + 1. Let c be ((-9)/6 - -2)*16. Suppose -m*t - c = -0*t. Put 4, t, 1 in increasing order.
t, 1, 4
Suppose -5*n + 4 = -2*b + 3, -2*n - 2*b = -6. Suppose 3 = -2*f - 4*v - 1, -2*v - 10 = -3*f. Sort n, -6, f in descending order.
f, n, -6
Suppose -2*a = 2*z - 12, 3*z - 4*a = -z + 32. Let s be (-2)/z - 102/(-63). Put 3/2, 1/4, s, 2/13 in ascending order.
2/13, 1/4, s, 3/2
Let j(n) = -5*n - 32. Let t be j(-7). Suppose -d + 0 - 4 = t*y, 5*d - 3*y + 2 = 0. Sort -3, 10, d in decreasing order.
10, d, -3
Let k(a) = a**2 - 15*a - 2. Let f be k(15). Let t be (-4 + -2)/(5 - 3) + -2. Put f, -1, t in decreasing order.
-1, f, t
Let b be ((-16)/10)/((-4)/20). Let y = -10 - -15. Let v(r) = r + 3. Let g be v(0). Put b, y, g in descending order.
b, y, g
Let h be 3*10/(-12)*(3 + -5). Let d(y) = y**2 - 3*y - 4. Let m be d(3). Put h, 1, m in ascending order.
m, 1, h
Suppose 4*w = -s, 8 = 5*s - 12. Let o = 0.5 + -2.5. Sort o, 1, w in increasing order.
o, w, 1
Let v = -138917 + 21393311/154. Let u = -5407/6846 - -2/489. Let l = u + v. Sort l, 0.1, 7 in decreasing order.
7, 0.1, l
Let z = -1.371 + -1.629. Put 11, -9, z in descending order.
11, z, -9
Let n = 0.2 - 0.3. Suppose 0 = 12*o - 5*o - 287. Let f = o + -39. Sort -0.3, n, f in decreasing order.
f, n, -0.3
Let s = -2.5 + 2. Let k = -38.6 - -40.6. Sort 0, s, -5, k in decreasing order.
k, 0, s, -5
Let j be (-5)/3 - (-114)/(-18). Let t = -72 - -67. Put 2, t, j in descending order.
2, t, j
Let h(m) = -m**3 - 9*m**2 + 10*m + 89. Let r be h(-9). Sort 5, 1, r, 2 in decreasing order.
5, 2, 1, r
Let v = -25/31 + 293/248. Put -3/5, 3/4, v in increasing order.
-3/5, v, 3/4
Let x = 17 + -12. Suppose w = 3*g - 12, -4*w + x*g - 3 = 10. Sort 4, 0.1, w in descending order.
4, w, 0.1
Suppose -j + 4*o - 77 = -72, -4*j - 2*o = -34. Sort -5, 2, j, -2 in ascending order.
-5, -2, 2, j
Let h = 0.8 + -0.3. Let z = -4696/3 + 1565. Sort h, z, -0.4, -2/15 in increasing order.
-0.4, z, -2/15, h
Let r be 4/(25/((-225)/36)). Sort r, 31, -4, 7 in ascending order.
-4, r, 7, 31
Let c = 0.9 + -0.6. Let n = -179/234 - -11/18. Put n, 1/2, c in decreasing order.
1/2, c, n
Let s be (-18)/(-15)*(-5)/(-58). Let u = s - 91/319. Put u, 0.2, -2/7, 1/2 in descending order.
1/2, 0.2, u, -2/7
Let j be (-6)/15 - -67*(-7)/(-35). Put -2, 0, 3, j in decreasing order.
j, 3, 0, -2
Let f = -0.332 + 0.032. Let a be (-3)/(-3) - 1/3. Put -0.2, a, f, 0.4 in ascending order.
f, -0.2, 0.4, a
Let n = -28 + 31. Suppose -n*b = 3 - 6. Put -3, b, 2, -5 in descending order.
2, b, -3, -5
Let h(x) = 3*x - 2. Let n be h(6). Suppose 0 = -4*m + 2*f - 4, 4*m - f + 4*f = n. Let i = 21 - 15. Sort m, i, -1 in decreasing order.
i, m, -1
Let x be 4*(7/4 - 3). Let i be (0 - x)/(3/(-3)). Sort 3, i, 1 in ascending order.
i, 1, 3
Let o be -1*8/(-1)*1. Suppose 3*a + 5 = o. Sort a, 2, -9 in descending order.
2, a, -9
Let j = -107.3 + 181.4. Let l = j + -74. Put -5, l, -2.1 in decreasing order.
l, -2.1, -5
Let w = 6 - 4. Let m be -1 + (-102)/(-21) + (-1)/(-7). Sort w, -5, -4, m in increasing order.
-5, -4, w, m
Let w = 10 + 2. Let g be (-2 - -5)*w/(-9). Let k be (-1)/10*(-5)/g. Put -1/2, k, 2/7 in increasing order.
-1/2, k, 2/7
Suppose 2*v - 7*v - y - 6 = 0, 0 = -y + 4. Sort -8, v, -5, 0.
-8, -5, v, 0
Suppose -4*n + 16 = -4, f = -4*n + 21. Sort 10, f, -5.
-5, f, 10
Let k(s) = s**3 + 8*s**2 - 49*s - 15. Let p be k(-12). Sort -12, -1, p.
-12, p, -1
Let g = -0.144 + 0.044. Let m = 66 + -66.5. Put g, -50, m in decreasing order.
g, m, -50
Let m = 8.76 - 9. Let d = -0.06 + m. Sort d, 0.3, -0.6 in decreasing order.
0.3, d, -0.6
Let k be (-1 - -5)*(-1)/(-18). Let o = 0.0782 - -0.4218. Sort o, -1, k, -2 in decreasing order.
o, k, -1, -2
Suppose -5*k - 10 = 5*o, 3*o - 2*k - 34 = 3*k. Let q(i) = i**2 - 8*i + 7. Let r be q(7). Sort o, -3, r.
-3, r, o
Let d be 1/1 - -12*(-9)/84. Put d, 1, 5 in decreasing order.
5, 1, d
Let a = -186 + 188. Put 38, a, -1, -3 in decreasing order.
38, a, -1, -3
Let v = -252.96 - -253. Put 2, v, -2/11 in ascending order.
-2/11, v, 2
Let o = 0.32 - -13.68. Let x = 14 - o. Sort 0.5, -4, x in descending order.
0.5, x, -4
Let z be 2*(2 + 22/(-12)). Let y(s) = s**2 - 5*s + 13. Let u be y(7). Let i = u + -22. Sort z, -6, i in decreasing order.
i, z, -6
Let g be -3 + 4/(-980)*-712. Let w = g - 149381/735. Let u = 205 + w. Sort -4/7, 5, u in decreasing order.
5, u, -4/7
Let r(t) = -7*t**2 + 56*t + 169. Let b be r(-3). Sort b, 4, -4 in descending order.
4, -4, b
Let q(h) = 4*h**2 - 2*h + 2. Let p(n) = n + 7. Let x be p(-4). Let o be q(x). Let j be 152/o + (-1)/(-4). Pu