Let r = -25 + 25. Suppose r = 3*q + 11 - 23. Solve -q*d - 25 = d for d.
-5
Let t(v) = 2*v**2 + 5*v - 1. Let g be t(-4). Suppose 0 = 2*w - 2*k - 14, 4*w = 2*k + 9 + g. Solve 0 = j + w*j + 4 for j.
-1
Suppose v = -3*y - 19, 0*y - 2*y + 2*v - 10 = 0. Suppose -2*q = -3*c + 18, -29 = 4*c - 9*c + 3*q. Let m be 81/(-18)*c/y. Solve -m*p + 4 = -11 for p.
5
Let g(i) = 6*i**3 + 2*i + 2. Let x be g(-2). Let a = -30 - x. Suppose -3*y + a = -2*y. Solve -3*u - 2*u = -y for u.
4
Let j = -3 - -8. Let i(z) = z**2 - z + 4. Let p be i(0). Solve -c = -j*c + p for c.
1
Suppose -3 = -2*u + b + 1, -3*b = 0. Solve u*v + 15 = -3*v for v.
-3
Let t = 9 + -5. Let v = -5 + 1. Let b(j) = j3 + 3*j2 - 3*j + 4. Let o be b(v). Solve o = 2*p - t*p - 10 for p.
-5
Let n(o) = -16*o + 1. Let c be n(1). Let x = c + 22. Solve 0 = x*r - 2*r - 25 for r.
5
Suppose -p + 0*p - z = -21, -p + 11 = 3*z. Suppose 5*y + 1 = p. Let b = 5 - 3. Solve y*i = b*i for i.
0
Let h = -37 - -39. Let t be (2/(-3))/((-4)/30). Solve -c + t = -h*c for c.
-5