Suppose 0*y - y + 5 = z, 3*y = 3*z - 9. Let h be 10*1 + z/(-2). Suppose 3*g - 5 = 1. Solve 0*c = -g*c + h for c.
4
Suppose -19 = -a - 7. Let t be (-2)/(-4)*a/3. Suppose c - 3 = -i, 0 = 3*i - t*c - 2 + 8. Solve -2*k + 8 = -i*k for k.
4
Let l(i) = -i3 + 7*i2 - 4*i - 6. Let w be l(6). Let f = -4 + w. Suppose 5*x - j - 2*j - 15 = 0, x - f*j = 10. Solve x = 3*d - 14 + 2 for d.
4
Suppose -8 = -24*q + 20*q. Let k(a) = -2*a - 5. Let v be k(-10). Solve -q*z - v = z for z.
-5
Let h(y) = 3*y + 84. Let b be h(-26). Let w = 5 - 1. Let g = b - w. Solve k + g = -k for k.
-1
Suppose 4*a - 20 = -8. Let x(b) = b3 - 3*b2 + b + 1. Let c be x(a). Solve c*v = -12 + 4 for v.
-2
Let c(u) = 5*u3 + 2*u2 - u - 2. Let a be c(2). Suppose 5*l + 41 = 5*h - a, l = 5*h - 69. Let x = -5 + h. Solve -20 = 3*z - x*z for z.
4
Suppose 2*t - 1 = 3. Let f = t - -3. Solve -2 = f*q + 23 for q.
-5
Suppose 3*v - 9 = -4*q, 6*q = 3*q + 4*v + 38. Let b = -6 + q. Solve n + b = 1 for n.
1
Suppose 0*y - 60 = -5*y. Suppose 4*r + 3*h - y = -h, 2*h - 8 = -3*r. Solve -r*b = b + 9 for b.
-3