) = -4*u - 14. Let z(x) = -x**3 + 12*x**2 + 14*x - 18. Let f be z(13). Let j be h(f). Solve -3*b + 0*b = -j for b.
2
Suppose 0 = 208*u - 207*u - 7. Solve 6*p + u*p + 39 = 0 for p.
-3
Let m be ((-4)/7)/(1 - 18/14). Let h be -4 - (2 - 18/m). Solve 4*j + 3 = h*j for j.
-3
Let y be 1/((4 - 0)/(-4)). Let h = y - -18. Suppose -10 = 5*m - 4*w, -2*w + h = 5*m - 3. Solve -15 = -m*v - v for v.
5
Suppose 200 = -367*a + 377*a. Solve i + 4*i - a = 0 for i.
4
Let t be (-4 - (-14)/3) + 2/6. Solve -3 - t = -j for j.
4
Suppose 8*s - 20 = 4*s. Solve 4*h + 3 + s = 0 for h.
-2
Let x = -800 + 826. Solve -25*b = -x*b + 2 for b.
2
Suppose -3*t - 7 = 8. Let u(z) = z**2 + 5*z + 4. Let f be u(t). Suppose i - 9 = -3*o, -4*i = f*o - 0*o - 12. Solve 1 = -c - i for c.
-1
Suppose 0 = 10*f - 5*f - 5. Suppose -s - j = f, s + 11 = -4*j - 5. Solve 0 = s*l + 6 + 6 for l.
-3
Let g(j) = j**3 + 16*j**2 - 59*j - 33. Let m be g(-19). Solve 1 = -m*a + 26 for a.
5
Let n(x) = 2*x - 6. Let d(f) = 2*f**2 - 5*f + 6. Let u be d(2). Let a be n(u). Solve 0*j = -a*j + 10 for j.
5
Let b(q) = -q**3 - 10*q**2 + 13*q + 10. Let y be b(-11). Let x be (-98)/8 - (-9)/y. Let z = 13 + x. Solve -3*a + 0*a = z for a.
0
Let m(o) = o. Let r be m(4). Suppose 11*q = 7*q. Let j be (q/14)/(0 + 1). Solve j = f - r - 1 for f.
5
Let n = -17 + 23. Let o = 8 - n. Suppose 27 = r + o*r - 3*t, -2*r + t + 13 = 0. Solve r*x - 16 = -4 for x.
3
Let n be (22/10)/((-2)/(-10)). Suppose -4*t + 7 = 2*y - n, 8 = 4*t. Solve 2*h - 3 = y for h.
4
Suppose 5*b = -22 + 97. Let v = 15 - 28. Let a = v + b. Solve 0*l = 2*l - a for l.
1
Suppose -11*o + 21 = -8*o. Suppose s = -4*s + 40. Suppose s*y = o*y. Solve -5*v + 1 - 16 = y for v.
-3
Suppose 12*m + 38 = 14*m. Solve -18*b + 1 = -m*b for b.
-1
Let o be ((-3)/3)/((238/462)/(-17)). Solve -10*p = -13 + o for p.
-2
Suppose 0 = -5*c + 41*c. Let d = 1 - -2. Solve 0 = -c*b + d*b - 12 for b.
4
Suppose -k - 3*u = 2*u - 9, -5*k - u + 21 = 0. Let q be 4/10 - 15/(-25). Suppose 4 = c - q. Solve -k*y + c*y + 3 = 0 for y.
-3
Let b be (4/(-4))/((-4)/92). Let q = b + -20. Suppose -3*c = 2 - 8, -4*c = f - 13. Solve q*t = -f + 20 for t.
5
Let y = -118 - -172. Let k be (-4 - y/(-10))*5. Solve -3*p = -1 + k for p.
-2
Let n = -1646 + 1669. Solve 7 = -10*l - n for l.
-3
Suppose -4*t + 4*m - 20 = t, -20 = 3*t - 4*m. Solve t = -8*o + 3*o - 25 for o.
-5
Suppose 5*k - 15 = -0*k. Suppose -2*l - 25 = -5*n, 0 = 5*l - 0*l - 5*n + 25. Suppose l*w = w. Solve w = -a - k*a for a.
0
Let m(a) be the second derivative of -a**4/12 + a**3 + 6*a. Let x be m(6). Let w be -2 + (-2 - -6) + x. Solve 3*h = 2*h + w for h.
2
Let z(i) = i**2 + i. Suppose -f - 13 = 3. Let s = f - -15. Let n be z(s). Solve 5*p + n*p = -25 for p.
-5
Suppose -5*z = 19 + 11. Let a be (-77)/(-5) + z/(-10). Let g be a/6 - (-10)/(-15). Solve -c - 3 = g*c for c.
-1
Let n = 25 - 52. Let d = n - -3. Let x be (12/(-16))/(3/d). Solve -9 = -x*y + 3*y for y.
3
Suppose -3*v + 5*v = 0. Let j = -271 - -280. Solve v = -c - j + 10 for c.
1
Suppose -3*r = 2*r - 10. Suppose -5 = -5*v + r*n, 4*v + 6*n = n + 37. Suppose -f = v*f. Solve 9*b - 4*b = f for b.
0
Let y(h) = -h**2 + 4*h + 63. Let f be y(-6). Solve -4*w - f*w = -6*w for w.
0
Let y(q) be the second derivative of -q**3/6 - 3*q**2 - 4*q. Let n be y(-13). Solve -2 - n = -3*k for k.
3
Suppose -12 = 4*b + 2*b. Let f be 26/169 - b/(-13). Solve -10 = 5*n - f for n.
-2
Let x(h) = 20 - h**2 + 52*h + 48*h - 93*h. Let d be x(9). Solve -d*r = -3*r - 4 for r.
-4
Suppose 2*j = -5*w + 50, 3*j + w - 65 = -4*w. Solve -3*m - j + 27 = 0 for m.
4
Suppose 163 = 14*r - 117. Solve -4*m = m - r for m.
4
Suppose l = 19 + 4. Suppose -4*s = -l - 41. Suppose 4*z = 16 + s. Solve -3*q = -z*q + 10 for q.
2
Suppose 0 = 21*r - 327 - 240. Solve -28 - r = -11*k for k.
5
Let t be 9 - (12 - 117)/7. Solve 13*y = 19*y - t for y.
4
Let f(m) = -26*m + 3*m**3 - 2 + 23*m + 5. Let i be f(1). Solve -2 = i*w + 4 for w.
-2
Let k(b) = 5*b**2 + 2*b + 36. Let r be k(-3). Solve -71*d - 16 = -r*d for d.
4
Let x = 26 - 26. Solve x*l = 5*l + 25 for l.
-5
Let u(q) = 3*q**2 + 11*q + 6. Let f be u(-5). Suppose 3*x - 6*x = 4*r - f, 4*r = -2*x + 24. Solve -a = -r*a for a.
0
Let b be (1 + (-1)/7)/((-129)/(-602)). Solve -b*i + 56 = 44 for i.
3
Let z(r) = -r**2 - 7*r - 1. Let n be z(-7). Let g be 2/(-8) + n/(-4). Suppose g = 2*b - 7 - 1. Solve 3*s - b = -s for s.
1
Suppose -3*f - 20*f + 276 = 0. Solve 4*g - g + f = 0 for g.
-4
Let h = -29 + 23. Let b(i) = 2*i**2 + 11*i - 4. Let k be b(h). Suppose k*q + x = 14, -34 = -4*q - 6*x + x. Solve j - 4*j + q = 0 for j.
2
Suppose 0 = 4*o + 5*u - 82, 5*u + 121 = 5*o + 2*u. Suppose -p = -1, s - o = -0*p - 3*p. Suppose -5*n + 28 - 3 = 0. Solve 5*z + n - s = 0 for z.
3
Suppose 1 = -o - 1, o + 2 = -6*t. Solve 4*r + 4 = -t*r for r.
-1
Suppose -4*a + 74 = 5*k, 4*a - 2*a = -5*k + 82. Let p be k/4*(-12)/(-18). Solve 0 = 2*u + 5 - p for u.
-1
Let i(l) = l - 10. Let f be i(62). Solve -12*t + 16 = f for t.
-3
Let b = -241 - -236. Let l(h) be the second derivative of -h**5/20 - h**4/3 + h**3/3 - 2*h**2 - 2*h. Let m be l(b). Solve 4*t - m - 5 = 0 for t.
4
Let q be 14/2 - (19 - 18). Solve 0*m = 2*m - q for m.
3
Suppose 8*q - 11*q + 120 = 0. Suppose 3*t = 3*x - 3 - 45, 0 = -2*x + 4*t + q. Solve -3*u + x = u for u.
3
Let x = 875 + -875. Solve x = -7*c + 15*c + 16 for c.
-2
Let p = -48 + 50. Let o = p - -1. Solve 0 = -0*g - o*g - 12 for g.
-4
Suppose 0 = 2*a + 2*a. Solve -4*l - 8 = -a*l for l.
-2
Let z be 2 + (1 - 1) + -2. Suppose 176*q + 32*q = 832. Solve o - 5*o - q = z for o.
-1
Let n(c) = c**3 + 12*c**2 + 11*c + 3. Let k be n(-11). Suppose 7 = k*p + 1. Suppose -p*v + 7 = 1. Solve -3 = -2*o + v for o.
3
Suppose -5*o + 4*f = 0, -3*f + 0*f = -15. Suppose o*u + 10 = 46. Solve -4*x + x - u = 0 for x.
-3
Let x(q) = -15*q + 227. Let u be x(15). Solve -6 = u*i - 4*i for i.
3
Let o = 57 + -36. Let w = 24 - o. Suppose 3*c = w*b - 24, 3*c = -2*b - 0*c - 4. Solve 0 = -x - b*x - 10 for x.
-2
Let o(x) = x**2 + 10*x. Let g be o(-11). Suppose p - g = -d, -2*p - 4*d = -5*p + 33. Suppose a + p = 2*a + 3*m, -3*a + 3*m - 3 = 0. Solve a = -5*t - 3 for t.
-1
Suppose -2*c + 6 = c, 4*c - 9 = -z. Let y(s) = s**2 - 20*s + 57. Let b be y(3). Solve -7*f = -b*f + z for f.
-1
Let u be (-3 - -3)/(-1 + 2). Suppose -3*k + u*k = 5*p - 58, -2*k = 2*p - 20. Solve 5*w = 6 + p for w.
4
Let f(x) = -25*x + 102. Let v be f(4). Solve -v*t = 2*t for t.
0
Let j(x) = x - 2. Let t be j(4). Suppose -a + 10 + 11 = t*y, 0 = -3*a + 15. Solve y = -3*o - o for o.
-2
Suppose 2*f = 5*x + 27 + 11, 2*f - 14 = 2*x. Let u(z) = z**2 + 7*z - 5. Let y be u(x). Solve -1 = -y*t - 4 for t.
-1
Let c = 34 - 25. Suppose -q - 4 = -c. Solve 2*d - q = 3*d for d.
-5
Let u(a) = -7*a + 18. Let o be u(14). Let f be 2/5 + (-688)/o. Solve -f = -5*i + 1 for i.
2
Suppose 0 = 5*f - 5*c - 4 + 14, 0 = 2*f + 2*c + 4. Let w = f - -7. Suppose -w*y + 30 = -20. Solve -7*j + y = -2*j for j.
2
Let q(a) = -10*a + 6 - 3 + a**2 - 12*a**2 - a**3. Let w be q(-10). Solve 0 = f + 2*f + w for f.
-1
Let l be 21/5 + (-12)/10. Suppose -l*z + 5 = -4. Solve z*x = -x for x.
0
Let d(y) = -4*y - 30. Let o be d(-10). Let j be 15/25*o/2. Solve j - 13 = -2*i for i.
5
Let y = -5 + 14. Let w = 14 - y. Suppose 0 = 3*h - w*h + 10. Solve -h*b + 4 = 24 for b.
-4
Let t = -172 + 27. Let n = t + 158. Solve -n = -4*o - 1 for o.
3
Let r(a) = 2*a + 28. Let j be r(-12). Let u be (-20)/(-1 + -4) - -4. Suppose 5*f - 5*b = 0, b - u = -j*f - 3*b. Solve -f = -2*v + 9 for v.
5
Let f(s) = 7*s**2 + 26*s - 5. Let c be f(-4). Let m(k) = k + 6. Let w be m(-6). Let g = c - w. Solve -g*d - d = 0 for d.
0
Suppose -2*o + h = -32, -o - 5*h - 75 = -6*o. Solve 0 = o*f - 11*f for f.
0
Let k be ((-27)/(-15))/(3/10). Let g(p) = p. Let l be g(k). Let v be 10/(-2*1/(-4)). Solve -a = -l*a - v for a.
-4
Let p(s) be the first derivative of -1 - 18*s - 3/2*s**2. Let c be p(-6). Solve 0 = -c*x - 2*x + 10 for x.
5
Suppose -5*y + 3*y = 5*d - 15, -y - 4*d = -12. Solve -b = -y*b - 3 for b.
3
Let s = -187 + 192. Suppose 4*m = -2*z + 58, -2*z - 43 = -3*m - 4*z. Solve -m + s = 2*q for q.
-5
Let u(k) = k**2 - 3*k - 16. Let o be u(6). Solve 0 = -o*b - 9 + 5 for b.
-2
Suppose 0 = -4*i + 2*i. Suppose i = n + n - 12. Suppose 2*o + n = 20. Solve o = -3*s - 8 for s.
-5
Let r = -11 - -11. Let k be r + 9 -