Let p(i) = 3*i**3 - i - 2. Let g be p(2). Let j = 13 - 7. Suppose 0*v - j = -v. Solve l - v*l + g = 0 for l.
4
Suppose -4*c + 19 = 3*j - 3*c, -4*c - 36 = -4*j. Let t® = -r**2 + 7*r + 3. Let y be t(j). Solve g = y*g for g.
0
Let o(i) = -i - 3. Let n be o(-7). Suppose 3*j - 5 = n. Let p be (-1)/(-6) + 23/(-138). Solve p = j*a + 3 + 3 for a.
-2
Let l = -17 - -28. Suppose 3*b - 4 = -n, -b + l = -3*n - 7. Solve b*g + 2*g = -10 for g.
-2
Suppose -20 = 3*d - 2. Let i = d + 11. Solve t = i*t for t.
0
Let z(u) be the first derivative of u4⁄4 - 2*u3⁄3 + u**2⁄2 + u + 3. Let g be z(2). Solve g = -2*m + 1 for m.
-1
Let r(f) = 3*f**2 + 2. Let u be r(-1). Solve -u*m = 4 + 1 for m.
-1
Let g(l) = l + 3. Let x be (-4)/(-32)*4*0. Let n be g(x). Solve -n*y - 3 = -15 for y.
4
Let o(i) = -i**2 - 4*i. Let y be o(-3). Suppose -6*j = -y*j - 9. Suppose 3*m = 4*n - j, 3 = -3*n + 4*n. Solve -m*z - 15 = -8*z for z.
3
Let r = -3 - -4. Let h = 3 - r. Let w = 2 + -1. Solve -h - w = u for u.
-3