Let f = 9 - -1. Solve 4*d - f = -d for d.
2
Let w be (-3 - 15/(-6))*0. Solve 5*b + w*b = 0 for b.
0
Suppose -2*z = -5*q - 8, q + 4 = z - 0*z. Let x(w) be the first derivative of -2*w**2 + w - 2. Let h be x(-1). Solve -h*p = -20 - q for p.
4
Suppose 0 = -3*t + 1 + 17. Let r be (-1 + t)*4⁄10. Solve -r*k = -7*k for k.
0
Let r = -12 + 16. Solve -r*f + 9 = -f for f.
3
Let v(i) = -i**2 - 6*i + 1. Let f be v(-6). Suppose -20 = 4*b, 0*u = 2*u - b - 17. Suppose 3*p + u = 18. Solve -p*q = -5 + f for q.
1
Suppose -j + 8*j = 0. Solve 0*h + 4*h - 4 = j for h.
1
Suppose 3*j - 22 = -2*u, j + 4*u - 5 - 9 = 0. Let g = 1 - 6. Let t be 2/g + (-51)/(-15). Solve -3*l + j = -t for l.
3
Suppose 0 = q - 5*x - 13, -q + 0*q + 4*x = -10. Let h be (-3 + -1)/q + 2. Solve v + h*v = 20 for v.
4
Let g(t) = 4*t3 - t2 + 2*t - 1. Let w be g(1). Let q = 2 + w. Solve 0*c + q = 2*c for c.
3