7. Sort x, 145, 3 in descending order.
145, 3, x
Suppose 0 = 5*w - 15, -b + 3*w = -6*b + 29. Let u be (-2)/42 - b/14. Suppose -5*z + 7 = t, 4 = t - 3*z + 5. Sort u, t, -0.3 in increasing order.
u, -0.3, t
Let v(j) be the first derivative of j**3/3 + 3*j**2/2 - 2*j - 45. Let r be v(0). Suppose -c + 3 = -2. Put r, 4, c in descending order.
c, 4, r
Suppose 4*y + 2 - 35 = v, 0 = y - 2*v - 3. Suppose -2*l - 5*k - y = 10, -28 = -l + 5*k. Let f be l/(-9)*9/12. Sort f, 10, -0.2 in decreasing order.
10, -0.2, f
Suppose 2*a - 1 = -l, 5*l - 5*a + 14 = 4. Put -4, 42, l in increasing order.
-4, l, 42
Let j = -1 + 0.9. Suppose 18*q = 3*q + 45. Let f be q - (-5)/((-20)/(-8)). Sort f, j, 0.16 in descending order.
f, 0.16, j
Let u be (-9)/1*(-10)/45*-2. Suppose -2*c + 0 = 2. Sort 7, c, u in ascending order.
u, c, 7
Suppose 4*b = -13 + 1. Put -2, -4, b in decreasing order.
-2, b, -4
Let n be (-3)/(-6) - (-18)/4. Suppose -4*b = 2*x - 74, -3*x - 19 - 17 = -b. Let p = -22 + b. Sort p, 3, n in decreasing order.
n, 3, p
Let p be 0 - (-24)/(-2)*(-16)/24. Let r(q) = -q**3 + 11*q**2 - 22*q - 8. Let x be r(p). Put x, -4, -2 in decreasing order.
x, -2, -4
Let v = -36.4 + 36. Let f = -30.7 - -26. Let j = 5 + f. Sort v, j, 1/5.
v, 1/5, j
Let j = -8 - -4. Suppose -4*h = 2*q - 2, 12*q - 7*q - 4*h = 5. Suppose 7*i + 4 = 3*i. Put q, j, i in increasing order.
j, i, q
Suppose -434*u - 5 = -433*u. Put u, -1, 5, 3 in ascending order.
u, -1, 3, 5
Suppose 81 = 5*f - 2*y, 4*f - 5*y = -0*f + 75. Suppose 3*v + 0 = f. Sort -4, v, 1, -3.
-4, -3, 1, v
Let q = -546.9 + 547. Put -0.4, 23/3, 2, q in decreasing order.
23/3, 2, q, -0.4
Let x = 1348 - 1348. Put x, -0.12, -5, -1/6 in ascending order.
-5, -1/6, -0.12, x
Suppose -9*y + 6 = -111. Suppose -3*s + 2*x - 6 = 0, -s + 5*x - 2 = -y. Let a = -26 + 79/3. Put s, a, 1/9 in descending order.
a, 1/9, s
Suppose 0 = -7*l + 23 - 30. Sort 4, 1, l.
l, 1, 4
Let x = 3.45 + 14.8. Let n = 0.25 - x. Let f = 17.8 + n. Sort -4, 5, f.
-4, f, 5
Let j = -3 - -6. Let u(s) = -42*s + 246. Let y be u(6). Put 4, -3, j, y in decreasing order.
4, j, -3, y
Let b = 784 + -778. Put 0.3, b, 0.2, 5 in descending order.
b, 5, 0.3, 0.2
Suppose 0 = 36*c - 39*c - 15. Sort c, -4, -97, -2 in ascending order.
-97, c, -4, -2
Let f(c) = -7*c - 26. Let w be f(-8). Suppose -w = -i - 25. Sort 0, -2/45, i.
-2/45, 0, i
Suppose 4*i - 56 = 2*i. Let a be ((-20)/14)/((-4)/i). Suppose 3*w + 2*w = a. Sort -0.2, 0, w in ascending order.
-0.2, 0, w
Let n be -1*(-10)/(-4)*(-162)/(-360). Sort 3/10, -3, n in decreasing order.
3/10, n, -3
Let m be (-5 - -6)/((-24)/6 - -5). Put 73, 2, m in increasing order.
m, 2, 73
Let r be (-2 + 42/15)*-5. Let y(z) = -z**2 + 3*z - 2. Let f be y(4). Let h = -2 - f. Put r, 5, h in ascending order.
r, h, 5
Let n = 105 + -88. Put n, 2, -2 in increasing order.
-2, 2, n
Let y = 11 - 6. Let k(b) = -2*b - 1. Let i be k(-5). Suppose 0 = -3*a - 0 + i. Put -5, y, a in descending order.
y, a, -5
Suppose 120 - 162 = -14*a. Put 103, -4, a, -2 in increasing order.
-4, -2, a, 103
Let x = 1432.6 - 1565. Let r = x + 132. Put -0.3, r, 2 in decreasing order.
2, -0.3, r
Let a be 10/(-25) + ((-112)/20)/(-7). Sort a, 0.5, -4, 5 in ascending order.
-4, a, 0.5, 5
Let n = -460 - -460.03. Sort n, 0.4, -7.
-7, n, 0.4
Suppose y = -3*z - 3, 5*y = 3*y - 4*z - 6. Let r = 5131 - 5130.8. Sort y, 2, -2/7, r.
y, -2/7, r, 2
Let q = 6 + -8. Sort q, -1.4, 0.2.
q, -1.4, 0.2
Let f = -178 + 178.2. Sort f, -6, 4 in decreasing order.
4, f, -6
Suppose 2*u + 15 = -y + 6*u, 0 = 2*y + 5*u - 22. Let a be -1 - (y + 3 - 2). Let c be 0/(-2) - -1*3. Put 0, a, c in decreasing order.
c, 0, a
Let f be -5*29/(-15)*-3. Put f, 4, 3 in descending order.
4, 3, f
Let a = -14.1 - -16.1. Sort a, -4/7, 5 in descending order.
5, a, -4/7
Let y be (3 - 1) + (-3)/((-6)/(-4)). Sort 12, 25, y.
y, 12, 25
Suppose 0*f + i = f - 17, 5*f - 109 = -3*i. Suppose 0 = 4*l + f. Suppose d + 3*x - 17 = -0*d, 13 = d + 2*x. Sort l, d, -6 in decreasing order.
d, l, -6
Let a = -5 + 2. Let j = -2117 - -2121. Sort -4, -5/3, j, a in descending order.
j, -5/3, a, -4
Let s = 1.24 - 4.24. Let i = 4.39 + 0.01. Let q = i - 0.4. Put q, s, -0.06 in descending order.
q, -0.06, s
Let r = -29.2 + 18. Let d = 11 + r. Sort -0.5, d, -4 in descending order.
d, -0.5, -4
Let a be 2*(-1 + (-3)/(-2)). Let h = 30.09 - 30.49. Sort a, -5, h, -0.3.
-5, h, -0.3, a
Let v(y) = -y**2 - 8*y + 15. Let z be v(-9). Let f(h) = -h**2 + 10*h - 13. Let k be f(9). Let l be (k/z)/(10/15). Put l, 3/5, 1 in decreasing order.
1, 3/5, l
Suppose 3*a = -5*m - 12, -3*m = m + 3*a + 12. Let l be -2 + m + -3 + 0. Put -8, 2, l in ascending order.
-8, l, 2
Let y = -8/5 + -419/10. Let d = y + 43. Put 4/3, d, -0.2, 1 in ascending order.
d, -0.2, 1, 4/3
Let v = -147 - -142.82. Let g = -0.82 + v. Put 0.3, g, -0.1, -1 in descending order.
0.3, -0.1, -1, g
Let a(u) = 13*u - 308. Let d be a(24). Put 0, -3, d, -4 in increasing order.
-4, -3, 0, d
Let t = -5.7 + -1.3. Let c = 13.6 + -20.7. Let j = c - t. Put j, 0, -2/15 in descending order.
0, j, -2/15
Let t(p) = p**3 + 7*p**2 + 6*p. Let z be t(-6). Sort -3, -1, z, -21.
-21, -3, -1, z
Let n = -22 - -28. Let i be (-3 - 2)/(4 - 3). Sort n, i, -3 in descending order.
n, -3, i
Let y = 93 + -84. Sort 1/3, 3, y in decreasing order.
y, 3, 1/3
Let l = -3.298 - 0.052. Let n = 3.4 + l. Sort 0, -5, n, 2 in descending order.
2, n, 0, -5
Let y = -633/2 + 316. Sort 3, -0.11, y, 4 in decreasing order.
4, 3, -0.11, y
Suppose 0 = 2*z + 10, -2*z = 5*c - 0*c. Put -1, 5, c in increasing order.
-1, c, 5
Let s = -0.8 + 1.7. Let a(d) = 2*d**2 - 34*d - 32. Let k be a(18). Put s, 1, k in increasing order.
s, 1, k
Suppose 32*k = -13*k - 45. Put 1, k, 9, 5 in decreasing order.
9, 5, 1, k
Let h = -7166 + 93160/13. Let p = -1 + 2. Sort -3, p, -2, h in decreasing order.
p, h, -2, -3
Suppose -3*t - 15 = -8*t. Suppose -t*s - 50 = -3*d - 2*s, -15 = 3*s. Let w = -16 + d. Put -4, 3, w in increasing order.
-4, w, 3
Let v = -4957 - -4959. Suppose 4 = -5*p + 4*p. Sort v, -3, -1, p in increasing order.
p, -3, -1, v
Suppose -3*c - c = 16, 0 = o + 3*c + 10. Suppose -3*f + 4 = -o*f. Let v = 15 + -13. Put -3, v, f in decreasing order.
f, v, -3
Let s = -402 - -397. Suppose -5*f - 21 = -2*f. Let i be f/(-4) - (-1)/4. Sort 5, s, i.
s, i, 5
Suppose 25 = 10*t - 15*t. Suppose -4*x = -2*z - 8, 5*x + z = -0 + 3. Sort t, 0, x in increasing order.
t, 0, x
Suppose -3*s - 3 - 3 = 0. Let w be (-18)/(-15) + s/10. Let c(t) = -t**2 + 8*t - 2. Let x be c(8). Put x, w, -1 in increasing order.
x, -1, w
Let o = 16667/11 - 1515. Sort o, -5, 10 in increasing order.
-5, o, 10
Let w = 0.09 - -0.11. Let n = 1.8 + 14.2. Let g = -18 + n. Put w, g, -0.4 in increasing order.
g, -0.4, w
Let i = -0.03 - -0.12. Let c = i - 5.09. Let b = 157/936 + -1/72. Sort c, b, 3/2.
c, b, 3/2
Let r = -0.03 - 5.97. Let w = 663/5 - 133. Put w, r, 1 in descending order.
1, w, r
Let q = 1.4 + -2.2. Let t = q + 5.8. Let i = 5 - t. Put 2/5, 2/11, i in descending order.
2/5, 2/11, i
Let u(z) = z**2 + 6*z - 13. Let x be u(-8). Suppose f = 4*g - 11, -4*g + 13 + x = 0. Sort -2, 2, f in decreasing order.
f, 2, -2
Suppose -142*x + 108 = -151*x. Put 7, x, 4 in ascending order.
x, 4, 7
Let m = 12.5 + -13. Let q = -11 - -21. Let j = 5 - q. Put j, 0, m in decreasing order.
0, m, j
Let h = 8.39 - 3.39. Put -0.5, h, -233 in ascending order.
-233, -0.5, h
Let w(o) = -19 + 5 - 66*o + 29*o + 38*o. Let v be 4/6 + (-34)/(-3). Let h be w(v). Sort 7, -3, h in decreasing order.
7, h, -3
Suppose -3*f = 4*y - 101 - 28, 3*y = -9. Let z = 38 - f. Suppose -2*l + 2 = -3*c, 0 = -0*c + 2*c - 2*l. Sort z, c, -4.
z, -4, c
Let d be (-2 + (-21)/(-10))/(36/432). Put 0.3, d, -0.1, 3 in increasing order.
-0.1, 0.3, d, 3
Suppose -6 = -4*l - 2*x - 44, -x = -2*l - 9. Let s be l/14*(-2 - 2). Suppose -s*m = 2*c - 16, -13 = -c - c - m. Sort -1, 0, c in decreasing order.
c, 0, -1
Let h be 2/(-10) + 360/25. Let q = h - 14. Let s be (-3 + 2/(-2))/5. Sort s, q, 3 in increasing order.
s, q, 3
Suppose 4*q + 4*o = 40 - 32, -2*o = 4*q - 18. Sort -1/7, q, -1, -2.
-2, -1, -1/7, q
Suppose -5*r + 40 = 5*l, 0*l - 2 = r - l. Put r, 10, -1 in decreasing order.
10, r, -1
Suppose 2 = -2*p + 12. Let b(c) = -c**2 - 9*c + 10. Let u be b(-10). Let f = u + -5. Put f, p, -4 in decreasing order.
p, -4, f
Let 