der.
r, -4, x
Suppose -4*r = -9 + 1. Let l(j) be the third derivative of -j**6/120 + 2*j**5/15 - j**4/3 + j**3/2 - 4*j**2. Let z be l(7). Sort z, 4, r in increasing order.
z, r, 4
Suppose 5*r = 3*d - 44, -d - r = 2*r - 24. Let u be ((-2)/4)/(d/(-12)). Sort -1, u, 2/21 in descending order.
u, 2/21, -1
Let v be (1 - 2)/((-2)/10). Let u(w) = -w**2 - 13*w - 5. Let n be u(-13). Sort -1, n, v in descending order.
v, -1, n
Let n be (-2)/4 + 3/2. Let b = 0 + n. Let z be (b - 0)/((-2)/(-6)). Sort z, -3, -2 in decreasing order.
z, -2, -3
Let p = -1 - 0. Sort 2, 5, p in increasing order.
p, 2, 5
Let q = -5 + 11. Suppose -3*s + q*s = 6. Let x = -0.57 - 0.43. Put s, -0.5, x in increasing order.
x, -0.5, s
Let g = 9 + -4. Suppose 0 = -4*d + 2*k + 12 - 2, 12 = g*d - 3*k. Suppose 4*u - 12 = -4*t, -4*u + 14 = -t - 3. Sort d, 1/2, t in descending order.
d, 1/2, t
Let n = 21 + -18. Suppose 0 = -n*u + 8*u + 15. Suppose 8 = -q - q. Put -1, u, q in descending order.
-1, u, q
Let a = -9 - 0. Let f = -13 - a. Sort 0.1, -0.3, f in decreasing order.
0.1, -0.3, f
Let u = 214 - 217. Let k = 1 + 1. Sort u, k, 2/9 in decreasing order.
k, 2/9, u
Let v(m) = m**2 - 5*m - 6. Let y be v(6). Let k(l) be the second derivative of -l**4/12 - l**3/6 - 2*l**2 - l. Let f be k(y). Sort -2, f, 3.
f, -2, 3
Let d be (8/(-10))/(2/(-10)). Suppose -d*y = -3*y + 3. Put -4, -5, y in descending order.
y, -4, -5
Let d = 3 - 4. Let x be 2/(d*1/(-2)). Put x, -1, 3 in descending order.
x, 3, -1
Let q be (3/3)/(1/5). Let o = 11 - -12. Suppose -4*w - o + 6 = q*l, w = 3*l. Put 5, w, -2 in increasing order.
w, -2, 5
Suppose 4*d - 5 - 3 = -o, -3*d + 1 = 2*o. Suppose -3*q + 10 = -q, -2*g + 11 = 3*q. Put -3, g, d in descending order.
d, g, -3
Suppose 3*h = -3 - 3. Let r = 8 + -5. Let k(x) = 3*x - 4. Let f be k(r). Sort h, f, 2 in ascending order.
h, 2, f
Suppose -3*s + 2*s + 3 = 0. Suppose r = -2*a - 2*r - 5, -a - s*r - 1 = 0. Put a, 5, -0.5 in descending order.
5, -0.5, a
Let a = 2/263 + 781/1052. Sort 5, a, -5 in descending order.
5, a, -5
Let a = 34 - 29. Let p be 2 + (1 - 4 - 2). Put p, a, -4 in ascending order.
-4, p, a
Let m = -0.1 - 5.1. Let h = -0.2 - m. Let u = h - 1. Sort u, -0.2, -4 in increasing order.
-4, -0.2, u
Suppose 8 + 4 = 3*q. Suppose -q*p + 3*f + 12 = -13, -5*p + 4*f + 32 = 0. Suppose -2*w + 5 = 2*d - w, 0 = 5*d - p*w - 6. Sort -1, 0, d in increasing order.
-1, 0, d
Suppose 0 = 5*s - 3*h + 27, 4*s + 6*h + 4 = 4*h. Let m(i) = -i + 1. Let u be m(-2). Suppose 4*g + 20 = 4*l, -5*g - 8 = -u. Sort l, 0, s in increasing order.
s, 0, l
Let k = -79 + 78.9. Sort -3/7, k, 2 in increasing order.
-3/7, k, 2
Let z = -18.2 - -17. Put z, -3, 2/7, 0.1 in increasing order.
-3, z, 0.1, 2/7
Let s = 254/5 - 51. Put -5/2, 8, s in increasing order.
-5/2, s, 8
Let k be (6/21)/((-2)/(-28)). Suppose 0*c = 4*h - 4*c - 8, -5*h + 4*c + 13 = 0. Suppose -b = -h*b + 4, 0 = -s + 4*b - 8. Sort 5, k, s in decreasing order.
5, k, s
Suppose 2*v - l + 9 = -3*v, 5*l - 22 = 2*v. Put -4, v, 0 in increasing order.
-4, v, 0
Let c(a) = -a + 7. Let p be c(4). Sort -2, p, 4 in ascending order.
-2, p, 4
Let l(i) = 19*i - 8. Let b be l(-19). Let y = 7751/21 + b. Let p = 449/6 - 75. Sort p, 5, y.
p, y, 5
Let i = -29 + 34. Let m = -6 + 2. Sort 1, m, i in descending order.
i, 1, m
Let r be -2 + ((-10)/2 - -2). Let j = 2 + -1. Sort r, j, -2 in descending order.
j, -2, r
Let o = -6 + 9. Let q be 1/(-1) - 12/(-3). Let u(z) = -z**2 + 5*z - 2. Let g be u(q). Sort g, o, 0.1 in decreasing order.
g, o, 0.1
Let b = 1 + 0. Put b, -1, 4 in increasing order.
-1, b, 4
Let g(i) = 12*i**2 - i + 1. Let h be g(1). Suppose 4*z - 12 = 4*u, -u + 2*u - 4*z + h = 0. Let c be 3 + 1 + u - -1. Put -4, -5, c in ascending order.
-5, -4, c
Let a be (54/(-45))/((-3)/10). Sort a, -4, 0 in ascending order.
-4, 0, a
Suppose s + 4*s + 450 = 0. Let l be -1 + 1/7*635. Let z = l + s. Put 0, 0.2, z in decreasing order.
0.2, 0, z
Let q = -3 + 7. Let j(l) = -l**2 - 6*l + 3. Let d be j(-6). Suppose 11 + 0 = 2*x + d*t, -4*x + 17 = 5*t. Sort x, -3, q.
-3, x, q
Let c = 3 + -5. Let q = 0 - 0. Let j = 15 - 10. Sort c, j, q in descending order.
j, q, c
Let t be (-10)/(2 - 0)*(-3 - -2). Sort t, -5, -2 in increasing order.
-5, -2, t
Suppose 2*p = 2 + 2. Let s(q) = -q**2 - 3*q + 4. Suppose -4*z + 5*v = -0*z + 11, 15 = -5*z + 5*v. Let h be s(z). Put -1, h, p in decreasing order.
p, h, -1
Let c = -12 - -14. Sort 0.3, c, 3 in decreasing order.
3, c, 0.3
Let s = 14 + -10. Sort -2/15, 2/3, -0.2, s in descending order.
s, 2/3, -2/15, -0.2
Let j = -62 + 249/4. Let b be 17/(-33) + 1/3. Let k = -21/38 - -1/19. Put k, b, j in descending order.
j, b, k
Let w(k) = k + 3 + 0 - 6 - 2*k. Let c be w(-7). Put -1, c, -2 in ascending order.
-2, -1, c
Let l = -0.4 - -0.6. Put 0.04, l, -4 in ascending order.
-4, 0.04, l
Let a = 73/2 + -361/10. Let u = -0.5 + 0.3. Let i = u - 0.3. Sort a, 1, i in decreasing order.
1, a, i
Suppose k - 5*z = 58, 4*z + 54 = k + z. Let g = -93/2 + k. Sort 3, g, 0.3 in decreasing order.
3, g, 0.3
Suppose -4*x + 0 = -b - 4, 0 = -4*x - 4*b - 16. Put -3, 4, -2, x in increasing order.
-3, -2, x, 4
Let r(a) = 7*a - 93. Let n be r(13). Let l = -6 + 12. Suppose -l*k = -k + 20. Sort 0, n, k.
k, n, 0
Let l = -6.49 + 1.51. Let j = l - 0.02. Let y = -0.353 + -0.047. Sort y, j, -2/3 in descending order.
y, -2/3, j
Let s(f) = f + 6. Let x be s(-6). Sort -5, x, 41 in descending order.
41, x, -5
Let b = -43 + 41. Put -5, b, 0.2 in increasing order.
-5, b, 0.2
Let s be 20/35*(-18)/8. Let a = 20/21 + s. Let m = -11 + 15. Put a, m, -3 in descending order.
m, a, -3
Let d be (12/(-5))/((-6)/(-20)). Let a = d + 10. Sort a, 5, 0 in decreasing order.
5, a, 0
Suppose c + 15 = 4*c. Sort -4, 0, -2, c.
-4, -2, 0, c
Let s(d) = -d**2 - 5*d - 4. Let i be s(-4). Let n(z) = z**2 - z + 3. Let l be n(0). Sort 2, i, l in ascending order.
i, 2, l
Let m be 0 - 7/4 - -2. Let c = 0 + 0. Let q = -6 + 5.6. Sort q, c, m in decreasing order.
m, c, q
Let p = -34 + -17. Put 1, p, -1 in ascending order.
p, -1, 1
Let r = 242.3 - 233. Let u = -9 + r. Sort 0.1, 0, u in decreasing order.
u, 0.1, 0
Let p = -0.7 - -0.7. Put p, 2/3, 2, 6 in decreasing order.
6, 2, 2/3, p
Suppose 0 = -5*t - 18 + 38. Put -1, t, 5 in ascending order.
-1, t, 5
Suppose 2*f - 2 = -12. Suppose 0 = 4*r - 5*x + 36, -7*x = -2*r - 3*x - 24. Let b = 5 - 5. Put r, b, f in decreasing order.
b, r, f
Let s be (-10)/55 - (-14)/(-44). Let b = -1.86 - 0.12. Let j = b + -0.02. Put s, 2/3, j in decreasing order.
2/3, s, j
Let r = 27 - 23. Suppose r*u - 5 + 15 = 5*x, -3*x - 26 = 4*u. Sort 4, 3, x.
x, 3, 4
Let p = -76 - -34. Sort 5, 0, p, 1.
p, 0, 1, 5
Let r = -3 - -5. Let z = -15 - -27. Suppose r*h + 3*b + z = 7*h, 5*h + 3*b + 12 = 0. Put -3, 5, h in increasing order.
-3, h, 5
Suppose 4 = -0*s + s. Let f = s - 5. Put -0.5, f, 3 in decreasing order.
3, -0.5, f
Let s = 2 - 7. Let m = -11.4 - -11. Let x = m - -0.8. Sort s, x, 0.
s, 0, x
Suppose 1 = 2*o - 3*o. Sort 1/4, 3/5, o.
o, 1/4, 3/5
Let f(l) = -l + 12. Let v be f(9). Let r be (-5 + 3/v)/2. Sort 2, -4, r in increasing order.
-4, r, 2
Let j = 0.4 + 0.1. Let i = -7 + 5.8. Let t = i - 0.8. Sort t, j, -1 in increasing order.
t, -1, j
Suppose -2*u - 2*n = -4, u + n - 12 = -2*u. Suppose -2*c - 2*p = -16, 0 = -5*c + p + 14 - 4. Let j be 2/(3*-2)*c. Sort u, 7, j in decreasing order.
7, u, j
Let x = -81 - -83. Put 5, x, -1 in ascending order.
-1, x, 5
Let o be 0*(-2 - 9/(-3)). Let k = -3 - -6. Put -1, o, k in decreasing order.
k, o, -1
Let q(x) = -2*x + 11. Let g be q(4). Put -3, 0, g in ascending order.
-3, 0, g
Suppose d - 20 = -3*d. Let x = -92 + 553/6. Let f = 864.7 - 865. Sort d, f, x in descending order.
d, x, f
Let y be (-2)/7 + 37/7. Suppose -9 - 1 = 3*f - y*g, -4*f - 2*g = -30. Put f, -3, 1 in descending order.
f, 1, -3
Let u be 6/(-30) - 21/(-5). Let n be (-4)/(8/6)*1. Put 2, u, n in increasing order.
n, 2, u
Let q be (-1 - -3)*(-3 - -1). Let c = -1 - -5. Sort c, q, -1.
q, -1, c
Let x = -2 + 2. Let g = 5 - 2. Suppose -z + g = -0*z. Sort 1, z, x in decreasing order.
z, 1, x
Let g = -1.25 - -0.4. Let h = -0.05 - g. Let p = h + -0.6. Put p, 1, -0.1 in descending order.
1, p, -0.1
Suppose -3*q + 11 = 5*d, -3 = d - 0*d - 2*q. Put d, 2, 3 in descending order.
3, 2, d
Let g = 6 - 4. Sort -3, g, -1 in ascending orde