Let s(n) be the first derivative of n3⁄3 + 2*n2 - 8*n - 1. Let b be s(-6). Suppose -3*v + 10 = -2. Solve 8 + b = v*k for k.
3
Let x be (2⁄4)/(4/(-24)). Let c = 1 - x. Let m be ((-12)/(-10))/(c/10). Solve -i + m = 6 for i.
-3
Let v be 3 - (0 - (0 + -2)). Suppose -q - v = -2*q. Solve -t - q = -6 for t.
5
Let f be 5⁄15*1*18. Let m© = c**2 - 7*c + 6. Let g be m(f). Solve g = r - 5*r - 12 for r.
-3
Let i = 176 + -176. Solve i = -0*j - 2*j for j.
0
Let t = -57 + 106. Suppose -1 = -2*f + t. Suppose 0 = 3*b - 8*b + f. Solve -s = -b*s for s.
0
Let f(s) = s**2 + 5*s + 7. Let j be f(-4). Solve -z = j*z - 4 for z.
1
Let q = 4 + -1. Let m = 25 - 13. Let l = -9 + 15. Solve -q*s + m = -l*s for s.
-4
Suppose m + 10 = 3*k, -2*k + 0*k - 3m + 3 = 0. Let f = k - 2. Let c be f/((-2)/4)-1. Solve -c*t = 3*t for t.
0
Suppose 0 = 8*x - 6*x. Suppose 4*s = -5*g - 24 - 47, -5*g + 5*s - 35 = 0. Let p = x - g. Solve -4*d + 31 - p = 0 for d.
5