(7). Suppose 0 = 2*m + k - 1. Put m, d, -5 in decreasing order.
d, m, -5
Let r = 3.992 - -0.008. Put 2/7, r, 2, -5 in ascending order.
-5, 2/7, 2, r
Suppose 3*r + a - 14 = -a, -4*a = 4*r - 20. Let m(p) = -2*p + 4. Let z be m(r). Let y = 4 + -3. Put z, -1, y in descending order.
y, -1, z
Suppose -24 = -3*a + 36. Suppose 2*p - 6*p = -a. Suppose 8*x - 3*x = -20. Sort p, x, 0.
x, 0, p
Let c be -1 - -1 - 0 - 0. Suppose 2*i + 24 = -5*z + 9, 0 = 4*z - 2*i - 6. Put c, -5, z in descending order.
c, z, -5
Let l = 10.77 + -1.17. Let p = l + -0.6. Let q = -7 + p. Sort -0.2, q, 5 in descending order.
5, q, -0.2
Let g be (-26)/8 + (-9)/12. Sort -1, -10, g in ascending order.
-10, g, -1
Let j(d) = -2*d + 22. Let w be j(10). Sort w, 4, 1 in ascending order.
1, w, 4
Suppose 2*w - 1 - 1 = 0. Suppose o - w = -0*o. Sort o, -3, 5.
-3, o, 5
Let u = 8 + -3. Suppose 2*l - u*x = -11, 4*l - 3*x + 2*x = 5. Suppose -4*d = -l*d. Sort 4, -2, d in ascending order.
-2, d, 4
Let d = 66 + -57. Put d, 1, 0.5 in ascending order.
0.5, 1, d
Let f = -23 - -22.96. Sort -0.5, f, 0.5 in descending order.
0.5, f, -0.5
Suppose -3*y + 4*r - 2 = -0*y, -4*y - 5*r = -18. Sort y, 3, 4, -8 in ascending order.
-8, y, 3, 4
Let c = 0.14 + -5.14. Sort 0.3, c, 2.
c, 0.3, 2
Let d be -2 + (-1)/((-4)/32). Let o(m) = -m**2 + 7*m - 3. Let q be o(d). Sort 2, q, 5 in ascending order.
2, q, 5
Let p = -363/14 - -192/7. Sort p, 123, 3/4 in descending order.
123, p, 3/4
Let p = -0.02 - -20.02. Let i = -12 + p. Let m = 5 - i. Put -2/7, 1, m in ascending order.
m, -2/7, 1
Suppose 342 + 18 = 3*q. Let n be (-3)/(-9) + q/18. Sort n, 0, -5.
-5, 0, n
Let g(k) = k**3 + 7*k**2 + 6*k - 3. Let b be g(-6). Let r be (-4)/(-6)*(-4 + 1). Let t = r - -6. Sort t, -4, b.
-4, b, t
Suppose 2*c = l + 3*l + 104, 0 = 4*l + 16. Sort c, 5, 1 in increasing order.
1, 5, c
Let z = -22.1 - -22. Put 2/11, 4, z in descending order.
4, 2/11, z
Let y = 0.7 + -1. Suppose 0 = -3*o - 6. Sort y, o, 4/7.
o, y, 4/7
Let h be 10/(-2) - -7 - 2. Put h, 4, -2, -55 in ascending order.
-55, -2, h, 4
Let h be (14/4 - 4)*-2. Let y be (-1 - -1) + (5 - 0). Sort h, y, 2.
h, 2, y
Suppose 7 - 2 = 5*x. Let h(a) = -5*a. Let w be h(1). Put x, -10, w in decreasing order.
x, w, -10
Let v be ((-3)/3)/((-2)/6). Suppose v*c = -0*c. Sort c, 1, -5.
-5, c, 1
Suppose 3*y + s + 6 = -2*s, -5*s = y + 18. Let a = -2 + -2. Put a, 3, y in increasing order.
a, y, 3
Let x = -96 - -2399/25. Let a = 11/350 - x. Let k(n) = -n**3 - 8*n**2 - 2. Let h be k(-8). Sort a, -4, h.
-4, h, a
Let r be (-1)/(-5)*(-10)/(-6). Let h be 8/44 - (-9)/11. Let a be (-16)/(-8) + (h - 1). Sort r, a, 4 in descending order.
4, a, r
Let x = 6 - 10. Let o(c) = 3*c**2 - 11*c + 1. Let u be o(4). Put x, 1, u in ascending order.
x, 1, u
Let i = -0.93 - -1. Let g = -2.07 + i. Let j = 2.5 + g. Sort 0, j, -3 in increasing order.
-3, 0, j
Let b be (-1)/(-22)*(-168)/(-18). Let d = -59/165 - -4/15. Let g = d + b. Put -0.5, g, 0.4 in descending order.
0.4, g, -0.5
Let k = -2.7 + -2.4. Let i = -1.1 - k. Put 4/5, i, -4/9 in decreasing order.
i, 4/5, -4/9
Let j = 15.46 + 0.54. Put -1/3, j, 1 in descending order.
j, 1, -1/3
Let o = 12 + -15. Put o, 5, -2 in descending order.
5, -2, o
Let r = 7 + -11. Let b be (6/4)/(6/20). Let m = r + b. Sort 4, 5, m in descending order.
5, 4, m
Let b = -19 + 9. Put 3, b, 4 in descending order.
4, 3, b
Suppose 5*q = d + 48, -d - 148 = 3*d + 2*q. Let m be -1*1 - (-18)/(-2). Let r be ((-2)/5)/(d/m). Put r, -0.1, 0.1 in descending order.
0.1, -0.1, r
Let i = 0.205 + 9.895. Let r = 10 - i. Sort -2, r, 0 in increasing order.
-2, r, 0
Let p(a) = a**2 + 4*a - 2. Let c be p(-5). Put -0.1, c, 0.06 in descending order.
c, 0.06, -0.1
Let q = -1.33 + 0.83. Put -4, q, 4 in decreasing order.
4, q, -4
Let r be (-2)/(-3) + (-2)/(-6). Let n be (-3)/4 - (-18)/(-8). Put r, n, 0 in ascending order.
n, 0, r
Let g = -22 - -27. Sort -2, -1, g in descending order.
g, -1, -2
Let m = -10 - -6. Let l = -73 - -70. Put 1, m, l in ascending order.
m, l, 1
Let a = 9 - -6. Suppose 3*n = a - 3. Let y = -0.401 - -0.001. Sort -3, y, n in decreasing order.
n, y, -3
Suppose 2*r + 4 = 2*h - 6, -2 = -5*r - 4*h. Let a = -0.1 - -0.3. Put 4, r, a in increasing order.
r, a, 4
Let m = 9 + -26/3. Sort 0.04, -1, m, 5 in decreasing order.
5, m, 0.04, -1
Suppose 7 = -3*p + 4*r, 4 + 0 = 4*p - 2*r. Sort -5, p, -3 in increasing order.
-5, -3, p
Let p = 10.02 - -0.78. Let d = 3.3 - p. Let q = d + 7. Put 0, 1/3, q in decreasing order.
1/3, 0, q
Let c(l) be the first derivative of l**2/2 - 10*l - 2. Let b be c(9). Put -2, b, 5 in descending order.
5, b, -2
Let k = 0.17 - 7.17. Let u = k + 6.9. Sort -0.2, 1/3, u in descending order.
1/3, u, -0.2
Let j be 2/(-4)*(-1)/3. Let t = 9/7 + -43/28. Sort j, 0.5, t.
t, j, 0.5
Let a = -3.5 + -0.5. Let z be (-18)/99 - 16/33. Put z, a, -5 in decreasing order.
z, a, -5
Let m = 24 + -149/6. Put -3/28, m, -3 in descending order.
-3/28, m, -3
Suppose 0 = -0*u + u + b - 6, 0 = 5*u - 5*b. Let r = 3 + -3. Sort 4, r, u.
r, u, 4
Suppose -i - 5 = 5. Let r = -7 - i. Let t be 1/((-10)/(-4))*-5. Put t, 1, r in ascending order.
t, 1, r
Suppose 0*d = -d + 2*t, 4*t = 4*d - 12. Let o = -2 + d. Sort 2, 1, o in decreasing order.
o, 2, 1
Let r = 0.55 + -0.05. Sort 1/4, 4, r in descending order.
4, r, 1/4
Let u(g) = -13*g - 43. Let h be u(-3). Sort h, 39, 0.
h, 0, 39
Let p = -0.19 + 0.69. Put -1/9, 3, p in ascending order.
-1/9, p, 3
Suppose -3*k = b - 2*k - 1, 16 = -4*b + k. Sort 5, 2, -1, b in decreasing order.
5, 2, -1, b
Let d = 11 - 11.5. Let s(x) = -x**2 + 10*x - 12. Let n be s(8). Put n, -3, d in descending order.
n, d, -3
Let s = -4.231 + 0.151. Let x = -0.08 - s. Let m = -0.4 + 3.4. Put x, 0.4, m in decreasing order.
x, m, 0.4
Suppose -3*j + 3 = -12. Suppose j*a + 12 = a. Let t = a + 0. Put -5, 4, t in ascending order.
-5, t, 4
Let s(l) = -3*l + 2. Let b be s(0). Sort b, -0.03, -0.3.
-0.3, -0.03, b
Let r = 0.46 - -0.54. Let z(x) = -x**2 + 6*x + 9. Let n be (-4*14/(-4))/2. Let v be z(n). Put -3/2, v, r in decreasing order.
v, r, -3/2
Suppose 4*w = -4*w + 16. Put 4, w, 0, 3 in descending order.
4, 3, w, 0
Let c be 5*((-24)/100)/3. Sort -3, c, 2/3, -2/15 in descending order.
2/3, -2/15, c, -3
Let d = 0.2 + -1.2. Let g = 1 + -0.4. Let z = g + 0.4. Sort z, d, -4 in descending order.
z, d, -4
Let t(a) = a**3 + 10*a**2 + 10*a + 12. Let s be t(-9). Suppose 0 = -s*y - 2*y + 20. Let o be (2*-1 - -6)/(-1). Put y, -5, o in decreasing order.
y, o, -5
Let v = -24.02 - -35. Let o = v - -0.02. Let r = 15 - o. Sort 0, 3, r in descending order.
r, 3, 0
Let s = -13 + 12.7. Let k = -4.5 + 4. Sort s, -2/11, k in descending order.
-2/11, s, k
Let x = -2 + 3. Suppose -d = 8*d - 27. Sort x, d, -0.4 in descending order.
d, x, -0.4
Let v = 2.9 + -3. Let b(t) = -2*t**3 - t**2 - 2*t + 2. Let d be b(2). Let x be 4/d*4/8. Sort x, v, -2/5 in increasing order.
-2/5, v, x
Let n be 63/792 + 0 + 0. Let l = n + 1/22. Sort 4, -2/15, l in descending order.
4, l, -2/15
Let n(a) = a**3 - 5*a**2 - 16*a + 18. Let p be n(7). Put 3, 0, p, -5 in ascending order.
-5, 0, 3, p
Suppose -k - 6 + 3 = 0. Let v(h) = -h - 7. Let r be v(-13). Suppose -2*a - r = a. Sort a, 1, k.
k, a, 1
Suppose 11*s + 44 + 0 = 0. Put -3, 4, 5, s in ascending order.
s, -3, 4, 5
Let w be (1/1)/((-22)/(-264)). Sort -4, 3, -3, w in descending order.
w, 3, -3, -4
Let l = -6 - -9. Suppose 0 = -l*p + 6, -4*p + 5*p - 5 = -3*w. Sort 3, -2, w in descending order.
3, w, -2
Suppose 2*g = -2 - 4. Let p be 2/8 - 41/4. Let z = 9 + p. Sort g, -2/19, z in ascending order.
g, z, -2/19
Let s(t) = -t**3 - 5*t**2 + 7*t + 5. Let d be s(-6). Let l be (0 + 2 + -1)/d. Let c = l - -4. Sort c, -5, -1 in increasing order.
-5, -1, c
Let k = -10 + 12. Suppose 11 = -q + k*b - 2, -5*q - 40 = -5*b. Sort 5, 4, q in ascending order.
q, 4, 5
Let n = 120 + -124. Put n, 4/3, 0, 3 in decreasing order.
3, 4/3, 0, n
Let t(q) = q**3 - q**2 + 5. Let w be -1 + (-1 - 3)/(-4). Let m be t(w). Sort m, 0, 3 in descending order.
m, 3, 0
Let d be 22/(-8) + 5/(-20). Let b be 3*(d - (-20)/7). Sort -2/7, b, -1/4 in decreasing order.
-1/4, -2/7, b
Suppose d - 5*d = 4. Let b(p) = -2*p**3 - 2*p**2 + p. Let u be b(1). Put u, d, 0 in increasing order.
u, d, 0
Suppose 5*q + 6 = 4*w, -w - 6 = -3*q - 4. Suppose 0*t - 20 = w*t. Put 5, t, -3 in de