Suppose 5*x + 5*z - 40 = 0, 5*x - 42 + 10 = -z. Let n = -4 + x. Solve n*c = c + 5 for c.
5
Suppose 1 = -j + 4. Solve -6*o + 12 = -j*o for o.
4
Suppose -2*o + 4*o = 10. Suppose 0*j - o = -j. Solve j*h = 3*h for h.
0
Let r be (2*-1)/((-1)/2). Suppose k + 5 = -3*y, -2*y + 3*k = -5 - 10. Suppose y*h = r*h - 8. Solve 0 = c - h*c + 4 for c.
4
Suppose 0 = 5*y + q, -2*q = -4*y - 3*q. Let m = y - -3. Solve -m*t + 16 = t for t.
4
Let j be 1*2⁄3 + (-52)/(-12). Solve 0 = j*g - 5 - 0 for g.
1
Suppose v - b = -5, 3*v + 20 = -2*v + 4*b. Solve 5*u + 0*u - 25 = v for u.
5
Let s(h) = -h**2 - 10*h - 16. Let v be s(-7). Suppose 5*a = 2*a + 4*f, -v*f = a. Solve a = -3*i + 7 - 1 for i.
2
Suppose -3*r + 3*u + 18 = 0, -27 + 12 = -5*u. Let c(b) = b - 7. Let k be c(5). Let a = k - -8. Solve a*w + r = 3*w for w.
-3
Suppose -4*x + 17 = p - 0*x, -p + x = -2. Solve -p*q - 7 = -2 for q.
-1