3.7. Put -4, l, 2/11 in descending order.
l, 2/11, -4
Let b = 199.5 + -199. Put b, 2/3, 3 in decreasing order.
3, 2/3, b
Suppose -1 = -5*l + 2*y, -4*l = l - 4*y - 7. Put l, 0.4, 2/11 in decreasing order.
0.4, 2/11, l
Let s = -0.99 - -1. Let m = 3.99 + s. Let p = m + -2. Sort 4, p, -4 in increasing order.
-4, p, 4
Suppose 0 = 5*j + o + 2*o - 14, j - 10 = 3*o. Let d be ((-33)/(-22))/((-2)/j). Put d, -4, 2 in decreasing order.
2, d, -4
Let j = -2 - -8. Let y = j - 5. Suppose -3*v + 0*p + 5 = -5*p, 4*p + 4 = -2*v. Put v, 0.5, y in descending order.
y, 0.5, v
Let b(o) = -o**3 + o**2 + 7*o + 5. Let a be b(-2). Let v be (-3)/(-9) + 32/(-6). Sort a, 4, v in descending order.
4, a, v
Suppose -2*g + 8 = -3*g. Let f be ((-2)/(-20))/(2/g). Put f, -3/4, -1 in decreasing order.
f, -3/4, -1
Let f(x) be the first derivative of x**4/4 - x**3 - x**2/2 + 2*x - 1. Let n be f(3). Suppose 5*r - 4*y + 8 = -0, -3*y = -6. Sort n, -3, r in ascending order.
-3, n, r
Let p be (1 - 0)/((-2)/(-6)). Put 6, -1, p in decreasing order.
6, p, -1
Let s be (9 + -9)*(-1 + 0). Sort -2, -1, s in descending order.
s, -1, -2
Let b = 0.4 + -0.5. Let i = -8 - -11. Let r = 0 - i. Sort r, b, -2/11 in descending order.
b, -2/11, r
Let r = 25 - 26. Let g be (-2)/(-5) + 12/(-45). Put g, 2/3, r in increasing order.
r, g, 2/3
Let s = 48 - 40. Sort 3, s, -3 in ascending order.
-3, 3, s
Suppose o + 0*c + 3*c = 15, 15 = -5*o + 3*c. Sort o, 14, -1 in ascending order.
-1, o, 14
Suppose -5*p = 6 + 4. Let y = -3 - 0. Put p, y, -5 in decreasing order.
p, y, -5
Let s = 7 - 6.5. Suppose 5 = j - 0. Sort s, 0.4, j in decreasing order.
j, s, 0.4
Let l be (-2)/7 - 18/(-63). Suppose 0 = p - l*p. Suppose -a - 5*c - 13 = -c, -3*a - 3*c = 12. Sort a, p, 1 in increasing order.
a, p, 1
Let y = 0 - -0.1. Let f = y - 0. Let p = -0.41 - -0.01. Sort p, -2/15, f in decreasing order.
f, -2/15, p
Let f = 0.34 - -0.06. Let n = -0.2 - f. Sort 5, n, 2/5 in increasing order.
n, 2/5, 5
Let w = 176 - 172. Sort -4, w, 3, 19 in decreasing order.
19, w, 3, -4
Let m be 2 + (2/(-1))/1. Let o = 3 + -2. Suppose 3*r - 4 = 5*r. Sort o, m, r.
r, m, o
Let a be (-3)/(-6) + (-10)/4. Let k be 0*(-2)/8 - 1. Put k, -5, a in descending order.
k, a, -5
Suppose -h + 7*h + 30 = 0. Sort 0, h, 2 in descending order.
2, 0, h
Let y = 0.14 - 0.32. Let f = 0.02 - y. Let z be 5/1*2/15. Put -2/3, z, f in decreasing order.
z, f, -2/3
Let w = 6.29 - 1.19. Let i = w - 1.1. Sort 0.1, 1, i.
0.1, 1, i
Let s = 0.05 - 0.25. Sort -0.4, -0.5, s.
-0.5, -0.4, s
Suppose 2 + 3 = -5*r. Let q = -1 + 4. Suppose -z + 20 = -5*o, 5*z + 16 = -0*z - 4*o. Sort q, r, z.
r, z, q
Let v(t) = -t**2 - t - 2. Let b be v(-2). Suppose 0 = -4*r - 1 + 9. Suppose -r*f - 4 = -4*o - 16, -3*f - 3*o - 18 = 0. Sort f, b, 1 in increasing order.
b, f, 1
Let a be 14/((3 + -1)/(-1)). Suppose 2*o + 20 = -5*c, -20 = 5*c - 2*o - 0*o. Put -3, a, c in decreasing order.
-3, c, a
Let g = -0.09 + 6.09. Let h = 4 - g. Let c = 5.4 - 5. Put -2/5, c, h in ascending order.
h, -2/5, c
Let i be 38/6 + (-22)/(-33). Let d = i + -5. Sort -4, 1, d in descending order.
d, 1, -4
Let j = -0.16 - -5.16. Suppose -2*c + 44 = 2*c. Put 3/4, j, c in ascending order.
3/4, j, c
Let p = 19 - 19. Sort 4, -5, p.
-5, p, 4
Let t = -14 - -17. Let w be (t/(-1))/3*3. Put -5, 0, w in increasing order.
-5, w, 0
Let x be 2*-1*20/8. Put 3, x, -9 in decreasing order.
3, x, -9
Suppose -5*h - 63 + 13 = 0. Let r = -6 - h. Put 1, r, 3 in ascending order.
1, 3, r
Let t = 15 - 11. Let r = -8 + t. Suppose 10*w = 25*w. Sort -3, w, r.
r, -3, w
Suppose w - 4*t = 0, 4*t - t + 27 = 3*w. Let r be (8/w)/((-2)/(-3)). Sort r, -1, -4 in decreasing order.
r, -1, -4
Let r be ((-10)/4)/(3/(-6)). Put -1, -5, r in decreasing order.
r, -1, -5
Let z = 1.1 - 1. Let f = 3 - 0. Let q = f - 6. Put z, q, -1 in ascending order.
q, -1, z
Let y be (-2)/(-5) - (-32)/(-55). Put -3, y, -2 in decreasing order.
y, -2, -3
Let y be (1 + 2)/((-60)/8). Let s be ((-1)/(-5))/(14/(-35)). Sort s, -1/4, y in decreasing order.
-1/4, y, s
Let r = 679/9 - 75. Let o = 0.1 + -0.2. Put r, o, 5 in decreasing order.
5, r, o
Suppose 2*o = -3*a + 19, a - o + 0 + 2 = 0. Sort 2, a, -2, 5 in decreasing order.
5, a, 2, -2
Let i be 106/(-22) - 6/33. Put 2, 5, i in ascending order.
i, 2, 5
Let m(d) = d + 10. Let b = 8 + -13. Let r be m(b). Put 1, -4, r in descending order.
r, 1, -4
Let v(g) = g + 6. Let f(l) = -2*l + 5. Let t be f(4). Let a be v(t). Sort -0.04, -2/11, a.
-2/11, -0.04, a
Let h(x) = -2*x**2 + 6*x - 7. Let b(i) = -3*i**2 + 7*i - 7. Let g(q) = -3*b(q) + 4*h(q). Let p be g(-5). Let y = -1178/117 - -92/9. Sort -5, y, p.
-5, y, p
Let u = 134.7 - 135. Sort -3/5, 3, -4, u in increasing order.
-4, -3/5, u, 3
Let z = 0 + 0.1. Sort z, -0.4, -1/11 in increasing order.
-0.4, -1/11, z
Let u(n) = -n**2 - 3*n + 1. Suppose 2*g - 5*f + f = 12, -4*g + 2*f = 0. Let i be u(g). Sort 2, -3, i in ascending order.
-3, 2, i
Let y be ((-12)/(-156))/((-2)/(-4)). Put y, 3, 0.5, 1 in decreasing order.
3, 1, 0.5, y
Let x = 0.01 + -9.01. Let g = -6 - x. Sort -0.5, g, 5 in decreasing order.
5, g, -0.5
Let w = 0 - -3. Let l = 103 - 823/8. Sort l, w, -8.
-8, l, w
Let f = 0.09 + -0.09. Sort f, 3, 3/2.
f, 3/2, 3
Let u = -0.016 + -2.684. Let g = 0.7 + u. Put g, 2/7, -1/9 in descending order.
2/7, -1/9, g
Let b be 10 + -4 + 2 + -3. Suppose -3*s - 3*l = -6*l + 12, 20 = -3*s + b*l. Sort -1, 5, s in increasing order.
-1, s, 5
Suppose 2*g + 65 = 7*g. Let b be (2 - g) + (6 - 2). Put -4, b, 0 in descending order.
0, -4, b
Let u be (-22 - -14)/(1 - -1). Sort -2, u, -97 in descending order.
-2, u, -97
Suppose 4*f - 15 = f. Let w be 4/f*(-2)/(-4). Sort -2/7, -1/2, w in descending order.
w, -2/7, -1/2
Let s = -433/4 + 109. Sort 0.1, -0.2, s, 0.4.
-0.2, 0.1, 0.4, s
Let s = -3.6 - -0.6. Let n = 8 + s. Sort n, 1/4, -3 in increasing order.
-3, 1/4, n
Suppose -4*c = -4*i + 24, -c = 3*i - 5*i + 11. Put c, -6, 0.2, 0.3 in ascending order.
-6, c, 0.2, 0.3
Let x(j) = -9*j + 1. Let p be x(1). Let m(f) = 11*f + 20. Let b(a) = -4*a - 7. Let g(r) = 8*b(r) + 3*m(r). Let i be g(p). Put -2, 0, i in increasing order.
i, -2, 0
Let i = -3 + 8. Suppose 0 = -3*c - 5 + 17. Sort 16, i, c in descending order.
16, i, c
Let l(f) = f + 10. Let g be l(-8). Let m be (-3)/18 + 0/g. Put 1, 3, m in decreasing order.
3, 1, m
Suppose 3*n = 5*n - 2*l, n - 6 = -l. Let v be (-48)/(-70) - 4/10. Put n, v, 2/5 in ascending order.
v, 2/5, n
Let s = -0.95 + -0.05. Let c = s + 0.9. Suppose -2*i = 8, r + 22 = -5*i - 0*i. Sort -5, c, r in descending order.
c, r, -5
Let x = 54.4 - 54. Put x, 3, -1/3 in descending order.
3, x, -1/3
Let d(r) = r - 2. Let u be d(4). Let z be 1 - -1 - (-1 - -3). Let j(o) = -o**3 - o**2 + 4. Let v be j(z). Put u, v, -3 in increasing order.
-3, u, v
Let y = 0.07 + -0.37. Let a = -0.04 - 0.26. Let c = a - y. Put 0.5, c, -0.1 in increasing order.
-0.1, c, 0.5
Let a = -0.7 - 3.3. Let q = 3.6 + a. Sort q, -2, 1/4 in increasing order.
-2, q, 1/4
Let m = 3.5 + -3. Let q = m + -2.5. Suppose -2*l + z - 8 = 0, 4*l + z + 24 - 2 = 0. Put q, 1/3, l in descending order.
1/3, q, l
Suppose -3*r - 16 = -11*r. Let u be 6/(-14)*8/6. Put r, u, 0.5 in decreasing order.
r, 0.5, u
Let r = 0 - 0.4. Let w be 3*4/(-6)*-3. Let n be (-7)/w - (-1)/2. Put 0, n, r in ascending order.
n, r, 0
Suppose -k = 3*s + 3*k + 6, 3*k = -3*s - 6. Let b(l) = -l - 2. Let p be b(-3). Let i = s - p. Put 3, 4, i in decreasing order.
4, 3, i
Let k be ((-7)/14)/(2/(-36)). Let c be 3/k*-1*3. Sort 0, c, -0.1.
c, -0.1, 0
Let i = 49 + -45. Suppose -4*a - 30 + 13 = 3*l, 2*l + 4*a + 14 = 0. Sort i, 0.2, l.
l, 0.2, i
Let j be (52/8)/((-1)/(-2)). Suppose -2 - j = -5*o. Let s(z) = -z**2 - 2*z + 1. Let x be s(-2). Sort 5, o, x in descending order.
5, o, x
Let x = -10 - -16. Suppose h = -c - 6, h + x = -4*h + c. Put -3, 3, h in decreasing order.
3, h, -3
Let i be 8 + (5 - 6) - 2. Put -18, -2, i in descending order.
i, -2, -18
Let c = -0.02 + 0.22. Sort c, 4, -3.
-3, c, 4
Let b = -5.9 + 6. Put b, -0.5, -4 in increasing order.
-4, -0.5, b
Suppose -9 = 5*p + 1. Let g be ((-2)/p - 0)*-1. Sort -2, g, 0 in decreasing order.
0, g, -2
Suppose 0 = -2*m - f + 120, 0*m - 5*f = 3*m - 180. Sort m, -5, -2 in ascending order.
-5, -2, m
Let q = -226/7 + 2952/91. Let v(d) = 2*d - 18. Let s be v(11). Put s, q, 1/3 in inc