+ 15*n - 35. Let o be r(-17). Sort o, 28, 2 in decreasing order.
28, 2, o
Suppose 6*u + 10 = u. Sort 0.1, u, 5, -21 in descending order.
5, 0.1, u, -21
Suppose m - 23 = 5*j, 0 = -m + 1 + 2. Let p(y) = y**2 + y + 5. Let k be p(0). Let i(q) = -2*q - 2. Let g be i(-2). Sort k, g, j in descending order.
k, g, j
Let a be 33/11 - 16/2. Put 5, -2, a in descending order.
5, -2, a
Let s be (1 - -1)/(4/(-10)). Suppose -b - n = -6*n + 3, 0 = -2*b + 4*n. Let x be -5 - b*(-12)/8. Put x, s, -4 in decreasing order.
x, -4, s
Let c(t) = -2*t - 1. Let b be c(-2). Suppose -2*l - 1 = 1. Suppose 3*j + 12 = 4*j - 4*p, -2*p = 4. Put b, l, j in descending order.
j, b, l
Suppose -v - 4*v - 3*d - 44 = 0, -v - 6 = 2*d. Let x be v*(3 + 34/(-10)). Put x, 6, 0 in increasing order.
0, x, 6
Let s(g) = g**2 + 5*g + 6. Let l be s(-4). Suppose 10 = l*j + 2*p, 0*p - 3 = 3*p. Suppose j*d - 25 = d. Put 1, d, 0 in descending order.
d, 1, 0
Let j = -15 + 22. Sort 5, j, -2/3 in decreasing order.
j, 5, -2/3
Let n = -0.23 + -0.07. Let z = n + 0.2. Let v = -0.4 - -0.9. Sort 1/7, z, v in descending order.
v, 1/7, z
Let j be (-20)/(-8)*16/10. Let f be ((-6)/2)/(6/8). Let q = f + 6. Put 0, q, j in descending order.
j, q, 0
Let d = -1 - -4. Suppose 26 = -z + d*z. Suppose z - 1 = -4*g. Sort -4, 4, g.
-4, g, 4
Suppose -s + 3*s - 10 = 0. Sort 1, s, -2 in decreasing order.
s, 1, -2
Let i(j) = 2*j**3 + j**2 + j + 1. Let h be (-3)/9 - (-6)/(-9). Let k be i(h). Let q = -9/5 - -3/10. Put k, q, -1/2 in ascending order.
q, k, -1/2
Let d = 0.08 + 1.92. Let c = 0.6 - 1. Sort 1, d, c.
c, 1, d
Suppose -4*i - i = 0. Put i, 5, -1 in increasing order.
-1, i, 5
Let a = 0.58 - 0.18. Put a, 3, 1/3 in ascending order.
1/3, a, 3
Let w = 0.2 - 0.2. Let q be (-1)/3*9/(-6). Put -0.3, q, w in decreasing order.
q, w, -0.3
Let x = 5 + -4.3. Let c = x + -0.2. Put 4, c, 0.1 in descending order.
4, c, 0.1
Let b be ((-12)/(-8) + -1)*26. Let k = 15 - b. Put k, 2/3, -1/4 in descending order.
k, 2/3, -1/4
Let a = -1 + 1.03. Let t = a + -0.03. Sort 1/2, -2/3, t.
-2/3, t, 1/2
Let o = 1 - 0.6. Let k = 105 - 108. Sort o, 3, k.
k, o, 3
Let u = -0.48 - -0.88. Sort -3, 4, 3, u in ascending order.
-3, u, 3, 4
Let n be 1 + 2/(2 + -1). Let s = 33 + -37. Sort s, 1, n in descending order.
n, 1, s
Let f(b) = -b**3 + 4*b**2 + 5*b + 4. Let c be f(5). Let x(l) = 2*l**3 + 9*l**2 + 5*l + 3. Let u be x(-4). Put c, -2, u in ascending order.
-2, u, c
Let z = -16 - -11. Let u be ((-72)/126)/(12/14). Let d be 2/(0 - -2) + -1. Sort d, u, z in increasing order.
z, u, d
Let u(x) be the first derivative of -x**4/4 + x**3 + 3*x**2 - 3*x - 2. Let r be u(4). Suppose -3*n + 4 - 1 = 0. Put -2, r, n in decreasing order.
r, n, -2
Let i(x) = x**2 - 13*x + 3. Let h be i(13). Suppose -5*f - 10 = -h*r, 3*f = -3 - 3. Sort 1, r, -4 in descending order.
1, r, -4
Suppose 0 = 2*k - 4*k. Let g = 0 + 5. Put k, -4, g in decreasing order.
g, k, -4
Suppose 0 = -4*r + 6 + 14. Sort r, 0, 4 in increasing order.
0, 4, r
Let n = 11 - 6. Let m be 3/(3/(-4)) + 3. Put m, n, 0 in decreasing order.
n, 0, m
Suppose -4*u + 0*h = -4*h + 1580, 3*u = -5*h - 1217. Let r be u/(-27) - (-4)/18. Suppose r = 2*n + 3*n. Put n, -5, 5 in increasing order.
-5, n, 5
Let j(q) = q**2 - 2*q. Let t be j(3). Let u be (-9)/(-2) - 4/8. Put u, t, 2 in ascending order.
2, t, u
Suppose 0 = u - 0*u + 6. Let w(t) = -2*t - 9. Let i be w(u). Sort 0, -1, i in ascending order.
-1, 0, i
Suppose -3*r - 2*r + 4*h = -5, 0 = 4*r - h - 4. Put -1/2, r, 0.1 in decreasing order.
r, 0.1, -1/2
Let s = -0.51 - -1.51. Put -5, -3/7, s in ascending order.
-5, -3/7, s
Let y = 0.5 + -5.5. Let s be (5/4 - 1)/(20/(-32)). Put s, 5, y in descending order.
5, s, y
Let c = 3 - 3. Put c, 1/8, 3 in ascending order.
c, 1/8, 3
Let z = -6 + 8. Let g = 0 + z. Sort -3, 4, g.
-3, g, 4
Let j = 0.47 + -6.47. Sort j, -2/7, -5, 0 in decreasing order.
0, -2/7, -5, j
Suppose 2*i + 4*y - 12 = 0, 3*i = 6*i + 5*y - 17. Sort i, 0, -9, 2.
-9, 0, 2, i
Suppose -62 = 5*s - 3*j, -s + 6 - 24 = -2*j. Let x = s - -15. Suppose 3*g = -2*g - x*h + 5, h = -4*g - 8. Put 0, g, 0.2 in ascending order.
g, 0, 0.2
Let t(u) = 2*u - 6. Let b be t(4). Put 0, b, 3 in decreasing order.
3, b, 0
Let i = 69.9 - 70. Sort i, 0.4, 0.01, -4 in descending order.
0.4, 0.01, i, -4
Let x = 1 + 0. Let t = x + -1.4. Let i be 3/(-1) + 0 + (-14)/(-4). Put i, 2/5, t in descending order.
i, 2/5, t
Let k = -45/82 - -2/41. Let x = 0.01 + 0.19. Sort k, x, 0 in decreasing order.
x, 0, k
Let f(b) = -b - 7. Suppose 0 = m - 4*j + 8, 0 = -2*m - 5*j - 18 + 2. Let w be f(m). Let p = 3 - 7/3. Sort p, 0.3, w.
0.3, p, w
Let b = -9 + 14. Sort 4, b, 10 in decreasing order.
10, b, 4
Let n = 2 - -3. Let u be (-86)/18 + 8/(-36). Sort n, u, -2 in descending order.
n, -2, u
Suppose 6*l + 9 = 9*l. Sort 4, l, 7, 0 in decreasing order.
7, 4, l, 0
Let p be 1 + (-4)/(-92)*-21. Let i be 2 + (-2 - 0) + 0. Sort -5, i, p.
-5, i, p
Let z(p) = -p**3 - 3*p**2 - 4*p - 2. Let i be z(-1). Sort 9, i, 2.
i, 2, 9
Let p = 1.1 + -0.7. Sort -0.2, p, 0.04 in descending order.
p, 0.04, -0.2
Suppose i + 3*o = 0, o + 2 = -i - 4*o. Put -3, 8, i, 0 in decreasing order.
8, i, 0, -3
Suppose -26 = 5*v + 3*f, 3 - 21 = 3*v + 3*f. Suppose 0 = -z - 2. Let a = -5 - z. Put v, a, 1 in decreasing order.
1, a, v
Let b(z) = -z + 10. Let i be b(9). Put 4, -5, i in descending order.
4, i, -5
Let c(b) = -3*b + 35. Let v be c(7). Sort -1, -3, v.
-3, -1, v
Suppose -5*u - 2 = -7. Let o = 6 + -3. Suppose -4*v = -3*v + o. Sort 0, v, u in descending order.
u, 0, v
Suppose 2*q - 35 = -5*g, 3*g - 10 = q - 0*g. Sort -2, q, -3 in increasing order.
-3, -2, q
Let k = 6.12 + -0.12. Let w = -5.7 + k. Let n = -25 - -22. Put n, -0.2, w in ascending order.
n, -0.2, w
Let v = 32 - 35.1. Let p = v + 0.1. Let d = 2 + p. Put -0.3, 4, d in increasing order.
d, -0.3, 4
Let g = -176 - -168. Put g, 3, 2, -2 in increasing order.
g, -2, 2, 3
Let b(p) = -p**3 - 8*p**2 - p + 2. Let h be b(-8). Suppose -h = 4*v + 2. Sort v, 0, -2.
v, -2, 0
Suppose 5*f - 2*o - 3 - 19 = 0, -2*f = 5*o - 3. Suppose -2*q + 7*q = 15. Let v = -2 - q. Sort 5, v, f in descending order.
5, f, v
Let c = 11 - 7. Suppose -c*n = -2*i, -5*n - 11 = -2*n + 4*i. Let t be -4 + ((-2)/n - 1). Put 1, t, 0 in ascending order.
t, 0, 1
Let h = -2 + 6. Let a = 4 + -4.8. Let n = a + -1.2. Put n, h, 1 in increasing order.
n, 1, h
Suppose 11*z = 12*z. Sort -2, z, 3 in decreasing order.
3, z, -2
Let c(v) = -3*v**2 + v - 2. Let z be c(1). Sort 5, 3, z in decreasing order.
5, 3, z
Let m = 0 + 9. Let x = -8 + m. Put 3, x, 5 in increasing order.
x, 3, 5
Let b = 0.9 + 3.1. Let w = 4 - 3.6. Let g = w - 0. Sort g, -0.2, b in descending order.
b, g, -0.2
Let l(b) = -4*b**3 + 3*b**2 - 2*b + 0 + 0*b + 3*b**3 - 1. Let i be l(2). Suppose 2*j + 12 = 4*f, 0*f + 8 = -4*f - 3*j. Put f, 0, i in descending order.
f, 0, i
Let d = 200/1469 + 2/113. Let w = 11 + -9. Let m be (w/6)/((-2)/4). Sort -5, m, d.
-5, m, d
Let o = 1/90 - -517/2070. Let m = o + -7/115. Sort m, -0.5, -1 in decreasing order.
m, -0.5, -1
Let p = 25 + -26.8. Let j = p + 2.2. Sort j, -3, 3 in ascending order.
-3, j, 3
Let b = 13 - 8. Let h = b - 4.8. Put -3, 5, h in decreasing order.
5, h, -3
Let d be ((-5)/15)/((-2)/(-3)). Sort -0.3, d, -1, 3/2.
-1, d, -0.3, 3/2
Let x = -4.9 + 0.9. Suppose 0 = -5*t + 2*v - 10, -4*t + 20 = 2*v + 2*v. Let a = 0.46 - 0.06. Sort t, a, x in increasing order.
x, t, a
Let y be 2/(-3) - (-4)/(-12). Suppose s = -5*k + 4*s - 5, 27 = k + 5*s. Let f be ((-4)/k)/(2/3). Put -4, f, y in ascending order.
-4, f, y
Let f = -0.11 + 1.81. Let l = 2.1 - f. Sort 0, l, -5/6 in ascending order.
-5/6, 0, l
Suppose 4*x + y + 41 = 0, -4*y = 2*x - 7*y + 3. Let v = 33 + x. Let u be (-4)/(-12) + (-2)/v. Sort -2, u, 4 in increasing order.
-2, u, 4
Suppose -5*l = 2*u - 4, -5*u + 4*l - 24 = 32. Let n be 6/(3 + -1) + u. Let t be -2*1*(-1)/(-3). Put t, n, 4 in decreasing order.
4, t, n
Let y be 6/(-45) + 1585/75. Let w = y - 17. Put w, -4, 5 in increasing order.
-4, w, 5
Let q = 24.8 - 25. Put -1/3, 0.3, q in increasing order.
-1/3, q, 0.3
Suppose -4 = k + 1. Sort k, 0, -5/2 in ascending order.
k, -5/2, 0
Let a = -1 + 2. Let j = -1.4 + 1.3. Suppose t - 14 = 5*q + 2*t, 2*q + 5*t = -1. Put j, q, a in increasing order.
q, j, a
Suppose -2*j = j - 3. Let w be ((-6)/(-5))/(6/(-20)).