Let a = -112 + 117. Solve k - 2 = -a for k.
-3
Suppose -m = 3*m + 5*v - 9, -3*v = -3*m. Solve 2*i = m + 1 for i.
1
Let a be (9⁄6 + -4)*-2. Solve 8*t - a*t = -6 for t.
-2
Let i(s) = 2*s3 + 5*s2 + s - 2. Let a(h) = -h**2 - h + 1. Let l(g) = 4*a(g) + i(g). Let q be l(1). Solve q - 17 = 5*t for t.
-3
Let h = 12 + -8. Solve -3 = h*i - 19 for i.
4
Let t(k) be the first derivative of k4⁄4 + 11*k3⁄3 - 11*k**2⁄2 + 14*k - 6. Let x be t(-12). Solve 2 = 4*j - x for j.
1
Suppose 0*c = 6*c. Solve c*j + 3*j = -12 for j.
-4
Let g = 1 + 3. Let c = -11 + 25. Solve 5*d = -c + g for d.
-2
Let l(a) = -a**2 + 7a - 1. Let b be l(5). Let g be (-2)/(1/b-1). Solve -2 = -5*w + g for w.
4
Let p(x) = 3*x2 - 2*x + 1. Let y be p(1). Let o(a) = a3 + 2*a**2. Let m be o(-2). Suppose m = -s - s + 6. Solve y = u - s for u.
5