Suppose 3*x + 0*x - 3 = 0. Let m be 1 + x + (4 - 3). Solve -4*r - 1 = m for r.
-1
Let c be -3*1 + 15 + -8. Solve c*j + 20 = -j for j.
-4
Let r be (-14)/21 + (-8)/(-3). Suppose 0 = 4*h - 5*h + 5. Solve r*c = -1 - h for c.
-3
Suppose 4*o + 5*v = 25, -v - 5 = 4*o - 2*v. Let p(g) = -g3 - g2 + g + 5. Let t be p(o). Solve 2*i - t = i for i.
5
Let x(v) = -3*v**2 + 36*v + 6. Let q be x(12). Solve 0 = 2*b - 0 + q for b.
-3
Suppose 12 = -18*i + 24*i. Solve -i = 3*h + 7 for h.
-3
Suppose -5*u = -5*v + 30, 0 = -3*v - v - 2*u + 6. Solve -k - v = -1 for k.
-2
Suppose 4*i = 2*n + 36, 2*i + 4 = -2*n - 2*i. Let j be (-3)/2 - 5/n. Let f be (-25)/(-10) + j/(-2). Solve f = -0*c + c for c.
3
Suppose v - 3*v + 18 = i, 4*i + 2*v = 66. Solve 5*q - i = -1 for q.
3
Suppose 4*g - 48 = -4*m, 0*m - 5*g = -5*m + 60. Suppose 0*r = -r + 22. Let u = r - m. Solve w - u = -w for w.
5