Let d(v) = 2*v**2 + 4*v - 3. Let r be d(-4). Suppose 3*c - 2*a - 58 = -r, 2*c - 3*a - 30 = 0. Solve -4*m + m = -c for m.
5
Let x = 4 + -20. Let g = x - -18. Solve -6*i = -g*i - 4 for i.
1
Let n(q) = -q3 + 16*q2 - 14*q - 9. Let i be n(15). Solve -i = f - 5 for f.
-1
Suppose 0 = -4*f + 8*f. Suppose 2*p = -f*p. Solve p = -0*i + 3*i - 12 for i.
4
Suppose -13 = 3*n - 16. Solve 4*y + n + 19 = 0 for y.
-5
Suppose s - 9 = -4. Suppose -s*a + 38 = -87. Solve -5*j + a = -10*j for j.
-5
Suppose -4 = -0*f - f + w, 4*f - 2*w = 16. Suppose -f + 12 = 2*c. Solve -5*p - c = -4*p for p.
-4
Suppose -2*s = -5*i - 56, i + 16 = 5*s - 3*s. Let y be (-12)/(-10)*i/(-4). Suppose g + y*g - 28 = 0. Solve -1 = -4*k + g for k.
2
Suppose 5*l - 3*l = 0. Let v be (-204)/(-42) - 0 - 1/(-7). Solve l = v*x - x + 16 for x.
-4
Suppose -5*i + 42 = -2*t - 2*t, 0 = i - 5*t - 21. Solve 1 = -c + i for c.
5