 w(a). Put 5, -1, v in ascending order.
-1, v, 5
Let t(x) be the third derivative of -x**4/8 - 2*x**2. Let o be t(-1). Suppose 3 = -0*z - o*z. Sort 5, -2, z in descending order.
5, z, -2
Let g = 10 - 9.87. Let y = g + -0.33. Let z be 1*2/(-2) - 2. Sort y, -0.1, z.
z, y, -0.1
Let y be (-8)/(-36) - 296638/(-90). Let l = y + -3282. Let r = l + -157/10. Sort -2, r, -0.1 in increasing order.
-2, r, -0.1
Suppose v + 4*v + 25 = 0. Put 0, 5, v in increasing order.
v, 0, 5
Let d = 23 - 18. Suppose d*i = -33 + 13. Suppose -5*v - 9 = -4*k + 17, 2 = -3*v - k. Sort v, i, 0.
i, v, 0
Suppose -m - 6 = -2*q, 0*m - 4 = 4*m - 3*q. Suppose 5*l = 54 - 29. Put -2/17, m, l in ascending order.
-2/17, m, l
Let r = -97 + 484/5. Put -2/11, r, 0.2, 3 in decreasing order.
3, 0.2, -2/11, r
Let f be 0 + 0 + (-4)/16. Let j = 1/2 + f. Sort 2, j, 0.4 in descending order.
2, 0.4, j
Let o(b) = -2*b - 6. Let r be o(2). Sort r, -0.5, 2/17 in descending order.
2/17, -0.5, r
Let o be 42/68*(-8)/(-27). Let p = 2/51 + o. Put -3, p, 5 in decreasing order.
5, p, -3
Let c = 6.3 - 6.1. Let z be 3/6 - (-69)/(-2). Let b be 2 + (140/z - -2). Put 0, b, c in descending order.
c, 0, b
Let u be (-3)/9 - 20/(-42). Sort 0.1, 2/11, u, 3 in descending order.
3, 2/11, u, 0.1
Suppose 2*x + x = 5*z - 7, 0 = -5*z + 4*x + 6. Sort -4, -5, z in increasing order.
-5, -4, z
Let o = -33 + 33. Let n = 4/27 - 47/135. Sort n, o, 1/6.
n, o, 1/6
Suppose -2*z + 6 = z. Sort 0, z, -0.5 in descending order.
z, 0, -0.5
Suppose 0 = -14*r + 9*r + 15. Put 2, r, -4 in descending order.
r, 2, -4
Let j be (-2)/(-8)*(9 - 3). Sort 4, -2, j, -3 in increasing order.
-3, -2, j, 4
Let u = -0.2 + -7.8. Let m = u - -7.3. Let n = 0.5 + m. Sort n, 3, 4 in decreasing order.
4, 3, n
Suppose -3*n - 13 = -7. Let a be (2 + 0)/(6/(-9)). Sort n, 0, a in descending order.
0, n, a
Let c = 2 + -7/3. Let r = 1993/1698 + -2/283. Let z = 3/2 - r. Sort 1, c, z.
c, z, 1
Let x(k) = -k + 8. Let g be x(10). Put g, 1, 5, -1 in ascending order.
g, -1, 1, 5
Let v be 60/9 + (-2)/3. Suppose -b = b - v. Let x = b - 7. Sort -1, x, 4 in ascending order.
x, -1, 4
Let d(z) = z**3 - 4*z**2 - 6*z. Let b be d(5). Sort -1/7, 1, b in descending order.
1, -1/7, b
Let x = -446/707 - -6/101. Let d = -510 + 1019/2. Sort 1/4, x, d in ascending order.
x, d, 1/4
Let p = -0.3 - 0.7. Put p, -3/5, 2 in decreasing order.
2, -3/5, p
Let m(h) = h**2 + 5*h - 1. Suppose v + l + 8 - 1 = 0, v = -4*l - 10. Let j be m(v). Put -2, 0, j in descending order.
j, 0, -2
Let l(x) = -x**2 - x + 2. Let o be l(0). Suppose 0*n = 4*n. Let v be o + (n - 0) - 1. Sort v, 3, 5 in decreasing order.
5, 3, v
Let x = 11 + -6. Sort 0.4, x, -3.
-3, 0.4, x
Let l = -1.8 - 0. Let g = -1.8 - 0.2. Let c = g - l. Put 0.2, c, 3 in descending order.
3, 0.2, c
Let s(j) = j**2 - 11*j + 4. Let v be s(11). Put v, 3, 5 in ascending order.
3, v, 5
Let b = -1083/7 - -155. Let w = -0.2 - -0.5. Put -2, w, b in increasing order.
-2, b, w
Let z = 1.17 - 10.97. Let q = -10 - z. Let i = 8 - 5. Sort q, 1/6, i in ascending order.
q, 1/6, i
Suppose 2*y = -2*q + 8, 2*q + 2*y = -2*q + 20. Let k(a) = -a**3 + 6*a**2 + a - 6. Let v be k(q). Put -1, 2, v in ascending order.
-1, v, 2
Let g be 16/(-4) + 5 - -2. Sort g, 1, -11.
-11, 1, g
Suppose -3*k - 6 = 2*p + 3*p, -2*p - 18 = -4*k. Let c = 2 + p. Put c, 3, -2 in descending order.
3, c, -2
Suppose -3*a + 3*d + 31 = -2*d, -5*a + 5*d = -35. Let h be a/7 + 64/(-126). Sort h, -3, -2 in increasing order.
-3, -2, h
Suppose d + 1 = -3. Let n(a) be the second derivative of a**4/12 + 11*a**3/6 + 3*a**2/2 + 3*a. Let w be n(-11). Put d, 1, w in increasing order.
d, 1, w
Let m(k) = -k**2 - 6*k - 3. Let j be m(-4). Let c(r) = r**2 - 3*r. Suppose 2*b = -0 + 6. Let o be c(b). Sort o, j, -2 in decreasing order.
j, o, -2
Suppose 1 - 57 = 4*t. Let m be t/(-3) - 2/(-6). Suppose -8*l - 65 = 5*l. Sort l, -2, m in decreasing order.
m, -2, l
Let x = 0.1041 - 5.1341. Let r = 0.03 + x. Put -0.2, r, -2/3 in decreasing order.
-0.2, -2/3, r
Suppose 0 = -3*v - 3*d + 15, -3*d - 5 = 2*v - 6*d. Suppose f - 14 = -3*k - 6, -k + v = f. Sort k, -3, 5 in increasing order.
-3, k, 5
Let w = 23/3 - 8. Sort w, 6, 3.
w, 3, 6
Let j = -15 - -15. Put j, -2/21, 3 in descending order.
3, j, -2/21
Let v = -652/7 - -93. Let q = -0.1 - -5.1. Let n = q + -5.3. Sort v, 2, n in descending order.
2, v, n
Let u be 8/(-3) - (-2)/3. Let v = 11 + -11.2. Put -0.1, u, v in ascending order.
u, v, -0.1
Let i be (2/(-4))/((-2)/48). Suppose -f - i = -4*f. Sort -4, 2, f.
-4, 2, f
Let u = -8/9 + 25/18. Sort -4, 2, -5, u in decreasing order.
2, u, -4, -5
Let p = 28 - 16. Suppose -4*g - p = 0, 2*g - 2 + 9 = -d. Sort 5, d, -4 in descending order.
5, d, -4
Let r(f) = -f**2 - 22*f - 25. Let w be r(-21). Put w, -2, -44 in ascending order.
-44, w, -2
Let q = -10 + 7.6. Let v = q - -2. Sort 1/2, v, 0.3.
v, 0.3, 1/2
Let z = -29.8 + 25.8. Let t(g) = -g**3 - 7*g**2 - 6*g + 1. Let d be t(-6). Suppose d = 2*i - 3*x - 2, 0 = -i + 3*x. Sort z, 1, i in ascending order.
z, 1, i
Let n(w) = w**2 + 10*w + 9. Let d be n(-9). Let l be (-2)/2 - 1 - d. Sort 3, l, 5 in decreasing order.
5, 3, l
Let t be (-12)/(-20)*(-15)/(-3). Let z = -4 + 4.5. Put 5, t, z in increasing order.
z, t, 5
Let f be (-1)/((2/2)/1). Suppose 3*g + 11 = 6*h - 7*h, 2*h + 6 = 2*g. Sort f, h, 1 in increasing order.
h, f, 1
Suppose 3*o - 19 = -4. Put -5, 0, o in descending order.
o, 0, -5
Let j = 129 + -87. Let y be 4*1*j/8. Let z be 2/(-8) - y/(-4). Put -3, -5, z in ascending order.
-5, -3, z
Let n = 173/2 - 1549/18. Let y = -139 - -1252/9. Put -2, n, y in increasing order.
-2, y, n
Let v = 37 - 39. Sort v, -0.05, 4 in increasing order.
v, -0.05, 4
Let a(l) = -5*l**2 - l + 12 - 5 - 2*l + l**3. Let m be a(6). Suppose -z + 9 = -3*f, -5*z + m = -4*f - f. Sort z, 4, 0 in descending order.
4, z, 0
Suppose -4*o + 3 = -5. Suppose 0 = -f - 2*h - 0 + 3, 5*f - h = 4. Put f, o, 5 in increasing order.
f, o, 5
Let o(c) = -c**2 + 3*c + 9. Let w be o(5). Suppose -y = 3*y + 8. Put y, w, 1 in descending order.
1, w, y
Suppose -3*s - 6 = -k, 5*k - 15 = -4*s - 4. Suppose v - 16 + 4 = 0. Let q = 17 - v. Sort q, 0, k.
0, k, q
Let k = -5 + 7/2. Let g = 0.028 - -3.972. Put 2/3, k, g in decreasing order.
g, 2/3, k
Let j be ((-8)/(-12))/(2/6). Sort 4, -3, j in decreasing order.
4, j, -3
Let i = -9 - -10. Suppose 0 = -2*h + 9 - 5. Put h, i, 5 in increasing order.
i, h, 5
Let v = 307 - 2453/8. Let a = 1669/5 - 333. Put 1, a, v in descending order.
1, a, v
Let x be 9 + 0 + 2 + -3. Suppose 0 = h - 5*h - x. Let d be h/((-6)/(-2) + -2). Put 3, 2, d in descending order.
3, 2, d
Let b be (-4)/10 + (-18)/(-70). Sort -0.1, b, 4.
b, -0.1, 4
Let c = 1.68 - -0.32. Sort -3/2, 1, -2/7, c in decreasing order.
c, 1, -2/7, -3/2
Let v(a) = a + 7. Let g be v(-5). Suppose g*l + 3*r - 7 = 0, 2*l + 2*r = 4*r + 12. Sort l, -3, 3 in descending order.
l, 3, -3
Let p = 8/15 - 1/5. Let r = -15 + 11. Sort p, r, -0.1 in descending order.
p, -0.1, r
Suppose 24 = 3*a + 4*o, 3*a + 5*o - 18 = 3. Let p be (-10)/a + 1/(-2). Sort 0.3, p, -2.
-2, p, 0.3
Suppose -3*v = -0*v. Suppose 8*f + 2*f - 30 = 0. Put v, 6, f in descending order.
6, f, v
Let c = -0.042 - 3.958. Let d = -54613/7 - -7850. Let v = -48 + d. Put v, -1/2, c in decreasing order.
v, -1/2, c
Let x(h) = -2*h**3 - h**2 + 3*h + 3. Let m be x(-1). Sort 3, 2, m in increasing order.
m, 2, 3
Let n be (-3 + 7)/(0 - 1). Let j be 1/7 - n/(-28). Sort -5, j, -2.
-5, -2, j
Let n = -23 + 23.4. Put -2.1, n, -3 in decreasing order.
n, -2.1, -3
Let u = 5 - 7.1. Let x = u - -2.4. Sort -0.5, 5, x.
-0.5, x, 5
Let a = -0.11 + 0.51. Let x = a + 0. Suppose 0 = 5*j - j + 20. Put j, 2/3, x in descending order.
2/3, x, j
Let h(v) = -v**2 + 4*v + 4. Let s be h(4). Let l be (-2)/s*9/(-3). Let z = -4 - -2. Sort l, 1/6, z in decreasing order.
l, 1/6, z
Suppose 0 = 3*x + 5*m - 24, -x - 5*m + 18 = 0. Sort x, 4, 0 in descending order.
4, x, 0
Suppose 4*b - 3*c = 35, 4*b + c = 2*b + 5. Let u = -3 + b. Suppose -5*n + 5*z - 9 + 4 = 0, 3*z = 5*n + 5. Sort n, -2, u in ascending order.
-2, n, u
Let n = 0 - -0.6. Let z = -3.4 - n. Sort 0, z, 2 in decreasing order.
2, 0, z
Let y = -9 - -6. Sort -2, -0.1, y.
y, -2, -0.1
Let s = 20 - 18. Put -7, s, -2/21 in decreasing order.
s, -2/21, -7
Let d = 7 + -8. Let q be (-5 - -3) + d + 1. Suppose -5 