Let k = -11 - -4. Let b = k - -10. Solve 0 = 3*x + b for x.
-1
Let t be ((-1)/2)/(2/(-80)). Solve 3*v - t = -2*v for v.
4
Suppose r - 3 = 7. Let d be 1 + 1⁄1 + -1. Let b(s) = 7*s3 - 2*s2 + 1. Let u be b(d). Solve -c + u*c = -r for c.
-2
Let l(j) = -j**2 - 7*j - 6. Let x be l(-6). Suppose 0*o = -3*o + 6. Solve -4*i - 10 + o = x for i.
-2
Suppose -5*c - 25 = 0, 0 = -5*x - c - 4*c - 25. Suppose 5*l = l + 16. Solve 2*y + 0 + l = x for y.
-2
Let b(h) = 8*h**2 + h. Let p be b(-1). Let w = p - 3. Solve w*x - 1 = 7 for x.
2
Suppose -5*r = 2*p - 18, 7 = r - 3*p - 0*p. Solve 0 = -3*f - 16 + r for f.
-4
Let o(a) = 5*a. Let q be o(1). Suppose -12*x + 85 - 1 = 0. Solve -q*t - 32 = -x for t.
-5
Let h = 1 + 5. Suppose 0 = -x + 5, -2*d + h + 18 = 4*x. Solve 0 + 8 = d*g for g.
4
Suppose 2*z = 5*w + 8, -2*z - 3*z + 20 = 5*w. Solve -3*x - z = 5 for x.
-3