Let x = -8 + 10. Suppose 0 = 3*o - 2*a - 0*a - 30, 0 = -o - 2*a + 2. Suppose y = 3*y - 4*c - 22, x*c = -o. Solve 5 + 1 = y*u for u.
2
Let i(k) = k - 11. Let d be i(12). Suppose 3*g - 2*f - d + 30 = 0, -3*g + 3*f - 30 = 0. Let s be 2 - (-6 - g/3). Solve 0 = s*h - 5 for h.
1
Let d(n) = n + 4. Let q be d(5). Let u be (-3)/q + (-13)/(-3). Solve x = u*x for x.
0
Let j(p) = 3 + 12*p - 2*p - p2 - 5*p3 + 2*p**3 - 6*p. Let d be j(-2). Solve -d = 2*k + k for k.
-5
Suppose 8 = 3*y + 2. Suppose -y*m - 21 = -5*j, 0*m = -5*j + 4*m + 17. Let q = -3 + j. Solve -f + 0*f + q = 0 for f.
2
Let m(a) = -a**2 - 9*a + 3. Let n be m(-9). Let t be (-2)/1 + (-3)/n. Let g be 42⁄9 + 2/t. Solve g + 0 = -4*z for z.
-1
Let i(w) = -w**2 - 6*w + 6. Let p be i(-7). Let n = p - -5. Solve 0*b = -n*b for b.
0
Suppose -d + 4 = 0, -2*p + 7 + 31 = 3*d. Solve -1 = -3*x - p for x.
-4
Suppose 5*h - 11 + 1 = 0. Solve 2*j + h*j = 12 for j.
3
Suppose 0 = -2*j - 1 + 7. Suppose 4*x + 5*t = 27, -2*t = -2*x - j*t + 15. Solve r = -r - x for r.
-4