Let t® be the first derivative of r**2⁄2 - 11*r - 2. Let q be t(6). Let i = -5 - q. Solve -4*b + 8 = -i for b.
2
Suppose -2*u = -0*u - 6. Suppose -u*b = -c + 15, 8*c - 3*c - 19 = b. Solve -1 = -c*f - 7 for f.
-2
Let k = -6 + 16. Solve k = z + z for z.
5
Let y = -5 + 8. Suppose -2 = o, 4*v - 10 = -y*o + 12. Let l = v - 7. Solve -2*g - g = l for g.
0
Let p = 12 - 7. Let o be 10*p*2⁄25. Solve 5*l = -6 - o for l.
-2
Let d = -10 - -23. Let g = -7 + d. Solve 0 = -4*a + 2 - g for a.
-1
Let s be 2⁄10 - 14⁄70. Solve 2*z + s = 2 for z.
1
Let s = 52 - 52. Solve 3*v - 3 + s = 0 for v.
1
Suppose 5*k + 2 = 22. Suppose -k*f + 0*b + 10 = 2*b, -f + 3*b + 20 = 0. Suppose 3*v - f*a + 2 = -1, -v - 5*a = -19. Solve v = z + 5 for z.
-1
Let c(i) = -i**2 + 4*i. Let d be c(4). Solve f + 3 = -d*f for f.
-3