Let a© = 2*c3 - 4*c2 + 4. Let m be a(3). Let o(g) = -2*g - 12. Let v be o(-8). Solve -2 = -v*z - m for z.
-5
Let i(j) = j - 10. Let z = -25 + 37. Let g be i(z). Suppose -12 = -2*b + 3*w, 3*b = 2*b - 3*w - 3. Solve -15 = -g*h - b*h for h.
3
Let x = -10 + 13. Suppose -12*h + 7*h = 0. Solve h = -0*f + x*f - 15 for f.
5
Let f(y) = -y + 17. Let m be f(14). Let j be (-4)/(-10) - (-146)/10. Solve -8*h = -m*h + j for h.
-3
Let o(l) = -l - 6. Let v be o(-6). Suppose 0 = -4*i + g + 15, -24 = -3*i + 4*g + g. Suppose 3*n - 3 = k + 3*k, -i*n = -5*k. Solve v = -k*a - 1 - 2 for a.
-1
Suppose 2*i + 3 = 3i. Let p be (3/i-8)/(-2). Solve -z + p = -0*z for z.
4
Let l(i) = -i**2 + 9*i - 4. Let u be l(8). Suppose 7*n - 8 = 3*n. Solve u*o + 10 = -n for o.
-3
Let k be 2 - (3 + -4 + -3). Solve -2*b + 0*b + k = 0 for b.
3
Let w(y) = -y**2 + 2*y + 3. Let j be w(3). Solve j = 2*l + 1 + 1 for l.
-1
Let n be (-8 - (-2 - 2)) + 35. Solve 5*b = -n + 6 for b.
-5