Let t be 3 + 2⁄2 + 0. Let f = 27 - 24. Let v(u) = -u3 + 6*u2 + u - 3. Let n be v(f). Solve -t*m + n - 7 = 0 for m.
5
Suppose 0 = 3*s - 6, 0 = 5*c + 4*s - 25 - 18. Solve 4*n + 13 + c = 0 for n.
-5
Suppose 4*a - 8 = 3*d + 2, 4*d - 12 = -a. Suppose 0 = 67*t - 66*t - 4. Solve -6 = d*b + t for b.
-5
Let g(x) = x + 10. Let s be g(-6). Suppose v - 9 = s*r + r, 0 = -3*r - 3. Solve -o + v = 1 for o.
3
Let b = -11 + 2. Let s = b - -33. Suppose t = 5*t - s. Solve -q - t = 2*q for q.
-2
Let c = 4 + -10. Let n(f) be the first derivative of -f3⁄3 - 3*f2 + 4*f + 1. Let o be n©. Solve -2*s - o = -s for s.
-4
Let s be -112⁄4-2. Let o(u) = 6*u3 - 2*u2 + 1. Let l be o(1). Suppose -l*k - 4 = -14. Solve -3 = -k*f - s for f.
-4
Let r(o) = 2*o**2 + 4*o + 2. Let f(q) = -q + 1. Let c be f(3). Let h be r©. Suppose -13 = -3*g + 4*x, 1 - 3 = h*x. Solve -12 = -0*n + g*n for n.
-4
Let q be (-16)/(-10)*(-5)/(-2). Let g be 3⁄6 - (-10)/q. Solve -20 = -8*k + g*k for k.
4
Let v(j) = j**2 - j. Let s be v(-1). Suppose -s*d - 43 = -3*p, -4*d + 11 - 52 = -3*p. Solve 2*w - 7*w - p = 0 for w.
-3