1)). Solve -j + 6*j + 15 = g for j.
-3
Let b(g) = g**2 - 4*g + 5. Let a = -16 + 6. Let c = a + 13. Let p be b(c). Solve -2*u + 2 = -p for u.
2
Let m(n) = -n**3 + 7*n**2 - 2. Let r be m(7). Let y be (-6)/r + (-18 - -1). Let p = 16 + y. Solve -5 = p*a - a for a.
-5
Suppose 0 = -h + 24 - 26. Let x(i) = -i**3 + 5*i + 4. Let b be x(h). Solve 0 = b*p - 4 - 2 for p.
3
Suppose 5*r = 15, -r - 26 = -2*v - 1. Let t be (3 + (-2 - v/6))*-3. Solve -t*f - 19 = 1 for f.
-5
Let z = -2 + 7. Let g(o) = 4*o + 4. Let k be g(4). Suppose c + 4*c = k. Solve -c*n - 11 = z for n.
-4
Suppose -20*z + 104 = -16*z. Let d be 117/z + (-2)/(-4). Let y = 10 + -7. Solve 4*s + y = d*s for s.
3
Suppose 91 = t + 95, 4*a - 32 = t. Suppose -2*f + 3 = -1. Solve -f*n + a = -1 for n.
4
Let a(z) = z**3 + 2*z + 1. Let s be a(2). Let v = s + -11. Suppose 2*f = -4*n + 10, 3*f + f - v*n - 50 = 0. Solve -3*p = f + 1 for p.
-4
Let j = 308 + -303. Suppose -3*q + 12 = 3. Suppose -q*n - 20 = -2*u - 4*n, 3*u = 5*n + 56. Solve u = j*m - m for m.
3
Let t(o) be the first derivative of o**3/3 + 12*o**2 - 22*o + 12. Let v be t(-25). Solve 2*u = 7 - v for u.
2
Let l be 3*(-4 - 87/(-9)). Let v = 34 - l. Suppose -3*o = 4*a + 8 - 32, 3*a - v = -2*o. Solve -o = -3*b + 2*b for b.
4
Suppose 2*p + s + 7 = 4, 4*p - s = 9. Solve 29 = 14*z + p for z.
2
Let u = -21 + 8. Let f = 21 + u. Let o = 10 - f. Solve 1 = -o*p - 1 for p.
-1
Suppose -11*x + 15*x = 0, -5*l + 3*x = -35. Solve l*g - 1 = -15 for g.
-2
Let b(r) = r**2 + 14*r + 17. Let y be b(-13). Suppose 4*z + 2*j = 20, 4*z - y*j = 4 + 4. Solve 5 = -3*m - z for m.
-3
Suppose -4*y + 2*y = -26. Suppose -y*v + 124 = -45. Solve v - 3 = 2*f for f.
5
Suppose -z + 2*w + 340 = 0, -3*z + 6*w - 4*w = -1012. Let y be -1*3 - z/(-12). Let l = 27 - y. Solve l*j - 3 = 7 for j.
5
Suppose -5*l - 3*j + 118 = 0, -5*l = j + 54 - 170. Let f = -20 + l. Suppose -4*z - f = -2*w + 23, 2*z = -3*w + 7. Solve w*p - 3 = -13 for p.
-2
Let o be ((-7)/7)/(1/(-2)). Suppose 2*b = o + 2. Suppose -4*k = -0*a + a + b, -3*a = k + 6. Solve 3 = -d - k*d for d.
-3
Let p = -1095 - -1100. Solve -p*j = 55 - 45 for j.
-2
Let a = -238 + 241. Solve 3 = -a*o + 6 for o.
1
Suppose -3*u + u = 10. Let h be (-27)/u - (-4)/(-10). Solve 5*l = -0 + h for l.
1
Suppose -4*g + 24 = 4. Let u be 1 + g/((-15)/(-21)). Let q = -8 + u. Solve q*y - 3*y - 3 = 0 for y.
-1
Let r = 166 + -163. Solve -6*t = -r*t for t.
0
Let o be (1 + -3)/((-4)/(-2)). Let c be 1*(o - -1 - -5). Solve 3 + 17 = -c*x for x.
-4
Let n be 0/3 - 0/2. Let g = -68 - -69. Let w(l) = -l**3 + l + 2. Let b be w(0). Solve n = -p + g + b for p.
3
Let w = 32 + -60. Let f = -2 - w. Let d = -10 + f. Solve d - 1 = 5*y for y.
3
Let u(a) be the third derivative of -a**5/60 + 5*a**4/12 - 5*a**3/3 - a**2. Let d be u(8). Solve v = 1 - d for v.
-5
Let n(a) = a**3 - 2*a**2 - 3*a - 6. Let l be n(5). Let k = l - 36. Suppose x + 4*q - 12 = 0, 0 = -4*x + 7*x + 3*q - 18. Solve x*g - k - 2 = 0 for g.
5
Suppose -5*y = 7 - 42. Suppose -24 = -y*a + a. Solve 2*q + 0*q + a = 0 for q.
-2
Let d(i) = -i**3 + 16*i**2 + 2*i - 11. Let y be d(16). Let b be ((-12)/(-4) - -1) + y. Solve f + b = -4*f for f.
-5
Suppose -22*o + 442 + 174 = 0. Solve -32*p - 20 = -o*p for p.
-5
Suppose 4*o = -5*q + 36, -q - 3*q - 4*o + 28 = 0. Suppose 0 = -2*n - 2*d + 28, -n - q*d + 34 = -3*d. Solve -n - 6 = -5*a for a.
3
Let g be ((-18)/15)/(3/(-40)). Let d = g + -13. Suppose d*t + 5*a = 25, -t = 3*a - 12 - 3. Solve t*b = -b for b.
0
Let d(b) = -3*b - 1. Let t = -7 - -5. Let n be d(t). Suppose 0 = -i - q, 0*i + 4*q = -n*i + 1. Solve -k = 4 - i for k.
-3
Let i(w) = w + 1. Let q(n) = 7*n + 5. Let p(z) = 5*i(z) - q(z). Let h be p(-2). Solve 0 = 2*t - h for t.
2
Suppose 0 = -2*t + 2*r - 3*r + 8, -4 = -r. Let x(d) = d - 6. Suppose v + 3*v = 40. Let w be x(v). Solve t*s - 6*s + w = 0 for s.
1
Suppose -2*d - 4*v + 2*v = -2, 2*v - 6 = -3*d. Let a be ((-204)/(-24) - 9)*-10. Solve a*z = -d - 1 for z.
-1
Let m = -295 + 304. Solve 3*n = 6*n + m for n.
-3
Let g(b) = b**2 - 17*b + 78. Let j be g(12). Solve 4*i = 10*i - j for i.
3
Let t be -2 - (-5 - (-1)/(-1)). Suppose 23 = t*f + 3. Suppose -3*h + f*h = 10. Solve -3*i = -h*i - 4 for i.
-2
Let f = 1772 - 1688. Solve 0 = 3*q - f + 81 for q.
1
Let p(k) = -k**2 + 13*k + 14. Let h be p(14). Solve 4*m + h = -4 for m.
-1
Let c be (-8)/(-6)*84/(-8). Let t be 4/c + 180/42. Solve 2 = -t*u - 18 for u.
-5
Let s(v) = v**2 - 4*v - 5. Suppose 6*d = 4*d + 10. Let g be s(d). Solve 0 = -5*q - g*q for q.
0
Let a = -39 + 27. Suppose 432*z + 60 = 427*z. Let u = z - a. Solve u = w + 4*w - 10 for w.
2
Let n be (-2)/11 - (-2)/11. Suppose 3*t - 15 = -3*v, -3*v + 2*v = 3. Solve n*i - 4*i = t for i.
-2
Suppose u + 3*h - 36 = 0, 5*h - 105 = -4*u + 32. Suppose 8 = -2*q, -3*f + u = -2*f - q. Let x = 39 + -34. Solve -x*d + f = 4 for d.
5
Let t = 16 - 14. Suppose -l + t = l. Solve -9 = -2*r + l for r.
5
Let b(r) = r**3 + 3*r**2 - r - 3. Let d be b(-2). Let n = d - -3. Suppose h + 0 = 10. Solve v = n*v - h for v.
2
Suppose 6 - 24 = -j - 4*n, -12 = -4*n. Let b be (-2)/(-2)*(j - 1). Suppose 25 = 5*r - 2*q, b*r + 0*q - 5 = -2*q. Solve r*h = -5 - 7 for h.
-4
Let b = -63 + 67. Solve 0 = 6*x - 5*x + b for x.
-4
Let d(h) = -27 + 6 + 3*h - 23 - 7*h. Let r be d(-12). Solve -r*u + 3*u = -4 for u.
4
Let b be (-1 - -3) + -6 + 7. Solve b*k = -2*k - 10 for k.
-2
Let c = 261 - 260. Solve -j + 3 = c for j.
2
Suppose 5*a = 3*v - 28, -2*a + 4*a = v - 8. Let h = v + -14. Let t be (7 - 4) + (h - 1). Solve 0 = -f - f + t for f.
2
Let t be (-4)/4*(-1 - -1). Solve -2*c + c - 1 = t for c.
-1
Let k(u) = 3*u**2 - 24*u - 30. Let t be k(10). Solve t*f = 25*f - 10 for f.
-2
Suppose 174 = 26*x + 18. Solve 3*d - 6 = x for d.
4
Suppose -3*c + 6*c = -63. Let b = c + 21. Solve -4*j + b = 12 for j.
-3
Let g(k) = k - 14. Let z be g(13). Let c be (-6)/z - 3/1 - 2. Solve -2*u + c = -3 for u.
2
Let z be 10/(-1) - (-3)/(-18)*0. Let c be (12/(-10))/(3/z). Let u = 4 - -11. Solve -c*o - o + u = 0 for o.
3
Suppose 0 = 9*i - 13 - 14. Solve 5*t = i - 13 for t.
-2
Suppose -11*w - 30 = -w. Let h be (1 - (-4)/w) + (-4)/(-12). Solve h = -k + 4*k for k.
0
Let y = 51 - 25. Let t = y + -21. Suppose -26 + 6 = -4*c - t*n, 3*n = 0. Solve -c*m = -m for m.
0
Suppose 3*l = -213 - 153. Let p = l - -125. Let n(h) = 2*h + 3. Let i be n(3). Solve -3 = -p*w + i for w.
4
Suppose 182*n = 183*n - 251. Solve 0 = -3*b + n - 245 for b.
2
Suppose 2*i + 12 = 5*i. Suppose 0 = -d - 5*v + 10, 5*d + 5*v = 2*v + 6. Solve i*j = -12 - d for j.
-3
Suppose 10 = 2*u - 2*t, 8*u = 13*u + 4*t + 20. Solve 4*l - 11*l + 14 = u for l.
2
Let j = -38 - -46. Let t be j/20 - 4/10. Solve t = -2*s - 13 + 5 for s.
-4
Let o = 3 - 33. Let x = o - -30. Solve x*z = 3*z for z.
0
Let p = -2 - -5. Suppose s + q = 0, 0*s + 4*s - p*q - 28 = 0. Let x be 4/(s - 0) + 6. Solve -2*f = -x*f for f.
0
Suppose 2*y = -y - 5*c - 52, 2*y + 4*c = -38. Let j = -2 - y. Let l be 2 + 1*-3 + 4. Solve j = l*v - 5 for v.
4
Suppose 48 = -3*p - 48. Let w = p + 42. Let z be 2/(-4)*0 - -2. Solve w + z = 3*v for v.
4
Let l = 5 - 1. Suppose -l*g = -h - 2*g - 27, 5*h - 4*g + 123 = 0. Let o = h - -26. Solve 0*r = o*r for r.
0
Let z(l) = l**2 - 4*l - 1. Let x be z(5). Suppose -h + 7*d - 10 = 2*d, -5*h - x*d + 37 = 0. Solve 14 - 9 = -h*p for p.
-1
Suppose 0 = c + 2*c - 6. Suppose c*d + t - 2*t + 1 = 0, t - 5 = -2*d. Solve 0 = -3*g - 7 + d for g.
-2
Let s = -1834 + 1849. Suppose 2*t = 6*t - 52. Solve t*q - s = 10*q for q.
5
Suppose n + 4*j - 10 = 4, -3*n + 14 = -2*j. Let z be 16 + n*3/6. Suppose -14*u + z*u = 15. Solve 2 = -u*b - 4 for b.
-2
Let j = 1036 + -1032. Solve -5*s = 29 - j for s.
-5
Let a be (-8)/26*481/(-74). Solve 0 = a*c - 0*c - 8 for c.
4
Let x = 3 - 1. Suppose x*u + 22 = 4*u. Solve -4*c + u = -1 for c.
3
Let r(x) = x**2 - 7*x + 2. Let h be r(7). Solve -y - 1 = h for y.
-3
Suppose -3*l + 105 = -267. Solve 4*v = 112 - l for v.
-3
Suppose 14 = 2*z - z - 4*q, -5*q + 95 = 5*z. Let s = z - 24. Let f be s + 3 + 9 + -4. Solve -f*b + 8 = -4*b for b.
-4
Suppose 0 = 214*u - 230*u + 96. Solve -10 = -u*s + 20 for s.
5
Let z be 326/20 - 93/310. Let i(y) = y**2 - 4*y + 7. Let o(a) = a**2 - 4*a + 8. Let v(x) = -5*i(x) + 4*o(x). Let c be v(3). Solve -4*q = -c*q + z for q.
-4
Let g(t) = t**3 + 11*t**2 + 24*t - 16. Let s be g(-6). Solve 0*b + 