 3. Let a be m(3). Let l be (2/(-3))/((-16)/a). Let h = 116/1545 - -6/103. Sort l, h, 3/2 in ascending order.
h, l, 3/2
Let q = 2.5 + -3.5. Sort -5, q, 4 in increasing order.
-5, q, 4
Suppose -5*d = -x + 14, 3*d - 3*x + 14 = 2*d. Sort 2/21, d, 2/3 in descending order.
2/3, 2/21, d
Let l(c) = c + 6. Let t be l(-9). Put -2, 0, t in decreasing order.
0, -2, t
Let q(a) = a**2 - 8*a + 5. Let f(t) = -t + 8. Let k be f(0). Let s be q(k). Suppose 0 = -3*p + 8*p - s. Put 0, p, -3 in decreasing order.
p, 0, -3
Let i = 13 - 16. Sort i, 7, -2 in decreasing order.
7, -2, i
Suppose -5*m = 4*l - 37, -3*m + 2*l + 9 = -0*l. Put -2, -73, m in ascending order.
-73, -2, m
Let y be (-1)/(2/2)*-1. Suppose -2*u + d + 3 = -3, -5*d = -2*u + 14. Suppose -u*z = 1 - 7. Sort 5, z, y.
y, z, 5
Let o = -0.212 + 0.012. Let d = 4.06 + -0.06. Sort d, -2, o in increasing order.
-2, o, d
Let p = -2.6 - 0.4. Let z = 7 + -4. Let i = z + p. Put i, -4, 2/15 in descending order.
2/15, i, -4
Let p(b) = -b**3 - 6*b**2 - 6*b - 5. Let j be p(-5). Suppose j*l - 5*q - 5 = -l, -3*q = -4*l + 20. Suppose l = -k + 6. Sort 3, k, -2.
-2, k, 3
Suppose -8*r + 4*r + 16 = 0. Sort -1, -5, r in increasing order.
-5, -1, r
Let n = -0.1 + -1.7. Let g = n - -0.8. Let x = 12 - 17. Sort g, x, 3/2 in descending order.
3/2, g, x
Let d = -15 - -25. Let b = -15 + d. Let j = -2.5 - -3. Sort b, j, 0.4 in increasing order.
b, 0.4, j
Let d = -50 - -53. Let x = 147 - 2209/15. Sort x, 0.1, d in decreasing order.
d, 0.1, x
Let v = -8 + 21. Put -0.5, -0.3, v in decreasing order.
v, -0.3, -0.5
Let j(r) = -r**2 + 11*r + 9. Let g be j(12). Sort 2, -4, g, 5 in decreasing order.
5, 2, g, -4
Let c(f) = f**3 + 3*f**2 - 4*f - 4. Let b be c(-4). Sort 4, 2, b in increasing order.
b, 2, 4
Let y = -0.29 - -1.29. Sort 2, 5, y in decreasing order.
5, 2, y
Let q(p) = -2*p + 17. Let t be q(7). Suppose -3*m - m + 9 = -5*b, b + t = 2*m. Let x = 15 + -10. Put m, x, 0 in descending order.
x, m, 0
Suppose x - 8 = 2*s, 0*x = -2*x - 2*s - 8. Let m be 8/(-30)*126/28. Sort -0.4, x, m in increasing order.
m, -0.4, x
Let w(y) = -y - 2. Let s = -4 + 0. Let j be w(s). Sort j, -4, 0 in increasing order.
-4, 0, j
Let t = -5 - -8. Let j(u) = -u + 5. Let h be j(7). Sort h, t, -1 in descending order.
t, -1, h
Let f = 3 - 3.1. Sort f, 0.09, -4.
-4, f, 0.09
Let n(f) = f - 5. Let y be n(5). Let m be (4/16)/(2/10). Sort y, 0.3, m.
y, 0.3, m
Let g = -41/2 - -21. Sort g, 4/7, -4 in ascending order.
-4, g, 4/7
Let v be -3*(4/6)/((-8)/12). Sort v, -1, -7.
-7, -1, v
Suppose -3*u - 1 - 2 = 0. Sort u, -2, 0 in increasing order.
-2, u, 0
Let c(r) = r**3 - 2*r**2 + 3*r - 3. Let l be c(2). Suppose 10 = -u - u. Put u, l, 4 in increasing order.
u, l, 4
Let m be (0 + -5)*(-72)/40. Let v be (-1 - 0)*m/3. Put -2, v, 4 in decreasing order.
4, -2, v
Let g = -6.02 + 6. Let u = g - -0.02. Sort -1/4, 4/5, u in increasing order.
-1/4, u, 4/5
Let a = -0.01 - 0.19. Put 7, a, 3/2 in ascending order.
a, 3/2, 7
Let c = 320/7 + -46. Let t = -0.5 - -0.8. Sort c, t, 8.
c, t, 8
Suppose -a = -3*v + 4, 2*v - 14 = -4*a - a. Suppose -i = -2*m - 5, -i = -3*i - 4*m - 6. Put a, i, -3 in descending order.
a, i, -3
Suppose 0 = -2*k - 2*i, -5*i - 4 = 4*k - 0. Let x = -19 + 9. Let w be ((-4)/x)/((-2)/20). Sort w, k, 1 in decreasing order.
k, 1, w
Let b = 7 - 7. Let i be (-33)/(-39) + (b - 1). Let c(u) = -u**2 + 2*u + 5. Let j be c(4). Sort 0.2, i, j.
j, i, 0.2
Let c = -35 - -30. Sort 1, c, -3, 2 in increasing order.
c, -3, 1, 2
Let y = -14 + 6. Let j(i) = -i**3 - 7*i**2 + 7*i - 10. Let s be j(y). Put -4, s, 0 in decreasing order.
0, s, -4
Let k(z) be the first derivative of z**3/3 + 4*z**2 + 2*z + 2. Let s be k(-7). Suppose 3*v + 0 = -2*u - 2, 0 = 4*u - 20. Sort s, 2, v in decreasing order.
2, v, s
Let g be (8/(-12))/((-6)/(-9)). Sort g, 0, 2.
g, 0, 2
Let w be -4 + 5/(10/(-4)). Let q = w + 3. Suppose 0 = -t + g, -2*t - 35 = 2*g + 3*g. Sort 0, q, t.
t, q, 0
Let l be -4*(-7)/(-8)*-2. Suppose -u = u - 18. Suppose 4*c + u = -l. Sort 3, c, 1.
c, 1, 3
Let a = -2 + 2.1. Let i = 251 + -254. Put i, -0.3, a in increasing order.
i, -0.3, a
Let u = -74 + 75. Let m = 15 + -11. Sort -2, m, u in ascending order.
-2, u, m
Suppose 2*u = -11 + 1. Let g(p) = -p**3 - 5*p**2 - 4*p - 4. Let d be g(-4). Sort d, 1, u.
u, d, 1
Suppose 8 = b + c, -c - 4*c + 15 = 0. Let d(s) = s**2 - s + 3. Let f be d(3). Let p = f + -7. Sort b, p, 3.
p, 3, b
Let d = -25 - -23. Put -3, 2, -5, d in ascending order.
-5, -3, d, 2
Let m = -8 - -4. Suppose -7 - 38 = 5*d - 4*u, 30 = -d + 5*u. Sort 1, m, d in decreasing order.
1, m, d
Let v(a) = -a**2 + 2*a + 24. Let f be v(5). Put -4, f, 1 in ascending order.
-4, 1, f
Suppose 4*f + 2 = -2. Suppose -4*d + 5 - 1 = 0. Sort f, d, -3 in increasing order.
-3, f, d
Suppose -15 = 7*m - 22. Sort m, 13, -3 in descending order.
13, m, -3
Suppose -p = -10*p + 45. Sort -7, p, 4, 1 in descending order.
p, 4, 1, -7
Let j = -12 - -15. Sort -0.5, j, 0 in descending order.
j, 0, -0.5
Suppose -4*i + 5*i = 0. Suppose 4*q = -i + 4. Sort -1, q, 5 in ascending order.
-1, q, 5
Let u = -7 + 12. Let z be (((-15)/6)/5)/(3/2). Put u, z, -1 in decreasing order.
u, z, -1
Let h be -2 - (-2)/(-2)*-5. Let v = 5.7 + -6. Put -1/4, h, v in descending order.
h, -1/4, v
Suppose -3*j + 5*z = 12, 2*j - 2*z + 5 = j. Suppose 0 = -0*v - 3*v + 9. Suppose 0 = v*w - 3*h + 18, 2*w + 0*h + 8 = h. Sort w, 0, j in descending order.
j, 0, w
Suppose -2 = -m - 6. Sort 1, -5, m in descending order.
1, m, -5
Let b be ((-2)/26*2)/(-1). Let y = 6 - 5.97. Let z = y - -0.07. Sort 1/7, b, z in increasing order.
z, 1/7, b
Let n = 2.03 - 0.03. Let h = n + -3. Put h, 3, -0.2 in decreasing order.
3, -0.2, h
Let b = -0.23 - 0.07. Let n = 14 + -10. Let m = n - 3. Put b, m, 2/11 in descending order.
m, 2/11, b
Let n = -0.2 + 0.4. Let u = 0.07 - 0.07. Let v = u - -0.4. Sort v, 5, n.
n, v, 5
Suppose 12 = -5*f + 32. Let l = -3 + 9. Let c = l - 9. Sort 0.4, f, c in descending order.
f, 0.4, c
Let n = 1 - 1.2. Let f = -6 - -13/2. Put -2/13, f, n in decreasing order.
f, -2/13, n
Let s be (-82 - -84) + (40/9)/(-2). Sort -4, -1/4, s in descending order.
s, -1/4, -4
Let w = 15 + -10. Let m be (6 - 5)*2*1. Sort w, -5, m.
-5, m, w
Let p(l) = 3*l**3 + 8*l**2 + 9*l + 8. Let i(o) = 2*o**3 + 7*o**2 + 8*o + 7. Let a(j) = -7*i(j) + 6*p(j). Let z be a(-1). Sort z, 5, 0.2.
z, 0.2, 5
Let n = 0.53 - 0.13. Let g = 53.05 - 51. Let i = 0.05 - g. Put 5, i, n in increasing order.
i, n, 5
Let k = -49 - -46. Suppose 0 = 2*i + 3*z - 4, 3*z = 2 + 4. Sort i, k, 6.
k, i, 6
Let u(c) = -c**3 - 3*c**2 + 5*c + 6. Let r be u(-4). Sort r, 0.02, -3 in increasing order.
-3, 0.02, r
Let a be (-40)/6 + (-1)/3. Let t(o) be the first derivative of -o**2/2 - 3*o - 4. Let l be t(a). Sort 1, 3, l in ascending order.
1, 3, l
Suppose i = 2 + 2. Let w be -1 - 5/(5/2). Sort w, 0.5, i in increasing order.
w, 0.5, i
Suppose -6 + 2 = -i. Let x = 3 - 7. Suppose 0 = -0*b + b - 2. Put i, x, b in increasing order.
x, b, i
Let a = 14 - 14.09. Let w = -0.59 - a. Sort -0.1, 5, w in increasing order.
w, -0.1, 5
Suppose -4*h + 2*n + 10 = 0, -3*h + 2*n = -0*n - 9. Let l be 27/18*(-4 - -2). Put h, -5, l in ascending order.
-5, l, h
Let h be (6/(-4))/(225/(-100)). Let q be 9/(-6)*4/(-21). Sort q, -2, h in increasing order.
-2, q, h
Let w(b) = -b**3 - 4*b**2 - 3*b - 4. Let l be -6*((-3)/(-6) - 0). Let t be w(l). Let v = t + -1. Sort -4, -2, v in decreasing order.
-2, -4, v
Let l be (-1)/(-2)*-14 + 3. Put l, -5, 0 in decreasing order.
0, l, -5
Suppose 3*k = -0*k - 6. Let u = 70 - 70. Sort -1, k, u in decreasing order.
u, -1, k
Let x = 13 + -8. Let i be 4/x*5/2. Let l be 1 + -1 + (-4)/2. Sort -3, l, i in decreasing order.
i, l, -3
Suppose 4*x = -5 - 11. Let b = x + 7. Put b, 1, 0 in decreasing order.
b, 1, 0
Suppose 0 = -5*o - 22 + 2. Let i(x) = -x - 5. Let u be i(o). Put -2, 4, u in decreasing order.
4, u, -2
Suppose -4*a - 5*q + 5 = -8, -a = q - 2. Suppose 6*u - 80 = 2*u - 5*s, -3*u + 5*s = -25. Suppose u = h + 2*h. Put h, a, 3 in increasing order.
a, 3, h
Suppose t - 32 + 37 = 0. Put 1, t, 0, 4 in decreasing order.
4, 1, 0, t
Let q = -15 + 21. Suppose q*w - 15 = w. Let g be 1/w - 56/(-12). Put g, 2, 4 in decreasing order.
g, 4, 2
Let b = -8 + 5. Let g be (-1)/((-3)/3) + -1. Suppose 2 = -2*q - g. Sort q, b, -2 in descendi