et f(s) = s**2 - s + 4. Suppose 0 = 5*g + 15. Let p be f(g). Suppose r - 5*u = 4*r + p, -2*u = -2*r + 16. Solve -5*a - r*c = -8, 0 = 2*a - c + 3*c for a.
4
Let n(p) = -p**2 + 6*p + 3. Let z be n(6). Solve -z*x = -d - 2, 0 = 2*d + x + 4*x - 18 for d.
4
Let l be (-30)/(-12)*(-16)/(-10). Suppose -l*q = -26 + 6. Solve -2*z = -t, -t + 14 + 0 = q*z for t.
4
Let v = -26 - -44. Solve 2*l = -2*k - 0*k + 8, -5*k = 4*l - v for l.
2
Let w(h) be the first derivative of 2*h**3/3 + h**2/2 + 2*h - 2. Let g be w(-3). Solve 2*u + g = 4*r - u, 0 = 2*r + 4*u + 8 for r.
2
Let l = 28 + -12. Suppose 7 = 5*m - 3*q, 3*m + 3*q - 2 = 7. Suppose m*z - 19 = 43. Solve 3*i - 37 + l = 3*o, 0 = 3*i - 5*o - z for i.
2
Let b(y) = y - 4. Let x be b(7). Suppose x*c + 39 = 15. Let h = c - -28. Solve 0 = 5*d, -2*o - 3*o + h = d for o.
4
Let n be (9 + -2)*1 - (4 + 0). Let f = -9 + 13. Solve 0 = -d - n*d - f, 9 = -3*z - 3*d for z.
-2
Let b be 5*((-39)/15 - -3). Suppose 0*x - 2 = -x. Solve -x*a + 8 = -b*u, 5*u + 0 = -2*a - 6 for a.
2
Suppose -4*p + 3 = -r, 9 = p + r + 2. Suppose 0 = 3*u + p*i + 4, -3*i = 5*u + 2*i + 15. Solve 4*t = u*d + 4, 2*t = 4*d - 4 + 6 for t.
1
Let q be 0 + 0/3 + 3. Suppose q*l + 6 = 4*l. Solve -4*a + 31 = -3*u + l*u, 0 = -a - 4*u + 24 for a.
4
Let n = -24 + 49. Let p = n - 20. Solve y = p*t - t, -y - 7 = 3*t for t.
-1
Suppose 24 = 2*g + 5*k, 10 = 3*k + 4. Let b = g + -7. Solve b = -4*v + 3*q - 2, -2 = q - 0*q for v.
-2
Let a(l) = -2*l - 9. Let q be a(10). Let x = q - -17. Let f be (-4)/((x/(-22))/(-3)). Solve -12 = -2*g + 2*i, 5*g + 0*i - f = 3*i for g.
2
Suppose 23 = -3*x + 8. Let c(s) = -s**3 - 6*s**2 - 6*s - 5. Let y be c(x). Solve y = -2*r + 4*a + 14, -2 + 4 = -2*a for r.
5
Suppose -3 = l - 8. Solve 4*g = g + l*o - 32, -20 = -5*o for g.
-4
Let r be (-2)/(-8) + 22/8. Suppose 2*k = r*u + 2, -2*k + 4*k = -4*u + 16. Suppose 4 = u*s - 2. Solve 5*d - 4 = 3*d - 2*y, y - s = 0 for d.
-1
Suppose -17*f + 13*f = -48. Let l be 1/(-2)*(-12 + 6). Solve 0 = l*b - f, 3*b - 1 = t + 13 for t.
-2
Let z = 10 - 7. Suppose 0 = -3*i + 5*o + 34, -2*o + 0*o = -2*i + 16. Solve i*k - z*m = -15, 2*m - m - 13 = 5*k for k.
-2
Let i = 4 - 4. Suppose x = 2*w - 2, -4 - 2 = -2*w. Solve -2*d - 3*q = -9, i = x*d + 3*q + 1 - 4 for d.
-3
Let q be (-1*2)/(6/(-9)). Solve -q*i - 3*z - 4 + 1 = 0, 0 = i + 2*z for i.
-2
Let i(a) = -a - 8. Let f be i(-12). Solve -f*m - 10 - 4 = -2*o, 0 = -5*m - 15 for o.
1
Suppose 0 = -7*j + 5*j + 18. Let x = j - 6. Solve -2*c + 3*d + x - 12 = 0, -5*c - 5*d - 10 = 0 for c.
-3
Let j be (-6 - -4)*(-33)/2. Solve 2*a + 10 = 0, 2*o + 2*a + 3*a = -j for o.
-4
Let u = -1 - -5. Let g(t) = -t**3 - 4*t**2 + 6*t. Let q be g(-5). Let p be (3 - (-2 - q))/(-1). Solve p = 5*n + r + u*r + 40, r = n + 2 for n.
-5
Let q(i) = i + 12. Let w be q(-3). Suppose -5*s + 5*f = -140, -2*s + 5*f + 61 = -10. Let x = s + -15. Solve -31 = 3*k - 4*d, -2*d = 5*k + w + x for k.
-5
Let n be -5 + 3 - -1*15. Solve -k - 8 = -5*i, -4*i + 1 = 3*k - n for k.
2
Suppose -36 = -3*q - 3*h, q + 3*h + h - 21 = 0. Let x be (22/3)/((-3)/q). Let y be x/(-4) + 2/(-4). Solve y*r + 5*n - 25 = 0, -6 = -n - 2*n for r.
3
Let t = -7 + 10. Let z(v) = 7*v + 15. Let h be z(-2). Let o = -15 + 28. Solve t*d + 5*f = -o, 3*d - f = f + h for d.
-1
Let r be 0 - 1 - (-6)/3. Let c be (4 - -5) + r*-1. Solve 0 = 2*u - b - 1, -4*u - c = -4*b - 0*b for u.
3
Suppose -13 = -4*s + a, -3*s = -6*a + 2*a - 13. Suppose 0 = b - 4*x + 7, -3*b + 25 - 1 = s*x. Solve 3*i - 8 = -b*j + 1, 0 = i - 4*j - 3 for i.
3
Suppose 0*b - 40 = -5*b. Suppose 5*f - 3*f - b = 0. Solve 0 = r - 5, -3*r + 21 = f*m - 10 for m.
4
Let x(u) = -u - 10. Let b be x(-14). Solve -4*r + 4*a - b = 0, -3*r + 0*r = 2*a + 23 for r.
-5
Let a(f) = -f - 6. Let z be a(-5). Let y(t) = -3*t - 1. Let n be y(z). Solve -p + 7 = -n*s, 5*s = s - 2*p - 2 for s.
-2
Let d = 9 + -6. Let a(s) = s**2 - 6*s + 9. Let i be a(5). Let t = 4 - i. Solve 4*n - d*h + 23 = t, 0 = -n - 0*n - 2*h - 3 for n.
-5
Let o(g) = 6*g - 7. Let i be o(2). Let a = -2 + 3. Solve -5*d - i*h = 0, a = -2*d - h + 2 for d.
1
Suppose -4*q = -0*q - 8. Solve q*s = a + 5, 0*s + 5*s = -4*a + 19 for s.
3
Suppose -4*n = -3*n - 4. Suppose 2*b + 3*m = -0*m + n, -5*b = m - 10. Solve 2*t - 4*d = 22, d = -5*t - b + 24 for t.
5
Let n(o) = o**2 + 7*o - 1. Let y be n(-8). Suppose -3*x + 8 = -y. Solve -5*h = -x*l + 20, -l + h = 6*h - 10 for l.
5
Suppose -5*z + 48 = -z. Let p be (z/9)/((-2)/(-30)). Solve 4*q = 2*q - 3*x - 13, 0 = 4*x + p for q.
1
Let w(j) = -2*j + 28. Let i be w(12). Solve 0*z = 2*z - 4*u - 24, i*u = -2*z - 16 for z.
2
Suppose -9 = -4*h - 1, -3*h + 16 = 2*d. Solve -6*c = -n - 3*c - 15, 0 = -d*n + c - 5 for n.
0
Let g be (-6)/(-7)*(-70)/(-15). Solve g*c + 9 = r, 0*r - 2*c - 22 = -4*r for r.
5
Let y be (6/(-5))/((-6)/(-80)). Let l be (-9)/2*y/6. Solve 0 = -4*s - v - v + l, 0 = 5*s - 5*v - 45 for s.
5
Let m be (2 + -4 + 0)*-2. Let s be ((-3)/(-2))/(1/2). Suppose -c = -2*l - s*c - 6, 0 = c + 3. Solve m*a - 3*p - 26 = 0, 2*p = a - l*p - 9 for a.
5
Let r = -32 + 65. Suppose -4*g + r + 35 = 0. Solve 3*v = 5*a - g, 2*a = 6*a - 4*v - 20 for a.
1
Let v(k) = -7*k + 3. Let i = -7 - -3. Let c be v(i). Solve 2*r = -0*h - h - 13, 2*h = -5*r - c for h.
-3
Let f = 1 + 1. Let r(u) = 1 + 1 + 11*u**f - 10*u**2. Let x be r(-5). Solve x = -5*w - 2*b + 8, 0 = 2*b + 4 for w.
-3
Suppose -3 = -2*f + 1. Suppose 5*t - 5*z = -15, f*t + 3*z + 8 = 22. Solve -3*n + t = 3*p - 5, 6 = 3*n - p for n.
2
Suppose b = 10 + 8. Suppose m = 4*m - 6, 5*k - m - b = 0. Suppose -2*o + 4 = k*h - 12, 2*o = 5*h - 20. Solve 3*u - 7 = h*u + s, 2*u - 3*s + 4 = 0 for u.
-5
Let u(d) = -d**2 + d + 2. Let v be u(2). Let g = v - -3. Solve g*k - 9 = -3*o - 0*k, -15 = -5*o + 5*k for o.
3
Let m(h) = h**3 + 2*h**2 - 5*h - 3. Let o be m(-3). Solve 0 = -2*x - 3*b - 9, -4*b - 8 = -x - o*b for x.
3
Suppose 0*f = 5*f - 10. Let r be 25/8 - 3/24. Solve -4*n - n + f*d - 31 = 0, 12 = -r*n - d for n.
-5
Let b be (4 + -1 + -3)/1. Solve 4*k + 7 = 5*w + 22, 4*k + 5*w - 25 = b for k.
5
Let y be ((-3 - -10) + -3)/1. Solve -2*c + 2*l + 2*l = 0, 0 = y*l + 4 for c.
-2
Let u = 37 + -15. Let k = -2 + u. Solve k = 3*f + 4*x, f - 5*x - 3 + 9 = 0 for f.
4
Suppose -5*o = -20 - 15. Let q = o + -5. Suppose 16 = 4*y + 4. Solve -3*b = 12, -2*u + y*b = q*u - 12 for u.
0
Let x = -26 + 43. Solve -3 = a + 2*m, 5*a + 6*m = 4*m + x for a.
5
Suppose -27 = -b + 3*c, -2*b - 2*c - 4 = -18. Solve -3*m + b = 3*n, -3*m + n + 3*n - 16 = 0 for m.
0
Let n(k) = k + 2. Let p be n(1). Solve -9 = -3*v + 2*u, -5*v + 4*u = -p*v - 14 for v.
1
Suppose -4 = -y + 5. Solve 2*o + v = -y, 2 + 3 = 5*v for o.
-5
Suppose -4*c - z = -5, 2*c + 3*c - 25 = -5*z. Suppose 5*q - 12 + 2 = c. Solve -5*t + q*j - 12 = 9, -2*j - 3 = 3*t for t.
-3
Suppose 5*m + 24 = 4*v + 4, v - 18 = -2*m. Solve -5*h = -v, -4*h = b + b for b.
-4
Let d(y) = y**2 + 5*y. Let q be d(-5). Solve 0 = -3*c + 3*w, 1 = c - q*w - 2*w for c.
-1
Let o(n) = -n + 9. Let m be o(9). Let i(r) be the first derivative of -r**2/2 + 2. Let l be i(-3). Solve 4*g + 5 = 1, l*y + g + 10 = m for y.
-3
Let d = 11 - 6. Solve k + 3 = 0, g + 2*k = -d - 2 for g.
-1
Suppose 5*h - 12 = 2*h. Suppose 4*o = 3*i + 31, 0 = -h*o - o - 3*i + 5. Let w be o/6 - (-4)/3. Solve 0 = w*x - 4*j - 6, -j + 8 = x + 2 for x.
5
Let f(l) = 3*l**2 + 6*l + 2. Let c = 1 - 3. Let m be f(c). Solve 0 = -w + n + 1, -5*n = 6*w - m*w + 32 for w.
-3
Suppose 4*j - 14 = 2. Solve s = k + 3 - 4, -3 = -j*k + 3*s for k.
0
Let i be (16 + 1 + -1)/2. Let v = 0 + i. Solve 3*a = -12, -4*x + 5*x + 2*a = -v for x.
0
Suppose 4*n - 3*l = 3*n + 15, 5*n + 4*l + 1 = 0. Solve 2*z = -v - 6, -v + n*v + z = 0 for v.
2
Let m = -114 + 116. Solve m = -2*a + 4*q, 0*a = a + q - 5 for a.
3
Suppose -41*q + 42*q = 9. Suppose -y = -2*g - 13, -2*y - 2*g = y - 7. Solve c + 4 = -y*u + q, 3*c + 5 = -5*u for c.
-5
Let b(g) = -g + 7. Let f be b(4). Let d(k) = k + 15. Let h be d(-12). Solve -v - 2*q = -h*q - 9, 8 = 4*v + f*q for v.
5
Let p(u) = u. Let f be p(-1). Let g = 3 - f. Solve -g*k + i = -i - 8, k + 2*i + 3 = 0 for k.
1
Suppose 0*o - 5 = -4*o + 5*b, o = -3*b - 3. Solve 0 = -2*j + j + 5*i + 30, -4*i - 20 = o for j.
5
Suppose -u = -3*v - 5, -u - 3*v + 5 = -0. Solve 4*q = -c - 24, -c + 2*c = u*q + 21 for q.
-5
Let x be (-25 - -2)*(2 + -5). Let n be -8*(3 - x/12). Solve n