Suppose 0 = 3*t - z + 8 - 1, 13 = -5*t + 3*z. Let n be (1 + 1*t)*0. Solve n = -2*r - r for r.
0
Suppose -2*l - 5*r = 5, -2*l + 16 = -5*r - 9. Solve -3*f - 4 = l for f.
-3
Let b be (1 + -1 - -4) + -2. Suppose -4*x + b*x + 28 = 0. Solve -x + 2 = -3*m for m.
4
Suppose f + 1 = -0. Let r(b) = 9*b**2 + 1. Let y be r(f). Let q be (14/y - 1)*5. Solve -2 = q*c - 0*c for c.
-1
Suppose 4*f - 5*x = 4 + 30, -f - 3*x = 0. Let o = -3 + 6. Let b be 1 - -8*f/o. Solve 0 = -4*n - 1 + b for n.
4
Suppose 2*m + 10 = 2*z, -5*z - 5 = 3*m + 2*m. Solve -z*v - v + 3 = 0 for v.
1
Let c = 3 + 93. Suppose -2*o - 7*b = -2*b - 50, 0 = -5*o + 2*b + c. Solve 3*t = 8*t - o for t.
4
Suppose 1 - 19 = -6*j. Solve 12 = -j*b - 3 for b.
-5
Let m = -6 + 8. Solve m*r - 4 - 2 = 0 for r.
3
Suppose 8*a - 35 = -5*h + 3*a, 4*h - 35 = 3*a. Let b be (-1)/h + 121⁄8. Solve b = -4*g + 3 for g.
-3