 0 = -c + 3*h + a, 0*h - 18 = 3*c + 3*h for c.
-2
Suppose 0*o + 23 = -3*o + 2*x, -o - 3 = 4*x. Let w(h) = h**2 - 3*h - 4. Let u be w(3). Let s = u - o. Solve 3*y - 4*n = -16, -2*n + 8 = 5*y - s*y for y.
0
Let l = 3 + 3. Suppose -21 = 5*p - 46. Solve 3*z + l = 5*m - 1, 3*z + m = p for z.
1
Let b(q) be the first derivative of -q**4/4 - q**3 - q**2 - 2*q - 3. Let x be b(-3). Solve 3*f + 1 - 2 = -2*g, x*g + 5*f - 3 = 0 for g.
2
Let d(i) = -i**3 - 8*i**2 - 7*i + 3. Let m be d(-7). Suppose -3*o + 0*o + 2*t = -35, m*o - t = 34. Solve 3*n - 21 = -5*k + 2*k, -n + o = 3*k for k.
2
Let c = -7 - -9. Suppose 4*v + 0*v = 3*o + 32, -c*v = -3*o - 22. Solve v*p - 4*u + 12 = 0, -4*p - 8 = u - 5*u for p.
-4
Suppose -5*u + 4*h - 2 = -7, -2*u - h = -15. Let r(c) = 7 + 5*c - c**2 - 2*c**2 + 2*c**2. Let n be r(6). Solve 1 = -2*x - 2*x - u*p, -p - n = 0 for x.
1
Suppose f - 7 = -w, f = -2*w - 2*f + 19. Suppose -a - 31 = 4*s - 0*s, -w*s - 3*a - 23 = 0. Let u = s - -11. Solve 2*k + 4*l + 5 = -5, -u*k = l + 20 for k.
-5
Let q = -3 - -6. Suppose 4*x - 20 = 64. Solve -q*h - 1 + x = -l, -h = l for h.
5
Suppose -16 - 20 = 3*b + 3*n, n = -2*b - 20. Let s(f) = -f**2 - 9*f - 8. Let l be s(b). Solve l = h + 5*d - 4, 4*d = 8*h - 3*h - 20 for h.
4
Let p = 7 - 4. Suppose -p*m = -5*m. Let l be (-5 + m)*(-6)/15. Solve -n - 2*a = -3*n, 4*a = l*n - 6 for n.
-3
Suppose z + s + 2 = 0, 4*s + 21 = 3*z - 1. Solve 2*v + 23 = -2*v - 3*m, -12 = z*v + 2*m for v.
-5
Let l = 53 + -40. Solve -2*g - 3*r - 8 = -g, 2*g + 5*r = -l for g.
1
Let p be (2/4)/((-13)/(-208)). Solve 0*d - 2*f - p = 5*d, 0 = -d + 4*f - 6 for d.
-2
Suppose -3*m = -22 - 38. Suppose 2*k - 3*k = 0. Suppose k = -0*p + 4*p - 12. Solve -2*n = -2*t + m, -p*n - 25 = 3*t - 5*t for t.
5
Let y = -8 + 11. Suppose -z - 1 = -j, -2*j + z = y - 4. Solve -x - 9 = 3*x + t, j = 3*t + 3 for x.
-2
Suppose 4*s - 12 = 2*s. Solve -n - s = 4*r + 10, -r = -4*n + 21 for r.
-5
Let y(s) = s**2 - 6*s + 5. Suppose 7*n + 2 = 4*n - 4*u, -u - 23 = -3*n. Let b be y(n). Solve -b*z - 4*g - 1 = 9, z - 5*g = 27 for z.
2
Suppose 4*d + 3*n = -3 + 2, 0 = 2*d - n - 7. Solve -y + 4*y = 5*w + 7, d*w = -3*y + 14 for y.
4
Let s(f) = -f**3 - 8*f**2 - 7*f - 3. Let p be s(-7). Let o be (-2)/p*(-60)/(-8). Solve 4*m - 4*a - 12 = -0, -a - 9 = o*m for m.
-1
Let a(z) = 2*z. Let u be a(3). Let m = u - 1. Solve 0 = -3*i - i - 3*k + 9, -2*i = -m*k + 15 for i.
0
Let z be (-2)/(-1*(-1)/(-1)). Suppose 9 = 5*g - z*g. Suppose -97 = -4*i + g*w, -i + 8 = 3*w - 20. Solve 5*n - i = -2*c + 5*c, 0 = 2*n + c + 1 for n.
2
Let u = -5 + 8. Solve -3*s = s - 3*l - 12, -u*s + 9 = -l for s.
3
Suppose -2*d + d = 5*g + 108, -34 = 2*g + 5*d. Let x = -16 - g. Solve 3*s + 5*a = -x, -2 = s - 2*a - 0 for s.
-2
Let k be (-3)/12*-4 - -2. Solve -3*b + 3 = q, 0*q = -q - k for b.
2
Let p(o) = 5*o**2 + 1. Let c be p(1). Let x be -42*(-3)/(-18)*3. Let f = 32 + x. Solve -5*a = j + f, 0 = -a + j - c - 1 for a.
-3
Let d(z) = 12*z**2 + 2*z - 1. Let q be d(1). Let n = -8 + q. Let t = -8 - -14. Solve n*s = -4*y - 11, 2*y - t = 3*s + 5 for y.
1
Let y(z) = 3*z**2 - 2*z - 3. Let f be y(3). Solve -2*q - 2*s = q + 3, -5*s = -q - f for q.
-3
Suppose 0*v = 3*v - 6. Let h = v + 1. Solve 5*l + 1 = -4, 17 = h*p - 5*l for p.
4
Let a(z) = z**2 - 3*z - 2. Let u be a(8). Let s be u/8*4/1. Solve -4*b = 2*h - 14, 2*h - 3*h = 5*b - s for b.
4
Let d(r) = -r. Let o be d(-3). Suppose o*h = 5*h - 4. Let f be (-9)/(-3) - 0 - -1. Solve -3*p - 2 = h*g, -4*p - 2 = f*g + 2 for g.
-1
Let z = -19 - -23. Let x = -1 + 14. Solve -3*y + 1 = -3*n + x, z = -y + 5*n for y.
-4
Let l = 6 - 3. Suppose g + l*s - 2 = 0, 2*s = -3*g - 0*g + 13. Solve 0 = -2*i + g*n, i + 3*n = 5*i for i.
0
Suppose -5*q + 5*m = 35, q - 11 = 3*q + m. Let u be 3/((-4)/(q - -2)). Solve -g + 4*k - 18 = -k, 0 = -g - u*k + 6 for g.
-3
Suppose -2*a + 5*a = 0. Solve a = c + 5*w - 18, 0*w - 2 = -c - w for c.
-2
Let h(k) = -2*k - 10. Let q be 49/14*1*-2. Let d be h(q). Solve -s - 4 - d = 4*g, 2*g = -2 for s.
-4
Let y(q) = q + 25. Let v be y(-5). Let r = -78 + 211. Suppose -2*k + 6 + 47 = -i, 5*k - r = 3*i. Solve -3*o - v = o, 3*n - k = 4*o for n.
2
Let i = -99 - -141. Let p be 12/i + (-38)/(-14). Solve -4*a = p*h - 5*a - 10, -5 = -a for h.
5
Suppose 0*z - 25 = -5*z. Solve 0 = -z*u + 4*h - 28, -3*u + 10 = -8*u - 5*h for u.
-4
Let s(q) = q**2 + 5*q + 5. Let y be s(-5). Let w be 2/y*(6 + -1). Solve -2*r + 6*r = w*l - 16, -r - 4 = 4*l for r.
-4
Let z(a) = -a**3 + 6*a**2 - 7*a + 7. Let s be z(5). Let y(b) = -b**3 - 3*b**2 - b + 1. Let g be y(s). Solve 9 = g*l - 2*k - 3*k, l + 9 = -k for l.
-4
Let j = -14 + 16. Solve 13 = 5*f - 3*t - 10, 5*f - 22 = j*t for f.
4
Let u(b) = -b**3 - 5*b**2 + 5*b - 3. Let l be u(-6). Suppose l*j = r + 12, -4 = 5*r - 2*j + 4. Solve 0 = 5*d - 2*p - 15, 2*d - 12 = 2*p - r for d.
1
Suppose -2*r + 21 = r. Let k be (-6)/r*(-3 + -18). Let y be 122/k + 4/18. Solve c - y = -5*f, -4*f = f - 5 for c.
2
Let g(v) = -v**3 - 3*v**2 - 4*v - 2. Let i be g(-2). Suppose 20 = 2*m + 4*r, -4*m = 4*r - i*r - 34. Solve -4*n = 2*d, 4*n + 4*d + 0*d - m = 0 for n.
-2
Let i = 79 - 77. Solve -3*k = s + 7, i*s = s + 4*k for s.
-4
Let f be (-2)/((-4)/(-4) + 0). Let n be -4*(0 - 3 - f). Solve -4*o + 3 = -o - 3*c, -n*o - 2 = 2*c for o.
0
Let a(l) = -l**2 - 8*l + 5. Let v be a(-6). Let x = v + -11. Suppose 15 = -5*y + 65. Solve x*j = -i + 3*j - y, -3*j = -i + 20 for i.
5
Let m(v) = -v**3 + 6*v**2 - 5*v + 3. Let l be m(5). Suppose -h + 14 = -a, -2*a + 50 = 5*h + l*a. Solve -4*g = 2*t - h, -g + 0*g = 2*t + 3 for g.
5
Let l(h) = 3*h - 11. Let t be l(5). Solve -t*b - 1 = -s - 6, -2*b + 2*s + 10 = 0 for b.
0
Suppose -z = -5*r - 186 + 519, -r - 3*z = -57. Let u be r/4 - (-3)/(-2). Solve 3*i + o = -u, 20 = i - 5*i + 5*o for i.
-5
Let b be ((-4)/(-3))/(4/6). Solve r + 13 = -4*y, -2*r - 6 = -3*y - b for r.
-5
Let g = -57 + 59. Solve -2*f = 3*p - 11, -f + g = -2*p + 7 for p.
3
Let h = 14 - 9. Solve 5*o + 3 = 3*p, 0 = 2*p + 3*p - 4*o - h for p.
1
Let z(m) = -6*m**2 + m - 1. Let h be z(1). Let y be h/(-1) + (-2)/1. Solve y*g + 3 = 5*n + 18, -3*n - 17 = -4*g for n.
1
Let y(m) = -m + 2. Let l be (0 - 0)*(-5)/(-10). Let k be y(l). Solve -5*f - 17 = -p, -10 = -k*p - f + 5*f for p.
-3
Suppose 0 = 3*w - 7*w + 8. Suppose -12 = -g - o, o + 2*o = 6. Let c be (-42)/(-10) + (-2)/g. Solve -w*z - 2 = 4*m + 4, c*m = -4*z for z.
3
Let i(h) = -4*h - 11. Let g be i(-4). Solve -3*l = 2*l + 10, -4*x = g*l + 10 for x.
0
Let v = 11 + -7. Suppose 0*g - v*g - p = 0, -3*g = 3*p. Let b = 3 + g. Solve 3*f - b*d = -9, -f - 10 = 2*d - 1 for f.
-5
Let j(p) = p**3 - 23*p**2 + 23*p - 17. Let a be j(22). Solve a*l + 10 = -2*h, 2*h + 0*l - 26 = 4*l for h.
5
Let h(d) = -d**3 - 20. Let v be h(0). Let b = -15 - v. Solve 3*z - 4 = -2*c, -3*c - b*z + 4 + 3 = 0 for c.
-1
Let q(m) = m**3 - 2*m**2 - 2*m - 4. Let v be q(3). Let o be (-2)/1*(v - 0). Solve u + 8 = -o*p, -4*p + 1 = 13 for u.
-2
Let y(k) be the second derivative of k**5/20 + 5*k**4/12 + 2*k**3/3 + 5*k**2/2 - k. Let n be y(-4). Solve 3*l - 4*l = -3*d + 1, -n*d + 3*l = 5 for d.
2
Suppose 0 = p - 49 + 47. Let n(i) = i**3 - i**2 - i + 2. Let x be n(0). Solve 2*r + 0*g + 14 = -p*g, 0 = x*g + 10 for r.
-2
Let r(g) = g**2 + 8*g + 1. Suppose 4*a + n + 16 = -3*n, -4*n = -16. Let v be r(a). Solve 0 = o - 4*c - v, -1 = 3*o - 2*o - 2*c for o.
-3
Let c be 1 + (-2 - 1 - -5) - -4. Solve -2*p + 9 = -j, -11 = 4*p - c*p + j for p.
2
Let j(d) = -6*d + 2*d + 2 - 3. Let x be j(-2). Solve -5*h + 4*v + 30 = 6, -x = -h + 3*v for h.
4
Suppose -20 = 2*l - 0. Let b be (6*-1)/(-3)*-3. Let f = b - l. Solve -4*v + f = 4*x, -3*v + 1 = 5*x + 2 for x.
-2
Let d = -9 + 8. Let g be d/((-3)/87 - 0). Solve -5*v = 3*q + 16, -4*v - g = -2*q - q for q.
3
Let p(c) = -c + 1. Let u be p(-4). Let f(r) = r**2 + 4*r + 7. Let n be f(-5). Let z be -1*(0 - 4*1). Solve n = u*l - 0*o - z*o, -5*l = 5*o - 30 for l.
4
Suppose -3 = -4*f - 0*x + x, -2*f - 5*x + 7 = 0. Let u be (-1)/(-2) + 21/(-2). Let w be (-2)/(14/u + 1). Solve c + w + f = 3*i, -2*c = 3*i - 15 for i.
3
Let c be (210/(-56))/((-6)/8). Suppose 5*l - 35 = -10. Suppose 3*a = b - a - 16, 4*b = -l*a + 1. Solve -5 = -b*f + c*f + 2*y, 1 = f - y for f.
-1
Suppose 10 = -5*w + 25. Suppose 3*k + w = -0*k. Let z be 4 + (3 - (k + 3)). Solve i = z*q - 7, -3*i - 7 = -4*q + 3 for i.
-2
Suppo