+ 2*c**2 - 2*c - 4. Let t(g) = -1. Let s(q) = h(q) - 5*t(q). Let u be s(1). Solve -9 - 4 = 3*i - r, -u*i - 5*r - 11 = 0 for i.
-4
Let y be (8 - 7)/(1/9). Suppose 0*d = -d + y. Solve -5*p + 4*p - 5 = 4*x, 3*x + 5*p = d for x.
-2
Let k(h) = -4*h - 98. Let f be k(-25). Solve -4*o = w - o + f, 2*w = 3*o - 4 for w.
-2
Let k(j) = -j. Let p be k(-2). Suppose -w = 4*f - 23, 2*w + p*f - 6*f = -14. Let v = -1 + w. Solve 2*c - 3*y + 1 = 0, 0 = 2*c + y - 3*y + v for c.
-2
Let w = -31 + 46. Let u be (-1 + w)/(5 - 3). Solve -l - u = -2*v, -6 + 2 = 4*l for v.
3
Suppose 3*o = -3*q + 28 + 26, o + 18 = q. Let d = q + -2. Let h(z) = -4*z + 4. Let y be h(-5). Solve -5*m + 9 = 4*p - d, m + y = 5*p for m.
1
Suppose 3*l + 3*n = -4 - 5, n = 4*l + 7. Let j = -2 + 3. Let w be l*(j + -5 + 3). Solve -4*u + 2 = -w*d, -4*d = u - 8 - 6 for u.
2
Let a = 62 + -44. Solve -5*t - 4*v + 5 = -5, 2*v = 4*t + a for t.
-2
Suppose -15 = -2*t - 3*g + 1, -2 = -3*t + g. Solve -t*l + 7 = -5*l - z, 0 = -4*l - z - 9 for l.
-2
Let r = 11 - 7. Let x(d) = -2*d**3 - 4*d**2 - 2*d + 1. Let l be x(-2). Solve -10 - 8 = 5*h - r*j, -4*h = -l*j + 18 for h.
-2
Let r(b) = 2*b - 4. Let l be r(3). Let n(a) = l*a + a - a - 9. Let j be n(6). Solve 0 = 3*y - 3*w - 21, 0 = -4*y + j*w + 13 + 11 for y.
3
Let g = 54 - 50. Solve 0*a - 11 = q - 5*a, a = g*q + 6 for q.
-1
Let x = -3 - -5. Suppose 0*c - 2*c + 3*g + 16 = 0, -11 = -3*c - x*g. Solve -3*q - n + 4*n - 9 = 0, 3*n = c*q + 15 for q.
-3
Let d(y) = -y + 9. Let a = 19 + -12. Let s be d(a). Suppose s*u - 6 = -2*w, 0*u - 2*u - 5*w = 0. Solve 5*r + 4*z = -0*z - 12, 5*r + 30 = u*z for r.
-4
Suppose -d = d - i - 34, -2*i = 4. Let t = d - -3. Solve c + y = -3*y + t, -c + y - 6 = 0 for c.
-1
Let n(t) = t**3 - 23*t**2 + 2. Let k be n(23). Solve z + 2 = 2*p, 17 = 3*p + k*z - 0 for p.
3
Suppose -39*z = -40*z + 5. Solve 3*w - 20 = -w, c - 26 = -z*w for c.
1
Suppose -3*v = -2*v. Suppose -i = -3*i + 56. Let a be (-4)/(-14) + 412/i. Solve 4*f - 3*f + 5*s = v, 4*f = -5*s - a for f.
-5
Let m(h) = -6*h + h + 0*h + 2 + h**2. Let j be m(5). Solve j*q = -2*t + 6*t - 10, 0 = -3*t - 2*q - 3 for t.
1
Suppose 5*g = -3*i + 23, 0*g - g + 3*i = -1. Solve 5*k = -c + 27, 4*c - 3*k = -g*k + 13 for c.
2
Let u(v) be the first derivative of -v**2/2 + 17*v + 2. Let k be u(13). Solve -k*y = 5*m - 10, -2*m = -2*y - 1 + 15 for y.
5
Let u(m) = 4 - 4*m**2 + 0*m**2 + 5*m**2 - 4*m. Suppose 3*y = -d + 17, 3*d - 10 - 13 = -2*y. Let o be u(y). Solve h - o = -b + 2, -2*b - h + 8 = 0 for b.
2
Suppose 3*d - 4*g = -2, 0 = -d - g + 1 + 3. Solve 5*s - 20 = -2*c, 3*c - 8 = -d*s + c for s.
4
Let p(y) = -y**2 + y + 23. Let k be p(0). Suppose 0 = 2*w - w + 10. Let q be (-50)/5*8/w. Solve -4*z = -4*s - q, -5*s - k = 2*z - 6 for s.
-3
Let k = 0 - 4. Let b = 1 - k. Solve -g = 5*j - 9, -b*j - 3*g + 9 + 8 = 0 for j.
1
Suppose -a = -9 - 4. Let j be 8/12 + a/3. Solve 0 = k + j*x + 19, -k = x + 4 + 3 for k.
-4
Let b be (3 - 12) + -1 + 3. Let m(z) = 0*z - 2*z - 3*z**3 + 7*z**2 + 4*z**3 - 9. Let j be m(b). Solve -3*c + 12 = 0, x + j*c - 8 = 2*c for x.
-4
Suppose 0 = 2*g + 2*m + 2, 0*g - 4*m + 31 = -3*g. Let i(k) = -k**2 - 5*k + 5. Let n be i(g). Solve -n*f + 5*s - 4*s + 2 = 0, s + 2 = 2*f for f.
0
Suppose 12*d = 50 + 34. Solve -2*i = -3*i + 5*q - d, -5*i + 5*q - 15 = 0 for i.
-2
Let h = 2 - 3. Let b = 3 + h. Solve -u - m = -b*u, 2*m = 5*u - 9 for u.
3
Let g(f) = f**2 - 6*f - 12. Let p be g(8). Suppose 0 = -2*x + 6 + p. Solve 0 = -l + 3*d - 5, -x*d + 6 = -3*l - 5 for l.
-2
Let m be ((-30)/(-35))/(4/14). Solve -3*q - 5*c = 1 + 4, 4*q + m*c - 8 = 0 for q.
5
Suppose -4*s + 3 + 9 = 0. Suppose 0 = -2*u + s*c - 1 + 9, -4*u = 2*c + 16. Let l be (-8)/(-4) + (u - -3). Solve l*q - 4*h - 8 = 0, 0 = 4*h - 0*h - 4 for q.
4
Suppose 5*h - 5*f + 10 = 0, -2*h - 4*f + 18 + 2 = 0. Solve -l - h*l + 23 = -4*i, 4*l + 2*i = -6 for l.
1
Let j(z) = 3*z. Let c be j(4). Solve 2*y - 4*s + 9 = -3*s, 4*y - c = -4*s for y.
-2
Suppose 5*d + 14 = 5*i + 59, 0 = -d - 5*i - 15. Solve 33 = d*t - 4*g, -3*t - t + 5*g + 30 = 0 for t.
5
Let w be (-50)/3*6/(-5). Suppose -5*b = 4*u - w, -3*u - 3*b = -5*u + 10. Solve -4*x = -2*k - 10, u*k + 2*x - x = 30 for k.
5
Suppose 0 = j - 3*j + 30. Solve 9*v = 4*v + 2*d - j, -2*v - 6 = 4*d for v.
-3
Suppose 2*r + 2 - 18 = 0. Suppose 2*q + 4*y - 22 = -3*q, -r = -q - 2*y. Solve 5*o + 0*a + 4*a + 45 = 0, q*a - 5 = 3*o for o.
-5
Let x(w) = 3*w**2 - 6*w + 1. Let a be x(4). Suppose 0 = -5*l - 5*c + a, -3*l - 4*c = c - 25. Solve l = -t + f + 4, -2*f = 5*t - f - 2 for t.
1
Let k = 9 + -5. Suppose -k*q - 12 = 4*d, 3*q - 2*d + 0 - 16 = 0. Let n be 3/(12/10)*q. Solve n*z + 4 + 1 = -g, 5*z + 5*g - 15 = 0 for z.
-2
Let c be (-90)/(-21) - 4/14. Let p be c/(2 - 4) + 1. Let m be 2 + 0/p + 2. Solve 3*d + m*t = 4 + 6, -2*d = -5*t + 24 for d.
-2
Let r(z) = z + 10. Let u be r(-14). Let q be 90/15*(-6)/u. Solve -6 + 0 = 4*h - j, 5*j - q = -h for h.
-1
Let d(a) = -a - 1. Let h(u) = u**3 + 4*u**2 - 2*u + 1. Let z(t) = 4*d(t) - h(t). Let p be z(-4). Solve p*s + 19 = -5*o, -10 - 3 = -4*s + o for s.
2
Suppose 8*t + 25 = 13*t. Solve 2*n - t*k + 11 = 0, -n - 4 = 2*n + 5*k for n.
-3
Let c be (-4)/(-18) + 374/99. Solve -4*b = -j + 15, -3*j + c*b = -7*j for j.
3
Let z = -2 + 7. Suppose -b - 84 = 4*c - 0*b, 0 = -3*b. Let u be (-8)/12*c/2. Solve z*t - 3*o = -29, -2*t + 35 = -u*t + 5*o for t.
-4
Let h(t) be the third derivative of t**4/6 - t**3/3 + 11*t**2. Suppose 4 = 4*f - 2*f. Let u be h(f). Solve -5*n - 23 = 3*r, 0 = 3*n + r + 7 + u for n.
-4
Let w = 58 - 41. Let y = w - 12. Solve 4*i + l - 6 = 5*i, i - y*l + 14 = 0 for i.
-4
Let u = 5 - 3. Suppose 13 = 2*c - 3*n, -2*n + 3*n + 3 = 0. Solve l + 25 = -5*q, l + u*q + 10 = -c*l for l.
0
Let l(k) = -k - 6. Let g be l(-7). Let d(p) = p - 1. Let b be d(g). Suppose 0*a - 4*a = b. Solve -y - 2*s - 5 = a, 4*s + 0*s + 6 = 2*y for y.
-1
Let n(u) = u**3 + 3*u**2 - 3. Let c be n(-3). Let b = c + 8. Solve 4*w + 4*y = 2*w - 14, b*y + 31 = 2*w for w.
3
Suppose 5*o = -3*n + 17, 3*o - 8*o + 8 = 2*n. Suppose 5*j - 7 = -r + n, 24 = r - 3*j. Solve 4*g + r = f - 0*f, 4*g = -f - 11 for g.
-4
Suppose 4*i = 4*c - 32, -3*c - 6*i + i = 0. Solve 4*p - c*p + 5*y = -27, y + 13 = 4*p for p.
2
Suppose -2*r + 74 = -6*y + 5*y, -5*y = 2*r - 50. Solve 5*c + 5*s = r, -3 - 2 = 5*c - 3*s for c.
2
Let t = 0 - -2. Suppose t*k - 6 = -4*u, -2*k = 4*u - k - 9. Suppose -27 = -5*i - 3*p, u*i - p - 3*p = -7. Solve -z - 2*z + 18 = a, i = a for z.
5
Let l(f) = -f**2 + 12*f - 21. Let s be l(6). Solve -3*u + z + 0*z = -9, 3*z + s = 3*u for u.
2
Suppose -3*d + 1 = -8. Suppose t - 12 = -d*t. Solve 3*b = -3*o + 3, o + 14 = 5*b - t*o for b.
2
Let y be 2/(-8) + (-74)/(-8). Let n be 1/2 + y/2. Solve 3*f = n*f - 2*u + 18, 0 = 3*u - 12 for f.
-5
Let u = -37 - -45. Solve 0 = -2*p - l, -4*l - u = -4*p - 2*l for p.
1
Let k(r) = -r**2 + 17*r - 14. Let l be k(16). Solve -4*a + 5*s = -14, 0 = l*a + 5*s + 8 for a.
1
Suppose 11 = 2*k - r, -21 = k - 4*k - 3*r. Let m(o) = 8 - o + 8*o - 2*o + 2*o**2 - 3*o**2. Let i be m(k). Solve 10 = -v + i*n - 2, 4*v + 5*n - 4 = 0 for v.
-4
Let t = -1 - -6. Let y be (-1 - -3 - 3) + t. Let v = y - -4. Solve 0 = i + 2, 0 = 4*u + 2*i + v + 16 for u.
-5
Let l be (0/(-1))/1 - -2. Solve -g + 3*g + 8 = -l*p, 2*p + 8 = 4*g for p.
-4
Suppose -5*s + 17 = 4*m, -s - 2*m + 11 = 2*s. Suppose -5*v = -s*f - 60, -4*f = -0*v - 2*v + 34. Solve 4*n = 5*b + v, -4*b - 6*n - 20 = -2*n for b.
-3
Suppose -5*a = -a - 20. Solve 4*d - 5*v = -11, a*d = v - 2*v + 8 for d.
1
Suppose -257 + 317 = 4*k. Let w = 40 + -28. Suppose i = -3*i + w. Solve -20 = 4*q - r - i*r, 4*q = -3*r + k for q.
0
Let g(z) = z + 8. Let v be (3/(-2))/((-12)/40). Suppose 2*d = u - v*u - 8, -2*d = -3*u + 15. Let q be g(d). Solve q*f - 6 = 5*m, 4*f - 2*m + m + 6 = 0 for f.
-2
Suppose b - 4*y - 8 = 0, -2*b + 4*b - y - 9 = 0. Solve -b*z = 2*h - 12, -5*z + 18 = 8 for h.
2
Let u(l) = l**3 + 6*l**2 + 6*l + 9. Let a be u(-5). Solve 5*g + 4*h = 1 + 1, g = -3*h - a for g.
2
Suppose 36 = 2*z - 5*y - 21, 4*y = -z + 22. Suppose -3*u - z = -5. Let i = u - -11. Solve -2*p + 14 = 2*p + 3*w, -p + i*w = -13 for p.
5
Suppose -l - 3 = 0, j + 4 = l + 11. Solve q = -4*m - 12, 0*m - 2*q = m - j for m.
-4
Let i be 0 + 0 + -2 + 9. Suppose 3*c + 20 = i*c. Solve z + s = -c + 2, 5*z + 4*s = -12 for z.
0
Let t = 0 - -6. L