der.
0.1, v, -2/7, -1
Let n(o) = -4*o + 8. Let x(s) = -s + 1. Let w(y) = 2*n(y) - 4*x(y). Let a be w(4). Put a, -3, 0 in decreasing order.
0, -3, a
Let o be (-3 + -3)*1/(-3). Let v = -58 - -36. Let r = v + 17. Put 4, r, o in descending order.
4, o, r
Let a = -25 + 34. Suppose -5 - a = -7*k. Sort -7, k, 0 in decreasing order.
k, 0, -7
Let g be (-10)/(-8) + (-136)/32. Let p be 0 - 3 - (-3 + 1)/2. Let v(m) = m**2 + 4*m + 4. Let w be v(-3). Sort w, p, g.
g, p, w
Suppose -3*q = 2*q - 5*t - 10, 16 = 5*q + t. Suppose 0 = -5*p - q - 7. Sort p, 8, -3 in increasing order.
-3, p, 8
Let n be ((-1)/(-1*7))/1. Let o = -69 - -74. Let d = -128 - -141. Put d, o, n in descending order.
d, o, n
Suppose -7*z = 5*m - 2*z + 25, -3*m - 9 = -3*z. Put 35, m, 4, 0 in descending order.
35, 4, 0, m
Let x be 7/6*15/(-70). Put -0.23, 4, x in ascending order.
x, -0.23, 4
Let c(w) = w**3 + 3*w**2 - w + 12. Let k be c(-4). Put 128/7, -1, 3, k in descending order.
128/7, 3, k, -1
Let s = 26 + -30.1. Let g = 3.3 + -3.4. Let b = g - s. Sort b, -5, -0.4 in descending order.
b, -0.4, -5
Suppose 0 = 4*r + 11 - 11. Sort 4, 5, 2, r.
r, 2, 4, 5
Let x = 224 - 221. Sort 2, -2, 0.4, x in ascending order.
-2, 0.4, 2, x
Let l(n) be the second derivative of -n**4/12 - n**3/2 + 2*n**2 - 2*n. Let b be l(5). Let f be ((-2)/18)/(6/b). Sort f, -2, 2/17 in ascending order.
-2, 2/17, f
Suppose -18 - 7 = -o. Suppose 0 = -7*t + 2*t - 25, -3*b - 5*t = o. Sort 5, b, 1 in decreasing order.
5, 1, b
Let o(u) = -u**2 - 2*u + 4. Let f be o(-3). Let k be 3/(15/3 + -4). Let v be (-2 - -1) + -2 + 0 + 2. Sort f, k, v.
v, f, k
Suppose -3*b + 2 = 2*m, -4*m - 3*b + 2*b = 16. Put -3, -10, m in decreasing order.
-3, m, -10
Suppose 5*f - 25 = 5*v, -4*v + 3*v + 3 = f. Suppose 0 = 4*h - 0*o + 4*o + f, -3*h = o + 7. Sort h, 0.6, 2/7.
h, 2/7, 0.6
Let q = 92 + -48. Let h = q - 31. Let r = -12.9 + h. Sort -3, -2/3, r.
-3, -2/3, r
Suppose 3*n - 4*n + 2 = 0, 5*z - 4*n = 7. Let c = -8 + 5. Sort z, 0, c in descending order.
z, 0, c
Let x = 10.84 - 6.05. Let s = 44.79 - 45. Let r = s - x. Sort r, -0.5, -0.2 in decreasing order.
-0.2, -0.5, r
Suppose -4*s = 4*m - 3*m - 2, 0 = -5*s - m + 2. Suppose 17*n - 13*n + 36 = s. Put n, -0.4, -0.5 in decreasing order.
-0.4, -0.5, n
Let r(c) = c**3 - 3*c**2 - 3*c + 2. Let o be r(4). Suppose j = -72 + 49. Let b = 23 + j. Put -5, o, b in descending order.
o, b, -5
Let b = -270 - -271. Put b, -2, 4, -1 in decreasing order.
4, b, -1, -2
Let q(z) = z**2 + z - 4. Suppose -2*i - 4*a + 10 = a, 2*a = -4*i + 4. Let s be q(i). Sort -5, 3, 1, s in ascending order.
-5, s, 1, 3
Let b be 154/(-132) + 2/((-24)/(-2)). Let r = -3 - -4. Sort -43, r, -2, b.
-43, -2, b, r
Suppose 0*h + 3*h - 6 = 0. Let r = -3/76 - 295/228. Sort r, 5, -4, h in descending order.
5, h, r, -4
Let g = 194 - 184. Suppose -3 = 4*j + 1. Sort j, g, 5 in decreasing order.
g, 5, j
Let m be (-2 + (-165)/(-77))*7. Sort 0.4, 2/9, -1, m in increasing order.
-1, 2/9, 0.4, m
Suppose 2*r + 17 = -15. Let v be (r/(-24))/((-6)/(-9)). Put 0, 5, v in decreasing order.
5, v, 0
Let u = 0 + 1. Let p be (0 - -2) + u*-7. Let y = 1 - 1. Put p, y, -1 in increasing order.
p, -1, y
Let v = 1888 - 1900. Suppose 15 = 4*h + h. Put v, 1, h in decreasing order.
h, 1, v
Let b = 0.11 - 0.01. Let s be 12/(-7) - 4/(-2). Let c = -102 - -205/2. Sort c, b, s.
b, s, c
Let g = 90.3 + -90.8. Let l be 10/(-8)*2/10. Sort g, -4, l in ascending order.
-4, g, l
Let w = 217 + -215. Sort -4, 90, w in decreasing order.
90, w, -4
Suppose 21*m - 215 - 394 = 0. Sort m, 3, -4, -1 in increasing order.
-4, -1, 3, m
Let b = 74 + -44. Suppose 8 = 32*m - b*m. Sort 1, m, -5.
-5, 1, m
Let v be (0/(-4))/(0 + -2 + 0). Suppose v = 7*g - g. Put g, 8, 3, -1 in decreasing order.
8, 3, g, -1
Suppose m = -m - 4. Let w(p) = -p**3 + p**2 + 2*p + 4. Let h be w(0). Sort -3, m, h in decreasing order.
h, m, -3
Let z = 3 - 7. Let w be (1 + 4/(-6))/(-55 + 54). Put z, 0.3, w, -0.3 in descending order.
0.3, -0.3, w, z
Let c = 2.8 - 3. Let u = -66.4 + 15.4. Let b = 51.5 + u. Sort -3/2, c, b in decreasing order.
b, c, -3/2
Let z = -83 - -68. Suppose -5*o = -0*o - u + 15, 5*o + 25 = -u. Sort 3, o, z, -5 in ascending order.
z, -5, o, 3
Let d = -1 - -11/9. Let o = -17 + 22. Sort o, d, 2/21 in ascending order.
2/21, d, o
Let i = 76.1 - 82.1. Sort -1/9, 3/8, i in decreasing order.
3/8, -1/9, i
Let b = 18 - 9. Suppose 2*c = v + 7, 0*c - 3*c = -3*v - b. Let l = -5 + 5.4. Sort l, -0.5, c in ascending order.
-0.5, l, c
Let w = -32 + 46. Suppose 0 = -4*z - 16, r + r - z = w. Suppose -7*x + 8*x - 1 = 0. Sort r, x, 3 in increasing order.
x, 3, r
Suppose -3*q = 3*z - 18, -3*q + 14 = -5*z - 20. Sort 6, 3, q.
3, 6, q
Let o(g) = 7*g - 8. Let s(a) = -6*a + 7. Let l(p) = -2*o(p) - 3*s(p). Let c be l(2). Sort c, -6, 2.
-6, 2, c
Let q = -47 - -59. Let s = q + -8. Sort s, -3, 0.4 in descending order.
s, 0.4, -3
Let o be (12/464)/(1/2*-3). Let b = -123/406 - o. Put -0.2, 1/13, b in descending order.
1/13, -0.2, b
Suppose 0 = -0*s - s + 5*q + 10, -3*q - 6 = 0. Suppose 2*y = -8*a + 4*a - 4, 0 = 4*y + 5*a + 8. Sort -5, s, y, -3 in ascending order.
-5, -3, y, s
Let h = -4795/9 + 533. Sort -0.4, h, -6.
-6, -0.4, h
Let x = 681 - 695. Put -0.2, x, 2, -2/11 in ascending order.
x, -0.2, -2/11, 2
Let r be (-2)/(-4) + (-7)/(-2). Suppose 0 = -4*a - 286 + 286. Sort r, -2, a.
-2, a, r
Let n be -2*1 + 2 + (-5)/(-35). Let d = 34.8 - 32. Let p = -3 + d. Sort p, n, -4 in ascending order.
-4, p, n
Let y = 20.04 + -20. Let b = -7.7 - -8.7. Sort -0.5, y, b.
-0.5, y, b
Let t = 0.0295 - -0.0305. Sort t, -0.03, 0 in increasing order.
-0.03, 0, t
Suppose -5*z = 8*z + 26. Put -5, z, 5, -11 in descending order.
5, z, -5, -11
Let c = 7.85 - 6.84. Put 0, c, 0.3 in descending order.
c, 0.3, 0
Let b = 8 - 3. Suppose 0 = 69*d + 88 - 19. Put b, d, 1 in decreasing order.
b, 1, d
Let j = 36.6 + -28. Let p = j + -4.6. Put p, -3/8, -8 in descending order.
p, -3/8, -8
Let n = 1.23 + -1.37. Put -0.1, n, 4, -4 in increasing order.
-4, n, -0.1, 4
Let f(d) = -4*d**2 + 14*d - 1. Let o be f(3). Let a(s) = -s**3 + 8*s**2 + 10*s + 8. Let p be a(9). Let y = -14 + p. Sort 1, y, o in decreasing order.
o, y, 1
Suppose 5*o + 8 = o. Let d(v) = v**3 - 2*v**2 - v - 3. Let f be d(4). Let b = f + -29. Put b, o, 4 in descending order.
4, o, b
Let w = 546.5 - 546. Sort 0, -2/69, w.
-2/69, 0, w
Let w(f) = 5*f - 6 - 9*f + 5*f. Let s be w(10). Let g = -1 - -1.2. Put s, 2, g in decreasing order.
s, 2, g
Let j(l) = -5*l**3 - l**2 + 1. Let z be j(-1). Let h be (-1)/(2/(-3 - -1)). Suppose -3*r - 33 + 45 = 0. Put r, h, z in descending order.
z, r, h
Let n be 27/(2 - 11) + (2 - 0). Sort -14, n, 0 in descending order.
0, n, -14
Let p be 7 + 141/(-12) - 6/(-8). Put -4/7, p, -6/11, -2/35 in ascending order.
p, -4/7, -6/11, -2/35
Let v be (1/3)/(12/(-9)). Let m = -2.0315 + 0.0315. Put v, m, -4 in decreasing order.
v, m, -4
Suppose -6*a = -2*a - 8, 4*n - 22 = -a. Let o be (20/(-30))/(4/18). Let i be (-6 + 2 - -2) + 1. Sort n, o, i in ascending order.
o, i, n
Let m be (40/16)/((-1)/2). Let s = 5 - -23. Let u = 26 - s. Put 3, m, u in decreasing order.
3, u, m
Let t be (2/2)/(-3 - 33/(-12)). Sort -7, t, 5, 0.3.
-7, t, 0.3, 5
Let m(x) = x**2 + 14*x - 26. Let b be m(-16). Suppose 0 = 5*d - f - 17, -3*d + 4*f = b*f - 5. Sort -38, d, -3 in decreasing order.
d, -3, -38
Let b = 78 - 543/7. Sort -7/34, 2/7, b in decreasing order.
b, 2/7, -7/34
Let x be (0 + 2)*185/(-74). Sort -2/11, 0.2, x, 12 in ascending order.
x, -2/11, 0.2, 12
Let q(v) = -v**3 - 35*v**2 + 33*v - 99. Let n be q(-36). Sort -1, 3, n, -5.
-5, -1, 3, n
Let q = 56 + -112. Let b be q/21 + 3/(-9). Put b, 5, -1 in descending order.
5, -1, b
Let h = -5.72 - -6. Let n = -0.18 + h. Let s be (4/14)/((-18)/14). Sort n, s, -0.1 in decreasing order.
n, -0.1, s
Let u(r) = 3*r**2 - 30*r - 106. Let y be u(-3). Put 1, y, 9, 0 in descending order.
y, 9, 1, 0
Let a = 0.14 - 1.14. Let j = a + 0.78. Let v = 0.08 - j. Put v, -1, -4 in ascending order.
-4, -1, v
Let j = 1072 + -1074. Let y = 14/27 - -274/27. Let z = 10 - y. Put -3/2, z, j in ascending order.
j, -3/2, z
Let z = 122 + -116. Put -2/13, z, 4/7, -1/3 in decreasing order.
z, 4/7, -2/13, -1/3
Let u(z) = z + 23. Let d be u(-18). Let p be (-2 + 3)/1*(-13)/(-78). Sort p, d, 9.
p, d, 9
Let s = -4.647 - 0.05