l, a, -5
Suppose 3*j = -4*t + 1 + 1, 4*j - 2 = -5*t. Put -2, -4, t in descending order.
t, -2, -4
Suppose 5*h = b - 2*b - 18, 26 = 3*b - 5*h. Let x be (12/15)/(b/15). Let t be x/(-9) - (-8)/6. Sort -2/13, t, -3 in descending order.
t, -2/13, -3
Let s = 18.3 + -20. Let l = -5.3 - s. Let w = -0.6 - l. Sort 1/5, -0.5, w in decreasing order.
w, 1/5, -0.5
Let o = -9 + 9. Put -2, o, 3 in ascending order.
-2, o, 3
Let o(r) be the first derivative of -r**4/4 - r**3 + 3*r**2/2 - r + 1. Let m be -8*(1/(-2))/(-1). Let l be o(m). Put 5, l, 0 in increasing order.
0, l, 5
Let r(g) be the third derivative of -g**5/60 - 3*g**4/8 - 5*g**3/3 + 3*g**2. Let m be r(-8). Sort m, -5, 0.2 in decreasing order.
0.2, m, -5
Let g = -11 - -8. Let b be 6*(-4)/(-72) + (-16)/3. Sort 5, g, b in decreasing order.
5, g, b
Let u(y) = 3*y**2 + 4*y - 7. Let n be u(-3). Sort n, 2, -1, -2 in decreasing order.
n, 2, -1, -2
Let u = 1.9 + -1.7. Let i = -6 + 10. Let t = 0 + -0.4. Sort i, t, u in ascending order.
t, u, i
Let y be 15*4/(-24)*-2. Sort -3, y, 3 in descending order.
y, 3, -3
Let o(z) = -z**2 - 2*z + 1. Let x be o(1). Sort -5, x, 4 in decreasing order.
4, x, -5
Let l = -13894/23 + 604. Put l, 2, -0.2 in decreasing order.
2, l, -0.2
Let g = -22 + 21. Sort 5, 2, g.
g, 2, 5
Let z = 0.3 - 0.1. Suppose -c + 2 = -1. Sort c, 3/2, z.
z, 3/2, c
Let d be (2 - 1)*8/36. Sort 1/9, d, -11/6.
-11/6, 1/9, d
Let j be -1*3*16/24. Let h = -4.033 - -0.033. Sort 3, h, j.
h, j, 3
Let b(i) = i**2 - 5*i + 3. Let d be b(3). Let l be (5/((-70)/12))/(3/(-14)). Sort 7, d, l in decreasing order.
7, l, d
Suppose 6*d - 16 - 14 = 0. Suppose j - 3*j - 10 = 0. Put d, j, 4 in decreasing order.
d, 4, j
Suppose 2*v = 3*q + v - 2, -6 = q - 2*v. Suppose -2*t + 14 = -w, w + 0 - 1 = -t. Let f be (-4)/12 + (-4)/(-3). Sort w, f, q in decreasing order.
q, f, w
Let t = 0.6 + -1. Let j = t - -0.4. Sort j, -1, -4 in ascending order.
-4, -1, j
Let d be (6/8)/(3/(-84)). Let k be (-2)/(-7) - (-69)/d. Let g = 3 + k. Sort 3, 5, g in increasing order.
g, 3, 5
Suppose 0*l - 5*l - 15 = 0. Suppose 4*x + 2*h - 6 = 0, -3*x - 4*h + 12 = -5*x. Suppose u - 5*u + 16 = x. Sort -5, l, u in descending order.
u, l, -5
Suppose -3*i - 12 = -b, i = -3*i - 16. Let x be 47/(-9) - (-2)/9. Sort -2, x, b in increasing order.
x, -2, b
Let n = -0.607 + 0.107. Sort -4, -1/6, -1, n in decreasing order.
-1/6, n, -1, -4
Let z(d) = -d**3 - 7*d**2 - 7*d - 2. Let c be z(-6). Let t = 9 - 5. Suppose -t*l = 4*r + 16, 0*r - 14 = r + 3*l. Sort 2, c, r in decreasing order.
c, 2, r
Let h be (-1)/(1*8 + -1). Let v = -3.03 + 0.03. Let i(q) = -q**3 - 5*q**2 - 2*q + 3. Let g be i(-4). Sort h, v, g in increasing order.
g, v, h
Suppose -2*x + 33 = -5*k - 0, -2*x - 3*k = 7. Let d(b) = 2 + 2*b + 1 - 2. Let a be d(2). Put -3, a, x in decreasing order.
a, x, -3
Suppose -2*p = -3*d + 6, 5*d = -2*p + 5 + 5. Put -2, -5, d in decreasing order.
d, -2, -5
Let m = 85 - 88. Put m, -0.5, 2, 0.3 in decreasing order.
2, 0.3, -0.5, m
Suppose -z + 8 = p, -4 = -3*p - 0*z + z. Suppose -15 = -4*h + j, 5*h - 14 - 2 = 4*j. Sort p, h, -5 in increasing order.
-5, p, h
Suppose -4*b - 12 = -0. Let s = -3 - -8. Sort s, b, -2 in decreasing order.
s, -2, b
Let r = -11 - -12. Let c = 0 + 2. Suppose -2*v + v - c = 0. Put r, v, 2 in descending order.
2, r, v
Let s(h) = h**2 - 13*h + 14. Let r be s(12). Sort -1, -2, r, 11 in descending order.
11, r, -1, -2
Let w = 5 - 7. Suppose 2 = 4*l - 2. Put w, l, -4 in descending order.
l, w, -4
Let c = -5 - -7. Suppose 2*t - 4 = -2*q, 0 = 4*q + q + t - 14. Suppose -8 + 2 = q*v. Put c, v, -3 in decreasing order.
c, v, -3
Suppose -3*h - 2*f = -23, -5*h + f + 33 = 3*f. Suppose h*o + b + 6 - 32 = 0, 0 = 2*b - 2. Put 1, 2, o in decreasing order.
o, 2, 1
Let h = -13 - -11. Sort 1/7, h, 0.3 in increasing order.
h, 1/7, 0.3
Let p(t) = -t + 4. Let q be p(-13). Let w = q + -13. Sort w, -0.2, -0.1 in ascending order.
-0.2, -0.1, w
Let x be 1 - 0 - (3 + -4). Let t(i) = -i**3 - 2*i**2 - 1. Let y be t(-3). Suppose y + x = -5*w. Sort w, 5, -0.1 in decreasing order.
5, -0.1, w
Let v = -3 + 4. Let o = 183/2 - 3473/38. Sort 0, v, o in ascending order.
0, o, v
Suppose -5*w + 0*w - 5*d = 10, 2 = d. Let l(n) = n**3 - 9*n**2 + 6*n + 20. Let q be l(8). Sort 3, w, q in ascending order.
w, 3, q
Let j = -93/92 + 6/23. Suppose -2*a = 4*t - 2 - 0, 0 = -t + 3*a + 11. Put t, j, -0.2 in descending order.
t, -0.2, j
Let y be (-4)/(-28) + (-13)/(-7). Let s = -20 - -13. Put s, 1, y in descending order.
y, 1, s
Let r be (-99)/(-121) + (-4)/(-22). Sort r, -2, 0 in increasing order.
-2, 0, r
Let o = -0.08 - 0.02. Let g(a) = a**2 + 10*a + 20. Let u be g(-8). Sort u, 0, o in ascending order.
o, 0, u
Suppose -5*t - 24 = -t. Let j be 4/18 + t/27. Suppose 4*a + 3*z = -3, j*z - 5 = 4*a + 5*z. Put a, -3, -2 in increasing order.
-3, -2, a
Suppose 3*a + 2*h = -1 + 2, 6 = 4*a + 5*h. Put a, 2, -2 in increasing order.
-2, a, 2
Suppose 9 = 4*z + 5. Put z, 4, -1 in descending order.
4, z, -1
Suppose 36 = -4*b - 0. Put -3, b, 5, -4 in ascending order.
b, -4, -3, 5
Suppose -m = 2*m. Let x(j) = j**3 - j**2 - 2*j - 1. Let r be x(m). Sort 4, 1, r in descending order.
4, 1, r
Let v(c) = c - 2. Let l be v(5). Suppose 4*f - 8 = 0, -w + 3 = l*f - 0. Sort 0.4, w, -4 in increasing order.
-4, w, 0.4
Let p be -4 + 0/(-3) + 1. Let u = -3 + 3.2. Sort p, u, -2/3.
p, -2/3, u
Suppose -h = 4*i + 5, -2*i - 2*i - 2*h = 10. Put 4, -11, i in decreasing order.
4, i, -11
Let c = -35 + 40. Sort 2, 1, c.
1, 2, c
Let h be 3/1*(-7)/21. Put -2, 4, h, -5 in decreasing order.
4, h, -2, -5
Suppose 0 = 3*o - o - 4. Suppose 11 + 4 = -5*a. Let f = a - -7. Put o, f, -3 in descending order.
f, o, -3
Suppose 3*j - 5*j = -10. Sort j, -1, -2 in decreasing order.
j, -1, -2
Suppose 0 = 5*u + 3*c + 2*c + 25, 3*c = 5*u + 25. Let j = -1 + 5. Sort -4, j, u in decreasing order.
j, -4, u
Let w(p) = p**3 + 9*p**2 - p - 1. Let o be w(-9). Let g = o - 6. Put -1, g, -4 in decreasing order.
g, -1, -4
Suppose 4*v - 14 = 2*x, 2*v - 7*v = -3*x - 20. Let i(n) = n**2 - 5*n + 1. Let u be i(5). Let o be (2/2)/(u/5). Put x, o, -4 in decreasing order.
o, -4, x
Let j = 9 - 9.8. Let t = 1 + j. Let r = -0.1 + t. Put -1, 2, r in decreasing order.
2, r, -1
Let y = 0.5 + -0.8. Let g = 2 + -1.95. Let q = -4.95 - g. Put q, y, 0.2 in descending order.
0.2, y, q
Let f(n) be the second derivative of -n**4/12 + n**3 - 3*n**2/2 - 2*n. Let i be f(4). Suppose 0 = -0*m - 2*m. Sort m, i, -5 in descending order.
i, m, -5
Suppose 3*j - 7*j = 0. Suppose -85 + 95 = 2*f. Let a = 4 - 3. Sort a, j, f in decreasing order.
f, a, j
Let l = 10 + -7. Suppose 0*f - l = f. Put 0, f, 5 in ascending order.
f, 0, 5
Let a(k) = k**3 + 6*k**2 + 6*k + 4. Let u be a(-4). Let m be (6/u)/(2/(-4)). Sort m, 3, -4 in descending order.
3, m, -4
Suppose 4*d - 11 = 5. Let z be 2/d - 11/(-2). Suppose -z*k = -3*k - 3. Put 0, k, 2 in descending order.
2, k, 0
Let u = -10 - -10.09. Let l = -0.0786 - -3.9886. Let a = u + l. Sort a, -3/5, 2 in decreasing order.
a, 2, -3/5
Suppose 0 = 9*z - 5*z - 16. Put z, -3, 1 in decreasing order.
z, 1, -3
Let f = 47/86 - 2/43. Sort 2/9, f, 5 in decreasing order.
5, f, 2/9
Suppose l + 13 = 2*r, l - 4*l - 4 = r. Put 1, -2, l in decreasing order.
1, -2, l
Let c = -1 - -1.5. Let o = 34 + -32. Sort 4, o, c in decreasing order.
4, o, c
Let d = 1.3 - 1.2. Let l = -47/2 + 24. Put l, d, 1 in decreasing order.
1, l, d
Let s = -17.5 - -17. Sort s, -3/4, 4 in decreasing order.
4, s, -3/4
Suppose -20 = -3*j - 5*d - 7, 8 = 4*d. Let a be ((-4)/6)/(12/72). Put a, -1, j in ascending order.
a, -1, j
Let u(q) = -q**2 + 15*q - 3. Let k(c) = -c**3 - 6*c**2 - 3*c - 3. Let w be k(-6). Let i be u(w). Sort 1, i, -2 in descending order.
1, -2, i
Let q = 24 + -25. Let c(z) = -z**2 + z + 2. Let n be c(2). Sort q, 4, n.
q, n, 4
Let a = 0 + 2. Let d = 628 - 623. Sort a, -1, d in decreasing order.
d, a, -1
Let a = -11 - 9. Let f = -24 - a. Put -0.5, 2, f in descending order.
2, -0.5, f
Let j = 13 - 10. Let z = j - 2.8. Sort 1, z, 3.
z, 1, 3
Let q = -2 - -3. Let h be q - (-4)/66*-15. Let k = 5.5 - 0.5. Put k, h, -0.5 in increasing order.
-0.5, h, k
Let d(r) = -r**3 - 3*r**2 - 2*r + 2. Let q be d(-2). Let b = 7 - 7.3. Let s = b - -0.1. Put -4, q, s in decreasing order.
q, s, -4
Suppose 0 = 3*h - 2*h - 5. Suppose h*l =