25. Let h be r(-13). Solve -l - h = 4*f + l, 3*l = -2*f - 13 for f.
-2
Let s = 1 + 1. Let g be s/6*3 - -2. Let d = -86 + 86. Solve -4*w - 2*j + 4*j - 16 = d, 12 = -g*w - 4*j for w.
-4
Let j(u) = -u + 2. Let q be j(-6). Solve -3*r - 4*d = -2*d - q, d = r + 4 for r.
0
Let n be 5/(-1) - (-1 + 6 + -221). Let b = n - 186. Let p = 1 + 4. Solve u + 18 = -u + 5*c, -p*u = 5*c - b for u.
1
Let x = 17 + -14. Let f be -2 + 2/((-4)/(-10)). Let a(r) = r**3 + 10*r**2 - 11*r + 3. Let o be a(-11). Solve -o*w = -8*w + f*g - 9, -6 = x*g for w.
-3
Let b(n) = -2*n**3 - 4*n**2 - n + 3. Let i be b(-2). Solve -4*m + 1 = -7, 5*r = i*m - 25 for r.
-3
Let d = 14 - 5. Let t = -9 - -18. Let g = d - t. Solve -3*h + 1 = r, g*h + 4*h = 4*r - 20 for h.
-1
Suppose 0 = 5*v - 5*o - 35, 12 - 7 = v - 3*o. Solve 2*l - 13 + 25 = -4*b, -3*l = b + v for b.
-2
Let u = 4 - 0. Let r(p) = 3*p. Let x be r(u). Solve -4*m = -5*l - x, -6 = 4*l - 3*l + m for l.
-4
Let d(i) = 2*i**2 - 3. Suppose 0*o = -3*o + 6. Let m be d(o). Solve m*k + 1 - 21 = 2*a, -5*k + 20 = 2*a for a.
0
Suppose 0 = -3*g - 6, -7*g + 4*g = -4*z + 74. Solve 0 = -5*f - 15, 3*p + z = -3*f - 7 for p.
-5
Let i(z) = -z**2 + 18*z + 66. Let s be i(-3). Solve 0 = 4*a + 2*v + 2, 2*a = s*a + 3*v + 3 for a.
0
Let d = 1893 - 1890. Solve 5*o + d*x = 12, o = -6*x + 3*x for o.
3
Suppose -f + 5*f = 4*t + 12, 7 = -f - 4*t. Let h(q) be the first derivative of -5*q**2/2 - 3*q - 2. Let i be h(-2). Solve i - f = 2*g, 4*g - 18 = -2*u for u.
3
Let q be 1/4 - (-228)/48. Solve 4*y + 13 = -q*s, -2*y = 2*s - 3 + 9 for s.
-1
Let j(a) = a**3 + 9*a**2 + 5*a + 1. Let u be j(-8). Suppose z - u = -5. Suppose 4*f + 4 - z = 0. Solve n = -5*l - f + 3, 0 = -4*l + 3*n + 3 for l.
0
Let c(m) = -m**3 - 7*m**2 - 7*m - 1. Let f be (-3 + 15)*4/(-8). Let l be c(f). Solve 0 = 2*w - 4*w - l*p + 28, 20 = 3*w + 2*p for w.
4
Let g be 2/8 + 15/4. Suppose 3*u = -g*q + 17, -6*u = q - u - 17. Suppose 3*h = -h + 5*z + 25, -5*h + z = -5. Solve 5*t - 4 = -q*l, 5*l = -5*t - h - 5 for l.
-3
Let p = -4 + 16. Suppose x + 45 = -4*x. Let t = p + x. Solve 0 = -4*m - 3*b, 4*b + 0*b = -t*m for m.
0
Suppose 0*o - 2*o = 5*t - 2, 4*t - 20 = 3*o. Let s be t/(-7) + (-481)/(-91). Let c be 6/(-24) - (-5)/4. Solve 2*i + 4*h = 0, -s*h - 4 = i - c for i.
2
Let c(x) = x**2 + 9*x + 4. Let n(z) = -z**2 - 20*z - 9. Let o = -14 - 6. Let f be n(o). Let w be c(f). Solve 0 = w*l - 2*d - 8, 3*d + 3 = 5*l + 4*d for l.
1
Suppose -4*f = -6*f + l, 0 = -3*f - 4*l. Suppose j - 2 - 3 = f. Solve 0*u + 3*u + 5*x - 10 = 0, -j*u - 50 = -5*x for u.
-5
Let r(i) = i**2 - 16*i + 3. Let z be r(16). Solve -4*m + 2 = -0*m - 2*u, -u - 3 = -z*m for m.
2
Let r = -9 - -15. Suppose -2*s + r*s = 12. Suppose 0 = -3*d + s*j - 6, 2 = -2*d - 2*d + j. Solve d = h - 0*z - z - 3, -2*z = 2*h + 6 for h.
0
Let w(x) = -10*x - 64. Let v be w(-9). Solve 2*l = -3*r - 0*l + 4, -v = 3*r - 4*l for r.
-2
Let r(k) = -2*k**2 + 8*k + 5. Let l = 18 + -14. Let g be r(l). Solve -2*u = -g*m - 0*u + 21, u = -4*m + 22 for m.
5
Let q = 45 - 35. Suppose i + 0 = q. Solve -3*r + 9 = 3*m, 3*r - i = -2*r for m.
1
Let w = -62 - -70. Let c be (w/(-5))/(4/(-10)). Solve 3*g = c*k + 6, 3*g - k = -6*k + 6 for g.
2
Let t = 514 + -510. Let v(f) = f - 3. Let n be v(7). Solve t*a = 2*q - 22, -3*a + 29 = n*q - 6*a for q.
5
Suppose 0 = 25*w - 23*w - 6. Suppose -w*f = 3 - 15. Solve -1 = -0*b - f*b - 5*y, 3*b + 3 = -5*y for b.
4
Let f = -51 + 56. Solve -1 = j - 2*p + p, f*p + 22 = -4*j for j.
-3
Suppose w + 0*w + 20 = 5*k, 12 = 3*k + 3*w. Suppose 3*c + 2 = k*c. Solve -2*m + 23 = -5*j, 2*m - 18 = 4*j + c for m.
4
Let s = -95 - -66. Let o = -29 - s. Suppose 4*n = -o*n + 52. Solve -17 = 5*t - 3*l + n, l + 10 = -5*t for t.
-3
Suppose 3*v - 10 = -5*d, -5*v + d - 10 = -4*d. Suppose -61 = -4*s + 3. Let u be (-1)/(28/(-8) + 3). Solve -s = 2*m + 4*k, v = -m - 0*k + u*k for m.
-4
Let z(i) = i**3 - 22*i**2 - 24*i + 28. Let y be z(23). Solve 0 = 5*s + 2*l + 1 + 3, y*l - 19 = 2*s for s.
-2
Suppose 0 = -4*c + 6*i - 2*i + 32, -i = 4*c - 12. Solve 10 = -2*r - 2*q, c*r = -0*r - 5*q - 20 for r.
-5
Let l = -141 + 143. Solve 4*j - 28 = 4*b, -3*b - 3 = j + l*j for j.
3
Let p(l) = -l**2 + 7*l + 3. Let n = 13 + -6. Let m be p(n). Let c be 0 + 9/m - 3. Solve 4*f + 3*j - 10 = -1, f - 4*j - 7 = c for f.
3
Let h = 933 - 933. Solve h = -3*d - 4*b + 3, -b = d + 2*b - 6 for d.
-3
Let b(z) = -z**3 + 26*z**2 - 22*z - 69. Let x be b(25). Suppose -2*r = -10 + 6. Solve m = r*y + 8, x*y - y = -10 for m.
4
Let d(c) = 10*c - 297. Let p be d(30). Solve -t = -b - 4*t - 6, 0 = p*b - 3*t + 6 for b.
-3
Suppose -167*m = -166*m - 2. Solve -t + 3 = 3*o, -m*t - 5*o = -4 - 0 for t.
-3
Let l be (-4)/30 + 6/(360/68). Let a be 4 - 3/3 - (1 + l). Solve 9 = 3*k + 3*q, -a = -3*k - q - 0*q for k.
-1
Let p = 21 + 0. Suppose 2 = -2*q, -4*g + 3*q = -q - 104. Suppose 6 + 174 = 60*y. Solve 0 = -5*m + 2*i - g, -m - y*i = -3*m - p for m.
-3
Let z(a) = -a + 1. Let y be z(-3). Suppose 5*b - y*b = 5. Suppose 5*i = -b*g + 20, i = 4*g - 2*i + 12. Solve 4*r = 5*p + 17, g = 3*r - 3*p - p - 14 for r.
-2
Suppose -2*j + 14 = -14. Let c = j + -10. Solve -c*k - 4 = -4*m - 40, -4*m = k + 11 for m.
-4
Let v(b) = b**2 - 6*b + 7. Let u be v(5). Let d(x) = 4*x - 6. Let t be d(u). Solve -6 = a + z, -a + 8 = -3*a + t*z for a.
-5
Let c = 561 + -558. Suppose 2*i + 0*i = 2. Let m = 5 - i. Solve -10 = -3*x - v, 4*x + m*v = 5 + c for x.
4
Suppose -4*g + 319 = 311. Solve 0 = g*u, 4*p + 5*u - 7 = -3 for p.
1
Let q(l) be the first derivative of -l**3/3 - 5*l**2 + 2*l - 15. Let i be q(-10). Solve 0 + 5 = 5*v, -4*v + 4 = i*h for h.
0
Let g(s) = -s**2 + s + 114. Let k be g(-10). Solve -o - 4 = 4*f, k*f - 5 = o - 1 for o.
-4
Let b(i) = 2*i**2 + 14*i - 13. Let h be b(-11). Suppose 7*l - h = 2*l. Solve l = 4*q - 3*o, -o = -4 + 9 for q.
0
Suppose 4*j - j = 4*i - 818, -i + 1069 = -4*j. Let h be (-2)/3 + j/(-21). Solve 10 = -2*c + r, 0 = -5*c + r - h - 7 for c.
-3
Let b = -15 + 23. Let v(s) = -s**3 + 7*s**2 + 8*s + 3. Let j be v(b). Suppose -5*q + j*h = -16, h + 2 + 10 = 3*q. Solve -5*t - r + q = 2*r, -2*r = t - 1 for t.
1
Let w be (-155)/(-9) + (-9)/(243/6). Solve 2*l + 2*l - w = -c, -2*l - 9 = -3*c for l.
3
Let j = -3 + 13. Let k = -11 - -14. Let o be k/2 - 1 - 564/(-24). Solve -4*m + o = 3*g, -5*g + g + 2*m + j = 0 for g.
4
Let k(m) = -m**2 + 3*m. Let s be k(0). Suppose 0 = 4*z - p - 13, s*z = 2*z - 2*p - 8. Solve -z*t = -4*o + 20, 3*o + 5 = -4*t - 5 for t.
-4
Let t be (5 + 66/(-18))/((-4)/(-90)). Suppose 0 = 2*i - 3*d + 1 + 1, 5*d = -2*i + t. Solve 3*l = -s + i, 0 = 2*s - s - 2*l - 5 for s.
5
Suppose -12*r + 71 = -61. Solve a + 2*q = -7, -2*a + 7 = 2*q + r for a.
3
Suppose l = -3*h - 0*l + 12, -4*l - 37 = -5*h. Suppose 18*y = 8*y + 20. Solve y*m - h*m = -n + 7, 2*m + n = -13 for m.
-4
Let f = -1190 + 1192. Solve 4*q + f*b + 0*b - 6 = 0, 4*b + 16 = -q for q.
4
Suppose -m + 3*b + 11 = -4, -2*b = 4*m - 4. Solve m*r - 3*d = -8*d + 6, -2*d - 10 = -5*r for r.
2
Let u = 1 - -1. Suppose 0*x + 5*x + 2*b = 766, -4*x - 2*b + 612 = 0. Let g be (x/(-4))/(-7)*2. Solve 3*z = -3*w - 41 + g, u*z = -10 for w.
-5
Suppose -23*w - 12*w = -70. Solve n + 5*g = 7, -7 = 3*n + w*g - g for n.
-3
Let r(h) = -h**3 - 23*h**2 - 21*h + 27. Let b be r(-22). Suppose -5*o + 6*t - 3*t + 19 = 0, 0 = -t + 2. Solve -b*n + 4*m + 0 = 1, -26 = -2*n - o*m for n.
3
Let q = 1 + -1. Suppose 2*k + 12 = 5*h, -h + k + 3 = -q*h. Let a(f) = 9*f**2 - 196*f - 25. Let t be a(22). Solve y + 5 = -3*y + 5*m, -t = h*y + 3*m for y.
-5
Let m(r) = -6*r - 10. Let x be m(-3). Solve -4*q = 2*k - x, -5*q - 8 = 4*k - 15 for k.
-2
Suppose 4*x - 3*w = 35, -3*x = -0*w + 5*w + 10. Suppose -3*v = 3*v - 18. Solve -x*l + 0*f - 5*f = -15, l = -4*f - v for l.
5
Let g(i) = -4*i - 7. Let c be 14/(-5) + (-3)/15. Let z be g(c). Suppose -10 = -5*l, -5*l = z*k - 34 + 9. Solve a = -k*x - 3, -3*a + 2*x = -0 - 2 for a.
0
Let f(w) = 42*w + 173. Let x be f(-4). Solve 2*o - 2*q - x = 5*o, 0 = -2*o - 2*q for o.
-5
Let r be 13/(-52) + -7*6/(-8). Suppose -2*w = 4*h - 8, r*h = 2*w - 0*w + 19. Solve -4*n = -o + 1, -4*n + h*o - 5*o = -2 for n.
0
Suppose 6*y = 8 + 10. Solve -3*k + 3*u - 3 = 0, u + y*u = -5*k + 31 for k.
3
Let z be (-2)/(-2) - (46 + 3). Let o be z*((-12)/8)/3. Solve -2*c + 4*n = 12, 2*c + 4*n - o = -n for c.
2
Suppose 0 = -12*v + 8*v + 16. S