Let x = 42 - 21. Suppose -d - 2*b + 15 = 2*d, -2*d - 5*b + x = 0. Solve 2*f - 5 + d = 0 for f.
1
Suppose -3*q + 6 = -4*v, 4*q - 4*v - 8 = -8*v. Solve 5*z = q*z - 3 for z.
-1
Let q(m) be the second derivative of m**4⁄12 - m. Let f be q(2). Solve o + f = 5 for o.
1
-1
Let j = 2 + 3. Let x(t) = -4*t2 + 21*t + 12. Let z(w) = 3*w2 - 14*w - 8. Let u(m) = j*x(m) + 7*z(m). Let n be u(-8). Solve -2*k - n = k for k.
-4
Let j(a) = -a**2 + 6*a - 7. Let c be j(3). Suppose 2*x = -x + i - 2, 0 = x + c*i - 4. Solve x = 3*r - 7*r - 16 for r.
-4
Let a be (18/(-7))/3*-14. Suppose -t = 3*t - a. Solve 0 = -3*c + t - 12 for c.
-3
Let d(b) = b3 - 3*b2 - b + 3. Let v be d(3). Suppose 0 = -z + 4*s - 7, z - 3*s + 5 - 1 = v. Let q = -3 + 3. Solve -z = -w - q*w for w.
5
Suppose 3*t = -3*c + 30, 3*t + 2*t - 10 = 3*c. Suppose 3*y = -2*y. Suppose y*f = -f. Solve 4*w - c*w = f for w.
0
Let l = 4 + -9. Let k = l - -8. Solve 4 - 1 = -k*c for c.
-1