 4. Suppose 3*v - v + o = 0. Put a, v, 5 in decreasing order.
5, a, v
Let u = -892 + 858. Let s = 1 - 2. Sort s, u, 3, 4.
u, s, 3, 4
Let r = -61 + 61.04. Let m be (-2)/(-2) - 49/6. Let y = 289/42 + m. Sort y, r, 2 in ascending order.
y, r, 2
Let n(c) = -14*c - 3. Let q be n(-3). Let d = -30 + q. Sort -2, d, -3 in increasing order.
-3, -2, d
Suppose 0*t + 2*t = 2. Let a(s) = 6*s + 1. Let j be a(2). Suppose m = 4*u + 19, 2*m + 5 = 2*u + j. Sort t, m, -5.
-5, m, t
Let k be (-28)/98*7/2*-4. Sort -10, k, 5, 3 in decreasing order.
5, k, 3, -10
Let f be (28/(-32) - -1) + (-322)/(-112). Put -457, f, -1 in ascending order.
-457, -1, f
Suppose 28*u + 142 = 2. Put -40, u, -2, 5 in decreasing order.
5, -2, u, -40
Let g = 0.99 + -1.49. Put -0.4, -0.67, g in ascending order.
-0.67, g, -0.4
Let g be 0/((-2)/(-2)) - -3. Suppose -3*n - n - 3*j + 12 = 0, 5*n = -g*j + 12. Suppose -3 = 2*w - w. Put n, -15, w in ascending order.
-15, w, n
Suppose 8 = 7*a - i + 27, 2*a + 3*i = -12. Suppose 4*s - 20 = 4*w, -2*s - s + 30 = 2*w. Let v = s - 13. Put 3, a, v in ascending order.
v, a, 3
Let x be 1*((152 - 4)/4)/(-1). Let d = x - -40. Let p(j) = -j**3 - 3*j**2 - j - 3. Let z be p(-3). Put d, z, 2 in decreasing order.
d, 2, z
Let p be (22/88)/(2/104). Sort -3, p, -4, -5 in increasing order.
-5, -4, -3, p
Let b = -160.8 + 109.5. Let g = b - -51. Let z be (-1)/2 - (5 - 4). Sort 4, g, z in descending order.
4, g, z
Suppose -4*h = -2*b - 4, -3*h + 0 = -4*b + 7. Suppose -h*s - 3 = -12. Let l = -1.3 + 1. Sort s, l, 4/7 in increasing order.
l, 4/7, s
Let t = 245 - 245.2. Put -3.8, -0.1, t, 0.3 in decreasing order.
0.3, -0.1, t, -3.8
Let n be (-39)/9 - 4/6. Let c(d) = -10*d - 649. Let g be c(-65). Sort n, g, 4.
n, g, 4
Let h(y) = -6*y**2 + y. Let k be h(-2). Let o(c) = -16*c + 159. Let j be o(10). Sort -2, 1, j, k in descending order.
1, j, -2, k
Let f = -2 + 4. Suppose 43 = 5*c + 23. Suppose c - f = -z. Put z, -0.5, -5 in ascending order.
-5, z, -0.5
Let y be 11 - 16 - (-9)/2. Put y, 0, -0.2, -2 in increasing order.
-2, y, -0.2, 0
Let w(s) = -s - 4. Let c be w(-4). Let i(y) = y**3 + y**2 - 4. Let g be i(c). Let n(f) = f + 7. Let b be n(g). Sort -5, b, -1 in increasing order.
-5, -1, b
Let l(t) = t**3 + 8*t**2 + 14*t + 7. Let h be l(-6). Let z be (h/4)/5*2. Put z, 6, 0 in descending order.
6, 0, z
Let u(h) = -4*h**2 - 84*h + 3. Let v be u(-21). Put v, -0.3, 6, -4 in increasing order.
-4, -0.3, v, 6
Let x be -3 - (6 + -1)*-1. Suppose 2*m = -x*v - 56 - 4, m = -3. Let a = v - -139/5. Put a, 14, 2 in decreasing order.
14, 2, a
Let b be 3/12 + (-265)/4. Suppose -3*l + 14 - 2 = 3*c, 2*l + 46 = 4*c. Let o be 2/c + b/54. Put -3, o, -5 in descending order.
o, -3, -5
Let a = -121/56 - -16/7. Let y be -1*2*3/(-24). Put -2/5, a, y in increasing order.
-2/5, a, y
Let v = -1.79 + 2. Let n = -0.27608 + 0.77608. Sort 0.1, -2/5, v, n in decreasing order.
n, v, 0.1, -2/5
Let a = 19.5986 - 3.7256. Let l = 0.173 - a. Let m = l + 16. Put 4, m, -0.5 in descending order.
4, m, -0.5
Let x be (-2)/6*(-2 + -1). Let w = 195 - 192. Sort 5, w, x, -1 in increasing order.
-1, x, w, 5
Suppose -5*d = -5*j - 10, 6*j + 25 = j. Sort 31, -4, d in decreasing order.
31, d, -4
Let z be (7/(-70))/1*8/2. Let u = 4 + -5. Sort z, -0.16, u in ascending order.
u, z, -0.16
Let r = -81 - -79. Sort -1/7, 16, r in decreasing order.
16, -1/7, r
Let z = 220 + -225. Sort 2, z, 3.
z, 2, 3
Let m(u) = -4*u - 4. Let b be m(-3). Suppose 2*n + 4*a - 2 = 0, -3*a + a = 3*n - 7. Suppose n*c + 0 = 6. Sort c, -3, b.
-3, c, b
Let k be 3/(-3)*(-1 + -18). Let z = 449 - 453. Put z, 5, -5, k in increasing order.
-5, z, 5, k
Suppose 15*k - 6 = 9. Put 4, k, 68 in increasing order.
k, 4, 68
Suppose -3*c - 27 = -6*c. Let g be (0 - -3)*6/c. Let u = 228 - 228.3. Sort g, -3, u.
-3, u, g
Let v = 2.04 + -0.04. Let s = -2.1 + 108.1. Let d = 104 - s. Sort d, v, 0.5.
d, 0.5, v
Let b = 5 - 8. Let k = -176 + 195. Sort b, -2, k, -1 in descending order.
k, -1, -2, b
Let b(p) = -2*p**2 + 5*p + 4. Let l be 2/((8/(-6))/(-2)). Let n be b(l). Let w be 141/27 + (-4)/18. Sort w, n, 3 in decreasing order.
w, 3, n
Let k = 1/128 + 121/896. Sort -1, 0.1, k, -70 in increasing order.
-70, -1, 0.1, k
Suppose -2*k + 76 = -0*k. Let m be k/(-6) + 18/(-27). Let b be 2/m + 45/84. Put b, 0.1, 4 in decreasing order.
4, b, 0.1
Let m = -2 + 1. Let u be 425/2550 - ((-4)/(-6))/2. Put u, -1/10, m in ascending order.
m, u, -1/10
Let f be 0 + 2 - (3 + -1). Let z(h) = h**3 + 2*h**2 - 16*h - 31. Let d be z(-4). Sort d, -2, f in decreasing order.
d, f, -2
Suppose -x = 2*x + 15. Suppose -4*s = -q + 6, 4*q + 0*q - 2*s = -18. Let d be (-30)/45 - (-2)/q. Sort d, x, -3 in descending order.
d, -3, x
Let c(u) = 0*u + 3 - u + 7. Let s be c(8). Suppose 2*m + 2 = -s. Sort m, -9, -3 in increasing order.
-9, -3, m
Let z(r) = 10*r + 4. Let t be z(3). Let w = t - 67/2. Let d = -4/9 + 31/90. Sort 0, w, d.
d, 0, w
Let s = 2803 - 2803.3. Let b = -37 - -409/11. Put b, s, 4 in ascending order.
s, b, 4
Let q = -1898 - -1897.77. Sort -0.3, q, 3/7 in decreasing order.
3/7, q, -0.3
Suppose 4*f + 4*r = 307 + 557, -2*f - 4*r = -442. Let x be f/(-2) - 3/2. Let m = 1389/13 + x. Sort m, -5, 2.
-5, m, 2
Let w = 6.83 + -11.83. Put 24, w, -0.3 in descending order.
24, -0.3, w
Let v = 0.1822 - -1.8178. Put v, 0, 2/9 in increasing order.
0, 2/9, v
Suppose s + 3*b + 6 = -7, 0 = 3*s + 2*b + 18. Suppose m + 9 = r + 2, 0 = -m + 2. Suppose 0 + r = -9*l. Sort 1, s, l.
s, l, 1
Let t be (-22)/(-2)*(-6 + 5). Let q be (-1)/(-1) - (7 + t). Suppose -q*g + 25 = 10. Put -5, g, 5 in increasing order.
-5, g, 5
Let z = -7 - -10. Suppose -5 = z*s - 2*s. Put s, 4, 0 in descending order.
4, 0, s
Let v = -1.3 - 3.7. Let u = -2494 + 2498. Sort v, 1/2, -0.3, u in decreasing order.
u, 1/2, -0.3, v
Let y = -77.81 - 0.19. Let v = 80 + y. Sort -0.2, v, 0, -3.
-3, -0.2, 0, v
Let d = -2751 - -2744. Put d, 0.84, -1 in increasing order.
d, -1, 0.84
Let w = -11.1 + 4.1. Let y = w + 7.2. Sort 0, y, -0.2 in ascending order.
-0.2, 0, y
Let a = -22 - -23. Let u(s) = 4*s. Let q be u(7). Suppose 3*b - q = 5*r, r = -b + 6*r + 16. Sort 0, b, a in increasing order.
0, a, b
Let o be 105/33 + (-2)/11. Suppose 0 = -2*b - 4*n, 4*n = 5*b + o*n. Sort 2, b, 1, 9.
b, 1, 2, 9
Suppose -4*w = 4*u + 12, u + 8 + 0 = -2*w. Let o(k) = k**2 + 28*k - 100. Let p be o(-31). Sort -3, u, p in increasing order.
p, -3, u
Suppose 7*w = 77*w. Sort -91, -3, w.
-91, -3, w
Let l = -11 - 1. Let a be (-1)/4 + (-39)/l. Put 5, 1, a in ascending order.
1, a, 5
Let x = 0.462 - 0.492. Sort -21, 2, x in ascending order.
-21, x, 2
Let f = 687 + -690. Sort -0.3, -1/3, -0.01, f.
f, -1/3, -0.3, -0.01
Let h = -128 - -1151/9. Sort h, 1, -3, 15.
-3, h, 1, 15
Let u = 0.41 - -0.09. Let q = 0.55 - u. Let d = -5.05 + q. Put d, 1.5, -3/2 in ascending order.
d, -3/2, 1.5
Let z be (-9)/6*20/(-6). Suppose -13*y + 2*y + 44 = 0. Put z, -3, y in descending order.
z, y, -3
Let l be -3 + 13 - (6 - 4). Suppose 7*t - 3*t + l = 0. Put 5, -4, t in decreasing order.
5, t, -4
Let c(i) = i**3 + 19*i**2 - 91*i + 25. Let j be c(-23). Sort j, -6, -1 in ascending order.
-6, -1, j
Let o(c) = -c - 1. Let m be o(3). Sort m, 3, -11, -2 in increasing order.
-11, m, -2, 3
Let u(t) = -t - 6. Let h be u(-8). Suppose -h*o - 2 = -0*o. Let s = -3 + 4. Sort o, -2, s in descending order.
s, o, -2
Let t = 0.052 - -4.948. Put 0.1, t, -1, 1/61 in decreasing order.
t, 0.1, 1/61, -1
Let b = -61 - -66. Let u = -6 + 8. Put b, 6, u in increasing order.
u, b, 6
Suppose 0 = -7*o - 59 + 38. Sort -4, -59, -2, o in increasing order.
-59, -4, o, -2
Let m = -18 + -28.6. Let a = m + 47. Let z = -7.3 + 8. Sort 1, z, a.
a, z, 1
Suppose 3*k - 6*k + 36 = -3*c, k = -4*c - 13. Let p(i) = -2*i - 2. Let q be p(k). Sort 4, q, 2 in increasing order.
q, 2, 4
Suppose 3*m - 6*m + 15 = 0. Suppose m*u = 0, 2*n + 4*u + 0 = -2. Sort -5, 2, -4, n in decreasing order.
2, n, -4, -5
Suppose 2*d = -d - o - 17, -5*o = -5*d + 5. Let j = -8.07 - -0.07. Put -1, d, j in descending order.
-1, d, j
Suppose 3*o + 0 = 5*u - 3, 4*u - 5*o - 5 = 0. Let z be 0 + u + 0 - (-21)/14. Let q = -58 - -347/6. Sort z, 5, q in descending order.
5, z, q
Let r(p) = p**2 + 2*p + 3. Let u be r(-2). Let w(a) = -a**3 - 13*a**2 - 24*a - 7. Let b be w(-11). Sort b, 0, u.
0, u, b
Let m(o) = o**3 + 9*o**2 + 14