Let b(p) = p3 + 10*p2 - 12*p - 11. Let h be b(-11). Solve -t + 1 - 3 = h for t.
-2
Let g = 22 + -12. Suppose 0 = 4*p - 8 - 4. Solve -p*j - 2*j = g for j.
-2
Let q = 143 + -143. Solve 3*b = -q*b for b.
0
Suppose -7*p + 8*p - 1 = 4*t, 28 = 5*p + 3*t. Solve -p*z = -6*z + 3 for z.
3
Let k = 13 + -11. Solve -k*j + 4 + 0 = 0 for j.
2
Let u(f) = -f2 + 2*f + 1. Let z be u(2). Suppose 0 = o - z - 4. Let y(l) = l3 - 4*l**2 - 6*l + 7. Let m be y(o). Solve -m = 4*a + 2 for a.
-1
Suppose -l + 4 = l. Suppose -l*q = 4 + 16. Let t be 5/(q/(-4)) + 2. Solve 0 = t*w + 3 + 1 for w.
-1
Suppose 0*j = j + 3*n - 15, 3*j - 4*n + 20 = 0. Suppose u + 2 = 5*a, -4*a - 11 = -5*u - j*u. Let g = -2 + 3. Solve u = -4*t - g for t.
-1
Let g(f) be the third derivative of -f4⁄12 - 3*f3⁄2 + 2*f**2. Suppose -k + 0*k = -4*w + 20, k - 7 = -5*w. Let j be g(k). Solve -4*l = -j*l - 3 for l.
-1
Let g(s) = 2*s**2 + 2*s. Let q be (0 - 1)*2/(-1). Let t be g(q). Let i = 17 - 14. Solve -t = i*z - 0*z for z.
-4