Let t = -9 - -5. Let l = 0 - t. Solve 0 = 2*n + l + 6 for n.
-5
Let n be (8/(-10))/(8/(-20)). Suppose -c = 4*c - 100. Suppose -c = -4*z - 0*z. Solve -3*i - n = -z for i.
1
Suppose 13 = -2*b + 15. Solve -2*r = -3*r + b for r.
1
Let g(s) = s**2 - 10*s - 19. Let a be g(12). Let x = -6 + 31. Solve 5*w + a = x for w.
4
Let s(a) = 22*a2 + 13*a - 3. Let z(f) = 15*f2 + 9*f - 2. Let v(b) = 5*s(b) - 7*z(b). Let i be v(1). Let j be (i/(-9))/(2/(-33)). Solve j = 5*w - 14 for w.
5
Let u = 17 - 14. Solve -u*w + 1 - 10 = 0 for w.
-3
Let y = -5 - -8. Let h = 17 + -15. Solve -j = -h + y for j.
-1
Suppose 0 = 5*b - 57 - 8. Let u = 11 + -7. Suppose u*i = 3 + b. Solve 5 = i*l - 5*l for l.
-5
Suppose 3 = -3*x + 4*x. Let g be -10 - -14 - 4*1. Solve g = x*c - c for c.
0
Let j be (-10)/(-4) - (-3)/(-6). Let s = -170 + 172. Suppose 2*x + 3*x + 15 = 2*r, 3 = -3*r - x. Solve r = -0*v - s*v - j for v.
-1