Solve 0 = 4*g - 0 + r for g.
-2
Let d(z) = z**3 + 9*z**2 + 7*z - 6. Let o be d(-8). Solve o*y - 6 = -0*y for y.
3
Suppose -6*d - 4 = -7*d. Solve -d*s + 9*s = -10 for s.
-2
Let p be (-13)/26*20/(-1). Let h(c) = c**3 + c**2 - 2*c - 1. Let r be h(-1). Let i = 4 + r. Solve 0*y = i*y + p for y.
-2
Let f(l) = l**2 + 7*l + 4. Let b be f(-7). Let m be 0*((-6)/(-2))/(-3). Suppose -b*p + m*z - 2*z + 20 = 0, -5*p + 38 = -4*z. Solve 20 = -2*s + p*s for s.
5
Suppose 4*u = g - 8 - 3, 6 = 2*g - 4*u. Let s = g + 8. Solve -1 - s = -n for n.
4
Suppose 0 = -7*k + 6*k. Suppose k = 7*p - 10 - 25. Solve 0 = -0*i + p*i for i.
0
Suppose 15 = 4*u + 35. Let t(i) = i**2 + 3*i - 6. Let r be t(u). Suppose -2*w = -5*l - r, 4*w - l - l = 8. Solve 3*h + 7 = -w for h.
-3
Let t = 40 - 33. Solve 0 = -2*x + t*x - 20 for x.
4
Let o(c) = -2*c + 8. Let k be o(2). Let u(i) = -i**3 - 4*i**2 - i + 1. Let y be u(-4). Solve -y*j + k = -j for j.
1
Let l be (-8)/(-48) - (-1)/(-6) - -3. Solve -l*m + 20 = m for m.
5
Let t = 21 + -8. Let s(b) = 4*b - 10*b + t - 5*b + b**2. Let o be s(10). Solve 3*k = o - 12 for k.
-3
Let y(z) = z**3 + 12*z**2 + 10*z - 9. Suppose 0 = h - 0*h + 11. Let j be y(h). Suppose -3 - j = -5*b. Solve b = -l - 2 for l.
-3
Suppose 0 = 4*w - 9*w. Suppose 4*l - 51 = -39. Solve w*b - l = b for b.
-3
Let i(c) = 2*c**2 - 30*c - 35. Let u be i(15). Suppose -p - 76 = 3*f, 5*p = -3*f - 9 - 83. Let y = f - u. Solve -31 = -5*k - y for k.
4
Let y(u) be the third derivative of 5*u**4/24 - 2*u**2. Let o be y(1). Suppose o*v + 0*g = -3*g + 25, 0 = v + 3*g - 5. Solve a = v*a for a.
0
Let s = -3 + 5. Let p(k) = 2 + 4*k - 10*k + k**s + 1. Let l be p(6). Solve l*o = o - 2 for o.
-1
Let k = 16 + -12. Solve x + 3 = k*x for x.
1
Let a(f) = 2*f + 12. Let p be a(-4). Suppose 2*q = q - 3. Let v = q - -19. Solve -4 = p*k + v for k.
-5
Let t(g) = 2*g - 1. Suppose -3*o - 1 = -5*a, -12 = -2*a - 5*o + 7. Let x be t(a). Suppose -16 = -w - x*w. Solve w*m = -m + 5 for m.
1
Let u(j) = 5*j**2 - 4*j + 3. Let c(i) = i - 3. Let r be c(5). Let h be u(r). Solve -b + h = 4*b for b.
3
Let n be 1 + 6/4*2. Suppose -x - 1 = 4*o - 13, -n*x + 20 = 2*o. Solve 2*j = -o*j + 12 for j.
3
Suppose -5 = -z + 3*b + 5, -z - 4*b = 11. Let i = -1 - -2. Let m = z + i. Solve -m*l + 3 = -7 for l.
5
Let r be 1*(5 + -30)/(-5). Solve -r*z + 0*z = 20 for z.
-4
Suppose -4*n + 5*v - 5 = 0, -n - 2*v = -3*n - 2. Suppose -11*d + 9*d = n. Solve 3*q - 3 - 3 = d for q.
2
Let s be ((-3)/3)/(0 + (-3)/9). Solve -s*x + 1 - 10 = 0 for x.
-3
Suppose 0 = -o - 2*y - 2, 5*o - 3 + 25 = -4*y. Let v = 14 + o. Let d be (v/3)/(2/9). Solve 3*x - d = -x for x.
3
Let y = 19 - 14. Solve y*k = 3*k for k.
0
Let a(b) = b - 4. Let f be a(4). Suppose -4*h + h - 24 = f. Let t = -3 - h. Solve -4*u = -t*u for u.
0
Let q = 34 - 19. Let h be (4/5)/(6/15). Suppose 3*d = h*d + 8. Solve d*t - q = 3*t for t.
3
Let b = 3 - 1. Solve -b + 1 = -u for u.
1
Let s be (-2 - -1) + 98/2. Suppose -a + 5*a - s = 0. Suppose 0 = 2*o - a + 4. Solve 12 = -n + o*n for n.
4
Let m(r) = r**3 - r + 9. Let h be m(0). Let v = h - 5. Solve 2*t = v*t for t.
0
Let k(f) = f**2 - 4*f - 3. Let q be k(5). Suppose -4*t + q*c + 66 = 0, -2*t + 45 = -9*c + 4*c. Suppose -5*u + 4 = -6. Solve -u*y = y - t for y.
5
Let t be (-213)/(-15) - 2/10. Suppose 2*h = -3*a - 0*h + 22, -5*h - t = -4*a. Solve 0*l = 3*l + a for l.
-2
Suppose -5*m + 25 = -45. Solve -3*y - m + 5 = 0 for y.
-3
Let g = -6 + 3. Let f = g + 6. Let z be 8/f*9/6. Solve -p = z*p - 15 for p.
3
Let k be 2/(-7) + 10/35. Let l(d) = -2*d. Let q be l(k). Solve -3*p = -q*p - 3 for p.
1
Let h(q) = -q**3 - 9*q**2 + 10*q + 6. Let g be h(-10). Let a = g - 1. Solve -a + 1 = -j for j.
4
Let z be 10/(-5)*2*-3. Solve q - 5*q = -z for q.
3
Let d = 34 - 30. Solve 0*i + d*i - 12 = 0 for i.
3
Suppose 0*z + 0*z = 4*z. Solve z*q - 4*q + 20 = 0 for q.
5
Suppose -5 = -j - 0. Solve 0 = j*b + 4 + 1 for b.
-1
Let s(j) = -j**2 - 6*j - 4. Let f = 5 + -9. Let o be s(f). Solve -o*y = y for y.
0
Let q(y) = 2*y + 27. Let d(w) = w + 14. Let b(o) = 13*d(o) - 6*q(o). Let i be b(-12). Solve 0*h = -4*h + i for h.
2
Suppose 5*l - 9 = -2*a + 19, -l = -a. Suppose 2*p + p + l = v, -5*p - 10 = -5*v. Let n be v/(-3 + 48/15). Solve n = 4*d + 1 for d.
1
Let c = 31 + -26. Suppose 8*p - 5*p + 14 = 5*x, -3*p - 7 = 2*x. Suppose -n - 2*u - 8 = -c*n, -3*n - x = -5*u. Solve n*a + 9 = 24 for a.
5
Let a be (-8)/(-6)*6/4. Let b be ((-1)/(6/4))/(74/(-333)). Solve 5 = -a*v + b*v for v.
5
Let v(d) = d**2 + 3*d - 3. Let w be v(-4). Let p be (-22)/(-8)*4/1. Let q = p + 6. Solve 4*k - q = -w for k.
4
Let b(v) = -v**2 + 10*v - 12. Let s be b(9). Let x(c) = c**3 + 4*c**2 + 3*c - 3. Let z be x(s). Let w be (-17)/z + 4/(-6). Solve -w*q - 8 = 7 for q.
-3
Suppose 2*j - 24 = -2*j. Let n = -24 - -27. Solve -n*c + j*c = 15 for c.
5
Let v be (14/4 + -3)*6. Let h(b) = b**3 + 6*b**2 + 4*b - 3. Let y be h(-5). Let o be (0/1)/(3/(-3)). Solve o = v*k + 8 - y for k.
-2
Let y be 4/2*6/4. Suppose -3*i = y*o - 18, 4*o = 3*i + 1 - 5. Let a = o + 0. Solve a*u = -0*u + 10 for u.
5
Let u(h) = -h + 8. Let m be u(6). Suppose 5*r - 5*q = 20, r - 2*q - 10 = 2*q. Suppose r = 5*t - 4*t. Solve -t = -k + m for k.
4
Let m = 11 - 9. Suppose m*r + 2*b = -4, 2*r - 4 = -3*r + 2*b. Solve -2*f + f - 1 = r for f.
-1
Suppose -2*x = -0 + 2, 4*x = -2*z. Suppose -2*w + 6 = -z. Solve -w*v + 6 = -v for v.
2
Let p = 7 + -4. Let b(v) = v**3 + 5*v**2 + 2. Let s be b(-5). Solve p = s*h + 1 for h.
1
Let v(q) = q**3 + 3*q**2 - 4*q - 3. Let s be v(-3). Let d = -6 + s. Solve 2*y = d*y for y.
0
Suppose 4*n - 9 = -3*k + 4, -2*n + 4 = 2*k. Let c be (10 - n)*14/6. Suppose 5*f - 5*d = -10, c = 4*f + 2*d + 3. Solve f*t - 3 = -t for t.
3
Let w(s) = -2*s + 14 - 10 + 3*s. Let d be w(2). Solve -l = 3 - d for l.
3
Let g(f) = f - 4. Let j be g(-6). Let z be ((-34)/j - 3)*5. Solve 4*h = z*h + 6 for h.
3
Let x(k) = 3*k**2 - 2*k - 1. Let i be x(2). Let g be (i + -10)*1/(-3). Solve 3 + g = -t for t.
-4
Suppose -3*u + j + j = -39, j = 5*u - 72. Suppose 15 = 5*o - u. Let r = -3 + 24. Solve o = -5*t + r for t.
3
Let l(r) be the second derivative of 3*r**5/4 - r**4/12 + r**3/6 - r**2/2 - 2*r. Let x be l(1). Solve 0 = 3*i + 5 - x for i.
3
Suppose 0 = -3*y + 2*s - 4 + 2, 2*y + 16 = 5*s. Solve -1 = -y*r + r for r.
1
Let s be (-8)/(-16)*10/1. Solve -o + s*o = -12 for o.
-3
Suppose 2 = u - 0*u. Solve -u*n + 1 = -1 for n.
1
Suppose 3*q + i - 9 = -0*q, 0 = 4*q - 5*i + 7. Solve -3*r - 10 = q*r for r.
-2
Let k be 1 + 53 - (2 + -1). Let p be (k + 1)/((-9)/(-6)). Suppose 0 = -3*c + 3*d + p, -2*c - 4*d + 1 = c. Solve -3*x = -c*x - 16 for x.
-4
Let w = -34 + 19. Let f be (-3 - 8/(-3))*w. Solve -f*n - 8 - 2 = 0 for n.
-2
Let u be (39 + 3)/(-2 - -3). Let s = 27 - u. Let m be 2/(-6)*1*s. Solve 2*b = 15 - m for b.
5
Let z(v) = v**3 - 6*v**2 + 6*v + 5. Let m(p) = p**2 - 2*p + 2. Let f be m(3). Let j be z(f). Let o be (-6)/j - 65/(-25). Solve -2*q + q = o for q.
-2
Let g(i) = i + 3. Let j be g(-4). Let y be (-1)/(0 + j/12). Let h be (y/(-10))/((-8)/20). Solve -a = h*a - 4 for a.
1
Suppose 3*q + 0 = 3. Suppose -3*o = -q - 11. Solve o*v + 10 + 6 = 0 for v.
-4
Suppose 2*h - 19 = -3*f, 1 - 13 = -f + 5*h. Let y(a) = a**2 - 6*a - 7. Let j be y(f). Solve -2*q - 4 - 4 = j for q.
-4
Suppose 0 = -t - 4*u + 1 + 9, -3*u = -3*t. Solve r + 3 = t for r.
-1
Suppose 3*o - 2*n + 8 = 0, 5*n - 28 + 8 = -o. Solve 3*t = 3 - o for t.
1
Suppose -k = -5*k + 24. Solve k*a + 10 = a for a.
-2
Let f = 30 + -28. Solve -5*w = -f + 7 for w.
-1
Let a(g) = g + 8. Let i be a(-6). Suppose -i = 4*q - 10. Solve -q = -o - o for o.
1
Let v be (-24)/(-2)*4/6. Suppose -2*q - 6 = q, -4*q = -5*n + 13. Let h = n + 0. Solve 3*j = -v - h for j.
-3
Suppose -a + 25 = 5*g, -2*g + 0*a = 2*a - 18. Solve q + g = 8 for q.
4
Suppose j - 6 = -2*j + 3*l, 3*l = 9. Suppose -h + j = 4*h. Let c(o) = 13*o + 1. Let f be c(h). Solve f - 4 = 5*n for n.
2
Let w(v) = -v**3 + v**2 + 2*v. Let h be w(2). Solve 3*j - 4*j = h for j.
0
Suppose 17*k + 32 = 21*k. Solve -x = -k + 3 for x.
5
Suppose 19 + 2 = 7*b. Solve 3 = -0*i - b*i for i.
-1
Suppose -3*d - q = -3*q - 24, 0 = 2*q. Solve -2*b - d = -2 for b.
-3
Suppose -3*y = -5*h + 15, -4*h + 16 - 4 = -3*y. Solve m + m - 4 = y for m.
2
Let p(t) = -4*t**3 - t**2 + t + 1. Suppose -3*j = -7*j - 4. Let q be p(j). Solve -q*