Let q(d) = 10*d + 2. Let s be q(1). Suppose 0 = -4*y - 3*k + 5*k + 44, -2*k - 34 = -3*y. Suppose f - y = -f. Solve j + s = f*j for j.
3
Let b = -15 - 9. Let h be b/(-14) + (-2)/(-7). Solve -h = 3*l - 2*l for l.
-2
Let t(b) = b. Let f(v) = 1. Let r(p) = 3*f(p) + t(p). Let u be r(0). Let o = 3 - -2. Solve -u = 2*k - o for k.
1
Suppose 7*z - z - 24 = 0. Solve -z*x + 2 = -6 for x.
2
Let u(l) = -l**2 + 9*l - 8. Suppose 6*g - 2*g = 28. Let j be u(g). Solve 3*i + j = -3 for i.
-3
Let u = -20 + 8. Let l = 14 + u. Let d = 2 + 4. Solve 0 = d*w - l*w + 16 for w.
-4
Suppose -5*a + 19 = 3*j - 1, -4*a - 4*j = -24. Let i = 1 - a. Solve -6*g + g + 15 = i for g.
3
Let u = -2 + 2. Let x = -10 + 17. Let p = -5 + x. Solve p*f - 6 = -u for f.
3
Let c(y) = y + 4. Let t be c(3). Let x(f) = 4*f - 6. Let w(l) = -3*l + 7. Let d(g) = 3*w(g) + 2*x(g). Let j be d(t). Solve u - j*u = 0 for u.
0
Suppose -2*k = -7 - 15. Suppose a - 3*d - k = 0, 5*a + d - 2*d = 27. Solve 0 = -a*t - 16 - 4 for t.
-4