Let b = 5 + 0. Let h be (1 + -2)*-1*1. Let s be ((-3)/(-9))/(h/3). Solve b - s = -4*x for x.
-1
Let q = 10 - 5. Solve 2*i - q*i - 9 = 0 for i.
-3
Let s(j) = 5*j + 8. Let t be s(-8). Let c = t + 67. Let p = -9 + c. Solve -1 + p = 5*d for d.
5
Let c(n) = n3 + 6*n2 - 7*n + 5. Let h be c(-7). Solve h*u - 4*u = 5 for u.
5
Let j(k) = -k - 8. Let m = -18 + 10. Let s be j(m). Let i = -5 - -7. Solve -i = -s*h + h for h.
-2
Suppose 4*z = 3*z. Let p be (1 - (-4)/(-2)) + 5. Let s = z + p. Solve 0 = s*h - 3*h - 1 for h.
1
Let q(x) = -x3 + 2*x2 + 6*x - 5. Let h(t) = -t3 + 3*t2 + 7*t - 9. Let m be h(4). Let f be q(m). Solve -1 = -f*b + 11 for b.
3
Suppose -f = f. Suppose f*w + 25 = w. Let p = -10 - -19. Solve p = 4*h + w for h.
-4
Let g = -24 + 42. Suppose -k - 3*k + 2*c = -g, 2*k = -c + 3. Suppose -71 = -5*l + i, -2 + 3 = -l + 4*i. Solve -l = -4*j - k for j.
3
Let p(t) = -10*t3 + t2 - t + 1. Let f be p(1). Let d be 50⁄18 - 2/f. Suppose d*y = -4*l + 52, -3*y = -0*y - 2*l - 28. Solve -3*k = -y - 3 for k.
5