Suppose 24 + 12 = -4*d. Let c® = r**2 + 9*r + 2. Let l be c(d). Solve 0 = l*x - x for x.
0
Suppose 10 = 5*q - 5. Solve 0 = -4*r + q*r + 4 for r.
4
Suppose 36 = -3*c + 12. Let z = c - -9. Solve -z = -t - 3 for t.
-2
Let w = 1 + 1. Let q be 4/(-2) - 1⁄1. Let k be (-8)/12*q/w. Solve 0 = -2*l + 1 + k for l.
1
Let b(m) = m3 - 2*m2. Let o be b(2). Suppose o = 3*l - 5 - 1. Suppose -l*z + 3*z - 3*n = 12, z + n - 12 = 0. Solve g - 5*g = -z for g.
3
Let m = 32 - 31. Solve 0*u + u - m = 0 for u.
1
Let k = -4 - -7. Suppose 7 = k*a - 8. Solve -12 = -a*r - 2 for r.
2
Suppose z - 16 = -4*u, 3*u - 3*z = 4*u - 15. Suppose 3*g + 12 = 6*g. Suppose -7 = g*f - 39. Solve 5 = -u*i + f*i for i.
1
Let o = -14 + 19. Suppose 5*d + o*m - 50 = 0, -m - 3 = 2*m. Solve -d = -3*w + 1 for w.
4
Let f(h) be the first derivative of -h4⁄4 + h3 + 5*h**2⁄2 + 2*h - 3. Let n be f(4). Suppose 6*c - n = 4*c. Solve c*b + 5 - 17 = 0 for b.
4