x + x = 3*g - 22, 0 = -4*x + c*g - 15. Let f = x - -5. Solve f = y - 6 + 3 for y.
3
Suppose n + 2*u - 6 = 7, 4*n = u + 34. Let k(m) = 4*m + 1. Let g be k(-2). Let h = -5 - g. Solve -5*p + h*p = -n for p.
3
Suppose 0 = -5*s + 2*d - 1 - 5, -5*s + 9 = 3*d. Solve s = k + 2*k - 12 for k.
4
Suppose -6*d + 2*d = 4. Let q(p) = p**2 - 4*p + 1. Let l be q(5). Let s = l + d. Solve s*w = 2*w + 9 for w.
3
Suppose -8 = -5*n + 17. Suppose -17 - 8 = -n*p - i, i - 5 = -p. Solve 0 = -p*x + 2*x + 15 for x.
5
Let j be (-8)/(-14) + (-12)/21. Solve 0 = 5*v - j*v - 20 for v.
4
Let r(z) = -z - 2. Let m be r(-4). Let x = m + 5. Suppose -8 = -x*p + 3*p. Solve p*y = -0*y for y.
0
Suppose 5*v - 10 = 5*q - 0, -6 = -3*v + q. Let l(b) = -b + 7. Let x be l(7). Let f = v + x. Solve 5 = f*o - 3*o for o.
-5
Suppose 6*r + 13 = 3*r + u, 0 = -3*r + 2*u - 11. Let g be r/((-1)/1*1). Suppose 3*c = -t - 0*t + 13, -g*t + c = -17. Solve 0 = -t*v - 1 - 19 for v.
-5
Suppose -3*h + 16 = 3*p - p, 0 = 3*p + 5*h - 26. Let y be p + 0 + (-3 - -3). Solve y*a + 7 = 1 for a.
-3
Let b(j) = j - 8. Let r be b(9). Solve 0 = m + r for m.
-1
Suppose 3*j + 2*j - 10 = 0. Solve a = -j + 4 for a.
2
Let v = 1 - 1. Let r be 4*((-2)/(-1))/4. Let c = 8 + r. Solve v = i + i - c for i.
5
Let c(l) be the first derivative of l**2/2 - 4*l - 1. Let p = 10 + -6. Let x be c(p). Solve 6*f - 2*f - 16 = x for f.
4
Let j = 0 - -1. Let g be j/(6/4 - 1). Solve 2*z + 20 = -g*z for z.
-5
Let d be 13*(-2)/2*-1. Let f = 16 - d. Solve -2*y - f*y = 5 for y.
-1
Let y(j) = -j**3 + 18*j**2 + 41*j - 15. Let x be y(20). Solve 0 = -x*w - 0*w + 20 for w.
4
Let o(j) = -j**3 - 6*j**2 - j - 6. Let k be o(-6). Solve k = c - 1 + 5 for c.
-4
Suppose 5*f + 0 + 5 = 2*i, 28 = 5*i + 3*f. Solve i*a - a - 20 = 0 for a.
5
Let z be 7/3 + (-4)/12. Let q be z*1*195/6. Suppose q = 5*n - 60. Solve 3*w + n = 8*w for w.
5
Suppose -b + 2*b + 6 = 0. Let u be (1/3)/((-1)/b). Suppose -u = -k + 1. Solve -k*z - 3 = -2*z for z.
-3
Suppose 0 = -3*d + 16 - 1. Solve d = -n + 2*n for n.
5
Suppose 0*y = -4*y - 20. Let w be (6/y)/((-15)/50). Solve -w*x + 3 = 11 for x.
-2
Let p(q) = -q**2 + 15*q - 8. Let o be p(14). Solve 26 - o = -5*w for w.
-4
Suppose -19 = 6*k - 19. Solve k = -0*c - 3*c - 15 for c.
-5
Let f(k) = k**3 - 9*k**2 + 8*k + 4. Let u be f(8). Suppose -5*c + 0*b - b + 96 = 0, -36 = -c + u*b. Solve 4*o + c = -0*o for o.
-5
Suppose -2*q - 3*q = 0. Let y(j) = 2*j**2 - 3*j + 1. Let s be y(2). Solve q*p = s*p - 9 for p.
3
Let a(r) = 2*r**2 + 1. Let p be a(-1). Let d = -11 - -14. Solve p = d*k - 12 for k.
5
Suppose l = 4*o + 6 + 5, 11 = 5*l + 2*o. Let u = -6 - -8. Suppose 0 = -5*d + 5*b + 30, 0*d = -3*d - u*b + 28. Solve -l*k - k = d for k.
-2
Let g(r) = r - 9. Let p be g(13). Solve -c - p = -5 for c.
1
Let t(n) = -n + 9. Let v be t(5). Solve 0 = 4*a - 20 + v for a.
4
Let v = -28 + 28. Solve v = 2*z - 4*z for z.
0
Let d be (-96)/(-44) + (-4)/22. Suppose d*n - 10 = -4*j + 4*n, -5*j + n = -14. Let r(t) = 2*t**2 - 5*t + 2. Let o be r(3). Solve 2*i - j = -o for i.
-1
Let q be (-4 - 3)*2/(-7). Suppose -7*u + 54 = -2*u - 3*o, -q*u = -2*o - 20. Solve 5*h = u + 13 for h.
5
Let f = 18 + -14. Solve -2 = -f*g - 22 for g.
-5
Suppose -2*h - 3*v = v + 4, 5*v - 5 = -5*h. Solve -h*j - 8 = -0*j for j.
-2
Let d be ((-15)/10)/((-2)/16*6). Solve -5*x = -d*x for x.
0
Suppose 0 = -4*y - 2*v + 30, -v + 0*v = 3*y - 23. Let f(c) = -c**2 + 5*c - 4. Let h be f(3). Suppose 7*b - 10 = h*b. Solve b*z = -2*z - y for z.
-2
Let i = -9 - -12. Solve 3*s = 12 - i for s.
3
Let c(n) = -n**2 - 4*n + 1. Let u be c(-3). Let k(x) = -x**3 + 4*x**2 + 3*x - 10. Let p be k(4). Solve u*h + 2 = -p for h.
-1
Suppose 4*m = -m + 30. Let r = 7 - m. Solve -r = 4*y + 11 for y.
-3
Let r(x) = 5*x - 7. Let z(u) = -4*u + 6. Let n(a) = -3*r(a) - 4*z(a). Let o be n(5). Suppose l = -o*l. Solve y + 1 = -l for y.
-1
Suppose -2*f - 28 = -4*h + 4, -4*h = -3*f - 38. Let k be 2/(-6) + (-68)/f. Suppose 0*x - 3 = -x. Solve x - k = 4*g for g.
-2
Suppose 0 = 2*q - 1 - 3. Let x(r) = r**2 - 9*r + 3. Let k be x(9). Suppose -2*a = q*y + k - 9, 5*y - 3*a - 23 = 0. Solve 0 - 8 = -y*l for l.
2
Let o(v) = v**3 - 5*v**2 - v + 5. Let k be o(5). Suppose k = -l + 4 - 2. Let f be 0/l + 0 + 0. Solve -3*r + 8*r = f for r.
0
Let v be 1/(1 + 2/(-4)). Solve 0 = -v*a + 3*a - 4 for a.
4
Let f(p) = p + 27. Let b be f(-11). Let t be 108/b + 1/4. Solve -2*g = -t*g for g.
0
Suppose -4*n + 2*n = -50. Suppose -4*d + 9*d - n = 0. Solve -3*a - 10 = -d*a for a.
5
Let i = 38 + -29. Solve 2*d = i - 13 for d.
-2
Suppose -8 = 3*p + 2*g, 6 - 2 = 5*p - g. Solve -5*b - 14 - 6 = p for b.
-4
Suppose -o = -2 - 3. Let f(a) = 2*a - 12. Let k be f(8). Suppose -3*g - 4*j - 16 = 0, j = k*g + 2*j + 4. Solve g = -o*d - 0*d for d.
0
Suppose 2*u = u + 11. Suppose -1 = -3*p + u. Let r(y) = -4*y + 1. Let q be r(-1). Solve 17 = p*v + q for v.
3
Let r(u) = u**3 + 9*u**2 + 8*u - 7. Let c be r(-8). Let v = -4 - c. Suppose -v*m + 3 = -3*f, m - 5*f - 1 = -2*m. Solve 0 = 3*y + m*y - 10 for y.
2
Suppose 0 = 3*p + q + 4*q - 15, -3*p + 15 = -5*q. Suppose -m = -p*m. Solve m = 5*j - 3 - 17 for j.
4
Let y(q) = 2*q**2 - 2*q. Let a = 2 + 0. Let g be y(a). Solve 2*r + g = 3*r for r.
4
Let d(k) = -k**3 + 9*k**2 - 8*k + 3. Let l be d(8). Suppose 2*c + 3 = -r + 6, -3*c + 27 = -l*r. Solve c*q = q for q.
0
Let f = -2 - -3. Suppose 3*h + f = 22. Solve h*q = 4*q + 3 for q.
1
Let i = -3 - -23. Solve -8*p + 4*p = -i for p.
5
Let t = 10 - 4. Suppose 0 = 2*k - t*k. Suppose -4*w - 12 = k, 4*m - 1 + 10 = -3*w. Solve -2*r - 2*r - 12 = m for r.
-3
Let t(u) = u**2 - 6*u + 11. Let x be t(4). Solve -q - 8 = -x*q for q.
4
Let f be 7*-1*(-36)/21. Suppose -5*p = 4*d - f, -2*p = 2*d + d - 9. Suppose -3*n = 2*n - 2*c + 2, 3*n - 3 = -d*c. Solve 2*s - 4*s + 6 = n for s.
3
Suppose 6 = -5*l + 21. Solve l*g = 5*g + 4 for g.
-2
Let m be 0/(-10) + 8/2. Solve 0*h + m*h + 4 = 0 for h.
-1
Suppose 2*g = w, 0 = -w + g + 4 - 3. Let z be 3*((-10)/(-6) + -1). Solve 0 = w*v + z*v - 8 for v.
2
Let i(b) = b**2 - 4*b + 5. Let l be i(3). Solve 0 = p + 1 - l for p.
1
Let f(i) be the first derivative of i**4/4 + i**3 + i**2/2 + 3*i - 1. Let k be f(-3). Suppose 5*d + k*d - 20 = 0. Solve d*z + 16 = -0*z for z.
-4
Let m(r) = -r**3 - 5*r**2 + 2*r + 1. Let t be m(-6). Suppose 0 = -5*c - 0 + t. Let f(b) = -b**3 + 6*b**2 - 5*b. Let q be f(5). Solve -2*n + c*n = q for n.
0
Let v be 15/6 + (-1)/2. Solve -v = -f + 3 for f.
5
Let o(i) = -i**3 - 4*i**2 + 4*i - 5. Let l be o(-5). Solve l*p + p + 2 = 0 for p.
-2
Let k(f) = -f**2 + 6*f + 5. Let z be k(6). Suppose -2 = 4*s + m - 4, -z*s + 2*m = 4. Solve -q - 2*q + 9 = s for q.
3
Let d = 7 - 5. Let v = -8 - -11. Suppose v*r = d*p, -3*r + 4*p - 6 = -0*p. Solve -u = r*u for u.
0
Suppose -3*o + 3*d = -3, -5*d + 15 = 4*o - 7. Suppose o*m + 5 - 20 = 0. Solve m*f - f = 8 for f.
2
Let k = -19 - -19. Solve k*r - 4 = 2*r for r.
-2
Let m(h) = -h + 4. Let q be m(0). Let f(x) be the third derivative of -x**6/120 + x**5/10 - 7*x**4/24 + x**3 + 2*x**2. Let r be f(q). Solve -b + 3*b = -r for b.
-5
Let a = -14 + 8. Let j be 43/3 + (-4)/a. Let d be (5/j)/(2/12). Solve 0 = -d*x - 0*x for x.
0
Suppose -3*l = -13 + 10. Solve -2*w - 3 + l = 0 for w.
-1
Suppose -3 = -3*g + 12. Let y(q) = -q - 3. Let v be y(-3). Solve -5 + v = -g*f for f.
1
Suppose -4*t = -3*j - 7, j = -2*t + t + 7. Suppose -i = j*p - 15, 0 = 4*p - 3*i + 2*i - 13. Suppose 2*o + p = 4*o. Solve o*g = -4 + 6 for g.
1
Suppose -5*b - 4*m + 71 = -m, -3*b = -4*m - 60. Let x = b - 8. Solve 3*a = a - x for a.
-4
Suppose -7*y - 102 = -y. Let c be (-6)/(-51) + (-32)/y. Solve c = 3*w + 14 for w.
-4
Let w(b) = b**2 - 6*b - 10. Let t be w(8). Let z be 0*-3*3/(-18). Suppose z = 2*p + 3*p - 15. Solve -l - t + p = 0 for l.
-3
Let g be 4*12/32*2. Solve -7*l + g*l = -16 for l.
4
Let n(t) = t**2 - t - 1. Let s be n(2). Solve -u = -6 + s for u.
5
Suppose -4*d = -d - 6. Suppose 0 = -6*k + d*k + 8. Suppose -6*v = -k*v. Solve v*x = -x - 5 for x.
-5
Suppose -5*j + 2*w + 62 = 0, -4*j - 4*w = -5*j + 16. Let k be (-66)/(-14) - (-2)/7. Suppose -d + 2*h = 8, k*d + 12 - 37 = -3*h. Solve -c = d*c + j for c.
-4
Let v(t) = t**2 + 19*t - 20. Let n be v(-20). Solve n = 4*f - 2 - 2 for f.
1
Let w = -84 - -84. Let z = -1 + -1. Let g be (3/(-9))/(z/18). Solve w - 6 = g*i for i.
-2
Suppose 4*p = 3*m +