Let n = 20 + -15. Let m = 7 - n. Solve -m*k + 5*k - 15 = 0 for k.
5
Let x(a) = -a**2 - 7*a - 6. Let b be x(-6). Solve b = 3*q - 13 - 2 for q.
5
Let d be 12/(-66) + (-114)/(-22). Suppose v = -5*r + 12 - d, 0 = -2*r + 2*v + 10. Solve b - 1 = r for b.
3
Let s = 13 + -13. Solve -2*i = -s*i + 6 for i.
-3
Suppose 2*f - 3*s + 12 = 1, 3*s + 1 = -f. Let r = f - -9. Suppose r*o - 4*o = 0. Solve o*q + 2*q = -10 for q.
-5
Suppose -d + 19 = -0*d + 2*p, -4*d + 69 = p. Suppose 4*r - d = 83. Solve t - 6*t = r for t.
-5
Suppose 3*s = 12*s. Solve 2*p + 8 = -s*p for p.
-4
Suppose -2*z - u + 11 = 0, 4*u - 11 = -5*z + 18. Suppose -2*d - z + 15 = 2*w, -5*w + 2*d + 32 = 0. Solve -2*p = p + w for p.
-2
Let i be (-1 - 0)*(-4 + -1). Suppose -i*l - 5*f = -l - 65, 0 = f - 1. Let x© = -2*c + 18. Let v be x(8). Solve g + v*g = l for g.
5
Let q be (2⁄4)/(8/(-32)). Let x be (-9)/q*(0 + 2). Solve -x - 16 = 5*f for f.
-5