Let t = 26 - 17. Let k = -15 - -21. Solve 3*q - t = k*q for q.
-3
Suppose -z = -6*z - 15. Suppose 0*k + 5*k = 2*q + 19, 2*k - 16 = 5*q. Let b = z + k. Solve b = -i - 2 + 3 for i.
1
Let l be (-2 - -2) + 1 + -23. Let a = 24 + l. Solve 0 = -a*y + 8 for y.
4
Let u be (-4)/(-8) - 3/(-2). Solve u = -x - 1 for x.
-3
Suppose 0 = 3*y + 4*v + 3, -y - 2*v = -v. Suppose -4*j = -y*j. Suppose j*f - 2*f = -16. Solve x - 3 + f = 0 for x.
-5
Let q = -2 - 0. Let x be 0 - (1 + -1 + q). Suppose 0 = 3*i + x*i - 2*v - 10, -v = 0. Solve -3 = i*a + 1 for a.
-2
Let y = 6 + -3. Solve 0*g - 3*g + y = 0 for g.
1
Let i be (-2)/(-6) + (-4)/(-6). Suppose -2*t + i = 3*l - 5, 3*l = -3*t + 12. Solve -2*s = -t*s for s.
0
Let p(t) = 2*t + 1. Let v be p(2). Let w(j) be the first derivative of j4⁄4 + 2*j3⁄3 - 2*j**2 - 1. Let d be w(-3). Solve v*g = d*g + 6 for g.
3
Let g be 1/(2/(1 - -3)). Let w(k) be the third derivative of k6⁄120 + k5⁄15 - 5*k4⁄24 + k3⁄2 - 3*k**2. Let r be w(-5). Solve g*j + 25 = -r*j for j.
-5