Let t(p) = p3 - 3*p2 + p - 2. Let r be t(3). Let v = 0 + 0. Solve b - r = -v for b.
1
Suppose 0*r - r + t = 3, -4*r - 6 = -2*t. Suppose 0 = -r*s - 2*s + 2. Solve s = 2*z + 5 for z.
-2
Suppose j + h = -2*h + 18, 2*j - h = 1. Let d be 0 + -3 + j + 3. Solve -l - 1 = d for l.
-4
Let j(s) be the third derivative of s5⁄12 - s4⁄6 + 2*s3⁄3 - s2. Let h be 35⁄10 - (-3)/(-6). Let l be j(h). Solve -5*g + 12 - l = 0 for g.
-5
Let j(t) = -4*t3 + t2 + t. Let d be j(-1). Let m be 105/(-33) + 3 - 114/(-22). Solve -h + m = d*h for h.
1
Let i = 4 + -11. Let m be (-194)/i + (-2)/(-7). Let g = -15 + m. Solve 0 = -4*s + g - 1 for s.
3
Let g(w) = -w**2 + 11*w - 8. Suppose 24 = 5*f - 26. Let a be g(f). Solve a*k - 2 = 4 for k.
3
Let k be 2⁄10 - (-14)/5. Let l(f) = k*f - 2*f + 2*f - 2*f - 3. Let d be l(8). Solve 0*z - 5*z + d = 0 for z.
1
Let r(t) = -t2 - 5*t + 6. Let d be r(-6). Let u(i) = i3 - 4. Let p be u(2). Solve p*c + c + 15 = d for c.
-3
Let a be (-2 - -8)*2⁄3. Suppose -35 = -5*d + 5*n, 0*n = a*d - 2*n - 22. Suppose d = l + 2. Solve q = 3*q - l for q.
1