Let j = 39 + -23. Suppose v - 12 = -3*v. Solve 0 = k + v*k - j for k.
4
Let k(q) = -q3 + 5*q2 - 7*q + 4. Let t be k(3). Solve g + t = 2 for g.
1
Let k be (4/(-6))/(-4 - 116/(-30)). Solve 0 = -k*a + 10 - 0 for a.
2
Suppose 0*o - 25 = -5*o, -4*r + 39 = 3*o. Solve 2*y - 4*y = r for y.
-3
Suppose 3*x - 70 = -5*s, 5*x - 19 + 5 = s. Solve -4*a + 3 = s for a.
-2
Suppose -52*j - 5 = -53*j. Solve -v + j = 8 for v.
-3
Suppose -4*g + p - 3 = 0, p = 5*g + 3*p - 6. Suppose -4*x + 2*x - 5*s = 11, 0 = 3*x + 5*s + 9. Solve -4*i + x*i = g for i.
0
Let d be 3 - 0 - 1*4. Let p(j) = j2 + j + 1. Let l(h) = 3*h2 + 2*h + 2. Let m(s) = 3*l(s) - 7*p(s). Let z be m(d). Solve k = z*k for k.
0
Suppose 0 = 7*z - 2*z - 10. Let n be ((2 - z)*1)/(-2). Suppose 0 = -3*v + 4*p + 28, -v = -0*v - 5*p - 24. Solve n = b + v*b - 15 for b.
3
Suppose 3*d = d + 8. Suppose 7 + 1 = d*t. Suppose -6*v + 2*v - t*y = -6, 5*y + 13 = -3*v. Solve 6 - v = 2*l for l.
1