3). Put z, p, 1 in descending order.
1, p, z
Let h = 0 + 0.4. Let u = 0.4151 - 0.1151. Sort -3, u, 7, h in increasing order.
-3, u, h, 7
Let u = 0.125 - 0.925. Let z = 0.1 + u. Let g = 5 + -3. Sort g, z, 3.
z, g, 3
Let w = -2 - -3. Let h(v) = -6*v + 52. Let n be h(8). Sort w, n, -13 in ascending order.
-13, w, n
Let m = -256 - -2047/8. Put m, 3/4, -0.4, 3 in decreasing order.
3, 3/4, m, -0.4
Let u be (-814)/(-99)*-1 + 8. Sort 8, u, 0.03.
u, 0.03, 8
Let j = 1275 - 1279. Let z = -0.05 + 5.05. Sort z, -6, j in descending order.
z, j, -6
Let b = -75.2 + 75.6. Sort b, 1/4, -3, 2/7 in decreasing order.
b, 2/7, 1/4, -3
Suppose -5*v - 15 = q, 2*v - 1 + 7 = -q. Suppose 3*u - 2 = -2*i, u - 5*u - 4*i - 4 = 0. Let b(y) = y. Let a be b(-4). Sort u, q, a in increasing order.
a, q, u
Let j = 220 + -223. Sort 3, -1, -97, j in descending order.
3, -1, j, -97
Let a(f) = -f**2 + 3*f + 119. Let j be a(13). Sort j, 5, 0 in decreasing order.
5, 0, j
Let o(f) = 3*f - 3. Let t be o(2). Let z be (-2)/(-8) + (-4)/16 + 1. Let w be 4/12*6 + (-1 - z). Put t, w, 4 in ascending order.
w, t, 4
Let f = 30.3 - 30. Let z be (-2 - (-3 + -2))/3. Suppose 4*d - z = 7. Sort 0, d, f in decreasing order.
d, f, 0
Let z = -28 + 15. Let d = z + 15. Let l = d + -3. Sort 2/13, 1/9, l in descending order.
2/13, 1/9, l
Let x be (2 + -11)*(-1)/9. Let d be (-36)/(-15) - (-10)/(-25). Put x, -5, -8, d in decreasing order.
d, x, -5, -8
Let f be -6 - (1 - 1 - 2). Suppose -4218*w + 4220*w = 8. Put 2, -3, w, f in descending order.
w, 2, -3, f
Let r = -0.34 - -0.04. Let w = -18 + 12. Let p be (-2)/(-7)*14/w. Sort p, r, -0.5 in increasing order.
p, -0.5, r
Let o = -4 - -7. Let h be (-45)/12 - 4/16. Let v be 1*(-8 - -3 - h). Sort v, -3, o in descending order.
o, v, -3
Let q = -195.1 - -195. Let u be ((-2)/(-14))/((-2)/6). Let c = 6 - 13. Put c, q, u in decreasing order.
q, u, c
Let n(a) = 2*a + 20. Let t(b) = -b - 18. Let j be t(-10). Let f be n(j). Sort -4, 2, 3, f.
-4, 2, 3, f
Let y = -137 + 165. Sort 0, -0.2, y in decreasing order.
y, 0, -0.2
Let g be (-6)/9*15/2 + 8. Sort -1/5, g, -2/3, -8 in increasing order.
-8, -2/3, -1/5, g
Let g be (-32)/(-576)*24/9. Sort 10, 5, g.
g, 5, 10
Let u be 40/(-100) - (28/5 + 0). Let w = -4 - u. Put -3, -4, w, 0 in ascending order.
-4, -3, 0, w
Suppose -5*a + 10 = -0. Suppose -879 = 4*p - 859. Sort a, p, 5 in ascending order.
p, a, 5
Let c(s) = s**3 - 3*s**2 + 4*s - 5. Let m be c(1). Let z = -4 - -9. Put m, z, 6, 4 in ascending order.
m, 4, z, 6
Suppose -5*d = -w + 13, -5*d - 7 - 4 = -2*w. Put d, 4, 5 in increasing order.
d, 4, 5
Suppose 0 = 2*v + 4*f + 54, 0 = 3*v - 7*v - 5*f - 111. Let l = v + 26. Sort 1, 4, l, 2 in decreasing order.
4, 2, 1, l
Let r(d) = -2*d**3 - 41*d**2 + 19*d - 40. Let p be r(-21). Put -5, -25, p in increasing order.
-25, -5, p
Let y(b) = 2*b + 59. Let f be y(-31). Let a(i) = -i**3 + 7*i**2 + 2*i - 7. Let h be a(7). Put 4, f, h in decreasing order.
h, 4, f
Let m(d) = 5 - d**2 + 0*d**2 - 5*d**2 + 2*d**2 - 2*d + d**3. Let n be m(4). Let k = -6.5 + 6. Sort k, -2, n in ascending order.
n, -2, k
Let f = -169/2 - -83. Let z = f + 5/6. Let w = 12 + -17. Put z, w, 4/5 in descending order.
4/5, z, w
Let c = 55 + -273/5. Let t = -366/5 - -73. Sort 5, c, t in decreasing order.
5, c, t
Suppose -4*q + 18 = 5*o, 3*o - 3*q + 6*q - 12 = 0. Let r(v) = 2*v - 66. Let x be r(31). Put x, 7, o in descending order.
7, o, x
Let f(c) be the first derivative of c**4 + c + 3. Let w be f(-1). Let n be w/(-9)*24/52. Sort 1/6, n, 2.
n, 1/6, 2
Let o = -26 - -25. Let i be ((-6)/18)/(o/15). Put -2, 1, i in decreasing order.
i, 1, -2
Suppose -4*y = -2*w - 4, -28 = -2*w + 7*w - y. Let u be ((-52)/(-6))/(2/w). Let r be u/6 + 6/18. Sort -1, -2, r.
r, -2, -1
Let o(h) = 3*h**2 - 110*h + 67. Let d be o(36). Put 20, d, -0.5 in decreasing order.
20, -0.5, d
Let x = -2/1935 - -4271/13545. Let q = 2/105 + x. Sort -0.06, 1, 2/7, q in decreasing order.
1, q, 2/7, -0.06
Suppose -108*c + 1039 = -1229. Sort 3, c, -1, 2 in decreasing order.
c, 3, 2, -1
Suppose -5*t = -2*p + 39, 5*t + 27 = -p - 3*p. Sort -2, t, 2/11 in descending order.
2/11, -2, t
Let y = 2.747 - -0.253. Suppose 0*v - 3 = -3*v. Let n(h) = 5*h**3 + 1. Let d be n(v). Put d, -5, y in decreasing order.
d, y, -5
Suppose -2*g - 3*i + 15 - 14 = 0, 0 = -3*g - i + 12. Sort 1/4, -0.15, -3/8, g in descending order.
g, 1/4, -0.15, -3/8
Let a = 234 + -232. Put a, 1, -4 in decreasing order.
a, 1, -4
Let u = -872 - -872. Sort u, -5, -19 in increasing order.
-19, -5, u
Let y(x) = 11*x + 424. Let p be y(-39). Suppose -5 = 3*h + 1. Sort -1, p, h.
p, h, -1
Let z be (-1)/(1 - 18/16). Let t be ((-6)/(-5))/((-7)/(140/z)). Let o be -1 + -1 + 0 - -6. Sort o, 2, t in increasing order.
t, 2, o
Let r = -0.079 - -0.179. Sort r, -3, -5, -11.
-11, -5, -3, r
Let a = -1800 + 1799.8. Sort a, -5, -6 in ascending order.
-6, -5, a
Let p be -2 - ((-4)/(-4) + 72/(-15)). Sort -0.5, -4/9, p in decreasing order.
p, -4/9, -0.5
Let r = -5 + 4. Let p = -4.3 - -5.3. Let q = p + -4. Sort -0.1, q, r in ascending order.
q, r, -0.1
Let a = 165 + -167. Let h = -70/3 + 24. Sort -3, 3, a, h in decreasing order.
3, h, a, -3
Let i be (-4)/(-52) - (-25)/13. Sort -0.1, i, -1.9 in decreasing order.
i, -0.1, -1.9
Let y(w) = -5 + 9*w + 3*w**2 - 4*w**3 - 2*w - 6*w + 3*w**3. Let h be y(3). Let r be (-2 + 4 + -1)*-1. Sort r, h, 1 in decreasing order.
1, r, h
Suppose -21 = -x + 33. Let l = x - 58. Let k = -29/30 + 3/10. Sort -2, l, k in descending order.
k, -2, l
Let r = -0.3 + 0.29. Let n be (-252)/48 + 2/8. Sort n, -0.4, r.
n, -0.4, r
Let q = -2.87 - 0.13. Let i = q - -2. Let n = 71/2 - 35. Put 4, n, i in descending order.
4, n, i
Let o be (-2)/3*9/15. Let n = 184 + -184.2. Put o, 12, n in decreasing order.
12, n, o
Let w be 1/2*52/(-13). Let k be (-1)/(-2)*(w - -2). Suppose -5*r - 20 = 0, 0 = 2*h - 2*r - 5 + 1. Put 4, k, h in decreasing order.
4, k, h
Suppose 2*u + 3*x + 101 = 0, 6 + 4 = -2*x. Let k(r) = -r**3 - 12*r**2 + 12*r - 10. Let z be k(-13). Put u, z, 0 in increasing order.
u, 0, z
Let w(c) = -c**2 - 16*c - 3. Suppose -63 + 21 = 3*p. Let o be w(p). Suppose 21*q - o*q = 0. Sort -3, q, -5 in ascending order.
-5, -3, q
Let y = 79 - 79. Suppose -5*s + 12 = -73. Put -4, y, s in descending order.
s, y, -4
Suppose 9*m = -861 - 120. Let f = 109 + m. Sort -1, 3, -3, f in increasing order.
-3, -1, f, 3
Let t be (-15 - (-27 + 10)) + (1 - -1). Sort -137, t, -4.
-137, -4, t
Let a = -16 + 67. Let x = a - 21. Let r = -29.9 + x. Sort r, -1/3, 2 in decreasing order.
2, r, -1/3
Let l(s) = -s**3 + 5*s**2 + 8*s - 7. Let y be l(-3). Put 4, 2, y in ascending order.
2, 4, y
Let c(x) = -x**2 + 12*x + 33. Let k be c(14). Put k, -46, 6, 3 in increasing order.
-46, 3, k, 6
Let r(k) = k + 23. Let p be r(-19). Sort -4, 24, 1, p in descending order.
24, p, 1, -4
Let c = 0.456 + -0.156. Sort -0.09, -0.1, c, -4 in decreasing order.
c, -0.09, -0.1, -4
Let h = 12.2 - 8. Let y = h + -4.1. Put 2, 0.4, y, -0.5 in increasing order.
-0.5, y, 0.4, 2
Let p = 231.03 + -236. Let z = p + -0.03. Let i be (5 + (4 - (-190)/(-20)))*(-2 - 0). Sort z, i, 8.
z, i, 8
Let d = -222 - -235. Suppose 5*q - 18*m + 5 = -d*m, -3*m = 3*q - 15. Let v = 1 - 2. Sort 0, q, v in decreasing order.
q, 0, v
Let c = 1308 - 1283. Put c, -0.1, 0.4, -3 in increasing order.
-3, -0.1, 0.4, c
Suppose -2*p + w + 16 = 0, 0 = -p - 0*p + 2*w + 5. Let a be 260/117 + (-2)/9. Sort p, 4, a, -2 in increasing order.
-2, a, 4, p
Suppose -4*p = -0 + 8. Let f = -0.02 + 0.16. Let y = -2.86 - f. Sort -0.4, p, y in ascending order.
y, p, -0.4
Let u be (-1 - -1)/((-2)/(-8)*12). Put 19, u, 22 in ascending order.
u, 19, 22
Let w = 799 - 798. Sort -1, -36, 3, w in descending order.
3, w, -1, -36
Let d be ((-33)/138)/(-11)*-4. Sort 10/7, -3, -0.05, d.
-3, d, -0.05, 10/7
Let d = 2/431 - -704/34049. Sort -3/5, d, -1/9 in descending order.
d, -1/9, -3/5
Suppose -z - 8688 = -8684. Sort -84, 2, z in decreasing order.
2, z, -84
Let h = -3 + 7. Let c = -4067 + 4065. Sort 0.5, h, c in ascending order.
c, 0.5, h
Let x be (-11)/(-20) + 115/575. Let h be 1 - (3/7 + 1). Put 0.5, x, h, 4 in decreasing order.
4, x, 0.5, h
Let g = 3414 + -3418. Let a = -3 - -3.5. Sort g, a, 0, -0.1.
g, -0.1, 0, a
Let a(g) = 29*g + 366. Let y be a(-14). Sort -1, 0, y in descending order.
0, -1, y
Let