Let g(j) = j**2 + 2*j - 2. Let p be g(2). Suppose 3*c + p = -0. Let x be -1 - (-14 + (c - -4)). Solve 0 = 6*t - x*t + 15 for t.
3
Suppose -6 = k - 4*k. Solve -3*c - k - 10 = 0 for c.
-4
Let k = -7 - -10. Suppose k*z - 8 = -z. Solve 0 = z*t - 0 - 2 for t.
1
Let f(p) = p + 23. Let r be f(-20). Solve -w = -r*w - 10 for w.
-5
Let h = 4 - 0. Let d(t) = 0*t2 + t2 + t**2 + 1. Let j be d(-3). Solve -h + j = 5*y for y.
3
Let l(k) = -6*k - 4. Let o be l(-1). Solve -2 = o*r - r for r.
-2
Let q(f) = f**2 - 2*f - 8. Let s be q(4). Solve 0 = -5*a - s*a - 5 for a.
-1
Suppose -20 = -4*v - 4. Solve -v*c = -6 + 10 for c.
-1
Let m(u) = -u**2 - 6*u + 8. Let b be m(-6). Let o = b - 5. Solve 3*v + o - 9 = 0 for v.
2
Let k be 10*(18⁄10 - -1). Suppose k = 2*w - 4*r + 6, -4*r = 4*w + 4. Solve -2*b = b + w for b.
-1