ve -n*b + 2 = 2*d - 6*b, -12 = 4*b for d.
-5
Suppose -14 = -2*p - 2*k, p = 2*k + 2*k - 3. Solve -p*b = -2*f + 9, 0 = f + 2*b - 6*b - 6 for f.
2
Let y be ((-5)/4 - 0)*-8. Let k = -7 - -12. Let v = 70 + -66. Solve v*c = -20, h + y = -k*c - 17 for h.
-2
Let h(f) = 2*f - 3. Let v be h(4). Suppose -3*k + v = -1. Solve 2 = k*z, 4*z + 2 + 0 = 3*a for a.
2
Let r(u) = u**2 + 9*u + 8. Let v be r(-8). Suppose -3*q - 3*d + 15 = 0, 5*d + 10 = 2*q - 0. Solve q*y - 5*a = v, 0*a = -4*y - 4*a + 8 for y.
1
Suppose -60 = -5*r - 3*h, 5*h + 12 = -2*r + 3*r. Suppose 0 = 3*f + r. Let v = 6 + f. Solve t = -v*w - 9, 2*t = 6*t - 4*w + 12 for t.
-5
Let t be (-9)/(-6)*(-40)/(-12). Solve t*a - 12 = d, -d - 6 = d - a for d.
-2
Suppose 0 = -2*a - 5*j - 10, -4*a + 4 = 4*j - 0. Solve -a*l - 7*u = -2*u - 30, -3*u = -l + 2 for l.
5
Let d = -12 + 14. Solve d*q + 2 = 5*s - 0, -22 = -4*q - 3*s for q.
4
Suppose -14*q + 21*q = 8*q. Solve 3*k + 5*s - 35 = -q*k, 5*k + s - 29 = 0 for k.
5
Let x = 4 + -4. Suppose x = 2*u - 5*h + 15, 17 + 3 = 3*u + h. Solve 2*s - u*s - 3*k = 6, 3*k = s - 2 for s.
-1
Suppose -7*a + 2*a + 30 = 0. Suppose a = 5*t - 4. Suppose 0 = 4*d - 5*d + 4*l, 4*d = -5*l. Solve -r = -t*k - 1 - 6, d = -2*r - 3*k for r.
3
Let t(u) = -u**3 - 6*u**2 + 3. Let k be t(-6). Solve 5*m + 1 = k*p + m, 0 = 3*p + m + 4 for p.
-1
Let g = 18 - 16. Suppose 5*i = g*i. Solve -4*u - 8 = 4*k, i*k + k - 2 = u for k.
0
Let k be (-20)/(-5) - (-14 - 0). Solve -3*m = 2*t - 14, -5*t = -t + m - k for t.
4
Let u(f) = -f**3 + 3*f**2 + f - 1. Let j be u(3). Solve j*b = x - 5 + 1, 0 = -b - 5*x + 20 for b.
0
Suppose 0 = 2*f - 5*a - 16 - 1, 5*f + a = 29. Let r = f + -2. Solve -r*k + 0*z = -3*z + 7, k + 2*z = 12 for k.
2
Suppose g = w + 4, -2*w + 7*w = -4*g + 7. Solve -5*o - 14 = -v, -g*o - 5*v - 5 = -19 for o.
-2
Suppose c = -0*c + 4. Solve 4*m - a = 1 - 17, -m + c*a + 11 = 0 for m.
-5
Suppose 0 = 5*a - 4*l - 50, -a + 62 = 2*a + 4*l. Solve 0 = -t - 3*r + a, 6 = 5*t - r - 0 for t.
2
Suppose 9 - 29 = 4*m. Let d be (m/(-2))/(2/4). Solve -19 = -2*r + d*s, r + 0*r - 17 = 5*s for r.
2
Let d be 4/14 - 12/(-7). Suppose 3*q - 3 = -3*b + 3, -4 = -d*q + 2*b. Suppose -4*i - 15 = -7*i. Solve i*f - 32 = 2*u - 4, 2*u + 16 = q*f for f.
4
Suppose 0 = -2*j - 5*g + 18, 8*j - 5*j - 14 = -g. Solve 0 = 5*b - 3*b + 2, 4*b + j = -a for a.
0
Suppose 5*v - 2*r = 2*r + 20, -4*v + 20 = -4*r. Solve v = -4*u + 5*a + 25, -5*a - 25 = -3*u - 2*u for u.
0
Let b be 3*5*(-6 + 8). Solve 0 = 3*s + 5*a - b, -1 = -a + 2 for s.
5
Suppose 0*b - 3*b - u - 7 = 0, -2*b - 13 = -u. Let i be 3 - 1 - (-4 - b). Suppose -k - j + 3*j = -2, k + 5*j + 5 = 0. Solve 0 = -m + i, k*d + 2*m = d + 9 for d.
-5
Let y be ((-96)/(-60))/((-2)/(-5)) - -1. Solve 2*w + y*h - 1 = -0*w, -3*w + 5*h = 11 for w.
-2
Let p be 2 - (-7)/((-14)/4). Solve -12 = 4*h - h + 4*l, p = 5*h + 3*l + 20 for h.
-4
Suppose -3*f + 28 - 10 = 0. Let q(r) = -r**2 - 4*r**3 - r - 2 + 5*r**3 + f*r**2. Let p be q(-5). Solve p*k - 4 = 5*l + 26, -k = 5*l + 10 for k.
5
Let b be (-2)/(-2)*-20*1/(-4). Solve -10 = -2*h + b*z - 31, -3*z + 19 = 2*h for h.
2
Let f = -2 - -5. Solve 4*y = -f*t, 8*t - y = 3*t - 23 for t.
-4
Let q = -73 - -76. Suppose 4 = 2*u - 6. Solve -4*w - 4*m + 9*m = 7, u*w - 19 = -q*m for w.
2
Let c be 0 - ((-2)/(-2) - 7). Suppose 0 = i - 3*y + c, -2*i + y + 7 = -1. Solve -4*v + 6 = -g - i, -16 = -4*g for v.
4
Suppose -5*h + h + 184 = 0. Suppose 0 = -2*u + 3*n - 78, -u - 103 = 2*u - n. Let y = u + h. Solve 0 = -2*m + 3*p - y, -4*p + 8 = 2*m - 14 for m.
1
Let n = 0 - -1. Suppose -55 - n = -4*r. Let h = r - 9. Solve -5*i = -h*p + 25, 5*p - 3*i - 4 = 19 for p.
4
Let k(f) = -f**3 + f**2 - 2*f + 1. Let w be k(2). Let v = 12 + w. Solve q + 29 = v*l + 3*q, -2*l = 4*q - 18 for l.
5
Suppose 5 = p - 2*q - 7, p + 8 = -3*q. Suppose -4*i - 7 = -39. Solve 0 = p*t - 3*m + i, 0 = t + t + 4*m - 18 for t.
1
Suppose m - 9 = d, -4*m + 4*d - d + 33 = 0. Suppose -m*r = -16 - 8. Solve 0*t = 5*n + r*t + 5, -5*n - 2*t + 5 = 0 for n.
3
Let m = -24 + 27. Solve 0 = -2*n - m*v + 6, 0 = -n - 2*v - 3*v + 10 for n.
0
Suppose -2*r + 9 = r. Suppose r*y = -6 + 24. Suppose 3*s - 10 = -2*q, -2*q = -3*s + 2 - 0. Solve -2*w = -2*b + 2, -2*b + y = q*w - 0*w for w.
1
Let g = -57 + 63. Solve y = -3*x + 14, -2*y + 5*y - 3*x = g for y.
5
Let u = 1 + 2. Solve -4*q + 2*d = -2, u*q + 2*q + 4*d - 22 = 0 for q.
2
Suppose 0 = -5*x - 2*r + 35, 3*x - 7*x = -4*r. Let z = 9 - x. Solve 5*k + 25 = 0, -24 = 3*t + z*k - 7 for t.
1
Suppose 5*p + 27 = 2. Let d(y) = -y - 3. Let b be d(p). Solve 5*o + 2*x + 2*x + 12 = 0, 6 = 4*o - b*x for o.
0
Suppose -6*g - 2*g = -152. Solve m - 4*m = -5*f + g, 0 = 4*f - 8 for m.
-3
Let x be (-1)/(-3) - (-25)/15. Suppose -x*w - 2*w = -8. Solve 3*g + w*p = 1, 6*p = g + p - 6 for g.
1
Let x(t) = -t + 15. Let k be x(-7). Solve -p + 5*a - k = -0*a, -13 = -p - 2*a for p.
3
Let c = 39 - 37. Solve u = c*m - 3, -5*m + 28 = -3*m + 4*u for m.
4
Suppose -9 = -4*c + 19. Suppose 14 = 4*b + 2*j, -3*b - c = -4*b - 4*j. Let n be (b - 0/(-2)) + 0. Solve 3*q - 1 = 4*k, -q + 8 = n*q - 2*k for q.
3
Suppose 3*v + 3 = 9. Solve -3*s = -s + 3*l + v, 4*s = 5*l + 18 for s.
2
Suppose -2*i - 4 = -4*f, -4*i + 6*f - 3*f = 33. Let p = i - -16. Solve h - 28 = -3*h + 3*u, 2*h - p*u = 24 for h.
4
Suppose 0*u - 3 = u. Let m = 0 - u. Suppose 0 = 3*z + 4*i - 31, 4 - 3 = z - i. Solve q - 2*b = -11, z*q + m = -3*b - 13 for q.
-5
Let h(t) = 3*t - 21. Let l be h(10). Suppose 3*a + 6 + 0 = 0. Let q be a/(-2) + -2 + 3. Solve -2*x + q*k + 0 = 2, -5*x = -k + l for x.
-2
Let v be 39/(-12) + 1/4. Let y be 1/(v - -5)*4. Solve -3*a + 4*b + y = 0, -3*a + 4 = b - 6*b for a.
-2
Let x(i) = i**2 - 4*i - 17. Let c be x(7). Solve 4 = -c*j + 2*v, 4*j + 5*v = -3 - 15 for j.
-2
Let x be (1 - 0)/(2/6). Let l be (-21)/(-15) + (-2)/5. Suppose -m + 17 = -l. Solve -2*f - m = x*v, -5*f + 2*v = 7*v + 35 for f.
-3
Let m = -2 - -4. Suppose 2*q - 6 = m. Let g = 392 + -376. Solve s - 4*n = -3*n - 2, g = -q*s - 4*n for s.
-3
Suppose -5 = 5*j - 35. Let g = -6 + j. Solve 5*u + 2 = 4*b - 18, g = 2*u for b.
5
Let o(z) = -4*z + 30. Let k be o(7). Solve -g + 2 = k*h - 0, -2*g + h + 4 = 0 for g.
2
Let j(b) = b + 14. Let i(k) = -k**3 + 8*k**2 - 7*k - 10. Let x be i(7). Let t = -20 - x. Let y be j(t). Solve -5*z - 13 = -y*z + 3*q, 2*z = -q - 6 for z.
-1
Suppose -7 = -6*x + 11. Solve -r + 15 = 3*u - 0*r, -x*r - 11 = -5*u for u.
4
Suppose -3*h - 2*l + 32 = -33, 4*l = h - 45. Solve -5*n - 5*j = 45, j + h = -6*n + n for n.
-4
Suppose 0 = s - y, -4*y = 5*s + y - 50. Suppose -s*w = -8 - 2. Solve -a - b + 5 = 3*a, w*a = b - 5 for a.
0
Let h(l) = -l**3 + 4*l**2 - 3*l + 2. Let v be h(3). Suppose -a = -3*w + 12, 5*w + 2*a - 7 = v. Solve 5*x - 11 = -w*p + 11, x - 22 = -5*p for p.
4
Suppose 0 = i - 4*h - 5, -5*i - 2*h - 3*h = -25. Suppose 3*f = -i*x - 8, 0 = 2*f - 0*x - 2*x - 16. Solve 2*w + w - 3 = f*o, 4*o + 6 = 2*w for w.
-3
Let d(i) be the second derivative of -i**4/12 + 2*i**2 + 3*i. Let c be d(0). Solve 0 = 2*f + 5*l + 8, -8 = -c*f + l + l for f.
1
Let u = -5 + 3. Let j(g) = 3*g**2 + 4*g + 3. Let z be j(u). Solve 19 = 2*q + 3*i, 4*i = 2*q - q + z for q.
5
Suppose -3*p + 0 = -l + 3, 0 = -2*l + 2*p + 6. Suppose l*u = u - 2. Let i be (-2 - u)/((-3)/12). Solve 17 = i*o - a, -4*a + 5 + 22 = 3*o for o.
5
Suppose 26*o = 31*o - 20. Solve -20 = -o*j - 4*h, -5*j + 0*h = h - 5 for j.
0
Let t = -24 + 29. Solve -2*i - 10 = 2*n, 0 = -n + t*i + 3 + 22 for n.
0
Suppose b - 5*z = 0, -2*b + 3*z + 3 + 4 = 0. Solve d = -4*q + 5, -b*q - 4*d + 2*d + 10 = 0 for q.
0
Suppose 3*a = -3*a + 18. Solve a*d + 2 = 2*i, 2*i + 6 = -d + 2*d for i.
-5
Suppose -7*y + 8*y - 11 = 0. Suppose y = 2*b - b. Solve 16 = 4*w - 5*d, 1 = -3*d - b for w.
-1
Let d be (-10)/35 - 318/14. Let x = d + 25. Solve 2*y - x*o = 0, -2*y + 7*o - 3*o - 2 = 0 for y.
1
Let q = 46 - 39. Let y(f) = f**2 + 6*f. Let n be y(-8). Let r = 33 - n. Solve 0 = 3*m - 2*v + r, 2 = -m + 4*v - q*v for m.
-5
Let r(w) = w**2 + 6*w + 3. Let n be r(-6). Let a = n - -2. Solve 5*b + 11 = 4*u, -3*b + 0*u - 4 = -a*u for b.
-3
Suppose -2*t = -3*h + 26, 14 = 4*h - 2*h - 2*t. Let v = 19 - h. Solve -5*z = -2*r - 13, v + 12 = 3*z - 4*r for z.
1
Suppose 0*m - 6 = -2*m, 3*i + 5*m = 27. Solve 2 = -k + i*t + 5, 2*k + 20 = -5*t for k.
-5
Let w be 72/45*(-10)/(-4). Solve 3*m - 3 = 3*n + 3, 