Let b(i) = 7 + 0*i2 + i2 - 6*i3 + 5*i3 + 0. Let d be b(0). Solve d + 1 = -4*t for t.
-2
Let d be (-2)/(-10) - 145/(-25). Suppose -t - 25 = -d*t. Solve -t*n + 0*n - 10 = 0 for n.
-2
Let i = 14 - 6. Suppose -s + 2*y = -0*y - 4, 4*y + i = 0. Solve s = -r + 2 for r.
2
Let b be ((-5)/2)/(4/(-8)). Solve z - 2*z = -b for z.
5
Let i(u) = u3 + 3*u2 - 6*u - 3. Let o be i(-4). Suppose 2*g - k = -2*k + 1, 2*g = -o*k - 19. Let r = 10 - 0. Solve -r = g*j + 5 for j.
-5
Let o = 25 - 26. Let v = o - -3. Solve -v*a = 6 + 4 for a.
-5
Let c = 13 - 9. Solve 0 = -3*x + c*x for x.
0
Let m be 3 - 1/((-4)/(-12)). Solve 2*a = -m*a + 6 for a.
3
Let z be 4*((-2)/4 + 1). Suppose -3*v + z = -2*v. Let k be (-1*24)/(-3) - 1. Solve 1 = -v*i - k for i.
-4
Let d = 6 - 4. Suppose -3*t - a - 8 = 0, 4*t - a + 10 = 4. Let j = -1 - t. Solve -d*i = -i + j for i.
-1