Let o be (-6)/15 - 8/(-20). Suppose 4*v - 13 = 3. Solve o*t = -v*t for t.
0
Let v be (2 + -1)/((-4)/(-80)). Suppose 3*g + 10 = -2*g - 5*i, 0 = 4*i + v. Let t be ((-3)/(-2))/(g/4). Solve t*w = -1 - 7 for w.
-4
Suppose 0 = l - 3. Let j be -1l(1 - 2). Solve 9 = -3*n + j for n.
-2
Let d = -3 + 3. Suppose d*r - 24 = -4*r. Let n(p) = p**2 + 3*p - 4. Let u be n(-4). Solve u = -r*f + f for f.
0
Let d(v) = -v + 2. Let o be d(0). Suppose 0 = j - 4*j + 3*t + 30, -2*j + t = -20. Suppose -o + j = 4*u. Solve u*p - 3*p = 0 for p.
0
Suppose 0 = 3*f - p + 1, -5*p - 3 + 8 = f. Let q(k) = k. Let j be q(f). Solve 2*a + 3 + 7 = j for a.
-5
Let j(o) = o**2 - 6*o + 3. Let z be j(6). Solve 2*h + z = 7 for h.
2
Let u be (1 + -1)*(1 - 2). Suppose -2*k - 2*k = 0, 2 = -h - 3*k. Let i be (16 - 1) + h + 3. Solve u = -2*d - 2*d - i for d.
-4
Suppose 7*m + 8 = 9*m. Suppose 0 = 4*r - 0 - m. Solve r + 3 = 4*h for h.
1
Let h be (-1 + 0 + -2)/(-1). Solve h*y + 12 = -0 for y.
-4