Let t be (-35)/(-15) + (-1)/3. Let x be t/(-1*(2 + -4)). Solve -x + 4 = -y for y.
-3
Suppose -2*m + 38 = 4*u, 3*u - 19 = 2*m + 6. Let z = u - 9. Solve z = -2*t - 2 + 8 for t.
3
Let o(x) = -x3 - 15*x2 + 3*x + 49. Let d be o(-15). Solve 0 = -d*z - 11 - 5 for z.
-4
Let x(i) = -7*i2 - 2*i - 3. Let w(b) = b2 - b - 1. Let y(m) = 3*w(m) - x(m). Let c be y(1). Suppose 0*u = 3*u - c. Solve u = -f + 2 for f.
-1
Let c(z) = -4*z**3 - 1. Let y be c(-1). Let t = 6 - y. Let s = 3 - 1. Solve s*g = t*g - 1 for g.
1
Let i(z) be the third derivative of z4⁄24 - z3⁄6 - 2*z**2. Let d be i(7). Let y be (-4)/(-12) + 4/d. Solve h + 3 = y for h.
-2
Let k = 4 - 2. Let d(h) = h**2 + 5*h - 10. Let l be d(-7). Suppose l*x + 0*f = 2*f + 16, -5*x = -f - 17. Solve a + x = -k*a for a.
-1
Suppose 0 = -p - 5*t + 17, 5*p + t = -35. Let m = p + 10. Solve m*k + 8 = -0 for k.
-4
Suppose 21 = 4*p + z, -z = 2*p + 2*z - 23. Solve -2*j + p*j = 8 for j.
4
Let n(b) = 2*b**2 - b - 3. Let g be n(3). Solve -5*c + g = -c for c.
3