Let r(g) be the first derivative of -g**2 - 12*g + 3. Let b be r(-6). Solve z + 2*z = b for z.
0
Suppose 0 = -2*f - v + 5 - 3, -f = 2*v + 5. Solve 0 = -f*a + 2 + 4 for a.
2
Suppose 4*i = -g + 7, 5*g + 5*i - 102 + 7 = 0. Let z be g + (-1 - (-1 + 0)). Solve -4*v + z = 3 for v.
5
Let y = -7 + 6. Let j = 3 + -5. Let a be (-2 + (0 - j))*y. Solve -3*b + 9 + 0 = a for b.
3
Let u© = -7*c - 1. Let z be u(-1). Solve 0 = -z*l + 2*l + 16 for l.
4
Suppose -3*v = -38 + 14. Suppose 4*q - 16 = -2*u + u, 2*u - 2*q = -v. Solve -2*c = -u*c - 4 for c.
2
Let w be ((-3)/(-2))/((-8)/16). Let k be (w/(-6))/((-4)/56). Let m = k - -8. Solve -z = m - 0 for z.
-1
Suppose 16 = 2*p - 4. Let b = 14 - p. Solve 0 = -0*a - b*a + 4 for a.
1
Suppose 2*l + 12 = 4*l. Let w = l - 2. Suppose 2*i = -0*i + w. Solve -2*v + 0 = -i for v.
1
Suppose -1 - 9 = -5*h. Suppose s - 17 = -h*i - i, -s + 29 = 5*i. Suppose g - i = -k - g, g = 2. Solve 0 = k*u - 4*u for u.
0