derivative of -j**2 + 3. Let l be c(-3). Suppose -4*s = l*i - 5*i - 14, 0 = s - 3. Put i, -1, -4 in decreasing order.
i, -1, -4
Let g = -29.9 - -30. Sort -3, g, -2/17 in increasing order.
-3, -2/17, g
Let x(t) = -1 - 2*t - 3*t + t**2 + 6*t. Let r be x(-1). Put r, 5, -3 in decreasing order.
5, r, -3
Suppose -9*k + 3 + 33 = 0. Sort k, -2, -1/7, 0.4 in descending order.
k, 0.4, -1/7, -2
Let t = 4.7 + -5. Put -2/11, t, 3 in decreasing order.
3, -2/11, t
Let j = 1 - 6. Let k = -22.9 - -23. Put k, j, -1/5 in ascending order.
j, -1/5, k
Suppose -2*i - 7 = -v, 5*i + 23 = 2*v + 4. Sort 4, i, 2.
i, 2, 4
Let h = -15 - -15. Let p = -2 - 4. Let k = -2 - p. Put 0.2, k, h in ascending order.
h, 0.2, k
Let k be (-7 - -6)/(-3*(-12)/9). Sort k, -0.3, 2, -2/3 in descending order.
2, k, -0.3, -2/3
Let y(x) = x**2 + 6*x - 5. Let c(b) = b**3 + 6*b**2 + 7*b + 4. Let k be c(-5). Let v be y(k). Let h = 0 + -2. Sort v, 3, h.
v, h, 3
Let b be 66/9 - (-4)/6. Let c(a) = -a**2 + 8*a + 1. Let k be c(b). Sort 0.5, k, 3 in decreasing order.
3, k, 0.5
Let p = -148 - -148.1. Suppose -a + 5*u + 25 = 4*a, 3*a - 5 = -2*u. Sort p, -0.2, a.
-0.2, p, a
Let y = -4.2 + 4.5. Sort 0.5, -6, y.
-6, y, 0.5
Let s(b) = -3*b + 1. Let t be s(-2). Suppose 3*p = -2*i - 11, 2*i = 4*p - 3*i + t. Let a be (-12)/p*(-2)/4. Sort 2, a, 0 in decreasing order.
2, 0, a
Let a = 0.6 - 2.6. Let u = a - -1. Sort u, 0.3, -1/4.
u, -1/4, 0.3
Let s(l) = -4*l - 6. Let y be s(-4). Let n be y/(-45) - 10/36. Let u = -5 - -1. Sort n, u, 4 in descending order.
4, n, u
Let a(c) = -7*c**2 + 11*c + 15. Let n(y) = 11*y**2 - 17*y - 23. Let g(v) = 8*a(v) + 5*n(v). Let t be g(4). Sort 3, -2, t in increasing order.
-2, t, 3
Let z(v) = -v + 20. Let t be z(22). Sort -1/2, 0.1, 4, t in descending order.
4, 0.1, -1/2, t
Let r(i) = i**3 + 10*i**2 + i + 7. Let h be r(-10). Put -1, 5, 2, h in descending order.
5, 2, -1, h
Suppose -b + 7*b - 6 = 0. Put b, -6, -2 in increasing order.
-6, -2, b
Let f = -5.7 - -6. Let o = 0.6 - 0.1. Let d = 1 - 0. Sort f, o, d in decreasing order.
d, o, f
Let i = 9.5 - 12.5. Sort i, -2/9, -0.4.
i, -0.4, -2/9
Let s be (-2)/(-10) + (-63)/15. Sort s, -2, -5, 1 in decreasing order.
1, -2, s, -5
Let h be (-31)/(-40) + 10/(-25). Put h, -4, -2 in increasing order.
-4, -2, h
Let t = -39/5 - -653/85. Put -0.5, t, 2, -1/4 in ascending order.
-0.5, -1/4, t, 2
Suppose 0 = -3*w - 0*z - 5*z + 16, -2*z - 23 = -3*w. Let l = -5 + w. Suppose -1 - l = -3*y. Sort y, -1, -2 in increasing order.
-2, -1, y
Let n be 2/(1/(1/2)). Let i = 2 - 0. Let h = 729 - 731. Sort i, h, n in descending order.
i, n, h
Let a(u) = -u**3 - 4*u**2 + 2*u + 5. Let b be a(-4). Let g be 3/b - 7/(-3). Put g, -5, 4/5 in decreasing order.
g, 4/5, -5
Let q = 0.7 - -0.3. Let f = q - 1.4. Let n = -0.28 - -0.08. Sort -5, n, f.
-5, f, n
Suppose -2*b - 41 = 3*p, 8*p = 4*b + 4*p + 52. Sort 1, 3, -3, b in decreasing order.
3, 1, -3, b
Suppose 10*a = 15*a - 10. Put a, -5, 1 in decreasing order.
a, 1, -5
Let b = -557/4 + 140. Put -0.1, b, -3, -2 in ascending order.
-3, -2, -0.1, b
Let h = 20 + -25. Put 3, -1, h in ascending order.
h, -1, 3
Let b be (-12)/(-2)*1/(-3). Sort -1, 4, b, -5 in decreasing order.
4, -1, b, -5
Let l = -1.2 - -0.5. Let r = l - -0.8. Sort 0.9, -4, r in increasing order.
-4, r, 0.9
Let p(f) = -26*f + 1. Let s be p(1). Let w = s - -10. Let h be 10/(-4)*(-3)/w. Sort -4, h, 0.2 in descending order.
0.2, h, -4
Let k be -1*2/2 - -1. Sort k, -5, 3.
-5, k, 3
Let c(y) = -y**3 - 9*y**2 + y + 11. Let p be c(-9). Sort p, -1, 3.
-1, p, 3
Let a = -13 - -19. Put 1, 3, 5, a in ascending order.
1, 3, 5, a
Let s = 152 + -153. Sort -5/3, 0.3, s, -12.
-12, -5/3, s, 0.3
Let u = 0.05 - 0.25. Put 3, u, -2/9 in decreasing order.
3, u, -2/9
Let z = -3 - 2. Let w = z + 12. Suppose 0 = w*v - 5*v - 3*p - 12, 0 = 3*v + 5*p + 1. Sort -3, 2, v in descending order.
v, 2, -3
Let u = 5 - 11. Let g be 2/(-4) - 1/u. Put -2/7, g, -4 in decreasing order.
-2/7, g, -4
Suppose -2*l - 5*z = -z - 10, -4*z - 11 = -5*l. Let p = 31.5 + -31.9. Sort p, l, 3/2 in descending order.
l, 3/2, p
Let u be (-2)/(-13) - 41/13. Put u, -2, 1 in ascending order.
u, -2, 1
Let s = -11 - -6. Suppose -u + 19 = -0*u + 5*m, 5*u + 17 = 3*m. Let n be (-55)/66 + 2 + u. Put n, s, -1/5 in descending order.
n, -1/5, s
Let o = -15 - -9. Suppose t + 1 = 0, -2*t + 10 = 3*h - 0*t. Sort h, -4, o in ascending order.
o, -4, h
Let o be (-2)/(-10) - (-160)/(-50). Let a be (-6)/4*(-2)/o. Sort a, 0.1, -5 in descending order.
0.1, a, -5
Let z be ((-12)/(-30))/(4/80). Suppose -5*t + 2*t = 3. Put t, z, -4 in increasing order.
-4, t, z
Suppose 4*k - j + 2 = -10, 4*j - 10 = -3*k. Let y(t) = -t - 6. Let x be y(-11). Put 3, k, x in descending order.
x, 3, k
Let p = -4 + 7. Let m = 4 - p. Let h(y) = -y**2 - 6*y - 6. Let f be h(-4). Sort f, m, 4 in decreasing order.
4, f, m
Let c(r) = r**3 + 6*r**2 + 6*r - 4. Let w be c(-3). Put 1, w, -3 in ascending order.
-3, 1, w
Let m = 55 - 59. Sort 3, 4, m, 1 in decreasing order.
4, 3, 1, m
Suppose c - 8 + 0 = -5*b, -c + 3*b - 8 = 0. Let q = 0 + -1. Let v be -2 - q/(2 - 1). Sort c, 2/9, v in increasing order.
c, v, 2/9
Suppose -w - w - 3*d = -5, -2 = -5*w + 3*d. Sort 1/7, w, 4.
1/7, w, 4
Suppose 7*n - 3*n + 10 = x, -5*n = 5*x + 25. Let r be (-21)/30 + x/(-4). Put 2/13, r, 2 in ascending order.
r, 2/13, 2
Let w(n) = n**2 + 3*n. Let i be (1 + 0)/((-4)/12). Let a be w(i). Suppose 0 = 2*q - 0*q + 10. Sort a, 2, q in ascending order.
q, a, 2
Let g = 7 + -7.6. Let z = 0.3 + g. Let l = -0.1 + 5.1. Sort l, z, 3 in decreasing order.
l, 3, z
Let m = -14 - -10. Let c = 2 + -4. Let k = 2 - c. Sort -0.1, m, k in decreasing order.
k, -0.1, m
Let r = 4433/21 - 211. Let p = 0.06 + 0.24. Let k = p - 0.2. Sort 5, r, k.
r, k, 5
Let f(b) = -b**3 - 6*b**2 - 6*b - 4. Let r be f(-4). Let z = -1 + 3. Sort -2, r, z.
r, -2, z
Let w = 0.4 + -1.4. Sort -2/21, -1/9, w in decreasing order.
-2/21, -1/9, w
Let g(p) = -p - 2. Let r be g(-6). Let s be 16/252 - (-2)/9. Sort r, s, -2/9 in descending order.
r, s, -2/9
Let l = 3.5 + -1.8. Let d = l + -0.7. Put 0, 1/2, d in decreasing order.
d, 1/2, 0
Let l(g) = -2*g**3 + g**2 - 2. Let d be l(-1). Put d, -11, 4 in decreasing order.
4, d, -11
Suppose -4 = 3*u + 11. Let k(x) = -x**3 - 5*x**2 + 2. Let g be k(u). Put -3, -1, g in ascending order.
-3, -1, g
Let o be -1 - 1/((-2)/6). Let w be 1 - (4 - 2) - -4. Sort o, w, -2 in ascending order.
-2, o, w
Let d(k) = 10*k**2 + 3*k - 1. Let s be d(-3). Let z be (3/(-2))/(30/s). Sort 3, z, 0.
z, 0, 3
Suppose 4*p + 24 = -2*p. Sort p, 3, 2, -1 in decreasing order.
3, 2, -1, p
Suppose 4*p + 4*m = m + 31, -2*p + 23 = 3*m. Suppose n = -3*n + p. Sort 5, n, -0.4.
-0.4, n, 5
Suppose 3*j = t - 8, 20 = 5*t - 0*t - 5*j. Suppose -3*b + 23 = -4*d, -5*d - 5*b = -t*b - 5. Let k = -2 + 3. Sort k, -3, d in increasing order.
-3, d, k
Suppose -l + 2*l = -4. Sort l, -19, 1 in descending order.
1, l, -19
Let q be 2 + (-8)/(-70) + -2. Let f = q + -2/5. Let o = -2 - -1. Put f, 0.2, o in increasing order.
o, f, 0.2
Let z = 88 + -1322/15. Put 2/5, z, -4 in descending order.
2/5, z, -4
Let u = 4.9 - -1.1. Let y = u - 9. Sort -2, -1/6, y.
y, -2, -1/6
Let o be (0 - 1/3)*-9. Let b be 1 - -1 - (-43 + 54). Put b, o, 4 in decreasing order.
4, o, b
Let y be 6/(-9)*6/(-4). Let x = 0.61 - 0.91. Sort x, y, -7 in decreasing order.
y, x, -7
Let k be ((-2)/(-3))/(8/36). Let w = 0 + 4. Put 6, w, k in decreasing order.
6, w, k
Let a(n) = n + 7. Let v = -32 - -20. Let x be a(v). Sort x, 1, 4 in descending order.
4, 1, x
Let d = -24 + 20. Let w(u) = u**3 - 6*u**2 + 5*u + 1. Let m be w(5). Sort d, m, 4 in descending order.
4, m, d
Suppose -5*h - v - 5 = v, -3*v = 0. Let z = h + 1. Let q be (13/11 + -1)/(-1). Sort -2, q, z in decreasing order.
z, q, -2
Let t = 1 + -0.9. Let a = 41 - 40.5. Let l be (-2 + 2 - -1)/(-8). Sort a, t, l in decreasing order.
a, t, l
Let o = -5.6 + 7.6. Sort 4/7, -3/5, 1, o in descending order.
o, 1, 4/7, -3/5
Let n = -8 + 8. Sort 64, n, 5, -4 in increasing order.
-4, n, 5, 64
Let i = 0.04 + 2.96. Let k = i - -5. Sort -3, k, 0.1 in increasing order.
-3, 0.1, k
Let i = -28.15 - -0.15. Let m = i + 33. Put m, -1/9, 4/5 in ascending order.
-1/9, 4/5, m
Let q = 58.4 - 47. Let x = -11 + q. Put -3, x, 1/2 in ascending order.
-3, x, 1/2
Let w = -0.069 - 0.011. Sort