Let y(q) = q**2 + q + 2. Let s be y(-3). Let z = s - 4. Solve -z*a = a for a.
0
Suppose -b - 2*b = 0. Suppose 0*n - 3*n + 12 = 0. Suppose -5 = -k - h, -n*k + 4 = -3*h - 2. Solve 0 = -k*m - b + 12 for m.
4
Suppose 2*y - 5*a - 30 = 0, 2*y - 4*a = 3*y - 15. Solve -3*v - y = -0 for v.
-5
Suppose c = 8*c - 14. Solve c*j - 3 = j for j.
3
Suppose -9 + 27 = 6*j. Solve j*m + 15 = -0*m for m.
-5
Suppose -1 = -2*n - 8*i + 3*i, -2*n - 2*i + 4 = 0. Let m be n/4 - (-21)/4. Let v(f) = -f3 - 7*f2 - 6*f. Let b be v(-6). Solve 2*c + m = -b*c for c.
-3
Suppose 0*f = -12*f + 36. Solve f*q - q = -8 for q.
-4
Let f = -2 + 7. Suppose -61 = -3*p - g, -2*p + 25 + 20 = f*g. Solve -3*h + p = 2*h for h.
4
Suppose -5*b = 5*c - 55, -5*c - 2*b = -b - 35. Let s be 26/c + 1/(-3). Solve -s*m - 12 = -4 for m.
-2
Let q be 0 + -2 + (23 - 0). Let y = q + -1. Solve -3*u - y = u for u.
-5