Let s = -13 + 13. Solve s*r = 2*r - 8 for r.
4
Let a(z) = -z**2 + z + 2. Let x be a(0). Suppose 3*l = -0*n + 4*n + 3, -l + 8 = n. Suppose n*y = -x*y. Solve y = -3*f - 5 - 4 for f.
-3
Let b be 4/(-3)*3⁄2. Let l be (b/2)/(-1)*19. Suppose 0 = q - 0*s + 5*s - 20, 4*s = -q + l. Solve -3*i + q = -6*i for i.
-5
Let b(w) = -2*w + 30. Let a be b(13). Suppose -4r = 14 + 10. Let z be (r/(-4) + -2)-4. Solve -z*p + a = -0*p for p.
2
Let x(p) = -8 + p**2 + 3*p - 4 + 6. Let f be x(-6). Solve 4*z - z - f = 0 for z.
4
Let b = 21 - 21. Solve 2*u + 2 = -b for u.
-1
Let q(b) = b3 + 5*b2 - 2*b - 2. Let h be q(-5). Suppose -15 = 5*s, -2*v + h = -s - 3*s. Let k be (2 - 2)/(v - -1). Solve k = 5*y - y + 12 for y.
-3
Let s be 8⁄36 + (-104)/(-18). Suppose 4*n + 4 = 0, -3*t + s = n - 2. Solve 6*w - 12 = t*w for w.
4
Let k(o) = o3 + 5*o2 - o. Let g be k(-5). Let x(j) be the second derivative of j**3⁄6 - 5*j. Let s be x(2). Solve -6 = -g*b + s*b for b.
2
Suppose -p + 2*p = -10. Let i = -9 - p. Suppose 2*x - j = i, 2*x - 4*j = -5 - 3. Solve x*b + 4 = -2*b for b.
-1