olve 25 = -f + n*f - 3*m, 2*f - 10 = -3*m for f.
5
Let d be (12/15)/(2/(-10)). Let r be 4/d*2/(-1). Let g be r/(-11) - (-138)/33. Solve 0*b = 3*b + g*o + 14, 3*b - 5*o - 31 = 0 for b.
2
Let j(n) = 6*n**2 - 5*n + 3. Let z be j(1). Solve -a = -2*l + z*a - 10, 2*a = -5*l - 25 for l.
-5
Let f = -59 + 64. Solve f*s + 13 = -3*t, -2*s - 7 + 1 = 2*t for t.
-1
Suppose 2*d = 1 + 3. Let o = d + 0. Suppose o*t - 2*y = 16, -y = 2*t + 3*t - 10. Solve t*s = w - 0*w - 2, 5*w + 30 = -5*s for s.
-2
Suppose 6 = 2*m - 0*m. Let k(z) = 5*z - 6. Let s be k(6). Solve 3*t - 2*w - 27 = -8, -m*t = -3*w - s for t.
3
Let t(g) = -g**2 - 11*g + 16. Let d be t(-12). Solve 0 = 5*q + 3*r + 13, -q - d*r = -6*q - 6 for q.
-2
Let l = 133 + -115. Solve 0 = -h + 4*b - 10, h = -2*h - 4*b + l for h.
2
Suppose 13*q = 9*q + 32. Solve 6*a = 3*y + 2*a + 27, 4*y + q = -4*a for y.
-5
Let t be 22/6 - 6/(-18). Solve -2*x + 3*w + 2*w = -t, -2*x = -3*w - 4 for x.
2
Let w be 0 - -3*5*1. Let y be ((-12)/w)/(8/(-20)). Solve x - 2 = -y*r + r, -4*r + 10 = 3*x for r.
4
Suppose -3*v + 252 = -6*v. Let k be -2 - v/(8 - 4). Solve 2*r = 3*s - 2, -4*s + 3*r = -5*s + k for s.
4
Suppose 2*z - 2*j = -3*j + 4, -2*j + 11 = 5*z. Solve 5*h - 35 = z*u, 4*u + 28 = -0*h + 2*h for h.
4
Suppose -4*r + 4 = 3*b, -2*r + 3*b + 0 = -20. Solve g = 2*z - 0*g - 4, -r*z = g - 14 for z.
3
Let x = -10 - -13. Solve -5*i + 28 - x = 5*h, -5*h + 3*i + 9 = 0 for h.
3
Suppose -3*l - 5*x + 10 = 0, -4*x + 3 = 5*l - 5. Solve 0 = -3*b + 5*y + 21, l*b = -4*b - 2*y + 2 for b.
2
Let p be (-27)/(-6) + 6/(-4). Solve x + y - 2*y - 5 = 0, 0 = 3*x + 3*y - p for x.
3
Suppose 0 = 5*b - 2*a + 24, 2*b + 0*b = -2*a - 18. Let h(q) = 9 + 5*q + 7*q**2 + q**3 + 0*q + q. Let o be h(b). Solve 2*t + 5*k = -29, -o = 5*t + k + 6 for t.
-2
Let b = 19 - 14. Solve -17 - 3 = 2*g - 4*s, -b*g = -s + 23 for g.
-4
Let n = -4 - -10. Suppose t - 3*t + n = 0. Solve -x = -h + x + 7, -22 = -5*h - t*x for h.
5
Suppose -c + 3*c - 10 = 0. Suppose -31 + 11 = 5*l, -l - 29 = -c*i. Solve -i*u = -4*q - 2, 2*u + u - 2*q - 2 = 0 for u.
2
Let w(j) be the first derivative of -j**2/2 - 12*j + 2. Let r be w(-6). Let y(c) = -c - 3. Let z be y(r). Solve 2*q + 2*k = 1 - 13, -z*k = q + 12 for q.
-3
Let k(u) = -u**2 + 12*u + 18. Let z be k(13). Solve -5*x - 4*h - z = -0*x, -2*h = 3*x + 1 for x.
3
Let k(p) = p**3 + 6*p**2 + 2*p - p - 4*p**2. Let x(b) = b + 8. Let y be x(-9). Let o be k(y). Solve -5*m + 3*g + 27 = 0, o = -4*m - g - 3 + 11 for m.
3
Suppose k = 2*k - 4. Suppose -k*b + b = -24. Let w(h) = -2*h + 8. Let n be w(4). Solve -b - 5 = -l - 4*o, n = 4*o - 12 for l.
1
Suppose -3*c + 25 = -8*c. Let q(k) = k**2 + 5*k + 2*k - 2*k. Let f be q(c). Solve n + 2*n - 5*z + 1 = f, -17 = -3*n - 4*z for n.
3
Suppose -12 = -f - 0. Solve 2*j + f = -2*s, 4*j + 10 = -j - s for j.
-1
Suppose 0*m - 3*m - 9 = 0. Let u be 4 + (-2)/6*m. Solve 2*c = -5*t - 7, 0*c = 5*c + u for t.
-1
Let h be ((-32)/20)/((-4)/10). Suppose -h*i - 4 = -2*i. Let b be 3/2 + i/(-4). Solve 0 = -2*j - 8, 0 = -4*p + b*p + 2*j + 10 for p.
1
Let l(d) = -22*d**3 + 2*d - 1. Let w be l(1). Let t = -11 - w. Solve 5*s - 4*i = -i - 2, s - 3*i + t = 0 for s.
2
Let c be (-9)/12 + 30/8. Solve -8 = -c*u - 2*b, 0 = -4*u + 3*b + 2*b + 3 for u.
2
Let k(i) = -i**2 - 5*i + 2. Let n be k(-6). Let y = n + 7. Suppose -y*s - 2*s + 20 = 0. Solve 5*l - 4*x = 6, x = -s*l + 4*x + 4 for l.
-2
Let x be (-3)/(-1) + 10/(-1). Let r = 10 + x. Solve 4*h + 15 = 5*k + r*h, 4*k + 7 = -3*h for k.
2
Let y be 31/93*((0 - -5) + 1). Suppose -10 = -7*z + 2*z. Solve 13 = -5*b - 3*o, z*b + 16 = 2*o - y for b.
-5
Let n(j) be the first derivative of j**3/3 - 4*j**2 - 5*j + 3. Let l be n(9). Solve 2*v = -3*w + 3*v + 16, -l*v - 29 = -5*w for w.
5
Let q(w) = w**2 + 4*w + 5. Let y be q(-4). Suppose -5*z + 141 = -4. Solve p + 11 = 3*a + 2*p, -2*a + z = y*p for a.
2
Let a be (2 + -2 - -2) + -2. Suppose g + g = 6. Solve b + d - 2 = -d, -3*b + 3*d - g = a for b.
0
Suppose 1 = -2*h - x, 2*x + 17 = h - x. Solve -16 = -3*m + 4*j + 4, -24 = -5*m + h*j for m.
4
Suppose -24 = 2*n + n. Let u = 9 + n. Let g be u + 5 + -2 + -1. Solve 3 = 5*y - 3*l + 1, 0 = -4*y - g*l + 7 for y.
1
Let i = -40 - -45. Solve -2*y + 4 = -i*x - 0, 0 = -3*x + y - 3 for x.
-2
Let f(r) = 6*r**2 - 2*r - 3. Let h be f(-1). Solve 2*k = 3*k - h*n + 20, 2*k + 4 = -2*n for k.
-5
Suppose 2*y - 3*y + 3 = 0. Suppose 5*z + 2*f - 60 = 5, -y*z - 5*f + 20 = 0. Solve -3*i + 9 = 3*x, z = 5*i - 4*x + 6*x for i.
3
Suppose 2*d - 25 = -5*t - 3*d, 0 = t + 5*d + 7. Let w(i) = 2*i**2 + 3*i - 6. Let p be w(-5). Solve 0 = 4*j + 4, 5*x - t = 4*j - p for x.
-5
Let w be 3*(1 + -2 + 11). Suppose -5*a + 72 = -a. Suppose u = 3*x - a, 5*x = 2*x - 2*u + 27. Solve 2*o - w = 5*g - 0*g, -o = 3*g + x for g.
-4
Let v(b) = -b**3 - 6*b**2 + 5. Let f be v(-6). Solve -5*c - r = 20, -7*c - 12 = -4*c - f*r for c.
-4
Let w = 65 + -58. Solve -2*u = -w*u - 15, -u = -3*b for b.
-1
Suppose 5*g + 3*u - 8*u = 10, -3*g + u + 2 = 0. Suppose g = -t - z + 1, 4*z - 1 = -3*t + 2. Suppose a - 3 = t. Solve -a*d = 3*i + 1, 10 = -d - 5*i - 3 for d.
2
Let v be 17/3 - 4/6. Let n = 5 - 1. Suppose -3*o + 0 = -v*k - 42, 12 = -n*k. Solve -i + o = 2*j, -i - 4*j = j - 21 for i.
1
Suppose -2*p + 4*p = 20. Let n be (-9 + p)/((-1)/(-5)). Solve -3*c + 4*o - 26 = 0, 4*c - o + n = -8 for c.
-2
Suppose -l = 3*c - 3, 3*c = -2*l + 26 - 11. Let v be (-18)/4*(-40)/l. Solve -4*z = -5*f + v, 5*f = -0*z - 4*z + 15 for f.
3
Let i(a) = -a**2 + 9*a - 12. Let b be i(7). Solve -o = 4, -b*u + 5*o + 8 = -4 for u.
-4
Let f(u) = -3*u + 2. Let r(w) = -2*w + 2. Let l(n) = 3*f(n) - 4*r(n). Let t be l(-5). Solve 2*q + 8 = 0, -2 = -5*j + t*q - 0*q for j.
-2
Let y(c) = c**3 - 8*c**2 + 6*c + 12. Let v be y(7). Suppose -23 = -4*o - 3*l, 4*o - 6*o + 2*l = 6. Solve -4 = -v*z - 2*n + 5, n - 4 = -o*z for z.
1
Let t(i) = -i - 6. Let u be t(-8). Solve 3*a - 4*n + 2 = 0, -3*a + u = a - 3*n for a.
2
Suppose 0 = 4*p + 22 - 42. Solve -4 = 4*f - p*f, 20 = -2*c + 5*f for c.
0
Suppose 4*i - 7 = 1. Let n be i/(-6)*1*-15. Solve -2*t + 6 = -p, p - n*p + 2*t = 0 for p.
2
Suppose -i + 10 = i. Solve -i*a = -3*k + 9, -16 = -k + 6*k + 2*a for k.
-2
Suppose -n - 2*n = -4*m - 4, -4*n - 32 = 4*m. Let d be ((-10)/m + 0)*2. Solve 2*j + 3*i = -3 + 5, d*j = -3*i - 13 for j.
-5
Let f(q) = q**2 - 2*q + 3. Let n be f(3). Solve 3*v + u + 8 = n*u, 4*v = -4*u + 32 for v.
4
Let h(r) = -4*r + 2. Let n be h(0). Solve -d + 5*o = -3*d + 15, -4*d = -n*o - 18 for d.
5
Let m(r) = -r**2 - 7*r + 6. Let v be m(-7). Solve -4 = 2*u - v, 10 = -4*h - 2*u for h.
-3
Let y(b) = b**3 - 2*b**2 - b - 2. Let i be y(2). Let d = 32 + i. Solve 4*h - d + 11 = 3*k, 2*h = k + 9 for h.
5
Let g(u) = -u. Let f be g(-4). Solve 3*m - f*r + 14 = 0, -2*m + 3 = 2*m - r for m.
2
Suppose 3*g + 18 = 2*m, 5*g = 4*m - 8 - 24. Solve -m*p - 20 = p - 2*y, -3*p = -y + 15 for p.
-5
Let m be 9*1 - (-3 + 6). Solve -3*s + 7 = a, 3*s = a - m*a + 23 for s.
1
Let i = 97 + -95. Solve 6*p + 10 = -2*j + p, -i*p - 4 = 3*j for j.
0
Let y be (-1)/(-5) - (-28)/10 - -1. Solve 2*q + 0*q + 6 = y*j, 2*q = 5*j - 5 for q.
-5
Let x(c) = c**2 + 12*c + 5. Let t be x(-12). Solve -y = m, -y - 2*y = 2*m - t for y.
5
Suppose 5*b - 49 = -34. Solve -4*c - 12 = -4, -16 = -2*w + b*c for w.
5
Let p = 23 + -20. Solve 2*i + 0*h = 5*h + 1, -i = -p*h for i.
3
Let z = 15 - 20. Let r(f) = -f**3 - 6*f**2 - 8*f - 10. Let p be r(z). Solve 4*y + y - p*c - 10 = 0, 2*y = -c - 8 for y.
-2
Suppose -x = -4*x - 48. Let g = x - -11. Let b = g + 15. Solve 2*t + 2*v + b = -2*v, 0 = -3*t - 2*v - 11 for t.
-3
Let b(s) = 3*s + 4. Let y be b(2). Let n be (0 + -1)/((-2)/y). Let x = 1 + -1. Solve -3*f + 2*r + 8 - 1 = x, -f - 26 = n*r for f.
-1
Suppose 19*i = 16*i + 6. Solve -1 = 3*s + 2*o, i*o + 3 - 1 = -2*s for s.
1
Let b(p) = p**2 + 3*p - 5. Let w be b(-4). Let r = w + 7. Solve 2*k + c + r = 0, 13 = 4*k - 5*c - 3 for k.
-1
Let z = -20 - -29. Let j be 5 - z/12*4. Solve -2*b = 3*t - 18, j*b + 5*t - 27 = -1 for b.
3
Suppose 0*x = -2*z - x - 20, -12 = 2*z - x. Let b = z - -10. Suppose -2*d + d = -b*g, 4*d = 0. Solve g*v + 2 = -v - 5*a, 2*v = 4*a - 4 for v.
-2
Let c = 10 + -7. Solve -c*j - i + 23 = 2*j, -4*j + 5*i + 30 = 0 for j.
5
Let o be (1*14)/((-1)/(-2)). Suppose -3*x = 0, -5*n - 2*x = 2*x + 15. Let f be (-3 - n)*1*-1. Solve 0 = 3*d - 2*d - 4, 