der.
z, n, -0.4
Let s = -30 + 31. Sort -4, s, -3, -1 in descending order.
s, -1, -3, -4
Suppose 3*a - 2*x = -4*x + 16, -21 = -4*a - 3*x. Suppose a*l = 2*l + 12. Sort -3, 7, l in decreasing order.
7, l, -3
Let m(h) = 31*h**2 - 1. Let n be m(1). Let z be 10/(-6) + (-10)/n. Put -1, 5, z in ascending order.
z, -1, 5
Let x = 4.14 + -0.14. Let g = 0 + 0. Let h = 0.2 - g. Sort 1/9, h, x in descending order.
x, h, 1/9
Let i be (0 - -1)/(1/2). Let j(y) = -y - 10. Let w be j(-8). Suppose 0 = -q - s, 6*s = s. Sort w, q, i in decreasing order.
i, q, w
Let k = -1 + -3. Let x = k + 7. Sort -2, x, 2 in ascending order.
-2, 2, x
Suppose -7 - 3 = -5*o, 4*k - 5*o - 2 = 0. Let s = 6 - 3. Suppose k*c + 2*u = 7*u - 15, 4*u = -s*c + 12. Sort -3, c, 1 in decreasing order.
1, c, -3
Let i = -1/46688 + -184230843/233440. Let y = i + 10103/15. Let j = -114 - y. Sort j, -0.5, 1 in ascending order.
-0.5, 1, j
Suppose 0 = 3*p - p - 4, 0 = -z + 5*p - 7. Put z, -2/5, 7/3 in increasing order.
-2/5, 7/3, z
Let m(u) = -3*u + 18. Let y be m(8). Put y, -5, -4 in decreasing order.
-4, -5, y
Let c(k) = -22*k - 1. Let w be c(-1). Let u be (-15)/w + 12/(-42). Sort -3, u, -1/2 in descending order.
-1/2, u, -3
Let c = 0.5 + -0.9. Let d = -2.3 + 11. Let s = d - 9. Put c, s, 2 in increasing order.
c, s, 2
Let j = 82/15 - 28/5. Let n be 14 + (-1)/(-2)*4. Let i = n + -65/4. Sort i, j, -4 in increasing order.
-4, i, j
Suppose -11*u - 7 = 4. Let p = 0 - 3/4. Sort p, 1/5, u in decreasing order.
1/5, p, u
Suppose -15 = -3*v - 2*v. Let b = -8.3 + 8. Let p = -4.3 - b. Put p, v, -1 in descending order.
v, -1, p
Suppose -5*n - 40 + 140 = 0. Suppose 5*r - 2*z - 6 = 0, 5*r - n + 4 = -3*z. Let o = -178 + 174. Sort r, 5, o in descending order.
5, r, o
Suppose 0 = -4*t + 2*t + 12. Suppose -t*q + q - 10 = 0. Let r = 16 - 15. Sort q, r, 5 in ascending order.
q, r, 5
Suppose 3*m = 7 + 2. Sort m, -8, 5.
-8, m, 5
Let x(n) = -n**3 - 4*n**2 - 5. Let m be x(-4). Put m, 1/2, 2/5 in descending order.
1/2, 2/5, m
Let r = -96/5 + 19. Let z be -1 + (1 - ((-10)/(-8) - 1)). Sort 0.4, z, r in decreasing order.
0.4, r, z
Suppose 0 = 3*i - 7 + 1. Sort i, 26, 5 in ascending order.
i, 5, 26
Let t(q) = q - 18. Let s(n) = n - 9. Let z(a) = -5*s(a) + 3*t(a). Let p be z(-6). Sort 0, p, 5 in decreasing order.
5, p, 0
Let f(l) = l**2 + 11*l + 1. Let x be f(-11). Sort -1, x, 4.
-1, x, 4
Let w = -4 + -1. Put -3, w, -1 in decreasing order.
-1, -3, w
Let z be (-2)/(-19) - 0/(-3). Let w = 0.07 - 0.07. Put -1/4, w, z in decreasing order.
z, w, -1/4
Let s be (4 - -1)*(-31)/(-31). Sort s, 4, 7.
4, s, 7
Let a = -165 + 165. Put -0.07, 2/9, a, 5 in descending order.
5, 2/9, a, -0.07
Let g be (-3)/(2 - (-1 + (-21)/(-8))). Sort g, -2, 1 in descending order.
1, -2, g
Let k = 64 + -71. Let f = -2.2 + 2. Put k, f, -2/3 in decreasing order.
f, -2/3, k
Let s = 5 - 6. Let i = s + 6. Let z be (0 - -1)*(-4 - -1). Put z, i, -2 in decreasing order.
i, -2, z
Let b = -15 + 22.5. Let d = -8 + b. Let y = 0 - -4. Sort -4, y, d in ascending order.
-4, d, y
Let z be 7/(-3)*(45/3 - -3). Put -2, -4, z in descending order.
-2, -4, z
Let u = -142 - -146. Put 0, u, 8, -7 in decreasing order.
8, u, 0, -7
Suppose 4*l + 0*l = 0. Let q = 54 + -49. Suppose -c - q = -l*c. Put c, -4, 0 in decreasing order.
0, -4, c
Let l = -20 + 29. Suppose 1 = u, 4*i + u - 7 = 6*u. Let w be l/(-6)*i/9. Put 0.1, 5, w in increasing order.
w, 0.1, 5
Let h be (-2)/4 - 5/20. Let q(y) = -5*y**2 + y. Let x be q(1). Put -5, h, x in descending order.
h, x, -5
Let c = 7 + -3. Let n = -10 - -5. Let w = -5 + 3. Put w, n, c in increasing order.
n, w, c
Suppose 2*z + 6 = 12. Let h = 12 + -7. Sort h, z, 2.
2, z, h
Let t = -11 - -13.3. Let f = 0.2 + -0.5. Let r = t + f. Sort r, 5, 4 in decreasing order.
5, 4, r
Let h = -117 + 120. Let o = 72 + -214/3. Sort o, h, -1/2 in ascending order.
-1/2, o, h
Let c(v) = -v**3 + 8*v**2 - 5. Let a be c(8). Put -34, 0, a in decreasing order.
0, a, -34
Suppose -3*g - g = 8. Put 2, g, 5 in increasing order.
g, 2, 5
Let i(l) = l**3 - 5*l**2 + 5*l - 6. Suppose -3*t = -0*t - 12. Let s be i(t). Let n be ((-8)/(-6))/(s/6). Sort n, 4/7, 0.1 in descending order.
4/7, 0.1, n
Let a(u) = -6*u**2 + 2 - 1 + 2*u**2. Let b be a(1). Put 1, 5, b in descending order.
5, 1, b
Let s be (2 - (0 + 3))*-6. Suppose t = s*t + 20. Suppose 0 = -0*p + 3*p - 15. Sort t, p, 0 in decreasing order.
p, 0, t
Let y = -3 - 0. Let u be 55/(-20) - (-2)/(-8). Let j be 3/18 + 1/u. Put y, j, -2/3 in descending order.
j, -2/3, y
Let f be (-3 + 4)/(2/4). Let s be ((-15)/(-6))/(f/4). Suppose 0 = -5*q - 3*n - 16, 2*q + 2*q - s*n = 2. Sort q, 4, -4 in ascending order.
-4, q, 4
Let r be (-2 - -1)*(-4 + (-31)/(-7)). Put 0, r, 0.1, -1 in descending order.
0.1, 0, r, -1
Suppose 0 = 4*y + y - 3*n - 25, 5*y = 5*n + 25. Put -2, y, 4 in descending order.
y, 4, -2
Let j = 13.4 + -13.2. Put j, -10, 5, 2/9 in increasing order.
-10, j, 2/9, 5
Suppose -k + 110 = 5*h, 2*k = -3*h - 2*k + 83. Let t be (-16)/6 - (-14)/h. Let i = t + 4. Sort -1, -2, i in decreasing order.
i, -1, -2
Let y(f) = -f**3 - 5*f**2 - 4*f - 4. Let j be y(-5). Let z be 2/3 - j/6. Let w(b) = b**2 - 11*b + 14. Let s be w(10). Sort s, -5, z.
-5, z, s
Let g = -8 - -11. Let l = g - 2.6. Sort l, 2, 5 in increasing order.
l, 2, 5
Let f = 3 - 2.8. Let d = 0.72 + -0.12. Let u = d - 0.2. Sort f, u, -0.1 in decreasing order.
u, f, -0.1
Suppose 48 = -4*c - 0*c. Let s be 3/((-1)/(8/c)). Suppose 10 = 5*h + 5*v - 20, 0 = 5*h - 2*v - 9. Put 5, s, h in increasing order.
s, h, 5
Suppose -4*o + 4*d - 2*d - 16 = 0, d + 20 = -5*o. Let x be (1/(-3))/(4/12). Put o, 1, x in increasing order.
o, x, 1
Suppose w = -w. Let g(c) = c**3 - c**2 + 5. Let k be g(w). Suppose 8*q - 3*q = k*v - 10, 5*v = 3*q + 12. Sort -3, v, 4.
-3, v, 4
Suppose 6 = 2*v - 0*v. Sort -5, v, 5 in ascending order.
-5, v, 5
Let n = 3.11 + -3. Let c = 0.09 + n. Put c, -2/9, 0.5 in descending order.
0.5, c, -2/9
Suppose 2*n - c = 3, 3*n - 5 + 2 = 2*c. Put n, 2, -2/19 in descending order.
n, 2, -2/19
Let d = 0 - -0.3. Put d, -2, 0.5 in decreasing order.
0.5, d, -2
Let p = 25 + -22. Put p, -0.2, -3 in increasing order.
-3, -0.2, p
Let m = -22 + 25. Sort 2, m, 0.
0, 2, m
Let o be 4/(-10) + (-18)/5. Let n = -5 - o. Let w be n/(-2) - 42/(-12). Put -1, w, -5 in descending order.
w, -1, -5
Suppose -10 = -3*g - 2*l - 3*l, -l + 2 = 5*g. Suppose g = 4*z - z - 6, -4*w - 4*z - 12 = 0. Let t(o) = -o - 3. Let n be t(-3). Put -3, n, w in ascending order.
w, -3, n
Suppose n = -5*p, 2*n + 3*p - 3 = 4. Suppose -3*t = -b - 6 - 3, 21 = -5*b + 3*t. Put n, b, 4 in increasing order.
b, 4, n
Let i = -4 - -4.4. Let l = 5.4 - i. Sort 0.3, l, 1/6 in decreasing order.
l, 0.3, 1/6
Let j = -7 - -3. Let o(c) = c**3 - 4*c**2 + 3*c + 1. Let d be o(3). Put j, 0, d in descending order.
d, 0, j
Let q = -4 + 9. Let t = -5.1 + q. Put 1/4, -5, t in decreasing order.
1/4, t, -5
Suppose 3*h - 2*o + 3*o - 3 = 0, -6 = -4*h - 2*o. Let w = 13 - 8. Suppose 0 = 4*p - 2*l + 10, 10 = -p + w*l - 6. Put p, h, 4 in ascending order.
p, h, 4
Let b = 66 - 71. Put -2, b, 1 in decreasing order.
1, -2, b
Let w(n) = -n**2 + 9*n - 3. Let s be w(8). Suppose -4*u + 15 = -2*t - u, -s*u = -2*t - 21. Put -5, 3/8, t in ascending order.
-5, t, 3/8
Let w(g) = -2*g + 9. Let s be w(4). Sort -2, s, -3.
-3, -2, s
Let s be (1136/(-28) - 2)*-5. Let l(g) = g**3 - g**2 - 212. Let d be l(0). Let u = d + s. Sort -0.2, u, -2/17 in ascending order.
-0.2, -2/17, u
Let c(x) be the second derivative of -x**5/20 - x**4/2 + 7*x**3/6 - 5*x**2/2 + x. Let r be c(-7). Let u = -8 - -5. Sort 0, r, u.
r, u, 0
Let s = -5/27 - 2/135. Let u(z) = z - 5. Let w be u(6). Sort w, -0.3, s.
-0.3, s, w
Let x = 41287/188 - 910/47. Let i = 199 - x. Suppose -k = 2*k. Sort i, k, -4/3 in increasing order.
-4/3, i, k
Let g = 9.4 - 9. Let t = 5 - 9. Put 2, t, g in decreasing order.
2, g, t
Suppose -d + 0*l - l - 2 = 0, -d - 14 = -3*l. Suppose 1 = 3*g - 2*g. Let q be (0 - 2) + 5*g. Sort q, -3, d in increasing order.
d, -3, q
Let q = -0.68 + -0.22. Let b = q - -1.4. Let f = -1.5 + b. Put 0.1, 2/9, f in decreasing order.
2/9, 0.1, f
Let z = 11 - 10.97. Let a = 11/9 - 73/45. Sort 1/6, z, a.
a, z, 1/6
Suppose 5*d + 17 = l + 41, 0 = -2*d + 4*l + 6. Put -3, 3, d in increasing order.
-3, 3, d
Suppose 2*q + 2*s - 4*s = 6, -q 