 = -u**2 + 4*u + 15. Let q be o(6). Solve -m + 2*j = 4*j + 1, -2*m + j + q = 0 for m.
1
Let w(k) = -k + 19. Suppose -2*d - 3 + 37 = 3*z, 62 = 4*d + 3*z. Let p be w(d). Solve 2*q + 4 = -0*q + l, 5*l = -p*q - 25 for q.
-3
Suppose 16 = 2*w + 12. Solve -p - 3*p = -2*j + 20, 5*j = -3*p - w for p.
-4
Let h be 1*(3 + -3)/1. Suppose 4*c - 44 = -0*c - 4*k, h = 2*c - 2*k - 2. Solve -n = 2*l + c, 4*n + 12 = -4*l - 0*n for l.
-3
Let r = -4 + 5. Solve -c + 10*z - 5*z - 23 = 0, -2*c + z - r = 0 for c.
2
Let y = 11 - 6. Let k be (-1)/((6/5 + -1)/(-1)). Let u(t) = t**2 + 3*t - 2. Let p be u(-4). Solve w - k*l = 37 - 11, p*w - y*l = 27 for w.
1
Let q be 0/(4 + -6 + 4). Solve 5 = -3*y + u - q*u, -2*y + 5*u = 12 for y.
-1
Let c be (-86)/(-10) + (-2)/(-5). Suppose c = -n + 2*n. Let g = 12 + -6. Solve -s + 3*v - g = 0, 3*v - n = -5*s + 5*v for s.
3
Suppose 0 = 3*l + 8*z - 3*z - 95, 2*l + 2*z - 70 = 0. Solve 3*a = 4*h - a + l, -2*h = -5*a + 35 for h.
-5
Let r(k) = k**3 - 3*k**2 + k + 2. Let d be r(2). Solve 5*w + 20 = 0, 8 = 5*o - d*w + 3*w for o.
4
Let i(t) = t**2 + 5*t + 6. Let u be i(-6). Solve 5*s - 4*s - 4*d + 17 = 0, -s + 3*d = u for s.
3
Let t be (12/5)/((-34)/(-85)). Solve p + 2*p + 9 = 0, 2*a - t = 4*p for a.
-3
Suppose 0 = -4*m + 5*d - 10, -3*m - 5*d + 13 - 3 = 0. Suppose m = t + 2*t - 9. Solve z + 5 = t*l - 8, -2*z = 3*l - 19 for z.
2
Let u(r) = 8*r**2 - r. Let d be u(1). Let k = d - -17. Let j = k + -6. Solve 5*z - 3*z = 2*i - 8, 3*z + 3*i = -j for z.
-5
Let y be ((-2)/(-3))/((-4)/(-12)). Solve 2*w = 2*j - 1 + 3, y*w = -5*j + 9 for j.
1
Let w be (2*(2 - 3))/1. Let p = 1 - w. Solve p*h = 2*j - 0 - 1, -3*j - 3 = -3*h for h.
-3
Let x = 184 - -267. Suppose -4*y - 2*f + 474 = 0, 3*y - 5*f + 128 - x = 0. Let u be y/36 + 2/(-9). Solve u*o + 2*w = 1, -5*o = -0*w - w - 19 for o.
3
Let u = 7 + 17. Solve -2*a = 2*p + 3*a + 19, u = 3*p - 3*a for p.
3
Suppose 5*c + 4*u = 3, -c + u = -0 - 6. Let b = -17 + 12. Let t = 3 - b. Solve d = 3*w + 7, d = -c*w - t - 3 for w.
-3
Let u be 11 - 1/(-2)*-12. Solve -4*w + 33 = u*c, -2*c + 16 = w + 2*w for w.
2
Let w(v) = -2*v. Let s be w(-2). Suppose -3*f = 3*r - 14 - 1, 2*r - 10 = -s*f. Let a = 15 - r. Solve 0 = 3*o + 12, 0 = -3*y + 2*y + 2*o + a for y.
2
Suppose 2*f = 2*v - 3*v + 5, 0 = -5*f. Solve u = -2*x - 5, 0 = -x + v*u + 20 + 5 for x.
0
Suppose 2*k = -4 + 10. Suppose -l - 45 = -4*l. Solve 0 = -s - k*x + 6, 4*x = -4*s + 1 + l for s.
3
Let i(q) = 2*q - 1. Let m(n) = n**2 + 5*n - 1. Let b be m(-5). Let l = b - -3. Let f be i(l). Solve 5 = f*j - 5*o + 13, -4*o + 16 = 0 for j.
4
Let g(u) = -u + 2. Let s be g(2). Let x be (14/4)/(-7)*s. Solve -5*a + m + 12 = x, a + 4*m - 15 = -0 for a.
3
Let t = 4 + 1. Suppose 0*r - t = -r. Solve 0 = -4*v - 0*v + 4*o - 28, 0 = -r*o + 20 for v.
-3
Let q = 106 - 98. Solve 2*a - 8 = -4*y, -5*y + q = 3*a - 1 for a.
-2
Let x(z) = 7*z**2 + 4*z - 4*z - 1. Let d be x(-1). Suppose 0 = 3*o - 4*t + 6 - 22, 2*o - d = -2*t. Solve -y = -a + o, a = -3*a for y.
-4
Let y(l) = -3*l - 9. Let q be y(-4). Solve 3*p = -15, -p - 1 = q*o - 2 for o.
2
Suppose 0 = -5*p - 25, -p - 16 = -4*i + 1. Solve 2 = -2*u - i*w, 2*u + 10 = 6*u - w for u.
2
Suppose -20 = -3*b + 4*r, b + 2*b - 2 = -5*r. Let i be 1 + b + -2*1. Suppose -5*s + s = 5*w - 140, 84 = i*w - 5*s. Solve 0*n - d = 2*n + 11, 5*d + w = -n for n.
-3
Let h(b) = -b**2 - 5*b + 3. Let d be h(-5). Suppose 2*t - 2*f = 8, t + 3*t + 3*f = 23. Solve 3*p = 4*z - 5 - t, 0 = -d*p + z - 7 for p.
-2
Let s be (-63)/(-12) - (-1)/(-4). Let k = 27 - 22. Solve w + 8*z = 3*z + k, 4*z = s*w - 25 for w.
5
Let n(m) = m**3 - 3*m**2 + m + 5. Suppose -10 = -5*y, r - 3*y + 2 = -0*y. Let h be n(r). Solve 40 = 5*b - 3*j, 0 = -6*b + 3*b + 2*j + h for b.
5
Let l(j) = -3*j**2 - 3*j + 2. Let p(k) = -13*k**2 - 13*k + 8. Let i(f) = -9*l(f) + 2*p(f). Let a be i(2). Solve 26 = 2*w - 0*w + a*z, -4*z = -4*w + 4 for w.
5
Let c be (-2)/(-8) - 22/(-8). Let z be 1 + (1 - 1) + -1. Let m(t) = -2*t**2 - 23*t + 14. Let s be m(-12). Solve -c*r + 9 = -2*w - s*w, z = -w - 2*r + 6 for w.
0
Suppose -7 = -5*r + 13. Suppose 0 = -r*y + 3*y. Let n(u) = -2*u + 7. Let c be n(-3). Solve -2*v + c = 2*d + 3, 5*d - 10 = y for v.
3
Let p be 4/18 + (-672)/108. Let n be (-10)/(-14) + p/(-21). Solve 3*m - y + 21 = n, 0 = -4*m + 5*y - 45 for m.
-5
Let d be (2/(-4))/((-9)/54) - 1. Solve 3*u + 3*i = 15, -d*i = u + i - 9 for u.
3
Suppose 4*b - 3*o - 10 = -o, o - 3 = 0. Solve 2*y - 2*a - 8 = -0*a, 0 = b*y + 3*a + 5 for y.
1
Let t(k) = k**3 + 5*k**2 + 3*k - 3. Let q be t(-3). Solve -5*b = 2*r + 1, 0 = -3*b + 2*r + q + 3 for b.
1
Let u = -2 + 6. Solve 5*n = -2*o + u - 22, 5*o - n = -18 for o.
-4
Let p = 15 - 10. Solve -33 = -2*r - p*u, -5*u + 6 = -3*r - 7 for r.
4
Let r = 1 + 4. Suppose r = m + 4*m. Solve u + 3*w = -m + 3, 4*u = 4*w + 24 for u.
5
Let a(l) = -3*l + 15. Let c be a(6). Let o(u) = 2*u + 8. Let d be o(c). Solve 0 = 2*k + d*n + 4, -3*k + n = 3 + 11 for k.
-4
Let n(r) = -r**2 - 10*r - 6. Let u = -13 - -4. Let o be n(u). Solve 0*q = -2*q + o*f - 7, -3*f = -5*q + 5 for q.
4
Let s(r) = 3*r - 21. Let w(v) = 2*v - 11. Let o(n) = -3*s(n) + 5*w(n). Let f be o(-8). Solve 4*q = k + 21, 2*q - 28 = -f*k + 4*k for q.
4
Let d(h) be the first derivative of -h**3/3 - 4*h**2 - 6*h + 3. Let u be -9 + 2 - 2/(-2). Let v be d(u). Solve 2*s - v = 4*t, -t + 0*t - s = 6 for t.
-3
Let c(s) = s. Let k(j) = -3*j + 11. Let u(v) = 4*c(v) + k(v). Let o be u(-11). Solve 0*n - 4*w = -3*n + 15, o = 4*n - 5*w - 20 for n.
5
Let k = -15 - -9. Let l be 21/k*2*-1. Let v be (l/2)/((-2)/(-4)). Solve t + 2*n = -v, 3*n - 4 = 4*t - n for t.
-3
Suppose 4*z = 7*z - 30. Suppose -3*p = -6*p + 21. Let d be (-2)/p - (-1156)/28. Solve 2*l + 28 = -2*c + z, -5*c = 4*l + d for c.
-5
Let f be (-20)/(-6) - 6/(-9). Suppose -y + 5*b = -4, -4*b + 4 = y - 7*b. Solve 0 = f*t + 4, 5*j - y*j + 3*t + 6 = 0 for j.
-3
Suppose 0 = 5*r - 2*u - 25, 4 = 3*r + u. Let h(o) be the first derivative of 2*o**2 - 3*o + 1. Let j be h(r). Solve 2*d - 8 = 4*y + 10, -4*d = y + j for y.
-5
Let q(z) = -z**2 + 13*z + 2. Let d be q(13). Suppose -g - d*h + 28 = 0, -g - 4*g - h = -122. Solve -2*o - a - a = 8, -5*o = a + g for o.
-5
Suppose 3*c + 3*t = 0, 5*t = -c - 12 - 4. Suppose -w + 0 + c = 0. Suppose -2*f - 3 = n - 9, -2*f - 5*n = 2. Solve 4*l - 2*x = -f, x - 2 = 5*l - w*l for l.
0
Suppose -5*p + 3 = -2*p. Let a = p + -1. Solve a = -5*j + f - 4*f - 6, 4*f - 3 = -3*j for j.
-3
Suppose 0 = -5*g + 7*g - 8. Solve -a + g = -2*a, 0 = 2*t + 5*a + 26 for t.
-3
Suppose 3*f = 8*f - 15, -f - 17 = -4*g. Suppose 5*s - 2*s + 12 = 0, g*s = -5*x - 20. Solve -3*v - 2*k + 1 + 2 = 0, 3*v - 5*k + 18 = x for v.
-1
Let n(c) = -c**2 - 2*c - 1. Let p be n(-1). Solve 3*q + 2*t + 1 = 0, p = 2*q - 4*q + t + 11 for q.
3
Let h(w) = w**2 - w + 1. Let y(m) = -4*m**2 - m + 2. Let z(o) = -5*h(o) - y(o). Let c be z(3). Solve -d + j + 8 = 0, -c*d = d + 2*j - 4 for d.
4
Let x(y) = -y**2 + 8*y - 8. Let o be x(6). Suppose -11 - 1 = -o*w. Solve -g - i = w*g + 16, -4 = -i for g.
-5
Let f = 3 + -3. Suppose 4*i - 5*j - 7 = 15, f = 3*i - 5*j - 19. Suppose 0 = i*s - k - 18, 0 = -k - 4*k - 15. Solve -s*n + 6 = -p - 13, 4*n - 2*p - 20 = 0 for n.
3
Let x = -3 + 7. Suppose -4*p + 16 = x*l, 20 = -0*l + 5*l + 4*p. Suppose -7*u = -3*u - 8, 0 = 3*g - l*u - 7. Solve -g*o - j - 2*j + 29 = 0, 11 = 5*o - 3*j for o.
4
Suppose -2*q = -4*u + 240, -5*u + 210 = -4*q - 90. Let c = 37 - u. Let l = c - -43. Solve -3*y + 2*m = -15, 0*y - l = -4*y - m for y.
5
Let v be (3/1 - -3) + 0. Solve 5*p = -4*o + o, 0 = -2*p + v for o.
-5
Let r(u) = -u - 3. Let d be r(-5). Solve -37 = 4*f - 5*w, -f - w + 0*w + d = 0 for f.
-3
Let x be -4 + (-4)/(-2) + (-5)/(-1). Solve b - f + x = -1, -5*f = -b - 4 for b.
-4
Let p(l) = 11*l**2 + 1. Let a be p(-1). Solve 5*k = 2*u + 3*u + 20, -5*u - a = 3*k for u.
-3
Let t = 12 + -9. Solve t*i = -d - 5, -3*i + i - 2*d - 2 = 0 for i.
-2
Let j be 3/9*(-2 + 11). Let m = 4 + -4. Solve h - j = -w, -3 = 5*h - w - m*w for h.
0
Let r(b) = -b**2 - 12*b - 11. Let g be r(-11). Suppose 5*f - 21 + 1 = -5*q, g = 2*f - 2*q + 8. Solve f = -o + 4*s - 3 - 9, 3*s = -3*o + 9 for o.
0
Suppose -3*u - 45 = -0*k - 3*k, 2*u = -4*k + 36. Let i = k - 8. Solve 5*p - 2*z = i*p - 2, -4*z - 3 = 3*p for p.
-1
Suppose -c = -4, -5*c = -3*p + 8*p - 95. Solve -3*f - p = 5*n + 2*f, 