Let z = 6 + -7. Let m be (-2 - -3) + (z - -3). Suppose 0*p - 9 = -m*p. Solve j + 2 = p for j.
1
Let c be 4 - -2 - 3 - (-2 - -5). Let q(z) = -3*z - 3. Let h be q(-2). Solve c = -0*m - h*m - 9 for m.
-3
Let x(d) = 3*d - 16. Let o be x(8). Solve o*w - 9*w + 1 = 0 for w.
1
Let m(d) = d**2 + 9*d + 2. Let t be m(-9). Suppose -t*y + 15 = y. Suppose 0 = -2*q + y*q - 6. Solve 0 = -5*h + q*h + 9 for h.
3
Suppose -5*s = 4*y + 29, -s - 3*s = -y - 2. Let n be (1 - 4)/(y/(-4)). Let c be (n + 3 + 3)/2. Solve -4*z - c = -2*z for z.
-1
Let s be ((-30)/15)/(2/(-4)). Solve 2*x - s = -2*x for x.
1
Let k(q) be the second derivative of q5⁄20 + q4⁄4 - q3⁄3 - q2⁄2 + 3*q. Let a be k(-3). Solve -2*v = -3*v + a for v.
5
Suppose -3*s - 5*q = -8, 2*s - 5*q = 7*s - 20. Solve -s*m = -2*m + 12 for m.
-3
Let c(v) = -v**2 - 11*v + 12. Let l be c(-12). Let u(y) = -y. Let z be u(-3). Let k(f) = 4*f - 3. Let a be k(3). Solve 0 = -z*h - a - l for h.
-3
Suppose 0 = 6*u - u - 4*u. Solve u - 2 = -k for k.
2