4). Suppose -2*a - i + 32 = -3*u, 2 = -2*a + u. Sort 0.1, -2.6, a, -5/3 in increasing order.
-2.6, a, -5/3, 0.1
Let x = -2 + 4. Let u(z) be the second derivative of -z**4/12 + 17*z**3/6 - 24*z**2 + 2*z + 3. Let r be u(14). Sort x, -2, r, 1 in decreasing order.
x, 1, -2, r
Let i be 4 + (-214)/18 + -8*(-1 + 0). Sort -5, i, -15, 0, -9.
-15, -9, -5, 0, i
Suppose 360*u - 422*u - 248 = 0. Suppose 0 = 3*t - 6*t + 6. Put u, 5, -22, t in descending order.
5, t, u, -22
Let u be 8 + (2/30)/((-146)/16644). Let f = 227/4 + -57. Sort f, u, 1/6 in decreasing order.
u, 1/6, f
Let n = -8500 + 8504. Put -0.3, n, -37 in increasing order.
-37, -0.3, n
Suppose 0 = -4*c - 4. Let y be c + (-6)/(-3) + (-4 - 2). Let l be y/2 + (-6)/4. Sort l, 11, -3.
l, -3, 11
Let d = 3 - 6. Suppose -15*y = 13*y + 6*y - 102. Put d, y, -2, 0 in descending order.
y, 0, -2, d
Suppose -4*h = a + 13 - 37, 0 = -h + 4*a - 11. Suppose -o = h*p - 16, o - 6*o - 2*p + 80 = 0. Suppose -o = 3*i - 13. Sort 3, 5, 1, i in increasing order.
i, 1, 3, 5
Let b = 20.5 + -26.5. Let n = 2 + -3. Let g = 0.024 - 0.124. Sort g, b, 0.4, n in increasing order.
b, n, g, 0.4
Suppose -22*p + 5*z - 25 = -26*p, p - 9 = -4*z. Put -2, -3, -4, -74, p in ascending order.
-74, -4, -3, -2, p
Let o = 358 + -328. Suppose 0*s - 10*s = o. Put 10, s, 5 in ascending order.
s, 5, 10
Let j be 3 + (5 - (48/(-20))/(4/(-10))). Sort 138, j, 5, -4.
-4, j, 5, 138
Let s be (1/2)/((-6)/12). Suppose -5*z = -3*o - 71, -3*o + 1 = -5*z + 18*z. Sort o, 8, s.
o, s, 8
Let x(u) be the first derivative of u**3/3 - 8*u**2 + 25*u + 3. Let q be x(14). Sort -6/11, 0.06, q in decreasing order.
0.06, -6/11, q
Let i(c) = -2*c. Let s be i(-2). Let o = -945 + 965. Put 3, -5, s, o in descending order.
o, s, 3, -5
Let x be 208/(-2) + 2/(12/30). Let j = x - -110. Sort j, 0, 3, -5.
-5, 0, 3, j
Let q be (20/32*4)/(7/2 + -4). Sort q, 1, -9, -52, 3.
-52, -9, q, 1, 3
Suppose -2*j + 3 = 5*t - 52, -5*j + 70 = 5*t. Suppose o = 2*o - t. Put o, -1, 0 in descending order.
o, 0, -1
Let g(b) = -38*b - 2850. Let q be g(-75). Sort 1, 31, q, -4, 15.
-4, q, 1, 15, 31
Let v = 8/7 - 6/7. Let o(y) = -y**3 + 24*y**2 + 23*y + 48. Let l be o(25). Put -1, v, l in increasing order.
l, -1, v
Let q = -12746 - -12741. Sort 4, q, 5, 12, 9.
q, 4, 5, 9, 12
Suppose 4*y + 13 = -3*i - 2, 5*i + 25 = -2*y. Sort i, 4/5, 2, 0 in descending order.
2, 4/5, 0, i
Let x(p) = -p**2 + 6*p - 4. Let q be x(3). Let n = -47455 - -47425. Put 0, -4, n, q in ascending order.
n, -4, 0, q
Let d = 147 + -136. Let t = 10.8 - d. Sort t, 4, -0.4, -3/7.
-3/7, -0.4, t, 4
Let s = 2688 + -2683. Let j = 4 + -3. Put j, -8, s, -4 in decreasing order.
s, j, -4, -8
Let y be (-20)/(-6) - (-8)/12. Suppose y*q + 36 = 4*f, 0 = 5*q + f - 5*f + 40. Suppose -3*x + x = -4*i + 16, 0 = 4*x. Sort -3, -5, q, i in ascending order.
-5, q, -3, i
Let q be (-4)/(-6) - 14/(-24). Let s = 3.5112 - 3.8112. Put q, -2/9, s in ascending order.
s, -2/9, q
Let k = 6 + -6.5. Let t be ((-112)/(-35) - 4)/((-18)/(-5)). Put k, t, 27/8 in decreasing order.
27/8, t, k
Let y = -4604.5 + 4604. Sort -5/2, 3, -3, 4, y in descending order.
4, 3, y, -5/2, -3
Suppose -10*x = 34 - 4. Let m(t) = 3*t + 5. Let z be m(x). Suppose d + 32 - 37 = 0. Sort 0, -2, z, d in ascending order.
z, -2, 0, d
Suppose -6*l + 3*l + 19 = 5*s, 2*l = -4*s + 14. Put -16, 0, l, -4, -6 in descending order.
l, 0, -4, -6, -16
Let w = 77 - 402. Let m be ((-15)/w + (-4)/(-26))*5. Sort 2, m, 19 in decreasing order.
19, 2, m
Suppose -490*j + 516*j = 104. Put -2, 1, j, 5 in increasing order.
-2, 1, j, 5
Let m(u) = 2*u**2 - 27*u + 18. Let p be m(13). Suppose n - p*n = -n. Suppose n = i + 98 - 98. Sort -3, -4, i in decreasing order.
i, -3, -4
Let w = -578 + 1759/3. Let n = w - 409/48. Let c = n + -37/144. Sort 3, c, 2 in descending order.
3, 2, c
Let w = 2/9871 + -9885/69097. Let r = 37 - 34.92. Let h = -0.08 + r. Sort -6/5, h, w.
-6/5, w, h
Suppose 192*z = -1656 + 696. Let u be (-137)/(-3)*(-2 + 5). Sort u, z, -4 in decreasing order.
u, -4, z
Let m be (2/(-5))/((-2)/20). Let q(p) = -9*p**3 - 2*p**2 + 1. Let z be q(-1). Suppose 0 = -8*g + 3*g - t - 4, -z = 4*g + 2*t. Sort g, -5, m.
-5, g, m
Let n = 852 + -855. Sort 4, -1, 3, -12, n in descending order.
4, 3, -1, n, -12
Let t = 291.7 - 292. Let z = 0 + -10. Let u = z + 5. Sort u, 0.3, t in ascending order.
u, t, 0.3
Suppose -30*j - 15632 = -4562. Let k = 366 + j. Sort 5, k, 4.
k, 4, 5
Suppose -153*i - 23688 = -12*i. Sort 0, 9, i in increasing order.
i, 0, 9
Let q(u) = -u**2 - 27*u - 48. Let y be q(-25). Suppose 115 = -y*l + 117. Let t be (-286)/77 + l + 3. Sort 1.4, 2, -4, t in decreasing order.
2, 1.4, t, -4
Let h(g) = 4*g**3 - 2*g**2 - 8*g + 20. Let v be h(2). Let a be -7 - (-292)/v - (3 + 1). Sort 5, a, 1, -4 in decreasing order.
5, 1, a, -4
Suppose -12*v + 7*v + 18 = a, -5*a - 10 = 5*v. Let w be 0/(-1*(-1 + 0)). Sort w, v, 58 in ascending order.
w, v, 58
Let n be (15/(-40)*-6)/(6/32). Suppose o + 5*l = 13, 0*o - 3*o + 2*l = n. Suppose 0 = 3*t + 5 + 7. Sort -3, t, -5, o.
-5, t, -3, o
Let j = 927 + -922. Put j, -3, -4, -6 in increasing order.
-6, -4, -3, j
Let n be (-4)/(-3)*2*(-57)/76. Sort 29, 3, 1, n in increasing order.
n, 1, 3, 29
Suppose -5*f - 5 - 8 = -4*p, -4*f = 2*p. Suppose j - p - 6 = 0. Suppose -b = -s - 7, -s - 123 = 5*b - 134. Sort j, b, -1, -4 in decreasing order.
j, b, -1, -4
Let m = -467 - -467.4. Sort -5, m, -0.1, -1/4 in descending order.
m, -0.1, -1/4, -5
Suppose -14*a - 26 = -a. Put 4, a, -8, 210 in descending order.
210, 4, a, -8
Suppose -u + 19 - 124 = 12*o, 4*u - 5*o - 57 = 0. Let q = -1 + 1. Suppose 4*i = -q*i. Sort -3, u, i, -1 in decreasing order.
u, i, -1, -3
Suppose 31*p + 50 = -74. Let s be (4 + -2)/((-6)/(-9)). Put -6, p, s in decreasing order.
s, p, -6
Let u(h) = 3*h**3 + 2*h + 5. Let f be u(0). Let g = 1.19 + -0.39. Sort f, 1, g in decreasing order.
f, 1, g
Suppose 0 = -d - 2*v + 7, -d + 6 - 2 = v. Suppose 195*i + 395*i + 2950 = 0. Put -3, d, 3, i in descending order.
3, d, -3, i
Suppose 239 - 99 = -9*m + 44*m. Put 0, m, -6, 3 in increasing order.
-6, 0, 3, m
Let n = 174 - 174.62. Let p = -4.62 - n. Put p, -2, -7, 0.1 in ascending order.
-7, p, -2, 0.1
Let z = 5634 + -5629. Sort 570, -1, z.
-1, z, 570
Let g be -83 - (1 - ((2 - 6) + 8)). Let t = g - -95. Sort -1, -5, t, 5 in decreasing order.
t, 5, -1, -5
Let n = -26 - 17. Let g = -1144.7 + 1144.4. Sort n, g, 0, 0.4 in descending order.
0.4, 0, g, n
Let t = 14420.063 - 14420. Put 2/5, -5, t in decreasing order.
2/5, t, -5
Let s(o) = 23*o - 51. Let b be s(14). Suppose -b*c + 16 = -275*c. Sort 2, 154, c in ascending order.
c, 2, 154
Suppose -30 = 41*g - 31*g. Let n be 1/(g/(-15)*(13 + -12)). Put 0, 21, n in ascending order.
0, n, 21
Let a = 1839 - 1837. Let g = -4.9 - -5.2. Put a, g, 2/19, 3/5 in decreasing order.
a, 3/5, g, 2/19
Let u be 4/(12/15)*16/(-20). Suppose i + 9 = 3*r, -4*r - 4*i + 35 = 7. Suppose -r*z + 25 = z. Put z, -1, u in decreasing order.
z, -1, u
Suppose 31*i - 3591 = 12*i. Put 1, 5, i in ascending order.
1, 5, i
Let o = 65 + -59. Suppose 0*f + o = 3*f. Let t(h) = -h**3 - 10*h**2 + 7*h - 45. Let l be t(-11). Put l, -3, 3, f in decreasing order.
3, f, l, -3
Let l be ((-7)/168*2)/((-6)/(-12)). Let y = -2/245 - 227/2205. Let v be (33/9 + -3)/4. Sort y, l, v in ascending order.
l, y, v
Let h = -7 + 6.89. Let p = -0.01 - h. Let y be (-9 + -1)/(424/636). Sort -1, p, y in ascending order.
y, -1, p
Let a = -3.93 - 12.07. Sort -1/5, 14/9, a in ascending order.
a, -1/5, 14/9
Let w = 32.031 - 0.031. Let a = 93 + -65. Let i = w - a. Sort -5, -4/7, 5, i.
-5, -4/7, i, 5
Let w = 31.2 - 103.2. Let j = w - -67. Sort j, 3, -3, -2/7 in descending order.
3, -2/7, -3, j
Let c(t) = 3*t - 8. Let s be c(4). Suppose -s*d - 2*x - 18 = 0, 2*d - 4*x + x = 11. Sort -1, d, 0, 10 in ascending order.
d, -1, 0, 10
Let a = 0.08808 + 0.21192. Sort -2/2623, -0.2, a in descending order.
a, -2/2623, -0.2
Let b = -394.23 + 394.3. Let u = -10 - -10.1. Sort -3, 1, u, b.
-3, b, u, 1
Let d = -15.8 + 15.7. Let f = 0.28 - 60.28. Let m = f - -55. Sort d, m, -26 in ascending order.
-26, m, d
Let t = -1786/15 + 119. Suppose -12*x - 29 - 49 = -102. Put t, -4, x in decreasing order.
x, t, -4
Let o be (-3)/(-9)*(14 + -14)*(-10)/(-50). Suppose 3*p + 2*w = 16, -3*p - p - 17 = -5*w. Sort 7, o, p.
o, 