Let y = -3 - -7. Suppose 12 = y*f + 4. Solve -f - 1 = -t for t.
3
Let a = -43 + 43. Solve -3*l + l - 6 = a for l.
-3
Let y(u) be the first derivative of u4⁄4 - 4*u3⁄3 + 2*u**2 - u - 1. Let n be y(3). Solve n*s - 4*s = -2 for s.
1
Suppose -29 = -4*b - 5*w, -3*b - w = 2*w - 18. Solve 3*s + b = -11 for s.
-4
Let k be ((-8)/(0 - 2))/1. Let p = k + -2. Solve -p = -h - h for h.
1
Let y be 14/(-18) - 2⁄9. Let q be (0 - 1)*(-2 + y). Suppose 0 = i + q*u - 14, -3*u = -i - 0*u - 10. Solve i + 10 = -4*k for k.
-3
Suppose -1 = 3*x + 4*t, 5*x - 1 = -2*t - 2*t. Let y be 1 + (-3 + 7)/x. Solve -3*h = -4*h + y for h.
5
Suppose -8*z = -z. Solve j = -z - 4 for j.
-4
Let v = -7 + 9. Suppose -3*i + 8 = v. Let u(k) = k**2 + 5*k - 6. Let q be u(-6). Solve q = -i*c - 4 for c.
-2
Suppose -8*a + 4*z - 10 = -3*a, 0 = -2*a + 4*z - 16. Solve -a*n + 0*n = 0 for n.
0