 = k*g + 10 for g.
2
Suppose 3*x + 3*l - 51 = 0, -3*x + 78 = 4*l + 26. Let j(k) = 2*k - 10. Let d be j(x). Let z = d - 20. Solve -3*n = z*n + 25 for n.
-5
Let r(k) = -5*k**2 + 2*k**2 - k**2 + k**3 - 5*k + 3*k**2 + 2. Let d be r(3). Solve x - d*x = 8 for x.
-2
Suppose 0 = 4*y - 5*o - 11, 10*y - 7*y - 10 = 2*o. Solve -y - 6 = 5*r for r.
-2
Let m(t) be the third derivative of t**5/60 - t**4/4 - 5*t**3/6 + 16*t**2. Let b be m(7). Solve 0 = b*g + 2*g - 8 for g.
2
Let q(r) = 9*r**2 + 23*r + 1. Let f be q(-3). Solve 3*l - f + 4 = 0 for l.
3
Suppose -2*n + 2 = -n, 0 = 4*h + 4*n - 300. Let a = h + -69. Solve 4*x - a = 2*x for x.
2
Suppose 6*b - b = 30. Suppose -4*z = -z - b. Suppose 3*w + 8 = -4*o, -3*o + 4 = 5*w - 5*o. Solve -m - z + w = 0 for m.
-2
Let n(d) = 2 + d - 4*d - 4 - 1. Let u be n(-5). Let x be ((-5)/((-10)/u))/2. Solve 0 = -x*y - 0*y for y.
0
Suppose 2*z = 3*x + 17, 2*z + 4*x + 7 = -x. Solve -3*g - 2 - z = 0 for g.
-2
Let i = 1762 - 1758. Solve -8*q + i*q = 20 for q.
-5
Let f(p) = -5*p - 3*p + p**2 + 4*p + 14 - 4*p. Let b be f(6). Solve 4*x = b*x + 2 for x.
1
Suppose 0 = 36*j + 8585 - 8765. Let u(y) = 3*y**2 + 2*y - 1. Let s be u(-3). Solve j*b + s = -0*b for b.
-4
Suppose 0 = 3*v + 2*j - 6, -4*j = -17 + 5. Solve v = -2*m - 19 + 17 for m.
-1
Let i be (-4)/16*-4 + -1. Suppose 4*j + c - 2 = -5, 3*j + c + 3 = i. Solve j + 10 = -2*f for f.
-5
Let l(m) = -m + 3. Let w be (0 + 18/(-21))*-7. Let r be l(w). Let q(i) = -i**3 - 3*i**2 + 4. Let c be q(r). Solve c*g - 5*g = 5 for g.
-5
Let j = -25 + -14. Let m = -39 - j. Solve 4*d + m = 4 for d.
1
Suppose -2*v = 3*n - 5, 0 = -0*n - n + 2*v - 1. Suppose 48*p = 20*p + 84. Solve 4*s = n + p for s.
1
Let j = -12 - -12. Suppose 6*n - 9*n = j. Suppose 5*m = 10 - n. Solve 8 = 2*z + m for z.
3
Let v = 199 - 183. Solve v*i - 14*i = 8 for i.
4
Let p = 7 - 0. Let g = -34 + 54. Solve p*k - g = 3*k for k.
5
Let n be 10 + -12 - (0 + 12). Let r be ((-7)/n)/(3/12). Solve 0 = -2*p - r*p - 16 for p.
-4
Suppose -18*v - 5*v = -736. Solve -22 + v = 2*u for u.
5
Let m(x) = -x**3 - 3*x**2 - 4*x - 4. Let l be m(-2). Solve h + l*h - 5 = 0 for h.
5
Suppose 816*k - 794*k - 88 = 0. Let x = 10 + -7. Solve x = -k*a + a for a.
-1
Let k(s) = s**2 + 5*s - 4. Let c be k(-8). Let x(w) = -2*w - 7. Let i be x(-6). Solve -j - c = -i*j for j.
5
Let a = 726 - 714. Suppose 2*t = -0*t. Solve 4*g + a = -t for g.
-3
Suppose 12*y = -17*y - 34*y. Solve y*l + 4*l + 12 = 0 for l.
-3
Let d(v) = v**2 - 8*v + 7. Let k be d(7). Suppose -12*g + r + 1 = -8*g, 4*g - 5*r = 5. Let y(c) = 2*c + 1. Let o be y(2). Solve -o*a + g*a + 20 = k for a.
4
Let m(u) = -u**2 + 7*u - 13. Let f be m(10). Let d = f - -30. Let g = -3 - d. Solve t - g = -t for t.
5
Let k(f) = f + 4. Let v be k(2). Suppose -159 - 45 = -v*t. Suppose -2 = 4*g - t. Solve -m + 3*m = g for m.
4
Let b(q) = -q**2 + 1. Let j be b(0). Let r be (j/(-3))/(-4 - (-115)/30). Solve -r*a = 5 - 15 for a.
5
Suppose -3*n = -2*v, 4*v - n = n. Suppose -4*x - 2*c - 6 = v, 0*x + 5*c = x - 15. Suppose l - 6 = -2. Solve l*k + 12 = -x*k for k.
-3
Let u be 1 - 2*(-1)/(-2). Suppose 31 = 25*s - 94. Solve -25 = s*a - u*a for a.
-5
Suppose -5 = 5*j - 25. Suppose j*m - 1 - 3 = 0. Suppose 2*b = b + 5. Solve b*w - m = 4 for w.
1
Let w = 1056 + -1031. Solve -w = 46*r - 41*r for r.
-5
Let l = -398 + 399. Solve -l + 7 = -3*s for s.
-2
Suppose -5*m - 2 = -4*b, -58*m + 10 = -53*m. Let z(q) = -q**2 - q + 2. Let d be z(-3). Let h = 9 + d. Solve -h*l = -2*l - b for l.
1
Suppose -82 = -11*f + 94. Suppose 65*n = 63*n + f. Solve -n = -j + 3*j for j.
-4
Let o(b) = -4*b + 10. Let c be o(0). Suppose c*d + 0*d = 130. Solve -5*x - 3 = -d for x.
2
Let u = -40 + 87. Let o = 47 - u. Solve o = 3*v - 3 - 6 for v.
3
Suppose 36*x + 12 = 38*x. Let f be (6 - 45/12) + x/8. Solve 0*a - f = -a for a.
3
Let r = -24 - -18. Let l = -3 + 9. Let d = r + l. Solve -k = -d*k + 2 for k.
-2
Suppose 0 = 176*t - 165*t - 110. Solve -12*i + t = -14*i for i.
-5
Suppose -5*i + 0 = -15. Suppose -25 = -2*n - i*n. Solve n*d + 21 = 1 for d.
-4
Suppose -2 = -2*h + 2. Let v = -902 + 904. Solve -v - 2 = h*z for z.
-2
Let o = 195 - 194. Let y(t) be the first derivative of t**2/2 + t - 1. Let g be y(o). Solve -g*v + 0*v = 2 for v.
-1
Let b = -26 - -18. Let x(t) = -t - 6. Let p be x(b). Suppose -s = 2*r - 3*s + 4, -p*s + 9 = 3*r. Solve -4*o + r = 9 for o.
-2
Suppose 7*i + 3*n + 5 = 5*i, n = 5*i - 13. Solve 0*r + i*r = -8 for r.
-4
Let c(a) = -3 - a**3 + 4*a - 6*a**2 + 2*a + 7 - a**2. Let n be c(-8). Solve 5*f + n = -0*f for f.
-4
Suppose 11*x - 31 = 24. Solve x*d - 7*d + 2 = 0 for d.
1
Let q = -45 - -73. Let y = 28 - q. Suppose -12 = -y*c - 3*c. Solve -2*d + c = -d for d.
4
Suppose -3*a + 77 = 4*a. Suppose -d = 10 - a. Solve m = d + 3 for m.
4
Let z be ((-65)/(-10) - 8)*-4. Let w(o) = o**2 - 2 - 8*o + 2 + 3. Let v be w(8). Solve -6*d - z = -v*d for d.
-2
Let x be (4/10)/(1/10). Let p(d) = 3*d + 78. Let u be p(-21). Solve u = t - x*t for t.
-5
Let j(k) = 14*k**3 + k**2 - k - 1. Let p be j(-1). Let n be p/39*0/(-1). Solve n = -b + 5*b for b.
0
Suppose 110*p - 1200 = 50*p. Solve -38*d + 34*d = p for d.
-5
Let t = -4 - -5. Let b be (8/(-4))/(t/(-2)). Let h be (b/(-10))/(9/(-135)). Solve -h = -w - 2*w for w.
2
Let x be 3 + ((-8)/(-4) + -3 - -3). Suppose 4*b - 3 - x = 0. Solve c - 2 = b for c.
4
Suppose -4*j = 5*p - 6, 3*p + 0*j = -j + 5. Let i = -44 + 65. Let s = i - 19. Solve 0 = p*h + s*h - 12 for h.
3
Let h(i) = -i**3 + 10*i**2 - 11*i + 21. Let u be h(9). Solve -2*a = -u*a for a.
0
Suppose 3*l + 0*l = 0. Suppose p - 3 + 3 = l. Solve p*v - v = -1 for v.
1
Suppose 0 = 4*q - 4*d - 8, 0 = 2*q + q - 4*d - 8. Suppose -2*n + 25 = 3*c, -47 = -4*n - q*c - 5*c. Solve -n*i = -4*i + 20 for i.
-5
Let b be ((-3)/4)/(-3) + (-4)/16. Let i be (3 + b + (2 - 1))/1. Solve 10 = i*c - 10 for c.
5
Let t(n) = -n**2 - 4*n + 6. Let y be t(-10). Let f be (-5 + y/(-10))/(1/5). Solve -f*v - 5 + 1 = 0 for v.
-2
Let z(i) = i**3 - 8*i**2 - 8*i + 9. Let l be z(9). Solve 31 = l*t + 103 for t.
-4
Let t(u) = u**2 + 23*u - 413. Let l be t(-35). Solve l*a = 10 + 4 for a.
2
Let i = -3 - -8. Let w = 13 - i. Solve h + w = -h for h.
-4
Suppose 0 = -4*y - 5*n + 36, -5*y - 5*n = -2*y - 32. Let j(s) = s**3 - 2*s**2 - 7*s + 6. Let k be j(y). Solve 5*t - 10*t = k for t.
-2
Let j be (-5 - -1)/(2/(-8)). Let i be (-58)/(-8) + 12/j. Let a = i + -8. Solve u - 2*u = a for u.
0
Let f be 252/(-30)*(-70)/(-4). Let z = f + 152. Solve 0 = -0*s + s + z for s.
-5
Let a(w) = -2*w**2 + 2. Let s be a(0). Suppose s*r - 7 = n, 2*n = 5*r + 6*n + 2. Suppose -l - 2 = 4*p, 5*l = 2*p + 9 + 3. Solve 2*t = r + l for t.
2
Let v be (-1)/(2 + 12/(-8))*-1. Solve v*d + 9 = -d for d.
-3
Let i = -47 + 49. Suppose i*q - 52 = -2*q. Solve 0 = -3*r - q - 2 for r.
-5
Suppose 0 = -41*m + 18 + 597. Solve m = -t + 17 for t.
2
Suppose -2*b - 4 = -0*b. Let z be b*3*(-5)/6. Solve 0 = s + z - 0 for s.
-5
Suppose -6*a - 3 = -15. Suppose 5*m + 10 = 5*h, 0*m + 4 = a*m + 2*h. Solve p + 2*p = m for p.
0
Let u = -9 + 9. Let g be 7 - 8 - (0 - -2). Let t be (-6)/g - (-5)/5. Solve u*k = 3*k + t for k.
-1
Let t be (-7)/(-2)*10/5. Let m be ((-16)/(-28))/(2/t). Suppose 0 = l - 2*c - 18, -m*c + 22 = -l + 2*l. Solve -l = -5*i + i for i.
5
Let f = -545 - -557. Solve f*h + 4 = -8 for h.
-1
Let d = -1731 - -1744. Solve -d*k + 28 = -20*k for k.
-4
Let l(d) be the third derivative of d**5/60 - 4*d**3/3 + 21*d**2. Let z be l(-4). Solve -3 = b - z for b.
5
Suppose 5*n = z + 20, 9*z + 4 = 7*z + n. Suppose a + d = 8, 3*a - 5*d - 4 = -3*d. Suppose 8*s - a*s - 4 = z. Solve s = w + 3 for w.
-2
Let i(j) = 27*j + 261. Let l be i(-9). Solve -l*g + 10*g - 40 = 0 for g.
-5
Let i be (-4 + (-8)/(-1))*2. Solve 0 = 2*o - i for o.
4
Let z(j) = j + 19. Let k be z(-19). Let t(g) be the first derivative of g**3/3 + 3*g**2 + 2*g - 2. Let l be t(-6). Solve k = n + 5 - l for n.
-3
Let l(n) = -21*n + 50. Let y be l(2). Solve y*x = 4*x for x.
0
Suppose -3*n + 5*k = -26 + 6, 5*n - 12 = 3*k. Solve n = t - 0*t + 3 for t.
-3
Suppose 0 = f - 16 + 3. Suppose 321 = -2*z + 113. Let p = z - -106. Solve 0 = 5*b - p - f for b.
3
Let l be 12/(-18) - (14/(-3) + 1). Suppose 5*c - 3*p - 9 = 3*c, 3*c - 9 = l*p. Solve c = 5*y + 10 - 0 for y.
-2
Suppose -3*p + 3*o = -2*o - 245, p - 4*o = 91. Suppose 0 = -4*u + 16, -k + 1 = u 