Let u(b) = b - 8. Let g(m) = 3*m - 10. Let n be g(6). Let i be u(n). Solve -t - 4*t + 20 = i for t.
4
Suppose 0 = 5*v + 3*k + 5, k + 1 + 0 = -2*v. Let d(o) = 2*ov + o2 - 3 + 0*o**2 - 2*o + 2. Let u be d(-1). Solve -u*m - 1 = -9 for m.
2
Let f = -62 + 66. Let z(d) = 2*d - 5. Let i be z(4). Solve -c + f = -i*c for c.
-2
Let l(v) = 6*v - 1. Let k be l(1). Suppose -2*o = -k*o + 15. Solve 0*g = -o*g - 15 for g.
-3
Suppose -6 + 4 = 2*i. Let c = 6 - i. Solve -3 = -5*f + c for f.
2
Let f = 4 - -2. Solve -f = -2*m - 2 for m.
2
Suppose 3*a + 2*d + 0d = 96, -d = 0. Let l be (a/(-6) - -2)-3. Suppose -5*f + 0*f + 25 = -4*t, -l = -2*f - 3*t. Solve -f*v - 3 = 22 for v.
-5
Let v be (0*(1 - 2))/2. Suppose 0 = k + 3 - 8. Suppose 3*r - k*r + 10 = v. Solve -r*o + 16 = -o for o.
4
Suppose -n = 2*n. Solve -2*h = -n*h for h.
0
Let h = -5 + 7. Suppose -13 = -0*z + z. Let p = 18 + z. Solve h*q + 6 = p*q for q.
2