Let x(p) = p + 12. Let c be x(0). Suppose -4*o + c = -0*o. Solve -o*b + 6 = -0 for b.
2
Suppose -4*f = -0*f. Let i(k) = -5*k. Suppose 0*y - 2*y + 5*x - 2 = 0, 4*y + 4 = -x. Let v be i(y). Solve 5*n + 0 - v = f for n.
1
Suppose -3*q = -2*h - 0 - 14, 4 = 2*h. Suppose 3*r = q*r - 6. Solve -r*a + 20 = 3*a for a.
4
Let q(i) = i + 3. Let v be q(-7). Let s be ((-6)/5)/(v/10). Suppose -l = -3*l + 6. Solve -s*n = l - 0 for n.
-1
Let a(g) = g**2 + 5*g - 4. Suppose 0 = -3*n - 0*n - 18. Let m be a(n). Solve -5*x - 3 - m = 0 for x.
-1
Suppose 3*w - 5 = -3*v + 7, -3*w - 16 = -4*v. Solve -8 + 0 = v*t for t.
-2
Let z be (-5)/(-1) + -1 + 0. Solve z*y - 2*y = -8 for y.
-4
Let i = -100 + 112. Solve -i + 4 = -2*x for x.
4
Let i(s) = -s3 + 5*s2 + 4. Let y = 15 + -10. Let d be i(y). Suppose d*x - 18 = 3*p, 8*x + p - 13 = 3*x. Solve -x*u + 4*u - 5 = 0 for u.
5
Let j be ((-18)/15)/(4/(-10)). Solve -9 = -0*m + j*m for m.
-3