3.7. Let r be 3 + (4 - 145/20). Sort w, 0.1, r in increasing order.
w, r, 0.1
Let c(p) = p**2 + 9*p + 12. Let f be c(-7). Sort -3, 1, f in increasing order.
-3, f, 1
Let n = 101 + -101. Sort n, 1, 5.
n, 1, 5
Let u(x) = -x**2 - 8*x + 4. Let v be 4/(-26) - 102/13. Let q be u(v). Put q, -2, -4 in descending order.
q, -2, -4
Let d(q) = -q**3 - 21*q**2 - 3. Let j be d(-21). Put j, -6, 5 in descending order.
5, j, -6
Let p(i) = -i**3 + 7*i**2 - 6*i + 3. Let k be p(6). Suppose 2 = k*h + 11. Sort -1, h, -2 in increasing order.
h, -2, -1
Let h = 3.21 - 0.11. Let b = h + -1.1. Sort 5, -1, b in ascending order.
-1, b, 5
Let b be (-4)/(-16) - (-1)/(-4). Sort -6, b, -2, -1.
-6, -2, -1, b
Let q = -10 - -9.4. Let v = q + 5.6. Sort -0.5, 0, v in decreasing order.
v, 0, -0.5
Let s(a) = 2*a**3 - 1. Let z be s(1). Let b(n) = n + 5. Let h be b(-10). Sort 4, z, h.
h, z, 4
Suppose l = -0*l - 3*j + 4, -2*l = -2*j - 16. Let k = l - 2. Put -0.5, k, -0.2 in decreasing order.
k, -0.2, -0.5
Let p = -24 + 21. Sort 0, -4/7, p in increasing order.
p, -4/7, 0
Let y = -167 + 1505/9. Sort -1/3, y, -15, 0.4.
-15, -1/3, y, 0.4
Let u = 3.6 + 0.4. Let j = 20 + -24. Sort 0.3, j, u.
j, 0.3, u
Let k(d) = -2*d - 1. Suppose -t + 0*t = -4. Suppose -s - t = 4*n, 0 = -2*n + 4*s + s - 24. Let c be k(n). Sort c, 5, 1 in increasing order.
1, c, 5
Let y(x) = x**3 + 9*x**2 - x - 11. Let s be y(-9). Let q be s + ((-140)/8)/(-5). Let r = 2.9 - -0.1. Put q, r, 1/2 in decreasing order.
r, q, 1/2
Suppose 5*j = 3*g - 3, g + g - 2*j - 2 = 0. Sort -4, 6, g in ascending order.
-4, g, 6
Let t(r) = -r - 4. Let a be t(-4). Let u(p) = p - 1. Let y be u(a). Let x = 247 - 243. Put -4, y, x in increasing order.
-4, y, x
Suppose -5*t + 2*y + 2 = -3, 0 = -4*t + 2*y + 2. Sort t, 4, 0 in decreasing order.
4, t, 0
Suppose 5*a + 4 + 11 = 0. Sort a, -2, -4 in decreasing order.
-2, a, -4
Suppose 0*h = 2*h - 10. Let b = -0.2 - 0.3. Put b, h, -1 in decreasing order.
h, b, -1
Let m(r) = 4 + 2*r + r**2 + 14*r - 6*r + 1. Let k be m(-9). Put 1, k, 9 in decreasing order.
9, 1, k
Let n = 26 + -30. Sort 4, 0, n in decreasing order.
4, 0, n
Suppose -7*l - 76 = -26*l. Sort 3, 1, l, -3.
-3, 1, 3, l
Let x = -4.003 + 0.003. Sort -2/5, -21, x.
-21, x, -2/5
Let w = 0.06 - -0.54. Suppose 5*s = -0*s + 20. Let d = s + -1. Put d, -4, w in increasing order.
-4, w, d
Let d = -1 + 3. Suppose 5*o = d*u - 6, -3*u + 5*o = u - 12. Let j be u/(-45) - (-2)/3. Sort j, -1, 1 in ascending order.
-1, j, 1
Suppose 4*z - 40 = -6*z. Sort 12, z, -3, -2 in decreasing order.
12, z, -2, -3
Suppose d = 4*p + 3, -5*d + 0*d = -3*p + 19. Sort -1, p, -5.
-5, p, -1
Let v = 41 + -41.5. Put 2, 3, 5, v in descending order.
5, 3, 2, v
Let n = -93 - -88. Sort -1, n, 1 in ascending order.
n, -1, 1
Let z = -85 + 679/8. Sort z, -2/5, 0.4.
-2/5, z, 0.4
Let s = 32 - 14. Sort 3, s, 2 in increasing order.
2, 3, s
Suppose -9 = -2*d + q, -d + q + 1 = -3*q. Put -2/7, d, -4, 2 in ascending order.
-4, -2/7, 2, d
Let o = 14 + -13.6. Put -1, o, 0.1 in descending order.
o, 0.1, -1
Let q be -5 + 1 + -7 + 7. Put q, -1/3, 1.1 in decreasing order.
1.1, -1/3, q
Let h(n) = 4*n + 1. Let a be h(4). Suppose k - 4 = -5, a = 4*j + 3*k. Sort j, 1, 0 in descending order.
j, 1, 0
Let m = -0.9 + 0.8. Let s = 6.4 - 1.4. Sort 3/4, m, s in descending order.
s, 3/4, m
Let p(h) = -h - 7. Let v be p(-9). Suppose 2*s = -s - r + 12, 2*s + 2*r = 12. Sort s, 1, v in decreasing order.
s, v, 1
Suppose -2 = -3*o - 14. Let s = -6 + 3. Sort s, o, 4 in decreasing order.
4, s, o
Let q = 7 + -3. Suppose 4*t = -4*g + 3*g + 16, 2*t = 5*g + 30. Let w be (-2)/(-12)*(1 - t). Put q, 1/8, w in decreasing order.
q, 1/8, w
Let h = -4.47 - 0.53. Put h, -1/6, -0.03 in decreasing order.
-0.03, -1/6, h
Let f = 4.036 - 0.036. Put -2, f, 0.04, -0.2 in descending order.
f, 0.04, -0.2, -2
Suppose 2*p + 9 = -o, 4*p - 8 = 3*o - 1. Suppose -4*c + 8 = -4. Sort -2, c, o in decreasing order.
c, -2, o
Let v(o) = o**3 - 3*o**2 - 4*o + 3. Let i be v(4). Let t(a) = -2*a - 4. Let q be t(-4). Sort q, i, 1 in descending order.
q, i, 1
Let n = 4.02 + -4. Let u = 0.03 + -0.35. Let s = n + u. Sort s, 4, 1.
s, 1, 4
Let f = 2.1 - 2. Let w(l) = l - 8. Suppose -q - y = 4*y - 1, 5*q - 2*y = 59. Let d be w(q). Put f, 2/11, d in ascending order.
f, 2/11, d
Suppose l = -3*j + 68, 0*l + 10 = 2*l. Suppose -3*t + 9 = o, -5*t - o + j = 4. Let b = -22 + 17. Put b, t, -1 in increasing order.
b, -1, t
Suppose -h = 3*h + 8. Let l(q) = -q**3 + 2*q**2 - 4*q + 3. Let t be l(2). Sort h, 4, t in increasing order.
t, h, 4
Let c = 84 - 88. Suppose 2*d + 4 = 2*f, -6*f + 2*f + 15 = 3*d. Put c, f, -3 in decreasing order.
f, -3, c
Let h be 5/3*16/(-20)*3. Sort -3, 1, 2, h in descending order.
2, 1, -3, h
Let b(y) = -y**3 + 4*y**2 - y - 2. Let x be b(3). Suppose -c - 2*w + 2 = -3, 2*c - 4*w - 2 = 0. Suppose -2*t + 4*o = 4, -3*t - 1 = -c*o + 8. Sort -3, t, x.
t, -3, x
Suppose 5*b = 20 + 75. Suppose 0 = -f - 3*n - n - b, -f + n = -1. Sort 4, f, -2.
f, -2, 4
Let h = 0.64 - 0.24. Suppose m = 2 + 2. Suppose -r = m*r - 15. Sort 5, h, r in descending order.
5, r, h
Let g = 0.8 + -3.8. Let l = 1 - g. Let f be 3 + (-10)/8*2. Sort l, f, -0.2.
-0.2, f, l
Let p = -1.9 + 2. Let k = 4.1 - 4. Let v = k - p. Put -3/8, 5, v in increasing order.
-3/8, v, 5
Suppose 2*z - 5*b = 13, 0 = -2*z - 2*b - 1 + 7. Let t be (-4)/(-14) + 80/(-35). Let x = t + 4. Put -5, z, x in decreasing order.
z, x, -5
Let j = 16.93 + -17. Let t = -0.03 + j. Let a = -1.9 + t. Sort 0.2, 3, a.
a, 0.2, 3
Let g be (-2 + 0 - -8)*1. Let r = g + -4. Let l be (5/4)/((-1)/4). Sort r, l, -4.
l, -4, r
Let u = -0.05 + 1.35. Put -2, -4, u in descending order.
u, -2, -4
Let t = -27 - -26.4. Put -0.4, t, -1 in increasing order.
-1, t, -0.4
Let v = 18.5 - 18.5. Let l = -4 + 1. Let n = l - -2. Sort -2, n, v in ascending order.
-2, n, v
Suppose -5 = 5*p - 2*t, -4*p + 4*t + 9 - 1 = 0. Suppose 9 = -5*z + 4*y, -4*z + 4*y + 0 = 8. Let m = -6 - z. Put m, 4, p in descending order.
4, p, m
Let x = -9 - -7. Put x, -1, -3 in decreasing order.
-1, x, -3
Let t(q) = -q**2 + 9*q + 2. Let d be t(9). Suppose 5*k + 19 = d*i, 3*i - 8 = k + 4*i. Put 0, k, 3 in increasing order.
k, 0, 3
Let s = 10 - 16. Let f be (-1)/s - (-2)/(-4). Let g = 23.9 + -24. Sort f, -0.3, g in ascending order.
f, -0.3, g
Let g(p) = p. Let i be g(2). Let y be -1 - (i + -4 + 2). Put y, 0, 1 in increasing order.
y, 0, 1
Let p be (6/(-2) - -3) + 6. Suppose k + q - p = 0, -2*q = -3*k + q. Put 1, -2, k in descending order.
k, 1, -2
Suppose -5*y = 15, -7*v + 5*y = -2*v - 50. Suppose 2*g + v = -1. Sort 2, -2, g in descending order.
2, -2, g
Let b be ((-1 + 2)/5)/(3/9). Sort -3/7, b, 4 in ascending order.
-3/7, b, 4
Let t = -10 - -5. Let h = 3 - 5. Let r be h/8 - 11/4. Put 4, t, r in ascending order.
t, r, 4
Suppose 2*o = -o + 12. Let j be (-13)/(-4) - 1/o. Let i be 20/24*6/(-1). Put i, j, 2 in ascending order.
i, 2, j
Let q = -15 - -20. Put q, 9, 4 in ascending order.
4, q, 9
Suppose -3*s + 20 = -8*s. Put -5, s, 1 in descending order.
1, s, -5
Let u be 18/(-126) - (-128)/14. Put -3, 0, u in descending order.
u, 0, -3
Let u = -4 + 7. Suppose 2*v + 0*v + u*c + 13 = 0, -v + 5*c = -26. Let w be 0 + -1 + -1 + v. Put -3, w, -4 in decreasing order.
w, -3, -4
Suppose 0 = s + p - 0 - 7, -2*s + 4*p = -20. Suppose -2 = -5*n + s. Let b = 0 - -5. Sort n, 0, b in descending order.
b, n, 0
Let c be -12*(-2 + 4)/(-2). Suppose -3*i + 3 = y + 4, -4*y = -4*i - c. Suppose -4*p + 4*s + 8 = 0, 23 = 4*p + 4*s - 3*s. Sort 4, i, p in descending order.
p, 4, i
Let h = 11 - 71/6. Sort h, -1/6, -3, -5 in descending order.
-1/6, h, -3, -5
Suppose -3*k + 5 = o + 4*o, 4*k + 5*o = 0. Sort -2/7, -2/11, k, 0.5.
k, -2/7, -2/11, 0.5
Suppose 0 = 4*h - q - 7 - 4, 3*h + 4*q = 32. Put h, -4, -2 in descending order.
h, -2, -4
Let d = 0.03 + 0.97. Sort d, 4, -3/4 in ascending order.
-3/4, d, 4
Let c = -12 - -12. Let r be (-4)/2*6/4. Put c, r, 4 in increasing order.
r, c, 4
Let j = 1359/5 - 271. Put j, -4, 1 in increasing order.
-4, j, 1
Suppose 3*o = 3*n + 2*n + 5, -2*n - 33 = 5*o. Let c = 0.05 - -1.15. Let v = -1 + c. Sort o, 2, v.
o, v, 2
Suppose r = -3*v + 5*v + 14, r - 26 = 5*v. Sort r, -2, 1 in decreasing order.
r, 1, -2
Suppose 3*z + 3 = 4*s, -s - 2 = -4*z + 6*z. Let x be (1/2)/((-1)/2). Sort -3, x, s in increasing o