7). Let t = 0 - -2. Sort -1, a, -4, t in decreasing order.
a, t, -1, -4
Suppose 9*l - 15 = 6*l. Suppose -3*q - 5*x + 74 = -16, 119 = l*q - 2*x. Suppose -q = 2*y - 7*y. Put y, -2/7, -3 in descending order.
y, -2/7, -3
Let j = -4.39 + 2.39. Sort -0.3, j, -11.
-11, j, -0.3
Let s = 36 - 30. Let v be s/(-24) + 7*(-3)/(-4). Sort v, 2, -2, 9.
-2, 2, v, 9
Suppose 4*c + 2 + 2 = 0, 2*s - 2*c - 12 = 0. Suppose 3 + 17 = s*v. Suppose h - 18 = 5*a, h - 10 = 2*a + a. Sort v, 0, a in descending order.
v, 0, a
Suppose 2*k - 18*w - 4 = -19*w, 3*w = -5*k + 12. Put k, -3, -5, 1 in decreasing order.
1, k, -3, -5
Let b = 17 + -11. Let z = b - 2. Suppose 9*s + 2 = 8*s. Sort s, z, 0 in decreasing order.
z, 0, s
Let l = -0.5 + 0.3. Let v be ((-300)/36 - -7)/((-56)/12). Put v, l, 2/3 in ascending order.
l, v, 2/3
Let x = -10425 - -10427. Let v = -5 - -3. Put 1, 5, v, x in decreasing order.
5, x, 1, v
Suppose 0*c = -5*c + p - 30, 0 = -3*c - 3*p. Put c, -9, 3 in ascending order.
-9, c, 3
Let n = 110 - 105. Put n, -2/7, 0.3 in decreasing order.
n, 0.3, -2/7
Let l(b) = -6*b - 9. Let z be l(-2). Let j be (1/(-1) + 1)/2. Suppose 4*x - 1 = z, j = -n + 3*x. Put n, -1, -2 in descending order.
n, -1, -2
Let y be (-22 + 38)*4/16. Put -1, 876, y, -5 in descending order.
876, y, -1, -5
Let m = -0.3 - -0.7. Let l = 7.5 - 11. Let y = -3 - l. Put m, y, -5 in decreasing order.
y, m, -5
Let l = -225 - -224. Put -12/17, 3, l, -2/9 in decreasing order.
3, -2/9, -12/17, l
Suppose 60 = -4*n + 9*n + a, 0 = 4*n + 2*a - 48. Put n, 0, 7, 3 in ascending order.
0, 3, 7, n
Suppose 4*n = 4*a - 20, 3*a = -2*a + 2*n + 10. Sort -3, a, 5, -8 in descending order.
5, a, -3, -8
Suppose 5*i - 2*i = n + 81, -3*i = -2*n - 84. Suppose i = -5*x + 3*o - 6*o, -4*x - 4*o = 24. Sort 24, x, 5 in descending order.
24, 5, x
Let w be -25*(33/(-15) + 1). Let j = w - 32. Put 12, j, 0 in increasing order.
j, 0, 12
Let r = 5 - 5. Let g = 8 - -2. Let s = 11 - g. Sort s, r, -1 in decreasing order.
s, r, -1
Let u be (-66)/1*((-4)/4 - -2). Let d = u - -67. Suppose 0 = l + 2. Put l, 4, d in ascending order.
l, d, 4
Suppose -2*t = -2*h + 8, -4*t = -2*h + 17 - 1. Sort t, 2, -6, 0 in increasing order.
-6, t, 0, 2
Let o(g) be the second derivative of g**5/60 + 5*g**4/8 + 11*g**3/6 - g**2 - 3*g. Let b(m) be the first derivative of o(m). Let t be b(-14). Sort 2, t, -2.
t, -2, 2
Suppose -4*c - 147 = -k, 0 = 2*c + k - 336 + 411. Sort c, 2, 6 in ascending order.
c, 2, 6
Suppose 334 = -a + 339. Put a, 3, 0, -3 in descending order.
a, 3, 0, -3
Let o = -550 + 546. Put o, 11, -1, 3 in ascending order.
o, -1, 3, 11
Let b be -3 + (2 - 1) - -9. Let m be 4/10 + (-12)/(-20). Let a = -2 + m. Put b, 4, a in ascending order.
a, 4, b
Suppose 0*s = -s. Let i(j) = 4 - 1 + 4*j**2 - 4 + 5*j + 2. Let a be i(-2). Put a, s, 3 in decreasing order.
a, 3, s
Let p be (5 + -47)/(4/2). Sort p, -0.4, -4 in ascending order.
p, -4, -0.4
Let c = 26.1 - 22.1. Let p be 21/(-5) - (-2 - 1). Let r = p - 3/10. Sort -2/9, r, c in increasing order.
r, -2/9, c
Let g = -38 - -23. Let q = g - -17. Suppose 2 = -y - q. Sort 2, 5, y.
y, 2, 5
Suppose 0 = -318*s + 333*s - 270. Put s, 5, -1, -3 in decreasing order.
s, 5, -1, -3
Let y = 73 - 21. Let o be (-6)/y*(-526 + -4). Let m = -61 + o. Sort -1/4, m, 2 in descending order.
2, m, -1/4
Suppose 77 = 19*u - 56. Put u, -12, 4 in increasing order.
-12, 4, u
Let w = 17 - 18. Let r be 5 + -6 - 1/w. Suppose -q - 3*s + 5 = r, 0 = -2*q - 2*s - 2 - 4. Sort -4, q, 2 in decreasing order.
2, -4, q
Suppose -38*g - 226 = -36. Put 2, g, 3, 3/7 in increasing order.
g, 3/7, 2, 3
Suppose 4*c = 2*c - 3*a + 12, 3*a = 6. Let n(t) = t**3 - 2*t**2 - 2*t - 2. Let j be n(c). Let d = 1 + -6. Sort j, d, -2.
d, -2, j
Let h = -1 - -0.4. Let d = -0.1 - h. Suppose 28*k + 506 = 263 + 299. Sort k, -2, d.
-2, d, k
Let j be 4/22 + (-1)/22*-106. Suppose 24 + 43 = 4*q - 3*t, -q + 13 = 3*t. Let d = -19 + q. Sort d, j, 4 in decreasing order.
j, 4, d
Let r(a) = 26*a + 106. Let k be r(-4). Let i = 0.04 - 0.44. Put k, 1/2, i in decreasing order.
k, 1/2, i
Let m be (-12)/(-7) + -2 + (-1224)/(-3843). Put 0.3, m, 0, -4 in descending order.
0.3, m, 0, -4
Suppose -1 + 21 = -5*j. Let f = -2262 - -2266. Put j, -1, f in decreasing order.
f, -1, j
Suppose -i = -3*v - 3*i + 26, -4*v - 2*i = -38. Let w be v/3 + 6/3. Suppose -2*q + 0 = -w. Put 1/6, 5, q in decreasing order.
5, q, 1/6
Let v = -3 + 2.7. Let j = -1502593 + 2610003305/1737. Let w = j - 4/193. Put w, 4, v in descending order.
4, v, w
Let t = 55/119 - 3/17. Let s = 6869/5 - 1374. Put t, 0.4, s in descending order.
0.4, t, s
Suppose -106*q = -104*q + 2. Suppose 0 = 2*j + 5*p + 2 + 3, 3*j + 4 = -4*p. Sort -4, j, q.
-4, q, j
Let z = 1 + 1. Let y = z - 2.4. Let r = 3838 + -3837.7. Sort -3, y, r in decreasing order.
r, y, -3
Let u(w) = w**2 + 11*w - 16. Let a be u(-11). Let y(h) = h**2 + 4*h. Let i be y(-5). Let k be (2/i)/((-10)/(-50)). Sort -5, a, k in increasing order.
a, -5, k
Let i = 423 - 422. Sort -3, i, 3, -4 in ascending order.
-4, -3, i, 3
Let n = 1286 - 1285. Put -1.5, 1/7, n in decreasing order.
n, 1/7, -1.5
Let t = 8 + 9. Let o = t - 14. Suppose -3*l + 3*k - 3 = o, 0 = -5*l - 3*k - 26. Put 3, l, 2/19 in descending order.
3, 2/19, l
Let b(v) = -3*v + 36. Let c(i) = -8*i - 12. Let z be c(-3). Let k be b(z). Put -8, k, -5 in ascending order.
-8, -5, k
Let z = -20.5 + 20.7. Put 15/2, 1, z in decreasing order.
15/2, 1, z
Let w = 0.6 - 0.5. Let f be 118/6 - (-14)/(-21). Let c be (-55)/f - (-42)/(-399). Put c, 2/7, w in ascending order.
c, w, 2/7
Let m be (-6)/(-4) - (-2)/4. Let o = 731 + -695. Let d be (1/m)/((-6)/o). Put -1, 2, d in descending order.
2, -1, d
Let s = -4.06 - -0.06. Let m be (-2)/32*(-5 + 41/9). Let o = m + -5/18. Sort 0.2, s, o in decreasing order.
0.2, o, s
Let z = 0.2 - -4.8. Let x = 2.8 + -2.75. Let g = -5.05 + x. Sort -0.1, g, z in ascending order.
g, -0.1, z
Let l = 1 - -2. Let v(q) = 6*q - 12. Let o be v(-9). Let b be 4*-1 + (-4 - o/9). Sort l, b, 1/6 in decreasing order.
l, 1/6, b
Let d = 0.47 - 1.07. Let u = 0.2 - 0.7. Put u, d, 3 in descending order.
3, u, d
Let u = -2 + -5. Let k(w) = w**2 + 5*w - 9. Let d be k(u). Let f(g) = -5*g + 38. Let s be f(7). Put s, d, 1 in decreasing order.
d, s, 1
Suppose 30 = 11*s - 13*s. Let c(h) = -2*h - 34. Let x be c(s). Suppose 5*j + 4*y - 4 = 0, -4*j - 4*y + 12 = -3*y. Sort -2, j, x.
x, -2, j
Suppose -4*r - 5 = -5*z, -5*r + 0*z = -3*z - 10. Let h = 4 - r. Suppose 3*w - 5*f = -20, -4*w + 1 = -5*f + 21. Sort -2, h, w in descending order.
w, h, -2
Let n(g) = 2*g**2 + 2*g - 10. Let h be n(3). Sort 5, h, -7.
-7, 5, h
Let q be (-4)/(-6) + (-38)/(-6). Let p(o) = 65*o - 132. Let f be p(2). Sort f, -1, q, 5 in increasing order.
f, -1, 5, q
Let x be (-459)/(-68)*(-4)/(-3). Sort 1, -8, x.
-8, 1, x
Let h be 3/(-1) - 9/(36/(-20)). Suppose -88 = -5*i + y, -41 = -5*i - h*y + 53. Sort -4, i, -2.
-4, -2, i
Let t = 1.692 - 2.092. Put 295, t, -2 in ascending order.
-2, t, 295
Let m = -144 + 140.32. Let a = m + -0.52. Let t = -0.8 + a. Put t, -4, 0.3 in increasing order.
t, -4, 0.3
Let q be (-39)/(-18) + 6/(-3). Let n = 11.97 - 12. Let s = n + -2.97. Put q, s, 5 in decreasing order.
5, q, s
Let c = 7.4 + -7.361. Let i = c + -0.439. Sort i, -1/3, -3, -1/2 in descending order.
-1/3, i, -1/2, -3
Let t = -728 + 8006/11. Sort t, 5, 0.4, -1 in descending order.
5, 0.4, t, -1
Let w be (58/(-14))/1 + 3. Suppose 74*j - 73*j - 5 = 0. Put -0.1, j, w in increasing order.
w, -0.1, j
Let b = -1.153 - -3.153. Put b, -10, 0, -2/15 in ascending order.
-10, -2/15, 0, b
Let a(k) = k**2 - 61*k - 59. Let w be a(-1). Let o = -6 + 5. Sort o, w, -0.4, -0.2 in increasing order.
o, -0.4, -0.2, w
Suppose 3*j + 2*j - 45 = 0. Let n(v) = -v + 3. Let f be n(j). Let c be 40/(-45) + (-4)/f. Sort 5, -3, c in increasing order.
-3, c, 5
Let m = -0.13 - 0.02. Let j = 20742/17 - 1220. Sort -2, m, j, 2.
-2, m, j, 2
Suppose 8*f - 6*f = 8. Suppose 5*k - f*r = 4, -2*k - 5*r = -3*k + 5. Suppose 1 - 6 = -a. Sort a, k, 4/9 in decreasing order.
a, 4/9, k
Suppose -3*u + 60 = 3*d, -2*u = -d - 3*d - 16. Let x(a) = -a + 20. Let h be x(u). Sort -2, 1, h, -4 in decreasing order.
h, 1, -2, -4
Suppose 0 = 3*y + 6, 4*z = y - 4*y + 6. Let s(h) = h + 8. Let v be s(-4). Put v, -1, z in increasing order.
-1, z, v
Let v be (-3*(13 - 