Suppose 6*v - 2*v = 0. Let n be -1 - v - (1 + -1). Let x = 1 - n. Solve -2*c + 16 = x*c for c.
4
Let s = 13 - 28. Let y = -11 - s. Solve 5*t = t - y for t.
-1
Suppose -5*i = 5*i - 2*i. Solve 5*d + i*d = 0 for d.
0
Let m(o) = -o3 + 15*o2 + 17*o - 16. Let s be m(16). Solve -5*b + 20 = -s*b for b.
4
Let f be (-1)/5 - (-16)/5. Suppose t + 3*d = -0*t + 9, -4*d + 12 = -f*t. Solve t*y = y for y.
0
Let j = 6 + -4. Suppose 2*n = 4*s, 27 = 5*n - 0*n - s. Solve -j*k + n*k = 0 for k.
0
Let j(m) = -4*m - 21. Let h be j(-6). Suppose 0 = -2*t + 1 + h. Solve -5*x + t + 3 = 0 for x.
1
Let d = -5 + 8. Suppose -5*m + 13 = -2*m + 4*q, 2 = 2*q. Let i = m - 1. Solve i = -r - d for r.
-5
Let v(t) be the first derivative of -t**3⁄3 + 3*t - 1. Let b be v(0). Let d = -63 + 79. Solve -b*f = f - d for f.
4
Let i be (-2 - (-15)/5)*3. Solve -9 = 2*v - i for v.
-3