n descending order.
u, -4/7, l
Suppose 0 = 2*h - 12 - 8. Suppose -7*v = -h*v. Put 3, -5, v in descending order.
3, v, -5
Let w(u) = 3*u**2. Let d be w(-1). Suppose d*o + 5 - 3 = -4*f, 4*o - f = -9. Let v be o/2 - (-2)/(-2). Sort 2, v, -5 in decreasing order.
2, v, -5
Let r = -9 - -9. Let n be (6/2)/((-3)/2). Let j be n/(-5) - 14/(-15). Sort r, 4, j in ascending order.
r, j, 4
Let c = -747/7 + 107. Let d = -0.4 - -0.41. Sort c, -4, d.
-4, d, c
Suppose 5*r + 14 = -3*g, r - 2*g = 3*g + 14. Sort 3, r, 5.
r, 3, 5
Let c(k) = k**2 + 1. Let p be c(0). Let h = -4 + p. Suppose 0 = 3*o + 4*m + 11, 5*o - 5*m = o - 25. Sort 5, o, h.
o, h, 5
Let d = 0.3 + 0.2. Let x be 9 - 4/(-6)*-3. Suppose -3*m - 3*k = -12, 0 = 3*m - 3*k + x - 1. Sort m, d, 0.
0, d, m
Suppose s + 3*s = f - 1, 5*s + f = 1. Let l be 15/(-6)*(s - -2). Let c(z) = z - 2. Let o be c(2). Put o, l, 3 in decreasing order.
3, o, l
Suppose -5*b - 3*p - 4 = 0, 5*b = 7*p - 2*p - 20. Put 14, b, 1 in descending order.
14, 1, b
Let g = -0.6 + 4.6. Let l = 32 - 34. Put l, g, 0.5 in descending order.
g, 0.5, l
Let v(s) = s**3 - 5*s**2 + s - 2. Let h be v(5). Let y be ((-2)/(-7) - (5 - 2)) + 3. Sort -0.5, h, y in ascending order.
-0.5, y, h
Suppose -69 = -2*b + 5*b. Let z = b - -16. Let a be (1 + -1)*z/14. Sort 5, 2, a.
a, 2, 5
Let q = 8 + -6. Suppose -q*c = -5*c - 12. Suppose -2*p - 3*f = -11, -3*p = -f - f + 16. Put c, 4, p in ascending order.
c, p, 4
Suppose -d = -2*d. Sort 1, -3, d in ascending order.
-3, d, 1
Let w be (-9)/(-2)*(-12)/(-18). Sort w, 5, -1 in decreasing order.
5, w, -1
Let p be (-2 + -2*1)/(2 + 0). Sort 3, 5, p.
p, 3, 5
Let t = 16 - 20. Sort 4, -2, t in decreasing order.
4, -2, t
Let m(a) = a - 7. Let z be m(4). Let y(s) be the second derivative of -s**3/3 - s**2 + 4*s. Let w be y(z). Put 2, -3, w in decreasing order.
w, 2, -3
Let c be (4/(-8) - 2/4)*-5. Let i(v) = v + 6. Let d be i(-5). Sort d, 3, c in decreasing order.
c, 3, d
Let u = 12 + -1. Suppose -u - 1 = 4*o. Sort 2, o, 3 in ascending order.
o, 2, 3
Let b(o) = -2*o + 21. Let n be b(8). Put -2, 13, n in descending order.
13, n, -2
Let x = -0.026 + -2.974. Sort x, 2, 0.1 in descending order.
2, 0.1, x
Let u = -0.2 + 0.44. Let f = -4.76 - u. Put -4, 0.4, f in ascending order.
f, -4, 0.4
Let f be 50/(-20)*16/(-10). Let j(w) be the first derivative of -w**4/4 + 5*w**3/3 - 5*w**2/2 + 2*w + 1. Let k be j(3). Sort k, f, -1 in ascending order.
-1, f, k
Let h = 131 - 136. Put h, -6, -3, 2 in descending order.
2, -3, h, -6
Suppose 2*z + 2*c = 14, 4*z - c + 7 = 2*c. Sort z, -8, 5.
-8, z, 5
Let l(r) = -2*r**3 + 7*r**2 + 6*r - 4. Let q be l(4). Sort q, -6, 1 in increasing order.
-6, 1, q
Let n = 0 - -2. Sort 1, 5, n in decreasing order.
5, n, 1
Let m = 82/6581 - -759565/2948288. Let c = m - -1/64. Put c, -5, 0.2 in ascending order.
-5, 0.2, c
Let a be -2 - ((-60)/27 + 0). Put -4/5, a, 1 in increasing order.
-4/5, a, 1
Suppose -2*c = -4*c + 4. Let w be (6 - 5)*(5/(-2) - -2). Sort -4, w, c in ascending order.
-4, w, c
Let o = 2.6 + 14.4. Let c = o - 14. Sort 3/5, -2, c in ascending order.
-2, 3/5, c
Let r be (-54)/(-24) - 6/(-8). Let x be 24/14 - 4/(-14). Put -4, r, x in descending order.
r, x, -4
Let a = 0.06 - 3.06. Let s = a + 3.2. Suppose 0 = -3*m + 4*k + 11, -7*k + 3*k + 24 = 4*m. Put -0.3, m, s in increasing order.
-0.3, s, m
Let s be ((-2)/8)/((-12)/(-9138)). Let b = s - -190. Sort b, 0.1, 2/3.
b, 0.1, 2/3
Let n = 116 + -110.7. Let a = n - 5. Sort 5, a, -0.1.
-0.1, a, 5
Let z = -3 + 3. Suppose 4*v + x = 0, -5 - 6 = 3*v - 2*x. Sort v, 3, z in decreasing order.
3, z, v
Suppose -21*p = -26*p. Put p, 5, -3, 3 in increasing order.
-3, p, 3, 5
Suppose -8*v + 3*v = -5. Sort 5, -6, v in ascending order.
-6, v, 5
Let k = -9.5 - -15. Let x = 0.5 - k. Let s = -1 - -0.9. Sort s, x, 1 in increasing order.
x, s, 1
Let q = 3.9 + -0.9. Let v be (-2)/7 + (-1)/7. Sort 2/5, v, q.
v, 2/5, q
Suppose -3*g = -4*q + 17, -6 = 2*q - 5*g - 11. Put -2/5, q, 2/3 in ascending order.
-2/5, 2/3, q
Let r(q) = 2*q + 9. Let v be r(-5). Sort v, 2, -4 in descending order.
2, v, -4
Let o = -2 + 0. Let h = 0 + o. Let g be (-7)/3 + 4/6. Put h, 1, g in decreasing order.
1, g, h
Let i be ((-2)/(-4))/((-18)/(-12)). Let o = 2.5 + -14.5. Let z = o - -7. Put z, -3/5, i in ascending order.
z, -3/5, i
Let o(s) = -s**2 + 6*s - 3. Let z = -9 - -15. Let k be o(z). Let r = 58 + -988/17. Sort k, -0.2, r in descending order.
r, -0.2, k
Let d = 15 - 12. Suppose -2*b = 4*x, -d*b + x = -2 + 9. Put 2, b, -5 in descending order.
2, b, -5
Suppose 64*l + 8 = 65*l. Put -4, l, 2/13 in decreasing order.
l, 2/13, -4
Let s be (-12 + 13)/((-1)/2). Put 2, s, -14 in increasing order.
-14, s, 2
Let p = -11 - -16. Let x(w) = p - 2 - 5*w - w**2 + 2*w. Let q be x(-4). Sort q, 3, -4 in ascending order.
-4, q, 3
Suppose -2 = 6*d + 10. Put d, -3, 11 in increasing order.
-3, d, 11
Suppose -y + 0*y + 8 = 2*p, -4*y = -5*p + 20. Suppose 3*f = -l - 8, -2*f + l - p = 3*l. Put -2, f, -5 in ascending order.
-5, f, -2
Let r = 0.65 + -0.35. Let q = -239/4 - -60. Sort -2, r, q in decreasing order.
r, q, -2
Suppose 2*h = -3*h - p + 24, -3*p = -h + 8. Put h, -2/9, -0.3 in increasing order.
-0.3, -2/9, h
Suppose 0 = -17*m + 18*m - 4. Sort -7, 5, m in ascending order.
-7, m, 5
Suppose 9 = -4*v - 7. Let o be 1*3*(-2 - -1). Let s(r) = -2*r - 7. Let j be s(-5). Sort v, j, o.
v, o, j
Let s = 1084 + -1088.91. Let k = 0.09 - s. Let o = -67/20 - -13/5. Sort k, 0.3, o in decreasing order.
k, 0.3, o
Suppose 3*i = p - 0*p - 9, -4*p = i - 10. Sort p, -2, 2.
-2, 2, p
Let z = -5 - -5. Let h be -3 - (-19)/6 - z. Let n be (3 + -1 + -1)*0. Put h, n, -0.3 in decreasing order.
h, n, -0.3
Suppose -2*o + 8 = -5*p - 0*o, p - 4*o = -16. Suppose -21 + 6 = -5*u. Put -3, u, p in descending order.
u, p, -3
Let n = 0.06 - -0.05. Let m = n - 0.15. Sort -2, -3, m in descending order.
m, -2, -3
Suppose 0 = -2*r + 9 + 21. Suppose m - 11 - 1 = 3*w, 0 = 3*w - 2*m + r. Sort w, -2, -4 in descending order.
-2, w, -4
Suppose 5*j + 5 = -5*x, -5*x - 4*j + 1 - 4 = 0. Put -2, 3, x in decreasing order.
3, x, -2
Let f = 0.11 + -3.11. Sort 0.05, 1/4, f in decreasing order.
1/4, 0.05, f
Suppose 2*l + 0 - 6 = 0. Suppose -5*s - 15 = 0, -l*w + 4*s + 10 = -11. Put 0, 5, w in ascending order.
0, w, 5
Let f(s) = s**2 - 4*s - 7. Let t be (-3)/(28/(-8) - -3). Let b be f(t). Sort b, 4, -6.
-6, 4, b
Suppose 0 = -3*t - 3*l, -t - 12 = 2*l + 3*l. Sort 2, t, -4 in decreasing order.
t, 2, -4
Let s(q) be the third derivative of -q**4/12 - q**3/6 + 2*q**2. Let f be s(1). Suppose 2*g - 3*g = -5. Sort -2, f, g in increasing order.
f, -2, g
Let c = -6 + 8. Let n = -3 - -4. Let f = 1 - n. Sort f, 3/5, c in decreasing order.
c, 3/5, f
Suppose 11*o - 6*o + 5 = 0. Let i be 1/((-2)/4) + 4. Sort i, o, 0 in increasing order.
o, 0, i
Let r be (1 - 6)*(-4)/10. Let a = -3 + r. Let l = 0.2 + 0. Put a, l, 1 in decreasing order.
1, l, a
Let l(o) = o - 12. Let y be l(6). Let v = 3 + y. Suppose -5*g - 16 = -2*a, 3*g + 22 = -6*a + a. Put g, -5, v in increasing order.
-5, g, v
Suppose -5*j - 2 = -6*j. Suppose 0 = 2*q - 1 - 7. Suppose 2*h - 2*z = -q, z - 14 = h + 3*h. Sort -5, j, h in decreasing order.
j, h, -5
Suppose 3*u = -2*x + 12, -3*u = 2*u + 4*x - 20. Let s = 0.1 - 2.1. Let z = 2.1 + s. Sort u, z, 2 in decreasing order.
u, 2, z
Let c = 2 + 0. Let b = -2 - c. Suppose 0*k + 3*k - 3 = 0. Sort 2, k, b in ascending order.
b, k, 2
Let f = 14 - 11. Sort -7, f, -2 in ascending order.
-7, -2, f
Let m = 10/899 - 6784/124961. Let y = m - -416/3197. Let s be ((-2)/(-3))/(14/6). Sort 0.5, s, y in decreasing order.
0.5, s, y
Let t be 135/(-6) - (-4)/(-8). Let h = t - -252/11. Put h, 0.1, -3 in decreasing order.
0.1, h, -3
Suppose 0 = -2*m + 6 + 2. Let u(p) = -p**3 - 15*p**2 - 14*p + 3. Let x be u(-14). Suppose -x*w + y + 5 = -14, -m*w - 3*y = -8. Sort -4, w, 3.
-4, 3, w
Let o be (-72)/(-20) + 0 + 2/5. Let k = -0.3 + -0.2. Sort -5, k, o in descending order.
o, k, -5
Let a = -25 - -23. Put 2, a, -5 in increasing order.
-5, a, 2
Let g = -4 - -24. Suppose -6*h + h - g = 0. Sort h, 3, -2 in ascending order.
h, -2, 3
Suppose 0*f - 5*f = -z - 26, 3*z - 2*f + 26 = 0. Sort -5, 5, z in descending order.
5, -5, z
Let b = 1.6 - 1.86. Let c = -0.14 + b. Sort c, -2, -1 in increasing order.
-2, -1, c
Let z(o) = -o**2 - 2*o - 