Let z = -15 + -5. Let x be z/(-6)*(-54)/(-3). Let c = x - 35. Solve -6*j = -j - c for j.
5
Let t® = 5*r - 2. Let i be t(2). Suppose 0 = -4*x + 2*x + i. Let g = 5 - 2. Solve -g*z = -x*z + 5 for z.
5
Let z(x) = -x**2 - 7*x - 2. Let b = -7 - -1. Let j be z(b). Solve -a - 3*a = -j for a.
1
Let w = 37 + -63. Let x be w/(-4)*(2 + 0). Solve 4*m + 5 = x for m.
2
Let i = -12 - -12. Let j(w) = -w3 - 2*w2 - w + 2. Let t be j(-2). Suppose 10 + 6 = t*b. Solve i*m = -4*m + b for m.
1
Let d(n) = -n3 + 5*n2 + 2*n - 7. Let l be d(5). Suppose 0 = 4*m + 2 - 22, 35 = 5*h - m. Suppose -h = -9*p + 5*p. Solve p*v - l = -9 for v.
-3
Let r(u) be the first derivative of u**3⁄3 - 2. Suppose 4*v - 2*j = -4, -2*v - 5*j = 3 + 11. Let p be r(v). Solve p*z = 8 - 0 for z.
2
Let n(z) = z**2 - 2*z + 25. Let w be n(0). Solve -w = -3*r - 2*r for r.
5
Suppose -o = -4*j + 3, -3*o - j + 22 = o. Suppose o*h + 2*f = -f + 13, 0 = 4*h - 2*f - 6. Let d® = 9*r**2 + 2*r - 1. Let n be d(1). Solve -h*k + n = 4 for k.
3
Let s = -9 - -23. Solve 5*i = -6 - s for i.
-4