Suppose d - 3*d = 0. Suppose -4*x + 3*x = d. Suppose m = 3*m - r - 12, -2*r + 8 = x. Solve 0 = 4*u - m*u + 16 for u.
4
Let x(y) = 2*y + 1. Let m(n) = n. Let i(b) = -13*m(b) + 6*x(b). Let s be i(3). Solve -s*h = -h for h.
0
Suppose -4*m + 18 = -m. Let v(n) = n**2 - 10*n + 3. Let l be v(10). Suppose -4*c + 6*b - 3*b + 14 = 0, -4 = -l*c - b. Solve w + m = -c*w for w.
-2
Suppose 0*c = 5*c. Let l = 0 + 4. Suppose -b = 1 - l. Solve 0 = -c*u + 3*u + b for u.
-1
Suppose 3 = -5*i + 18. Solve -4 - 5 = -i*t for t.
3
Let b(n) = n**2 - 8*n + 5. Suppose j = 0, 2*h + 2*h + j - 32 = 0. Let s be b(h). Let p be -2*s/(-4)*10. Solve -4*v - p = v for v.
-5
Let x(n) be the second derivative of -n5⁄20 + 7*n4⁄12 + n3⁄6 + 2*n2 + n. Let k be x(7). Solve 9 = 5*b - k for b.
4
Let y = -55 + 55. Solve y = -4*p - 0*p for p.
0
Let i(g) = -3*g + 1. Suppose -b = 4*t - 0*t + 8, -t = 4*b + 2. Let h be i(t). Suppose 0 = 3*n - h - 23. Solve -l = -6*l + n for l.
2
Let y be (15/(-5))/(6/(-4)). Solve -y = -b - 6 for b.
-4