. Put 0, v, n in increasing order.
v, 0, n
Let n(d) = -d + 5. Let f be n(4). Suppose -3*i + 29 = 5*u, -3*i = -u - 3 - 2. Put i, -4, f in decreasing order.
i, f, -4
Suppose 0 = -2*l - 1 - 3. Let o = -7 - -6. Sort 5, l, o in ascending order.
l, o, 5
Let l(z) = -z**2 - 13*z - 26. Let i be l(-10). Let w be ((-1)/(-2))/(2/4). Put 0, i, w in descending order.
i, w, 0
Suppose 4*b = -r + 2*r - 25, -5*r - 4*b = -5. Suppose -3*h - 5*a = -32, -r*h + 0*a - 4*a = -49. Let k be 2/(-3) + (-3)/h. Put 3, k, 0 in decreasing order.
3, 0, k
Let f = 1 - 4. Suppose 3*l = -1 - 2. Sort f, 2, l in decreasing order.
2, l, f
Suppose -9 - 11 = -4*w. Sort -1, -3, w in decreasing order.
w, -1, -3
Suppose -3*n = n + 2*v - 12, 8 = 5*n - v. Suppose n*w + 642 = -w. Let r = w + 2780/13. Sort r, -2/9, 0.5 in ascending order.
-2/9, r, 0.5
Let n = 1 + -1.5. Let s be 2/((-22)/4*2). Suppose -5*y + o = 30, 3*y - 2*o = 3 - 28. Sort y, n, s.
y, n, s
Let b be (-3)/42*-4 + (-9)/7. Sort b, -3, -1.2, -2/17 in increasing order.
-3, -1.2, b, -2/17
Suppose 38 - 14 = -4*x. Put -2, x, 2 in ascending order.
x, -2, 2
Let q = -2 + 0. Let b be (12 + q)/(2/(-41)). Let w = b - -1847/9. Put 0.4, 0.5, w in ascending order.
w, 0.4, 0.5
Let x = -3 + 1. Suppose 34 = -4*w + 14. Sort -3, w, x in decreasing order.
x, -3, w
Let h = -37 + 36.9. Let r = 0.1 - 3.1. Sort r, -0.2, h in descending order.
h, -0.2, r
Suppose 0 = -3*s + 6, -5*s = -2*p + 6 - 14. Let x(w) = w**2 + 5*w + 2. Let g be x(-3). Let j = -4.98 - 0.02. Put j, g, p in decreasing order.
p, g, j
Suppose 3*y - 2*y = -4. Put 3, 4, y, -3 in descending order.
4, 3, -3, y
Let x(b) = b**3 - 5*b**2 - 7*b - 8. Let w be x(6). Let v be (-2)/(1*8/(-36)). Let h = w + v. Sort -1, h, 5 in descending order.
5, -1, h
Let j(a) = a**3 + 2*a**2 - 2*a + 4. Let b be j(-3). Let q be ((b + -2)/1)/1. Suppose -2*k + 8 = 5*l, 0*k - 4 = 3*l - k. Sort 1, q, l in descending order.
1, l, q
Let z(x) = x**2 + 13*x + 21. Let u be z(-11). Put 2, -12, u in increasing order.
-12, u, 2
Suppose 7*v - 2*v + 15 = 0. Let o = 26 - 31. Sort o, v, 4 in ascending order.
o, v, 4
Let r = -5 - -8. Suppose -2*m - 4*j = -4*m, r*m + 30 = -4*j. Let w be -1 - (-1 - m - 1). Sort w, -3, -4 in increasing order.
w, -4, -3
Let k(o) = -3*o - 4. Let s(d) = -4*d - 5. Let x(u) = -5*k(u) + 4*s(u). Let q be x(-5). Let a = -7 - -2. Sort a, q, -3/5.
a, -3/5, q
Let l = -21 + 16. Let d be (-1 - -2) + 15/(-6). Sort l, 4/7, d in decreasing order.
4/7, d, l
Suppose -5*h + 4*p = 3*p - 8, -4*p + 14 = 3*h. Put -2, 4, -4, h in decreasing order.
4, h, -2, -4
Let k = 38223/263 + -1/789. Let h = k - 147. Sort -2/9, h, 2 in increasing order.
h, -2/9, 2
Let y = 0.3 - 0.1. Let a = y + 0.8. Let l = 0.05 - 0.15. Sort l, -2/17, a in ascending order.
-2/17, l, a
Suppose 2*h = 1 - 3. Sort 4, h, 2 in decreasing order.
4, 2, h
Suppose 3*r + r = -h - 2, 12 = 4*h - 4*r. Suppose 0 = -3*v - 5*b + 5, 3*v + 2*b = -2*v - 17. Sort v, h, 4.
v, h, 4
Suppose -c = 5*z - 2*c + 27, 2*z + 2 = -4*c. Sort 1, -2, z.
z, -2, 1
Let c = 12 + -10. Let y be -6 + c*2/2. Sort 1, y, -1.
y, -1, 1
Let v = -0.4 - -0.3. Let m = -264 + 263. Sort v, -1/5, m in decreasing order.
v, -1/5, m
Let q = 0.05 - 1.05. Let o = q - -1.3. Let i = 0 + -0.2. Sort 0, i, o in ascending order.
i, 0, o
Let t = -14 + 15. Put -1, t, -3 in ascending order.
-3, -1, t
Let y be ((-4)/27)/(12/18). Sort 3, y, -0.5 in decreasing order.
3, y, -0.5
Let a(i) = -i**3 + i - 1. Let u be a(1). Suppose -3*y + 12 = 5*b - 9, 0 = 2*b + 2*y - 6. Suppose 0 = -b*l + 10*l + 8. Sort u, l, 2 in ascending order.
l, u, 2
Let t = -9 - -12. Put -16, t, 5 in ascending order.
-16, t, 5
Let k = -13 - -79/6. Let c = 588/5 - 117. Sort -2, k, c in descending order.
c, k, -2
Suppose -5*g + 0*g - 3*a + 30 = 0, 3*a = 3*g + 6. Let p(u) = -u**2 + 10*u - 11. Let t be p(8). Put 4, g, t in increasing order.
g, 4, t
Let l = -0.3 + 0.5. Let o = 0.06 - 5.06. Let p = -8 - o. Sort 0.4, l, p in ascending order.
p, l, 0.4
Suppose s - 20 = p + 4*p, -3*s = -3*p. Put 1/4, 1/5, 1, p in descending order.
1, 1/4, 1/5, p
Let g = 0 + 1. Let m = 5 - g. Let a = 14 - 12. Sort m, 0.1, a in increasing order.
0.1, a, m
Let w(q) = -q + 1. Let l be w(5). Put 8, l, 3 in ascending order.
l, 3, 8
Let q = 173 - 145. Put 4, 3, 1, q in increasing order.
1, 3, 4, q
Let u be (1/2)/((-1)/12). Sort u, -2, 0 in ascending order.
u, -2, 0
Let y = -4 - -6. Suppose -t = -y*t + 5. Put t, 0, 1 in descending order.
t, 1, 0
Suppose 9 = -d - 2*d. Let f(y) = -y**3 + 6*y**2 - 2*y - 3. Let z be f(3). Suppose -3*s - 1 = -2*s + 2*w, -2*s + 4*w = z. Sort s, 2, d in ascending order.
s, d, 2
Let n be (-4)/(-10)*5/2. Put 2, -5, -2, n in increasing order.
-5, -2, n, 2
Suppose 4*s = 4*w + 92, 2*w - 3*s + 73 - 22 = 0. Let n = w - -16. Put n, -4, -5 in ascending order.
-5, -4, n
Let z = 7.6 - 1.1. Let a = -7 + z. Put -0.3, 3, a in increasing order.
a, -0.3, 3
Suppose 0 = -5*s + 3*n + 20, -s = -n + 1 - 5. Sort -0.2, 6, s in decreasing order.
6, s, -0.2
Let n = -6 + 5. Suppose -l - 25 = -6*l. Suppose 3*v + 3*y + 11 + 10 = 0, -26 = 4*v + 3*y. Sort n, v, l in decreasing order.
l, n, v
Let o(u) = 2*u**2 + 7*u - 1. Let v(l) = -2*l + 5. Let k be v(4). Let f be o(k). Sort 7, f, 3.
f, 3, 7
Let o = 44 - 43.5. Put 0.4, o, 1/3 in increasing order.
1/3, 0.4, o
Let o be (-9)/8 + 2/16. Sort 5, o, 4 in descending order.
5, 4, o
Let g = -5.8 - 0.2. Put 1, g, 0.3 in increasing order.
g, 0.3, 1
Suppose 5*l + 3*c - 13 = 20, -9 = -2*l + 3*c. Let n be 9/5 + l/30. Put n, 1, 3 in decreasing order.
3, n, 1
Suppose 0 = -2*n + 6*n. Let s = 2 - 6. Sort -3, s, n in increasing order.
s, -3, n
Let k = 3 + 12. Suppose 0*q - 3*f = -5*q + 17, 4*f = -q - k. Suppose 0 = -3*h + 5 + 7, 18 = 5*p + 2*h. Put -1, p, q in decreasing order.
p, q, -1
Let q(k) = -3*k + 33. Let r be q(12). Sort 3, 1, 2, r.
r, 1, 2, 3
Let o = -171 + 1199/7. Let q = -75 + 72. Put q, -2/7, o in increasing order.
q, -2/7, o
Let h = -28 - -32. Let d(n) = -n + 1. Let o be d(-4). Sort h, -4, o in descending order.
o, h, -4
Let b(q) = q. Let g be b(-2). Let d be -5 + 0 + 0 - g. Sort d, 0.5, 1 in decreasing order.
1, 0.5, d
Let m = 948/11 + -86. Let i = m - -12/55. Let g = 0.06 + -2.06. Sort i, 1, g.
g, i, 1
Let z = 43 - 40. Sort z, -1, 4, -3.
-3, -1, z, 4
Let f = 58 - 63. Sort 0.1, f, -1/2.
f, -1/2, 0.1
Let r = -16 + 13. Sort 4, r, 17 in ascending order.
r, 4, 17
Let z = -5.5 - -5. Sort -0.3, z, -0.4, -4 in decreasing order.
-0.3, -0.4, z, -4
Let g be (-4)/(-2)*(-1)/2. Let t(d) = -d**3 - 5*d**2 + 7*d + 1. Let z be t(-6). Sort g, z, 0 in decreasing order.
0, g, z
Let a(b) = -2*b**2 - 20*b - 1. Let s be a(-10). Sort 5, s, 0 in increasing order.
s, 0, 5
Let o = -10 + 8. Let f = o + 2. Sort 2, -2, f in decreasing order.
2, f, -2
Let j(y) be the second derivative of y**4/12 + 4*y**3/3 + 7*y**2/2 - 5*y. Let n be j(-6). Put n, -4, -2 in decreasing order.
-2, -4, n
Let s = 1.17 + -0.17. Sort 0.1, 2/5, s in decreasing order.
s, 2/5, 0.1
Let l = 3 + -8. Sort l, -2, 1.
l, -2, 1
Let z = -0.6 - -0.3. Let o = -0.2 - z. Let g = -17.5 - -17. Sort g, o, -1 in decreasing order.
o, g, -1
Let p = -17 - -16. Let x be (0 - 0) + 6/9. Sort p, x, 0.4 in decreasing order.
x, 0.4, p
Let g = 253/1785 + -1/119. Sort 3, g, 5/3 in increasing order.
g, 5/3, 3
Let k(f) = -f**3 - 3*f**2 + 2*f + 3. Let h be k(-3). Sort -7, h, 1 in ascending order.
-7, h, 1
Let c = 0.53 + -0.23. Sort -2, c, -0.01 in decreasing order.
c, -0.01, -2
Let x(l) = -l**2 + l + 6. Let o be x(3). Sort o, 3, 4 in descending order.
4, 3, o
Suppose -2 = -i + 1. Suppose -4*p = 4*x - 20, -4*p + i*x - 8 = -0*p. Sort -1, -6, p.
-6, -1, p
Let d = -13.5 + 8.5. Sort d, 3, -6 in descending order.
3, d, -6
Suppose -5*d - 4*v = -47, 3*d + 2*v - 16 = 11. Let w = d - 5. Sort -1, -4, w.
-4, -1, w
Let a = 4 - -1. Suppose 0 = -r + a - 0. Let x be (-1)/r*4*5. Put 3, x, -3 in descending order.
3, -3, x
Let x be ((-1)/(-7))/((-6)/7)*-10. Put x, -1, -4/3, 0 in descending order.
x, 0, -1, -4/3
Let b = 4 + -3.1. Let j = 3.1 + b. Put j, -0.2, 0 in decreasing order.
j, 0, -0.2
Let m be 4/(-3 - -7)*2. Let i(w) = 2*w - 1. Let f be i(3). Sort 4, m, f.
m, 4, f
Let m be 8/2*(-30)/8. Let u = m + 46/3. Sort 1, 0.3, u.
0.3, u, 1
Let f = -22 + 10. Let i = -9 - f. Put i, -1, -3 in decreasing order.
i, -1, -3
Let u = 679/6 - 113. Sort u, 1, -1/3 