Let m(n) = -n3 - 3*n2 - 2*n - 2. Let z be m(-3). Let k be ((-4)/(-3))/(2⁄6). Solve -k*d + z = -2*d for d.
2
Let f be (-6)/4*32/(-12). Suppose f*h + 1 = -11. Let c = h + 3. Solve 0*o + 4*o - 4 = c for o.
1
Suppose r = 3*r. Suppose 2*v + 2*c = r, 0*v = -2*v - 3*c. Let y(o) = -o3 + 3*o2 + 12*o - 7. Let g be y(5). Solve -3 = -g*m - v for m.
1
Suppose -2*h + 2 = -18. Solve h*m = 6*m + 4 for m.
1
Let f = 8 + 1. Let d = -4 + f. Solve x - d = -0*x for x.
5
Let i(g) = 2*g**3 - 2*g + 1. Let b be i(2). Suppose 4*a = -4*m + 3*a + b, 0 = 3*a - 3. Let n = 3 - m. Solve 3*k - 9 = -n*k for k.
3
Suppose -3 - 1 = -y. Suppose 3*z = -3*m + 3 + 9, 2*z - 9 = -3*m. Suppose -5*i + y*i + m = 0. Solve -i = -u - 0 for u.
1
Suppose -2*o + 5 = -1. Suppose -q + 8 = 5*x, -3*x - q = 2*q - 12. Let p be x - -9 - (0 - 2). Solve n = -o*n + p for n.
3
Suppose 0 = 2*v - 0 - 10. Let r(p) = 9*p**2 - 2*p + 1. Let b be r(1). Let j = b - v. Solve z = -2*z + j for z.
1
Let a be ((-2)/(-2))/(3⁄12). Let g be (-3 - -4)/(a/4). Solve -n - 3 = g for n.
-4