Let i(q) = 30*q + 1. Let t be i(2). Suppose 5*y - t = -5*v + 39, -y - 2*v + 16 = 0. Suppose -2*j - 2*j = -y. Solve 0 = -j*k + 2*k - 12 for k.
-3
Let u = 19 + -14. Solve -z = -u*z - 20 for z.
-5
Suppose -2*g - 12 = -2*b - 3*g, 0 = b - 3*g + 8. Solve 0 = b*j - 5*j - 3 for j.
-3
Suppose a - 40 = -3*a. Suppose 3*c - a = -2*o, 5*c + o - 2o = 8. Let h be (-10)/(c/6-2). Solve -h = -2*t - 3*t for t.
3
Let d(i) = -i**2 - 9*i - 9. Let h be d(-7). Suppose 4*n = -h*a - 33, -a - n - 12 = a. Let l be (1 + -1)/(10/a). Solve q + q + 6 = l for q.
-3
Let k = -43 - -45. Solve -1 = -k*h + 7 for h.
4
Suppose -2*g - n + 5*n - 2 = 0, n = -3*g - 24. Let z = 11 + g. Suppose -5 = -z*l + 11. Solve 2*k = l*k + 6 for k.
-3
Let g = -7 + -1. Let s = -6 - g. Solve s*m = -m for m.
0
Suppose 0 = -0*r + 9*r - 9. Solve -s - r = -4 for s.
3
Let g(k) = -k3 - 12*k2 - k. Let a be g(-12). Let b = 0 - -2. Let u = b + 1. Solve 0 = -u*n + a - 3 for n.
3