 4. Let z(k) = -10*k + 6. Let t(m) = 7*s(m) + 5*z(m). Let c be t(3). Put -5, -4, c in descending order.
c, -4, -5
Let w = -2 + -3. Let r = -9 - -7. Let t = -1.5 - r. Put -1, w, t in descending order.
t, -1, w
Let z be 2/(-9) - (-272)/(-72). Sort z, -1, -10, -5 in descending order.
-1, z, -5, -10
Let q be (28/(-21))/((-2)/(-18)). Let o be ((-1)/q)/(20/(-30)). Sort -5, 5, o in decreasing order.
5, o, -5
Let a = -92 + 88. Put -5, -3, -2/5, a in decreasing order.
-2/5, -3, a, -5
Let q be (8/(-10))/((-2)/(-10)). Let k(w) = w**2 - 4*w - 1. Let s be k(5). Suppose 0 = l + s - 8. Put -5, l, q in ascending order.
-5, q, l
Let o = 6 + 1. Let n = o + -5. Sort -4, n, 0 in increasing order.
-4, 0, n
Let f = -18 + 13. Let u = -13 + 18. Sort f, u, 0 in decreasing order.
u, 0, f
Suppose 3*p = 4*b - 12, b = -5*p + 2*b - 20. Let j(n) = -6*n - 13. Let i be j(-3). Sort i, 2, p.
p, 2, i
Let g be ((-56)/7 - -6)*(1 + 0). Let b be -1*7 + (-4)/(-2). Sort b, g, 0 in ascending order.
b, g, 0
Let s be (-1 - 2) + 153/54. Put s, 1/7, 5 in increasing order.
s, 1/7, 5
Suppose 0*d - 8 = -d. Let o = d + -11. Put 2, o, 0 in ascending order.
o, 0, 2
Let l = -0.5 + 0.7. Let d = -5.2 + l. Sort -0.3, d, 0.1 in descending order.
0.1, -0.3, d
Let s = 830/53 - 104987/6572. Let a = 2/31 + s. Let w be (-12 + 15)*2/(-4). Put -0.2, w, a in descending order.
-0.2, a, w
Let u = -107/2 + 55. Suppose 2*d - 2 = 2*r + r, -2*d + 8 = 0. Suppose j = 3*x + r*x, 0 = 5*j + 5*x. Sort u, 2, j in decreasing order.
2, u, j
Let o be (-15)/25 - (-24)/(-10). Let c = -10 - -9.5. Sort -5, c, o in decreasing order.
c, o, -5
Let o(r) = r**2 - r - 2. Let g be o(0). Let x(v) = -v**2 + 3*v + 7. Let u be x(5). Let z = 0 + 2. Sort u, g, z in ascending order.
u, g, z
Suppose -i = -z - 0*i + 1, 2*z + 2*i = -18. Sort 1, z, -5.
-5, z, 1
Let h = -2.94 + -0.06. Let v = h + 1. Let z = -1/18 + -29/126. Sort 3, z, v in ascending order.
v, z, 3
Let d be (6 - 44/4)/(0 + -1). Put -4, 0.4, d, -0.4 in descending order.
d, 0.4, -0.4, -4
Let b = -1 - 1. Sort b, 5, 2 in increasing order.
b, 2, 5
Let f = 2 + 1. Suppose 0*q + f = -4*j - q, 0 = -2*j + 3*q - 5. Suppose 0 = 8*t - 3*t - 25. Put t, -4, j in decreasing order.
t, j, -4
Let q = -18 - -13. Sort 4/5, 0.2, -2, q in ascending order.
q, -2, 0.2, 4/5
Let w(t) = t**3 - 5*t**2 + 6*t - 5. Let i be w(4). Suppose -2*g - 27 = -5*d, 0 = i*d - 2 - 13. Sort 1, -5, g.
-5, g, 1
Suppose 2*r - r - 5 = 4*i, 3*r - 4*i - 15 = 0. Sort -4, -6, r in decreasing order.
r, -4, -6
Suppose 5*r + s - 4*s = 122, 2*s = r - 30. Sort 5, -2, -3, r in descending order.
r, 5, -2, -3
Let o(f) = f + 10. Let x be o(-6). Suppose 4 = 3*v - b, v = x*v - 2*b - 2. Let p be v/5 - (-2)/(-5). Sort -3, p, -1.
-3, -1, p
Let y(s) = 3*s + 1. Let g be y(-2). Let l be (-4)/((-4)/3) - 0. Suppose -l = -j + 1. Sort g, j, -1.
g, -1, j
Suppose 0 = -3*v - 2*c - 10, -2*c + 6 = v - 6*v. Sort v, 0, -3, -4 in decreasing order.
0, v, -3, -4
Let w = -9 - -8. Put 0, w, 4, 5 in decreasing order.
5, 4, 0, w
Let b(r) = 3*r**3 + 5*r**2 + 2*r - 4. Let f(j) = -j**3 - j. Let k(y) = -b(y) - 4*f(y). Let c be k(4). Suppose a - 4 = -3. Sort c, a, 2 in descending order.
2, a, c
Let t(z) = -z. Let w be t(1). Let x be (-3)/w*4/3. Let l = 10 + -8. Put l, x, -4 in decreasing order.
x, l, -4
Let t = -5 - -10. Let k = -0.3 - 0.2. Suppose -s = 2*s - 12. Put t, k, s in ascending order.
k, s, t
Suppose 1 + 9 = 2*o. Let w be (-32)/(-10) - 1/5. Suppose w*f = -2*f + 10. Sort 4, f, o.
f, 4, o
Let f be (-1 + (1 - 0))/1. Suppose -3*m = -f*m, 0 = -5*t + m - 5. Put 5, t, 4 in decreasing order.
5, 4, t
Suppose -3*i - 4*p = -36, -3*i - 3*p + 36 = 3. Let s be 2/(-8) - 6/i. Put s, -5, 2 in descending order.
2, s, -5
Let f = 3 + -2.6. Let q = -0.1 - -1.1. Suppose 5*j - 8 = 2*n, -4*n - n = -2*j + 20. Put q, f, n in decreasing order.
q, f, n
Suppose 25 = 2*x - 5*j, j = -x - 0*j + 9. Suppose -6*l = -l + x. Sort -3, -1, l.
-3, l, -1
Suppose -l = -2*y - 3, -5*l + 25 + 4 = 4*y. Suppose -q - 3 = -l. Suppose -6 = -3*d - h, 5*h = -d - q - 10. Put 4, d, -1 in descending order.
4, d, -1
Let x = 2.5 - 1. Let f = -1.57 + x. Sort 1/8, -2, f.
-2, f, 1/8
Let n be ((-22)/(-77))/(1/(-7)). Let z be 0/(0 - (-2)/n). Suppose -4*s - 3 + 1 = -2*m, 3*m - 2 = 5*s. Put s, -3, z in decreasing order.
z, s, -3
Let l = 35 - 35.2. Suppose -2 = 2*w - 6. Sort w, -4/7, l in increasing order.
-4/7, l, w
Suppose -5*r + 1 = -5*l - r, r - 3 = 4*l. Sort 2, l, -48 in descending order.
2, l, -48
Let u = -4.39 + 0.39. Put 0.4, u, 3/7 in increasing order.
u, 0.4, 3/7
Let y = 2.4 + -2. Let n = 0 + y. Let h be 2 + ((-63)/12 - -3). Sort n, -0.5, h in increasing order.
-0.5, h, n
Let p = -66 - -65. Put -4, 0.3, -5, p in ascending order.
-5, -4, p, 0.3
Let g = 2 - 2. Let u = 2.16 + -2.17. Put g, u, 0.5 in increasing order.
u, g, 0.5
Suppose 3*k - 30 = 2*d, 8*d + 24 = 4*d - 3*k. Let c = -5 - d. Sort c, 0, -5 in descending order.
c, 0, -5
Let y be (-7 - 0/(-2))*1. Let u = 3 + y. Sort -2, u, 2 in descending order.
2, -2, u
Let o = 33 + -33. Let u be 5 - (-2 + 2 + 1). Sort -2, u, o in descending order.
u, o, -2
Let h = 10 - 10.01. Let p = h + 0.51. Sort -1/6, p, 0.
-1/6, 0, p
Let k = 8.25 + -8. Put -3, k, -0.1 in descending order.
k, -0.1, -3
Let h = -69 + 68.9. Sort 0, -1.7, 1/2, h in decreasing order.
1/2, 0, h, -1.7
Let n = -12 + 7. Let d = 0.9 - 0.7. Sort 2/11, d, n in decreasing order.
d, 2/11, n
Let m(r) = -r - 1. Let h be m(3). Let p be (18 - 10)*2/h. Put -3, -2, p in descending order.
-2, -3, p
Let n be (-8 - 112/(-12))/(2/(-6)). Put 2, n, -59 in descending order.
2, n, -59
Suppose -4*j + 6 = 3*r, 3*r = 5*j - 0*r - 21. Suppose -8*s - 15 = -j*s. Sort 4, 1, s in ascending order.
s, 1, 4
Let g = 26 + -24. Put -5, -2, g in descending order.
g, -2, -5
Let v = 12 + -8. Suppose -4 - v = -4*u. Suppose -3 = -4*i + 1. Sort i, u, 4 in decreasing order.
4, u, i
Suppose 4*a + 24 = -0*a. Let d(w) = -w - 10. Let p be d(a). Sort -1, -3, p in descending order.
-1, -3, p
Let c(r) = -r**3 - 7*r**2 - 7*r + 5. Let s be c(-6). Let b = -6 + s. Let d = 4 + -7. Sort -4, d, b in ascending order.
-4, d, b
Let j = 0.12 - 0.12. Let s = j - 4. Let f be 2/(-8) + (3 - 3). Sort f, -2/7, s in decreasing order.
f, -2/7, s
Let r be (0 + -1)*0/4. Sort r, 5, -2 in ascending order.
-2, r, 5
Let f(h) = -h**2 - 5*h + 2. Let p be (-30)/9*(-6)/(-4). Let o be f(p). Let t be o + (3 - 1)/1. Put -1, t, -5 in decreasing order.
t, -1, -5
Let c = -1.4 - -0.4. Sort c, -4, -5.
-5, -4, c
Let t = 0.13 + -0.04. Let s = 1.09 - t. Let y(k) = k**2 - 4. Let u be y(0). Sort s, u, -1/7.
u, -1/7, s
Suppose -2*h + 4*t = 6, -3*h + 4 = t - 8. Let a be (-4)/6 + 8/h. Let b be (-2)/(-3)*6/4. Put a, b, -2 in increasing order.
-2, b, a
Let t = -29.3 - -29. Put -2, t, 12 in decreasing order.
12, t, -2
Suppose -3*w = 5 + 1. Let i = -7 - -4. Let b be (i - w)/1 + 2. Put b, -2/7, 2/3 in descending order.
b, 2/3, -2/7
Let u(h) = h**2 - 4*h + 5. Let c be u(2). Let x = 0 + 0. Suppose m - 6 = -2*m. Sort x, c, m in descending order.
m, c, x
Suppose 2*x = 2*a - 8, -2*x = 2*a + 2*x - 26. Suppose 0 = a*k - 8*k. Suppose 0*l = l - 1. Sort -2, k, l.
-2, k, l
Let b be -1*(-2)/3 + 0. Let d = -0.93 + -0.07. Let q = d - -0.9. Sort b, -1/8, q in descending order.
b, q, -1/8
Suppose 70*n = 64*n + 18. Put 8, 5, n in descending order.
8, 5, n
Suppose 0 = 2*r + 4*a + 16, 0*r - 5*r - 5*a - 35 = 0. Put -3, -2, r, 5 in decreasing order.
5, -2, -3, r
Let m be 3/9 + (-141)/417. Let a be ((-522)/33)/(2502/(-28)). Let q = a - m. Sort q, -5, 0.3 in descending order.
0.3, q, -5
Let t = -28.4 - -26. Put 3, t, 2 in decreasing order.
3, 2, t
Let i = 2.04 + -0.04. Suppose 10 = l - 3*h + 2*h, 5*h - 10 = 0. Let k be 1/l*24/(-18). Sort -4/3, k, i in ascending order.
-4/3, k, i
Let o = 72 + -76. Sort -2/5, 3, 4, o in decreasing order.
4, 3, -2/5, o
Let i(k) = -3*k + 42. Let y be i(14). Put y, -7, 5 in ascending order.
-7, y, 5
Let w(k) = 3 + 2*k - k + 3. Let b be w(-5). Let f = -16.7 + 18.7. Sort b, f, 0 in descending order.
f, b, 0
Let g be 5*(-3 - 6*-1). Suppose -4*u + 2*y = -3*u + 3, -4*y = u - g. Let p be (1/3)/(u/(-45)). Put p, -1, 5 in increasing order.
p, -1, 5
Let c be (-4 - -1)*(-12)/(-24). Sort -5, c, 5 in ascending order.
-5, c, 5
Let v be 217/(-84)*(-2)/10. Let h be ((-6)/(-10))/(18/8). Let l = h - v. Put 2/9, l, 