ose 2*v = -5*i + 11, -7 = -v + y*v - i. Put v, 1, 0 in ascending order.
v, 0, 1
Let v = -0.54 + 0.84. Put 0.2, 0.5, 2/7, v in decreasing order.
0.5, v, 2/7, 0.2
Let n = 0.1 + -0.5. Let s = -6 - -4. Let q = s - -1.9. Put -0.5, n, q in descending order.
q, n, -0.5
Let y(m) = m - 11. Let u be y(10). Put 0, 4, u in increasing order.
u, 0, 4
Let s = 132 - 135. Let h be ((-4)/6)/(2/6). Sort -4, h, s.
-4, s, h
Let s be (-5)/(-2) - (-6)/12. Suppose 4*n = -3*t - 8, -2*n - 2*t = -s*t + 14. Sort -2, -1, n in decreasing order.
-1, -2, n
Let t = -9 + 16. Let y = -6.5 + t. Sort y, -0.3, -4 in increasing order.
-4, -0.3, y
Suppose -5 = 3*c + 4*x, -4*c = -4*x + 3*x - 6. Suppose c + 11 = a. Suppose 5*m = a + 13. Sort m, -2, -4 in ascending order.
-4, -2, m
Let g(s) = 6*s - 167. Let i be g(28). Suppose -26 = -4*j - j + v, j = -5*v. Sort -4, j, i in increasing order.
-4, i, j
Let p = -1 + -5. Let t = -3 - p. Sort 2/9, -2, t in descending order.
t, 2/9, -2
Let r = 431/4 - 108. Sort 4, -5, -1, r in increasing order.
-5, -1, r, 4
Let j(w) = -w**2 + 8*w + 12. Let l be j(9). Let x(k) = -k**3 + 3*k**2 + 2*k + 3. Let o be x(4). Put o, 1, l in decreasing order.
l, 1, o
Let i(u) = -2*u + 11. Let m be i(6). Sort -2, -5, m.
-5, -2, m
Let j be 3 - (2 + (-45)/(-39)). Sort 0.2, -0.3, 3, j in ascending order.
-0.3, j, 0.2, 3
Let m = -0.13 + -1.87. Let z(x) = x**2 - 4*x - 1. Let g be z(5). Sort m, g, -5/2 in increasing order.
-5/2, m, g
Let s be 24/(-10) - (0 + -2). Let z = -87.6 + 63. Let x = z - -25. Sort x, 0.3, s.
s, 0.3, x
Let f = -68.2 + 59. Let y = f - -1.2. Let v = -7.7 - y. Sort 1/4, 2/9, v in decreasing order.
v, 1/4, 2/9
Suppose 1 = 2*g - 9, -2*j - 22 = -4*g. Let s(d) = -5*d**2 - d + 1. Let x be s(1). Put x, j, 0 in descending order.
0, j, x
Let z = -56 + 57. Put -16, z, -2 in decreasing order.
z, -2, -16
Let i be (4/3)/((-1)/(-3)). Sort i, 3, -2 in descending order.
i, 3, -2
Let u = 160 + -161. Put -2, u, 3 in decreasing order.
3, u, -2
Let o = 44/3 - 14. Let x = -2/109 + 232/763. Let c = 1.8 - 1.7. Put x, o, c in decreasing order.
o, x, c
Suppose 2 = -i + 4. Put 3, -4, i in ascending order.
-4, i, 3
Let d(r) = r**3 + 2*r**2 + 1. Let t be d(-2). Let a(k) = k**3 + k**2 - 3. Let h be a(0). Let l be 1/(h/(-6)) + -4. Sort l, -1, t in ascending order.
l, -1, t
Let n = -6 - -11. Let k = n + -4. Sort -1, 3, k.
-1, k, 3
Let h = 8 + -5. Let n = 0.1 + 0. Let m = 0.3 - n. Sort -5/2, h, m in decreasing order.
h, m, -5/2
Let z = 2 - 1.7. Sort 2/15, z, 6.
2/15, z, 6
Suppose 3*j - 3*q = 0, 0*q - 3*q = 5*j - 32. Sort j, 3, -1 in increasing order.
-1, 3, j
Let n = -0.3 + -0.2. Let x = 138 - 137.5. Put x, n, 2 in increasing order.
n, x, 2
Suppose w - 3*w + 4 = 0. Suppose 2*p - w = -8. Put p, 2, -1 in descending order.
2, -1, p
Suppose -4*t + 17 = 5*r - 8, -3*r + 15 = 4*t. Suppose -y = -0*y - 3*q + 6, t = 3*y + q - 12. Sort y, -5, -2/3 in descending order.
y, -2/3, -5
Suppose -4*t + 4*s - 64 = -0*s, 33 = -3*t - 2*s. Let z = -15 - t. Sort z, 5, 2.
z, 2, 5
Suppose 0 = -g - o - 0 + 1, 0 = -4*g - o + 13. Let a be (-72)/56 - g/(-14). Put a, 5, 3 in ascending order.
a, 3, 5
Let m(z) be the second derivative of z**3/3 + z**2/2 - 5*z. Let p be m(2). Let q be 4 + (-1*2)/2. Put q, -1, p in descending order.
p, q, -1
Let v = 41 - 40. Sort -2, 4, 3, v in descending order.
4, 3, v, -2
Let a = 0.025 - -0.375. Put -3, -5, a, 2/15 in descending order.
a, 2/15, -3, -5
Let q = -43 - -173/4. Let v = -5 + 9. Suppose 9 = v*x - w, 0*w - 5*w = 5*x - 30. Sort x, -5, q.
-5, q, x
Suppose 3*r + 12 = 0, g - r = -0*r + 5. Put -5/2, -4/3, g in decreasing order.
g, -4/3, -5/2
Suppose -h + 9 = -4*h. Let m = 34/5 - 63/10. Sort h, m, -4.
-4, h, m
Let q = -16 + 10. Let b = -1 - q. Let w be 42/(-8) + 5/20. Put b, w, 3 in descending order.
b, 3, w
Let r be 9 + 3/(-3) - 0. Let a be 6/(-20)*r/(-6). Sort -4, 0.1, a.
-4, 0.1, a
Let r(n) = -n**3 + 5*n**2 - 2*n + 6. Let j be r(5). Suppose -h - 6*o = -o + 29, 0 = 2*o + 8. Let k = j - h. Put k, 3, -2 in descending order.
k, 3, -2
Suppose 2*w + w = 12. Suppose -w*t = -t + 9. Let a be (-5)/6 + 5/(-30). Put a, t, 1 in increasing order.
t, a, 1
Let o be -1 + 1 + 2 + -2. Suppose o = b - 2*d - 10 + 1, -6 = b + 3*d. Suppose 5*i - r + 9 = 24, -8 = 3*i - 4*r. Put i, b, 5 in increasing order.
b, i, 5
Let v = -1 - -4. Let r = v + -1. Suppose w - 1 + r = z, -2*w + 7 = z. Put 2, -3, z in decreasing order.
z, 2, -3
Suppose 4*f + 27 = -5*g, -2*g + 6 = f + 15. Sort -5, -0.1, f.
-5, f, -0.1
Suppose -36*r - 9 = -39*r. Put r, 0, -5, 17 in increasing order.
-5, 0, r, 17
Let j(s) = s**2 - 7*s + 1. Let o be j(6). Suppose -2*t = -7*t + 20. Suppose 5*r + 16 = -t*w - 16, r - 2 = 2*w. Put -1, w, o in descending order.
-1, w, o
Let w = 3/70 + -19/35. Let c = 4.4 + -4. Sort -1/5, w, c in ascending order.
w, -1/5, c
Let k = -4.78 - 0.22. Put k, -1, -1/8 in descending order.
-1/8, -1, k
Let p be 8/(-6) - (-4)/(-6). Suppose -5*j = -5*a + 20, -a + 0*j = 2*j + 8. Let g(q) = q**2 + 5*q + 1. Let o be g(-3). Put a, o, p in decreasing order.
a, p, o
Suppose -5*i - 2*p - 2*p = -9, -i = 2*p - 3. Suppose 4*k + i = 3*k. Let z = -5 - k. Put -3, z, 2 in ascending order.
z, -3, 2
Let g = -280/3 + 94. Let j = -2/11 - -36/77. Sort j, -3, g in increasing order.
-3, j, g
Let m = -5 - -13. Sort 5, m, 4 in descending order.
m, 5, 4
Let v(u) = -u - 8. Let w be v(-7). Let j be 0/(-4) + w*1. Suppose -o - 4 = -0. Put j, 0, o in descending order.
0, j, o
Let m(b) be the second derivative of -b**3 - b**2 - 9*b. Let t be m(-1). Sort -5, 2, t in decreasing order.
t, 2, -5
Let x = 1.55 - 1.05. Let k = -0.5 + -0.6. Let d = k + 6.1. Sort x, d, -1/5 in ascending order.
-1/5, x, d
Suppose -3*f + 11 = -a, 3*a - 2*f + 1 = -4. Sort -4, -2, a.
-4, -2, a
Let l = -39 + 43. Put 0.01, l, 0, 3 in ascending order.
0, 0.01, 3, l
Let p be (-4)/(-3)*3 + -2. Suppose p*d + 3*o + 19 = -3*d, 3*o = 4*d - 1. Let c be (44/(-6))/2 + 4/6. Put d, c, -1 in ascending order.
c, d, -1
Let k = -7.6 + 0.6. Let g = k - -6.94. Let l = -0.34 + g. Sort l, -1, -0.3 in descending order.
-0.3, l, -1
Let z be -3 + 3 - 2/(-2). Let t = z + 0. Let x be -2 + (2 - 4 - -4). Put t, x, -3 in decreasing order.
t, x, -3
Suppose w = -1 - 4. Sort w, -2, 1 in descending order.
1, -2, w
Let l(o) = 3*o - o**2 + 6*o**2 + 2 + o**3 - 2*o**2. Let b(k) = -k**2 + 2*k - 2. Let j be b(2). Let x be l(j). Sort -3/4, x, 1/2.
-3/4, x, 1/2
Let l = 88 + -83. Put -3, -0.2, l in ascending order.
-3, -0.2, l
Suppose q = -31 + 34. Sort -2, -5, 26, q in ascending order.
-5, -2, q, 26
Let d = 1 - 1. Suppose -2*l - 5*k + 44 = d, 0*k = -3*l - k + 53. Suppose -y = -0*y + a + 6, 4*a = 3*y - l. Put 4, y, 3 in decreasing order.
4, 3, y
Let d = -4 + 3. Let c(b) = -b**2 + 12*b - 13. Let v be c(11). Sort d, v, 0.5 in decreasing order.
0.5, d, v
Let r be (0 - 2) + -1*1. Suppose -3*y + y = 5*d - 110, -3*d + 3*y = -45. Let q be (-6)/9 + d/(-6). Sort q, -2, r in ascending order.
q, r, -2
Let s be (-14)/35 + 3574/15. Let m = 238 - s. Let q = -1/17 + 41/119. Sort q, -0.5, m in ascending order.
-0.5, m, q
Let t = -1289/2165 + -2/433. Sort t, -0.4, -2/11.
t, -0.4, -2/11
Suppose 0 = -3*y + 10 + 2. Put -3, 1/6, -1, y in ascending order.
-3, -1, 1/6, y
Let u(l) = l**3 - 6*l**2 - l + 1. Let h be u(6). Let w(q) = q - 1. Let v be w(3). Sort h, v, -4 in decreasing order.
v, -4, h
Suppose 2*k = -3*w + 3*k + 20, 2*w = -2*k. Sort -0.2, 2/3, w, -1 in descending order.
w, 2/3, -0.2, -1
Let c = -25 + 29. Let i be 2*(0 + 1 + -2). Put i, -4, c in ascending order.
-4, i, c
Let j be 1 + 0 + 5 + -1. Suppose j*z = 3*z. Put -3, z, 3 in ascending order.
-3, z, 3
Let d be 2/14 + (-3)/21. Let y = d + -6. Sort -5, -4, y in descending order.
-4, -5, y
Suppose -2*g + 4 = -q - 4*q, g + 4*q = -11. Sort g, 3, 1.
g, 1, 3
Let t = 0.07 - -0.23. Let p = -2.6 - -3. Let z = -1.6 - p. Sort t, z, 0 in decreasing order.
t, 0, z
Let k = 130 - 123. Put -2, 3, k, -4 in descending order.
k, 3, -2, -4
Let c = -1.3 - 0.1. Let o = c - -1. Let w = 2 - 3. Put w, 2, o in increasing order.
w, o, 2
Let f = 0 + -2. Let j be f + -2 + 3 + 2. Let x be j*(-2 - -1) - 3. Put x, 0, 2 in increasing order.
x, 0, 2
Let o = -5 + 0. Suppose 0 = -4*f + 2 - 6. Sort 1, o, f in decreasing order.
1, f, o
Let c(g) be the third derivative of g**6/120 + 13*g**5/60 - g**4/24 - 17*g**3/6 + g**2