der.
-0.4, z, 15
Let d be (4/12)/(1/15). Let k(s) = -s**3 + 6*s**2 - 3*s - 5. Let x be k(d). Sort -2, -3, x in descending order.
x, -2, -3
Suppose -10 = 5*t - 4*v, -4*t + 14 - 1 = v. Sort t, -3, -5 in ascending order.
-5, -3, t
Let j = -11 + 12. Suppose 3*c - 9 + 0 = 0. Let y be 1*(-1 + 1)/3. Sort j, y, c in decreasing order.
c, j, y
Suppose j = 4*s - j - 2, 1 = j. Let p = 5 - 8. Put s, p, -1 in decreasing order.
s, -1, p
Let f = -0.2 + 3.2. Let g = 2.9 + -2.9. Sort f, -0.3, g in descending order.
f, g, -0.3
Suppose 0*q = q - 2. Let t be q + (-2 - (-2)/1). Let c(p) = -p + 8. Let o be c(4). Sort t, o, -2.
-2, t, o
Let l(u) = 3*u**2 - 2*u + 5. Let j be l(0). Put j, 26, 4 in descending order.
26, j, 4
Let u = -83.7 - -78. Let y = -6 - u. Let k = -3 - -3.2. Put k, -2/5, y in descending order.
k, y, -2/5
Suppose -6 = 5*k + 9. Let y = 5 + k. Sort y, -20, 0.5.
-20, 0.5, y
Let k = -24 - -33. Sort k, 2, 1 in descending order.
k, 2, 1
Let o be (2/5)/((-5)/(-25)). Let h be (o/(-2))/(3/(-15)). Suppose -h*v + 0*v + 20 = 5*j, -j + 3*v - 8 = 0. Sort -3, 3, j.
-3, j, 3
Suppose 0*p = p + 5. Let z(n) = -2*n - 7. Let a be z(p). Let s = 0 + 0. Put a, s, -5 in ascending order.
-5, s, a
Suppose 5*x - 12 = -4*t, 4*t + 22 = t + 4*x. Put t, -4, 3 in decreasing order.
3, t, -4
Let c = -25 - -30. Put c, 2/11, 5/6 in decreasing order.
c, 5/6, 2/11
Suppose 0 = 3*s + 4*t - 38 + 13, 3*t = -4*s + 31. Let l(n) = n - 4. Let w be l(s). Put w, -2, 2 in descending order.
w, 2, -2
Let o(i) = i + 1. Let b be o(4). Suppose 6*k = 3*k + 18. Let y be ((-3)/k)/((-2)/4). Sort b, y, -2.
-2, y, b
Let j = -7 + 3. Let s = 0 - -0.2. Sort s, j, 2 in ascending order.
j, s, 2
Let k = 23 + -18. Let q be (-9)/5 + 0 - -2. Sort -2/3, k, q in ascending order.
-2/3, q, k
Let s(f) = f**3 - 2*f**2 + 2*f - 1. Suppose 2*u - 4*y = 0, u + 2*y - 2 = 2. Let p be s(u). Let l be (p/(21/2))/1. Sort 5, l, 2/5 in decreasing order.
5, 2/5, l
Let t = 1.8 - -3.7. Let m = t + -6. Put -0.3, m, 0.5 in decreasing order.
0.5, -0.3, m
Let j = -1 - -5. Let g be 1/((1 - 3)/(-6)). Let n be ((-6)/(-9))/((-2)/g). Sort j, n, 3.
n, 3, j
Let v(k) = -5*k - 3*k - k**2 + 1 + 10. Let h be v(-9). Put h, -4, 4 in decreasing order.
4, h, -4
Let d = 21 + -13. Suppose d + 4 = 3*y. Put 0, -1, y in descending order.
y, 0, -1
Let k = -0.2 - -0.4. Let x be 5/2*(-2)/(-1). Let u = 0.01 + 0.09. Sort u, k, x in decreasing order.
x, k, u
Suppose -2*x = 2 + 4, 0 = -2*r + x - 3. Let n = -8 - -10. Suppose -n*s = -7*s. Sort 4, s, r in descending order.
4, s, r
Let j = 15/7 - 37/14. Put -0.3, 2.1, j, -2/7 in ascending order.
j, -0.3, -2/7, 2.1
Let q(y) = -y. Suppose -2*h + 8*t = 3*t + 18, t - 2 = 0. Let d be q(h). Suppose -2 = -2*x - 0*x. Sort x, d, 2 in ascending order.
x, 2, d
Let q = 0.7 + -0.2. Put 5, -1/2, q in increasing order.
-1/2, q, 5
Let a = 8.6 - 5.6. Put a, 0.2, -2.7 in increasing order.
-2.7, 0.2, a
Let i = 38/9 - 4. Let q = -1.9 + 2.2. Sort -2, i, q in descending order.
q, i, -2
Suppose 2*x - 17 - 31 = 0. Suppose -2*u - 2*b = u - 18, -3*u - 4*b = -x. Sort u, -5, 2 in ascending order.
-5, 2, u
Let i be (-1 - (-5)/(-8)) + 2. Let o = 35.1 + -37. Let m = -0.1 + o. Put 1/4, i, m in descending order.
i, 1/4, m
Suppose -4*a + a = l + 3, 5*a = -2*l - 5. Let v = -1 + -2. Sort -4, v, l in decreasing order.
l, v, -4
Let h = -0.14 - 4.86. Sort 0, 3/4, h.
h, 0, 3/4
Let x = 31 + -35. Sort -9, -1, x in ascending order.
-9, x, -1
Let j = -2 + 2.06. Let d = j + -0.46. Put -3, 1/2, d in decreasing order.
1/2, d, -3
Suppose 2 = -5*f + 3*o + 11, 4*o = 4*f - 4. Let z be (0 + -2 - 3)/1. Sort z, f, -1.
z, -1, f
Suppose 0*s - 6 = -3*s. Suppose -5*a - 22 - 4 = s*u, 4*u = -2*a - 20. Sort -5, a, 2/7 in descending order.
2/7, a, -5
Let v(f) = f**3 - 2*f**2 - 5*f + 3. Suppose -5*q = 2*x - 7, -2*x = -5*q - 12 + 35. Let l be v(q). Put 5, l, 4 in ascending order.
l, 4, 5
Suppose -3*y + 1 = -2, 5*o - 5*y = 0. Let k be (-4)/10 + -1 + o. Sort -1/5, k, 0.4 in increasing order.
k, -1/5, 0.4
Let w(v) = -5*v - 64. Let m be w(-13). Let b = -0.34 - 0.06. Sort -1, b, m in descending order.
m, b, -1
Let y be (-48)/(-60) + (-16)/(-5). Put 0, 1, y in descending order.
y, 1, 0
Let l be ((-10)/(-475))/(1/5). Sort l, 2/7, -2/13 in decreasing order.
2/7, l, -2/13
Suppose g + 5 = -0*g. Let y = -9 - -5. Put g, 0, y in ascending order.
g, y, 0
Let p be (-4)/6*(15/(-10) - 0). Put 0, p, 2 in decreasing order.
2, p, 0
Suppose -19 = 2*o - 25. Let n(l) = -2*l**2 + 3*l + 6. Let a be n(5). Let m = -142/5 - a. Sort o, 0.2, m.
0.2, m, o
Let u = -0.45 + 0.05. Suppose 10*q + 0 = -40. Sort u, q, 1/5 in descending order.
1/5, u, q
Let k be 3 + -3*(-4)/(-12). Suppose 5*i - 2*j - 22 = 0, k*j = -5*i + 6*j + 24. Put i, -5, -1/4 in descending order.
i, -1/4, -5
Suppose -4*t = -0*t + 16. Let c be (-1*1)/(6/(-18)). Let b = -47 - -46. Put b, c, t in ascending order.
t, b, c
Let j(q) be the first derivative of 1/3*q**3 - 9*q - 4*q**2 + 2. Let h be j(9). Put -2, 4, h in increasing order.
-2, h, 4
Suppose 0*h - 2*h = 12. Let o be h/(-38)*(-6)/9. Let p = 0.3 + -0.2. Sort -0.1, o, p in increasing order.
o, -0.1, p
Let r be 3*-1 - 0/(-2). Let n be 5/15*(-27)/(-3). Suppose -16 = -n*p + 7*p. Sort 0, p, r.
p, r, 0
Let w be 4 - (3 - 3) - 8. Sort w, 3, 5, 4 in decreasing order.
5, 4, 3, w
Let n(z) = z**3 - 4*z**2 - 5*z + 4. Let o(k) = k**2 + 14*k + 5. Let a be o(-14). Let q be n(a). Put -4, -2, q in ascending order.
-4, -2, q
Let v = 11 - 17. Let f be 15/(-10)*(-1)/v. Sort -1, -0.2, f in increasing order.
-1, f, -0.2
Let n = -2 - -2. Suppose n*u = -4*u. Let i = 15 + -13. Sort i, 3, u.
u, i, 3
Let f = 55 - 51. Put 0, f, -19 in descending order.
f, 0, -19
Let f = 108 - 59. Let j = f - 25. Suppose 5*p = p - 5*b - j, 4*b + 15 = p. Sort p, 2, 5 in decreasing order.
5, 2, p
Let f = 2611/8 - 326. Sort -5, -7, f in ascending order.
-7, -5, f
Suppose 0 = -4*i + 18 + 6. Suppose b + 2 = i*b + 2*a, 5*b - 3 = -3*a. Suppose 0 = 5*g + 3*f + 2 - 14, b = 4*f + 4. Sort g, 5, 2 in ascending order.
2, g, 5
Let n = -39 - -34. Sort n, -1, 10 in decreasing order.
10, -1, n
Let s = 3.7 + -3.8. Let x = 0.6 - 0.54. Sort s, x, -1.
-1, s, x
Suppose -4*l - 16 = s + s, -6 = 2*s + 2*l. Let d(n) = n + 1. Let t be d(s). Let g be (-3 - -2)*3/t. Sort 1, g, 2 in increasing order.
g, 1, 2
Suppose -4*d - 12 = 0, 0 = -s - s + 5*d + 19. Let q(c) = 5*c - 2. Let r be q(s). Let j = r - 13. Sort j, 5, -2 in descending order.
5, -2, j
Let t = -0.1 - -0.4. Let x = t + -0.4. Let b = 3 + -3.4. Put 1/6, x, b in decreasing order.
1/6, x, b
Let p = -19 - -24. Put 2, 0, p in descending order.
p, 2, 0
Let k = -5 - -8. Suppose 0 = 3*d + k*z - 9, -d - 2*z + 7 = -0. Suppose 2*f - 20 = 3*j - 6, -f - 6 = 5*j. Sort f, 3, d in ascending order.
d, 3, f
Suppose 5*g + 5*d = -10, 0 = -2*g - 3*d - 1 - 3. Let t be (0 - g)/((-3)/(-12)). Suppose t = -3*z - z. Put 1, z, 0 in ascending order.
z, 0, 1
Suppose 7*b + 152 + 30 = 0. Let q = b + 22. Sort 1, 6, q.
q, 1, 6
Let i(l) be the second derivative of -9/2*l**2 - 1/12*l**4 + 4/3*l**3 + 4*l + 0. Let b be i(7). Sort -5, 2, b in ascending order.
-5, b, 2
Let z = 0 - -1. Suppose 0 = 2*t - 1 - 3. Let n = -0.1 - -0.2. Put z, n, t in decreasing order.
t, z, n
Suppose 0 = 5*b - 20, -2*b = -0*z - z - 4. Suppose -z*c = c - 2*y - 15, 5*c = 4*y + 5. Sort -4, c, -3 in descending order.
c, -3, -4
Let s(u) = u**3 - 4*u**2 - 5*u - 5. Suppose -t = 4*t - 75. Let i = -10 + t. Let g be s(i). Put 0, -2, g in ascending order.
g, -2, 0
Suppose h + 15 = -4*h + 5*z, -2*h - 2*z = -6. Sort -2, h, 5 in descending order.
5, h, -2
Let q be (-1)/(-3) + 28/6. Suppose -2*m = -3*t - 17, 2*m + 2*m = 4. Let i be (t + -3)/(-2) - 0. Sort i, -2, q in ascending order.
-2, i, q
Suppose 3*c = 5 + 7. Let t be 4/(-6) + c/12. Put 2/3, 1/4, t in increasing order.
t, 1/4, 2/3
Let p = -1 + 2. Let h be 14/(-35) - (-4)/10. Sort p, -2, h in ascending order.
-2, h, p
Let s be 1 + (-4)/((-40)/(-6)). Let i be 1*(2/(-16))/(-1). Sort i, s, -2 in decreasing order.
s, i, -2
Let u = -0.6 + 0.64. Let j = -4.96 - u. Put j, -1, 2/3 in ascending order.
j, -1, 2/3
Let i = -0.43 - -0.03. Let f = i + 2.4. Let m = 1.9 - f. Sort 2/13, 0.2, m in descending order.
0.2, 2/13, m
Let k = -0.65 + 0.05. Let b = k + 0.4. Sort b, -5, -3 in decreasing order.
b, -3, -5
Let s(l) be the third derivative of -l**4/2