Let q = -19 - -19. Solve 0*b - 5*b - 5 = q for b.
-1
Let g(i) = -5*i3 - i2 + i + 1. Suppose -1 = s - 0. Let x be g(s). Solve -x*v - 5 = v for v.
-1
Let f = -5 - -8. Solve 0 = f*k + k + 4 for k.
-1
Let s be (0/1)/(0 + 2). Suppose -7*t - 4*k = -3*t - 24, -3*t + 3*k + 6 = 0. Suppose -4*j + 2*j = -t. Solve s = 5*i + j + 13 for i.
-3
Let k = 15 + -10. Suppose -k*z + 6 = 3*f, -2*z + f - 7 + 5 = 0. Solve b + z*b - 3 = 0 for b.
3
Let o be 8/(-12) + (-4)/(-6). Suppose 5*j = n - 2 - o, -n = -4*j - 2. Solve n + 13 = -5*v for v.
-3
Let u(j) = 4*j**2 + j. Let h be u(-2). Solve -1 = -3*s + h for s.
5
Let f(k) = -k + 4. Let v(g) = -5*g + 21. Let q(u) = 11*f(u) - 2*v(u). Let r be q(0). Solve -8 = 2*j + r for j.
-5
Let l(x) = -2*x - 8. Let o be l(-12). Let q = 21 - o. Solve 0*v + v = -q for v.
-5
Suppose 0 = v - 4. Solve -v*k + 16 = -4 for k.
5