2*b = 3*b - 149, -p - 67 = -b. Let a be (-40)/(-70) + p/(-14). Solve -a*i + i + 12 = 0 for i.
3
Let b = 8 + -6. Suppose 0*v = -b*v. Let d(u) = -u**2 + 8. Let w be d(v). Solve 2*h + 0 = -w for h.
-4
Suppose -3*a = 2*v - 3 - 1, 0 = -a - 3*v - 8. Suppose a*j - 4*f = 0, 0*j = j + 3*f - 8. Let q(u) = u**2 - 8*u + 3. Let l be q(8). Solve j*s - l = 5*s for s.
-1
Let k(f) = -4*f**2 + 3*f**2 + 23*f + 4 - 16*f. Let y be k(4). Suppose 0*b + 2*b - y = 0. Solve -b = h - 3 for h.
-5
Suppose 31 = -5*m + 131. Let g be (-24)/9*(-12)/8. Suppose -2*u - 25 + 1 = -g*a, m = 4*a - u. Solve r = -a*r for r.
0
Let m = -13 - -67. Let w be (m/72)/((-1)/(-4)). Solve 0 = 2*g + w*g - 10 for g.
2
Suppose -1015 - 1345 = 20*u. Let w = u - -125. Solve 4*h - w = 1 for h.
2
Let q = -10 + 14. Suppose -4*a = 3*k - 3, 0*k - q*k = -4*a + 24. Solve -r = -a*r + 2 for r.
1
Let p be (-100)/(-15)*144/15. Suppose 7*h - p + 22 = 0. Solve 3*c = c - h for c.
-3
Let n be 20/(-50) - 68/(-20). Solve 3*x + 0*x + n = 0 for x.
-1
Let x be (-10)/(25/(-5)) - -14. Let s be (34/4 - 6)*x/10. Solve s*q = -q for q.
0
Let z = 281 - 274. Solve 8*i = z*i + 4 for i.
4
Let g = -22 - -28. Let a = g + 0. Solve 3*x - a*x = 0 for x.
0
Suppose 0 = -5*a + 20, -c - 2*a = -3*a - 22. Suppose 3*m + 8 = c. Solve -6*o - m = -8*o for o.
3
Let y(i) = 4 + 4*i**2 + 2*i**2 + 46*i - 48*i. Let r be y(1). Solve -6*l + 2*l + r = 0 for l.
2
Let u(i) = -11*i + 3 + 4*i + 2*i**2 - 1 - i**2. Let q be 14*1*1/2. Let j be u(q). Solve 3*x = -j - 1 for x.
-1
Suppose -23 = 4*d - 0*d - 5*h, 5*h = -2*d - 19. Let j = 1 + d. Let w(r) = r**3 + 9*r**2 + 17*r - 4. Let g be w(j). Solve -g*q = q + 9 for q.
-3
Let g be 6/2 - ((-238)/14 + 20). Suppose 2*k = 4*k. Solve g = -f - k*f for f.
0
Let n = -139 + 140. Let u(l) = -l - 6. Let y be u(-10). Suppose -3*c + 5 = -2*k + 33, -3*k + 25 = y*c. Solve -k = 2*t - n for t.
-5
Let k be (-48)/216 + 47/9. Suppose -3*o - 4*w + 2 = 0, 4*w - 2*w + 6 = 2*o. Solve -r - k = -o*r for r.
5
Let u be (-1)/(-1*(-3)/(-9)). Let n be (-36)/(-5)*5/3. Solve n = u*l - 6*l for l.
-4
Suppose 4*z + 56 = -0*z. Let c be 8/12 + z/(-6). Solve 11 + 4 = c*t for t.
5
Suppose 0 = 3*f - 3*j + 21, -3*j + 8 = -2*f - 7*j. Let d = -6 - f. Suppose 0*v = v - 2. Solve d = -0*w + w - v for w.
2
Suppose 4*v = -t + 21, -4*t + 0*v + 84 = -2*v. Solve -8*f = t + 11 for f.
-4
Suppose 0 = -7*n - n + 376. Solve -48 + n = -x for x.
1
Suppose -2*q - 168 = 2*a, 2*q - 3*a = a - 180. Let p = 92 + q. Solve 2*j - p = 4 for j.
5
Let d be -1 + 0 + -9*1. Let j be (d/(-3))/((-5)/60). Let m = 43 + j. Solve -m*t = t for t.
0
Let s(d) = -d**2 + 13*d + 6. Let i be s(15). Let x be (8/i)/(2/(-18)). Solve -3 = -x*p - 0*p for p.
1
Suppose -4 = 14*i - 46. Solve 2*z = z + i for z.
3
Let r(c) = c**2 + 3*c - 7. Let n be r(-5). Suppose 2*g - 163 + 157 = 0. Suppose -m = 4*m - 30. Solve m = n*p - g for p.
3
Let f = -539 - -566. Solve f = -b + 31 for b.
4
Let i(a) = 3*a**2 - 5*a + 8. Let z be i(2). Let g be (-180)/(-12)*4/z. Solve 0*o + g = -3*o for o.
-2
Suppose -4*y = 12, 3*y = -0*z - 2*z + 19. Let a = 4 + -14. Let u = z + a. Solve 5*d = u*d + 5 for d.
5
Let v(i) = 2*i + 3. Let h(k) = -k - 1. Let f(l) = 17*h(l) + 6*v(l). Let z be f(-1). Let c be (z/3 + 0)/2. Solve -c = -5*a + 4 for a.
1
Let p be ((-164)/6)/(6/18). Let u = -82 - p. Solve 5*i - 7*i + 4 = u for i.
2
Let z(u) = u**2 + 9*u + 10. Let m = 24 - 32. Let b be z(m). Suppose b*a - 3 = 13. Solve 3*n - 20 = a*n for n.
-4
Let x be (3 - 4)/((-1)/14). Let f(q) = q**2 - 14*q + 12. Let v be f(x). Solve -v = 3*o + o for o.
-3
Suppose -2*x = 11*x - 52. Solve 3*i - x = 11 for i.
5
Let d(j) = 6*j**2 - j + 1. Let a(w) = 3*w. Let z be a(1). Suppose -2*o + 11 = c, -c + 2*c + 14 = z*o. Let s be d(c). Solve 0 = s*f - f for f.
0
Let r(p) = p**3 + 8*p**2 + 13*p + 10. Let s be r(-6). Suppose 0*y + 5 = y. Suppose a = 2*x - 6, -a - y = -3*x + s. Solve a*o = -o for o.
0
Suppose 0 = 1243*s - 1246*s + 168. Solve -1 = -11*z - s for z.
-5
Suppose -2*y - 21 = -25. Solve -6 = -4*n + y for n.
2
Let v = 157 + -113. Let a be (-3 - (-140)/v) + (-124)/(-44). Solve 2*j + 10 = -a*j for j.
-2
Suppose -69 = 39*h - 62*h. Solve -2*y = 1 - h for y.
1
Let d(a) = 2*a - 8. Let y be d(5). Suppose -l = -6*l - f - 2, 9 = -3*l + y*f. Let x be 6/(-2) + (-5)/l. Solve 2*h = -x*h - 20 for h.
-5
Let n(f) = -f**2 - 4*f - 1. Let a(i) = -i**3 + 4*i**2 - 3. Let t be a(4). Let o be n(t). Suppose -g - 26 = -5*z + o*g, -8 = 4*g. Solve w = -z*w + 15 for w.
3
Let n = 531 + -531. Solve n = 11*c - 45 + 1 for c.
4
Let p be (-2)/(-10) - (-267)/15. Suppose p = 2*m + m. Solve 0 = -2*a + m*a for a.
0
Let x(y) = 0*y + 22 + 4*y + 2*y - 2*y. Let l be x(-5). Solve -l*o = 2*o - 4 for o.
1
Let n(i) = i**2 - 11*i + 13. Let q be n(10). Suppose -5*l - 31 = -2*t - 0*t, 0 = -q*t + 5*l + 34. Solve 0 = 3*x - t - 0 for x.
1
Suppose 3*u - 1 = -y + 16, -4*y + 61 = 5*u. Suppose 0 = -5*c + b + 70, -b = -3*c - 6*b + y. Let i = -11 + c. Solve i*g - 8 = -2*g for g.
2
Let s = 6 + 3. Let f be (-8)/(-36) - 2/s. Let k = -11 - -16. Solve f = 2*y + 1 + k for y.
-3
Let g(k) = 5*k**2 - k + 4. Let p be g(-3). Let z = p + -32. Suppose -4 = -4*i - 4*l, -4*l + 0 = z. Solve 3*v - i*v = -12 for v.
4
Let p = 482 + -479. Solve 7*x = p*x - 20 for x.
-5
Let m(i) = -i + 3. Let k be m(8). Let s = 17 + -28. Let w = k - s. Solve -w*p = -p - 5 for p.
1
Let s be 2/3 - 144/(-27) - 1. Suppose -8 = 3*m - s*m. Suppose -5*v + 4 = -1. Solve -5 = m*k - v for k.
-1
Suppose 0*t - 8 = -2*t. Let q be 0/(-1 + t/2). Suppose -3*z + 10 = 3*c - c, q = -z + 5*c - 8. Solve 0 = -4*f - 6 + z for f.
-1
Let x(b) = -3*b - b - 2 - 2*b + 3*b + 2*b**2. Let q be x(-1). Solve -q*r + 2 = -r for r.
1
Suppose 4*l = -49 + 53. Solve l = -o + 5 for o.
4
Suppose -3*f = 2*f. Suppose 6*q - 3*q - 9 = f. Solve -q*k + 4*k = -4 for k.
-4
Let z = -530 - -532. Let f(s) = -s**3 - 11*s**2 + s + 11. Let p be f(-11). Suppose -5*y + 9 = -16. Solve p = -q + z*q + y for q.
-5
Let j = 650 - 551. Solve -95 + j = -q for q.
-4
Let p(t) = -33*t + 496. Let n be p(15). Suppose 4*q + 0*q - 28 = 0. Solve 2*u - n = q for u.
4
Let i = 3 + 0. Suppose 2*b + i*d + 3 = -0, 3*d + 12 = b. Solve b*o - 6 = 3 for o.
3
Let d(f) = 5*f - 2. Let u be d(3). Let p = -24 - -33. Let a = u - p. Solve 4 = a*o - 2*o for o.
2
Suppose -50*a + 48*a = 0. Solve 0 = -a*u - 3*u + 3 for u.
1
Suppose 4*n = -2*v + 78, -n - 2*v + 34 = n. Let c = n + -17. Solve -m = -c*m for m.
0
Let r(d) = d**2 - 2*d - 3. Let g(u) = u**3 - 3*u + 1 + 1 + 0*u. Let v be g(2). Let i be r(v). Solve i*q - 4 - 6 = 0 for q.
2
Let y be -1 + (-1)/(4/(-12)) + 18. Suppose 4*i + y = 3*r, 20 = 3*r - 5*i - 2. Solve r*g = -g - 25 for g.
-5
Let u = -123 - -79. Let b = 44 + u. Let v be 0 - (-3 - (-1 - -2)). Solve b = -v*l + 6*l for l.
0
Suppose 4*a = -2 + 14. Suppose 2*m = q + 12, -a*m + 5*q + 34 = 9. Solve 4 + 1 = -m*j for j.
-1
Suppose -2*n + 45 = -7*n. Let t be 0 - (1 + n + 0). Suppose -5*b = -7*b + t. Solve b*f = -f + 10 for f.
2
Suppose 2*g = g + 1. Suppose 0 = 22*u - 7*u. Solve q + u*q + g = 0 for q.
-1
Let r(v) = -v + 7. Let t be r(-2). Solve -t = 26*k - 29*k for k.
3
Suppose -4*w + 2 = -3*w, -4*a = -4*w - 76. Suppose -a - 35 = -4*x. Let p = -12 + x. Solve -p*m = 4 - 0 for m.
-2
Suppose -7*n - 214 = -431. Solve n*g = 29*g + 10 for g.
5
Suppose q - 28 = -16. Let w be (-2 + 1)*-3*1. Solve -f - q = w*f for f.
-3
Suppose 3*r - 61 = -4*m, -3*m - 21 - 31 = -2*r. Let z = r - 6. Let k = z - 15. Solve -k*a = -6*a + 4 for a.
1
Suppose 0 = -8*t + t - 336. Let g = 60 + t. Solve 8 + g = 5*k for k.
4
Let j be 62/(-10) + (-2)/(-10). Let l(y) = -12*y - 3. Let b be l(-3). Let g be j/b + 136/22. Solve -g = -0*n + 3*n for n.
-2
Let b(l) be the second derivative of l**4/12 + l**3/3 - 3*l**2/2 - 2*l. Suppose k + 4*d - 19 = 6*k, -4*k = -2*d + 14. Let x be b(k). Solve x = -0*r + 3*r for r.
0
Suppose -3*k - 27 = -q, -4*k - 32 - 9 = -3*q. Let n = -7 - k. Solve -n - 2 = w for w.
-3
Suppose 5*t - 14 = -2*f, 2*t - 2 + 9 = -5*f. Suppose 0 = -5*i - t*s + 121, -31 = -2*i + 4*s + 23. Solve -4*n = n - i for n.
5
Suppose -5*p - 22 + 2 = 0. Let q(h) = -h + 5. Let r be q(p). Solve -4*s - 25 = -r*s for s.
5
Suppose 46*n - 1030 = -202. Solve -n*x + 52 = -31*x for x.
-4
Let y(c) be the second derivative of -c**5/20 + c**4/4 + 2*c**3/3 - c**2 - 3*c. Let b be y(3). Suppose 0*w - 2*w = -b. 