Let v(t) be the first derivative of 5*t**2⁄2 + t + 3. Let i be v(1). Suppose -5*u + 8 + 17 = 0. Solve -3*a + i = -u*a for a.
-3
Let i(n) = -n3 - n2 + 3*n - 3. Let v be i(2). Let p be 4⁄3*v/(-6). Solve p = s - 0*s for s.
2
Suppose 0*u = -2*u. Suppose u = -0*d - 2*d + 8. Suppose -d*o + 1 = -15. Solve -o*z + 1 = -3 for z.
1
Let u = -19 + 33. Let d = 16 - u. Let s be 5/(1 - (1 + -1)). Solve r = d*r - s for r.
5
Let d = 7 - 16. Let k = -5 - d. Solve 6 = -2*t - k for t.
-5
Let p be (-5)/25 + (-49)/5. Let k = p + 12. Solve 6*o - 4 = k*o for o.
1
Suppose -4*r + 20 = 2*h + 6, -4*h + 12 = 0. Let x(s) = -3*s + 1. Let l be x(-1). Solve 2 + l = -r*v for v.
-3
Suppose 4*t - 32 = -4*p, p = -3*t - 2*t + 20. Let w = t + -3. Solve w*u - 4*u = 0 for u.
0
Let r be (-3)/(-9) + 38⁄3. Suppose -2*l + s - 8 = 6*s, -3 = -5*l - s. Solve -r = -4*h - l for h.
3
Suppose -4*w = -3*w - 4*j + 8, w - 2 = 2*j. Let b(v) = -v3 - 5*v2 - 5*v - 4. Let x be b(-4). Suppose 0 = -5*q + 17 + 8. Solve x = -q*u + u - w for u.
-3