Let c = 1 + 3. Suppose v = -v + c. Solve -v*j + 12 = -5*j for j.
-4
Let i(y) = y**2 + 3*y - 2. Let u be i(-4). Suppose -16 = 5*b - 4*a, -b + 5*b - 8 = -2*a. Suppose 2*m + 0*m = b. Solve m = u*d + 9 - 1 for d.
-4
Suppose -5*q + q = 3*g - 1, -3*q = 3*g - 3. Solve 0 = c + 2*c + g for c.
-1
Let x(w) = -w**2 - 2*w + 3. Let y be x(-3). Solve 3*g - g = y for g.
0
Suppose -2*x + i = 23, 4*x + x - 5*i + 70 = 0. Let d = x - -11. Solve 6*s - 16 = d*s for s.
4
Suppose -3*j = j. Suppose 3*y + 41 = y - 5*z, -3*y - 5*z - 49 = j. Let t be (-1 - 2)*y/3. Solve 4*q - 24 = -t for q.
4
Let r = -12 + 14. Suppose 0*l = -r*l + 12. Solve -c - l = -3*c for c.
3
Let a = -10 + 14. Suppose -5*l = -3*h + 19, 4*l = -2*h - 2*h + a. Let g be l + (-2)/(-4)*6. Solve -c + g = -0 for c.
1
Let w be 4/(-8)*(0 + 0). Suppose w = 4*h + 3*q + q, 0 = -4*h - 5*q. Solve -p + 0 - 4 = h for p.
-4
Suppose 0 = r + 4*g - 17 - 12, -2*g = -3*r + 17. Solve -4*y - 20 = -r*y for y.
4