5. Let m be z(2). Solve 12 = -2*t + m*t for t.
4
Let s = 0 + 0. Let w be (-5 + 4)*(0 + -3). Let j be s + (-3 - w/(-1)). Solve k = -j*k for k.
0
Let y(g) = g**3 + 7*g**2 + 4*g - 7. Let b(i) = i**3 - 8*i**2 - 10*i + 3. Let m be b(9). Let h be y(m). Suppose h = 2*j - 1. Solve -j*r + 14 = -1 for r.
5
Suppose 5*j = o + 15, -14 = -4*o - 5*j + 1. Suppose 3*p - 4*q = 14, 5 + 0 = 5*q. Let n be 2/p + (-10)/(-6). Solve n*v - 2 - 4 = o for v.
3
Let i(d) = d**3 - 6*d**2 + 7*d - 2. Let l be i(5). Let s = 49 + -36. Let c = s - l. Solve 3*b - 10 = c for b.
5
Let o be (-28)/(-98) + (-38)/(-14). Solve -8 = -o*i + i for i.
4
Let u(q) = -q + 2. Let l be u(8). Let r(c) = c**3 + 7*c**2 + 5*c - 1. Let h be r(l). Solve -2*a - h = 3*a for a.
-1
Let w = -35 + 63. Let f = w - 15. Solve -f + 1 = -3*x for x.
4
Suppose -n + 3*n - 4 = 0. Let b be (2 - (-2)/(-1))/n. Let y be 4/((-12)/(-27)) - b. Solve -2*v - 3 = -y for v.
3
Suppose -3*n + 18 = s - 72, 150 = 5*n + 3*s. Suppose -4*i + 3*b = -23, 4*b = 5*i - 0*b - n. Solve 0 = -2*y + i + 8 for y.
5
Let k(g) = g**2 + 3*g + 3. Let v be k(-2). Let w = 10 + -5. Solve u = v - w for u.
-4
Let a(w) be the first derivative of 5/2*w**2 + w + 1. Let l be a(5). Solve -l + 6 = -5*i for i.
4
Let f = -3 - -9. Suppose 0 = 5*v - 4*v. Suppose p = 2 - v. Solve 0 = -p*w - w - f for w.
-2
Suppose 0 = 3*r - 3*i, 3*r + 2*i + 9 = 8*r. Suppose 0 = -5*q, -b + 4*b + r = -4*q. Let n = b + 3. Solve -c = -n - 0 for c.
2
Let u(i) = i**3 + 3*i**2 - 4*i + 3. Suppose 5*f = -3*r - r - 21, 5*f = -5. Let z be u(r). Solve -z*n - n = -20 for n.
5
Suppose i + 0*i = t + 2, 4*i + 2*t + 22 = 0. Let u(v) = -3*v - 3. Let x be u(i). Suppose -5*h + x = -9. Solve -10 = h*y + 2*y for y.
-2
Suppose 0 = -3*c - 0*m - 2*m - 8, 5*c = -5*m - 10. Let u be 9/(1 + c) + 10. Suppose -u*p = -2*p - 30. Solve -p + 2 = -o for o.
4
Suppose h - 9 = -3*n + 6, -5*n - 8 = -2*h. Let x(t) = 6*t**2 + t + 1. Let r be x(-1). Let i be (r/h)/(2/9). Solve -q = i*q + 16 for q.
-4
Suppose -7*t + 16*t - 18 = 0. Suppose 4*r - 2 = -q, -r - 3 - 1 = -2*q. Suppose -t*i + 4*h - 3 - 1 = r, -10 = -4*i + 2*h. Solve u - i*u = -15 for u.
5
Let y be 1*(-1)/(2/16). Suppose 0*r = r + 2. Let a be (1/r)/(y/16). Solve -a = 3*v + 11 for v.
-4
Let u = -10 - -14. Suppose -u*t + 3*l + 18 = 0, -5*t + 4*l + 2 = -20. Solve -3*x + t = -0 for x.
2
Suppose 0 = 5*v - 12 - 3. Suppose -3*u + v = m + 7, -m = 4*u + 4. Solve p + 2 + 2 = u for p.
-4
Let w = 3 - 0. Suppose 3*y - w = 6. Solve y*k = -0*k for k.
0
Suppose 1 = -3*f + 7. Suppose l = 4*l + n - 8, -f*l = -3*n - 20. Suppose d - 8 = -z, -28 = -3*z - 0*z - l*d. Solve z*p - 5 = -1 for p.
1
Let u = -12 + 15. Suppose u*x + x = 16. Solve 3 = -x*b - 5 for b.
-2
Let i(o) = 3*o - 17. Let y be i(9). Solve 0*c = -5*c + y for c.
2
Let f(z) = -z**3 + 8*z**2 - 9*z - 10. Let v be f(6). Solve -3*s - s = v for s.
-2
Suppose -5*u = 3 - 18. Let i = 10 - 10. Let o = i + u. Solve o*n - 11 = -2 for n.
3
Let c(b) = 11*b + 1. Let h(p) = -p**2 + 2*p + 1. Let m be h(4). Let f = -6 - m. Let q be c(f). Solve g = 4*g + q for g.
-4
Let i(b) = -2*b - 6. Suppose -3*v - 20 = -5. Let q be i(v). Solve p - 12 = q*p for p.
-4
Suppose 2 = -k + 4. Solve k*z - 4 = -2 for z.
1
Let k = -2 - -9. Let m = k + -3. Solve 5*z + 19 = m for z.
-3
Let k(w) = w**3 + 3*w**2 - w - 1. Let s be k(-3). Let g = -30 - -42. Suppose -s*j - 4 = -0*h - h, -3*h - j = -g. Solve h = x + x for x.
2
Let b(t) be the third derivative of t**5/60 - 7*t**4/24 + 4*t**3/3 - t**2. Let u be b(6). Suppose 3*d + 3 = 9. Solve 0*w + d = u*w for w.
1
Suppose 0 = -0*w + w. Suppose -5*r = -5*k - 5, 2 = -r + 4*k - w. Solve r*d + 2 = 4*d for d.
1
Suppose 1 = -2*w + 5. Solve w*x + 5 = 3 for x.
-1
Suppose -3*a - 20 = -7*a, 3*a - 25 = -5*r. Solve r*d + 3 = -3 for d.
-3
Suppose -3*n = 3*j - 21, 2*n + 3 = -j + 8. Solve 4 = -5*d + j for d.
1
Suppose 3*m = -2*a + 11, 3*m + 4*a - 12 - 1 = 0. Solve -m*k + 8*k + 5 = 0 for k.
-1
Suppose -19 = h - 2*h + 3*j, 4*j = 4*h - 36. Suppose -3*x = -0*x - h*q - 2, 0 = -2*x + 4*q. Solve -m + 5 = -x*m for m.
-5
Let u(x) = -2*x**2 + 15*x + 12. Let q be u(8). Solve 2*o - 6 = -q for o.
1
Let t(p) = p + 4. Let a be t(-2). Suppose -a*f + 7*f - 2*l = 18, 3*f = -4*l - 10. Solve f*r = r + 4 for r.
4
Let c(s) = 8*s - 1. Let i be c(2). Let k be (-2)/(-5) - (-54)/i. Let g be 1/3 - 2/6. Solve 4*p - 2*p + k = g for p.
-2
Let v = -30 + 36. Solve 0 = -3*k + v*k - 15 for k.
5
Let p(n) = n**2 + 8*n + 9. Let a be p(-7). Suppose 0*i = a*i - 8. Solve 10 - i = -2*s for s.
-3
Let g(v) = -v**2 + 3. Let h be g(0). Suppose 1 - 7 = -h*s. Suppose b + 9 = -2*y - y, -b + 3*y = -9. Solve -2*j + 3*j + s = b for j.
-2
Let f(m) = 5 + 2 + m**2 + m - 3. Suppose -5*y = -y. Let l be f(y). Solve -l = -w - w for w.
2
Suppose 8 = j + j. Suppose 12 = 4*f + j*b + 4, -5*b = 3*f - 14. Let w be 2/(-2)*(2 + f). Solve w = 4*u + u - 15 for u.
3
Let r = -41 + 45. Solve 1 = 3*u + r for u.
-1
Let v be (25/(-5) - 7)*1/(-3). Solve 0 = 2*p - p + v for p.
-4
Let o(b) = b**3 - 5 + 3 + 4 + 0 + 3*b**2. Let z be o(-3). Solve -p = z - 3 for p.
1
Let o be ((-5)/3 - -1)*-3. Suppose 0*n = -o*n + 2. Let u be 4 - (-4)/(-1 - n). Solve 0*k = u*k - 6 for k.
3
Let q = 31 + -53. Let t be q/(-26) + 4/26. Solve 5*k - t + 6 = 0 for k.
-1
Let s = 63 - 61. Solve -4*a + 14 + s = 0 for a.
4
Let x be ((-5)/10)/((-2)/8). Suppose 0 = x*q - 3*q. Let s = -8 - -12. Solve q*m - s = 2*m for m.
-2
Let u = 12 - 6. Let z = -2 + u. Solve 16 - 4 = z*x for x.
3
Let n be (-2)/(-4) - 5/(-2). Suppose n*p - 42 - 21 = 0. Solve -1 + p = -5*d for d.
-4
Let o be (-1 - -21 - 1) + 0. Suppose 4*z + 4*l - o = 5, -4*l = 2*z - 16. Solve 0 = z*p - 7*p + 3 for p.
1
Suppose 2*z = -3*z + 45. Let o(w) = w - 29 + 29. Let y be o(2). Solve -5*v = -y*v - z for v.
3
Let l(q) = q**2 + 9*q. Suppose 36 = -s - 3*s. Let n be l(s). Solve -3*c - 9 + n = 0 for c.
-3
Let z be (12/8 - 0)*2. Let x(s) = s**2 - s + 5. Let n be x(0). Suppose z*m + m + 4*u = 36, n*m = -u + 25. Solve 2 = -m*d - 14 for d.
-4
Let s be ((-10)/(-8))/((-2)/(-40)). Let t = s - 13. Solve 2*k + k = -t for k.
-4
Suppose -14 = -2*h - 2*o, 3*h = -o + 1 + 30. Let w be (-106)/6 + (-4)/h. Let u = w + 27. Solve 4*x + u = x for x.
-3
Let p = -6 - -5. Suppose 0 = 2*h + 8, 0*u - 2*u - 2*h - 40 = 0. Let o = p - u. Solve 4*x - 1 = o for x.
4
Suppose 6 = 3*q + 3*f, -2*q + f + 19 = -2*f. Suppose -23 = -q*p - 3*v, -3*v - v = -p. Suppose -2*o - c + 10 = 0, p*o - 28 + 8 = -5*c. Solve -o*s = -s - 8 for s.
2
Let q = 50 + -50. Solve -5 = -5*c - q for c.
1
Let c = 22 + -37. Let h be (-6)/c + (-156)/(-10). Let b be (-9)/(-4)*h/6. Solve -p = 2*p + b for p.
-2
Let g be 46/(-10) + (-16)/40. Let o(a) = -a**3 - 4*a**2 + 5*a + 3. Let i be o(g). Solve -i*c - 6 = -0*c for c.
-2
Let k(l) be the second derivative of 0 + 1/6*l**4 - 1/6*l**3 + l + l**2. Let q be k(2). Solve -b - q = -3*b for b.
4
Suppose 0 = -5*v - 4*n - 5, -4*v - v + n + 20 = 0. Suppose 5*z - 11 - 4 = 0. Let m be 4 + -1 + 2 + z. Solve v*b + m = -b for b.
-2
Suppose -11*g + 5 = -28. Suppose 2*a = -2*j + 4, -6*a + 55 = -a - 4*j. Suppose -4*w - 4*r - g = -a*r, -r + 8 = w. Solve -w*s = -6*s for s.
0
Let u be (-1)/(-5) - (-2)/(-10). Suppose -s - 2*a + 20 + 1 = u, 3*s - 3*a = 18. Suppose 3 = 3*j, k + j = -0*k + s. Solve -k = 5*f - 5 for f.
-1
Let m(y) = -y**3 - 3*y**2 + 5*y + 5. Let f be m(-4). Solve -f = z - 0 for z.
-1
Let g(m) = -m**3 - 4*m**2 - 2*m - 1. Let h be g(-3). Let i(a) = -a - 2. Let f be i(h). Solve 0 = f*p + 8 for p.
-4
Suppose 3*w = 64 + 8. Suppose v + 2*v - 3*j = 21, 0 = -3*v + 4*j + w. Solve -u - 3*u = -v for u.
1
Let v(t) = t + 3. Let r be v(2). Solve -3 = r*x + 2 for x.
-1
Suppose 16 = -7*z + 65. Solve 2*f - z = 1 for f.
4
Suppose -3*k = 2*m + 51, 3*m = 7*m + 2*k + 82. Let a = 19 + m. Solve -2*n - a = -7 for n.
3
Suppose 1 = 2*q - 5. Solve 2*z = -z - q for z.
-1
Let q(n) = -n**3 + n**2 - n + 1. Let r be q(1). Let g = r - -3. Suppose 0*a + a = g. Solve p = -a*p for p.
0
Let v = 8 - 6. Suppose -5*d = -3*a + 5*a - 207, 5*a - 87 = -v*d. Let x = d - 22. Solve x - 7 = 4*t for t.
3
Let z(f) = f**2 + 13*f - 6. Let g be z(-14). Solve -5*a = g + 7 for a.
-3
Suppose -2 = -3*d + 4. Suppose -5*i = -d*o + 8 + 31, -3*o - i + 67 = 0. Suppose -n + 2*p = 3*p - 3, -5*n + 2*p = -o. Solve -2*l - 2 = -n for l.
1
Suppose 3*a - 14 + 2 = 0. Let h be (10/45*-6)/(4/