Let c(v) = -v + 5. Let s be c(5). Suppose m - 3*k = 16, -k - 2 - 3 = s. Let b = 4 + m. Solve -b*w + 3 = 8 for w.
-1
Suppose 0*g = g - 2. Let j be g + (-2)/(-2)*0. Let m be (-1 - j/1)/(-1). Solve 0 = -4*f - m + 11 for f.
2
Let u(t) = -3*t**2 + 1. Let o be u(1). Let s = o - 1. Let k = s + 6. Solve g + k = -2*g for g.
-1
Let r = 2 - -2. Suppose -s - r = -3*s. Suppose 4*d = 5*d - s. Solve -1 - 1 = d*i for i.
-1
Suppose -5*h = -0*t - 2*t - 6, -5*h = 2*t - 14. Solve 3*i + t = 11 for i.
3
Let n(u) = 2*u**2 + 4*u - 2 - 4*u - 4*u + 4. Let i be n(4). Solve -5*w - 43 + i = 0 for w.
-5
Let x(n) be the second derivative of -n3⁄3 - 7*n2⁄2 + n. Let u be x(-5). Solve u*a - 4 = -16 for a.
-4
Suppose -4 - 2 = -3*b - 4*c, -10 = -5*b - 5*c. Suppose -9 = -5*n + 11. Suppose 12 = n*r + 4*d, r - 18 = -0*r + 2*d. Solve 4*a - r = b*a for a.
4
Suppose 4 = -f - 0*f. Let t = 0 - f. Let h be 0 - (-6)/(t - 1). Solve -5 = 7*d - h*d for d.
-1
Let z(t) = t + 2. Let r be z(0). Solve -11 = -3*l - r for l.
3