Suppose 0 = -27*u + 20*u + 56. Let m(y) = y**2 + 7*y + 5. Let s be m(-5). Let c = -3 - s. Solve c*v - u = -0 for v.
4
Let y be 2/(-4) + (-176)/(-32). Solve 5 = -10*r + y*r for r.
-1
Suppose j + 4 = -3. Let r = 10 + j. Suppose -2*b = r*b - 45. Solve -t = -4*t - b for t.
-3
Suppose 0 = g - 6 - 5. Suppose 3*o - g = -5*b, -b - 2*b - 2*o + 6 = 0. Solve z = 5*z + b for z.
-1
Let d(v) = 2*v**2 - 8*v + 4. Let s be d(4). Suppose 10 = 2*n + 2*n - 2*f, 3*n - s = 5*f. Solve r = n*r for r.
0
Suppose -2 = a - 4. Suppose -2*d - 4*b + 7*b + 19 = 0, a*b = 5*d - 31. Solve 3*f - d + 2 = 0 for f.
1
Let f(t) = t**2 - 3*t + 5. Let x be f(4). Suppose 22 = 3*i - 5*b, 1 = i - b - 5. Suppose -j + 9 = y - 2*y, i*y = -5*j. Solve -1 = j*z - x for z.
2
Suppose u - 3*n + 28 = 3*u, n = -4*u + 36. Suppose 0 = -0*w + 2*w - u. Suppose -4*m = 16, w*m + 0*m = 2*i - 22. Solve -7 = -i*p - 4 for p.
1
Let f = 18 + -11. Suppose -5 = -3*j + f. Solve -5 = -j*h - h for h.
1
Suppose 5*z = -2*s - s - 2, -1 = z. Solve -s - 3 = 4*o for o.
-1