Let p(q) = 2*q**2 + q - 1. Let a be p(-2). Solve s = -4 + a for s.
1
Suppose -n + 3 = -g, 2*g = -4*n - 3*g - 15. Suppose p + t = -0*p - 3, -2*p + 2*t + 10 = n. Solve -d + p = -0*d for d.
1
Let g = -6 + 4. Let c = g + 2. Solve 0 = s - c*s - 2 for s.
2
Let j = -2 - -5. Suppose -5*g + i + 50 = 0, g = -j*g - 2*i + 40. Solve -g - 2 = -4*f for f.
3
Let m(u) = -u**2 - 5*u + 1. Let j = -4 - 0. Let f be m(j). Solve -2*p + f*p = 12 for p.
4
Let l = 11 + -7. Let i(b) = b. Let d be i(l). Suppose d*j - 3*m = 24, -4*m - 3 = 3*j - m. Solve j*q + 8 = 7*q for q.
2
Suppose 5*t - 36 = -4*t. Solve c = t - 2 for c.
2
Let u = 33 - 33. Solve u = -l - 5 + 2 for l.
-3
Let k(y) = -2*y + 6. Let t be k(0). Solve 0 = -2*m - t + 2 for m.
-2
Let i be ((-17)/(-2))/(9⁄18). Suppose -4*t + 3*q + i = 0, 0 = q - 3*q - 6. Solve -t = 5*n + 3 for n.
-1