Let r = 25 + -12. Let c = r + -6. Solve -k - 2 + c = 0 for k.
5
Let k be ((-9)/12)/((-2)/8). Let r(x) be the first derivative of -x3⁄3 - 13*x2⁄2 + 2*x - 6. Let p be r(-13). Solve -k - 3 = p*q for q.
-3
Let i(p) = -p3 + 7*p2 - 10*p. Let m be i(5). Solve m*j = 2*j - 8 for j.
4
Let q be 111/(-3)-3. Suppose -7 = 2*g + q. Let t = g + 17. Solve -n = n + t for n.
-4
Let t(f) = 2*f - 2. Let n be t(3). Suppose 5*m = -n*k + 10, -3*m = -3*k + 5*k - 6. Solve k = -5*j - 19 - 6 for j.
-5
Let j = -6 - -6. Let w be 1*3 - (3 + 0). Solve w = -j*i - 2*i - 8 for i.
-4
Let q be (-18)/(-8) - 1⁄4. Let a(n) = 5*n - 4. Let k(g) = g. Let c(j) = a(j) - 3*k(j). Let f be c(7). Solve -2*u - f = -q for u.
-4
Let y(a) = a + 12. Let w be y(-7). Suppose 0 = -w*x - 3 - 2. Let f be (x + (-10)/(-4))*4. Solve -21 + f = -3*j for j.
5
Let a be 16⁄3 + (-4)/12. Suppose d - 3*d = 4*b - 40, 3*b + a*d = 37. Let z = b - 5. Solve -z*h = h for h.
0
Suppose 0*h = 5*h. Let y(p) = p + 4. Let g be y(h). Solve 5*r = r - g for r.
-1