Suppose -1 = c - 3. Solve -12 = v + c*v for v.
-4
Let n = 53 + -49. Solve -q + 0 = n for q.
-4
Suppose 2*v = -2*v + 24. Let a be ((-16)/12)/((-4)/v). Suppose -4 = 5*b + 2*z - 22, -5*b + a*z = -22. Solve b*c = -7 - 9 for c.
-4
Let d(b) = 5*b - 2. Let k be d(2). Suppose -r - r = 8, a = -3*r - k. Suppose -4*t - 12 = u, -2*t + 8 = -a*t. Solve -u = -2*j - 2 for j.
1
Let t be 1 - (-4)/(-4) - 14. Let c = 15 + t. Solve 9 = 4*n + c for n.
2
Let b(f) = 2*f2 + f - 1. Let z(h) = h3 - 2*h**2 - 2*h - 2. Let n be z(3). Let u be b(n). Suppose 10 + 0 = u*g. Solve 4*d - 1 = -g for d.
-1
Suppose -7 + 3 = 2*c, 5 = -3*i - 4*c. Solve i = z - 1 for z.
2
Suppose 5*o - 8 - 12 = 0. Let s be ((-14)/o)/((-4)/8). Solve -4*r = s - 3 for r.
-1
Let k = -192 + 196. Let h® = -r + 2. Let o be h(-2). Solve 0*z - k = o*z for z.
-1
Let a be 52⁄9 - 2/(-9). Let z(s) = -s3 + 7*s2 - 5*s - 6. Let o be z(a). Solve o = -5*q - 0*q + 15 for q.
3