 2*j + y = 0. Solve -w*f + 2*f - 9 = 0 for f.
-3
Let q = 40 - 36. Solve q*n + 2 = 3*n for n.
-2
Let i be (-4)/(-3) - (12/(-9))/2. Solve 0 = i*j - 8 - 0 for j.
4
Suppose h + 12 = 5*h. Let x = 37 + -35. Solve -15 = h*i + x*i for i.
-3
Suppose -5*j - 4*t = -20, 0 = 4*j + 5*t - 1 - 6. Let w = -4 + j. Suppose 0 = -4*a + 2*c - 0*c + w, -4*c = 8. Solve a = d + d + 4 for d.
-2
Suppose -a - 2 + 0 = 0. Let r be a/(-1)*-2 + 0. Let b = 6 + r. Solve -22 = -5*g - b for g.
4
Let z(b) = b. Let s(l) = -l. Let c be s(4). Let x be z(c). Let j be (-6)/x - (-3)/6. Solve 5*f + j = -3 for f.
-1
Let h(q) be the second derivative of -q**3/2 + q**2/2 - 3*q. Let y be h(3). Let s = 11 + y. Solve -s*u + 0 = -3 for u.
1
Let k be 1*(-6 - 3)/(-3). Solve -12 - k = 3*z for z.
-5
Let d be (-2)/(-10) - (-11)/(-5). Let a be (-1)/(1/(-5)) + d. Suppose -15 = -5*o + 35. Solve -5*t = -a*t - o for t.
5
Let f(g) = g**2 + 2*g - 1. Let d be f(1). Suppose -3*b = d*a - 5, 5*a - 1 = 2*b + 21. Solve -8 = -a*i - 0*i for i.
2
Let x(r) = -r**2 - 5*r + 2. Let a be x(-4). Let j(k) = k**3 + 7*k**2 + 8*k + 12. Let h be j(-6). Solve h = 4*o - a*o for o.
0
Let c = 22 - 19. Suppose c*h + h - 32 = 0. Solve 2*a - 4*a = h for a.
-4
Let a(s) = s**2 + 6*s - 3. Let q be a(-7). Suppose -73 + 29 = -q*z. Solve -4*r + 3 - z = 0 for r.
-2
Let t = 10 - 6. Let b = 12 - 6. Solve t*i + 2 = b for i.
1
Suppose 5*y = 2*y - 57. Let z = -12 - y. Let d = 11 - z. Solve 2*l - 3*l - d = 0 for l.
-4
Suppose 5*r - 86 = 14. Suppose 4*s - 80 = r. Solve 4*u + u = -s for u.
-5
Suppose -5*l + 0*l = -5. Solve -2*c = -l + 7 for c.
-3
Suppose 4 = 4*i - 4. Suppose i*s - 9 = -y, 2*y + 3*s - 15 = -0*y. Solve -y*c = -8*c for c.
0
Let s(m) = -2*m + 14. Let u be s(6). Suppose 5 = u*w - 1. Solve 0 = -w*n + n + 2 for n.
1
Let m be 1 + 0 + -1 - -2. Suppose 2*w - 16 = -2*w. Suppose 2*u = -2*r + 2, -u + w*r + 9 = r. Solve -u*i = m*i for i.
0
Let v(r) = 8*r. Let n be v(1). Suppose -3*q - 2*q + 18 = -d, -2*q + n = 0. Let y be 2/(-1) - 1 - -4. Solve 1 = d*t - y for t.
1
Suppose -3*h + 2*h = -6. Let n = h - 1. Solve 0 = -n*a + 2*a - 6 for a.
-2
Let u(s) be the first derivative of 1/4*s**4 + 8/3*s**3 - 5*s - 1/2*s**2 - 1. Let k be u(-8). Solve 0 - k = -y for y.
3
Let f(b) = b**2 - 3*b + 5. Let x be f(3). Solve x*w = 10 - 0 for w.
2
Let p(l) be the first derivative of -1/2*l**2 + 1 + 0*l. Let g be p(-1). Solve -4*w - g = -3*w for w.
-1
Let g be 378/(-4)*(0 + 2). Let o be 1/(g/(-96) + -2). Let c be (40/o)/((-1)/4). Solve -q = -6*q - c for q.
-1
Suppose -5*n + 4 + 6 = 0. Suppose -n*i + 2 + 0 = 0. Let w be 12*4/(-2 + 14). Solve w + i = r for r.
5
Let i(n) = n**2 + 9*n - 7. Let r be i(-10). Let d(b) = 3*b + 36. Let s be d(-11). Solve -s*w - r = -2*w for w.
-3
Let q(w) = 4*w**3 - 10*w**2 - 6*w + 6. Let d(y) = -5*y**3 + 11*y**2 + 7*y - 7. Let m(l) = 5*d(l) + 6*q(l). Let i be m(-5). Solve 5*n = -1 + i for n.
1
Let y(i) = i + 5. Let m be y(-5). Solve 0*d + 2*d = m for d.
0
Let z(q) = 2*q**2 + 8*q + 3. Let w be z(-4). Solve 0 = w*d - 8*d for d.
0
Suppose -3*d = v, 4*v - 3*v - 8 = 5*d. Suppose 5*y + 3 = 68. Solve y + 2 = -v*p for p.
-5
Let h be 2 + (-4)/(-6)*6. Suppose -r - 5 = 0, 3*g - r - h = 8. Suppose 0 = -p - g + 6. Solve -15 = -2*c - p*c for c.
3
Suppose 4*v = 4*z - 4 + 28, 0 = -5*z + 20. Let q = 18 - v. Solve n - q = -n for n.
4
Let a(y) = -y**3 + 8*y**2 - 8*y + 8. Let w be a(7). Suppose -4*l + 7 = -1. Let g = l - w. Solve o + 2 = -g for o.
-3
Let q(d) = d**2 - 15*d - 27. Let b be q(17). Let a = -3 + 6. Solve b*l = a*l + 12 for l.
3
Let j = 27 - 25. Solve j*w = -w + 12 for w.
4
Suppose -2*g + 5*q + 6 = -5, -g = -4*q - 10. Let y = 5 + g. Solve y*s = -s for s.
0
Let d(b) = b**2 - 6*b + 2. Let n be d(6). Suppose 0 = n*l - 48 - 2. Solve -4*w + l = w for w.
5
Suppose -y + 0*w + 5*w = -19, 4*y + w - 13 = 0. Suppose -y*p + 2*c + 10 = 0, 2*p + p + 4*c = -9. Solve -5*a + 4*a = p for a.
-1
Let l(s) = -3*s**3 + s**2 + s. Let w(a) = a**3 + 6*a**2 + 4*a - 6. Let h be w(-5). Let b be l(h). Solve 0*g = -b*g for g.
0
Suppose 9*i = 13*i - 8. Solve -i*w + 1 + 1 = 0 for w.
1
Let c(r) = 2*r**3 - 3*r**2 + r - 2. Suppose -1 = -3*m + 5. Let k be c(m). Solve b = -b - k for b.
-2
Let z(f) = f**2 + 24*f + 48. Let j be z(-22). Solve -3 = 5*q - j*q for q.
-3
Suppose 3*h + 3*j = 0, 3*h = 5*j + 23 + 1. Solve 0 = 2*s + h*s - 5 for s.
1
Suppose 0 = -0*l - l + 4, 0 = 2*h + 5*l - 22. Suppose 0 = -0*x + 3*x. Solve -i - 4 - h = x for i.
-5
Let g = -5 + 10. Let t be (-134)/3 + (-42)/(-63). Let x be 231/t*(-8)/3. Solve -g*l - 4 = -x for l.
2
Suppose -5*u + 2*g + 2*g = 6, 5*u - 3*g = -2. Solve 0 = 2*a + u + 2 for a.
-2
Let o = 3 + 0. Solve -12 = o*q - 0*q for q.
-4
Suppose 0*v + 3*v + 1 = 2*u, -u = 1. Let f = v - -5. Suppose f*a + 7 = 39. Solve -k - a = k for k.
-4
Let q be (-6)/(-5)*(-5)/(-2). Solve -q*n - n = 0 for n.
0
Let f(p) = 3*p**2 + 8*p - 3. Let g(k) = k**2 + k. Let j(o) = -f(o) + 5*g(o). Let q be j(2). Let m(w) = w**2 - 6*w + 3. Let v be m(6). Solve -4 - q = v*d for d.
-3
Let v = -5 + 4. Let o be (-9)/(-3) + (0 - v). Solve 2*q - o*q - 2 = 0 for q.
-1
Let p(h) = -h + 18. Let g be p(6). Let z be 20/6 - g/(-18). Solve -z*s - 2 = 10 for s.
-3
Let g(q) = -q**2 + 5*q. Let t be g(4). Suppose -12 = -4*f - 0. Suppose 0 = t*z + 20, f*b - 4*b = -2*z - 12. Solve -d = -b + 6 for d.
-4
Suppose v = -v - 22. Let s(d) = d + 16. Let j be s(v). Solve -j*a + 0*a - 20 = 0 for a.
-4
Suppose m + 3 = -3*a + 14, 4*a - 3*m = -7. Suppose 5*k - 2*t - 19 = -0*k, -2*t - 4 = 0. Solve a*q = k*q for q.
0
Let s be 1/(-3) + 3/9. Solve 0*l + 5*l - 20 = s for l.
4
Let h(k) = 2*k - 2. Let p be h(6). Suppose 4*s = 9*s + p. Let r = s + 8. Solve 6 + r = -4*f for f.
-3
Let c(p) = p**3 - 3*p**2 - 2*p - 5. Let t be c(4). Suppose 0 = -11*n + 5*n + 150. Let g = 0 + 2. Solve -t*h - g*h = -n for h.
5
Let t = 4 - 0. Let v(f) = f - 2. Let i be v(t). Solve -i = y + y for y.
-1
Suppose 8 = 3*d - 1. Solve d*n = n for n.
0
Let z(n) = n**2 - 3*n + 3. Let a be z(4). Solve 0 = -a*i + 4*i for i.
0
Suppose -5*l - 7 + 37 = 0. Solve x - 20 = l*x for x.
-4
Suppose -2*l + 2*i + 3 = -5, 2*l + 3*i - 13 = 0. Suppose 3*z = 4*t + 52, l*t - 3*z + 66 = z. Let c = -8 - t. Solve -u + c*u - 3 = 0 for u.
3
Suppose 6*f - 3 = 9. Suppose 11 = f*a - 3*s, -5*a + 0*s + 22 = -2*s. Solve 0 = a*h - 0*h - 16 for h.
4
Let i be -3 + 5 + 3 + 3. Suppose q + 4*z = 2, -q - 3*z = 3*q - i. Solve 0 = q*k - 3*k for k.
0
Let c(h) = -h**3 + 2*h**2 - h + 2. Let g(f) = f - 6. Let z be g(8). Let o be c(z). Solve o = -j + 2 + 3 for j.
5
Let c be -3 - ((-18)/(-2))/(-3). Solve -5*d - 2 + 22 = c for d.
4
Let m(y) = -y**3 + 4*y**2 - 2*y + 2. Let i be m(4). Let j be (i/9)/((-2)/21). Let o be 5/3 + 1/3. Solve -3 = -o*q - j for q.
-2
Let l be 0/(-3*8/(-12)). Let n(f) = -2*f**3 + f - 2*f**3 + 5*f**3. Let m be n(l). Solve 2*i - 3*i = m for i.
0
Let k be (-4)/((-1 - 0)*2). Solve -2*t + 4*t = k for t.
1
Suppose -3*l - 2*n = -22, -2*l + 0 - 2 = -2*n. Suppose 5*i + 5*u - 30 = -0*u, l*i - 12 = 2*u. Let c = -2 + i. Solve -4 = -3*q + c*q for q.
4
Suppose 3*z - 116 = -101. Let k = 9 - 4. Solve 0 = -6*c + k*c + z for c.
5
Suppose 4*z = 2*z - 50. Let k = -13 - z. Let l = -1 + 3. Solve l*d = -d - k for d.
-4
Let l be -8 + (5 - 1)/4. Let x = -3 - l. Solve s + x*s = 0 for s.
0
Let a(i) = i**2 + 20*i + 42. Let j be a(-18). Solve 0 = y + 2*y - j for y.
2
Suppose -5*n = -108 - 52. Let r = n + -22. Suppose -2*s = -3*k + 4*k - r, 3*k = -3*s + 18. Solve -a + s = -3*a for a.
-2
Let v(h) = 4*h**2 - h. Let g be v(-1). Solve 2 = 3*o - g*o for o.
-1
Let c(s) = s**3 - 10*s**2 + 10*s - 4. Let p be c(9). Suppose 9 = p*h - 6. Suppose 0*r - h*f + 2 = 2*r, 0 = -f - 2. Solve r*l - 4 = 2*l for l.
2
Let i(s) = s - 18. Let a be i(20). Solve -a + 8 = -3*h for h.
-2
Suppose x = 2*x. Suppose -p - 2*u + 11 = x, -4*p + 28 = u + 3*u. Solve l = p*l + 10 for l.
-5
Let o be (-15)/(-3 + (0 - -2)). Let w = o - 11. Let h be 116/10 - w/(-10). Solve -3*s - h = s for s.
-3
Let m be 3/(-2)*10/3. Let f = m + 8. Suppose -4*y - f + 11 = 0. Solve k + y*k = -12 for k.
-4
Suppose 15 = 4*h + 7. Solve h = -m + 1 for m.
-1
Let g be (3/6)/((-11)/(-44)). Solve 2*u + 10 = g for u.
-4
Let z(a) = -5*a - a + a**3 - 14 + 6*a**2 + 3*a. Let o be z(-6). Solve o = -x + 2*x for x.
4
Let a(c) be the first derivative of c**4/4 + 2*c**3/3 + c**2/2 + 3. Let 