Let l = 66 + -64. Solve 4*b = 2*b + l for b.
1
Let z(j) = 1 - 2 + 11*j + 9*j - 9*j. Let w be z(1). Let d = 17 - w. Solve 3 + d = -5*p for p.
-2
Let l = 0 - 7. Let i = 10 + l. Solve -k = i*k + 12 for k.
-3
Suppose w - 3*w = -4. Suppose 0 = 4*v - 2*v + d - 5, -d - 3 = 0. Solve -2 = v*a - w*a for a.
-1
Let c be 12/(-3) + 6 + 0. Let g(v) = -v3 - 2*v2 - 3*v - 3. Let j be g(-2). Solve j*u = u - c for u.
-1
Let v = -10 - -12. Let s be (-21)/(-9) - v/(-3). Solve -n = -s*n for n.
0
Let y(p) = p**2 - 10*p + 12. Let w be y(9). Suppose 0 = 5*x - 3*r - 15, 3*r + 8 = w*x - 1. Solve -l + x*l = 4 for l.
2
Suppose 2*v + v - 15 = 0. Solve -3*z = -v - 7 for z.
4
Suppose -3*z + 300 = v, -2*v - 158 - 50 = -2*z. Suppose -4*c = -z + 13. Suppose 0 = 3*b - 5*i - 26, -5*b - c = -10*b + 3*i. Solve -5 = b*a - 7*a for a.
1
Let b(w) = -6*w + 3. Let m be b(2). Let o be 3⁄3*1 - m. Suppose 0 = a - 3*a + o. Solve d + 0*d + a = 0 for d.
-5