Let z be 0*(-1 - (-3)/2). Solve z = -3*r - 0 - 12 for r.
-4
Let h(i) = i3 + 15*i2 + i + 15. Let t be h(-15). Solve -c + 0*c + 1 = t for c.
1
Let n = -18 - -26. Let v be -1 + 4 + -11 + n. Solve 5*h + v - 25 = 0 for h.
5
Suppose 3 = -3*s - 12. Suppose 0 = -0*z + 3*z - 15. Let o = s + z. Solve 0*q + 3*q = o for q.
0
Suppose -2*v + 2 = 2*y, -13 = v + 4*v - 4*y. Let o(p) = p + 1. Let i be o(v). Solve i = 2*b + 3*b + 25 for b.
-5
Suppose -w = -4*w + 12. Let z = w + -1. Let i = 0 + z. Solve -i*o - 15 = -8*o for o.
3
Let i(p) = -p**2 - 4*p + 5. Let z be i(-5). Suppose z*o - 4*o + 16 = 0. Let b be 62⁄8 - (-3)/12. Solve o*n = -0*n + b for n.
2
Let l = -7 + 9. Suppose -x + l + 3 = 0. Solve x*p = 4*p for p.
0
Let f(h) = 10*h**2 - 4*h. Let j be f(1). Suppose 3*r = 4*r - 2. Solve -4*k - j = -r*k for k.
-3
Let u = 35 + -35. Solve 0 = 4*x - u*x + 20 for x.
-5