Let n(u) = 2*u + 0 + 1 + 1 - 3. Let c be n(1). Solve -2 = -3*z + c for z.
1
Suppose 5*p = -2*m, -2*p + 3 = 2*p + m. Suppose -3 - 11 = 2*n. Let t(j) = j**2 + 6*j + 1. Let v be t(n). Solve -p = 5*s + v for s.
-2
Suppose 5*s = 5*i - 9*i + 7, 5*s = 2*i - 41. Solve 10 = k + i for k.
2
Suppose 6 = 11*f - 8*f. Let d(u) = u**2 - 2*u + 2. Let p be d(f). Solve -1 = -p*w + w for w.
1
Let a(n) = n**2 - 5*n + 2. Let k be a(6). Solve 12 = -5*q - k for q.
-4
Suppose a = -4*a. Let q(n) = n3 - 10*n2 + n - 5. Let i be q(10). Solve a = -0*c - 5*c - i for c.
-1
Suppose 0 = -3*l + 78 - 48. Solve -4*g = -6*g + l for g.
5
Let d(h) = h**2 + 18*h - 18. Let v be d(-19). Solve 11 = -5*n + v for n.
-2
Let q be ((-16)/(-40))/((-1)/5). Let f = -5 - -2. Let n be 2/(q/f*3). Solve i - 4 = -n for i.
3
Suppose -4*r = -3*r - 10. Let m = 2 - 2. Suppose -y - 5*q + 0*q + r = m, -y + 2*q + 31 = 0. Solve -y = 2*t + 3*t for t.
-5