Let n(f) = 3*f**2 - 34*f + 15. Let c be n(11). Solve -c*x = -7*x - 9 for x.
-3
Let j(z) = -4*z - 15. Let y be j(-5). Solve y*t = -0*t - 20 for t.
-4
Suppose 3*c - 2*c = 0. Solve 4*i + 1 - 21 = c for i.
5
Suppose 0 = 3*z - 3*s - 6, 25 = 3*z + s + 7. Solve -m + 6*m - z = 0 for m.
1
Let q(g) = 4*g2 - 3*g + 2. Let m(a) = -5*a2 + 2*a - 3. Let z(s) = -5*m(s) - 6*q(s). Let k be z(-8). Solve -3 = -3*f + k for f.
2
Let s be (0 - 4*-1) + 0. Let r be s/2 - (-2 + 0). Suppose 0 = -4*d, 3*h - 8*h - 3*d + 5 = 0. Solve 0 = -r*y + 11 + h for y.
3
Suppose 0 = 4*z - q, 0 = -3*z + 4*q - 0*q. Suppose -2 = -h - 2*s - z, -2*s = 2. Suppose 0 = j - h - 0. Solve 0 = j*o - 3*o - 1 for o.
1
Suppose 0*l - 12 = -4*l. Let b = -55 + 61. Solve -b*k = -l*k - 3 for k.
1
Suppose 4*c + 3*k + 0 = -3, -3 = -3*c + 3*k. Solve c + 4 = 2*j for j.
2
Let u = -30 + 50. Let d(v) = -2*v**2 - 21*v - 7. Let l be d(-10). Solve -u = -2*s - l*s for s.
4