Let t(y) be the third derivative of y6⁄120 - y5⁄15 - y4⁄6 + 3*y2. Let p be t(5). Suppose 4*x = 4*m - 24, -m + 24 - 9 = -4*x. Solve m = -p*z + 28 for z.
5
Let t(v) = v**2 - 1. Let u be (-3 + 9)/(-3) - -3. Let o be t(u). Solve o = -k + 1 for k.
1
Suppose -i - 5*v = -4*i + 20, -5*v = -2*i + 20. Let n(w) = -w**2 - w + 17. Let p be n(i). Suppose o = -3*o + 12. Solve o = 5*j - p for j.
4
Let q(b) = b**2 + 5*b + 2. Let n be q(-3). Let j = n - -4. Solve v + j*v = 4 for v.
4
Let j be 0/(1 + 0) - 0. Solve -4*o + 0 - 12 = j for o.
-3
Suppose t = -2, 5*w + 0*t - 70 = 5*t. Solve -w = 3*x - 0 for x.
-4
Let y be (-30)/(-9) + 2/(-6). Suppose g + 4*u = -2*g + 19, u - 5 = -g. Solve 0 = -2*t + y - g for t.
1
Suppose 3 = 2*w - 5. Solve 3*c - 5 = w for c.
3
Let m(t) = -4*t - 1. Let z = 3 - 8. Let a = z + 4. Let f be m(a). Solve -f*k = -2*k + 2 for k.
-2
Let x(v) = -v - 12. Let f be x(0). Let m be ((-21)/f)/((-1)/(-4)). Suppose g - 3*z = 5*g - 24, 0 = 5*g + 4*z - 31. Solve -5 = -g*i + m for i.
4