+ k - 4, -2*k = 0. Suppose -7*y - 10 = -2*y. Put -5, q, y in ascending order.
-5, q, y
Let q = -28 + 141/5. Let c = 6 - 1. Put q, c, 2 in ascending order.
q, 2, c
Suppose -2*x = -5*n + 75, 0*x = -2*n + 5*x + 51. Put n, -3, 4 in ascending order.
-3, 4, n
Let k = -0.25 - -0.05. Put 0.03, k, 4 in ascending order.
k, 0.03, 4
Let w be (-2)/6 + 4/8. Put 0.06, -1/6, w in decreasing order.
w, 0.06, -1/6
Let x be 0*(-3 + 1)/4. Suppose -3*z - 4*h = -25, 14 = -2*z + 5*h - x. Suppose w + 0 = c + 3, z*c + 13 = w. Sort -2, -1, c in descending order.
-1, -2, c
Let y = 44 - 265/6. Let b(g) = g**2 + 13*g + 12. Let a be b(-12). Put a, y, 1/2 in increasing order.
y, a, 1/2
Let a = -2.7 + 3. Let o = 0.4 - a. Put -1/4, o, 2/5 in descending order.
2/5, o, -1/4
Let t be -4 + (-1 - (0 + -1)). Let m(h) = -h**3 + 7*h**2 + 31*h - 11. Let b be m(10). Put b, t, 6 in decreasing order.
6, b, t
Let z(h) = 3*h + 1. Let t be z(1). Suppose 2*f + 28 = -t*q, -q + 15 = -6*f + f. Put 1, 4, f in descending order.
4, 1, f
Let z = 18.6 - 17.9. Sort z, -2/5, -4.
-4, -2/5, z
Suppose 8*f - 3 = 11*f. Sort 3, 13, f in increasing order.
f, 3, 13
Let b(g) = g**2 - g - 5. Suppose -2*y + 6*y = 0. Let u be b(y). Let s = -1 - -6. Put u, s, 3 in ascending order.
u, 3, s
Let c(m) = m**2 - 9*m + 3. Let f be c(9). Sort -3, f, -2 in decreasing order.
f, -2, -3
Suppose -5*c - d = -19, -4*d = 3*c - 4 - 4. Sort c, 2, -1 in decreasing order.
c, 2, -1
Let p(x) = -x**2 + 7*x + 1. Let r be p(7). Sort r, -3/5, -0.8 in decreasing order.
r, -3/5, -0.8
Suppose 4*k = s - 3*s - 12, 0 = -s + 3*k + 19. Let d = s + 0. Suppose f + 18 = d*z, 4*z = -f - 3*f + 28. Sort 3, 5, f in ascending order.
f, 3, 5
Let t = 98 + -85. Let c = -0.1 - -0.1. Put c, -6/7, t in descending order.
t, c, -6/7
Let n(f) = -f**2 - 7*f + 15. Let b be n(-9). Put b, -5, -4 in descending order.
b, -4, -5
Suppose -19 = -5*o - 3*l, o + 1 = 6*o - 3*l. Sort o, -2, -4 in increasing order.
-4, -2, o
Let b(h) = 2*h - 3. Let n be b(3). Suppose 8*i - n*i - 20 = 0. Suppose i*z + 34 = 4*w + 2, -z = w. Put -5, 1, w in decreasing order.
w, 1, -5
Suppose -t = 2*o + 4*t - 1, -3*t = -4*o - 11. Let h = 34 - 23. Suppose -5*j + 31 - h = 0. Put j, 2, o in increasing order.
o, 2, j
Suppose -4*r + 2*w = 3*w - 24, 4 = w. Suppose -a + r - 2 = 0. Let l be 4/(-18) + (-47)/(-9). Sort -5, a, l in descending order.
l, a, -5
Let i(g) = -3*g - 11. Let r be i(-9). Let z = -16 + r. Sort -5, z, 1 in ascending order.
-5, z, 1
Suppose -5*j - 10 = 10. Suppose 4*m - 5*z + 10 = 3*m, -3*m - 2*z - 13 = 0. Suppose -2*x = -7*x - 3*w + 10, -5*w - 6 = -3*x. Sort x, j, m in decreasing order.
x, j, m
Let k(w) = -w**3 + 3*w**2 + 5*w - 2. Let c be -1*-4*(-1)/(-1). Let f be k(c). Sort 4, 1/2, f in descending order.
4, f, 1/2
Let x(z) = z**3 + 5*z**2 - 5*z + 7. Let s be x(-6). Sort s, 6, -2, 2 in increasing order.
-2, s, 2, 6
Let i = -0.1 - 0.1. Let s = -19 + 18.6. Let k = -2/29 + -13/232. Put i, s, k in descending order.
k, i, s
Let h = 0.18 - 0.08. Let q be -1*6*(-3)/(-30). Sort 2/7, h, q.
q, h, 2/7
Suppose -4*k = -0*k. Suppose k = -m + c - 1 - 0, -3*c + 35 = 5*m. Sort 1, m, 2 in increasing order.
1, 2, m
Let s(i) be the third derivative of -i**5/60 - i**4/24 + i**3/6 + 2*i**2. Let t be s(-3). Suppose r = -2 - 2. Put 0.4, t, r in descending order.
0.4, r, t
Suppose -3*k + 1 = -4*k, -2*o + 5*k + 5 = 0. Sort 1/7, o, -1, -14.
-14, -1, o, 1/7
Let g = -8 - -8.6. Let p = 5.4 + -10.4. Sort p, g, 5 in descending order.
5, g, p
Suppose 4*w + 4*g - 24 = 0, -2*w + 5*g = -3*w + 18. Suppose -q = w + 2. Sort -2, q, 1 in decreasing order.
1, -2, q
Let y be ((-1)/4)/(1/(-4)). Let f be 4 - 4/(y - -3). Put 5, -5, f in descending order.
5, f, -5
Let y = 8 + -9. Let z = 5 + -13. Sort -0.4, y, z in descending order.
-0.4, y, z
Let u(c) = 4*c**3 + 1. Let o be u(-1). Suppose 3*r - 1 + 5 = l, l - 5*r - 10 = 0. Sort -4, l, o in descending order.
o, -4, l
Let g = -4.163 - -0.163. Let m be -1 + (-3)/5 + 1. Let a = -1 - -1.1. Sort a, g, m in increasing order.
g, m, a
Let c(o) = -o - 5. Let l be c(-7). Suppose -l*p + 20 = -7*p. Put 0, 1, p in decreasing order.
1, 0, p
Let z = -4 + 11. Suppose z = 4*n - 5. Let h be 2/8*4/(-10). Sort 0, h, n in descending order.
n, 0, h
Let v = -5 + 7. Let u be (-28)/10 + v/(-10). Let m be ((-2)/(6/3))/u. Sort m, -1/7, 2 in decreasing order.
2, m, -1/7
Let b = 3 - 0. Let r = -36 + 76. Let x = r + -77/2. Put b, -3, x in decreasing order.
b, x, -3
Let s = 27.9 + -28. Let l = 0.01 + 3.99. Sort l, s, 0.5.
s, 0.5, l
Let v be (-5561704)/126 - 4/(-14). Let o = 44084 + v. Let k = o - -56. Put 0, -0.4, k in increasing order.
-0.4, k, 0
Let n(d) = d + 9. Let a be n(-4). Suppose -w = -3*c + 4*w + 26, 4*w = -5*c - 6. Sort -4, c, a.
-4, c, a
Let p = -1 - 2. Let o(m) = -m**3 - 6*m**2 + 4. Let j be o(-6). Sort p, 5, j in descending order.
5, j, p
Let o = 0.23 + -1.23. Sort o, 0.2, -0.1, -0.2 in decreasing order.
0.2, -0.1, -0.2, o
Suppose 39 + 49 = 8*o. Sort 4, -3, o.
-3, 4, o
Let r = -16 - -27. Suppose 3*h + r = -1. Put 0, h, -1 in decreasing order.
0, -1, h
Let a be 2/4 - (-22)/(-28). Let g = -5.9 - 1.1. Let t = 3 + g. Sort -5, t, a in descending order.
a, t, -5
Suppose -2*n + 4*r - 2 = 4, n = 3*r - 6. Suppose -25 = 5*u, 0 = -g + 5*u - 0*u + 27. Sort n, -5, g in decreasing order.
n, g, -5
Let d = -32 + 36. Sort -0.3, d, 2.
-0.3, 2, d
Let o = 0.13 + 0.07. Let u = -31 + 33. Put u, 5/4, o in descending order.
u, 5/4, o
Let w(d) = d**3 - 9*d**2 + 7*d + 5. Let i be w(8). Sort -1, -24, i in descending order.
-1, i, -24
Let n = -20 + 20. Sort 3, n, 2, -4 in descending order.
3, 2, n, -4
Suppose 0 = 2*j - 3*u - 16, 0 = -2*j + 6*j + 3*u + 4. Let v = 25/56 + -1/56. Suppose 0 = 2*s - 3*s + 4. Sort j, v, s.
v, j, s
Let n = 5 + -6. Let s = 5 + n. Put s, -5, 1 in ascending order.
-5, 1, s
Let u = -2 + 7. Let m = 16 - 17. Put m, u, -1/2 in descending order.
u, -1/2, m
Let g(k) be the second derivative of k**4/12 + 3*k**3/2 - 3*k**2 - 6*k. Let m be g(-10). Put -11, 5, m in descending order.
5, m, -11
Suppose b = -0*b. Suppose 0 = 7*s - 5*s + 6. Suppose 5*l = -1 + 16. Put b, l, s in descending order.
l, b, s
Let q(w) = -w**3 - 9*w**2 + 10*w + 5. Let r be q(-10). Suppose 4*i + 4*t - 12 = 0, -5*t - 23 = -r*i - 2*t. Put -5, 3, i in ascending order.
-5, 3, i
Suppose -3*a = 8 - 2. Sort 1, 5, a in ascending order.
a, 1, 5
Suppose -4*k + 34 = -6. Suppose 6*p = k + 2. Let v = 1 + 0. Sort -5, v, p in descending order.
p, v, -5
Suppose 0 = 3*q + 5 - 20. Sort q, 27, -5.
-5, q, 27
Let y = -0.3 - -0.4. Put 1, y, -2/7 in descending order.
1, y, -2/7
Suppose 8*o = 3*o + 15. Put 0.7, -0.1, o in descending order.
o, 0.7, -0.1
Suppose 2*w - 36 = -4*w. Sort 5, w, -1.
-1, 5, w
Let i = -4 - -9. Suppose i*d + 5 = -20. Put 5, d, 3 in increasing order.
d, 3, 5
Let h(p) = -p**3 - 5*p**2 + 6*p + 3. Let t = -12 - -18. Let j be t*(1 + -1*2). Let o be h(j). Sort 5, 1, o in descending order.
5, o, 1
Let u = -0.2 - -0.4. Let q = 1116/7 - 159. Sort u, -5, q.
-5, u, q
Suppose -2*p + 14 = -0*l - 4*l, 4 = -4*l. Suppose -s + 2*x - 14 = -3*s, 3 = p*s - 3*x. Sort 2, s, 0.1.
0.1, 2, s
Let n = -94 + 92. Put -3, n, 0 in decreasing order.
0, n, -3
Let t be 2/5 + (-9)/60. Let n = -3.933 + -0.067. Put 5, n, t in decreasing order.
5, t, n
Let g(h) = -h + 5. Suppose -o = -n - 4, 0 = -0*o - 4*o - 2*n + 40. Let z be g(o). Sort 1, z, -2.
z, -2, 1
Let l = 6 + -6. Suppose f + l*f - 18 = 5*v, 0 = -3*f - 4*v - 22. Suppose u + 4*b = -13, u + 3*b + 0*b = -10. Sort f, u, 1 in increasing order.
f, u, 1
Let d be ((-4)/(-2))/(4/(-6)). Suppose -f + 8 = -0*f. Suppose b - f = -3*b. Sort b, 3, d in increasing order.
d, b, 3
Let t be 3/(-15) - (-2)/110. Put 5, t, -2 in increasing order.
-2, t, 5
Let s = 10 - 10. Suppose -12 = 4*v - s. Sort v, 5, 2.
v, 2, 5
Suppose 49 = -f + 47. Put f, -1, 3 in descending order.
3, -1, f
Let l be 1/(-4) + 102/24. Sort 2, -5, l in ascending order.
-5, 2, l
Let p = -5 + 8. Put p, 0, -1, 5 in ascending order.
-1, 0, p, 5
Let r = -0.57 - -0.47. Sort r, -0.5, 0, -5 in increasing order.
-5, -0.5, r, 0
Let a = 2.2 - 2.8. Put a, 0.5, 1, 0 in descending order.
1, 0.5, 0, a
Let k be ((-4)/(-6))/((-3)/18*2). Put 3, 3/2, k, -2/7 in descending order.
3, 3/2, -2/7, k
Let c(k) = k**2 + 6*k - 4. Suppose 0 = -4*a - 12 - 12. Let o be c(a). Suppose 6 = -s - 2*p, -3*