= -7*s + 83. Let d be x(12). Put d, 2, 3, 1 in decreasing order.
3, 2, 1, d
Let n = 2.5 + -2.1. Sort 1, 3, n.
n, 1, 3
Let n = 0.1 - 0.5. Let l = 11 + -8.6. Let w = n + l. Put 1, w, -1/2 in decreasing order.
w, 1, -1/2
Let o(q) = 7*q + 3. Let w be o(-3). Let n = w - -11. Sort 5, -5, n in descending order.
5, -5, n
Let u = -2 + 1. Let n(j) = j**3 + 8*j**2 - 3. Let v be n(-8). Suppose 0*b - 1 = 2*b + 3*x, 0 = 5*b - 4*x - 32. Put b, u, v in descending order.
b, u, v
Suppose 5*m + 12 = 2*m. Sort 0, -2, m in decreasing order.
0, -2, m
Let m(k) = -k**2 + 7*k - 5. Let z be m(6). Let d be 4/2 + -6 + 1. Let y be 2 - d/((-12)/10). Sort 0.1, y, z.
y, 0.1, z
Let p be (-15)/(-10) + 0 + (-6)/4. Let i = -16 - -11. Put -1, i, p in descending order.
p, -1, i
Let j = -6 + 5. Let q = -1396/7557 + 2/687. Sort -2/3, q, j.
j, -2/3, q
Let f(o) = o**3 + 3*o**2 - 13*o - 11. Let v be f(-5). Let n = 5 - 3. Sort n, v, -5 in ascending order.
-5, n, v
Let u = 50 - 49.04. Let s = 0.04 + u. Let r = -3 - s. Put 1, 3, r in decreasing order.
3, 1, r
Let g(f) = -f**2 - f + 2. Let z be g(-4). Let v = z - -7. Sort -2, 3, v.
v, -2, 3
Suppose 0 = -2*m - 2, 2*r + 5*m = 5*r + 10. Put r, 4, -4 in increasing order.
r, -4, 4
Let k = 140.9 + -141. Sort -0.5, k, -2/11 in decreasing order.
k, -2/11, -0.5
Let y be (-3)/(-9)*(-12)/(-1). Suppose -5*h - 5*p = -5, 9 = h + y*p - 1. Suppose 0 = 3*u + 3*m - 21, -4*m + 7 = 3*u - 18. Sort u, h, 2.
h, 2, u
Let s be -4*(-3 - 228/(-80)). Sort s, -3, 0.
-3, 0, s
Let l(k) = 2*k + 2*k - 8*k + 3*k - 7. Let u be l(-3). Let x(s) = s**3 + 3*s**2. Let b be x(-2). Put 2, u, b in increasing order.
u, 2, b
Suppose q = -3*y + 1, 5*y + 0*q = -4*q - 10. Suppose -16 = y*l - 4. Let c = l + 4. Sort c, 4, 3 in descending order.
4, 3, c
Let r = -0.01 + -2.99. Let y = 9 - 4. Sort 0.5, y, r in descending order.
y, 0.5, r
Let b = 21 + -25. Sort -4.2, b, 1/4 in descending order.
1/4, b, -4.2
Let d = -36 + 26. Let v = -9.5 - d. Let w = -1.97 + -0.03. Put 0, w, v in increasing order.
w, 0, v
Let a(h) = -h**3 - 8*h**2 + 5. Let g be a(-8). Put -4, -2, g, 10 in increasing order.
-4, -2, g, 10
Let t be -6 + 3 - 12/(-2) - 7. Sort t, 5, 0, 1 in increasing order.
t, 0, 1, 5
Let l = -7 - -10. Suppose -3*b + 0*b = 4*u + 15, -7 = u + 4*b. Sort u, -2, l.
u, -2, l
Let p = 6.9 + 0.1. Let q = 3 - p. Let v = q - -4. Sort -4, v, 4 in decreasing order.
4, v, -4
Let o be 5*((-2)/5 - -1). Let n be (-2)/(26/10 - 3). Suppose -o*g = -n*c + 7*c - 7, -2*c = 2*g - 6. Put -5, c, -2 in increasing order.
-5, -2, c
Let a be ((-6)/(-10))/(2 + -1). Suppose -2 = -2*m + 4. Put m, a, -2 in descending order.
m, a, -2
Let z be (-1 - 1)*(-1)/(-6). Let b = 0.4 + 1.6. Sort z, -4/5, b in ascending order.
-4/5, z, b
Suppose 5 = v - 2. Let b = 10 - v. Put -2, b, 1 in increasing order.
-2, 1, b
Suppose 0 = 6*s - 3*s + 9. Sort s, 9, 3.
s, 3, 9
Let d = 0.6 - 0.4. Let m = 1.2 - d. Let v = m + -0.7. Put v, -1, -5 in ascending order.
-5, -1, v
Let d = 1.8 - 2. Sort 3, -2/13, d.
d, -2/13, 3
Suppose 0 = -3*o - 22 + 7. Let i(s) = -s - 12. Let j be i(-9). Put -2, j, o in decreasing order.
-2, j, o
Let h = -10/3 + 53/15. Put 5, h, 4 in ascending order.
h, 4, 5
Let o(n) = -n**3 + 8*n**2 - 8*n + 11. Let h be o(7). Sort h, -5, 5 in descending order.
5, h, -5
Suppose 0 = -4*d + 8 - 0. Let m = d - -3. Let o = 408 + -413. Put m, -2, o in increasing order.
o, -2, m
Suppose 5*w - 15 = -3*m, 3*w - 3*m = -2*w + 15. Let y be (1 + -2)*w - 1. Sort 2, 0.3, y in decreasing order.
2, 0.3, y
Let u(x) = x**2 + 7*x - 6. Let p be (-6)/(-9)*(-12 - 0). Let i be u(p). Suppose -2*h = 2*f - 14, i*h = 5*h + f - 13. Put h, 2, -3 in ascending order.
-3, 2, h
Let k(p) = -3*p**3 - 10*p**2 - 2*p - 1. Let b(h) = 4*h**3 + 10*h**2 + 3*h + 2. Let r(i) = 2*b(i) + 3*k(i). Let v be r(-10). Sort 4, 0, v in ascending order.
0, v, 4
Let q = 2.4 - -0.6. Let s = -0.013 - 0.487. Put 5, q, s in decreasing order.
5, q, s
Let i = 18 + -14. Let q = 8.8 - 8. Let o = q + -0.3. Sort o, i, 2/9 in decreasing order.
i, o, 2/9
Suppose 5*h = 32 - 47. Let r = -3 + 6. Put 4, h, r in ascending order.
h, r, 4
Let b(w) = w**2 - 7*w + 5. Let x be b(7). Put -8, x, 1/2 in ascending order.
-8, 1/2, x
Let w = -9.1 + -4.9. Sort -5, 4, w in decreasing order.
4, -5, w
Let h(t) = t**2 + 8*t + 6. Let l be h(-8). Let m be 7/(-28) + l/8. Sort m, -5, -0.1 in increasing order.
-5, -0.1, m
Let n = 5.4 - 0.3. Let v = n + -5. Let t = -0.2 - -0.1. Put v, t, -1/2 in decreasing order.
v, t, -1/2
Let g(y) = -y**2 + 7*y - 7. Let i be g(5). Suppose 4*p = -6*u + i*u + 23, 3*p = 3*u + 12. Let z be (0 + 0)/(-3 - -2). Put p, z, 3 in ascending order.
z, 3, p
Let w = 19 - 18.6. Sort -3, 5, w.
-3, w, 5
Let x(z) = z**2 - 5*z + 1. Let p be x(4). Suppose 6*m = 3*i + 7*m - 4, -2*i - 2*m = 0. Sort i, p, -1 in decreasing order.
i, -1, p
Let d = -5 - -4.97. Sort d, -1/3, -4 in increasing order.
-4, -1/3, d
Let l be (9/(-15))/((-5)/25). Let p be -3 + l/(-9)*-3. Sort 3, p, 1 in increasing order.
p, 1, 3
Let i(q) = -2*q**3 - 3*q**2 - q - 1. Let x be i(-2). Let g = -14 - -10. Let v = 8 - 4. Put x, g, v in ascending order.
g, v, x
Suppose a - 10 - 9 = 0. Suppose -5*v - a = -k - 3*k, 4*k - v = 7. Let s = 3 - 4. Put s, k, 3/2 in increasing order.
s, k, 3/2
Let q = 7.7 - 8. Let g(m) = m. Let f be g(2). Let s be 1/((-1)/f) - 0. Put s, -1, q in decreasing order.
q, -1, s
Let b = -10 + 15. Suppose -b*q = -q + 48. Let a be (-15)/18*q/(-45). Put 5, a, 2/19 in increasing order.
a, 2/19, 5
Let q = 18 + -58/3. Sort 9, -2/13, q in descending order.
9, -2/13, q
Let x = 0.8 + -0.3. Put 4, x, 0.1, 2/5 in increasing order.
0.1, 2/5, x, 4
Let t be (-2)/(-1) - (1 - 4). Let u(i) = 4*i - 1. Let c be u(1). Sort t, -3, c in ascending order.
-3, c, t
Let c = -5 + 3. Let q be 4/(-6)*6/(-4). Let j = -1 + q. Sort 1, c, j in increasing order.
c, j, 1
Let w = 134.4 - 134. Sort -2, w, -3/4 in decreasing order.
w, -3/4, -2
Suppose 0 = 2*g + 3*v + 3, 7*v + 5 = -2*g + 2*v. Suppose -30*r = -37*r - 21. Put g, r, 2 in decreasing order.
2, g, r
Let n be -2 + 3/(12/16). Put -3, 4, n, -5 in ascending order.
-5, -3, n, 4
Let v = 2.1 - 1.1. Let f = v + 2. Sort f, -2/7, -0.1.
-2/7, -0.1, f
Let d(m) = 4*m + 11. Let r be d(-4). Let a(j) = j + 1. Let c be a(5). Let f be 3/c + 2/(-3). Sort 0.4, f, r.
r, f, 0.4
Suppose 5*y - 11 = -w, -4 = 4*w - y - 3*y. Suppose 0 = -j + q - 1, 6*j + 5*q - 25 = j. Suppose j + 1 = u. Put -3, w, u in decreasing order.
u, w, -3
Let s be -22*(-3)/6 + 1. Let p = s - 7. Sort -5, p, 1 in descending order.
p, 1, -5
Suppose 0 = -r + 3*g + 8, 5*g = -r - 2*r - 18. Sort r, 2, -3 in descending order.
2, r, -3
Let u = 26 - 27. Sort 3, -4, 2, u in decreasing order.
3, 2, u, -4
Let t be (-1)/3*1*-6. Suppose -2*r - 5 = -3*p, t*r = -3*p - 2*r + 35. Suppose -4*z - 5*l = 21, z + 4*l = -0*l - 19. Put 0, p, z in ascending order.
0, z, p
Suppose -m = f + 3*f - 12, -2*m = 4*f - 16. Let h be (1/f)/(1/2). Let x(o) = o**2 - 9*o + 11. Let k be x(8). Sort h, k, 2 in decreasing order.
k, 2, h
Let o be (-1 + 6)*(-4)/(-5). Suppose 0 = 9*j + 4*j + 52. Put j, o, 0 in descending order.
o, 0, j
Suppose 0 = -4*u - 1 - 3. Let d be 0/3 - (3 + u). Put 3, -0.2, d in descending order.
3, -0.2, d
Let u = 0.06 - -0.31. Let g = u + 0.03. Let j = -1.1 - -1. Put j, g, -1 in ascending order.
-1, j, g
Let p be 0/((-2)/(-3 + 1)). Put 2/5, 1/5, 5, p in decreasing order.
5, 2/5, 1/5, p
Let q be 1/((-9)/(-6))*9. Let p(x) = x - q*x + 4*x. Let y be p(4). Put 5, y, -1 in descending order.
5, -1, y
Let x(d) = -13*d + 10*d + 4 + d. Let f be x(3). Let t be 86/18 + 2/9. Sort 0, t, f.
f, 0, t
Let w(x) = -x**3 - 7*x**2 - 2*x - 8. Let l be w(-7). Suppose v + 0 = -l. Put v, 1, 3 in ascending order.
v, 1, 3
Let r = 1 + 3. Let z = 19 - 20. Let s = z - 4. Put r, 0, s in decreasing order.
r, 0, s
Let m = 3/9392 - 361835/760752. Let o = m - 2/81. Sort 0, 0.1, o.
o, 0, 0.1
Let b(f) = f + 1. Let d be b(5). Let t(m) be the second derivative of m**5/20 - m**4/2 + m**2/2 - 3*m. Let j be t(d). Put -3, j, 0 in decreasing order.
j, 0, -3
Let d be 2 - (-12)/18*(-33)/10. Sort -2/3, 0.12, d, 2/3.
-2/3, d, 0.12, 2/3
Suppose 0 = -2*i + 11*i + 36. Suppose 5*f - 9 = 4*h, -6 = 3*h - 3. Sort -5, f, i in decreasing order.
f, i, -5
Let o = 24 - 27. Put -4/3, 5, o in ascending order.
o, -4/3, 5
Let v = 0.244 - 49.844. Let d = 