Suppose -23 + 9 = -2*f. Let m be 1 - (-2 + (1 - -7)). Let z = m + f. Solve 1 = -z*t - 7 for t.
-4
Let p be (-12)/1*1/(-3). Suppose 5*g + 3*c = -13, -2*g + 2*c - 1 = 1. Let b = g + p. Solve b*v - 7 = -1 for v.
3
Let u = 72 - 70. Solve 0 = -u*a - 2 + 8 for a.
3
Let i = -1 + 5. Let b be (i - 3) + -2 - -2. Solve b + 1 = -q for q.
-2
Let g(x) = -x**2 + 5*x - 4. Let r be g(3). Suppose 2*t = -z - 2*t + 7, 2*t = r. Suppose -5*d = 10, z*v - 24 = 5*d - 2. Solve -v*n = 10 + 6 for n.
-4
Let f be (1 + 3/(-6))*-2. Let i® = 2*r**2 - 2*r - 1. Let n be i(f). Solve 0 = 2*c + n*c for c.
0
Let u(p) = -p3 + 4*p2 + 6*p - 1. Let n be u(5). Suppose 0 = -n*i + 2*i + 5*k + 6, i = -k + 3. Solve -5 - 1 = i*m for m.
-2
Let b(f) = -4*f3 - 3*f2 - 2*f - 2. Let r be b(-2). Let z = r + -13. Let h = z - 6. Solve -2*n + h - 13 = 0 for n.
-5
Let h be (-7)/14 - 1/(-2). Solve 0 = -h*z - 2*z - 10 for z.
-5
Let r = -39 - -28. Let m = r + 11. Solve -2*z + 6 = -m*z for z.
3