n descending order.
4, 0, -1, z
Let r(n) = n**3 - n**2. Let v be r(2). Suppose -t = -3*t + v. Suppose -x - 4*x + d + 4 = 0, 0 = -3*x + 4*d + 16. Put -2, x, t in increasing order.
-2, x, t
Let x = 0 + -1. Let o be x*(-2)/9*3. Let k be 3 + 2/7 - 3. Sort o, k, 3 in descending order.
3, o, k
Let x be ((-8)/(-3))/(9/(54/4)). Suppose -2 = 4*r - 10. Sort -3, x, r in ascending order.
-3, r, x
Let x = -2 + 7. Suppose -4*v = -5*v - 2. Sort v, 3, x.
v, 3, x
Let i = -5 + 1. Let p = -16 - i. Let l = p - -7. Put -2, l, 2 in descending order.
2, -2, l
Let z = 0.054 - -0.246. Sort z, -2/15, -5, -2/3.
-5, -2/3, -2/15, z
Let t = -11 + 8. Let v be (-4)/(-8)*(-8)/(-2). Suppose 8 = 4*g - 8. Sort v, t, g in ascending order.
t, v, g
Suppose 5 = p + 3. Let h = 6 - 8. Let g be (-3)/6*10 - h. Sort g, p, 1.
g, 1, p
Let i = -1/21 + -2/7. Sort i, 1/5, -1/6 in increasing order.
i, -1/6, 1/5
Let h(l) = -l + 10. Let y be h(14). Sort 12, 3, y in decreasing order.
12, 3, y
Let a = 50 + -49.8. Sort a, 2, 6 in ascending order.
a, 2, 6
Let c be -1 - (4 + -4 - -4). Put 4, 8, c in decreasing order.
8, 4, c
Let i = -7 + 11. Let s = -108.7 + 109. Put i, s, -0.5 in descending order.
i, s, -0.5
Let o = -14 + 9. Let n = 1.6 - 8.6. Let y = 3 + n. Sort o, -1, y in ascending order.
o, y, -1
Let v be (-22)/10 + (-2)/(-1). Sort -2, -0.3, v.
-2, -0.3, v
Let s = -2 - -8.9. Let a = s - 7. Put -3/2, a, 0 in increasing order.
-3/2, a, 0
Suppose b + 0*b = 3, 0 = -2*a - 3*b + 13. Sort -1, 1, a in decreasing order.
a, 1, -1
Let k = -27 + 29. Put k, -5, -6 in decreasing order.
k, -5, -6
Let i(w) = 21 + 7*w - 6*w + w. Let n be i(-9). Sort n, -2, 1 in increasing order.
-2, 1, n
Let f = 2 - 1.72. Let k = -0.02 - f. Sort 2, k, 3 in decreasing order.
3, 2, k
Let y = -16 - -16. Suppose 5*o + y*g + 4*g = 26, 5*g = -4*o + 19. Sort -4, 1, o.
-4, 1, o
Let q = 72 - 67. Let h = -107/66 + 4/33. Let l = h + 43/26. Sort l, -0.2, q in ascending order.
-0.2, l, q
Let u = 4/46079 - 30780808/414711. Let m = u - -74. Let q = 7 + -7.3. Sort -0.2, m, q.
q, m, -0.2
Let l = 2.02 - 0.02. Put 0.2, l, -0.06, -0.2 in decreasing order.
l, 0.2, -0.06, -0.2
Let q be (2/(0 - 2))/(-1). Let d = 2 + q. Let a = -1.3 - -0.3. Sort 1/9, d, a in decreasing order.
d, 1/9, a
Let y = -34.4 - -41. Let x = -1.6 + y. Sort x, -3, -2 in decreasing order.
x, -2, -3
Let g be (2/15)/(42/(-70)). Let w = 2 + -1.9. Let x = -0.1 - w. Sort x, g, 5.
g, x, 5
Let q = 12 - 4. Suppose -3*d + q = -d. Suppose -h = -2*h + 1. Sort 3, h, d.
h, 3, d
Let h = 15 - 17. Sort h, -1, 5 in decreasing order.
5, -1, h
Let d = 26 + -13. Let b = d - 14. Sort -4, -5, b in descending order.
b, -4, -5
Suppose 12 + 56 = -2*r. Let g = 104/3 + r. Let v = 11 + -11.2. Put g, 0.4, v in decreasing order.
g, 0.4, v
Let n(f) = -5*f**2 + 2*f + 2. Let m be n(-6). Let q be ((-6)/10)/((-4)/m). Let y = -27 - q. Sort 0.3, -0.1, y in ascending order.
-0.1, 0.3, y
Let q(p) = p**3 + p**2 - 2*p + 1. Let l be q(1). Let z = -4 + l. Suppose -5*s + 2*j = 12, -2*j - 5 = 4*s + j. Put z, s, -1 in increasing order.
z, s, -1
Let z(t) = -t**2 + 6*t - 7. Let x be z(5). Put -3, x, -5 in descending order.
x, -3, -5
Let h = -7 + 7.3. Let u = h + -0.2. Let o = -2.1 - -1.6. Sort -3/2, o, u.
-3/2, o, u
Let s(i) = -i + 3. Let v be s(0). Put v, -5, -3 in ascending order.
-5, -3, v
Let h be 3*((-16)/(-6) + -2). Suppose 0 = 2*z - 3*z. Suppose -20 = -5*i, 11 = -3*u - z*i + 2*i. Put 5, u, h in decreasing order.
5, h, u
Let b = -0.19 - -11.19. Let z = 10.9 - b. Put 2/13, -1, z in ascending order.
-1, z, 2/13
Suppose -8 = m - 2*f - 0, 2*f + 12 = -4*m. Sort m, 1, 2 in increasing order.
m, 1, 2
Let v = 15 + -18. Suppose -1 = -3*b - 7. Put 0.2, b, v in decreasing order.
0.2, b, v
Let w be 18/(-14) - 2/(-7). Let o(t) = t**3 + 15*t**2 + 2*t + 26. Let m be o(-15). Sort m, w, 2 in decreasing order.
2, w, m
Let j(t) = t + 3. Let f be j(-4). Put 3, f, -4 in descending order.
3, f, -4
Let c = 2 + -1.5. Let b = -0.36 - -0.16. Put c, b, 0.4 in ascending order.
b, 0.4, c
Suppose 5*k = -0*k - 20. Put 3, 1, k in decreasing order.
3, 1, k
Let p(w) = -w**2 - 2*w + 4. Let f be p(-3). Suppose 3*n = -2 + 11. Sort f, n, 2 in ascending order.
f, 2, n
Let p be 5/(-15) + 5/(-3). Let r = -4 + 3. Put p, r, 5 in decreasing order.
5, r, p
Let v = 16 + -19. Put -4, 3, v in decreasing order.
3, v, -4
Let q = -23 + 25. Sort 3, q, -4.
-4, q, 3
Let j be (1*-1)/((-3)/(-21)). Let i(q) = q**3 + 8*q**2 + 6*q + 1. Let y be i(j). Let t = y + -5. Put -2, t, 2 in descending order.
t, 2, -2
Let u = -2.8 + 0.8. Sort 0.1, -3, -0.07, u in ascending order.
-3, u, -0.07, 0.1
Let w be -25 + 21 + 0 + 6. Let a = 5 - 2. Put w, -3, a in decreasing order.
a, w, -3
Let t be 4/18*188/(-16). Let y = 17/6 + t. Sort y, -2/13, -2/9 in increasing order.
-2/9, -2/13, y
Suppose 1 = -5*k + c + 2, 0 = 4*k - 4*c + 12. Let i(m) = 2*m - 1. Let l be i(-1). Put l, k, 2 in ascending order.
l, k, 2
Let i be (-3 + 1)*(4 - (6 - 4)). Suppose 5 + 20 = -5*a. Let b(y) = -y. Let q be b(a). Put i, q, 2 in decreasing order.
q, 2, i
Let m be 1396/(-160) + 1 + 2. Let a = -28/5 - m. Sort -5, a, 4 in descending order.
4, a, -5
Let a = -1.1 + -1.9. Put -0.5, 0.5, a in ascending order.
a, -0.5, 0.5
Let p be -19*(-1)/(-3) + (-2)/(-6). Let q(w) be the third derivative of w**5/60 + 7*w**4/24 + w**3/3 + w**2. Let n be q(p). Sort 4, 0, n.
n, 0, 4
Suppose -4*o - 3*k + 35 = 0, -k = -2*k + 5. Sort 3, -6, o, -3 in decreasing order.
o, 3, -3, -6
Let h(k) = k**3 - 10*k**2 + 9*k + 3. Let p be (18/(-4))/(9/(-12)). Suppose 4*r - p = 30. Let n be h(r). Sort 5, n, -4 in decreasing order.
5, n, -4
Let q be 5/(1*(-5 + 4)). Sort 4, q, -3 in increasing order.
q, -3, 4
Let q = 24 + -21. Let j(g) = 10*g. Let y be j(-3). Let s be (-9)/(-6)*(-2)/y. Sort s, q, 0 in decreasing order.
q, s, 0
Let g = -1349736/71795 - 2/14359. Let a = -92/5 - g. Let s = -1/21 + -34/21. Put 2, a, s in ascending order.
s, a, 2
Let p = -0.013 - 1.987. Let y = -25/3 + 131/15. Put -11, y, p in descending order.
y, p, -11
Let d = 9 + -9. Suppose d = -0*f - 2*f + 8. Sort f, -2/9, 1 in increasing order.
-2/9, 1, f
Let o(c) = c - 5. Let h be o(4). Let i be (3 - h)/(10/2). Put i, 4, 3 in descending order.
4, 3, i
Let z = 0.27 - -0.03. Let t be (1/2)/(39/(-21)). Let c = -3/13 + t. Put -0.2, c, z in descending order.
z, -0.2, c
Suppose -2*j - 5*v - 33 = 0, 15 = -5*j + v - 0*v. Sort 0.3, 0.02, j in descending order.
0.3, 0.02, j
Let a = -30 + 18. Let z be 3/a + (-3039)/420. Let v = -58/7 - z. Sort 2, 0, v in decreasing order.
2, 0, v
Let k = -17 + 22. Put -2, 0, k in decreasing order.
k, 0, -2
Let n = -17 + 1. Let y be -1*(1*n)/(-4). Suppose -z = -5*v - 19, v = 5*z - 12 - 11. Sort y, v, 0 in decreasing order.
0, v, y
Let n(b) be the second derivative of -b**3/6 - 4*b**2 + 2*b. Let m be n(-10). Sort m, 1, -4 in descending order.
m, 1, -4
Let f be 0 + (0 - 3/(6 + -3)). Put -0.2, -1/4, 0.5, f in decreasing order.
0.5, -0.2, -1/4, f
Let i = 4 - 0. Suppose -15 = 5*l, 5*m + l - i*l - 29 = 0. Sort 1, -5, m in increasing order.
-5, 1, m
Let o = 0.01 - -4.99. Let d = 0.006 + 1.994. Sort o, -4, d.
-4, d, o
Let h be 2 - ((-6)/(-10))/(11/(-55)). Sort h, -3, -5, -2 in increasing order.
-5, -3, -2, h
Let k = -4 - 0. Let p be -3 + 2 - 21/(-9). Put k, p, 4 in increasing order.
k, p, 4
Suppose -i = l - 15, -2*i + 2 = -0. Let m = l + -19. Suppose -2*k = -5*g - 13, -k + 6 = -2*g - 0*k. Sort g, m, 1 in descending order.
1, g, m
Let d(h) = h + 2. Let y(i) = 2*i - 10. Let k be y(7). Let c be k*(-2)/(-12)*3. Let f be d(c). Sort -4, 3, f in decreasing order.
f, 3, -4
Let r = -234 + 99. Let s be ((-2)/(-3))/((-18)/r). Put s, 3, -3 in increasing order.
-3, 3, s
Suppose 0 = 10*t + 40 - 0. Put 2, t, 39 in ascending order.
t, 2, 39
Let v = 3 - 2.7. Sort 2, -0.3, v.
-0.3, v, 2
Suppose 0 = 8*j - 22*j. Sort j, 3, -24.
-24, j, 3
Let a(o) = -5*o + 0 + o**2 + 1 + 0. Let c be a(4). Suppose 2*n + 0*n + 1 = y, -5*n - 5*y = -20. Put c, 5, n in increasing order.
c, n, 5
Let p = -2 - -7. Let k = -5 + 6. Put k, p, 0 in ascending order.
0, k, p
Let v = 2.4 + -2. Let h be 952/(-10) + -2 - 1. Let f = h - -99. Put -1/5, v, f in decreasing order.
f, v, -1/5
Let u(v) = -v**2 - v - 3. Let z be u(0). Let k = 20 - 11. Suppose 4*n - k = -n + j, -2*n = -3*j - 1. Put z, n, 0 in ascending order.
z, 0, n
Let o be 