+ 13. Let s = q - 0. Put 3, s, z in decreasing order.
s, 3, z
Suppose 0 = -22*b + 36*b - 28. Suppose -x = 2*u + 11, 4*u - 3*x + 2*x = -19. Sort b, u, 0 in increasing order.
u, 0, b
Let d be (-8)/3*(-1 + 20/8). Put 3, d, -5, -2 in descending order.
3, -2, d, -5
Let h = 9 + -23. Put h, 0, 4 in decreasing order.
4, 0, h
Let j(n) = n**2 + 4*n - 2. Let k be j(-4). Put k, 1, -3 in increasing order.
-3, k, 1
Let v = 13 - 17. Put v, 0, 2 in descending order.
2, 0, v
Let o = -6.94 - 0.06. Let s = o - -5. Let v = -3.01 + 0.01. Sort s, v, -0.2.
v, s, -0.2
Let o(l) = l**2 - 5*l - 16. Let w be o(7). Sort w, 5, 2 in ascending order.
w, 2, 5
Let q = -6 + 5.64. Let b = -0.04 + q. Put -0.5, 2/3, b in increasing order.
-0.5, b, 2/3
Let k be 9/21 + 16/28. Put 0, k, 4/9 in decreasing order.
k, 4/9, 0
Let i be ((-5)/(-1))/(3 - 4). Let d(g) = -g - 4. Let n be d(i). Let y be 2/n - (1 - 2). Put 5, y, 2 in decreasing order.
5, y, 2
Suppose 0 = 5*r - j + 4*j + 51, 5*j - 17 = 3*r. Let p be (-1 + -13)/(-1*1). Let g = p + r. Put g, 0, 4 in ascending order.
0, 4, g
Let v be (-1)/(1/(-2)) + -1. Suppose 5*l = -5*n + 15, 0 = -n - 4*l + 3. Suppose -3*z + n*i = -12, 3*z - 14 = -z + 3*i. Put 0, v, z in decreasing order.
z, v, 0
Let x = 129 + -113.8. Let h = 15 - x. Sort 2, -2/9, h.
-2/9, h, 2
Let r be ((-2)/((-8)/6))/(-2). Sort -0.5, -2/9, r in descending order.
-2/9, -0.5, r
Let f(n) = -n + 14. Let m be f(9). Suppose -4*g - 4*x = 4, 0*g + 4*x = 2*g + 8. Sort m, g, 0 in decreasing order.
m, 0, g
Let w = 9.3 + -9.5. Sort w, 0, 9/5, 0.4 in decreasing order.
9/5, 0.4, 0, w
Let l(z) be the third derivative of 1/15*z**5 + 0 + 2*z**2 + 1/120*z**6 + 0*z - 1/24*z**4 - 2/3*z**3. Let o be l(-4). Sort o, 4, 5 in increasing order.
o, 4, 5
Let t be ((-2)/7)/((-1)/(-1)). Let r be ((-1)/(1/42))/(-2). Let s = r - 22. Put -2, s, t in increasing order.
-2, s, t
Let p = 42 + -39. Let v(s) = -s**2 + 6*s - 6. Let t be v(5). Put 1, t, p in descending order.
p, 1, t
Let z(h) be the second derivative of -h**4/12 + h**3/3 - h**2 + 2*h. Suppose 2*a + 2 = 6. Let f be z(a). Put f, -0.5, 5/4 in increasing order.
f, -0.5, 5/4
Suppose -2*k + 3*l = -7*k - 24, -4*k - 9 = -l. Sort k, 5, 2 in increasing order.
k, 2, 5
Suppose -38 = 5*n + 2. Put n, 3, 0 in increasing order.
n, 0, 3
Suppose 0 = 2*a - 6, 3*i - 3*a + 14 = -1. Sort 0, i, -17, 3 in increasing order.
-17, i, 0, 3
Let v = 0.3 - -2.7. Let f be 0 + -1 - 1*-1. Let d = 115.4 + -119.4. Put f, d, v in descending order.
v, f, d
Let z = 0.03 - -0.12. Let w = z + 0.25. Sort w, 1/3, -2/9 in descending order.
w, 1/3, -2/9
Let o be 2*((-1)/2 + 1). Suppose 0*p = 6*p. Put p, 2, o in ascending order.
p, o, 2
Suppose 25*v = -14 - 11. Sort 6, -2, v in descending order.
6, v, -2
Let q be (-3)/(9/(-6)) - 2. Let i = 0 - q. Sort -4, i, 2.
-4, i, 2
Let r be ((-6)/(-210))/(2 + -1). Let l = r - 3/7. Sort -0.6, l, -0.2.
-0.6, l, -0.2
Let i(w) = w - 5. Let m be i(8). Suppose m*p - 66 = -3*c, 2*c - 17 - 28 = -p. Suppose -c = -5*r + u - 6, -10 = 5*u. Put r, 5, -2 in descending order.
5, r, -2
Suppose 0 = -2*w + 3*w - 5. Suppose 2*v - 42 = w*b, 5*b + 4*v = -v - 70. Let y be ((-2)/3)/(b/15). Sort 2, y, 4 in ascending order.
y, 2, 4
Let n = -6 - -2. Let v = 3 - 4. Let t = 0.5 + v. Sort 5/4, t, n in increasing order.
n, t, 5/4
Let b = 9 + -7. Let g be 0 - 0 - 1*-2. Suppose -g*w + 0*w = -b. Put -4, 5, w in decreasing order.
5, w, -4
Let u = 7 - 11. Let m = -11 + 14. Sort m, u, -5.
-5, u, m
Let w(f) = 4*f**3 + 2*f**2 - 2*f + 1. Let d be w(1). Suppose 5*i = -2*x - 2, -4*x + d*x - 2 = -i. Let n be 1/2*(-2 - -6). Put n, i, -5 in increasing order.
-5, i, n
Let s be (-9)/3*(-4)/(-6). Let v be 10/2 - (-2 - -4). Sort v, 0, s in descending order.
v, 0, s
Let g = 15 - 21. Let k be ((-2)/(-4))/(3/g). Let n = 3 + 2. Put k, -4, n in decreasing order.
n, k, -4
Suppose -t + 3*t = 3*r + 9, 5*r + 28 = -t. Sort -1, -13, t in increasing order.
-13, t, -1
Let w be 6/(-8)*(-2)/6. Let p = -0.7 - -0.64. Let b = p + -0.04. Sort 0, w, b in descending order.
w, 0, b
Let w = 0.8 + 3.2. Let a = w - 2. Let v = 3 - a. Sort -4, v, 4 in ascending order.
-4, v, 4
Let o = 21 + -25. Sort 1, o, 9.
o, 1, 9
Let h = -13 - -13.2. Suppose 0*v - v - 5*k = 27, -5*v + 10 = -4*k. Sort h, v, -1/9 in ascending order.
v, -1/9, h
Let j = -17 + 28. Sort j, 4, 3 in increasing order.
3, 4, j
Suppose 6*i = 4*i + 4. Let s(f) = 2*f**2 + 3*f + 1. Let o(n) = n**3 - 5*n**2 - n + 3. Let t be o(5). Let u be s(t). Put i, u, 0 in ascending order.
0, i, u
Let y = 0.3 - 4.3. Sort 2/7, 2/3, 1/3, y in descending order.
2/3, 1/3, 2/7, y
Let r(c) = -c**2 + 8*c + 14. Let w be r(10). Let b be -4 - w - (-2 + 9). Sort 4, 0, b in increasing order.
b, 0, 4
Suppose -1 = -3*s + 5. Let c be s/((-3)/((-18)/4)). Sort -4, 5, c in descending order.
5, c, -4
Let y be -3 + -2 + (3 - 4). Put 4, -5, y in ascending order.
y, -5, 4
Suppose 0*v - 5*v = 15, 4*v + 57 = 5*u. Let c = u + -5. Let f = c - 5. Put -2/9, f, -0.3 in ascending order.
f, -0.3, -2/9
Suppose 0 = -3*v + v. Let q = 7 - 11. Let x be q/(2/(1 + 1)). Put x, v, -2 in decreasing order.
v, -2, x
Let a be (-8)/(-22)*(-1)/(-2). Put 3, -3, a in decreasing order.
3, a, -3
Let k = -2.5 - -3. Suppose 4*i + 5*h + 6 = 0, h = -2*i + 2*h + 4. Let z be -3 - (i + 1*-2). Sort k, 0, z in increasing order.
z, 0, k
Suppose 1 = x - 3. Let k be (-2)/x - (-7)/(-2). Let b(p) = -p**3 - 7*p**2 - 5*p + 7. Let l be b(-6). Sort l, k, -2 in decreasing order.
l, -2, k
Suppose 4 = -4*y + 32. Suppose 0 = 4*s - 13 - y. Sort -3, s, 1.
-3, 1, s
Let v = -2 - -4. Suppose -6*r + 4 = -4*r. Suppose -2*j - r = -3*p - 0*j, 0 = p + 5*j + 22. Sort -1, v, p in decreasing order.
v, -1, p
Let t = -16 + 16. Let x be 3/6*(t - -3). Sort -5, -2/7, x.
-5, -2/7, x
Let d(p) = p. Let c(h) = h**3 - 9*h**2. Let t be c(9). Let o be d(t). Put o, 4, -2 in ascending order.
-2, o, 4
Let i(l) = l**2 - 6*l - 2. Let s be i(7). Suppose s*z = 2*o + 20, -8 = 4*z - 24. Suppose 0 = 5*t - 2*t + 12. Sort 5, t, o in decreasing order.
5, o, t
Let c = 0.69 - 5.69. Put 5, -0.5, c in ascending order.
c, -0.5, 5
Let v(b) = 4*b**2 - b**3 + 8*b + b - 2*b - 5. Let u be v(5). Suppose 4*p - 4*y + 32 = 0, -2*p - u*y + 5 = -0*p. Sort 2, -0.1, p in decreasing order.
2, -0.1, p
Let m(p) = p**2 + 11*p + 13. Let b be m(-10). Suppose u = -0*u + b. Suppose 9 = -4*v + 1. Put v, u, -3 in ascending order.
-3, v, u
Let p be (0 - 1)*(-115)/(-209). Let y = -7/19 - p. Let n = 3 - 5. Sort 2/13, n, y.
n, 2/13, y
Suppose -3*r + 3*p = 36, 3*r + 4*p = 2*r - 2. Sort -3, r, -4 in decreasing order.
-3, -4, r
Let m be 7/(-3) - 2/(-6). Let f(k) = k**3 + 10*k**2 + k + 6. Let n be (-5)/((-15)/(-24)) - 2. Let o be f(n). Sort m, 2, o in descending order.
2, m, o
Let l be (4/2)/((-1)/1). Let b be l/(-8) + (-46)/(-8). Let x(o) = o**3 - 6*o**2 - 5. Let f be x(b). Sort 1, -1/4, f.
f, -1/4, 1
Suppose -3*h - h = -20. Let u = h - 0. Let t be 1/1 - (-27)/9. Put u, t, 1 in decreasing order.
u, t, 1
Let c = 102/5 + -20. Let f be (-412)/(-336) + (-2)/6. Let b = 3/4 - f. Put b, 1, c in descending order.
1, c, b
Let l(n) = -n**3 + 27*n**2 - 25*n - 21. Let g be l(26). Sort g, -4, 12, -3 in descending order.
12, g, -3, -4
Let h = -42 + 40. Sort -0.2, h, -0.03, -1.
h, -1, -0.2, -0.03
Suppose -3*a + 32 = 17. Put a, -1, 1 in decreasing order.
a, 1, -1
Let c(i) = -i**2 - 10*i - 20. Let w be c(-8). Let o = 2 + -1. Sort w, -2, o in ascending order.
w, -2, o
Let v = -5 + 5. Let f = -0.5 + v. Sort -5, -1, f in descending order.
f, -1, -5
Let w be (9/((-243)/(-90)))/((-4)/(-6)). Let t = 0.3 + -0.2. Let i = t + 0.3. Sort 1/5, w, i.
1/5, i, w
Let a(g) = -g - 13. Let k be a(-4). Sort k, -3, -2 in ascending order.
k, -3, -2
Suppose 5*y - 16 = y. Sort y, -4, 0, 2 in descending order.
y, 2, 0, -4
Suppose 6*v = 5*v + 2. Suppose 3*c + 4 = -v. Let o be c/(1 + 1) + -1. Sort o, 2/11, 5 in decreasing order.
5, 2/11, o
Suppose -10*m + 14*m = 16. Sort -15, 0, 3, m in decreasing order.
m, 3, 0, -15
Let x = -5.4 - -5. Let g = 2 + -10. Let t = g + 7.7. Put t, x, 4 in decreasing order.
4, t, x
Let t = 2.951 + -0.051. Let d = t - 0.9. Let b = -0.09 + -4.91. Put -4, b, d in decreasing order.
d, -4, b
Let x = 20 - 16. Let s be 165/35 - x/(-14). Sort 0.5, -1, s in decreasing order.
s, 0.5, -1
Let t = -0.37 + 0.17. Let k be (-22)/(-5) + 4/(-10). Sort k, t, 0.5