Let q = -6 + 6. Suppose q*t + t + c = 25, -2*c - 30 = -2*t. Solve 0 = -7*s + 2*s - t for s.
-4
Suppose 0 = -r - 4, 2*q - q + 2 = -2*r. Let h be 51/(-15) - 2/(-5). Let y = q + h. Solve -y = -2*g - 1 for g.
1
Let u be (-2)/(-4) - 5/(-2). Let w = 4 - 4. Suppose u = y - w. Solve -y = -5*r + 12 for r.
3
Suppose 0 = -4*f + 2*u + 58, -3*u = 3 + 6. Suppose -z = -3 - f. Solve z - 1 = -5*a for a.
-3
Let a(l) = 6*l - 21. Let h be a(4). Solve 0*v - h*v - 12 = 0 for v.
-4
Let j be ((-4 + 4)/(-2))/1. Solve j = b - 7 + 2 for b.
5
Let r(f) = 4*f - 16. Let y be r(4). Solve y = -9*g + 4*g for g.
0
Let p be 6 + -2 - (-58)/(-29). Let l(k) = 4*k**2 - 2*k - 1. Let f be l(-1). Solve -3 = -p*b + f for b.
4
Let v be (0 + 2)*(-4)/(-2). Suppose -z - 4*l = v*z, 5*l = -z. Suppose 3*f - 7*f + 12 = 0. Solve 6*u - f*u + 9 = z for u.
-3
Suppose 2*o - 5*o + 4*v = 6, -o + 4*v = 10. Suppose o*h = 5*h. Solve 0 = -h*q - 3*q - 6 for q.
-2