Let g(x) = -x3 + 17*x2 + 19*x - 15. Let r be g(18). Let h = -6 - -11. Solve r*u = h + 7 for u.
4
Let b(g) = g**2 + 6*g + 5. Let d be b(-4). Let s be (-2)/d - 4/(-3). Suppose 3*f + 14 = 4*a + 5*f, 0 = -2*a + 3*f + 11. Solve a*w + s = 10 for w.
2
Let o(z) = -z3 + 5*z2 - 2*z - 8. Let f be o(4). Solve 3*p - 8 - 1 = f for p.
3
Let d(t) = 42*t**2 + t. Let v be d(-1). Suppose 2*x + i + 2 = 15, 4*x = -5*i + v. Solve -3*n + x + 2 = 0 for n.
2
Let c(m) be the first derivative of -m4⁄4 - 2*m3⁄3 - m**2 - 1. Let j be c(-2). Solve j*l - 1 = -5 for l.
-1
Let r = 29 + -27. Solve 3*d + 10 = -r*d for d.
-2
Let t(l) = 6*l - 4. Let p be t(4). Suppose 2*z + 2*z = z. Solve z*i - p = -4*i for i.
5
Let d(t) = t + 16. Suppose 0*h - 13 = h. Let y be d(h). Solve 2*o + y*o = -15 for o.
-3
Suppose 0 = 2*j - j - 17. Suppose -4*t + j = -3*t + 5*w, 15 = 5*w. Solve -t*q - 2*q - 16 = 0 for q.
-4
Suppose r + 35 = 6*r. Suppose 5*q - 2*t - 33 = 11, -3*t = -q + 1. Solve r*n - 2*n = q for n.
2