Let q = 13 + -13. Solve q = 3*p + 3*p for p.
0
Suppose 4*d + 11 = n, 5*d + 22 = 4*n - 2*n. Let j = n + -8. Suppose -l - j*l = 4, 0 = -4*t - 3*l + 1. Solve -5 = -s - t for s.
4
Let f = 2 + 1. Suppose 0 = -f*r - 4*g + 26, 0 = -7*r + 2*r + 2*g. Solve -r*v = 2*v - 8 for v.
2
Suppose 4*k - 133 = 95. Suppose -k = -3*r + 18. Solve -2*x = 3*x - r for x.
5
Let p = 1 + 2. Suppose -p*k - 2*k = -35. Solve -4*n - k = 5 for n.
-3
Let b(w) = -2*w**2 - 9*w + 5. Let c be b(-7). Suppose -5*o = -217 + 7. Let k = o + c. Solve -5*s - k = -s for s.
-3
Let x be 0/2 - (-21 + -4). Solve -j = 4*j - x for j.
5
Let r(i) = i3 + 7*i2 + i + 3. Let o be r(-7). Let n = -1 - o. Solve 1 = -2*k - n for k.
-2
Let y(t) = t**2 - 9*t + 9. Let u be y(9). Solve -u + 1 = -2*r for r.
4
Suppose -5*v + 31 = k, 4*k = -3v + 8 + 31. Let q be k/(-5)(-5)/(-2). Let w be (q/2)/((-3)/10). Solve -8 = z - w for z.
-3