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