20, -5*a - 4*y = 7. Sort a, 5, -6 in decreasing order.
5, a, -6
Let y = 44 - 40. Put y, -0.7, 0.2, -1/3 in descending order.
y, 0.2, -1/3, -0.7
Let m = 14 + -5.8. Let p = -24.2 + m. Put p, 2, -3 in descending order.
2, -3, p
Suppose 0 = -4*z + 64 - 48. Let a be 8/(-5 - -29)*9. Let u = 4 - 9. Sort a, z, u in ascending order.
u, a, z
Suppose 0 = m - w - 4, 36*w - 33*w - 3 = 0. Sort m, -4, 1 in ascending order.
-4, 1, m
Let s = 21.78 - -0.22. Let k = s + -10.5. Let i = k + -11. Put -3/8, 0.1, i in decreasing order.
i, 0.1, -3/8
Let s be (-3)/(-4) + 55/(-20). Sort s, -3, 3 in descending order.
3, s, -3
Let g = -233 + 188. Sort 4, g, -3.
g, -3, 4
Let a(f) = -2*f + 3. Let o be a(2). Let u(z) = -2*z**3 + 12*z**2 + 14*z - 2. Let g be u(7). Sort 5, g, -6, o.
-6, g, o, 5
Let c = 703 + -481. Let t = c - 219. Let j = 2.5 - 2. Put 0.13, t, j in ascending order.
0.13, j, t
Suppose -6*a + 588 + 390 = 0. Suppose 0 = 3*o - 4*x - 157, -x - a = -4*o + o. Let z be 12/o + 2/(-5). Sort 1/4, z, 2/7.
z, 1/4, 2/7
Let r be (6/2)/((-15)/(-10)). Suppose r*n = 4*n. Put 4, n, -1 in increasing order.
-1, n, 4
Let x = 7 + -20/3. Let n be 20/50*(-10)/(-14). Put -1, x, n in descending order.
x, n, -1
Let z = 2 - -3. Let f = -6 + 5.9. Let t = 54 - 105/2. Sort f, z, t in decreasing order.
z, t, f
Let g = -68.1 - -71. Let w = -1.7 + g. Let i = 1.4 - w. Sort -3, i, -2 in descending order.
i, -2, -3
Let i(d) = -d**3 - 19*d**2 - 33*d + 20. Let g be i(-17). Sort g, 1, -10, 4 in descending order.
4, g, 1, -10
Let k be 1/(-3 - 22/(-8)). Let n be ((-2)/k*1)/(38/152). Sort 4, n, 5 in decreasing order.
5, 4, n
Let v(c) = c**3 - 2*c**2 - 6*c + 5. Let d be v(3). Suppose 3 + 1 = -4*i. Sort d, i, 2 in ascending order.
d, i, 2
Let c = -4/1209 + -802/1209. Let j = 40 - 85/2. Put 0, j, -3, c in increasing order.
-3, j, c, 0
Suppose 14*t + 15*t - 116 = 0. Sort 52, 3, 5, t in ascending order.
3, t, 5, 52
Suppose s - 5 = -4*s. Suppose -y = -5*m, -5*m + 9 - 24 = 2*y. Sort s, -2, y, -3 in decreasing order.
s, -2, -3, y
Let v = -113 - -116. Suppose 2 = 5*t - 3. Put 0, t, -3, v in descending order.
v, t, 0, -3
Let m = 14 - 169/12. Suppose 3*k - 3 = 2*k. Suppose -2*s = k*w + w, 18 = 5*w - 2*s. Sort w, m, 0.3 in descending order.
w, 0.3, m
Let z = -84 - -129. Let t = z - 48. Sort t, 0.2, 2.
t, 0.2, 2
Let j = -2156 - -15091/7. Let o = 0.1 + -0.1. Sort o, 2, j, -0.5 in descending order.
2, o, j, -0.5
Suppose -25 = 47*m - 48*m. Put 5, 2, m in descending order.
m, 5, 2
Let b = 35 - 35.18. Let g = -0.58 - b. Put 1/8, -0.2, -2/15, g in increasing order.
g, -0.2, -2/15, 1/8
Suppose -4*k + 2*n = -60, -2*k - 24 = -3*k + 5*n. Let d be (-36)/k - ((-96)/(-28) - 3). Sort 5, d, -5 in decreasing order.
5, d, -5
Suppose 2*k + 601 = 4*l - 9*l, 0 = -k + 2. Let x = -120 - l. Sort x, -4, -2, 4 in descending order.
4, x, -2, -4
Let u = 12/11 - 14/33. Let i = -0.087 + -0.313. Sort u, -3, i, -0.2 in decreasing order.
u, -0.2, i, -3
Let r be (1/3)/(5/(-15)). Suppose -3*d = -2*x + 2 - 7, 2*d - 10 = -2*x. Suppose 0*m - m = -2*q - 11, -m + d*q + 14 = 0. Sort r, 1, m.
r, 1, m
Let j(i) = -i + 2. Let q be j(0). Let o be (-58)/(-84) + 2 + (-65)/35. Sort o, 0.01, q in decreasing order.
q, o, 0.01
Let r be -4 - (1*-21 + (-13 - -10)). Put r, 4, -0.1 in decreasing order.
r, 4, -0.1
Suppose 3*a - 9 = -15. Let n be a/(-3)*(-8)/((-80)/(-6)). Put 1/3, n, 1 in descending order.
1, 1/3, n
Let f = -31 - -33. Let j be (-9 + 7)/(7/2). Put j, f, 0.1 in decreasing order.
f, 0.1, j
Let m(f) = f**2 - 9*f + 18. Let q be m(5). Sort -4, q, -0.027 in ascending order.
-4, q, -0.027
Suppose 0 = 2*q - 8, 4*p = 4*q - 3*q + 4. Sort -29, 7, 4, p in increasing order.
-29, p, 4, 7
Suppose -5*k + 180 = 200. Put 2, k, 5, 78 in descending order.
78, 5, 2, k
Suppose -28*f - 32 = -36*f. Sort f, 1, 0 in decreasing order.
f, 1, 0
Let g = -524 - -763. Let v = g + -238. Suppose -5*j = -8*j. Sort v, -5, j in ascending order.
-5, j, v
Let y be 0 - 16 - (-2926)/209. Let o = 6 - 2. Sort 8, -1, o, y.
y, -1, o, 8
Let i = 3.8 - 3.6. Let p = 0.258 + 0.042. Sort i, p, -0.4.
-0.4, i, p
Let f = 518 - 517. Sort f, -448, 5 in increasing order.
-448, f, 5
Let c = -81 - -13. Let d be 0 + (c/20 - -3). Let w be (-3)/42*(-5 + 1). Sort w, d, 0.1 in ascending order.
d, 0.1, w
Let o = 111 + -74.5. Let r = o + -37. Let s = -5.1 + 5. Sort r, s, -2 in decreasing order.
s, r, -2
Let g be 0 + 21/(-2 + -1). Let j(b) = -b - 8. Let i be j(g). Let m(p) = p**2 + 6*p - 2. Let w be m(-7). Put w, i, 3 in decreasing order.
w, 3, i
Let f be (-14 + 3)/(-1 + 2). Let d be ((-1)/2)/(f/(-44)). Sort d, 0, -4 in increasing order.
-4, d, 0
Let t be (-1)/((135/25)/(-27)). Let r = -5/7 + 22/21. Put t, r, 1 in decreasing order.
t, 1, r
Let x(r) be the second derivative of -4*r**3/3 - 3*r**2 - 16*r. Let w be x(-2). Put w, -1, 2 in decreasing order.
w, 2, -1
Suppose 4*r - 6 = t, 0*r = 3*r + 5*t - 16. Suppose -2*n = -r - 2. Let z be n/4 - (6 + -6). Sort 0.4, z, -5 in decreasing order.
z, 0.4, -5
Let p(z) = z**2 - 44*z - 92. Let c be p(-2). Let q be 3/(-2)*(-4)/(-27). Sort 1, c, q, 0.4 in descending order.
1, 0.4, c, q
Suppose 6*s + 9*s = -45. Sort s, 0, -11.
-11, s, 0
Let u(o) = o**2 + 11*o + 2. Let g be u(-8). Put -4, g, -1 in decreasing order.
-1, -4, g
Let h be (1/(-2))/(8/(-48)). Suppose 11 = 2*g + t, 0 = -3*g + t + h*t + 11. Sort -0.3, g, -3.
-3, -0.3, g
Let i = -1253 + 1258. Sort -5, i, 1.7, 0.3.
-5, 0.3, 1.7, i
Suppose 0 = -2*u + 3 + 49. Put -3, u, 1, 5 in decreasing order.
u, 5, 1, -3
Let r = 148 + 62. Let a be 6/(-15) + (-6)/r. Put 0.3, 0, a in descending order.
0.3, 0, a
Let h be (10/2 - (-88)/(-24))*-687. Put -1, h, -2 in decreasing order.
-1, -2, h
Let z(o) = -o - 7. Let a be z(-5). Let w = -3 - a. Let j be -9 + 1056/104 + (-8)/52. Sort 4, w, j in descending order.
4, j, w
Let y = 2734 + -2739. Suppose 3*r = 3*n - 75, 5*r = n + 2*n - 65. Put 2, n, y in decreasing order.
n, 2, y
Let j = -3650 + 18252/5. Let q = -1 + 3/4. Sort 2, j, q in descending order.
2, j, q
Let x = 82.84 - 77.84. Let u = -7.7 - -8. Sort 3/5, -3, u, x in increasing order.
-3, u, 3/5, x
Suppose 2 = -o + 12. Suppose -o + 9 = -w. Put w, -3, -1/4 in decreasing order.
w, -1/4, -3
Suppose 3*z + 38 = 5*q, 5*z + 4*q = 14 - 65. Let k be 13/z + -2 - 10/(-55). Put 3, -5, k, 0 in ascending order.
-5, k, 0, 3
Let p(s) = -3*s**2 - s. Let z be p(-1). Sort 0.1, z, 0.17, -4 in ascending order.
-4, z, 0.1, 0.17
Let d = -11.02 - -11. Put 0.01, 0.1, d in decreasing order.
0.1, 0.01, d
Suppose -39*x + 15*x + 120 = 0. Put -9, x, -4, 0 in increasing order.
-9, -4, 0, x
Let v be 3 + 0 - 2 - -2. Suppose v*g + 4 = s, -4*s = 3*g - 4*g - 5. Let b be ((-176)/(-110)*-3*(-10)/12)/(-1). Sort b, 5, s in ascending order.
b, s, 5
Let q(g) = -g + 2. Let f be (8/1)/(-2) - -3. Let i be q(f). Put 8, 5, i in decreasing order.
8, 5, i
Suppose -2*g + 1 + 3 = 0. Suppose -4*y + 5*q = -12, 2*y + 2*q - 6 = -g*q. Suppose 0 = -y*d + 4 + 2. Sort -4, d, -5 in descending order.
d, -4, -5
Let t = 0.8 + -3.8. Let x = t - -2.6. Let d = 1.12 + -1.42. Sort 4, x, d.
x, d, 4
Let b = 2 + -1. Let h = 2 + -2.5. Sort -1, h, b, -0.9.
-1, -0.9, h, b
Suppose 3*n + 2*a = 3, 2*n - 4*a = -3 - 11. Let h be 1*(0 + -11) + n. Let j be h/8 + 26/12. Sort 4, -3, j in descending order.
4, j, -3
Let z = 12.707 + -13.207. Let h = -23/12 - -7/6. Sort z, h, 0.11, -3 in increasing order.
-3, h, z, 0.11
Let q(o) = o + 11. Let v = -5 - -3. Let u be 4/(-2 - 3/v). Let z be q(u). Sort z, 5, -1 in descending order.
5, z, -1
Suppose t = 37*t. Sort t, 5, -11, 2 in decreasing order.
5, 2, t, -11
Let x = 42 + -41.97. Sort x, -1, 2 in decreasing order.
2, x, -1
Let t(o) = -14*o - 136. Let c be t(-10). Sort -2, c, -3/8 in descending order.
c, -3/8, -2
Let c = -786 - -3147/4. Put 5/2, -90, -1, c in descending order.
5/2, c, -1, -90
Let p = -2.6 - -2.3. Suppose -v - 3 = -4*v. Put p, 0, v in descending order.
v, 0, p
Suppose 3*j = -5*v - 10, -v - 7 = 2*j + 2*v. Let o = -15 - -18. Suppose o = 4*x + 7. Sort j, 2, x.
j, x, 2
Let r(u) be the second derivative of u**3/3 - 5*u**2 - 17*u. Let i be r(4). Put i, -1, 5, 0 in decreasing order.
5, 0, -1, i
Let u = -126 - -129.5. Let n = 13.5 - u. Sort n, 1, 2, -2/17.
-2/17, 1, 2, n
Let m = -32 - -36. Put m, 3, -1/2, -0.3 in descending order.
m, 3, -0.3, -1/2
Let h = 1/209 - 423/1045. Sort 2