Let x(j) = j**2 + 9*j + 11. Let g be x(-8). Solve 4 - g = m for m.
1
Suppose 4*v - 22 = 18. Suppose 2*q + 3 = 1, -p - 2*q = -8. Suppose -p = -3*t + 8. Solve -t*m - v = -m for m.
-2
Let p be (-135)/(-36) + 1 + (-1)/(-4). Solve 2*c + p = -3 for c.
-4
Let x = 12 + -10. Suppose x*i - 3 = i. Solve -i*h = -0*h for h.
0
Suppose 5*j - 2*u = 7*j + 2, 3*u = j - 3. Let y(z) = 6*z**2 + z. Let f be y(-1). Solve -4*w - 1 + f = j for w.
1
Suppose 3 + 5 = 2*h. Solve 10 = h*p + p for p.
2
Let u be ((-6)/(-4))/(2⁄4). Let n = 1 + -1. Suppose k + x - 27 = -4*k, n = 2*k + x - 12. Solve -u*z = k + 4 for z.
-3
Let j = 115 + -107. Solve 0 = -13*p + j*p - 20 for p.
-4
Let n(b) = 2*b**3 - b - 1. Let z be n(-1). Let s = 2 + z. Suppose s*m = 2*l + 2*m - 20, -l + 3*m = 10. Solve l*x + 0*x - 10 = 0 for x.
2
Let g = -28 + 30. Suppose -40 = 4*o - 3*k, 10 = -2*o + o - 2*k. Let l be o/(-3) + (-2)/6. Solve z = -g*z - l for z.
-1