Let a = 0 + -9. Let k = a - -10. Solve 1 + k = -2*m for m.
-1
Suppose 4*r - q - 79 = 0, r = 3*r + 3*q - 43. Suppose -3*f + 4*f = 5*l - 3, -7 = -5l - f. Let o be (-6)/(l-2) - 1. Solve -o*v - r = 3*v for v.
-4
Let p be -30*(2 - -1)/6. Let s = 31 + p. Solve -4*y - s = -0*y for y.
-4
Let f(s) = 4*s - 10. Let o be f(3). Solve -k + 3 = o for k.
1
Let q be ((-24)/(-5))/((-1)/(-5)). Suppose -5*p + 4 = 3*c - 4, -3*c = -3*p - q. Solve -s + 3 = c for s.
-3
Let n = -8 - -13. Let d = 0 + 3. Let r(p) = p**2 - 2*p - 3. Let u be r(d). Solve -2*a + n*a + 3 = u for a.
-1
Let h(j) = -j**2 + 5*j + 6. Let k be h(5). Let r be 0 - (2 - k/3). Solve r = -0*x + x for x.
0
Let g(v) = -4*v - 2. Suppose -d = 3*d + 20. Let w be g(d). Suppose -w = -2*t - t. Solve -t*a + 3*a = 12 for a.
-4
Let g = 29 - 24. Solve 12 = -g*c - 3 for c.
-3
Suppose -w + 4 + 2 = 0. Suppose 3*f - 5*c = 31, 0 = 4*f - 4*c - 16 - 12. Let a(q) = -q + 13. Let j be a(9). Solve j*p + w = f*p for p.
-3