Suppose 3*n = 2*u + 16, 4*n + 0*u = 3*u + 23. Solve -n*r + 2 = 12 for r.
-5
Suppose -4*v + v + 9 = 0. Let m = 2 - -6. Suppose -8 = 4*n - m*n. Solve 0 = v*t - 2*t - n for t.
2
Suppose 0*u = -3*u + 9. Suppose h + o = 4*o + 19, 6 = u*o. Solve 4*c = -c + h for c.
5
Let v = 100 - 96. Solve v*z = -2 + 18 for z.
4
Let a(s) = s**2 + 2*s + 2. Let c be a(-2). Suppose 0 = -4*v + 4*r + 16, 2*v - c*r - 16 = 2*r. Solve -3*q + v = 9 for q.
-3
Suppose c - 6*c = 3*x + 4, 5*x = -4*c + 2. Solve -x*w + 2 = -0*w for w.
1
Suppose 2*m = -5*v + 15, -3*m + 3*v = 8*v - 20. Suppose 2*n = 2*i - 70, -4*n - 21 = m*i - 205. Solve -11 = -5*t - i for t.
-5
Suppose -k = 1 - 2. Solve 2 + k = m for m.
3
Let r be -1 + 1 - 0 - -1. Suppose 0 = 22*t - 20*t - 2. Let s be t + (-2 + 4 - r). Solve d - s = -5 for d.
-3
Let z = 6 + -4. Solve 3*c + 15 = -z*c for c.
-3