Let a be (-1 - -5)*(-72)/(-32). Let z = -5 + a. Solve -v = z*v - 25 for v.
5
Let b(o) = -2*o - 13. Suppose 0 = -4*w - 18 - 18. Let q be b(w). Solve q*c + 24 = -1 for c.
-5
Let b be (-3)/(-4)*(-1 + 13). Solve -3*v = -0*v + b for v.
-3
Let b(x) be the first derivative of x4⁄4 - x2⁄2 - 16*x - 2. Let a be b(0). Let s be 4⁄18 + a/(-9). Solve -k + 1 = -s for k.
3
Suppose -3*k + 17 = -2*k. Suppose -q - 2*q + 5*h = -k, 0 = -4*q + 5*h + 26. Suppose -5*m + a = -32, -5*m = a + 3*a - 22. Solve -m - q = -3*r for r.
5
Let v(q) = 9*q**2 - 2*q - 3*q + 4*q. Let r be v(-1). Solve -2*u = r - 4 for u.
-3
Suppose 0 = 2*z - 3*z - 3. Let l be -1*9*z/9. Solve -l*q - q = 0 for q.
0
Let p be -9*2/(-2)*2. Suppose -4*j + p = -2*a + 6, 4*j + 3*a = 22. Solve 5 = -j*g - g for g.
-1
Let j = 112 + -109. Solve -3*q = -j - 3 for q.
2
Let f© = -c**2 - 5*c - 3. Let x be f(-7). Let g = -11 - x. Solve -k = 2*k + g for k.
-2