Suppose -3*t + 5*v + 40 = 0, 0 = 3*t - 3*v + v - 43. Let p = t - 9. Let o = p - 4. Solve -o*z + z = 5 for z.
-5
Suppose 0 = 5*p - 6*p + 2. Let k(i) = -3*i - 4. Let w be k(-4). Let y = w - 2. Solve 0*l + p*l = y for l.
3
Let y = -2 - -5. Suppose -h - 2*l + 12 = 0, -h - 4*l + 5*l = 0. Let n be 1*h - (1 + -1). Solve -1 = n*k + y for k.
-1
Let u(d) = -3*d + 6. Let r be u(2). Solve 4*l = -r*l - 4 for l.
-1
Let t(x) = x2 + 4*x - 7. Let i be t(-6). Let z(b) = b2 - 7*b + 8. Let c be z(6). Suppose c*k + 3 = i*k. Solve k = 3*h + 4 for h.
-1
Suppose f = 4*f. Suppose -3*r + f*r + 18 = 0. Suppose -h - r = 4*c, -2*h + 3*c + 0 = -10. Solve 0 + 8 = h*y for y.
4
Let d be (-2)/9 + (-58)/(-18). Suppose -4*c + 0*c = 3*h - 6, 0 = -c + 4*h + 11. Suppose 0*o + 30 = c*o. Solve 0 = -d*t + o - 4 for t.
2
Suppose -5 = -5*f, -2*i - 2*i + 33 = 5*f. Let o = i + 9. Suppose 2*k - 2*r = 10, 3*k - 2*r = 12 + 3. Solve -k*z + o = -z for z.
4
Let l(j) = j + 8. Let i be l(-4). Suppose -i*u = -0*u. Suppose -4*m - 4 = 4*n - 0, -5*n = 4*m. Solve -3*f - n - 5 = u for f.
-3
Let t(x) = -x**2 - 8*x + 1. Let h be t(-8). Let f = h - -2. Solve 2*c = -f*c + 15 for c.
3