 Put o, -1, -5 in decreasing order.
o, -1, -5
Let y = 0.01 + 6.99. Let k = y + -4. Suppose 0 = -2*p - p - 12. Sort 0, k, p in descending order.
k, 0, p
Let s(w) = 3*w - 32. Let b be s(9). Put -1, 0, 5, b in increasing order.
b, -1, 0, 5
Let n = -5.6 - -5. Let z = n - 3.3. Let f = z + 4. Sort 4, -2, f.
-2, f, 4
Let r = 3.34 + -0.34. Let a = -3 + 3. Put -0.2, a, r in increasing order.
-0.2, a, r
Let f = -172 + 514/3. Let u = 0.02 - -3.98. Put -1/9, f, u in descending order.
u, -1/9, f
Suppose 2*p + 11 - 7 = 0. Put 2/11, -0.3, p in descending order.
2/11, -0.3, p
Let k = 49 - 52. Sort 0, k, -2 in increasing order.
k, -2, 0
Let q = 25 + -21. Sort q, -5, 2 in increasing order.
-5, 2, q
Suppose -3*o + 4*f + 4 = 0, o - 41 = -o - 5*f. Suppose -o - 7 = -3*h. Sort h, -4, 2 in decreasing order.
h, 2, -4
Let n(q) = q**3 - 7*q**2 + 3*q + 17. Let f be n(6). Sort f, 20, -5 in decreasing order.
20, f, -5
Let r = 134 - 157. Sort 0, r, -2, -1.
r, -2, -1, 0
Let z(d) be the first derivative of d**4/4 + d**3 - 5*d**2/2 - 5*d + 3. Let x be z(-4). Put -3, x, 0 in descending order.
0, x, -3
Suppose 5*s - 66 = 3*w, 3*s = 5*w - 2*w + 36. Suppose n - c + 0 = 5, -3*c - s = -n. Let x = 19/2 - 11. Put 0.1, n, x in ascending order.
x, n, 0.1
Suppose 4*r - 28 + 4 = 0. Suppose 2*s + s + 14 = -2*v, 0 = 4*v - 5*s + r. Let n = v - -1. Put n, -5, 3 in ascending order.
-5, n, 3
Suppose 10 + 10 = 5*z. Suppose 2*n = 2*d - 4, 0*d - 4*d - n = -18. Suppose -y - 4 = 2*o - 3*o, d*y + 2*o = -4. Sort -5, y, z in increasing order.
-5, y, z
Let q = 3.04 - 3. Let h = 3.96 + q. Put h, 1, 4/3 in decreasing order.
h, 4/3, 1
Let d(w) be the second derivative of -w**5/120 + 2*w**3/3 - 2*w. Let h(k) be the second derivative of d(k). Let i be h(1). Sort i, -0.4, 5 in ascending order.
i, -0.4, 5
Let b = -8 - -11. Let j be (b/2)/((-18)/(-24)). Sort j, -5, -1.
-5, -1, j
Let v = 9 + -13. Let t = 0 - -3. Suppose -14 = 5*k - 4*q, 0 = t*k - 4*q + 5 + 5. Sort -0.4, k, v in ascending order.
v, k, -0.4
Suppose -22 = -2*k - 4*x, -5*x = 4*k - k - 29. Let o(j) = -j**3 - j**2 + 6. Let u be o(0). Suppose u*v = v. Sort k, v, -1.
-1, v, k
Let h = -0.27 + 0.18. Let a = -1.09 - h. Let t be ((-6)/(-8) - 1)*-3. Sort t, a, -3 in descending order.
t, a, -3
Suppose -c = -3*t - 34, 6 = -t - 2*c + 4. Let r = 6 + t. Let g = -110 - -113. Sort r, -3, g in descending order.
g, -3, r
Let w = -0.23 + -4.77. Sort 1, -3, w in increasing order.
w, -3, 1
Let x = 92 + -95. Put -5, -4, x, -3/2 in increasing order.
-5, -4, x, -3/2
Let o(p) = -p**2 - 7*p - 5. Let h be o(-5). Suppose 26 = 5*w - x, -h*w + 3*x + 19 = -9. Let u be (w/2 + 0)*-2. Sort u, 1, -3 in descending order.
1, -3, u
Suppose b - 11 = -8. Put -5, -10, 5, b in decreasing order.
5, b, -5, -10
Let b be 1 + 1 - (3 + -1). Sort -3, 2, b in decreasing order.
2, b, -3
Let v = 49.3 + -49. Put v, -5, 2/11, 1 in ascending order.
-5, 2/11, v, 1
Let y be (2 - 1) + 0 + -1. Let l = -3 + 5. Suppose -3*i + 8*i = 3*x + 14, l*i + 5*x - 18 = 0. Put i, y, 1 in ascending order.
y, 1, i
Let g = 6 + -1. Suppose 4*y + 11 = -g. Let c = 1/14 - -3/7. Sort c, 1/4, y.
y, 1/4, c
Let i = 1.7 + -1.15. Let r = -0.05 + i. Sort r, -1, -2/7 in ascending order.
-1, -2/7, r
Let c = -8 - -8. Let x be (1 - 0 - 2) + -2. Let o(k) = -k**2 - 4*k - 1. Let y be o(x). Sort -5, y, c.
-5, c, y
Suppose 5*q - 3*j - 7 = 0, j = -2*q + 6*q - 7. Let u(a) = a. Let c be u(-2). Let n be 3/c*(-2)/(-3). Put q, n, 1 in decreasing order.
q, 1, n
Let q be (-1)/(-3*(122/(-30) + 4)). Suppose -4 = -4*a - 0. Sort a, q, -2 in ascending order.
q, -2, a
Let q = -103.6 + 104. Put q, 4, 0 in ascending order.
0, q, 4
Let v = -25 + 23. Suppose z = -2*z - 9. Sort 5, v, z in descending order.
5, v, z
Let r = -5 - -3. Let f = -11 - -5. Let b = -1 - f. Put r, -2/5, b in descending order.
b, -2/5, r
Let a = 98 + -107. Sort -1/4, a, -0.4 in ascending order.
a, -0.4, -1/4
Let g(v) = v - 11. Let t be g(9). Let m be 0 + -4 + t/(-2). Put 2, m, -2 in descending order.
2, -2, m
Let b = -19 + 21.03. Let p = b + -0.03. Suppose -2*j = 4*j. Sort -3, p, j.
-3, j, p
Let m = -43.7 - -44. Put 1/6, m, -3, -6/11 in descending order.
m, 1/6, -6/11, -3
Let r be (3/11)/(6/(-4)). Let l(g) = g**3 - g. Let s be l(0). Sort s, r, 4.
r, s, 4
Let a(m) = -m**3 + 8*m**2 - m + 7. Let g be a(8). Sort 0, 13, g in descending order.
13, 0, g
Suppose -2*s = -6*s + 20. Let f = -29 - -47. Suppose -s*o + 18 = 2*g - 0*o, o + f = 5*g. Sort g, 0, -4 in ascending order.
-4, 0, g
Let t = 10 - 15. Let y = -3 + 5. Let o = 3 + y. Put t, o, -1 in ascending order.
t, -1, o
Let z = 13 - 7. Let r = 1.2 + 6.8. Let c = r - z. Sort 5, 0.2, c.
0.2, c, 5
Let f = 0.1 - 0.6. Let d = -1/10 - -4/15. Sort f, 2, d in ascending order.
f, d, 2
Let n = 46.3 + -49. Let f = n - -3. Sort f, -2, 2 in decreasing order.
2, f, -2
Let n(d) = d**2 - d + 1. Let l(k) = 5*k**2 - 7*k. Let u(h) = -l(h) + 4*n(h). Let y be u(4). Suppose x + 3*x = y. Put -2, 3, x in descending order.
3, x, -2
Suppose 0 = 3*i + i. Suppose 5 = -v + 3. Let l be (1/3)/((-1)/(-6)). Put l, i, v in decreasing order.
l, i, v
Let y = 3/188 - -361/940. Let z = -12 + 7. Sort 1, z, y.
z, y, 1
Let z(o) = o**2 + 4*o + 3. Let y be z(-4). Let w be (-1 + y)*(-1 - 0). Suppose 5*j + 21 = 4*q, 0*j - 4*j - 5*q - 25 = 0. Sort w, j, -3 in decreasing order.
w, -3, j
Let l(y) = y**3 - 4*y**2 + y + 3. Let r be (8 + -9)*(-4 + 1). Let m be l(r). Sort -5, m, 5.
-5, m, 5
Let v = -6.9 - -10. Let k = v - 4. Let b = k + 5.9. Put 2, -2/3, b in descending order.
b, 2, -2/3
Let u = 109 - 106. Put u, -2/5, -6/23 in descending order.
u, -6/23, -2/5
Suppose 0 = -f - 1, -2*r + 0*f + 5*f + 1 = 0. Put -2/3, -4, r in ascending order.
-4, r, -2/3
Let k = 3 + -2.5. Let g = -1.6 - -0.2. Let w = g - -1.2. Put -0.4, w, k in descending order.
k, w, -0.4
Let u = -5 - -2. Let t = 2 + -4.2. Let f = 1.8 + t. Sort u, f, -0.5.
u, -0.5, f
Suppose 0*k + 2*k = 4*p + 26, -p + 4 = 3*k. Suppose 5*r - 55 = -0*r. Sort r, -3, k in ascending order.
-3, k, r
Suppose 2*n - 12 = 5*p, -p - p + n - 4 = 0. Sort p, 4, 0.
p, 0, 4
Suppose 0 = -5*h - 16 - 4. Suppose 2*p + 5*a + 5 = 0, p - 4*p - 2*a = -9. Put 2, p, h in increasing order.
h, 2, p
Let d = -107/6 - -18. Let b = 354 + -357. Put b, d, 5 in decreasing order.
5, d, b
Let w = -0.83 + -3.17. Put w, 3, 0.07 in descending order.
3, 0.07, w
Let b be 4 + (-196)/105 - (2 + 0). Sort b, -0.3, 2, 3 in decreasing order.
3, 2, b, -0.3
Let l = -9 + 5. Let i = l + 3.8. Sort 0.1, 0, i in increasing order.
i, 0, 0.1
Let f be 16/(-6)*(-3)/2. Suppose 2*j = 0, -6 - 4 = -5*b + 2*j. Suppose -b*v + f*d = v + 24, -4*d + 20 = -2*v. Sort 3, v, 2.
v, 2, 3
Let x = -4 - -2. Put -1/2, x, 2 in increasing order.
x, -1/2, 2
Let l(a) = -5*a**2 + a - 1. Let i be l(1). Let m = -6 - -7. Put i, 2, m in descending order.
2, m, i
Let c(f) be the third derivative of 1/6*f**3 + 0*f + 5/24*f**4 - 2*f**2 - 1/60*f**5 + 0. Let b be c(4). Sort b, 1/3, 3/5.
1/3, 3/5, b
Let b(s) = -s + 1. Let j be b(-2). Let q(d) = -d**3 + 13*d**2 + 2*d - 26. Let k be q(13). Sort -4, j, k.
-4, k, j
Suppose 5*o - 4*i - 14 = 0, -5*i = -2*o - 5 - 3. Let h(w) = -w**3 + 6*w**2 + 2*w - 8. Let t be h(o). Let u = -15 - -11. Sort u, t, -3/4 in decreasing order.
t, -3/4, u
Let z = 0.117 + 0.883. Put 4, 5, z, 0.6 in increasing order.
0.6, z, 4, 5
Suppose -5*k = -2*k - 12. Put 2, k, -3 in ascending order.
-3, 2, k
Let y = 69 - 68. Sort 1/4, 10, y in increasing order.
1/4, y, 10
Let y = -482 + 13012/27. Put y, 0.5, 2/5 in increasing order.
y, 2/5, 0.5
Suppose 3*b - 1 = 4*u, -5*u - 5*b - 36 = 9. Let n be (-3)/(-5) - 3/5. Suppose -3*q + 2*q = 2*r - 5, r = -4*q + 13. Sort n, u, r in descending order.
r, n, u
Let u = 7 - 8.1. Let b = 1 + u. Let w = -28.9 + 29. Sort b, 1/7, w in decreasing order.
1/7, w, b
Let g = -0.36 + 0.36. Sort -0.01, -1/6, g, 3/4.
-1/6, -0.01, g, 3/4
Suppose -5*j = 38 - 13. Let t = 131 + -133. Sort j, t, 2.
j, t, 2
Let z be 4/(2 - 32/18). Sort z, 5, 3/7 in decreasing order.
z, 5, 3/7
Let k(l) = -l**2 + 10*l - 17. Let v be k(7). Put -5, v, -3 in increasing order.
-5, -3, v
Let i = 0.9 - 0.85. Put -4, i, 4 in decreasing order.
4, i, -4
Let u be (-9)/(-15)*(-10)/16. Let y be (-6)/15*(-430)/(-8). Let p = -22 - y. Put u, p, -3 in descending order.
u, p, -3
Let j(h) = h + 17. Let a be j(-21). Sort -2, a, 4 in descending o