-5*b - 4*f + 0*f - 24 = 0, 3*b = -5*f - p for b.
-4
Let f(o) = 1 + 0 + 0*o + o. Let k be f(2). Let b = 8 - k. Solve 0 = b*h + 5*u - 20, 2*h - 4*h = u - 4 for h.
0
Let n(k) = k - 4. Let r be n(8). Suppose -r*m - 3 + 5 = d, 4*d - 8 = -3*m. Solve v = -4*s + 20, 0 = -3*v + d*s + 2 + 2 for v.
4
Let o(h) = 2*h + 1. Let m be o(8). Suppose r + 7 = m. Solve 0 = 2*d - j - r, 0*d = -3*d - 3*j - 3 for d.
3
Let g(r) = -r**2 + 0*r**2 - 4*r + 4 + 10*r. Let m be g(7). Let v be ((-2)/m)/((-4)/(-78)). Solve -5*y - 15 = 5*a, -v = 3*y - a + 2*a for y.
-5
Let k = -143 + 156. Solve -x + 11 = -4*c, -2*x - 3*c + k = -7*x for x.
-5
Let b(q) = q**2 + 4*q + 3. Let l be b(-2). Let u be l + 0/3 + 0. Let r(x) = -4*x - 1. Let w be r(u). Solve 2*p = 3*g + 6 - 0, -12 = w*g - 4*p for g.
0
Suppose 0 = 2*n + 4 - 22. Solve 4*c - 4*d - 16 = -n*d, -2*c = -d - 8 for c.
4
Suppose m - 5 = 5*x - 2*m, x = -m + 7. Let t(n) = -53*n + 1. Let a be t(2). Let q be -2*(a/x)/7. Solve -g = -3*g + r - 1, 3*g + q = -3*r for g.
-2
Let t(k) = -3*k - 12. Let i be t(-6). Let w be (40/15)/(i/9). Solve 0 = -4*z + 4, -4*n + z = 5 - w for n.
0
Let z be -1*(-3 + 6)/(-3). Let s = 6 - z. Solve -2*a = -2*d - 2, a - 1 = s*a + d for a.
0
Let u(o) = o + 17. Let v be u(-3). Solve -4*l + v = -3*d, -d - 1 = 1 for l.
2
Let h be (-5 + -1)*(-11)/22. Suppose 0*y = h*y. Solve 0 = -3*x + 2*j, 3*x + j - 9 = -y*x for x.
2
Let d = -8 - -4. Let n be d/(-22) - 291/(-33). Suppose 0 - n = -z. Solve 3*o - z = 0, -2*h = -h + 5*o - 20 for h.
5
Let g be (-1 + 2 + -3)*(-10 - 0). Let v be ((-5)/(-4))/(1/4). Solve -45 = 4*w + 5*j, v*j = j - g for w.
-5
Let q be (6 - -1)/(-3 - -2). Let f = 11 + q. Solve 2*n + 2*n = 3*l + 28, -f = -n for l.
-4
Let o = 0 - -4. Suppose 3 = o*w - 13. Solve 4*s = w*n - 0*n, 3*n - 5 = -2*s for s.
1
Let g be ((-2)/(-2))/((-2)/(-8)). Suppose -1 = 5*a - 21. Solve -5*v - 12 = 3, 0 = a*y - g*v - 16 for y.
1
Let f(y) = -11 - 2 + 4 - y. Let s be f(-11). Solve 0 = s*c - 6*r + r + 28, 5*c - 5*r = -40 for c.
-4
Suppose 3*t - 7*t - 5*l + 28 = 0, t = -4*l + 18. Solve -4*k = -c + 1 + 7, t*k - c + 4 = 0 for k.
-2
Let y be (-77 - 2)*3/(-3). Suppose -2*v = -5*j - y - 4, 63 = 2*v - j. Solve v = 5*q - 3*c, -5*c = 6*q - 3*q + 3 for q.
4
Let k(d) = d**3 + 7*d**2 + 7*d + 6. Let n be k(-5). Suppose 2*b = 2*q + 18, 0 = 2*b - 4*q + 3 - n. Solve 3*j = -3*z + b, -5*z - 3*j - 15 = -4*j for z.
-2
Suppose 23*q - 20*q - 21 = 0. Solve -14 = 3*f + 2*t - q, -3*t - 13 = 5*f for f.
-5
Let d be -4*1/(-8)*0. Suppose w = -0*r - 3*r, 0 = 5*w + 3*r. Suppose w = -2*i + 6*i - 12. Solve 5*t = -i*c + 4, d*t = -2*t - 2*c for t.
2
Let w(p) = p**3 - p**2 + 2*p. Let k be w(0). Solve 2*h + k*h + g = -10, -5*h - 5*g = 30 for h.
-4
Suppose 0 = 4*a - 4, 10 = j + 5*a - 25. Solve -8 = -u - 4*o, 2*u - 5*o + j - 7 = 0 for u.
-4
Let b(z) = -z + 12. Let a be b(4). Solve -2*y - a = -3*y + 2*q, -q + 7 = 5*y for y.
2
Suppose 0 = -5*k + 3*k - 4*o + 196, -250 = -3*k + 5*o. Suppose w - 18 = r, -2*r = w - 6*w + k. Solve -4*f - 4*a = 4, 0*f - 3*f + 2*a = w for f.
-4
Suppose 115 = 5*d - g, 3*g = 2*g. Suppose -3*t - 15 = 0, 0*y - 3*t = -2*y + 15. Solve u + 24 = 4*w, 3*w = 2*u - y*w + d for u.
-4
Let i be 32/14 - 4/14. Suppose -w - i = -2*w. Solve -2*o + 4 = w*h + h, -5*o - 15 = -5*h for h.
2
Let g be (-152)/(-32) - (-6)/(-8). Solve -20 = -g*q - 8, -25 = 4*o - 3*q for o.
-4
Let t be (-2)/(-2) - (-1 - 8). Let h = -9 + t. Solve z = -3*i - i + h, 0 = 4*i + 2*z - 2 for i.
0
Suppose t + 0*t = -4*j + 31, 3*t + 3*j - 48 = 0. Let g be 2/(0 - 2)*9/(-3). Solve -q + t = q - n, -2*q - g*n = 9 for q.
3
Suppose -39 = -l + 2*r, 2*r = -l - 2*r + 21. Let m be 15/2*4/6. Solve -m*q - 37 = 3*k, 2*k + 5*q + l = -0*k for k.
-4
Suppose -8*v = -3*v - 10. Solve 4*q - 18 = 3*m + 3*q, 3*q = v*m + 19 for m.
-5
Suppose 0 = 4*c - 6*c + 6. Solve c*i + 6 = -t, -6 = -i - 2*t - 3 for i.
-3
Suppose -3*o - 2*w = -0*w - 30, w + 21 = 3*o. Let n = o - 2. Solve 2*a - n = -t, 0 = -0*a - a + t - 3 for a.
1
Suppose 0 = -17*f + 11*f. Solve -5 = -j + 2*h, f = 2*j - 6*h + 3*h - 10 for j.
5
Suppose -5 = -3*u - 4*r, 2*u - 4*r + 2*r - 22 = 0. Solve -v + 2*v + 9 = -5*t, v + u = -4*t for v.
1
Let j be (-1)/2*0/4. Let p(v) = -1 + 0*v - v**3 - v + j + 6*v**2 - 3. Let q be p(5). Solve -2*w + q = r + 4*r, -3*r + w = -14 for r.
4
Suppose -13 - 5 = -3*o. Suppose 0 = 2*s - 4*s + o. Solve -4*i - 4 = -v, s*v + 6*i + 22 = i for v.
-4
Let g be (-9 - 1)/(2/(-3)). Let o = g - 10. Solve -15 = 2*q + o*m, -5*q + m + 6 = -m for q.
0
Suppose 0 = -3*f - 5*b + 14, -1 = -f + 2*b - 0*b. Suppose 3*w + f*g = -0*w - 3, 5*g = -20. Solve 0 = o - 4*m - 15, 0 = -3*o - m - w*m - 35 for o.
-5
Let r(x) = x - 1. Let g be r(3). Let t(o) = 4*o**2 - 10*o + 13 + 0 - 3*o**g. Let b be t(9). Solve 10 = 5*s, b*m + 2*s = m + 19 for m.
5
Suppose -p - 9 = -j, 25 = 3*p + 2*p. Let d = 70 - 40. Let u be d/7 - j/49. Solve 0*l + k = u*l - 16, 30 = 2*l + 5*k for l.
5
Let k(s) be the third derivative of s**5/60 - 5*s**4/24 - s**3/3 + 4*s**2. Let y be k(6). Suppose y*b - 9 = b. Solve -5*f = -b*h - 28, h = 3*h - 4*f + 22 for h.
-1
Let b be 4*(1 + 2/(-4)). Let k = -9 + 11. Suppose -k*j - 8 + 48 = 0. Solve -j = -5*i - 5*l, 0*i + 18 = b*i + 4*l for i.
-1
Let r(t) = -t**3 + 9*t**2 - 8*t + 3. Let c(k) = k**2 - 5*k + 2. Let y be c(6). Let v be r(y). Solve v*g - 5 = u, 4*u + 26 = -4*g + 6 for u.
-5
Let i(s) = 19 + 0*s + 2*s - 12. Let t be i(-3). Solve -t = 2*d - 3, 4*f = -2*d + 10 for f.
2
Suppose -4*x + 16 = -5*t, -5*x = -3*t + 4*t - 20. Solve 0 = -x*n + n + 6, -4*o + 5*n = 10 for o.
0
Let p(a) = -a**3 - a**2 + 2. Let v be p(0). Suppose v*l = 1 + 1. Let w = 55 + -50. Solve -w*i + 3*h - l = -12, 3*h = 3*i - 9 for i.
1
Let s(a) = -a**2 - 5*a - 3. Let q be s(-4). Suppose -11 - q = -3*m. Solve 5*w = m*l, -2*l - 3*w + 6*w = -2 for l.
-5
Suppose -8*c - 6 = -5*c. Let d be (20/(-15))/(c/6). Solve -d*i - 4*u - 4 = 4, -22 = 5*i - u for i.
-4
Let p be (-48)/(-5)*(-50)/(-15). Suppose -z = -2*c - 5, -8*z = -4*z - 2*c - p. Solve -i + 4 = 2*m + 10, -z = 2*i + m for i.
-4
Suppose 26 - 26 = -h. Solve 5*b - 18 = p, h*b = 4*p - 3*b + 21 for p.
-3
Let p(t) = t**2 - 2*t - 2. Let d be p(3). Let b = d - -4. Suppose -m = 2*o - b*m + 4, 4*o + 2*m - 2 = 0. Solve 5 + 10 = 5*k + 5*s, o = -2*k - 5*s + 15 for k.
0
Let n be (-10)/4*(-8)/10. Solve 23 = n*h + 5*s, 0 = 5*h - s - 12 - 5 for h.
4
Suppose -4*y - y = 3*a - 23, 12 = 2*y + 4*a. Let s be (6/y)/((-4)/8). Let b = 6 + s. Solve -p + 3*p = 3*h + 19, 11 = -h + b*p for h.
-5
Let d = -9 + 21. Suppose -s + 5*p + 23 = 0, d = -2*p - p. Solve -1 = 3*a - 4*z, 0 = -s*a + 5*z + 3 - 5 for a.
1
Suppose 5*u - 4*u = 4. Suppose 3*z - 10 = u*s, 0 = -3*z + 5*z - s - 5. Solve 3*m - z = -3*g + 7, -m = -g - 1 for m.
2
Let j be 10 - (2 + 1 + -1). Suppose 5*x = -2*b + 2*x + j, -5*b = 5*x - 15. Let y be b*3 - (4 + -5). Solve -5*i - 5 - 15 = 0, y*i = -2*p - 10 for p.
3
Let s be -1*(-4 + 4/2). Suppose 0 = 5*m + 3*i - 6, -3*m - 5*i + i + 8 = 0. Solve -h - 1 = m, -3*h + 2 = s*o - 3 for o.
4
Let m = -1 - -1. Suppose m = 4*f + f. Let p be 1/(-2 + 21/9). Solve 5*j - p = -2*q + 8, -3*q + j + 8 = f for q.
3
Suppose 1 = 2*l - 11. Solve -l*a - 2*h = -a - 5, 3*h = a - 1 for a.
1
Let k be 72/(-18)*(0 + -1). Solve 5*g = 3*u - 0 + 20, 0 = 3*u - k*g + 16 for u.
0
Let t = 4 - -1. Suppose -3*g = -v + 1 - 13, 0 = 3*g - t*v - 24. Solve 0 = i - 1, -g*a + i + 3 = -2*a for a.
4
Let g(h) = -h**2 + 7*h - 1. Let x be 476/77 + 2/(-11). Let n be g(x). Let a be (-10 - 0)*(-1)/2. Solve 0 = -4*q + 4, -a*q + n = -5*t for t.
0
Let b be (3/2)/(6/16). Suppose 0 = -s - 3*c - 10, 3*s + 2*c + 2 = -0*c. Solve s = r, -3*g - 3 - b = -5*r for g.
1
Let a(y) = y**2 - 11*y - 9. Let m be a(12). Solve -m*j + 10 = i - 10, -4*j - 5 = -5*i for i.
5
Let s(h) = -2*h - 2. Let x be s(3). Let k be x/16 - (-2)/4. Solve 0 = -4*r - k*r + j - 16, -4 = r - 3*j for r.
-4
Suppose -4*d + 12 = -d. Suppose 4*m = -4*z + 32, m - 5*z + 30 = 8. Solve -m*o + 6*c - c = 10, -d*o - 15 = -5*c for o.
-5
Suppose -3 = -g + 4*r - 2, 5*r = 10. Solve -3*s + l + l = -6, -3*s - 3*l = g for s.
0
Suppose -4*z + 22 + 22 = 0. Solve 2*k = 5*i + z, -k - 1 + 2 = 2*i for i.
-1
Suppose 2*h + 25 = 4*b + 7, b = -3*h + 1. Solve -2*z = 8, -4 = -s - b*s + z for s.
0
Let n = -19 - -13. Let w(j) = j**3 + 6*j**2 - 4*j - 7. Let l be w(n). Solve l = -5*r - 2*f, -3*f = -5*r - 0*f