Suppose 0 = -3*j - 3*l + 7*l - 3, -5*j + 2*l = -9. Solve j*z + 0*z - 3 = 0 for z.
1
Let v(u) be the first derivative of u4⁄4 - 5*u3⁄3 + 5*u**2⁄2 + 5. Let s be v(4). Solve -6 = -5*w + s for w.
2
Let n = -24 - -25. Solve -y + 2 = n for y.
1
Suppose -15 = -2*k + 7*k. Let s be ((-4)/6)/(k/9). Solve d - s*d = 0 for d.
0
Suppose 0 = -6*t + t + d + 49, -15 = -2*t + 5*d. Suppose -4*y + 2 + t = 0. Solve -5*m + 22 + y = 0 for m.
5
Suppose o - 2*n = -4*o + 12, -2*o = 4*n - 24. Solve -o*u - 12 = -8*u for u.
3
Let q(b) = 7*b**2 + 1. Let u be q(1). Suppose -u*s + 20 = -4*s. Solve 0 = -s*l + 2*l for l.
0
Let m(d) = d**2 + 3*d + 3. Let p be m(-4). Suppose 0 = p*i - 2*i - 40. Let y be ((-2)/4)/((-1)/i). Solve -6 = y*f + 10 for f.
-4
Suppose 3*w - 20 = -2*w. Suppose w*d + 2*x - 6 = 0, -2*d + 4*x - 17 = -5. Solve 0*y - y - 4 = d for y.
-4
Let c(k) = k**2 - 4*k - 1. Let i be c(5). Solve i*p - 15 = -p for p.
3