Let c be 7 - ((1 - 2) + 1). Solve -2*v + 20 = -c*v for v.
-4
Let k(i) = i3 + 4*i2 + 4*i + 3. Let s be k(-2). Suppose 0 = -5*r + s*z + z + 19, -3*z = 3. Solve -r*c + 2*c - 4 = 0 for c.
-4
Suppose -4*v - 3*c = 0, -5*c = 5*v - 0*v. Solve v*k = 2*k + 8 for k.
-4
Let r = -7 + 21. Suppose -2*l - 12 = 4*g, -5*l - 1 - r = 5*g. Solve l = 2*x - 6 for x.
3
Suppose -9*a + 5*a = -12. Let h(g) = g - 5. Let p be h(5). Let z = a - p. Solve -6 - 9 = -z*i for i.
5
Let i be 2 - (2 + -2 + 1). Let h be (-12)/(-2) - 2⁄1. Suppose -p = -h*p. Solve -g + p = -i for g.
1
Suppose -5*t = 4*v - 33, 0 = 2*v + 2*t - 3*t + 1. Suppose -13 = -2*y - 3. Let m = 8 - y. Solve 0 = j - m*j + v for j.
1
Suppose r - 5 = -2*j, 16 - 6 = -2*j + 4*r. Solve -j + 3 = -z for z.
-2
Suppose -2*b = -32 - 18. Solve 4*j - 9*j = b for j.
-5
Let a(w) = -w**2 - 12w + 13. Let i be a(-13). Let k be 4⁄10(3 - -2). Solve i*s = -k*s for s.
0