Let z = 6 + -6. Let m be -1*(z - -1) - 3. Let j(k) = k**2 + 4*k + 3. Let l be j(m). Solve -6 = l*v - 0 for v.
-2
Let y = 1 + -1. Suppose n + 2*m - 7 = y, -n - m = 4*n - 17. Solve -15 = n*a - 6 for a.
-3
Suppose -2*h = -2*l - 3 - 5, -5*h + 25 = 0. Solve 1 = 2*w - l for w.
1
Suppose -4*f + 0*x - 3*x + 8 = 0, -4 = x. Suppose 20 = -z + 5*z. Let g = f - z. Solve g = j - 4*j for j.
0
Suppose 0*c - 5*g = -5*c + 125, 3*c - 67 = -5*g. Solve 5*h + 4 = c for h.
4
Suppose -9*n - 27 = -45. Suppose 2*g - 4*g = 0. Solve g = n*u + 4 for u.
-2
Let h = 4 - -1. Let t be ((-60)/(-50))/(2/h). Solve t*l = -8 - 1 for l.
-3
Let q = 34 + -29. Solve -v - 4 = -q*v for v.
1
Suppose -1 = 2*o - 9. Suppose 2 = o*f - 3*f. Let c be 7 - (-1 + 2) - f. Solve -c = -4*r + 3*r for r.
4
Let h(x) be the first derivative of x4⁄4 - 10*x3⁄3 - 6*x**2 + 13*x - 3. Let a be h(11). Solve -a*t + 8 = -0 for t.
4