der.
3, 2, n
Let u = -346 + 4500/13. Sort -2/9, -2/7, u in descending order.
u, -2/9, -2/7
Suppose 5*u + 2*m = 0, 0 = 5*u - 2*u - m. Let j be (0 + -1)/((-2)/6). Let t be 4/(-5)*(2 + j). Put t, u, 4 in decreasing order.
4, u, t
Let c(l) = l**3 - 7*l**2 + 4*l + 1. Let t be c(2). Put 2, 3, t, -1 in increasing order.
t, -1, 2, 3
Let p = 748.01 - 745. Let t = 0.01 - p. Put -5, t, 5 in descending order.
5, t, -5
Let k be 3/4*(-4 + 8). Suppose k*m + 2 = -10. Put 5, 6, m in ascending order.
m, 5, 6
Suppose -2*r + 8 = 3*x, 0*r + 16 = 4*r - 5*x. Let s = -9 + 10. Put r, s, -1 in increasing order.
-1, s, r
Suppose 7 = 4*z - v - 52, 2*z + 2*v = 42. Suppose 8 = n + b, 6*n - z = n + b. Sort n, 5, -2 in descending order.
5, n, -2
Let o = -969 - -973. Let r = 17 + 0. Suppose 3*u - 4*p + 0 = 19, u - r = 4*p. Sort o, -2, u in descending order.
o, u, -2
Suppose -2*n - 5*b = 38, 3*b + 0*b = -4*n - 48. Sort n, 4, 5 in increasing order.
n, 4, 5
Let p = 0.4 - 0.2. Let c = p - -0.2. Let q(y) = y**3. Let m be q(0). Sort c, -4, m in ascending order.
-4, m, c
Let l(g) = -g**3 + 5*g**2 + 2*g - 5. Let v be l(5). Suppose -2*z - 42 = 4*d, z = 2*d + 8 + 7. Let t be (-9)/(-6)*24/d. Put -2, t, v in ascending order.
t, -2, v
Suppose 2*a - 10 = 6. Suppose -5*r = 5*q - 5, a*r - 4*r - q - 19 = 0. Let w = -2.4 - -2. Sort w, r, 0.1 in increasing order.
w, 0.1, r
Let a = 0.002 - -0.188. Put -2/19, -4, a in decreasing order.
a, -2/19, -4
Suppose u = 2*n + 4, -3*n = -4*u + 7 + 9. Suppose n*i = 2*i. Suppose 0 = -0*s + 10*s - 30. Put i, s, -4 in decreasing order.
s, i, -4
Suppose g = 4*m + 1, g + 11 = -g - 5*m. Let u be 0 + ((-4)/6)/(-1). Put 1/5, g, u in decreasing order.
u, 1/5, g
Suppose -2*n = -4*n - 40. Let v be 2 - 1 - (-16)/n. Put -1/3, 0.3, v in ascending order.
-1/3, v, 0.3
Let x be 2/8 + 1/(-1). Let n = 0.79 + -0.09. Let o = -0.2 + n. Sort o, 4, x.
x, o, 4
Let y(b) = -b**2 + b + 3. Let z be y(2). Let x be 1*((-27)/21 + z). Let f = -0.8 - 2.2. Put x, 0, f in descending order.
0, x, f
Let m be -1*(83 - (-1 + 1)). Let q = -1081/13 - m. Let n be -5 + 3 + (-12)/(-2). Put q, 1/5, n in ascending order.
q, 1/5, n
Let z = 0.02 + 0.18. Let f = 0 + z. Put 4/3, f, -2/3 in increasing order.
-2/3, f, 4/3
Let p be 4*(-1)/(((-12)/(-9))/(-1)). Sort -1, 1, -3, p in decreasing order.
p, 1, -1, -3
Suppose 4 = -3*o - 11. Let n(m) = m**2 + 4*m - 5. Let t be n(-5). Suppose -3*r + 17 = -5*p, -2*p - p = -r + 7. Sort t, r, o.
o, t, r
Let u be (42/4)/((-12)/16). Let d = u - -19. Put 1, 3, d in increasing order.
1, 3, d
Let o be (-2*6/(-4))/1. Let h(f) = -f**2 + 4*f + 3. Let x be h(o). Let b(s) = -s**2 + 8*s - 7. Let n be b(x). Sort 0.1, n, 2/9 in decreasing order.
n, 2/9, 0.1
Suppose k + 0 - 5 = 0. Suppose -3*i - k = -2*i. Sort 5, i, 0.4 in descending order.
5, 0.4, i
Let x be 3 - 150/22 - -4. Put -1, -3, -1/3, x in decreasing order.
x, -1/3, -1, -3
Suppose 0*m = m - 2. Let a be m/(-5) + 17/5. Suppose 0 = j - 1 + a. Sort j, -1, -4 in increasing order.
-4, j, -1
Suppose -3*d - 9 = 4*w, -5 = 5*d + 4*w + 2. Put 2/7, -4, d in decreasing order.
d, 2/7, -4
Let d = -7 - -13. Let n = 9 - d. Let s = -0.3 - 0.1. Sort n, 1/3, s in descending order.
n, 1/3, s
Let o = -0.3 + -0.2. Let l(r) be the second derivative of -r**4/12 - 5*r**3/6 + r**2/2 - 2*r. Let q be l(-6). Sort o, q, 1/2.
q, o, 1/2
Suppose 3*r + 5*d - 7 = 2*r, -4*r - 4*d - 4 = 0. Sort -2, 4, r, 5 in ascending order.
r, -2, 4, 5
Let t(y) = -y + 4. Let f be t(4). Suppose 0*x - x + 2 = f. Suppose -4*d = 20, -5*k = -0*k + d - 10. Sort k, x, 4 in decreasing order.
4, k, x
Let v(x) = x + 11. Let j be v(-4). Let z be (-2)/5*1*5. Put z, 2, j in decreasing order.
j, 2, z
Let p = -0.073 - 0.327. Sort 7, p, 2/3 in increasing order.
p, 2/3, 7
Let a = -9.5 + 10. Sort 1/3, -1/9, -1, a.
-1, -1/9, 1/3, a
Suppose 12 + 3 = -3*i. Suppose -7 = 2*r - 23. Let v = 12 - r. Sort i, 3, v in decreasing order.
v, 3, i
Suppose 4*f - 5 = 3*f - 5*l, 5*f = -3*l + 3. Sort -5, f, -3, 2 in decreasing order.
2, f, -3, -5
Let q = 58 - 52. Sort 0.2, 0, q in decreasing order.
q, 0.2, 0
Let s(d) = d**3 + 18*d**2 + 18*d + 16. Let r be s(-17). Put 5, r, 3 in descending order.
5, 3, r
Let h = -95 + 94.06. Let t = -0.04 - h. Let y = 4.9 - t. Sort 1/3, y, 0.3 in ascending order.
0.3, 1/3, y
Let s = 0.032 + -0.032. Sort 0.5, -5, -4/5, s in increasing order.
-5, -4/5, s, 0.5
Let x = 177.98 - 173. Let w = 5 - x. Let n = w - 0.02. Put -1/4, -0.3, n in decreasing order.
n, -1/4, -0.3
Let w be 2/(-1) + (9 - 7). Let c be (-4)/(w - -8)*-6. Sort c, 0, -5.
-5, 0, c
Let w be (-32)/(-14) - 2/7. Let r be (6/2)/((-6)/54). Let o = r - -24. Sort o, w, -2 in decreasing order.
w, -2, o
Let n(k) = -2*k + 8. Let q be n(-6). Let z = 2 - 0. Suppose 0 = -0*x - 5*x, -z*x = 4*v - q. Sort v, -3, 0 in decreasing order.
v, 0, -3
Let n = 2 - 3. Suppose 5*c + 7 + 8 = 0. Sort 0, c, n in descending order.
0, n, c
Let x = -0.2 - -0.2. Let t = 1.943 - -0.057. Put 0.3, x, t in decreasing order.
t, 0.3, x
Let m = 56 - 59. Sort 0.2, m, -0.03.
m, -0.03, 0.2
Let q = -5 + 11. Sort q, 4, -2 in descending order.
q, 4, -2
Suppose -4*v = 3*c - 0*v - 18, 2*c = 2*v - 2. Let u = 0.05 + -3.05. Let j = 0.43 + 0.07. Put j, u, c in decreasing order.
c, j, u
Let l(x) = x**3 - 11*x**2 - x + 13. Let s be l(11). Let q = -7 - -7.2. Sort s, 3/7, q in decreasing order.
s, 3/7, q
Suppose 11 = 4*q - o, q = -2*o + 2 - 6. Let z be 3/((-3)/(-2)) - 2. Put z, q, 1 in decreasing order.
q, 1, z
Let a(o) = o**2 - 3*o - 4. Let w be a(4). Suppose 9*i = 4*i + 5. Put w, -4, i in increasing order.
-4, w, i
Let g = 42 + -43.9. Let w = g + 2. Let x(p) = p**3 - 5*p**2 - 3. Let b be x(5). Put -5, b, w in descending order.
w, b, -5
Let q(j) = 3*j - 4*j + 3*j + 4 + j. Let g be q(-3). Let v(k) = k + 4. Let o be v(0). Put g, -1, o in decreasing order.
o, -1, g
Let l be (2 + 7 - 4)*(2 - 3). Sort l, 1, 2, -2/3 in descending order.
2, 1, -2/3, l
Let m = -0.06 + 0.11. Let v = m - -4.95. Put -5, v, 2 in increasing order.
-5, 2, v
Let q = 69 + -139/2. Sort q, 5, -5 in descending order.
5, q, -5
Let f = -60 - -301/5. Sort f, 0.4, -3/5, -1 in ascending order.
-1, -3/5, f, 0.4
Let o(z) = -z**3 + 2*z - 1. Let l be o(1). Let f = -1 - -3. Let t be 1/(-2) + (-11)/(-2). Sort l, f, t in descending order.
t, f, l
Suppose 0 = -3*c - 0*x + 4*x + 16, 4 = -x. Let v(g) = g**3 - 14*g**2 - g + 17. Let j be v(14). Put c, j, -4 in descending order.
j, c, -4
Let f = 33 + -20. Let l = -12 + f. Sort 0.4, l, -4/9 in decreasing order.
l, 0.4, -4/9
Suppose 0 = -11*m + 6*m + 25. Sort 2, m, 3 in increasing order.
2, 3, m
Let m be 2/(-3)*27/(-6). Let a be (m + -1)*11/(-22). Suppose 4*w = 3*w + 4. Sort w, -2, a in decreasing order.
w, a, -2
Let c be 6 - (-3)/(1 - 2). Suppose -4*q + 2*k = 4, 0 = c*q + 2*k - 3 - 1. Put -5, -4, q in increasing order.
-5, -4, q
Suppose 9*p = 4*p - 30. Let f(i) = 2*i**2 - 7*i - 5. Let r(l) = l**2 - 7*l - 6. Let a(x) = 2*f(x) - 3*r(x). Let s be a(p). Sort -1, s, -3 in decreasing order.
s, -1, -3
Let s(x) = -x**3 + 5*x**2 - 3*x - 3. Let u be s(3). Let v = u + 2. Suppose -4*t + 1 = -4*y + 9, -5*t + 3*y - v = 0. Sort 0, t, 1 in decreasing order.
1, 0, t
Let p be (-1 - 7/(-5)) + 46/10. Sort -5, p, -8.
-8, -5, p
Let p = -19 + 17. Put p, -0.19, -0.5, -3 in decreasing order.
-0.19, -0.5, p, -3
Suppose 5*a + 2*a = -21. Sort a, -6, 2 in decreasing order.
2, a, -6
Let g(l) = 2*l**3 + 8*l**2 + 5*l + 18. Let j be g(-4). Sort 4, 2, -5, j in increasing order.
-5, j, 2, 4
Suppose -2*f - 2*d + 12 = 0, -f = -6*f + 2*d - 5. Put 4, 0, f in ascending order.
0, f, 4
Let x(o) = 4*o**3 - 4*o**2 + o + 2. Let k be x(2). Suppose -8 = 4*y + 4*q, -4*y + k = y - 5*q. Let i be (-19)/(-44) - y/4. Put i, -0.5, -3 in decreasing order.
i, -0.5, -3
Suppose -7*t = -6*t - 11. Sort t, -5, -2, 2.
-5, -2, 2, t
Let q = 6 - 9. Let m be (-2 - -1) + (-2)/(-6). Sort -0.1, q, m.
q, m, -0.1
Let y(m) = -m - 4. Let b be y(-6). Let u(k) = 6*k - 2. Let t be u(b). Suppose 4*d = 2*d + t. Sort 2, d, -3 in descending order.
d, 2, -3
Suppose -p + 6*p = 30. Suppose p = 4*n - n. Suppose -s - n*s = 0. Sort s, -2, 4 in ascending order.
-2, s, 4
Suppose 9 = -27*t + 30*t. Put 0.1, -0.5, t in decreasing order.
t, 0.1, -0.5
Let a = -12 - -12. Put a, -4, -2, 3 in ascending order.
-4, -2, a, 3
Let p = 1 - 0.6. Let a = 0 + p. Let g = -1203 + 1200.