Let s = -5 + 5. Suppose 4*z + 7 - 23 = s. Solve c + 2 = z for c.
2
Suppose 3*m - 8*m = -35. Suppose -3*h = -4*h + r + m, -5*h + 29 = -3*r. Solve -h*w = -2*w - 2 for w.
1
Suppose 5*t + 6 = 7*t. Suppose -5*c - 3 = t*r + 6, 5*c = -2*r - 11. Let p = 7 + c. Solve -4*u + 0 = p for u.
-1
Let w(m) = m**2 - 6*m + 1. Let n be w(6). Solve -2*s + n = -s for s.
1
Let m = 7 - 5. Let k = 2 - 0. Solve -m*a = 6 + k for a.
-4
Let k be 3/(-15) - (-6)/5. Solve -2*v - k = -5 for v.
2
Suppose 1 = -4*q + 17. Suppose 6 = -3*r + q*r. Solve -x = -r*x for x.
0
Let p = 13 - 13. Suppose -4*i - z = -2, -3 = -4*i - 4*z + 5. Let w(t) = t**2 - 4*t. Let h be w(5). Solve h*o + i*o = p for o.
0
Suppose -47 = 3*z - 62. Solve -z*q - 10 = -5 for q.
-1
Suppose o + 0*o = -2*r + 11, 1 = 2*r - o. Let l = -2 + r. Solve -y + l = -0*y for y.
1