 Put 3, -1, l in descending order.
3, -1, l
Let w = -41 - -45. Put w, -0.13, -0.4 in decreasing order.
w, -0.13, -0.4
Let a = 469 - 464. Let h be (1/5)/(4/(-5)). Put a, h, -2/15 in ascending order.
h, -2/15, a
Let m be (1 - 2 - -3) + 0. Suppose -2*y = 5 + 3. Let w(i) = -i**2 + 4*i + 7. Let d be w(6). Sort d, y, m in ascending order.
d, y, m
Let p(z) = z + 5. Let y be p(-4). Let w(j) = j**2 + 5*j + 5. Let b be w(-2). Let h(r) = 5*r**2. Let g be h(1). Sort g, b, y in descending order.
g, y, b
Let r(m) = -m**2 - 3*m + 7. Let d be r(-5). Suppose -3*w + 5*t = 2 + 3, -4*w + 24 = t. Let z = w - 2. Sort d, z, 5 in descending order.
5, z, d
Let i be 36/(-27) - (-8)/6. Sort -5, 3, 2/3, i in descending order.
3, 2/3, i, -5
Suppose -5*t = 2*n - 15, -2*n - 5*t + t = -14. Put 2, n, 1 in decreasing order.
n, 2, 1
Let s(u) = u**3 - 4*u**2 + 5*u - 6. Let y be s(3). Sort 4, 3, y, -5/2.
-5/2, y, 3, 4
Suppose i + 4*o = -10 - 14, -i - 19 = 3*o. Let n be ((-2)/10*i)/2. Put -0.2, n, -2/11 in increasing order.
-0.2, -2/11, n
Let s be (2 - -3)*(-3)/3. Suppose -6 = -0*t + 3*t. Let l be 0/(t/2 + 0). Sort s, l, 5 in decreasing order.
5, l, s
Let a = -29/296 + -1/37. Sort -0.1, a, 5, -2/15.
-2/15, a, -0.1, 5
Let t = 13 - 8. Suppose 9 = -z - 4*z + 3*r, 0 = -3*z + 3*r - 9. Put z, -4, t in increasing order.
-4, z, t
Suppose -2*c = -5*h + 25, 9 = -4*c + 3*h - 6. Let s be (-29)/(-5) + 56/(-70). Put c, s, 3 in increasing order.
c, 3, s
Let q(a) = 2*a - 8. Let r be q(6). Let y = 17 + -12. Sort y, r, -2/11 in increasing order.
-2/11, r, y
Let i = 10 + -6. Let q be (2/(-4))/((-2)/4). Suppose 2*r + 3 + q = 0. Put -5, i, r in decreasing order.
i, r, -5
Let d = -14 - -20. Sort 5, 0.5, d.
0.5, 5, d
Suppose 5*h = 4*y + 11, -2*h - 16 = 5*y + 6. Let l(f) = -f**3 - 5*f**2 - 6*f - 6. Let d be l(-4). Suppose 0 = -d*j + 4 + 2. Sort -1, j, y in decreasing order.
j, -1, y
Let f = 31 + -33. Sort -2/9, -3/7, f in decreasing order.
-2/9, -3/7, f
Let b(d) = 4*d**3 + d**2 + 2*d + 1. Let n be b(-1). Let k(w) = -w**3 + 5*w**2 - 2*w + 9. Let o be k(5). Sort 5, n, o in descending order.
5, o, n
Let k be (47/(-9) - -2) + 3. Let u = -0.2 + -1.8. Sort -4/5, k, u.
u, -4/5, k
Let j be 31/3 - 8/(-12). Suppose -4*n + k - j = -2*n, 0 = 4*n - k + 17. Sort n, -5, -1.
-5, n, -1
Let n = -26 - -82. Let g = 51.6 - n. Let d = -4 - g. Sort 0.1, -3, d in decreasing order.
d, 0.1, -3
Let c be (1 - 2)/(-1) - 3. Suppose 6 = 3*a - 0*a. Suppose a*k + 6 = m, m - k = -0*m + 5. Put c, m, 5 in ascending order.
c, m, 5
Let p(f) = f + 2. Let b be p(3). Let l = 0.08 + 0.72. Let n = -0.3 + l. Sort b, n, 1/6 in decreasing order.
b, n, 1/6
Suppose -2 = -4*p + 2. Sort p, 2, -1 in descending order.
2, p, -1
Suppose 0*l = l. Put l, 3, -5 in descending order.
3, l, -5
Let i = -1 - -4. Suppose -6*u - 25 = -7*u - 2*v, -i*u + 42 = -5*v. Suppose -5*t - 4 = -u. Put t, 4, 5 in decreasing order.
5, 4, t
Let b(w) = w + 1. Let d be b(-6). Suppose 2*h - 9 = 2*k - 1, 2*h - 2 = 0. Sort d, -1, k in decreasing order.
-1, k, d
Let j = -1 - -4. Let w = 123 - 123. Let g = -1 + 2. Sort w, j, g in descending order.
j, g, w
Let v be 6/54 - 1/(-3). Let j be 1 + -1 + 0 - 1. Sort j, -3, v in decreasing order.
v, j, -3
Let w(j) = -6*j**2 + j**3 + 2*j - 4*j + 3 - 4*j + 3*j**2. Suppose 3*x = -4*c + 7, -5*x - 2 = 5*c - 7. Let a be w(c). Put -0.2, a, 2/9 in decreasing order.
2/9, -0.2, a
Let u(s) = -s**2 - 9*s - 1. Let h be u(-9). Let w be (h + 3/4)*2. Put 0, w, -3/8 in descending order.
0, -3/8, w
Let q = 4 + 1. Let z = 9 - q. Put -1, z, 0.5 in increasing order.
-1, 0.5, z
Let a(y) = -y - 5. Let s be a(-6). Let g be (1/2 - 1)*0. Suppose k - 3 = -g. Sort k, -1, s in decreasing order.
k, s, -1
Suppose 13*j + 21 = 10*j. Put -5, -4, j, 0 in decreasing order.
0, -4, -5, j
Let i = 0.2 + -0.04. Let w = 0.04 + i. Put w, -0.2, -2/5 in descending order.
w, -0.2, -2/5
Let j = 1 + -2. Let i be -2 - -6 - 58/15. Let s = 1 + -1.1. Sort j, s, i in descending order.
i, s, j
Let r(p) = -p**3 - 10*p**2 + 12*p + 15. Let i be r(-11). Suppose 3*w - 10 = s, -i*w - 11 + 3 = 4*s. Sort -4, w, 4 in increasing order.
-4, w, 4
Suppose 0 = -2*p + 6, -28 = 2*y - 7*y - p. Let b = -31 + 28. Sort b, -5, y in decreasing order.
y, b, -5
Let s = -3.02 + 3. Let b = s - -0.12. Sort b, -3, 4 in descending order.
4, b, -3
Let g(w) be the third derivative of w**4/12 - 7*w**3/6 - w**2. Let a be g(6). Suppose 4*x = -4*t + 24, 5*x = -2*t + 19 - 1. Put x, -4, a in descending order.
a, x, -4
Let i be 3/(-10)*1/6*-16. Let b = 0 - 1. Let a = 2 + b. Sort i, -0.5, a in ascending order.
-0.5, i, a
Let i = -15 + 10. Let o = -0.3 + 0.2. Put i, o, 5 in descending order.
5, o, i
Let p = 32 + -33. Suppose -6 + 18 = 3*z. Put -5, z, p in decreasing order.
z, p, -5
Suppose -4*b + 4 = 4*w, -4 = -2*b + w - 2. Suppose -4*a - j + 17 = 0, 3*a + 14 = a + 4*j. Let p = 3 + -8. Put p, a, b in decreasing order.
a, b, p
Let s(x) = 2*x**3 + 4*x**2 + 3*x + 2. Let f be s(-2). Let k = f - -3. Sort 4, -3, k in increasing order.
-3, k, 4
Let y be (2 - 3)/(1/2). Let t = 826 + -830. Put t, y, 4 in decreasing order.
4, y, t
Let o(l) = -l**3 + 9*l**2 - 8*l - 1. Let u be o(8). Let y(s) = s**3 + 8*s**2 + 6*s - 6. Let q be y(-7). Suppose -3*x - 5 - q = 0. Sort 0, u, x.
x, u, 0
Let h = 338/3 - 4817/42. Let k = h - -13/7. Put k, 3, -5/3 in ascending order.
-5/3, k, 3
Let y = -3.066 - -0.066. Put 2/13, y, -1 in decreasing order.
2/13, -1, y
Let m = -3/5 - -1/5. Let u = -25 - -21. Sort m, u, -0.5 in ascending order.
u, -0.5, m
Let p = 311/8 + -40. Let j = -5/8 - p. Sort -4, -2, j in increasing order.
-4, -2, j
Suppose 0 = 3*l - 3*r + 12, -r - 3*r + 9 = 3*l. Let v(n) = n**2 + 3*n - 1. Let g be v(-4). Suppose -g*y - 2 = -5. Put y, l, 4 in ascending order.
l, y, 4
Let p = -0.5 + 0.58. Let o = 0.08 - p. Put 4, o, -5 in descending order.
4, o, -5
Let t = -0.286 - -0.086. Sort -2/21, t, 3/4 in decreasing order.
3/4, -2/21, t
Let u be 4/3*120/16. Let h = u + -5. Suppose -y + 1 = 2. Sort h, y, 1 in descending order.
h, 1, y
Let g = 0 - 1. Sort g, -4, -9.
-9, -4, g
Let b be 3/9 - (1 + 210/(-18)). Sort -2, 2, 3, b in ascending order.
-2, 2, 3, b
Let a(x) = x + 2. Let v be a(2). Suppose -t = v*t + 30. Sort -4, t, 2 in increasing order.
t, -4, 2
Let o = 18 + -24. Let i = -7.3 - 1.7. Let n = i - o. Put -0.1, 2, n in descending order.
2, -0.1, n
Let d = 39 + -38. Put 10, d, -3, 5 in descending order.
10, 5, d, -3
Suppose -3*k + 3 = -14*o + 17*o, 2*k = 6. Let l be 0/((1 - -1) + -1). Put o, -3, l in descending order.
l, o, -3
Let k(i) = -16*i**2 - 2*i + 1. Let y be k(1). Let z = y + 21. Sort 1/5, z, 1/3 in descending order.
z, 1/3, 1/5
Let f(p) = -p**3 - 8*p**2 - 7*p - 2. Let l be f(-7). Let i(o) = 24*o + 3. Let y be i(l). Let n be (-2)/(-10) - (-14)/y. Put n, -2/3, 4 in descending order.
4, n, -2/3
Let t = 914 - 918. Let o be ((-3)/1)/(3/2). Sort o, t, -3 in increasing order.
t, -3, o
Let z = 0.27 - -0.13. Put 5, z, -0.02 in increasing order.
-0.02, z, 5
Suppose -4*z + 12 = -0*z. Suppose -z*f + 0*f + 21 = 5*k, 4 = -2*k + 5*f. Put k, -1/8, -0.2 in increasing order.
-0.2, -1/8, k
Let z = 3 + -2. Let o(u) = u - 10. Let c be o(10). Suppose -l + c = 4. Sort z, l, -2 in increasing order.
l, -2, z
Let i = -3.1 + 3. Let o = -4/43 - 11/344. Let r = -0.3 + 0.6. Put o, r, i in increasing order.
o, i, r
Suppose -3 = -4*y + 5. Let i be (-5)/(-15)*(-30)/y. Sort i, 4, -4 in descending order.
4, -4, i
Let c(r) = -r + 8. Let l be c(8). Let z = 6.9 - 7. Put z, -5, l in decreasing order.
l, z, -5
Let s be (8/(-6))/(4/6). Suppose 3*q - 3 = -0*q. Sort q, s, -9 in descending order.
q, s, -9
Let j = -2.61 - 0.39. Sort 1/5, 3/4, j in descending order.
3/4, 1/5, j
Suppose -5*r + 3*x = -3*r - 23, -3*r = 4*x + 8. Let a be (-1)/3 - 28/6. Suppose -5*t + 16 = 3*t. Put a, t, r in decreasing order.
r, t, a
Let j(r) = 9*r - 1 + 6 + r**2 + 1 + 0. Let s be j(-8). Sort s, -5, -3 in increasing order.
-5, -3, s
Let n be 4/(-4) + 10/2 + -3. Sort 4, 3, -5, n in descending order.
4, 3, n, -5
Suppose 2*g = 13 + 1. Suppose 5*l - 5*k - 10 = 0, 5*k - 7 = -l + g. Put 0, -5, l in ascending order.
-5, 0, l
Let b = -67 + 133/2. Sort b, 5, -5 in descending order.
5, b, -5
Let z = -20 + 20. Sort -0.3, z, 3, -5 in descending order.
3, z, -0.3, -5
Let u = -0.2 + 0. Let v = 391 - 390.7. Put u, -5, v in increasing