Suppose 5*t - 3*v + v + 4 = 0, t = -v - 5. Let b = t - -4. Suppose g - 20 = -4*g. Solve g*i - b*i = 6 for i.
3
Suppose -81 = g - 253. Suppose u - 40 = -4*v, -5*u + v + g + 28 = 0. Suppose 5*p + 0*p + u = 4*i, 3*i + p = 30. Solve 2*t - 4*t + i = 0 for t.
5
Let q(a) = a**3 - 4*a + 3. Let m be q(2). Suppose -k = -i - 12, -i + 12 = m*k - 8. Suppose -35 = -5*g - 7*d + 2*d, 2*d - k = 0. Solve -g*z = -6*z - 3 for z.
-1
Let u(z) be the first derivative of -3 + 1⁄4*z4 - 4*z2 + 3*z + 7⁄3*z**3. Let d be u(-8). Solve d*j - 12 = 3 for j.
5
Suppose 3*n = 2*n + 3. Suppose -n*p + 2*c + 58 = 0, -3*p + 12 = -p + 4*c. Solve 0 = 6*i - 2*i - p for i.
4
Let x = -16 + 18. Solve x*m = -0*m + 4 for m.
2
Let q(a) = a3 - 6*a2 + 7*a - 7. Let b be q(5). Solve 0 = -b*d - 2*d for d.
0
Let z(d) = d**2 - d - 2. Let x be z(-3). Suppose 3*b - x = b. Suppose 5*r - 5 = b. Solve r*t = 6*t + 4 for t.
-1
Let u be 24⁄5 + (-1)/(-5). Suppose 0 = 2*a + 5*p + 23, -5*p = -u*a - 3 - 2. Let n be (a/(-3))/(2⁄3). Solve n*x - 11 = -3 for x.
4
Suppose 6*i - i = 35. Let v(j) = j3 - 8*j2 + 7*j + 7. Let m be v(i). Suppose 5*h + k = m, -7*h = -3*h + 3*k + 1. Solve 0 = -h*z + 3 + 3 for z.
3