
Let n(j) = j**2 - 3*j - 7. Let x(f) = -f**3 + 3*f**2 + f + 2. Let l be x(3). Let m be n(l). Let w = m + -1. Solve 0 = -w*k - 2*k for k.
0
Let l(a) = -2*a - 10. Let p be l(-5). Let c = p - -4. Solve 0 = -0*h - c*h for h.
0
Let w be (6 + -1)*18/10. Let t(i) = 2*i - 14. Let v be t(w). Let d(l) = l**2 - 4*l - 1. Let q be d(5). Solve v = -2*y + q*y for y.
2
Let z be (3 + (-13)/5)*-10. Let t(h) = h**2 + 4*h + 3. Let q be t(z). Solve 0*u = -q*u - 12 for u.
-4
Let m(a) be the second derivative of -a**3/6 + a**2 + 5*a. Let y be m(-3). Solve 0*l - 20 = y*l for l.
-4
Suppose 0*y - 2*n = 4*y - 2, 0 = 2*y - 3*n - 13. Suppose y*g = -3*g. Solve -t + 4*t = g for t.
0
Let c(n) = n**2 + 1. Let x(o) = 6*o**2 + 6*o - 4. Let s(d) = 5*c(d) - x(d). Let h be s(-7). Suppose 2 = 2*m - h. Solve 0*t = m*t for t.
0
Let f(k) = k**2 + 2*k. Let m be f(-2). Let g = 11 + -7. Suppose g*t = -t + 20. Solve t*h - 4 = -m*h for h.
1
Let a = -11 + 17. Solve a + 6 = -3*g for g.
-4
Suppose -4*p - 2*k = -3*k - 35, 0 = 5*p - 5*k - 55. Let g = p + -7. Solve -g - 5 = -2*o for o.
3
Let k(w) = w**2 - 3*w + 3. Let f be k(3). Let x be 1/(((-6)/(-4))/f). Suppose 4 + x = c. Solve j - c = -3 for j.
3
Suppose 0 = -5*o - 5*o + 17*o. Let t(y) = 2*y**3 - 3*y**2 + y - 1. Let q be t(2). Solve o*r + q = -r for r.
-5
Suppose -9*h + l - 7 = -10*h, 0 = 5*h - 2*l - 56. Solve s - 3*s + h = 0 for s.
5
Let d = 42 + -33. Solve d = 4*r - 3 for r.
3
Suppose g - 3*g = -8. Suppose 2*w + 3*t + 63 = 5*w, -g*w + 69 = t. Suppose -a - 3 + w = 5*x, 0 = -a. Solve c = x*c + 2 for c.
-1
Suppose 16 = 2*t - i, 0 = -5*t + i + 2*i + 40. Let r be 0 + -4*4/2. Let l be 26/8 - (-2)/r. Solve 5*d + l = t for d.
1
Suppose 0*a + 3*a - 12 = 0. Solve o = a - 0 for o.
4
Suppose -6 + 74 = 4*g - 2*t, 87 = 5*g - 3*t. Suppose -4*y - 3*n + g = 0, -n - 2 + 7 = 0. Solve y = 2*f + f + 6 for f.
-2
Let i(s) = s**3 - 13*s**2 + 11*s + 17. Let u be i(12). Let y = -12 - -20. Solve 3*x = u*x - y for x.
4
Suppose 8 - 6 = 2*a. Let q be -2 - -2 - (a + -3). Solve t = -q*t for t.
0
Suppose 4*c = -1 - 11, 2*y - 4*c = 12. Suppose 0*p - 2*p = y. Solve -3*l + p*l = 3 for l.
-1
Let f = 1 + 4. Suppose 0 = h - f*j - 23, 2*h - 7*h = 3*j - 3. Solve h*n - 4*n - 1 = 0 for n.
-1
Let l be -2 + 0 + (-1 + 0 - -7). Solve 0 = -l*b - 0*b + 8 for b.
2
Let o be ((-6)/(-4))/((-1)/2). Suppose -c + 6*c - 36 = -3*b, -2*c + 6 = 0. Let a = o + b. Solve 0 = -a*x - 0*x for x.
0
Let v(y) = y**2 + 1. Suppose 3*t = t. Suppose t = -x - 5*w + 14, 0 = -5*x - 2*w + 1 - 0. Let j be v(x). Solve -3*p + 5 = -j*p for p.
5
Let c be ((-6)/(-3) + -2)/(-2). Suppose 5*o - o - 4 = c. Solve -v = o + 1 for v.
-2
Let r(b) be the third derivative of 0*b + 0 + 0*b**3 - b**2 + 1/8*b**4. Let a be r(1). Solve -a*k = -k for k.
0
Suppose 0 = 4*c - 3*w - 4 - 59, -4*w = -c + 32. Let n be (1/(2/c))/1. Solve 3*o + n = 15 for o.
3
Let y be ((-18)/(-36))/(2/12). Solve 0*j = -j - y for j.
-3
Let v(j) = j**2 + 5*j - 2. Let m be v(-5). Let b be 0/(-3) - (m + 2). Suppose 3*f - 5*f = 0. Solve b = 3*x - f*x + 15 for x.
-5
Let y be 12/7*56/16. Let v = 6 - y. Suppose 4*h = h + 6. Solve v = h*j - 5*j + 12 for j.
4
Let h(q) = -2*q**3 - 3*q**2 + q - 4. Let p(m) = m**3 + m**2 - 3. Let y = -5 - -5. Let o be p(y). Let k be h(o). Solve 2*g + k = -2*g for g.
-5
Suppose 16 = l - 5*l. Let r(c) = c + 5. Let y be r(l). Solve w - 4 = -y for w.
3
Let n(y) = 6 + 3*y - 8 - 1. Let f be n(6). Suppose 5*g - f = -5*a, -g + 4*a + 7 = 19. Solve 2*m = -g*m for m.
0
Let s(t) = t + 3. Let k be s(0). Suppose 25 = 5*p + 2*i, 2*i = 3*p + k*i - 14. Suppose p*z - g = 7, -z + 4*g + 11 = 5. Solve h = -0*h + z for h.
2
Let d(i) = -i**3 + 2*i**2 + 4*i + 2. Let f be d(3). Solve 0 = -l + f*l + 8 for l.
-2
Let t be -3 - (-38 + 0/2). Let s = t - 19. Suppose 4*f = 5*x - 16, -x + 2*x + f = -4. Solve 4*z + s = -x*z for z.
-4
Suppose -20 = 4*z - 5*s, 3*z = -s + 4 - 19. Let q be -11 + (-3 - -4 - -2). Let w = z - q. Solve 5 = -8*l + w*l for l.
-1
Let h be -3 - (-2 - (-2 - -7)). Suppose 0 = 5*i + 4*q - 17, 3*i - q - h = 13. Solve i = -3*k + 2*k for k.
-5
Let o be ((-54)/3 + 3)/(-1). Let p be (-2 + 0 + 3)*3. Suppose 6*w - w - 30 = -5*u, 0 = p*u + w - 10. Solve -u*m + o = -5*m for m.
-5
Let v = -2 + 4. Let u(f) = -f + 4. Let n be u(5). Let z be -3*(10/(-3) - n). Solve -z = -c - v for c.
5
Let y = -476 + 721. Let c be 1/(-4) - y/(-20). Solve -3*x - x = c for x.
-3
Let n be (-1 - 0)/(-2 + 1). Suppose o = 2*o - n. Let w = -2 - -7. Solve -2*g + w - o = 0 for g.
2
Suppose 13 = 4*d - 3*a, 2*d + 2*d - 14 = 2*a. Suppose -w - 21 = -d*w. Let i be 2/w + (-38)/(-14). Solve -3*g - i = -4*g for g.
3
Suppose -2*n + 16 = 4*g, -4*g + 4*n = -0*n - 4. Let u = g + -6. Let x be 4 - (u + 2 - -2). Solve x = -t + 8 for t.
5
Let r be 1 - (-3 + 0/2). Suppose -n - 3*j = 11, -2 = -3*n + 2*j - r*j. Suppose 16 = 4*y + 2*b, 14 = 3*y + y + 3*b. Solve y*w - w - n = 0 for w.
1
Let a(f) be the first derivative of -f**4/4 + 2*f**3 - 3*f**2/2 - 6*f - 14. Let p = 17 - 12. Let z be a(p). Solve 0 = 4*g - 0*g - z for g.
1
Let g be 2/9 - 48/(-27). Suppose -5*j = -13 - g. Suppose -2*f + 9 = j. Solve f*t - 5 = -2*t for t.
1
Let i be 0/((-2)/(-2))*(32 - 31). Solve 0*c - c = i for c.
0
Suppose 5*l + 2*j = 22, -4*j = -4*l - j + 13. Suppose 4*c = 8, -3*b = -2*c - 1 + 5. Solve b*d = l*d for d.
0
Let m = -1 + 7. Let j be m/(4/(0 + 2)). Solve 11 - j = -2*y for y.
-4
Suppose 2*l + 2*l - r - 12 = 0, -3*l + 22 = -4*r. Solve 2*f - 2 - l = 0 for f.
2
Let h be -12 - -9 - (0 - 0). Let b be ((-2)/h)/((-1)/(-18)). Solve -4*s - b + 0 = 0 for s.
-3
Let h(t) be the first derivative of -3/2*t**2 - 1/2*t**4 - 4/3*t**3 + 4 - 2*t. Let s be h(-2). Solve -s*z = -z - 12 for z.
4
Let j(r) = r**2 + 8*r + 8. Let o be j(-7). Suppose 27 = p - 5*k, k - 6*k - 23 = p. Solve p*t + o = -1 for t.
-1
Let v(k) = -5*k - 4. Let x be v(-2). Solve -b = -2 + x for b.
-4
Let z = 1 + -2. Let s = z + 1. Solve h - 3 = -s*h for h.
3
Let a be ((2 - 0) + 1)*2/3. Suppose o + 4*o = 0. Solve o = a*l + l for l.
0
Suppose 2*h + 4*o - 3 = 21, -5*h - 4*o = -30. Let a(y) = 5*y - 1. Let v be a(2). Solve n - v = -h*n for n.
3
Let l = 34 + -21. Let o = l - 7. Let r = -4 + 6. Solve r = 5*q - o*q for q.
-2
Let t be (-4 - -4) + 1 + -1. Solve r + t*r = -2 for r.
-2
Let o be 0*(4 + 36/(-8)). Solve o = 4*w + w for w.
0
Let g = -2 + 9. Let f(t) be the first derivative of t**3/3 - 5*t**2/2 - 6*t + 12. Let u be f(g). Solve -m + u = m for m.
4
Let j be 3 - (-1 + 1 + 3). Let i = 40 - 38. Solve r + i*r = j for r.
0
Let s(h) = h + 10. Let y be s(-11). Let k be -3 - (y + 0) - -7. Solve -k*j = -4*j + 3 for j.
-3
Suppose 0 = 5*w - 3*t - 86, -3*w - t = 3*t - 69. Let v be 2/7 - w/(-7). Solve 0 = -v*c + 12 + 3 for c.
5
Suppose -4*a = -0*a + 3*b - 6, -3*a + b - 2 = 0. Solve a*u = -3*u + 9 for u.
3
Let t = -99 + 109. Solve t = -2*b - 3*b for b.
-2
Suppose -5*x + 2 = -2*p, 6 = -0*x + 3*x. Solve -13 = -p*t + 3 for t.
4
Suppose 0 = 5*m + m. Solve m*d + 4 = -2*d for d.
-2
Let i be 8/(-20) - (-34)/10. Suppose -4*q = -i*q - 2. Let s be (-11 - -1)/(-4 + q). Solve -s*o = -2*o for o.
0
Let q be -2 + (-1 - (0 - 2)). Let r be q/(-4) - (-378)/24. Solve 0*l = -4*l - r for l.
-4
Let p(z) = z**3 - 3*z**2 - 2*z + 2. Let m be p(3). Let f be (-46)/(-14) - m/(-14). Solve -k + 10 = -f*k for k.
-5
Let b = -1 + 0. Let l = b - -3. Suppose 0 = l*n + 3*n - 20. Solve -n*q = -3*q + 3 for q.
-3
Let z(y) = -y**2 + 7*y - 4. Let q be z(6). Let u be (-2)/(-4)*q*-1. Let i be 2*(0 - u) + 2. Solve -3*r = 11 + i for r.
-5
Let h(j) = -j + 72. Let p be h(0). Suppose 0*i - p = -i. Let y be 2/9 - (-56)/i. Solve y = -w - 0*w for w.
-1
Suppose 6 = 3*x - 3. Let y(z) be the first derivative of z**4/4 + 7*z**3/3 - z**2 + 2*z + 3. Let p be y(-7). Solve x*u + p = -u for u.
-4
Let g = -14 + 16. Suppose f + g*i = -8, -3*f = -4*i - 13 - 3. Solve -2*k + 12 - 2 = f for k.
5
Let n be ((-5)/(-5))/(2/4). Let u = n - -1. Solve 0*g - g = -u for g.
3
Suppose 0 = -3*s - 3*u + 8 + 37, 5*s + u = 79. Suppose 0 = -q - 3*q + s. Solve q*o - 19 = -7 for o.
3
Suppose -a + 3 = -9. Solve 2*v = 6*v - a for v.
3
Let q(f) = f**2 - 8*f - 13. Let u be q(11). Solve -4*v = v + u for v.
-4
Let t = 1 - -3. Let k = 3 - t. Let o(y) = -8*y - 1. Let x be o(k). Solve 0 = x*w - 3*w - 20 for w.
5
Suppose -3*j + j + 6 = 0. Solve t + 6 = j*t for t.
3
Let v(f) = -f**2 - 11*f - 