Let h(j) = 2*j - 20. Let l be h(10). Solve -m - 1 + 4 = l for m.
3
Let p = 22 + -20. Solve -5*l + p = 17 for l.
-3
Suppose -22 = -3*j - 2*h, -3*j + 0*h - h = -20. Let x(m) = 2*m. Let u be x(j). Solve 2*o = -u + 2 for o.
-5
Let n be -1 + -18 + (3 - 4). Let j = 20 + n. Solve 5*k + 25 = -j for k.
-5
Suppose -6*r + 3*r - 36 = 0. Let u be r/3 - -8 - 0. Solve 0 = -4*j - 8 - u for j.
-3
Suppose 12 + 0 = h. Suppose 5*b + 5 = -5. Let y be (-11)/(-4) + b/(-8). Solve 0 = -n - y*n + h for n.
3
Suppose 26 = 3*f - 4*g, 0*f + 3*f + 5*g - 35 = 0. Suppose 0 = 4*b + p - f, 5 - 17 = -b - 5*p. Solve d + b = 5 for d.
3
Let k(l) = -5*l. Let t be k(-1). Solve -t*o - 6 - 14 = 0 for o.
-4
Suppose -2*i = b - 4*b - 13, -4*b = -i + 14. Suppose -i*c = -11 + 7. Solve -c*t + 0*t = 4 for t.
-2
Suppose 5*b + 6 - 71 = 0. Suppose 0 = 4*z + y - 0*y - b, -2*z + y = 1. Suppose 4*p - 10 + z = 0. Solve p*h + h = 0 for h.
0