Suppose 3*r = -2 + 14. Suppose 8 - 24 = -r*z. Solve z*m + 12 = -0*m for m.
-3
Let r(k) = -k**2 + 12*k - 32. Let z be r(6). Solve -9*i + z*i + 5 = 0 for i.
1
Suppose 0 = -5*k + 56 - 1. Suppose -3*r = r - 20. Let m = r + -1. Solve -k = -m*o + 5 for o.
4
Let u(o) = 6*o + 2. Let n be u(10). Let c be n/6 - (-10)/15. Solve 2*m = c - 1 for m.
5
Suppose 2*c = 12*c. Solve 4*s + c*s = -4 for s.
-1
Let r be (0 + 3 - 0) + -1. Let d = 11 + -9. Solve -u = -d*u - r for u.
-2
Suppose -3*s - 9 = -3*b, -5*s = 2 + 3. Solve b = -x - 2 for x.
-4
Let s = -3 + 6. Suppose 0 = 5*j + 2*o - s*o + 30, 3*o = 2*j - 1. Let f(m) = -m - 5. Let x be f(j). Solve t + 5 = x*t for t.
5
Let v = -4 + -2. Let p be (-3)/v*(1 - -3). Solve 1 = 3*g - p*g for g.
1
Let n(k) = -k - 3. Let u(s) = -2*s - 6. Let m(o) = 5*n(o) - 3*u(o). Let p be m(0). Suppose p*j + j = 0. Solve j = -0*t + 4*t - 20 for t.
5