be k(-5). Solve -m + 2*m - r*t - 24 = 0, s*t + 8 = -2*m for m.
4
Suppose -49*t + 31*t = -11*t - 21. Solve -t*i - h = -4, 5*h = -2*i + 7*i + 20 for i.
0
Let x = 967 + -965. Let h = -5 + 10. Let s be 0/(((-6)/h)/(x/5)). Solve u = -s*u + 4*t + 24, -2*t - 26 = -4*u for u.
4
Let w(o) = 167*o + 1503. Let k be w(-9). Solve -5 = -3*g + 2*c, -g - 4 = -k*c + 5*c for g.
1
Let y = -800 + 407. Let s = y + 393. Solve 3*g - 5*x + 10 = 0, s = g - 2*x + 5*x - 20 for g.
5
Let s(b) = -b**3 - 25*b**2 + 11*b + 89. Let x be s(-26). Suppose -475*a - 64 = -x*a. Solve -2*r = 3*i - 8, 3*i - a = -0*i + 2*r for i.
4
Let f be (0/(-1) - -2)*340/8. Let v = f - 77. Let q = v + -5. Solve 5*z + 9 = 3*g + 3, 0 = q*z + g - 2 for z.
0
Let n be (-5)/35 - (-284)/28. Suppose 25 + 15 = n*m. Suppose 4*z + m*j = 24, -3*z + j + 4 = -2*z. Solve x + 5*w = -4*x + 5, -5*w = -4*x - z for x.
0
Suppose 5*o = -17*v + 120, 4*v - 19*o = -24*o + 55. Solve 9*j - v*j = 2*p - 2, 0 = -5*p - 4*j - 23 for p.
-3
Suppose 2*x + 12 = 4*w, 0 = 5*x + 13*x + 108. Solve -5*b - 8*i = -7*i - 2, 4*b + 2*i - 4 = w for b.
0
Let n be (-32)/(-48) - (-20)/6. Let k be ((-4)/(-24)*n)/((-2)/(-6)). Solve -3*o - 26 = 2*m + k*o, -2*o = 8 for m.
-3
Suppose 7 - 1 = 2*a. Let y be (5 + -32)/9 - (-6 - 0). Solve 0 = r + 2*h + 12, a*h - 5*h = y*r + 20 for r.
-4
Let t(w) = 136*w - 1493. Let n be t(11). Solve 5*u - 5*o + 25 = 0, 12 - 32 = n*u - 4*o for u.
0
Let k = 509 + -534. Let u be (-10)/(-1 - (-6)/10). Let m = u + k. Solve 2*h = 5*j + 8, j + 2*h - 12 + 4 = m for j.
0
Suppose 4*f = -5*o - 166, -3*f - 42 = o - 0*f. Let z = o - -49. Suppose 4*l = z - 7. Solve l*i = -4*y - y + 14, 5*i = 4*y - 26 for i.
-2
Suppose -47*w + 63*w = 53*w - 185. Solve -13*k + 8*k + 5*o - 5 = 0, 2*k = w*o - 11 for k.
2
Let f be 4 - -18*(34/(-6) + 6). Solve 3*o + f - 4 = -c, 4*c - 27 = 5*o for o.
-3
Let k = -10184 - -10190. Solve 4*f = -5*x + 6*x - 14, -x + k = -2*f for f.
-4
Suppose -18*z + 650 = 112*z. Solve -z*i - 3*c = -23, -18 + 16 = -2*c for i.
4
Let b = -297 + 456. Let k = b - 138. Solve 4*o + 3*j - 4 + k = 0, -2*o - 5*j - 19 = 0 for o.
-2
Let j(n) = n**2 - 4*n - 7. Let l be j(5). Let r(k) = -1 - 9*k - 5*k + 4 + 10*k + 1. Let f be r(l). Solve 0*y - 3*y - 4*v = f, y + v = -3 for y.
0
Let h(u) = 7*u - 14. Let b be h(4). Suppose 2 = -b*z + 12*z. Let l be (-19 + 8)/(z + 0). Solve -2*o = -3*i + l - 2, 5*o + 18 = 3*i for i.
1
Let u(r) = -33*r - 18. Let t be u(21). Let p = t + 714. Solve -z - 1 = 5*d, p = -3*z + 2*d + 3*d for z.
-1
Suppose 14*q - 10 = -s + 15*q, -s + 25 = -4*q. Let j(k) = k**3 - 3*k**2 - k + 3. Let y be j(3). Solve s*t + 6*i - 2*i = -2, y = -2*t + 4*i + 16 for t.
2
Suppose l = -4*n - 29, -4*n + 3*l - 54 + 13 = 0. Let t(q) = q**3 + 9*q**2 + 7*q - 3. Let c be t(n). Solve 5*y + 20 = -3*v - 2*v, 0 = c*v + y for v.
1
Let v = -228 - -232. Suppose 2*h - 32 = -3*s, -v*s + 40 = -s + 4*h. Solve 0*n + n + 12 = -2*y, 2*n = 4*y + s for y.
-4
Suppose -3*v + 28 = -17. Solve -5*m - 13 = 3*b + 12, -3*b - v = 3*m for b.
0
Let o be 334/2171 - 1/26*-386. Solve -3*n = -3*w - o, -2*w = -2*n - 3*w + 7 for n.
4
Let a = -6373 + 6406. Solve 1 = 3*x - j, -5*x - a*j = -34*j - 5 for x.
2
Let b = -2778 - -2780. Solve -5*x - 21 = -2*y, -b*y - 9 = x - 0*y for x.
-5
Suppose 0 = 74*k - 30*k - 26*k - 36. Solve 6*t + 10 = -2*n + 2*t, -3*n = k*t - 1 for n.
3
Let w(x) = -7*x + 17. Let n be w(9). Let u = -29 - n. Suppose -15 = 14*k - u*k. Solve 6*f - 3*f + i = 6, 0 = k*f - 5*i - 10 for f.
2
Let f(r) = r**3 - 19*r**2 + 5*r - 92. Let b be f(19). Solve 0 = -5*y - b*d - 5, -2*y - 2*d - 4 = 2*y for y.
-1
Suppose 105 = -5*k - 110. Let l(a) = 152*a + 1171. Let t be l(-8). Let n = k - t. Solve -2*m - 2*v - 11 = -1, 5 = n*m - 3*v for m.
-2
Let i = 1475 - 1473. Let g = 0 + -1. Let o be (12/(-18))/(g/6). Solve 3*y + o*c + 25 = i*c, 5*y + 20 = c for y.
-5
Suppose 2*a - 27 + 9 = -2*z, -2*z = -5*a + 10. Solve -z*h - 3*j - 10 = 0, -13 = -4*j + 7 for h.
-5
Let l be (29/6)/(39/234). Suppose l*b = 42*b. Solve b*o + 40 = 5*o + 5*h, 3*h - 9 = 2*o for o.
3
Let h = -10 + 14. Suppose -5*a + 56 = -5*u - 114, -u = 5*a + 52. Let s = u - -37. Solve -2*g + 2*i - 4 = s, -2*g = 3*g - 2*i + h for g.
0
Suppose 4*k + 5 = 37. Let z be -3 - (-1 - (k + -2)). Let q be (12/(-4))/(1/(-5)). Solve 5*c + 2*o = q, 4*o = -c - z*c + 15 for c.
3
Suppose 0 = -3*b + 9*b - 157 + 139. Solve 4*y - 12 = 10*l - 14*l, -b*l = 2*y - 9 for y.
0
Let t be 15/(-6)*(-6)/5. Let h be 11/((-55)/(-45)) + -5. Solve 5*k - 21 = 3*b, 0 = -5*k + h*k + t for b.
-2
Let p(c) = 16*c**2 + 2*c - 5. Let y be p(2). Suppose -6*m = m - y. Solve i = -2*u + 6, 3*u = -7*i + 2*i + m for u.
3
Let w(p) = -19*p - 72. Let f = 435 + -439. Let c be w(f). Solve -7*j = c*i - 2*j - 15, 8 = 2*i + 2*j for i.
5
Let o = -170 + -1. Let s = o + 213. Solve -5*n - 3*z = -14 + s, 2*n + 8 = 2*z for n.
-5
Suppose 24 = 2*d + 4*s, d + 47*s + 8 = 49*s. Solve -d*a = -3*i + 1, 3*a = -6*i + 8*i + 6 for a.
4
Let z(h) = -90*h + 452. Let j be z(5). Solve 5*d + 5*p = 10*d + 20, -j*p = -10 for d.
1
Let z(a) = -3*a + 64. Let o = -45 - -61. Let f be z(o). Solve -4*y - f = -4*q, -4 - 8 = 3*y + 5*q for y.
-4
Suppose -w + 13 = 5*c, 3*w + 4*c = 3*c + 11. Suppose -323*h = 146*h + 153*h - 2488. Solve -2*t + 11 = 1, -w*t = h*a - 15 for a.
0
Let f(j) = 6*j - 170. Let p = 244 + -215. Let h be f(p). Let s(c) = -c**2 - c + 6. Let i be s(0). Solve 2*d + 2*n = h, -1 = 4*d + n + i for d.
-3
Suppose b + 9 = -0*c + 5*c, 0 = -b - 3*c + 31. Suppose b*z - 70 = 10. Solve i + 10 = 4*i - q, 0 = 5*i + z*q - 30 for i.
4
Let y be 134/26 + (-66)/429. Solve -y*u - 2*v + 10 = -2*u, 0 = -5*v + 10 for u.
2
Let g = -1140 + 1147. Solve 2*q = 3*x - 7, 9 = -5*q - 8*x + g*x for q.
-2
Let k(a) = 586*a - 9374. Let l be k(16). Solve -2*d - 3*j = -6, 4*d - 7*d = l*j - 4 for d.
0
Suppose 168*f - 441 = 231. Solve -18 = 2*n + 2*b - 24, -f*n - 5*b + 12 = 0 for n.
3
Suppose 37*y - 26 = -5*k + 39*y, -5*k + 36 = 3*y. Solve k*d - 5 = -i, -i + 0*d - 4 = -3*d for i.
-1
Let z(n) = -68 + 72 - 8*n + 4*n. Let j be z(3). Let s = -6 - j. Solve 2*h = 2*d - s, -4*d + 22 = 2*h - 0*h for h.
3
Suppose -8*o = 627 - 1851. Let c = -144 + o. Let w be (-2)/7 + (-74)/(-14). Solve 0 = 5*l + x - 21, -8 = -w*l + 3*x + c for l.
4
Suppose 5*a = -4*h + 15, 3*a - 2*h - 9 = 3*h. Suppose -a*n = 3*n - 12. Solve 3*r = -2*i - 12, -3*i + r = -n*i + 1 for i.
-3
Let w(g) = -8*g**2 - 7*g - 91. Let r(f) = -3*f**2 - 2*f - 32. Let k(v) = -11*r(v) + 4*w(v). Let t be k(8). Solve u = -t, 3*o - u - 28 = -9 for o.
5
Let b = -77 - -109. Let u = -31 + b. Suppose t + 3*q - u + 4 = 0, -4*t - 3*q - 3 = 0. Solve -1 = n - t*n, -5*n = y + 7 for y.
-2
Suppose 0 = 6*m + 7*m - m - 72. Solve 24 = -p + 2*j - m*j, 4*p + 11 = j for p.
-4
Let s be (-1)/(-4) + 175/20. Let m = 917 - 909. Let r(t) = 3*t**2 - 2*t - 1. Let n be r(-1). Solve -2*z = 3*j - 31 + m, 0 = n*z - 5*j + s for z.
4
Let n = -12917 + 12921. Solve 3*s = -3*m - 21, 2*s + n*m + 103 - 83 = 0 for s.
-4
Let j(b) = 13*b - 22. Let z be j(3). Let r be (-1)/1*0 - (z + -15). Let c be -1 - -6 - ((r - -5) + -2). Solve -12 = -5*k + 4*d, 4*k - 3*d + c*d = -3 for k.
0
Let q = 1 - -87. Suppose 25*r = 3*r + q. Solve -r*b + 0*b + i - 10 = 0, -4*b = 4*i for b.
-2
Let w(g) = -85*g - 240. Let b be w(-3). Solve -3*n = -b, 4*h + 4*n = h + 8 for h.
-4
Let r = -10928 - -10940. Solve 0 = 5*l - 3*p - 20, -l - 8 + r = 5*p for l.
4
Suppose -4*o = l - 8, 6 + 0 = 3*o + 4*l. Solve o = -p - 4*h, -h + 11 - 5 = -3*p for p.
-2
Let g = -337 + 367. Suppose a + 2*j - 3 = 0, -g*j = -3*a - 25*j + 9. Solve 0 = 3*t + 2*q - 4, -a*t + 5 = q for t.
2
Suppose -5*v + 2*v = 3*p - 6, -4*v = p + 4. Suppose -o = r + 3*r - 7, -p*r + 4*o + 32 = 0. Solve 4*c - 4 = 0, -r*a - 5*c = -6*a - 5 for a.
0
Let n(c) = -19*c - 54. Let d be n(-3). Suppose a = -4*a + 20. Suppose g - 1 = -d*r - 2, -a*g - 4 = -5*r. Solve -2*m - k + 7 = 0, 6*m - 3*m - 2*k = r for m.
2
Suppose 55*v + 20 = 57*v + 4*f, -3*v + 3*f - 15 = 0. Solve -s - 10 = -3*w + 3, 5*w - 4*s - 31 = v for w.
3
Let p(q) = 2*q + 7. Let r(n) = 3*n + 7. Let j(v) = 4*p(v) - 3*r(v). Let m be j(3). Let c be 4 + (4 - (m + 0)). Solve c*b = -5*l, 3*l + 4*b - 17 = 5*b for l.
4
Suppose 5*m + 10 = 0, -3*m = -4*s - 8*m - 2. Suppose -s = -5*y + g, 0 = -4*y - 5*g - 0 - 10. Solve 6 = 2*c - y*c - 3*w, 3*c = -5*w - 10 for c.
0
Let j(z) be the third deri