Let g(s) = s**2 - 3. Let c be g(-3). Suppose 0 = v + 2*v - c. Solve 2*t + 0*t + v = 0 for t.
-1
Suppose 15 = 9*c + 6. Solve -2*t = -7 - c for t.
4
Let w(z) be the first derivative of z3⁄3 + 7*z2⁄2 + 1. Let s be w(-7). Suppose 20 = 3*d - 4*x - s, -6 = -d + x. Solve 0 = -u + d*u - 12 for u.
4
Let s© = c - 5. Let r be s(10). Let o = r + -3. Solve -o*x - x = -9 for x.
3
Let x(y) = -3*y - 2. Let q be x(-2). Solve 3*w - 1 = q*w for w.
-1
Suppose -3*a = -2*s + 2*a - 3, 6 = 5*s + a. Solve 3*g = s + 2 for g.
1
Suppose -35 = -5*p - 0*p. Let s(b) = b - 7. Let u be s(p). Solve u*n + 2 = -n for n.
-2
Let z(q) = -q**2 - 3q - 2. Let d be z(-2). Let y be 0/(2-1*-1). Let n = y - d. Solve n = -j - 3*j for j.
0
Let t(d) = -2*d - 5. Let x be t(-5). Suppose 5*k = -5*a - 5, -3*k = 5*a - 0*a + 5. Let g = 4 + k. Solve -x = -o - g*o for o.
1
Suppose -5*a = -a + 52. Let i = -8 - a. Solve -4 = -i*o + o for o.
1