, -3*p = 5*g - 4 + 52. Let f = g - -13. Solve -17 = -f*t + 5*v, 0 = -5*t - 2*v - 25 + 5 for t.
-2
Let t(m) = m**2 + m + 5. Let z be t(0). Suppose 0 = 2*u - 0*u + 5*h + 25, z*h = -u - 25. Solve n + 3*r + 15 = u, 4*r + 19 = 5*n - 1 for n.
0
Let y be (-3)/6*(2 + (-8)/4). Solve y = 5*s, -c - s = -3 - 0 for c.
3
Let h(s) = 2*s - 2. Let b = 4 - 1. Let l be h(b). Solve 20 = -m - m - l*g, 5*g + 25 = 2*m for m.
0
Let d(b) = -b**3 - 1. Let j(y) = -4*y**3 - 4*y**2 + 2*y - 7. Let w(m) = 5*d(m) - j(m). Let z be w(3). Solve -z*r = 5*u + 1 + 4, 2*u + 11 = r for u.
-4
Let x(q) = -q + 1. Let k be 0 + (-1 - 0) + 2. Let u be x(k). Solve u*n = v - n - 4, 0 = 5*n - 5 for v.
5
Let a = 16 - 12. Solve -y + 7 = 2*q - 4*y, -9 = -a*q + y for q.
2
Let f(r) = -r**3 - 4*r**2 + 7*r + 10. Let p be f(-5). Solve x - 4*v = -x + 6, p = 5*x + v + 29 for x.
-5
Let w = -3 - -6. Let b(r) = r - r - w + r. Let p be b(8). Solve -2*h - x - 11 = -0*h, -p*h = 5*x + 30 for h.
-5
Let s be ((-2)/(-4))/((-1)/2). Let m = 1 - s. Suppose -8*r + 47*r - 117 = 0. Solve 5*n - m*y = 3*y - 5, -r = -n - y for n.
1
Let b(v) = -2*v - 9. Let t be b(-7). Suppose t*x - 16 = x. Solve -i + 2*y + 3*y - 11 = 0, 4*y = -x*i + 28 for i.
4
Suppose 2*l - 13 + 9 = 0. Solve 0 = 5*o, -3*v = o + 13 + l for v.
-5
Let b = 8 + 0. Suppose -5*r + b = -17. Solve 12 = -2*j + r*j, -5*q - j = -19 for q.
3
Let i(g) = g**2 + 7 - 2 - g - 7*g. Let w be i(8). Let n be 4/(-10) + 32/w. Solve -4*c + 12 = 5*r, 0 = -3*r + 4*r - c - n for r.
4
Let d(l) = -5*l**3 + 2*l + 2. Let o be d(-1). Solve -4*h - 26 = -2*z, 3*z - 3*h = o*z + 2 for z.
5
Suppose -5*n = -n - 248. Suppose -3*w + 6*y = y - 67, -3*w + 4*y = -n. Solve z - 4*o = o - w, 2*o - 2 = 4*z for z.
1
Let y be 0 - (-6 - (-4 + 3)). Solve 5*s = 3*w - 4*w + 9, 10 = y*s for w.
-1
Suppose -5*j + 4*h + 20 = -4, -4*j - 5*h = -11. Solve -7 = -n + x, -j*x + 0 + 4 = 4*n for n.
4
Let s be 21/(-14)*(-4)/6. Suppose -s = c - 5. Solve 0 = 2*h + 3*h - y, -5*h - c*y = 0 for h.
0
Let u be (-24)/(-60) - 23/(-5). Solve 4*p + 30 - 4 = 3*o, u*o = -2*p for p.
-5
Let d be 3 + (-3 + 5 - 5). Suppose d*r = -4*r + 8. Solve 4*b - t - 3*t = -32, 0 = r*b + 5*t - 19 for b.
-3
Suppose 6*m - 3*m + 2*c = 0, 4*m = 5*c. Solve 3*q = m, -10 = 4*z + z - q for z.
-2
Let n(i) = 0*i**2 - i - 2*i**2 + i**2 + 2*i**2. Let z be n(2). Solve -2 = -3*r + 2*x, -7*x + z = -3*r - 3*x for r.
2
Let d = 26 + -15. Solve -4*j - d = -2*k - k, -3*k + 5*j + 16 = 0 for k.
-3
Suppose 2*n + 2*n = 48. Let t = -20 + 24. Solve -2*w - t*z = -6*w, w - n = -3*z for w.
3
Suppose k + 3 + 9 = 4*g, 4*k = -16. Suppose -5*i + 4*t = -31, -2*i = -0*i + 2*t + g. Solve -u + 2*b + 10 = 0, 0 = u + 7*b - i*b + 20 for u.
0
Let j be 10/(-4) + 2/(-4). Let f be (-6)/j*(0 + 1). Solve -9 = 4*g - 5*o, 2*g + 6 = -f*o + 6*o for g.
-1
Let x = -51 - -56. Solve 0 = -x*n - 4*r - 15, 2*r + r + 3 = -n for n.
-3
Suppose -5*g = -32 - 43. Solve -3*a - g = 3*o - o, -o + 20 = -4*a for o.
0
Let u(r) = -r**3 + r**2 + r + 2. Let f be u(0). Let w(v) = 13*v**2 - v. Let c be w(1). Let a = -1 + c. Solve f*o = 3*x - 6, x + a = o + 4*o for x.
4
Let v be (-1 - (0 + -1)) + 5. Let s(a) = a + 5. Let u be (-21)/(-4) + (-2)/8. Let z be s(u). Solve v*c - 5*i = z, c + i + 0*i = 4 for c.
3
Suppose 22 = -0*d + d - 5*r, 24 = 2*d - 5*r. Suppose s - d*s = 0. Suppose s = u + 3*u - 20. Solve 2*c + c + 32 = 5*o, -3*o = u*c + 8 for o.
4
Let q be (0 - -6) + 6/2. Let s(u) = u**2 - 9*u + 1. Let z be s(q). Let i be 3 + 5 - (4 - z). Solve 3*j - 5*j + 5*r = 16, 3*r = i*j + 2 for j.
2
Let k = -7 - -18. Let i = k + -5. Solve -4*v = -3*h - 13, 20 = i*v - v - 5*h for v.
1
Let x(o) = -o - 8. Suppose 2*i = 3*i + 10. Let n be x(i). Solve 0*u + 4*u = n*y + 20, -2*y = 4*u - 4 for u.
3
Let o = 9 + -7. Suppose -y = o*y - 12. Solve -19 = y*j + l, 0*l = -2*j + 5*l - 15 for j.
-5
Suppose 2*d - 38 + 12 = 0. Let w = -8 + d. Let s(v) = -v**2 - 7*v - 3. Let r be s(-6). Solve w*p + 20 = -f, -5*p - 22 = r for f.
5
Let k be ((-1)/3)/((-3)/171). Solve 4*a - 4*p = -36, k = -2*a - a + p for a.
-5
Let u = 3 - -1. Suppose -2*i = 3*x - 12, -3*i + 0*i - 5*x + 20 = 0. Let v = i - -7. Solve -4*h = -4*k - 0*k + 4, 0 = -3*k + u*h + v for k.
-3
Suppose -2*p + 14 + 2 = 0. Let b = p + -6. Solve 0 = -c + 5*c, -2*v - 2*c = b for v.
-1
Let r be -1 + (-7 - -2)/(-5). Solve r*q + 7 = -q - 4*i, -2*i - 11 = -q for q.
5
Let y = -4 + 8. Let z(c) = c**2 - 10*c - 8. Let i be z(11). Solve i*q + 5*t = 13, -2*t + 4 = y*q + 2*t for q.
-4
Let f(p) = -p**2 - 3*p + 12. Suppose -22 = 3*q - 7. Let m be f(q). Solve 2*i = -4*g, -m*g + i + 2*i = -8 for g.
1
Let l = 5 - 0. Let x = -59 - -60. Solve -2*s - x = -3*k, 0*s - 20 = s + l*k for s.
-5
Let w(o) = o + 4. Let t be w(4). Let d(n) = -n**2 + 8*n + 4. Let b be d(t). Solve 5*s + 8 - 3 = 5*x, 2*s + b*x = -8 for s.
-2
Let c(r) = -r**2 + 3*r + 2. Let l be c(3). Let o(k) = 1 - 3*k**l - 4*k + 4*k**2 - 4. Let z be o(5). Solve 5*s - y = z*y + 4, -2*s + 5*y - 6 = 0 for s.
2
Suppose 10 = 2*p + 3*p. Solve -24 = -2*i - 4*d, p*i - 6*i + 4*d = 0 for i.
4
Suppose -2*j = 3*r - 6 + 3, -4 = 4*r. Solve 0 = 2*p - 5*i + 11, 2 = 5*p - j*i + 1 for p.
2
Let d(a) = -2*a. Let r be (-4)/(-6)*-3*1. Let x be d(r). Let v be -2*(2 + 3/(-1)). Solve -22 = 5*b - 0*b + x*l, v*b + 7 = -l for b.
-2
Let x be (-1 - 3)*(-6)/8. Solve 0 = 2*f - 5*k - 3 - 2, x*f = -4*k - 4 for f.
0
Suppose 5*r - 32 = -2. Suppose -20 = 4*s - r*s. Solve -2 = -4*w + 6, -5*o - 5*w = -s for o.
0
Suppose -a = a - 8. Suppose -n = -2*r + 14, a*r = n + 15 + 15. Let q be 78/30 - (-2)/5. Solve -i + r*h = q*h - 18, -3*h = 12 for i.
-2
Let y(c) = -c**3 + 4*c**2 + c + 4. Let k be y(4). Let i(b) = -b**3 + 7*b**2 + 8*b + 8. Let z be i(k). Solve -4*d = -2*j - z, -2*j + 0*d - 5*d = -28 for j.
4
Let j = 36 + -31. Solve -4*f = -f - 2*g, -j*f - g = -13 for f.
2
Suppose 0 = -13*b + 12*b + 3. Let h = 7 + -3. Solve -k + 3*k + 10 = -4*l, -h*l + b*k + 5 = 0 for l.
-1
Let h be 4/(-14) - 279/(-21). Solve -5*c + 8*c = -p - h, 4*p + 17 = -5*c for c.
-5
Let f = 4 - 1. Suppose -7 = w + 3*g, -4*w = 4*g - f - 1. Solve 0 = 2*a - 3*a - w*s + 17, a - 3*s + 15 = 0 for a.
-3
Let z = 5 - -1. Let m = z - 4. Solve -5*l = m*t - 0*l - 3, 2 = -4*t - 2*l for t.
-1
Suppose 16 + 11 = 3*c. Suppose -25 + c = -q. Suppose 0*a + 30 = 5*a. Solve 2*g - 2*i + a = 0, 0*i - 4*i + q = -2*g for g.
2
Let n(s) = -3*s + 3. Let f(u) = -2*u + 1. Let y(w) = 5*f(w) - 2*n(w). Let o be y(-1). Solve -1 = 2*r - t + 1, -3*t = o*r + 12 for r.
-2
Suppose -5*g = 3 - 23. Suppose 0 = -0*r - r + 6. Suppose 0 = r*y - 31 - 29. Solve -q - g = -5*q - 2*i, -y = -2*q - 3*i for q.
-1
Let f(d) = 6*d - 1. Let l be f(-1). Let n be -3 - (0 + 1)*l. Suppose -5*v + n*o = -37, 4*v + 0*o - 26 = 2*o. Solve 2*q = -0*q - 5*m + 8, 5*q = v*m + 20 for q.
4
Suppose 0 = 3*y + y + 2*v - 2, 2*y + 4*v + 2 = 0. Let t be y*(24 - 2) + 0. Solve a = -4*m - 0 - 4, 4*a - 3*m = t for a.
4
Suppose -4*r + 3*x = -16, -4*r + 0*r = 5*x - 16. Solve -m = n - 0*n - 1, r*n - 25 = 3*m for m.
-3
Let x = -4 - -4. Suppose 2*p - 48 - 2 = x. Solve -3*q - p = 2*q + u, 4*q - 3*u + 1 = 0 for q.
-4
Suppose -4*j + 0*z + 28 = -4*z, -13 = -3*j + z. Suppose 5*t + j*y - 24 = -0*y, 5*t - 5*y = 0. Solve 5*b = u, 5*u - t*b + 4*b = 0 for u.
0
Let w(f) = f**3 + 10*f**2 - 3*f - 4. Let b be w(-10). Suppose -5*c = 3*p - b, -2*c + 4*p = -0*p. Solve n - 2*u + c*u - 5 = 0, 6 = -2*n + 4*u for n.
1
Let o be (-2)/5 + (-7)/(-5). Let v be o - (-1*6)/3. Solve 4*w - v*q + 19 = -6*q, 0 = -4*q - 4 for w.
-4
Suppose -2*f = 3*f - 25. Suppose -2*h + 1 + f = 0. Suppose 0 = -0*u + u. Solve c + u = p - h, 3*c + p = -13 for c.
-4
Let h(y) = y**2 - y + 1. Let l(t) = 2*t**2 - 11*t + 4. Let x(v) = -h(v) + l(v). Let c be x(11). Solve 4*g = -4*z, -2*z + g - c = 1 for z.
-5
Let d(o) = -o**2 - 18*o - 3. Let n be d(-17). Solve 4*h - 5*b + 19 = -2*b, -h + n = 3*b for h.
-1
Suppose 3*l = -2*f + 5, 3*l + 5*f = l - 4. Let r(g) = g**3 + 7*g**2 - 9*g - 1. Let z be r(-8). Solve 3*m + 30 = -2*b + z*b, -l*b = -3*m - 24 for b.
3
Let t be 3 + -3 + -1 - -11. Solve -m + 28 = -4*m - 5*v, t = -2*v for m.
-1
Let z be (2 - (1 - -11))/(-2). Suppose 5 - 30 = -z*g. Let v = g - 3. Solve 3*j - 6 = -5*y, 2*j - v*y = -2*j + 8 for j.
2
Let g(q) be the first derivative of -q**3/3 + 5*q**2 + 3*q - 2. Let n be g(10). Solve 5*m + n*i = 3, -2*m - i + 1 = 2*m for m.
0
Let h = -8