Let t = -10 - -15. Solve j - t + 0 = 0 for j.
5
Let n(a) = 3*a**2 - a. Let q be n(1). Solve 3 = -q*b - 7 for b.
-5
Let x(z) = -z3 - 7*z2 + 2*z + 17. Let r be x(-7). Solve d + 0*d - r = 0 for d.
3
Suppose q + q = 0, -g + 4*q - 14 = 0. Let p(k) = -k - 10. Let u be p(g). Solve 15 = u*i + i for i.
3
Suppose -4*i = q + 2*q - 14, 5*q = -4*i + 18. Let w(u) = 6*u + 10. Let k(t) = t + 1. Let o(f) = 4*k(f) - w(f). Let h be o(-4). Solve 0 = h*c - 4*c - q for c.
-1
Let a = 2 + 0. Suppose -a*y + 2*o = 4*o, -3*y = -4*o - 21. Suppose -d + 0*d = -y. Solve p = d*p for p.
0
Let i(b) be the first derivative of -b3 - 3*b2⁄2 + 3*b + 2. Let y be i(2). Let q be y/(-10)*20⁄3. Solve q - 25 = 3*d for d.
-5
Let p = 158 + -155. Solve -a + 20 = p*a for a.
5
Suppose 12 = 3*k + k. Suppose 5*t + 2*n - 5 - 1 = 0, -5*t + 16 = -k*n. Solve 4*z + t = -2 for z.
-1
Let n be (-18)/8*(-8)/3. Let l(s) = -s3 + 5*s2 + 8*s - 8. Let b be l(n). Solve b = -2*f + 4*f for f.
2