Suppose -x = 2*j + 2 + 10, 2*j - 4 = 3*x. Let k = x - -4. Solve -2*u + k + 2 = 0 for u.
1
Suppose -5*k + 5*o + 191 = 2*o, 0 = 2*k + 4*o - 92. Suppose k = 5*l - 3*l. Suppose 0 = 2*m - 0*w - 4*w + l, -5 = 3*m - w. Solve m = -5*v + 12 + 3 for v.
3
Let i(t) = 3*t + 2. Let q(g) = 4*g + 3. Let c(w) = 5*i(w) - 4*q(w). Let o be c(-9). Solve o*x - 12 = 3*x for x.
3
Let c = -13 - -28. Suppose 8 + 2 = 2*t. Suppose t = 4*x - c. Solve x*j + 0*j - 5 = 0 for j.
1
Suppose -d = 1, h - 5*d - 8 = -2*d. Suppose 22 = h*x - 13. Solve 5*z - x + 2 = 0 for z.
1
Suppose 2*j = 2*s + 14, -6*j + 3*j - 2*s = 4. Solve -2*o + j = -2 for o.
2
Suppose -6 = -2*n - u, 4*n - 6 = 5*u - 22. Let b = n + -1. Suppose -4*t - d + 13 = 0, -4*t = -0*t - 4*d + 12. Solve 2*z - 8 - t = b for z.
5
Suppose -4*c - 3*w - 32 = c, 31 = -4*c + 3*w. Let h = -7 - c. Let v be 0/(1 + h + -2). Solve v = -d + 2*d for d.
0
Let f(s) = -s3 + 11*s2 + 11*s + 12. Let x be f(12). Solve x = 2*m - m for m.
0
Suppose 5*a + 27 = j, 2*a + 20 = -2*a. Solve -2*u - j = 6 for u.
-4