Let t(f) = -7*f. Let s be t(-1). Let d = 7 - s. Solve d*r = -r + 1 for r.
1
Let b(a) be the first derivative of -a**2⁄2 + 6*a - 2. Let t = 41 + -37. Let h be b(t). Solve -g + 3 = h*g for g.
1
Suppose 5*s + 3*z - 10 = 0, 15 = -3*z - 0. Suppose -4*r - 5*x = 0, 4*r - 2*r = 3*x + 22. Solve -15 = -r*k - s for k.
2
Let x = -50 - -55. Let q be (-2)/6 + 152⁄6. Solve x*h + q = -0 for h.
-5
Let n = -5 - -4. Let x(h) = 4*h**2 + 2*h + 1. Let r be x(n). Solve -r = -2*y - 7 for y.
-2
Let y(l) = 6*l**2 + 2*l + 1. Let n be y(-1). Suppose n*z - z = 24. Suppose -d + v = -v, -5*d + z = -4*v. Solve d = r - 3 for r.
5
Suppose -3*d - 3*h + 0 = -21, h - 17 = -2*d. Solve d + 0 = -5*w for w.
-2
Let j = 6 + -6. Suppose 4*z - 9 - 3 = j. Solve -2*m = -m - z for m.
3
Let o(f) = f**2 + 11*f + 16. Let i be o(-11). Let b be 8/(-10) + i/20. Solve b - 9 = -3*n for n.
3
Let g(s) = 2*s3 - 3*s2 + 4*s - 2. Let z be g(2). Suppose -3*l - 4*q + 8 = -22, 3*l - 2*q = 30. Let o = l - z. Solve -5*f - 10 = -o*f for f.
-2