43 + 31. Let d = -54 + 31. Let n = u - d. Solve l + 0*l = -4*v + n, 13 = -l + 4*v for l.
-1
Let n be (-10)/(-4) - (-15)/(-6). Solve -3*i + 3*d - 9 = 0, n*i + d = -2*i for i.
-1
Let z(x) = -x**2 + 4*x - 1. Let j = -2 - -6. Let l be z(j). Let o = l + 2. Solve -h = w - 0 - o, -8 = 2*w for h.
5
Let v = 81 - 76. Solve -v*h - 2*a = -10, -7 = 2*h - a - 2 for h.
0
Let g = 3 + 1. Suppose -17 = -g*r - 1. Suppose 2*h - 6*h = 0. Solve h*j = -r*j - 3*m, 0 = -2*j + 3*m + 18 for j.
3
Let q(p) = p**2 - 15*p + 52. Let a be q(5). Solve -2*b + 5*o + 2 = a*b, -4*b - 3*o = -18 for b.
3
Let v(n) = n**3 - 2*n**2 + n + 1. Let s be v(2). Solve -6 = s*r - 2*z, 0 = -3*r - 3*z + 4*z - 3 for r.
0
Suppose -4*n = 5*o - 45, 4*o + 0*n + 5*n - 45 = 0. Solve -2*m = 5*f - 8, 0 = 3*f + m - o + 1 for f.
0
Let f(j) be the third derivative of -j**5/20 - j**4/8 + j**3/3 + j**2. Let g be f(-4). Let k be (-2)/6 - g/3. Solve 2*m + 4*h + 6 = 0, k = 4*h + 27 for m.
5
Suppose 2*d + d + 12 = 3*w, d - 4*w - 2 = 0. Let l(q) = -q**2 - 7*q - 1. Let i be l(d). Suppose 35 = 3*h + i. Solve 0*k + 5*t - h = 2*k, 2 = -2*k + t for k.
0
Let y(j) = j**3 + j**2 + 4. Let a be y(0). Solve 1 = -p + m, 3*p - m = -a*m - 21 for p.
-4
Suppose 2 + 0 = k. Suppose -2*m = -7*m - 25. Let t(w) = -w**3 - 4*w**2 + 5*w + 3. Let x be t(m). Solve -k*j + 7*j = 3*o + 1, -4*j - 1 = -x*o for o.
3
Let j be ((-76)/6)/(14/(-21)). Suppose -21 = -5*p + j. Solve 0*q + 13 = q + 4*v, -2*q = 2*v - p for q.
1
Let c(i) = 2*i - 12. Let a be c(7). Solve 0*x + 2*j = -2*x, -a*j - 6 = 5*x for x.
-2
Let c(v) = 5*v**3 - v. Let o be c(1). Suppose -3*r + o*r = 0. Let t be (1 + -7)/((-4)/2). Solve 3*g - 2*d + 8 = r, t*g + 6 = 2*d + d for g.
-4
Suppose -4 = -2*y + o, -7 - 21 = -3*y - 4*o. Solve -4*m - 2 = 2*l, -l + 5*m + 1 = -y*l for l.
3
Let x be (-4)/(-3) + (-10)/(-6). Solve 4*v - 4*k + 17 = -7, 0 = v + x*k - 2 for v.
-4
Let m = -2 - -24. Suppose m = 3*y - 5. Solve 8*f - 5*f - y = 4*u, 4*f = 5*u + 12 for u.
0
Let z = 1 + 1. Let s(w) be the second derivative of w**5/20 - w**4/12 - w**3/6 - w. Let r be s(z). Solve 2*f - r*b + 14 = 0, -2*f = -6*b + 3*b + 17 for f.
-4
Suppose -2*r = -5*w - 0*r + 126, 0 = -w - 4*r + 12. Solve 4*s = -3*u - w, 0 = -s + 6*s + 4*u + 31 for s.
-3
Let f = -67 - -67. Solve f = -4*r - 12, 0*a = -2*a + 5*r + 19 for a.
2
Let h = 6 + -4. Suppose -h*d + 36 = -2. Solve v - 5 = 0, -5*j - d = -v - 4 for j.
-2
Suppose 5 = 2*x + 3. Suppose 4*n - 3*q - 31 = 0, -5*q = 21 + 4. Let i = n + x. Solve 2*c + 2*s = -2, i*c - 45 = 3*s + 2*s for c.
4
Let t(o) = -3*o + 19. Let x be t(5). Solve -m + 6 = m, 2*m - 18 = -x*p for p.
3
Let z be (-3 - (-6)/1) + -72. Let t be 8/20 + z/(-15). Solve 13 + 8 = -t*c - d, 0 = 2*d - 8 for c.
-5
Let j be (-3 - -2)/(-3) + 44/12. Solve 0 = -2*b + j*g - 20, g - 4 = b + 3 for b.
-4
Suppose -30 = 3*z + 42. Let c be ((-16)/z)/(4/18). Solve -c*f + 5*l + 22 = -6*f, 14 = -4*f + l for f.
-4
Let l be 4/(-6)*-3 + 3. Suppose -3*b + 5 = -7. Solve 4*p + 9 = s, l*p = -b*s + 3*s for s.
5
Let a(x) = -x - 11. Let c be a(11). Let j be 348/c - 8/44. Let p be (1/4)/((-2)/j). Solve 14 = -5*z - 2*h, p*z + 3*h + 16 = -3*z for z.
-2
Let p be (4/4)/((-3)/(-21)). Let h = 12 - p. Solve -x + 0*x = 2*l - 12, -h*x - l + 24 = 0 for x.
4
Let b(x) = -x + 7. Let f be b(7). Suppose f*z + z - 19 = 0. Solve -4*t + v = 3*v + 14, -t = -4*v - z for t.
-1
Suppose 13 = 4*z + s, -2*s - s = 3*z - 12. Suppose 2*y = z*y - 16. Let x = -10 + y. Solve -w + x*w = -n - 13, -2*n = 5*w + 11 for w.
-3
Suppose 0 = -2*i + h + 2*h + 41, 5*i + 5*h = 115. Solve 4*l + 3*q - 2*q = 19, 2*q - i = -4*l for l.
4
Let y(p) = -p**2 + 11*p + 8. Let t be y(12). Let h(o) = -o**3 - 4*o**2 - o. Let k be h(t). Solve -26 = 3*d + 5*n - n, k*n + 12 = 4*d for d.
-2
Let j(t) = -t**3 + 0*t**3 - 2 - 5*t**2 + 0*t**3 - 4*t. Let z be j(-4). Let i = z + 6. Solve -5*p + i*x = 30, -3*p + 8 + 1 = 3*x for p.
-2
Suppose -2 = -t, -h + 13 = 2*h + 2*t. Let f = 3 + -1. Suppose 3 - f = x. Solve h*g = -c + x, -g - 3*c - 13 = -0*c for g.
2
Let m = -16 + 19. Solve 3*g - 11 = y, g = -4*y + y - m for y.
-2
Let r be (2/7)/(5/35). Let v(j) = j + 7. Let t be v(-4). Solve -3*c = l + r*l + 3, -13 = 5*c - t*l for c.
-2
Let u be 0 + 2 + 3 + 0. Solve -u*y = -t - 25, -y + 5 = -0*y - 3*t for y.
5
Let m(j) = -3*j**3 + j**2 + 2*j + 2. Let z be m(-1). Solve 2*t = r - 6*r + 11, -z*r + t + 1 = 0 for r.
1
Let d = 13 + -12. Solve -3*c - d = 2*v, -v - 1 = -2*c - 11 for v.
4
Let n = -14 + 22. Suppose t - n = -t. Solve 5*q - 2*w - 10 = 8, -t*q - 3*w + 19 = 0 for q.
4
Let l be -3 - -11 - 3/1. Solve 4*v - 23 = 3*i, 0*v - 2*v - 5*i = -l for v.
5
Let g(j) = -j**2 + 4*j - 1. Let o be g(2). Let n(w) = w**2 + 5*w - 2. Let y be n(-5). Let h = o - y. Solve -2*z - 15 = h*r, 2*z + r - 6*r = 35 for z.
5
Suppose 3*u + 4*z = -32, -4*u + 2*u - z = 13. Let r be 2/u*10/(-5). Solve -c - r + 6 = 2*q, 2*c + 8 = 5*q for c.
1
Let v = 26 + -24. Solve -5*c - 10 = -4*l + 6, v*c + 4*l = 16 for c.
0
Suppose 0 = 2*q - 2*w + w + 1, 0 = w - 1. Suppose 3*f = -q*s + s + 21, -3*f + 5*s + 9 = 0. Solve -5*i = 10, 4*z - f = 3*i + i for z.
0
Suppose -2*c - 2*z = -34, 2*c + 0*c + z - 39 = 0. Let r = c + -8. Solve d - 3*o = -11, 3*o - r - 5 = -d for d.
4
Suppose 0 = -4*t + 16 - 4. Suppose 10 = -t*z + 5*z - 2*p, -z + 5*p = -9. Solve 2*i + 3 = 2*w + 1, 5*w - z*i = 2 for w.
-2
Let d = -5 + 7. Suppose -4*n + n = -4*q + 76, n + 40 = 2*q. Solve 2*c = -3*c - 20, -d*x + 5*c = -q for x.
1
Suppose -5*x = -3*h - h + 10, -2*h + 5*x + 10 = 0. Solve -b + 3 = 5*m, 2*b + 4*m + h = 6 for b.
3
Let z(g) = -g**2 - 5*g - 3. Let y be z(-3). Let f be 6/(-9) + 8/y. Suppose -441 = 4*v - 453. Solve 11 = 5*q + 4*x, -4*q = -f*x + v*x for q.
-1
Let o(i) be the second derivative of i**4/6 + i**3/3 + 3*i**2/2 - 2*i. Let j be o(-4). Let q be (34/8)/(1/4). Solve 4*l - m = -1 - q, -m = 5*l + j for l.
-5
Let u = 7 + -11. Let y be 4/1 + u + 2. Solve 5*x + 2*r + 0 = 2, 0 = 4*x - y*r + 2 for x.
0
Suppose 0 = h, 5*k - 5*h = -3*h. Suppose -5*s + 11 + 4 = k. Suppose 7 = 3*w - l, 2*w - 5*w + s*l = -3. Solve -w*x + n = 11, 4 = -2*x + 2*n + 2 for x.
-5
Let r(t) = -6*t + 38. Let z be r(6). Solve -2*u = z*l, -2*l = -2*u + u - 15 for l.
5
Let m = -1 + 4. Suppose -i = -m*n + 3, -9 - 9 = -4*i + 2*n. Suppose -2*s + 10 = i. Solve s = g - 5*o + 3*o, o = -4*g + 8 for g.
2
Suppose -4*v = 4 - 20. Suppose z = 5*c - 24, 3*c + 5*z = v + 16. Solve -c*l + 4*t = 2 + 14, 3*l + 15 = -3*t for l.
-4
Suppose s + v = 9, 3*s - v = 6*s - 17. Let d be 10/(-4)*1*-4. Solve 4*p = c - d - 2, 0 = p + s for c.
-4
Let i(h) = 2*h**3 - 51*h**2 + 25*h + 26. Let z be i(25). Solve 5*g + 41 = -4*p, -4*p - z = 2*g - 0*p for g.
-5
Let h(y) = -y**3 - 6*y**2 - y - 1. Let g be h(-6). Solve 3*s + 18 = -3*o, -g*o - 20 = -0*s - 5*s for s.
-1
Let v(a) = 29 + 0*a**3 - 8*a - 6*a**2 + a**3 - 19. Let d be v(7). Solve 5*c = 5*y - 0*y + 40, d*c = -3*y for y.
-4
Let v be (-2)/(-10) - 513/15. Let z = 17 + v. Let g = 35 + z. Solve 6*s - 3*s + g = -5*l, -4*l - 2*s = 14 for l.
-3
Let u(q) = q + 16. Let k be u(-13). Suppose 8*v - 5*w - 80 = k*v, 0 = 4*v + w - 44. Suppose 4*f = f + 6. Solve -2*p + v = -4*a + 2, f*a = 0 for p.
5
Let f = 44 - 42. Solve 0 = -0*r - f*r + 4*u + 10, 4*u + 7 = 5*r for r.
-1
Let a be (-28)/(-6) + 2/(-3). Suppose a*k - 12 = 3*o, -2*k = -0*o - o - 4. Solve -2*v + 4*w + 22 = k, w + 9 = 2*v + 2 for v.
1
Let n(o) = o**2 + 7*o - 5. Let f be n(-8). Suppose a = -t - 4, -2*a - 15 = 3*t - f. Solve 5*u + 2*v - 15 = 0, 5*v - 3 = -u - a*v for u.
3
Suppose 5 - 23 = -6*i. Solve 5*w - 6*c - 22 = -i*c, -2*w - 5*c - 16 = 0 for w.
2
Suppose 0 = 29*q - 26*q - 12. Suppose 4*c - 2 - 18 = 0. Solve -5*w - o = 9, 5*w + c*o + 1 + q = 0 for w.
-2
Let u(f) be the second derivative of f**3/6 - 3*f**2 - f. Let z be u(8). Solve -4 = -5*m - 3*b, -5*m + 4*b - 5*b - z = 0 for m.
-1
Suppose 4 = k - 1. Suppose -k*l + 11 = -a, -3*l - 8*a = -3*a - 29. Solve 1 = l*j + q - 7, 0 = -3*j + q + 10 for j.
3
Suppose -2*g = 3*g. Solve 2*y = -3*t - 2, 5*t + 6 = -g*y - 4*y for t.
2
Let s(b) = -b**2 - 7*b + 3. Let u be s(-7). Suppose 0*g + u*g = 12. Suppose -g*t + 2*t + 4 = 0. Solve -o - 2*m = -2, -4*o + 0*m - 10 = t*m for o.
-4
Suppose -4*o - 4*f = 0, -5*o = 2*f - 5 - 1. Suppose -2*v = -o*x + 12, -4*v - 4 = -4*x - 5*v. Solve 0 = -5*q + 4*m - 17, x*q + 10 + 7 = 5*m for q.
-1
Let r = 1 + 1. 