Let t be ((-3 - -1) + 2)/(-1). Suppose t*a + a = 3. Suppose -a*u - j + 4*j + 27 = 0, 0 = 5*u - j - 29. Solve 0 = -2*p + 1 + u for p.
3
Suppose 0 = g - 5. Suppose -g*x = 3*f, 3*x - f = -0*x. Suppose -4*k = -10*k + 18. Solve -2*u - k*u - 5 = x for u.
-1
Let f = -24 + 39. Let q = f - 14. Solve 3*x + q = -2 for x.
-1
Suppose -x - 5 = -4*k, k + 5 = -2*x - 5. Solve 4*t = -k*t for t.
0
Let n be (-2)/(32⁄20 + -2). Let o = n - -5. Solve -6*j + o = -j for j.
2
Suppose -3*s - 3*b = 0, 5*b - 3*b + 12 = 2*s. Solve 11 - s = 4*w for w.
2
Suppose 0 = -2*d + 4*x + 6 + 10, -3*d + 12 = -3*x. Solve d*b + 5 = -b for b.
-5
Let n(k) = 4*k + 5. Let t be n(0). Solve 2*s = t*s - 3 for s.
1
Let d = 54 - 54. Suppose -v = -2*v + 3*l + 6, 0 = 3*v - 4*l - 8. Solve 3*x + v + 15 = d for x.
-5
Let m = 0 + -3. Let i be (m - -2) + 4 + 0. Suppose 2*r + i*r - 13 = -4*z, -5*r + 34 = -3*z. Solve -2 = r*n + 13 for n.
-3