 = -69 - -71. Solve 3*f + 15 = 0, 2*o - f = -d - 3 for o.
-5
Let o(j) = j**2 - 12*j + 15. Let g be o(10). Let n(q) = q**2 + 2*q - 10. Let r be n(g). Solve 3*v = r*p - 3 + 30, -12 = 4*p for v.
4
Let m = -11 - -19. Let n(f) = 4*f - 9. Let k be n(m). Solve 5 = 3*j - 2*t, 4*t - k = -4*j - j for j.
3
Suppose 2*u + 2*u = 16. Suppose 0*o = -3*p - 3*o + 12, u*p - 13 = -o. Suppose 63 = 5*h + 2*c, h + c - 3*c - p = 0. Solve -1 - 2 = w + j, -3*w - h = 5*j for w.
-2
Suppose 0*m = 2*m. Solve -10 = -2*w - f - f, -w + f + 3 = m for w.
4
Let n be (5/(-3))/(-3 + 40/15). Solve -4*k - k - c = -13, n*k = 5*c - 5 for k.
2
Let w(f) = -f**2 - 7*f - 6. Let b be w(-6). Suppose -15 = -4*j - 3*k + 2, b = 4*j - 5*k - 25. Solve 8*p - 3*p + 5 = 0, -2*x + j*p - 3 = 0 for x.
-4
Suppose 4*k + 116 = -2*m, 0 = -5*k - 2*m + 3*m - 145. Let z be k/3*(-2 - 1). Solve 5*t + 2*q = -2*q - z, 5*q = t for t.
-5
Suppose 2*x = -4*w + 28, -15 = -2*x + x - 3*w. Solve -4*i = d - 13, -4*d - x + 4 = -4*i for d.
1
Let g be 96/40 + (-4)/((-40)/6). Solve c = -2*u - g*c - 2, 3*c = -2*u for u.
3
Let v(o) = o + 6*o**2 + 2*o**3 - 4*o**3 + o**3 - 6. Let z be v(6). Suppose -2*n + z*n = -24. Solve -4*c - 4*g = -n, -4*c + 2*g + 17 = g for c.
4
Suppose x = -5*y - 22, 0 = -2*x - 4*y + 2*y - 4. Solve -o - 2*g + 10 = 0, 0 = -o + 2*o - x*g + 10 for o.
2
Let f = -11 + 15. Let n(p) = -7*p - 10. Let l be n(-7). Let w = l + -24. Solve f*d + w = 3*s, -s - 10 = 3*d - 2 for s.
1
Let t = -5 + 9. Suppose -k = -t*k. Let u = 19 - 14. Solve k = 5*h + q - u, -3*q + 0 = -15 for h.
0
Let a be (-6)/39 - 28/(-13). Let f(w) = 2*w**2 - 3*w + 3. Let y be f(a). Solve 2*k - 20 = -5*d + 3*k, 0 = 4*d - y*k - 37 for d.
3
Suppose 2*u - u - 2*a = 10, 3*a + 16 = 2*u. Solve 3*n + u - 11 = 2*z, 0 = -5*z - 4*n + 12 for z.
0
Suppose -13 = p - 18. Solve p*y - 16 = -4*t, -3*t = 3*y - t - 10 for y.
4
Let s(h) = -4*h - 7. Let k be s(-4). Solve q - 5 - 3 = 4*m, m - 3*q = k for m.
-3
Let j(p) = -p**3 + 6*p**2 - 4*p + 5. Let r(n) = -6*n**3 - 2*n**2 - n. Let s be r(-1). Let t be j(s). Solve -5*f = 3*b + 14 + t, 0 = 4*f - 2*b + 6 for f.
-3
Let p(j) = -j**3 - 5*j**2 - 6*j - 4. Let q(v) = -v**2 + 2*v + 4. Let b be q(4). Let i be p(b). Solve 2*s + 3*k - 13 = 7*s, -28 = i*s + 2*k for s.
-5
Suppose -4*f + 47 = 3. Let t = f - 6. Suppose -u = -4*u + t*l + 7, 2*l = 4*u - 14. Solve -u*v - 4 = -5*y, 5*v - 2*y + 3 = -2 for v.
-1
Let g(q) = -q**2 + 6*q - 3. Let v be g(4). Let k be (-6)/(-24)*(3 - -1). Let h be -8*(k + (-6)/4). Solve -3*x - h*c = 0, -c + v*c = x - 16 for x.
4
Let w be 3/12 + 19/4. Suppose 0 = w*d - 13 - 2. Solve -5*z - 30 = d*p, -4*p - 2*z = 24 + 2 for p.
-5
Let x be 9 - 0*2/(-4). Let y(b) = -b - 10. Let n be y(-21). Let u = n - x. Solve -2*i + 4*w = u*i - 4, 2 = 2*i + 3*w for i.
1
Suppose -6*v + 2*v = 3*l - 16, 2*v = l - 2. Let o be ((-2)/l - 0)*-6. Let p = 44 - 19. Solve -3*z = -5*d + o*d + p, -z - 5 = 0 for d.
5
Suppose 6 = -4*w - 6. Let g be 1/(-1*(-4 - w)). Solve -2*p - p - c + g = 0, 0 = -5*p - 4*c - 10 for p.
2
Suppose -2*z = z. Suppose 0*r + 2*r = z. Solve -4*k + 0*k + 14 = 3*a, 2*k - 3*a - 16 = r for k.
5
Let x = 0 + 0. Solve x = -2*q + 7*q - 5*v, -5*q + 18 = v for q.
3
Let i(g) = -12*g - 3. Suppose -5*u = 2*o + 18 - 2, -2*u + 2 = -2*o. Let t be i(u). Let b be 12/5*70/t. Solve -12 = 2*m + 3*j - 2, 2*j + b = 0 for m.
1
Let s(u) = -4*u + 5. Let k(w) = -3*w + 4. Let o(x) = -3*k(x) + 2*s(x). Let q be o(4). Solve 0 = -3*b - 5*t + q + 25, 5*b - 23 = -t for b.
4
Suppose 2*x = 6*x + 16. Let y = 0 - x. Let m be 0 + 1 - 2 - -4. Solve -2*n + y = -3*c + c, m*n + 5*c + 18 = 0 for n.
-1
Let l(u) = -u + 4. Let h be l(4). Solve d + 2*k - 7 = h, 5*k - 19 = -4*d - 0*d for d.
1
Let k = -45 - -51. Solve -5*w - b - 12 = -2*w, 3*w + k = b for w.
-3
Let s = 5 - 3. Suppose 14 = -2*k - s. Let b be (-1)/(-4) - 102/k. Solve 2*m - 3*c = b, -29 = -5*m + 4*c - 0*c for m.
5
Suppose -5*u = -m + 7, 0 = 3*m + m + 3*u - 5. Solve c - m*y = -0*y - 5, 20 = 4*y for c.
5
Let c be (-1)/1 - (5 - -6). Let u be (-39)/c + 1/(-4). Let m(v) = -v + 2. Let k be m(-2). Solve -2*x + 6 = 0, -k*o + u*x = -9 - 2 for o.
5
Let f(y) = y - 5. Let q be f(8). Solve -14 = q*g + o, -3 = g - 5*o + 7 for g.
-5
Let l(r) = -r**2 - 4*r - 1. Let b be l(-3). Suppose 0 = -5*x + b*x - 3. Let y = x + 3. Solve 2*f = -3*w - 2 - 7, f = y*w + 6 for w.
-3
Let l = 22 - 22. Solve -4*y - 4*q - 4 = l, 5 - 24 = 3*y - 5*q for y.
-3
Suppose 4*q + 0 = 12. Solve q*n = 3*y - 6, 2*y - 4*y + 4*n = 0 for y.
4
Suppose 0 = 3*l + 3*a - 7*a - 11, 4*a = -5*l + 61. Let j = -5 + l. Solve -5*p - 32 = -j*s, 0 = 3*p - 0*p + 3*s + 3 for p.
-4
Let o(y) = y**3 - 7*y**2 + 7*y - 2. Let z be o(6). Solve 2*q + 14 = z*g, -5*g + 4*g + 1 = 2*q for g.
3
Let v = 8 + -3. Solve -4*t = -5*f + v, 5*f - t + 4 = 24 for f.
5
Let f = 0 + 5. Solve -7 = 3*k + 3*r - 22, k - 13 = -f*r for k.
3
Suppose -d + 4*u = 2*d - 27, 3*u = d - 14. Solve 2*b - 2*h = -5 - d, -4*h = 4*b + 20 for b.
-5
Let b be 494/95 - (-2)/(-10). Solve 17 = -5*o + h, o + 1 = 4*o + b*h for o.
-3
Let m(l) = -l**2 - 6*l - 3. Let s be m(-4). Let p = s + -3. Solve y - 5*t = 10, p*t + 19 = 4*y + 3*t for y.
5
Let v(w) = w**2 - 10*w - 2. Let a be v(10). Let q = 2 - a. Solve q*h - 5*h - 4 = 3*d, -2*h = 2*d for d.
-2
Let m(q) be the first derivative of q**3/3 + q**2/2 + q - 1. Suppose -4*z + 8 = 20. Let u be m(z). Solve -2*g - 3*g - 25 = -5*b, -g = 2*b - u for g.
-1
Let d = 18 - 6. Suppose 0*f - d = -4*f. Solve 1 = -x - 5*n, 0 = -f*x - 4*n + 8 for x.
4
Let j(v) = -v**2 + 9*v - 6. Let h = -19 + 27. Let o be (1 - 2)*h/(-1). Let r be j(o). Solve 3*b + b = -12, -5*b = -r*p + 17 for p.
1
Let j(h) be the third derivative of -h**6/120 - h**5/12 + h**4/6 - 4*h**3/3 + 8*h**2. Let k be j(-6). Solve 0 = -k*n + l + 3*l - 16, -5*l = 4*n + 7 for n.
-3
Let h be 40/(-16)*(0 + (-28)/5). Solve -6*q + 2*q = 20, -3*r + 4*q = -h for r.
-2
Suppose 0 = 2*x - 5*u + 65, 3*x - 8*x + 5*u = 200. Let y be (-6)/2*x/27. Let j be (-16)/(-6) - (-4)/(-6). Solve -j*q - 5 = y*n, -q - 8 = -0*n - 3*n for q.
-5
Suppose 0 = 6*l - 47 - 1. Solve 2 = -t - 5*b - 0, -b = 3*t - l for t.
3
Let v(h) = 15*h**2 - 2*h - 1. Let q be (-6 + 1)*2/2. Let w = q + 4. Let s be v(w). Solve 2*r + s = -0*r - 2*f, 15 = -5*f for r.
-5
Let o(u) = -2*u + 16. Let t be o(11). Let k be 0*1*3/t. Let w be (-2 - k) + 7/1. Solve 19 = -d + w*s, -3*s + 2 = -2*d - 2*s for d.
1
Let d(f) = f**2 - 4*f + 3. Suppose -4*h + 8 = -0*h. Let k be d(h). Let v(r) = -4*r + 1. Let g be v(k). Solve -g*j + 3*j + 6 = 0, 2*b = -4*j + 8 for b.
-2
Let p(d) = d + 11. Let r = 2 + 0. Let u = -5 - r. Let n be p(u). Solve -n*l = a + 11, 3*l = -3*a + 2 + 1 for a.
5
Suppose -h + 0 - 10 = 4*q, -4*h + 11 = -q. Solve 4*i - 3*r = -h*r - 5, -3*i = 3*r for i.
-1
Let u(g) = -g + 1. Let p be u(-1). Let q be (12 - 4) + 4*-1. Let d be (30 + 4)*p/q. Solve -4*v - 5*k = -d, -v - 2*k - k + 6 = 0 for v.
3
Let m be (2/7)/(2/14). Solve -2*y - 8 = 5*f, 2*y = m*f - 4*f - 8 for y.
-4
Suppose -3 = -o + 1. Solve -2*a + 26 = a - o*k, -k = 2*a + 1 for a.
2
Let z(g) = g**3 + 9*g**2 - 12*g. Let m be z(-10). Suppose 0 = -5*x - 0*x + m. Let o = -7 + 11. Solve -2*l - 24 = x*q, 4*q - 2*l + 4 = -o for q.
-4
Suppose -2*g + 12 = -3*j, -5*g + 1 = -2*g + 4*j. Solve 3*n + g*x - 4*x = 1, 0 = -2*x + 4 for n.
1
Suppose 11 = 8*q - 37. Solve -4*u = l - 2*u - 2, -5*u + q = 3*l for l.
2
Suppose 7*l = 34 - 13. Solve -9 + 0 = -l*x, -m - 5*x = -16 for m.
1
Let v be 6*(-2)/(-8)*2. Suppose m = v*x + x + 11, -3*m + 19 = -5*x. Solve 2*r + 5 = m*y, 0*r - y = r for r.
-1
Let z be 5 - (1 - 1 - -1). Solve 5*c = 0, 4*j - z*c + c + 4 = 0 for j.
-1
Let o = 3 + -4. Suppose 29 = j + 5*c, c = 4*j - 9*j + 25. Let a = j + o. Solve -2*s + 4*h + 11 = -9, a*h + 6 = -3*s for s.
2
Let y be (-4)/(-3 - (-3 + 2)). Solve -y*s - 10 = 5*k, -4*k = -5*s - 1 + 9 for s.
0
Let n(l) = 4*l - 15. Let s be n(7). Solve -3*b - 1 - s = -g, 2*b - g = -9 for b.
-5
Let p(c) = -2*c**2 - 21*c - 5. Let t be p(-10). Solve -5*h - 15 = t*n, -4*h + 1 = -5*n - 5 for n.
-2
Suppose s - 4 = -2*w, -s - 3*s - 2*w + 16 = 0. Suppose 13 = s*n + 1. Solve 11 = p + 2*i, 0*i - n*i = -15 for p.
1
Let r = 6 + -6. Let q(i) = 2*i - 3. Let w be q(2). Let p be w*-3 + 7 + -1. Solve 4*f + g = -r*f + 22, -17 = -p*f - g for f.
5
Let z(s) be the third derivative of s**5/60 - 7*s**4/24 - 7*s**3/6 + 4*s**2. Let f 