Let w be (2/(-7))/(1/(-7)). Suppose w*d - 12 = 6. Solve 0*p + 3*p + d = 0 for p.
-3
Suppose -3*v = 2*v + 3*r + 13, 3*v - r + 5 = 0. Let m = 3 + v. Solve 2*q + 1 = -m for q.
-1
Let p be 0 + (0 - (-3 + 0)). Let k = -1 - 1. Let b = p + k. Solve b = d - 1 for d.
2
Suppose 0 = g + 2*j, -4*g + 10 = -2*g - j. Solve -4 - g = 4*s for s.
-2
Suppose -3*k = -i - 4, 4 = 4*i - 2*i. Let d = k + -2. Solve d = 3*m - 4*m - 2 for m.
-2
Suppose -z + 25 = 5*f, -f + 2*f - 4*z - 5 = 0. Solve -f*l - 10 = -10*l for l.
2
Let o(x) = x2 - 3*x - 6. Let a(f) = f3 + f + 4. Let v be a(0). Suppose v*j = -3*n + 8, -5*j - 4*n = -n - 13. Let h be o(j). Solve 0 = -3*d + h + 2 for d.
2
Let y(s) = -s3 + 3*s2 + 6*s - 1. Let z be y(4). Suppose 2*x - 5*x = -3*f, 4*f - 28 = -3*x. Let w be ((-2)/f)/(2/(-12)). Solve -w*r + 5 = -z for r.
4
Let n(x) = -x**2 + 6*x - 4. Let m be (18/(-15))/(3/(-10)). Let b be n(m). Solve 0 = -i - b*i + 5 for i.
1
Suppose 245 = 5*j + 25. Suppose j = 5*t + 14. Let o be ((-6)/9*t)/(-1). Solve -3*f = -o*f - 1 for f.
-1