Let h = 8 - 5. Suppose -i + 20 = 3*q - q, -3*q + 5*i + 30 = 0. Solve -h*v = -5*v + q for v.
5
Let n(l) = -4*l - 7. Let t be n(-7). Suppose 3*q - 15 = t. Solve -3*v - 3 + q = 0 for v.
3
Let t(f) = f2 + 2*f - 4. Let b be t(2). Let o(y) = y2 - 4*y + 2. Let l be o(b). Solve 3*c + l = c for c.
-1
Let i(f) = -f**2 + f - 1. Let n be i(1). Let w = 4 - n. Let p = -13 - -18. Solve w*h + 0 = p for h.
1
Suppose -3*p + 0*p = -f - 20, -35 = -3*p + 4*f. Suppose -x + 2*c + 2 = 0, -x + 10 = 4*x + 4*c. Let u be (-1 + x)*p - -3. Solve -2*y + 6*y = u for y.
2
Suppose 0 = -3*k - 6*z + 2*z + 5, -z + 8 = 3*k. Let v = -5 + 8. Suppose -2*l + 2 = -2*u + 2*l, v = 3*u - k*l. Solve 0 = y - u*y + 10 for y.
5
Suppose -4*w + 20 = 4*l, 8*l + 4*w = 5*l + 18. Let t be (-24)/l*3/(-6). Solve 3*i - t*i = 0 for i.
0
Let h© = -c**2 - 5*c + 17. Let o be h(-7). Solve 4 = -o*g - 2 for g.
-2
Suppose 2 + 2 = 2*q. Let j = 0 + q. Suppose 2*p = -2*p + 16. Solve -p*c + 2 = -j for c.
1
Let o(n) = 5*n3 - n2 - 2*n - 2. Let x(f) = f3 - f2. Let v(s) = -o(s) + 3*x(s). Let h be v(-2). Suppose -h*y = -3*y - 6. Solve -a - y - 3 = 0 for a.
-5