der.
y, -3, s
Let w(u) = -u**3 - u**2 + 4. Let h be -1 + (-1 - -2) + 27 + -27. Let y be w(h). Suppose 0*c = -4*c. Sort y, c, -4 in descending order.
y, c, -4
Let i = 0.3 + 0. Suppose m + 12 = 4*m. Let u = 22 - 21. Sort u, m, i in descending order.
m, u, i
Let j(v) = -v**3 + 22*v**2 - 39*v - 23. Let b be j(20). Put -1, b, 7, -4 in decreasing order.
7, -1, b, -4
Let w(u) be the second derivative of u**5/20 + 5*u**4/6 + u**3/6 + 7*u**2 + 5*u. Suppose 0 = 5*y - 14 + 64. Let g be w(y). Sort -10, 1, g in descending order.
g, 1, -10
Let j = -24.5 - -24.5. Sort -0.7, j, -11, -1/5 in decreasing order.
j, -1/5, -0.7, -11
Suppose 235 = 10*c + 285. Put c, 10, -0.074 in descending order.
10, -0.074, c
Let a = 12 + -11.98. Let n = a + -0.32. Let r = n + 0. Sort -0.5, r, -1 in decreasing order.
r, -0.5, -1
Let t be (-138)/(-12) - (9/(-6))/(-1). Put 5, 0, t in ascending order.
0, 5, t
Suppose 57 = 170*d - 189*d. Let k = 5 - 0. Put 1, k, d in decreasing order.
k, 1, d
Suppose -217*i + 247*i = 0. Suppose 5*f + 10 = z, -3*z + 2*f + 21 = -6*z. Sort 0.2, i, z.
z, i, 0.2
Let q = 992 - 996. Sort 12, 5, q, 4 in increasing order.
q, 4, 5, 12
Suppose -25 = 5*g - 5*r, -3*r = -2*g - 14 + 3. Let u be 2 - (1/(-1) + 1). Suppose 5*y - z = 28, -26 = -4*y + 4*z - u*z. Sort 9, y, g in increasing order.
g, y, 9
Suppose -3 = -2*v + s, -213*s + 10 = 3*v - 209*s. Put v, 1, -80 in ascending order.
-80, 1, v
Let q(b) = b**3 - 3*b**2 - 15*b + 20. Let t be q(5). Put t, -9, -2 in decreasing order.
-2, t, -9
Let b be (-416)/(-72) + -6 + (-4)/(-9). Put b, -1/4, -46, -0.5 in decreasing order.
b, -1/4, -0.5, -46
Let m = 124 + -47. Let l = -41 + m. Suppose 0 = 5*v - 5*b + 39 + l, 90 = -4*v - 2*b. Put v, -1, -3 in increasing order.
v, -3, -1
Let k(s) = -s + 6 + 2*s + s. Let x be k(4). Let r be 25/(-14) + x/49. Put 0, -0.2, r in descending order.
0, -0.2, r
Suppose 12*u - 14*u + 2 = 0. Let w be 2/5 + u/(-5). Sort -3, 8, w, -2 in ascending order.
-3, -2, w, 8
Let l(t) = 4*t + 15. Let n(f) = 5*f + 15. Let x(r) = -6*l(r) + 5*n(r). Let u be x(0). Let m = u - -11. Sort m, -3, 3.
m, -3, 3
Suppose 0 = -3*l + 3, 3*l + 6 = 3*h - 18. Suppose y - h = -m, 2*y + 2 - 15 = -m. Put 6, -4, m in decreasing order.
6, m, -4
Let k = 1069.19 + 1.81. Let b = -1082.89 + k. Let q = b - 0.11. Sort 0.4, 5, q.
q, 0.4, 5
Let m = 4 + -3.7. Let j = 2.1 + -1.9. Let d = -0.3 - -0.3. Sort j, d, m in ascending order.
d, j, m
Let a = 16 + -12. Let m be (a - 8) + 6 + 0. Sort -8, 4, m.
-8, m, 4
Let l be 2*-1*12/(-40). Let w = 1.252 - 5.252. Sort -5, w, l, 5 in decreasing order.
5, l, w, -5
Suppose 0 = -5*g - 3*y + 12, 4*g + 0*g = 4*y + 16. Suppose -g*q + 8 = 4*b, -7*b = -3*b + q. Let r = 4 - 0. Put b, 2, r in descending order.
r, 2, b
Let y = -22 - -22. Suppose -3*v + 0*v + 12 = y. Suppose -24 = -2*a - v*l, 0 = -4*a - a + 2*l. Put 8, 0.1, a in descending order.
8, a, 0.1
Let g = 1 + -1.1. Let z = -0.046 - -0.346. Let l = z + -1.3. Sort g, l, 2/9 in decreasing order.
2/9, g, l
Suppose 11*g + 16*g - 162 = 0. Sort g, 42, 0 in decreasing order.
42, g, 0
Let x(l) = 2*l - 9. Let r be x(6). Let u(f) = 4*f + 13. Suppose 3*s - 2*j - 2*j - 8 = 0, 4*s + 4*j + 36 = 0. Let c be u(s). Put r, c, 1 in decreasing order.
r, 1, c
Let v(i) = -i**2 + 7*i - 2. Let p = 13 + -7. Let h be v(p). Suppose 2*r + 8 = h*r. Put -1, r, 0 in ascending order.
-1, 0, r
Let q(a) = 22*a - 127. Let i be q(6). Put 2, -56, 3, i in ascending order.
-56, 2, 3, i
Let m be (-66)/40 - -2 - (-21)/84. Sort 5, m, -11.
-11, m, 5
Let r be (((-5)/175)/(15/(-315)))/((-2)/(-10)). Suppose -16 = -4*k - 2*b, -2*k + 2*b = 3*k - 29. Put r, 2, -5, k in descending order.
k, r, 2, -5
Suppose 68 + 7 = -3*d. Let r = d - -29. Sort -4, -1, r in ascending order.
-4, -1, r
Let u = 13 - 7. Let v be (12/(-36))/(1/u). Let q(h) = -h**2 + 2*h + 4. Let g be q(3). Put 4, g, v in increasing order.
v, g, 4
Let r = -1841.078 + 1836. Let f = r - -0.078. Let t = 3 + -3.5. Put -1/10, f, t in ascending order.
f, t, -1/10
Let t be (-6 - -7)*(0 + 4). Put 1, t, 5 in increasing order.
1, t, 5
Suppose -h - h = -12. Let s(p) = -p**2 + 8*p - 6. Let u be s(h). Suppose 15 = -9*l + u*l. Put 2, -3, l in decreasing order.
2, -3, l
Let g be (-2)/(-8)*1 - 0. Let t = -6.7 - -2.7. Let c = 29 - 28. Put c, g, t in decreasing order.
c, g, t
Let k(g) = g**3 - 14*g**2 + 28*g - 50. Let b be k(12). Let l = 9 - 7. Sort 5, b, l, -21 in increasing order.
-21, b, l, 5
Suppose -4*d = -4*s - 4, -2*d - 10 = 5*s - 26. Let m = -2 - 9. Let p(w) = w**3 + 10*w**2 - 11*w - 2. Let y be p(m). Put y, 1, d in descending order.
d, 1, y
Let g = 0.4 + -0.8. Let u = 0.008 + -0.108. Sort u, 1.4, g.
g, u, 1.4
Suppose 0 = -7*c + 8*c + 12. Let o = -8 - -5. Put c, o, -5 in ascending order.
c, -5, o
Let i be (-20)/(-22) - 46/(-506). Sort -4, 2, -9, i in descending order.
2, i, -4, -9
Let t(j) = -j - 11. Let u be t(-5). Let c(f) = -4*f - 81. Let m be c(-21). Sort m, u, 5.
u, m, 5
Let o(c) = -c**2 - 7*c + 34. Let k be o(-10). Put -3, -2/5, k, -0.3 in increasing order.
-3, -2/5, -0.3, k
Let l(a) = a**3 + 32*a**2 + 2*a + 70. Let i be l(-32). Sort i, -4, 1, -5 in descending order.
i, 1, -4, -5
Let o(a) = a + 12. Let c be o(-11). Let b(f) = 2*f + 59. Let h be b(-30). Put h, 2, -4, c in descending order.
2, c, h, -4
Let r = -51 - -51.101. Let i = r + 0.099. Sort i, 1, 1/2, -0.1 in decreasing order.
1, 1/2, i, -0.1
Let t = 334 - 330.89. Let b = t + 0.89. Sort -5, b, -2, -1/3.
-5, -2, -1/3, b
Suppose z + 35 + 10 = 0. Sort -5, 0, z.
z, -5, 0
Let d(u) = -u**3 - 5*u**2 - u - 1. Let g be d(-5). Let q be 1/(-4 - (g - (-476)/(-60))). Sort 4, -0.4, q.
q, -0.4, 4
Let n = 966 + -962. Sort n, -4, 6 in decreasing order.
6, n, -4
Let m be ((-62)/(-5))/((-128)/320). Put -4, m, 4, -3 in increasing order.
m, -4, -3, 4
Let z = 0.1 - 0.5. Let c be 20*(361/570 - 2/15). Sort 0.4, c, 3, z in ascending order.
z, 0.4, 3, c
Let y be (-4)/14 - -6*(-120)/126. Let u be (-6 - (-4 - 3))*4. Sort y, 1, u, -5 in descending order.
u, 1, -5, y
Let x be -8 + (-9)/((-486)/444). Put 11, -3/7, x in ascending order.
-3/7, x, 11
Let x = -0.051 - -0.451. Let n = -0.13 - 0.37. Sort x, 1/2, n in descending order.
1/2, x, n
Let w = -287/2 + 144. Sort 1, w, -1/4, -3 in increasing order.
-3, -1/4, w, 1
Let i(u) = -u**3 - 6*u**2 + 7*u - 6. Let f be i(-7). Let l(r) = -2*r - 10. Let m be l(f). Suppose -m*z = 3*z - 20. Sort z, 3, -5 in increasing order.
-5, 3, z
Let v(f) = -3*f**3 + 28*f**2 - 9*f + 2. Let u be v(9). Put -8, 6, u in descending order.
6, u, -8
Let t = 21.2 + -24.2. Put -5, -0.4, t in decreasing order.
-0.4, t, -5
Let l be 78/(-13) + 6/2. Let x be 40/25 - (-4)/10. Put -2/3, -0.5, x, l in increasing order.
l, -2/3, -0.5, x
Let j be (-4 - 59/(-14))/((-48)/56). Sort 2/11, 1/6, 0.1, j.
j, 0.1, 1/6, 2/11
Let s be (-18)/(2 + 1) + (-54)/(-9). Sort 5, -8, -5, s in descending order.
5, s, -5, -8
Suppose 0 = 2*f - 11 - 1. Let u be -4 - 4*(-9)/f. Put 3, 5, u in ascending order.
u, 3, 5
Suppose 20*p = 2*p - 36. Sort p, 5, -5, 4 in decreasing order.
5, 4, p, -5
Let k = -65 + 40. Let v be (45/k - -1)*1. Sort 1.9, v, -1/8.
v, -1/8, 1.9
Let n(q) = -q**2 + 9*q - 10. Let l be n(7). Suppose 5*p + 6 = -2*z, 14*p - 9*p = 2*z - 14. Sort 2, p, l, 1.
p, 1, 2, l
Let d = -262 - -262.4. Put 1, -2, d in decreasing order.
1, d, -2
Suppose 0 = 5*l + 7 - 72. Suppose 12*r - l*r + 18 = 0. Suppose -4 = -3*t - 2*h - r, 0 = t - 2*h - 6. Put t, -0.4, -0.1 in increasing order.
t, -0.4, -0.1
Let f(z) = -z**2 + 16*z - 50. Let j be f(6). Suppose j - 15 = 5*n. Sort -3, 3, n, 2 in ascending order.
-3, n, 2, 3
Let x = -35 + 34.9. Let h = -3.7 - -3.3. Let y = -6 + 3. Sort h, x, y.
y, h, x
Let n = 1.5 - 2. Let o = 76 - 79. Let w = o - -2.9. Sort -2, w, n in descending order.
w, n, -2
Let d = -61 - -61. Put -2, 1/2, -0.12, d in decreasing order.
1/2, d, -0.12, -2
Let s be ((-1)/(-4))/((-3)/12*3). Suppose 2*v = 4*v - 8. Suppose 0 = -3*d + d + v, 0 = -5*f + 3*d + 9. Sort f, -0.02, s in increasing order.
s, -0.02, f
Let v = -3.86 + 4.2. Sort 1/2, v, 0, 2/3 in decreasing order.
2/3, 1/2, v, 0
Let i = -7 - -2. Let w(g) = 13*g**2 + 8*g - 14. Let x(s) = -10*s**2 - 7*s + 11. Let q(v) = 3*w(v) + 4*x(v). Let k be q(i). Sort -2, k, 5.
k, -2, 5
Suppose c + 7*c + 352 = 0. Let z be (-20)/(-11) - 8/c. Put z, 5, 7, -1 in decreasing order.
7, 5, z, -1
Let o(k) 