Suppose 4*z = -7 - 37. Let r = -6 - z. Let t = -1 + r. Solve 6 = 5*g - t for g.
2
Let i = 12 + -11. Solve -2 = 3*n + i for n.
-1
Let b(i) = -i**2 + 6*i - 4. Let p be b(4). Let m = p + -2. Solve m*t - 4 = 6 for t.
5
Let m(v) = -v3 - 9*v2 - 7*v + 8. Let q be m(-8). Suppose 2*p - p + 7 = q. Let c = p - -12. Solve c*a + 3 + 22 = 0 for a.
-5
Suppose 3*b + 10 = -8. Let o(j) = -j3 - 7*j2 - 8*j - 7. Let x be o(b). Suppose 3*i = 9 + 3. Solve 0 = -g - i*g - x for g.
-1
Let g = -20 + 20. Suppose -2*o - 2*o + 4 = 0. Let s = o + 5. Solve -s = 2*r - g for r.
-3
Let p = 10 + -10. Let o = -5 - -8. Solve -o*m + 15 = -p*m for m.
5
Suppose 2*p + 5*g = -3, 0 = -g + 2*g + 5. Let b = -11 + 16. Solve 0 = -b*z - 14 - p for z.
-5
Let d(z) be the first derivative of z**2⁄2 + 4*z + 1. Let k be d(-4). Solve 2*y + 0*y = k for y.
0
Let u(g) = g**2 - 4*g + 3. Let m be u(5). Let s be (6/(-4))/((-2)/4). Suppose 3*y = j - s, -5*y - m = 3*j - 3. Solve j = 2*h + h for h.
0