 be l(13). Sort z, -5, 4 in descending order.
4, z, -5
Suppose -7*z + 2*z = -15. Suppose 0 = -7*k + 3*k. Sort 5, z, k in decreasing order.
5, z, k
Suppose q - 31 = 4*d, -2*d - 8 = 2*q - 4*q. Let g be (15/d)/(2/(-6)). Suppose c - 5 = -2*n, 5*c = -1 + 6. Put n, g, 4 in ascending order.
n, 4, g
Let x = -59 - -61. Sort x, 1, -7, 3 in increasing order.
-7, 1, x, 3
Let o = 0.03 - 0.03. Let m = -5 - o. Sort -4, -2/25, m in decreasing order.
-2/25, -4, m
Suppose 0 = 10*j + 30 - 20. Sort 2, -2, j, 1 in decreasing order.
2, 1, j, -2
Let u = 84 + -17. Let q = 94 - u. Suppose 4*y - 7 = -q. Sort 5, 0, y in descending order.
5, 0, y
Let x(l) be the third derivative of -l**6/120 + l**5/20 - l**4/12 + 2*l**2. Let q be x(2). Put 5, 1, q in decreasing order.
5, 1, q
Let a(k) = k**3 + 3*k**2 + 3*k + 3. Let t be a(-2). Let f be 0 + 2 + (0 - t). Let d(n) = -n**2 - 8*n - 9. Let m be d(-7). Sort 0, m, f in descending order.
f, 0, m
Let u = 0.2 + -6.2. Let y = u - -10. Sort -0.1, -1, y in ascending order.
-1, -0.1, y
Let d = -11 - -15. Sort -5, 2, d in ascending order.
-5, 2, d
Let t = 1.3 + -6.3. Let n = 4.95 + t. Let o = 0.45 + n. Sort -1, -3/5, o.
-1, -3/5, o
Suppose 3*s = -0 + 3. Put -8, s, 5 in descending order.
5, s, -8
Let u = -0.7 - -0.5. Sort u, 0, -2/13 in decreasing order.
0, -2/13, u
Let m = -3239/13 + 249. Let r = 3 - 2.75. Let k = r + -0.05. Sort 5, m, k in ascending order.
m, k, 5
Let v be -10*6/4*2. Let r be v/(-9)*3/(-2). Sort r, -4, -3.
r, -4, -3
Let b(f) be the third derivative of -f**6/120 - f**5/6 - 5*f**4/12 - 13*f**3/6 + 4*f**2. Let l be b(-9). Sort -5, l, 0.
-5, l, 0
Let o be ((-28)/(-21))/((-12)/(-45)). Let i = 1 + -1. Put i, -3, o in descending order.
o, i, -3
Let d be (-30)/(-12)*(-8)/(-90). Let y = -1/20 - 37/60. Sort y, d, -5 in descending order.
d, y, -5
Suppose 0 = -n - 3 + 6. Suppose l + 3 - 7 = 0. Let m = 3 - 4. Put n, m, l in descending order.
l, n, m
Suppose 0*k = -3*g + 2*k + 49, 5 = 5*k. Suppose -g = -2*f - 5*z, 4*f - 1 + 3 = 2*z. Put -1, 5, f in descending order.
5, f, -1
Let l = 0.8 - 6. Let k = l + 0.2. Sort -3, k, 2 in decreasing order.
2, -3, k
Let b(i) = i**2 + 3*i. Let r be b(-3). Sort 3, -5, r in ascending order.
-5, r, 3
Let l(q) = q**2 + 8*q + 10. Let w be l(-7). Suppose -2 = 5*f + w. Put f, -5, 2 in increasing order.
-5, f, 2
Let d = 0.065 - 0.565. Put -2, d, -0.6, 0.5 in decreasing order.
0.5, d, -0.6, -2
Let w = -530 + 529.9. Let z = 9 - 6. Put 2, w, z in increasing order.
w, 2, z
Let w be (-4)/26 + (-16)/65. Let f = 0.7 - -0.3. Sort f, w, 0.5 in increasing order.
w, 0.5, f
Let m = -7 - -4. Suppose 3*f = 11 - 5. Let y(t) = -4*t**3 + 2*t + 1. Let v be y(-1). Put v, m, f in ascending order.
m, f, v
Let s = 264 - 1852/7. Let q(d) = d**2 + 4*d + 3. Let c be q(-4). Sort c, 2/5, s in descending order.
c, 2/5, s
Let y = -0.7 + 0.2. Let a be 43/10 + (-4)/8. Let h = 167/40 - a. Sort h, 3, y.
y, h, 3
Let d = -20 + 20. Sort -2, d, -3 in descending order.
d, -2, -3
Let j(u) = -u**2 + 7*u. Let p be j(6). Let f be -1 + -2 + 14/p. Let m be (-8)/70*15/6. Sort f, m, -1 in increasing order.
-1, f, m
Suppose 0 = -2*q + 5*a + 6 + 12, -3*q - 5*a - 23 = 0. Let x be 4/6 - 14/(-6). Suppose -3 = x*p + 6. Sort q, 4, p in decreasing order.
4, q, p
Let q(v) = v**2 - 11*v + 3. Let r be q(11). Put -2, r, -4 in ascending order.
-4, -2, r
Let m be (-1)/(-2) + 51/6. Let o be (2/(-3))/((-2)/m). Suppose 4*n + 4*q = 6*n - 10, -n = -q - 5. Put o, -1, n in increasing order.
-1, o, n
Let p = -11 - -8. Let r(f) = -f**2 + 3*f. Let x be r(4). Put p, x, 0 in increasing order.
x, p, 0
Suppose -13 = -2*k - 2*s - 1, 3*k - 13 = -2*s. Let q be 80/(-12) - (-2)/(-6). Sort -3, q, k in ascending order.
q, -3, k
Let o = -13 - -14. Sort o, -5, -4, 2 in decreasing order.
2, o, -4, -5
Let p be (0/3)/((-4)/(-2)). Let n(b) = b**3 - 13*b**2 - 27*b - 47. Let o be n(15). Sort p, o, -2/3 in decreasing order.
p, -2/3, o
Let l be (-4)/(-35)*15/(-6). Sort l, 5, 0.
l, 0, 5
Suppose -c + 1 = c - i, -3*i + 1 = -4*c. Suppose -c*z + 17 = -5*t, -8 = z + t + 2*t. Put z, -3, -2 in decreasing order.
z, -2, -3
Suppose 0*y - 3*y = -3*j + 27, 4*j + y - 16 = 0. Let v = -18 - -21. Sort j, v, 2 in descending order.
j, v, 2
Let a = -47 - -50. Suppose v + 10 = 2*r + 2*v, -10 = -2*r - 4*v. Sort r, a, -4.
-4, a, r
Let t(k) = -k**2 - 8*k - 8. Let m be t(-6). Suppose 4*i + 0 = 8, -22 = m*o - i. Put 1, o, 3 in decreasing order.
3, 1, o
Let c(a) = a**3 - 6*a**2 - a + 1. Let m be c(6). Put -1, m, -3 in ascending order.
m, -3, -1
Suppose 0 = -f + 5*n + 22, -2*f = f + 5*n + 14. Sort 1, -4, 0, f.
-4, 0, 1, f
Let i be 1/(-6)*-10*-1. Let k = 2/5 + -1/5. Put k, i, -3/5 in decreasing order.
k, -3/5, i
Suppose 95 = a + 4*l, 0 = -2*a - 2*a + 4*l + 420. Let c = -879901/9 - -97870. Let w = c - a. Sort -0.5, w, 2/11 in increasing order.
-0.5, 2/11, w
Suppose 2*q + 8 = 0, 0 + 1 = 3*z + 2*q. Suppose 8*l = z*l + 5. Sort -4, l, 2/5 in increasing order.
-4, 2/5, l
Suppose 0 = -d + 3 + 2. Suppose 5*x - 10 = 2*t, d*x + 4*t = -t + 10. Let g be x/10 - (-4)/5. Put -1/3, g, 3/8 in descending order.
g, 3/8, -1/3
Let d = 311/6 - 52. Sort -1, d, -1/4 in decreasing order.
d, -1/4, -1
Let m be 12/8*8/3. Let n be (11 - 3)*2/m. Suppose 10*f - 3*f = 14. Sort n, -6, f in descending order.
n, f, -6
Let z = 16 + -12. Put 0.3, z, -1/4 in increasing order.
-1/4, 0.3, z
Let s(o) = -o - 3. Let l be s(-5). Suppose 24 = n - 5*n + l*z, -4 = -z. Put n, -5, 3 in descending order.
3, n, -5
Let k(n) = -n**3 - n**2 + 1. Let b be k(1). Put b, 4, 0.5 in ascending order.
b, 0.5, 4
Let t(i) = -i**2 + i + 3. Let a be t(-3). Sort -3, -2, a.
a, -3, -2
Suppose -2*q + 16 = -4. Suppose 0 = 3*t - 5*n + q, -4*t + 2*n = 3*n + 21. Sort -4, -1, t in increasing order.
t, -4, -1
Let c = 103/2 + -47. Put c, -2, -3 in increasing order.
-3, -2, c
Let a = 0.02 + 5.98. Let k = a + -3. Let m = -1775/7 + 254. Sort -2/3, m, k in descending order.
k, m, -2/3
Let r = -0.02 - 1.98. Let v = 7 + -1. Let q = r + v. Put q, 2, 3 in ascending order.
2, 3, q
Let x(h) = -h**3 + 6*h**2 + 8*h - 3. Let m be x(7). Let g be (m/6)/(-2) + 1. Let i = -1/3 + g. Put 0, 2, i in ascending order.
0, i, 2
Let i be 0 - (-1)/1*1. Let v(g) be the second derivative of g**3/6 + 8*g. Let b be v(5). Sort b, -5, i in ascending order.
-5, i, b
Let z = 1.6 + -1.5. Put 0.01, z, 3 in increasing order.
0.01, z, 3
Suppose -y + 6 = y. Suppose 3 = y*h - 12. Put -2, -5, h in descending order.
h, -2, -5
Let p = 50 + -52. Let y be ((-2)/(-8))/((-6)/16). Sort 0, p, y in decreasing order.
0, y, p
Let z(n) = -n**2 - 10*n - 9. Let i be z(-8). Suppose 0 = -5*g, -5*v + 4*g + i = -18. Let w(k) = -k - 1. Let p be w(4). Put v, p, -1 in increasing order.
p, -1, v
Suppose 4*g - 8 = -b, -b + 5*g = -3*b + 7. Let m = -20 - -15. Put m, b, 4 in increasing order.
m, b, 4
Let x = -1 + -4. Suppose 4*f = 3 + 1. Sort x, f, 3 in increasing order.
x, f, 3
Let f = -2.93 + -0.07. Let j = 78 - 80. Put f, -4, j in ascending order.
-4, f, j
Let b = 0 + -2. Let k = b - -1. Sort k, -3, 5.
-3, k, 5
Let d be (-2 - -14) + 3/(-1). Suppose k - b = 1 - 0, -3*b = -5*k + d. Sort k, 0, 1 in ascending order.
0, 1, k
Let d = -181 - -1993/11. Put 0.8, -0.5, 1/5, d in decreasing order.
0.8, 1/5, d, -0.5
Let r = -1 - -2. Let h = 0 + r. Let z be ((-8)/110)/((-2)/5). Put z, h, -1/8 in descending order.
h, z, -1/8
Let h(s) = -s**3 - 7*s**2 - s + 1. Let g be h(-7). Suppose -b = -5*b + g. Let p be -2 + (b - 3)*-6. Sort p, 0, 5 in descending order.
5, p, 0
Let y = 1.98 - -0.02. Put y, -3, 1/3 in descending order.
y, 1/3, -3
Let x = 3.2 - 3. Let v = -3.6 - -7. Let n = -3 + v. Put x, 2, n in decreasing order.
2, n, x
Let t be 14/(-63) - 211/9. Let d = 24 + t. Sort d, -0.4, 0.1.
-0.4, 0.1, d
Let v = 43 + -39. Suppose 0 = -d - d. Suppose d = -2*g, -4*c = -9*c + 5*g. Put c, v, 3 in increasing order.
c, 3, v
Suppose 9*m = 4*m. Put -3, 3, 2, m in descending order.
3, 2, m, -3
Let p = -1403 - -1403. Let x = -0.2 + 0.1. Sort p, -1/5, x.
-1/5, x, p
Let t = 5 + -3. Let o = 68 - 64. Sort o, 5, t in decreasing order.
5, o, t
Let q = 0.04 + 0.36. Let v = q + 0.6. Let i = -8 - -3. Put i, v, -2/13 in ascending order.
i, -2/13, v
Let j = -2/415 + -796/7055. Let g = -34 - -33.8. Sort j, g, 0.04 in decreasing order.
0.04, j, g
Let b(w) = w**3 - 13*w**2 + w - 7. Let j be b(13). Sort