Let k = 8 + 4. Let c = k + -10. Solve 0 = c*b + 3 - 9 for b.
3
Let p© = c + 12. Let d be p(-10). Solve d*a = -3*a + 20 for a.
4
Let a(j) = 2*j**2 + 4*j + 2. Let r be a(-2). Solve -r*f = -3*f + 4 for f.
4
Let f = -11 - -15. Solve 5*j + f + 6 = 0 for j.
-2
Let b(o) = o3 - 2*o2 - 4*o + 3. Let q be b(3). Solve 5*d + 0*d = q for d.
0
Suppose -a + 15 = -13. Suppose -3*i - 2*i = -25. Suppose b = i*b - a. Solve 25 = -2*z + b*z for z.
5
Let o(p) = -p**2 - 7*p + 10. Let g be ((-6)/8)/(1/(-4)). Suppose -18 - 6 = g*n. Let i be o(n). Solve -4 = -i*w + w for w.
4
Suppose a = t - 1, 0 = 2*t + a + 2 - 7. Suppose -7*s + 15 = -2*s - 2*r, -5*s = t*r - 35. Let z be 16⁄6 + (-2)/3. Solve -z = f - s for f.
3
Let r© = 9*c - 2 + 4 + 6*c. Let f be r(3). Suppose 6*u + 3*l - 51 = u, 0 = 5*u + l - f. Solve -1 - u = -2*j for j.
5
Let m = 2 + 0. Solve -2*n = -0 + m for n.
-1