+ 1. Sort 2, m, 0.05 in descending order.
2, m, 0.05
Let q(i) be the third derivative of -i**6/40 + i**5/60 - i**4/24 + 2*i**2. Let z be q(1). Let o = -0.4 - -5.4. Sort -2, o, z in descending order.
o, -2, z
Let h = -4.08 - -0.08. Sort h, -0.5, 2/3 in descending order.
2/3, -0.5, h
Let a = -0.18 - -0.12. Let y = -2.04 + 6.98. Let v = y - a. Put v, 0.5, 6/5 in decreasing order.
v, 6/5, 0.5
Let c = -2 - 20. Let x = 21 + c. Put 3/7, x, 4 in decreasing order.
4, 3/7, x
Let q(c) = -c. Let j = 25 + -20. Let m be q(j). Sort m, 1/2, 1 in ascending order.
m, 1/2, 1
Let j(f) = 2*f - 9. Let u be j(6). Suppose 0 = -3*r - 0 + u. Put r, 2, -3 in ascending order.
-3, r, 2
Let p = -1363 + 1356.89. Let l = 0.11 + p. Sort l, 1/2, -4.
l, -4, 1/2
Suppose -x = -4*c - 2*x - 20, 0 = c + 4*x + 20. Sort c, 0.5, 0.2, -3 in descending order.
0.5, 0.2, -3, c
Let l be ((-3)/32)/(3/12*1). Sort -2/3, l, -2, -1/6.
-2, -2/3, l, -1/6
Let g(c) = 2*c. Let h be g(4). Suppose 0*z + h = -2*z. Suppose 5*s - 3 = 2. Sort z, 3, s in decreasing order.
3, s, z
Let w = -107/44 - -24/11. Let q = -7.01 - -0.01. Let k = 2 + q. Sort 0.4, w, k in decreasing order.
0.4, w, k
Let j(p) be the third derivative of p**6/120 + p**5/15 - p**4/8 + p**3 + 8*p**2. Let c be j(-5). Sort 2, c, -2 in ascending order.
c, -2, 2
Suppose 5*j = 0, 0 = -3*l + 2*j - 0*j - 15. Suppose 13 = 3*f + w, 3*f + 4*w + 18 = 5*f. Put f, -3, l in descending order.
f, -3, l
Let k be (2 + (-10)/3)*3/(-10). Let o(a) = 29*a**3 - 1. Let s be o(1). Let j = -117/4 + s. Put k, j, -1 in descending order.
k, -1, j
Suppose -4*r = -4*f + 8, 0 - 1 = 2*r + f. Let q be (-1)/r + (-3)/1. Let z be 0/(-3) - 6/q. Sort 4, -4, z.
-4, z, 4
Let m = 5 + -7. Let a be 3 - (4 + (-8)/m). Sort -0.3, a, -1 in decreasing order.
-0.3, -1, a
Let c = 13 - 16. Put c, 2/3, -0.1 in increasing order.
c, -0.1, 2/3
Let c = -0.55 - 0.05. Let a = -2.6 - c. Let i = a + 6. Sort 1/3, 5, i in descending order.
5, i, 1/3
Let a(b) = b**2 - 4*b - 6. Let s be a(6). Suppose -s*d - 15 = -d. Sort 5/3, d, 0.1.
d, 0.1, 5/3
Suppose 4 + 0 = -2*o. Suppose -5*h = -9*h. Sort h, -5, o.
-5, o, h
Let v be (2/(-4))/(9/18). Sort 2, v, 1 in ascending order.
v, 1, 2
Let o(d) = 13*d - 9. Let h be o(-9). Let i be 1/(-4) - h/24. Suppose -4*m - g + 0*g = 5, i*g + 25 = -m. Sort m, -4, -2 in decreasing order.
m, -2, -4
Let a = -0.44 + 0.04. Let d be (-74)/(-140) + (-1)/2. Let g = -103/70 - d. Sort a, -1/6, g in decreasing order.
-1/6, a, g
Suppose 0 = 4*v - 10 - 10. Sort -5, v, -4 in descending order.
v, -4, -5
Let w(b) = -11*b**3 - b**2 - b - 1. Let d(s) = 12*s**3 + s**2 + s + 1. Let z(h) = 6*d(h) + 7*w(h). Let k be z(-1). Sort k, -5, 5 in decreasing order.
5, k, -5
Let f = 19 - 16. Suppose 5*s = f*y + 1, 0 = -y + 3*y - 3*s - 1. Put y, 2, 3 in ascending order.
2, 3, y
Let r = -2 - -3. Suppose t = 2 - r. Let f be (2 - 0)*10/(-4). Put t, -2/3, f in decreasing order.
t, -2/3, f
Let b = -16 + 28. Let c = -11.7 + b. Put 2, c, 0.4 in increasing order.
c, 0.4, 2
Suppose q - 3 + 1 = 0. Let l = 2 + q. Suppose 3*j - j = -5*k - 17, -j + 11 = -4*k. Sort 1, l, j in descending order.
l, 1, j
Suppose -15*y = -2 + 17. Put y, -4, 4, -2/7 in increasing order.
-4, y, -2/7, 4
Let h(v) = -v**3 - 9*v**2 + 9. Let u be h(-9). Suppose -5*l - 7 = 4*g + 30, -3*l - u = -2*g. Put 1, l, -3 in descending order.
1, -3, l
Let i be (8/110)/(14/(-35)). Sort 5, i, -5.
-5, i, 5
Let b be ((-8)/(-110))/(6/15). Let a be -1*(3/7 - 0). Let x(c) = c**3 - 3*c**2 - 2*c + 3. Let k be x(2). Put k, a, b in ascending order.
k, a, b
Let r be (-8)/32 - (-82)/8. Suppose -2 = -3*h + 4, -r = 4*u - 5*h. Let j = -3 - -4. Sort u, -1, j in increasing order.
-1, u, j
Let b be ((-2)/(-3))/(2/6). Let y(w) = w**2 - 2*w. Let q be y(b). Let a(r) = r**3 + 1. Let x be a(q). Sort 4, 5, x in decreasing order.
5, 4, x
Suppose 3*v = -0 + 9. Sort 2, -5, v, -4 in increasing order.
-5, -4, 2, v
Suppose 9 = a + 5. Sort -5, 6, a, -1 in increasing order.
-5, -1, a, 6
Suppose a - 8 = 5*p, 0*p = -3*a + 4*p + 2. Sort -5, a, -9 in decreasing order.
a, -5, -9
Let j = -0.1 - -0.53. Let z = -0.4 + j. Sort 0, z, -5 in increasing order.
-5, 0, z
Let y = 0.148 - -0.152. Sort -1, -8/3, 1/3, y.
-8/3, -1, y, 1/3
Suppose i - 5*i + 48 = 0. Suppose -2*z - 3*u = -12, -u + 4*u = 3*z + i. Suppose 4*f = -15 - 1. Sort z, -2, f in ascending order.
f, -2, z
Let d = -42 - -37. Let p(t) = -2*t + 3. Suppose 3 = -4*s + 5*s. Let z be p(s). Sort -2, d, z in increasing order.
d, z, -2
Let v = -3 + -1. Let n = 4 + v. Put n, 3, -2/11 in increasing order.
-2/11, n, 3
Let y = 0 + 4. Let p = -60 + 61. Sort p, -3, y in descending order.
y, p, -3
Let i = -127 + 196. Let g = -344/5 + i. Put 3/7, g, 5 in increasing order.
g, 3/7, 5
Suppose 3*y - 5*p = -y + 16, -5*y = 2*p - 20. Sort 1, y, -1/3 in decreasing order.
y, 1, -1/3
Let x = 29 + -202/7. Let i = -2 - -7. Sort x, i, 1 in descending order.
i, 1, x
Let t(p) = -3*p**3 - 3*p**2 + p + 2. Let c be t(-2). Let b be (-16)/c + (-3)/(-3). Let r = 4 + -7. Put r, 1/4, b in descending order.
1/4, b, r
Let v = -1.3 + 10.3. Sort v, -1/2, -2 in increasing order.
-2, -1/2, v
Let h = -0.073 - -0.573. Put 1, 5/4, h, -1 in decreasing order.
5/4, 1, h, -1
Suppose 5*o - 10 + 0 = 0. Let r(v) = v. Let u be r(o). Suppose 5*z = u*z + 12. Sort 1, z, -5 in descending order.
z, 1, -5
Let c = -0.11 + 4.11. Let i = -141/7 - -20. Sort 3, c, i in increasing order.
i, 3, c
Let q = 35 - 21. Let s = q + -10. Let n = s + -5. Put n, 0, 1 in ascending order.
n, 0, 1
Let p be (4/8)/((-1)/24). Put 2, p, 3, 1 in ascending order.
p, 1, 2, 3
Let l(t) = -t - 2. Let z be l(-2). Suppose -4*p - 10 - 2 = z. Let r = -0.1 - 0. Sort -0.4, r, p.
p, -0.4, r
Let h = 3 + -1. Sort h, 5, 0.
0, h, 5
Suppose 2*f + f + 1 = 2*s, 5*s = 4*f + 6. Put -3, s, 6, 5 in increasing order.
-3, s, 5, 6
Let o = 3.985 - -0.015. Sort o, 2, -1, -4 in increasing order.
-4, -1, 2, o
Let l = -7 - -9. Put 0.05, -0.2, l in descending order.
l, 0.05, -0.2
Let c = -137/3 - -46. Let p = 0.2 + -0.4. Sort -2/17, p, c.
p, -2/17, c
Let a = 3.96 - -0.04. Suppose -4 = -4*i + y, 4*y + 2 = -4*i + 6. Put -1, i, a in descending order.
a, i, -1
Let a = -4.6 + -0.4. Let g = 5.5 + 1.5. Let v = -6.6 + g. Put a, 2, v in ascending order.
a, v, 2
Let r(w) = w - 9. Let o be r(5). Suppose u - 2*j = 8 + 7, 5*j + 20 = -u. Let l be (-8)/u + (-2)/5. Sort l, o, -1 in descending order.
-1, l, o
Let k be ((-1)/2*-1)/((-1)/4). Sort k, 5, -1, -3.
-3, k, -1, 5
Let w = 3 + -2. Let z be (-3 - -7) + 0 + w. Suppose 0 = -y + l - 3, z*y + 2*l - 18 = y. Put y, -1, 0 in decreasing order.
y, 0, -1
Let z = 0.4 + 1.6. Let y = 0.9 + 4.1. Let x = y - 2. Put x, -4, z in descending order.
x, z, -4
Suppose -15*m = 3*m - 36. Sort -5, 23, m in decreasing order.
23, m, -5
Let q be 24/5 - 1/(-5). Put -2, -4, q in descending order.
q, -2, -4
Let g = 193 + -190. Sort g, -7, 0 in ascending order.
-7, 0, g
Suppose -5*f - 15 = -8*u + 3*u, 5*f + 5*u = 25. Let b = 5 - f. Put 0, b, -4 in increasing order.
-4, 0, b
Suppose z + 21 = 2*l - 0*l, 3*l + 3*z = 9. Suppose -4*i = 12, 0 = 3*h + 5*i + l + 16. Put 5, 2, h in increasing order.
h, 2, 5
Suppose 3*o - 17 = -8. Suppose -2*p - o*k + k = -2, -5*k - 15 = 0. Let j = -1 - p. Put 5, -2, j in decreasing order.
5, -2, j
Suppose -9 - 36 = -15*v. Put 0, v, 1, -5 in decreasing order.
v, 1, 0, -5
Let k = 0 + 0. Let p(i) = 36*i + 179. Let s be p(-5). Sort k, s, 6 in decreasing order.
6, k, s
Suppose -5 + 20 = l. Suppose 0*z - 3*z + l = 3*a, -2*a - 3*z = -11. Let s be (2 - 3)/((-22)/(-44)). Sort a, s, -5.
-5, s, a
Let s be 1 + 1/(1/(-3)). Let f(j) = j**3 - 6*j**2 - 5*j - 8. Let w be f(7). Suppose 0 = -p - p - w. Sort s, p, -5.
-5, p, s
Suppose 8*k = 10*k + 10. Let o be 1/(-3) + (-16)/6. Sort o, k, 0 in descending order.
0, o, k
Suppose z + 2 + 10 = 0. Let w be 4*(z/4)/3. Suppose 11 = 5*s + 1. Sort -3, s, w in ascending order.
w, -3, s
Let v(l) = -l**3 - 2*l**2 + 4*l - 1. Suppose -4*k - 4*u = 8, 4*k + 5 = -u - 6. Let w be v(k). Let y = 0 + -0.4. Sort w, 2, y in decreasing order.
2, y, w
Let m(r) = -r + 13. Let t be m(9). Let h(g) = g**3 + 18*g**2 + 18*g + 13. Let u be h(-17). Sort u, t, 0.
u, 0, t
Suppose 3*m = 2*m - 2. Suppose 2*d = 3*t + 8, -4*t - 13 = -6*d + d. Suppose 5*s + 16 = d. Sort m, 5, s in decreasing order.
5, m, s
Let z = -3 + 7. Suppose l + 