Let p = 22 + -14. Let y(f) = f3 + 8*f2 + 4. Let n be y(-8). Let a be 14 - (-4*1 - -2). Solve p*c - a = n*c for c.
4
Let z be -4 + -6*(-12)/9. Solve -r = 3*r - z for r.
1
Let i(f) = f + 6. Let a be i(-6). Solve a = 3*c - 6 + 3 for c.
1
Let o = 9 + -9. Solve o*v + 5*v = -25 for v.
-5
Suppose 0 = -a - 2*r - 0 + 1, -r = -2*a + 7. Suppose 6*g = a*g + 3. Solve 0 = 4*q + 3 + g for q.
-1
Suppose 8 = 2*i + 5*v, 0*i + 4*i = v - 28. Let j(y) = -2*y - 9. Let t be j(i). Suppose -o + t*o = 6. Solve 2 = -o*k + k for k.
-1
Let t = 4 - 0. Solve -t*k = k - 10 for k.
2
Let t = -4 + 8. Solve j - 2*j = t for j.
-4
Let b(h) = 2*h**2 + 12*h + 12. Let q be b(-5). Solve -a = q*a + 12 for a.
-4
Let b© = -4*c - 3. Let i(g) = 7*g + 5. Let k(u) = -5*b(u) - 3*i(u). Let p be k(-4). Let a = p - 2. Solve a*q + 7 - 1 = 0 for q.
-3