Suppose 0 = v - 3. Let q be (-2 - v/(-2))*-4. Solve -q + 10 = -2*y for y.
-4
Let d(a) = -a3 + 6*a2 - 5*a + 3. Let b be d(5). Suppose -12 = -4*t + v, t - v = 2*v + b. Solve 8 = t*y - 1 for y.
3
Let v(t) = t + 7. Let o be v(-5). Let d = o - -1. Solve -d*j + j = -4 for j.
2
Let k = 5 + 1. Let t(o) = 12*o - 21*o + 8*o + 3. Let s be t(-11). Solve -k - s = 4*n for n.
-5
Let g(b) = -b**2 + 3*b + 1. Suppose -2*o = -1 - 5. Let m be g(o). Solve 0 = w - 2*w - m for w.
-1
Let x(d) = -d3 - 6*d2 - 4*d + 5. Let t be x(-5). Solve 9*k - 4*k = t for k.
0
Let m = 33 + -28. Solve -m*f + 0 - 5 = 0 for f.
-1
Let b = -47 - -52. Solve b = -n + 2 for n.
-3
Let q = 11 - 6. Let f(j) = -j3 - 13*j2 - 14*j - 24. Let h be f(-12). Solve h = q*s - 2*s - 6 for s.
2
Let a(s) = -s + 5. Let o be (-2)/2 + -1 - -2. Let t be a(o). Suppose u = 2*u. Solve t*h + u*h = 0 for h.
0