Suppose 28 = 4*t - 4*k, -14 - 1 = 5*k. Solve -t*q - 6 = -2*q for q.
-3
Suppose -z - 2*z = -6. Let b(d) = d**2 - 6*d + 4. Let t be b(6). Solve -z*h = -6*h - t for h.
-1
Let m = 12 + -9. Suppose m*s - 15 = -5*z + 20, 3*s - 5 = -2*z. Solve 0 = 6*j - j + z for j.
-2
Let s(y) be the third derivative of -y4⁄24 + y3 + 6*y**2. Let b be s(-3). Solve -2*t + 5*t = -b for t.
-3
Let p(j) = -4*j + 52. Let z be p(12). Solve z*l = -l for l.
0
Let z be (2 + (-2)/6)*3. Suppose 0 = -z*p - 2*v - 17, 2*v - 3 = -p - 0. Let x(i) = -i + 7. Let q be x(p). Solve 0 = n - 4*n - q for n.
-4
Let h(g) = 3*g**2 - g - 4. Let n be h(3). Suppose 7*r - n = 3*r. Suppose -c = 5*y - r*c - 141, 4*c + 91 = 3*y. Solve -y = -0*a + 5*a for a.
-5
Let p = 15 - 11. Let b be p - (-2 - -3 - 2). Suppose 0*f = b*f - 15. Solve -3*x = -0*x + f for x.
-1
Let p = 23 + -21. Solve v = 2 + p for v.
4
Suppose -3*m = 2*b, 0*b + 2*m = -2*b. Suppose 5*p - 14 - 1 = b. Solve -p*u + u = 0 for u.
0