(-24). Solve b = -2*s + 3*s + 4*f + 5, 13 = 3*s - 2*f for s.
3
Suppose -2*y - 3*y + 225 = 4*x, -5*y - 15 = 0. Suppose -6*m = -4*m - x. Solve -5*n + 2*z = -3*z + m, 4*n = -4*z - 16 for n.
-5
Suppose 0 = -h + 5*t - 10, 2*t = -0*h + h - 5. Suppose -7*y + 2*y = -h. Let i be 2/5 + 54/15. Solve -4 = -2*u + i*l + 14, 13 = 2*u - y*l for u.
-1
Let b(p) = -p**2 + 6*p + 3. Let w be b(6). Solve v + 7*k - 15 = w*k, 3*v = 5*k - 6 for v.
3
Let r(n) = n + 6. Let k be r(-6). Let g(u) = -u - 7. Let z be g(-9). Let c be (-4 - -4)/(4 + -2). Solve 2*w + c*w + z*l = k, -l - 30 = -5*w for w.
5
Let j = 12 - 12. Suppose 2*r + 8 = -0*m + 3*m, m + 3*r + 1 = 0. Let t be ((-20)/6)/(m/(-3)). Solve p - 5*q + 6 = -j*q, -t*p - 3*q = 2 for p.
-1
Suppose -24 = -4*p - 0*p. Let d = -20 - -28. Let v = d - p. Solve 0 = -3*y - 3*n - 24, -1 + 14 = -y - v*n for y.
-3
Let r(l) = -l + 16. Let y be r(5). Let b(a) = a**2 - 11*a + 4. Let h be b(y). Solve -12 = h*d - 5*o, -3*d + 0*d - 9 = -o for d.
-3
Suppose 0 = 4*u - 38 - 46. Let y be (-156)/u - (-9)/21. Let i = -2 - y. Solve 5*l + 11 = -g + 2*g, i*g - 11 = 3*l for l.
-2
Let b be (-51)/(-15) - (-10)/(-25). Let i be ((-30)/35)/(6/(-28)). Solve 0*o + 2*o = i, -p = b*o - 7 for p.
1
Let t(n) = -4*n - 5. Let g be t(-2). Solve -3*b + g = 0, b = -2*v - 3*v + 26 for v.
5
Let y be 2*7*(-10)/(-20). Suppose 3*r = 3*v + 27, -5*v = y + 13. Solve -5*o = 5*t - 10, -2*o - 2 + 0 = r*t for t.
-2
Suppose 4*t - 2*u - 18 = 0, -2*u - 11 = -4*t + t. Suppose 0 = g + t - 23. Solve 0 = 5*d + 3*w - g, 4*d + 2 = -2*w + 7*w for d.
2
Let d = -10 + 13. Let u(n) = -n**2 + 6*n - 6. Let x be u(d). Solve -3*i - w - 2*w + 6 = 0, 14 = x*i - w for i.
4
Suppose 5*l = 3*l + 16. Let o be 4/2 - (3 + -3). Solve -3*m = 4*r - 1, 5*m - r - o*r + l = 0 for m.
-1
Let l = -4 + 4. Suppose 2*y + 3*j + 7 = 24, -3*j + 9 = l. Suppose i + 3*i = 2*b, -y*b = -4*i - 4. Solve -3*s + b*k = -k + 9, k = -4*s - 17 for s.
-4
Suppose 18 + 2 = 2*o. Suppose -i + h = 1, 6 = 4*i - 5*h + 13. Solve -2*f = 5*d + i*f + o, -d = -f - 7 for d.
2
Let u(r) = r**3 - 3*r**2 - 2*r + 4. Let p be u(4). Suppose -4*g + 0*g + p = 0. Solve -2*a + g = x, 0 = 2*a + 2*x + 2*x + 12 for a.
4
Suppose -2*s = -4*h - 2, -5*s = -3*s - 5*h. Solve 4 = o - 4*v - s, -2*o = v - 9 for o.
5
Let y = -6 - -9. Solve n - 3 = -3*c, 0*n + n = 3*c + y for n.
3
Let n = -123 + 123. Solve n = -b + 4*b - 3, -5*m = -2*b - 18 for m.
4
Let o = 15 - 10. Solve f - 17 = -0*f - 3*b, 0 = 5*f - 5*b - o for f.
5
Let c = -1 - -8. Suppose -5*q + 3 = -c. Suppose y + q*z + 4 = z, -8 = 4*y + 2*z. Solve 4 = -4*l - y, g - 4*l - 5 = 0 for g.
1
Let g = -14 - -24. Solve 0 = 5*c + 4*d + 40 - g, 0 = -2*c + 5*d + 21 for c.
-2
Let a(h) = -h**2 + 11*h + 17. Let y(f) = 8*f - 7. Let k be y(2). Let g be a(k). Let z be ((-3)/(-3))/(2/50). Solve -3*x + 4*i = -g, -i - 5 - z = -5*x for x.
5
Suppose -12 = -2*u + 4*m, 4*u - 2*m + 4*m = 14. Suppose -4*p = -2*p - u. Let r = -4 + 9. Solve p*i - 19 = -5*j - 0*i, r*j - 9 = 3*i for j.
3
Suppose 2*m - m = 2. Solve s + s = -5*u, -6 = -2*u - m*s for u.
-2
Suppose 3*t - 11*t + 40 = 0. Solve -4*z - 4*b = -4, t*z + 0*b = -b + 13 for z.
3
Let u be -3 - -4 - (-2 - -2). Solve -v + l + 2 = 0, -4*v + 13 = -2*l - u for v.
5
Let l(j) = -j**2 - 4*j + 5. Let u be l(-5). Solve 3*z = -4*q - 6, 2*q + u*q = -z - 2 for q.
0
Let b(a) = a**2 + 13*a + 7. Let q be b(-14). Solve 0 = h + 4*w + q, -4*w + 2*w = 8 for h.
-5
Let f = 85 + -81. Solve 3*u - f*h + 5 = 0, h + 15 - 2 = -4*u for u.
-3
Suppose 3*j = 24 + 36. Let b = j - 13. Let u = b - 2. Solve -9 = -u*l - k, -13 = 3*l - k - 3*k for l.
1
Let j(m) = -m + 16. Let d be j(11). Let q = -16 + 28. Solve 0 = -d*p - 15, 4*w = 5*w - 3*p - q for w.
3
Suppose 2*h = -3*d + 9, -3*h - 3*d + 12 = d. Suppose -f + 0*f = h. Let z = f - -8. Solve 2*x + 6 = -0*o - 2*o, z = -x - 2*o for x.
2
Suppose 2*g - 14 = -g + 2*r, 20 = 4*g - 2*r. Solve -2*m - 3*j - 6 = -7*j, 0 = -2*j + g for m.
3
Suppose o = 14 - 11. Let s be -1 - (-1*2 - 7). Suppose o*w - 7 = s. Solve -5*j = -t + 5 + 10, -t - w = 5*j for j.
-2
Let r be -12*(-1 + (-3)/9). Solve 2*z = -8, -4*z = -2*o + 4*o + r for o.
0
Let u be (24/20)/(2/10). Let a be (-4)/u - 5/(-3). Let c be a*(1 + -2) + 5. Solve 32 = 4*m + 4*o - 0*o, -3*m = -c*o + 11 for m.
3
Suppose 4*p + 16 = 0, -p = -4*v + p + 20. Solve 0*k = 3*a - 2*k - v, 0 = -3*a + k + 3 for a.
1
Suppose -2*t = -t - 27. Suppose 4*n - 6 = -2*r, 0*n + t = 3*r - 3*n. Solve -2*j + 10 = 4*m, j - 2*j - 4*m + r = 0 for j.
3
Suppose -5*w + 9*w = 8. Solve -2*r + 2 = 2*s, 2*r = -w*s + s + 2 for s.
0
Suppose -2*n - 3 = -9. Suppose -w + n*w - 4 = 0. Let x be 1 + 1 + (-1)/(-1). Solve 2*p + w = 0, -r = 4*r - x*p - 3 for r.
0
Let r(f) = -f**2 + 5*f + 1. Let a be r(4). Suppose a*y = -k + 20, -3*k - 5 = -y - 1. Solve -2*p - 3 = 3*u, -u + y*p = 3 + 12 for u.
-3
Suppose -r = -0*r. Let s be 1 + (-2 - (r + -1)). Let i(o) = -o**2 + 5*o - 4. Let x be i(3). Solve x*z + h + 2 = s, -4*h + 14 = -2*z - z for z.
-2
Let k be 66/5 - (0 + 3/15). Solve 0 = -4*n + 8, 0*i - k = i - 4*n for i.
-5
Suppose -t - z + 26 = 0, -3*z = t + 2*z - 30. Suppose 2 = 3*d - t. Solve -5*v - g + d = 0, 4*g = 3*v + 8*g - 19 for v.
1
Let b = 13 + -11. Let k be (b/5)/((-8)/(-40)). Solve n = -3*i - 12, 0*i = -k*i + 5*n + 9 for i.
-3
Suppose 5*i + 15 = -10. Let y(q) = -q**3 - 6*q**2 - 6*q - 3. Let f be y(i). Solve 0*x + 4*x + 11 = -5*w, -x - f = w for w.
-3
Let p = 35 - 32. Solve -6*r = -r + 4*f + 27, -r = -p*f - 6 for r.
-3
Suppose -3*h + 3 = -5*x + x, 19 = 3*x + 2*h. Let w be 2*(-2)/(-8)*0. Let j be ((-1)/1)/(1/(-1)). Solve c = -2*z + j + x, c - 2*z = w for c.
2
Let f(n) be the second derivative of n**4/12 + n**3 - 7*n**2/2 + 2*n. Let x be f(-7). Solve -5*o + 2*a + 1 = x, -o + 2*a = 3*o for o.
1
Let o = 1 - 1. Suppose 0 = -9*a + 4*a + 45. Let k(r) = -r**3 + 10*r**2 - 9*r + 5. Let c be k(a). Solve -5*h - c*s + 25 = o, 0 = -2*h - h + s - 5 for h.
0
Let b(z) = 2*z + 3. Let n be b(-4). Let h = n - -5. Suppose 3*y = -4*t + 12, 2*y - 1 - 7 = -5*t. Solve -2*d = -2*w - 4, -2*w + h*w + 4*d + 2 = t for w.
-5
Let p = 8 + -3. Solve 5*i = -p*r, 5*i - r - 18 = -0 for i.
3
Suppose i + 6 = p - 0*i, 2*i = -4*p. Let y be (-3)/(-4) - (-63)/28. Solve -p*x = x + y*a - 15, 0 = -2*x - 4*a + 20 for x.
0
Suppose -3*g = 5*n - 66, 36 = 3*n + 5*g - 2*g. Let w be 0 - -2 - n/(-3). Solve 4*v - 20 = 2*r - 0*r, w = -r + v for r.
-4
Let b = -48 + 53. Suppose 3*y - 11 = -4*d, -2*d - 5*y + 9 = -0*d. Solve -2*n + b*u = 19, 1 = d*u - 5 for n.
-2
Let y = 4 - 0. Let c(a) = a + 3. Let i be c(0). Let o = 1 + 11. Solve i*b + 4*h = y*b - o, -4*b - 20 = h for b.
-4
Suppose d - 36 = -h - 4*h, h = -2*d + 36. Suppose 0*y + 9 = 3*a - y, -2*a + d = -4*y. Solve 5*f - a - 8 = -5*b, b = 3*f + 2 for f.
0
Let i(j) = 153*j - 1. Let t be i(-1). Let u be 4/(-6) - t/6. Solve 2*x + 2*x = -f - u, -2*f - x = 15 for f.
-5
Let y = 66 + -63. Let i be (-2)/(-4) - 3/(-6). Suppose 5*p - 3 = 4*n, -n - 3*p - i + 13 = 0. Solve g + d = -y, -n*d - 6 = -g - d for g.
0
Suppose -5 + 17 = 2*v. Solve 5*p + 27 = -2*w + v, -3*p = -3*w for p.
-3
Let a be (-1 + 2 + -3)*6. Let c = -8 - a. Solve c*z - 25 = -5*i, 0 = z - i - 1 - 3 for z.
5
Suppose c = 4*w - 7, -c - 4*w = -0*w - 17. Solve -4*k = k + c*a + 20, -3 = k + 2*a for k.
-5
Suppose 3*v + 0*v = -o - 10, -4*v - 5 = 3*o. Solve -r = o*c + 4*r - 20, 2 = 2*r for c.
3
Let b be (-3)/2 + 4/8. Let v be 1*(-1 + 3 - b). Suppose v*m = 58 + 2. Solve -5*i = -m, -8 = f - i + 1 for f.
-5
Let z(w) = 3*w**2 + 2*w + 4. Let f be z(-2). Solve 5*l + 5 = -5*k, -2*l = -k + f - 1 for l.
-4
Let w be 4/(-14) + (-605)/(-35). Solve -4*h + 4*i = 24, -h + w = -3*h + 3*i for h.
-1
Let i be (1 + 2)*24/(-9). Let v = 6 - 2. Let u be (74/v)/((-4)/i). Solve 5*h + u = 4*c, 3*c = -0 + 9 for h.
-5
Let w be (15 - 2) + (-2)/(-1). Suppose -4*l = 3*y - 0*y + 20, -3*l = -5*y + w. Suppose 12 = -y*z + 3*z. Solve -2*p + 5*q - 18 = 3*q, 4*q = -z*p + 4 for p.
-4
Let v(o) = o**2 - 3*o - 4. Let h be v(4). Solve -4*w - 20 = -4*u - h*w, -2*u - 4*w = -4 for u.
4
Let g = 0 + 9. Let n = g + -7. Suppose n*q - 20 = -3*q. Solve q - 6 = -2*x - w, 15 = -3*x + 3*w for x.
-1
Let u be (-8)/28 - 30/(-7). Let y = -5 + 8. Solve 0*f = y*f - 2*t - 25, -f - u*t = 15 for f.
5
Suppose 5*d - 5*j = 30, 0*d + 4*d + j - 44 = 0. Solve -g + 1 = 3*h - d, -2*g - 5*h = -18 for g.
-1
Let p be 