Let s = 15 + v. Solve 2*w = s*w + 5 for w.
-1
Let a be (-1470)/(-114) + (-6)/(-57). Solve 3*i = a - 16 for i.
-1
Let v = -195 - -204. Solve 0 = -v*r - 1 - 17 for r.
-2
Let l be (-4410)/(-117) + (-8)/(-26). Solve 3*n + 23 = l for n.
5
Let z(q) = q**2 + 14*q - 64. Let i be z(4). Solve -i*y = -5*y + 6 for y.
-2
Suppose 5*i - 430 = -5*v, -67 - 216 = -3*i + 2*v. Suppose -4*k + x + i = 0, 0*k - 4*x = k - 27. Solve -5*h + 3 - k = 0 for h.
-4
Suppose -9 = 2*f + c + 3, -c + 18 = -4*f. Let z(u) = -u + 3. Let t be z(f). Solve 4*b = t + 8 for b.
4
Let r(q) = -q**3 - 12*q**2 - 15*q - 25. Let n be r(-11). Suppose n*z - 16*z = 63. Solve -5*y + 1 = z for y.
-4
Suppose 0 = -127*p + 119*p + 32. Solve p*v + 12 = 4 for v.
-2
Suppose -19*t + 72 = -308. Solve -4*i - t = 6*i for i.
-2
Let j be (408/34)/(-2 - 1*-4). Solve -156*d + 159*d - j = 0 for d.
2
Suppose -56*v + 59*v = 51. Let x(k) = 2*k - 28. Let n be x(v). Solve -2*l - 4 = -n for l.
1
Let y(h) = -h**3 - 16*h**2 + 2*h + 35. Let k be y(-16). Solve 3*x = 6*x - k for x.
1
Suppose 35 = 5*s + 2*o, -5*o = -2*s - 3*o. Solve 19 = s*c + 9 for c.
2
Let j be ((-24)/10)/(4/(-10)). Let x(b) = -3*b + 13. Let k be x(j). Let s = k - -6. Solve 4*y - s = 11 for y.
3
Let x = 893 - 878. Solve 7*y = x*y - 16 for y.
2
Let g = 1563 + -1515. Solve -12*s - g = -0*s for s.
-4
Let r be (0 + -2)/(-2)*5. Solve -r*y = 2*y for y.
0
Suppose -12 = -m - 8. Let o be -16*(-3 - 10/(-4)). Suppose -2*l = -o*l. Solve f - m*f = l for f.
0
Let a(u) = u + 10. Let x be a(-10). Let v = 38 + -26. Solve 3*t - v = -x*t for t.
4
Suppose 5*q + 4 = 2*i + 53, -q = i - 7. Suppose -2*k - 5 + q = 0. Solve -a = k*a for a.
0
Suppose -4*a + 3*a = 5*t + 7, 4*a - 5*t - 22 = 0. Solve 4 = 5*z - a*z for z.
2
Let a = 1 - -3. Suppose 3*g - 2016 + 2016 = 0. Solve g = -a*u + 4 for u.
1
Let i = -1297 + 1323. Solve 4*o - i = -10 for o.
4
Let g(c) = -c**3 - 12*c**2 - 10*c + 25. Let d be g(-11). Solve -5 = d*n - 9*n for n.
-1
Let f(z) = 6*z + 44. Let t be f(-7). Solve -110*a + 111*a = t for a.
2
Let r = -25 - -32. Let u be -1 + 4 + r + -2. Solve -9*o = -u*o for o.
0
Suppose o = 3*j - 73 + 29, 4*o + 11 = j. Solve -11*c = -16*c + j for c.
3
Let f(k) = k**3 + 10*k**2 - 10*k + 14. Let n be f(-11). Suppose q = -n*m + 2, -2*m = 2*m + 2*q. Solve 6 = m*p - 0*p for p.
3
Suppose 5*q = -5*r + 455, 0 = -4*r - 2*q + 358 + 12. Let c = -90 + r. Solve -c*n + 19 - 7 = 0 for n.
3
Suppose 0 = 5*m + 7 + 3. Let u(x) = -9*x - 1. Let w be u(m). Let t = w - 17. Solve -2*p + 1 + 7 = t for p.
4
Suppose -12 = -3*l + p, 0 = -4*l + 4*p - 5*p + 9. Let v(y) = -y**3 + 2. Let j be v(-2). Solve d - j = l*d for d.
-5
Let y(j) = -j**2 - 37*j - 321. Let w be y(-19). Solve 19*a - w = 26*a for a.
-3
Let j = 1553 - 1551. Suppose 11 + 1 = 2*b. Solve j*s = b*s for s.
0
Let u(z) = z**3 - 8*z**2 + 7*z - 2. Let w be u(7). Let i be (1/w)/((-2)/12). Let q = 2 + i. Solve -2*k = -q*k + 3 for k.
1
Suppose -61 = -2*i + 5. Suppose 29 - i = -2*y. Solve -y*d + 4 = 10 for d.
-3
Let i = -3 + 8. Solve -5 = -i*g + 15 for g.
4
Let c be (-3 - 0) + (-4 - -14). Let i(z) = -z**2 + 8*z - 3. Let m be i(c). Let j(d) = d**3 - 3*d**2 - 4*d + 5. Let y be j(m). Solve -10 = y*s + 10 for s.
-4
Let t be ((-10)/(-15))/((-2)/21). Let o(a) = 3*a - 5. Let p be o(6). Let d = p + t. Solve d = -5*r + 1 for r.
-1
Let d(w) be the second derivative of w**3/3 - 8*w**2 + 9*w. Let c be d(8). Suppose -b = -c*b. Solve 4*a - 3*a + 3 = b for a.
-3
Let l be -30 + 0 - (-9 - -6). Let a = -27 - l. Solve -15 + a = -5*h for h.
3
Suppose -3*i - 5*x + 30 = 0, -2*i = 3*x - 9 - 11. Solve 8 = -2*y + i for y.
1
Let t(v) = v**2 + 2*v + 16. Let i be t(-3). Suppose 22*y = i*y. Solve n - 1 + 6 = y for n.
-5
Let v = 627 + -611. Solve -v = -3*k + 7*k for k.
-4
Let n(t) = 16*t + 4. Let c be n(0). Solve -c = -4*j - 0 for j.
1
Let h(p) = p**3 - 14*p**2 + 26*p - 24. Let f be h(12). Let s be 2 + 1 + (-3 - f). Solve s*t + 2 = 2*t for t.
1
Suppose -636 - 585 = -37*g. Solve -g*c + 7 = -26*c for c.
1
Let o be (10/(-4))/(1/(2 + 2)). Let b be (1/4 + o/40)/1. Solve 2*k = -b*k for k.
0
Let u be (-3 + 3)*(-2)/6. Suppose 0 = -6*t + 8*t - 122. Suppose -3*i - t = -2*g, 0 = 4*g + 2*i - 0*i - 82. Solve u = 3*o - g + 8 for o.
5
Let g(c) = c**2 - 9*c + 21. Let o be g(6). Suppose 0 + 6 = o*i. Solve -i*s + 2 + 8 = 0 for s.
5
Let x(r) = r + 14. Suppose 2*s = 4*s - 2*y - 2, -4*s + 3*y = -3. Let k be x(s). Let v = 16 - k. Solve -p + v = -0*p for p.
2
Let i(c) = c**2 + 3*c + 15. Let y(f) = f**2 + 2*f + 16. Let h(k) = 5*i(k) - 4*y(k). Let o be h(-2). Solve o = -p - 1 for p.
-2
Let o(x) be the third derivative of -x**5/60 + x**4/2 + 14*x**3/3 + 6*x**2. Let h be o(14). Solve 4 = 2*m - h*m for m.
2
Let k be -5*(-2)/((-2)/(-9)). Let l be 13/(-13) + 6 - 1. Suppose k = l*t - 11. Solve -5*d + t = -6 for d.
4
Suppose 617*w = 609*w + 40. Solve t = -w*t + 12 for t.
2
Let v(t) = -68*t - 124. Let f be v(-2). Solve -27 = 3*l - f*l for l.
3
Suppose 2*g = -n + 8, 0 = -5*g + 3*n + 2*n + 35. Let v(j) = j**2 - 2*j - 5. Let c be v(4). Suppose 4*k - 5 = c. Solve -k*p - 3*p = -g for p.
1
Suppose -5*f - u = -13, -2*f - 5*u = -3*f - 13. Suppose -2*m + 3*s + 13 = 0, -5*m + 18 = -3*m + f*s. Solve -7 = -5*h + m for h.
3
Suppose -4*g = 3*z + 18, 2*g - z = 2*z - 18. Let c = 14 + g. Solve 2*v + c = -2*v for v.
-2
Let u(y) = y**2 + 10*y + 10. Let r be u(-9). Let i(o) = -o + 4. Let k be i(r). Solve k = -0*d + 3*d for d.
1
Suppose -86 = -20*i - 26. Let g be (0 + -2)/((-4)/34). Suppose -55 = -i*r + g. Solve -1 = -5*l + r for l.
5
Suppose -6*k - 36 + 108 = 0. Solve 3*j = 7*j - k for j.
3
Suppose 4*i = -0*i + 4. Let p(r) = -r - 6. Let g be p(-12). Suppose 2*c + 5*f - g = 0, 3*c + 3*f - 9 = 4*f. Solve o - i = c for o.
4
Let g be 6/39 - (0 + (-1556)/26). Suppose 4*f - g = -8*f. Solve 0 = -f*l - 3 - 2 for l.
-1
Let z = -333 + 353. Solve -3*j = 2*j + z for j.
-4
Let w be -8*(-2 - 9/(-6)). Suppose -3*m = -w*m + 3. Let y be (m/(-2) - -2)*12. Solve -y*f = -f for f.
0
Let m be (3/(-6))/(3/(-12)). Suppose 3*f + 7 = 2*a, 4 = m*f + a - 3. Suppose 2*s + 58 = 2*c, 5*s + f = -9. Solve -5*b - 2 = -c for b.
5
Suppose 4*h = -w + 35, -5*w + 2*h + 35 = -4*w. Let f be 8/(-60) + (-1446)/(-45). Let r = w - f. Solve -r + 9 = 2*n for n.
3
Let b(u) = -u**2 + u + 6. Let x be b(3). Solve -8*t + 5*t = x for t.
0
Suppose 12*h - 56 = -2*h. Solve 0 = 8*v - h*v - 12 for v.
3
Let s be (-4)/(-2)*(-1 - (-755)/(-10)). Let h = s + 155. Solve 6 = h*p + p for p.
2
Suppose 6*b + 143 = 173. Solve 10 = b*x - 0 for x.
2
Suppose -20*u - 49 = -25*u + 4*k, 37 = 4*u - k. Solve 5 = -v + u for v.
4
Let z = 40 - 36. Suppose 0 = -0*t - z*t. Solve -2*l + 3*l - 5 = t for l.
5
Let w(r) = -r**3 + 16*r**2 - 13*r - 18. Let h be w(15). Suppose 0 = -4*a - a + 15. Suppose -a*g - h = -3*q, 5*q - 2*g + g = 4. Solve q = -2*m - 8 - 0 for m.
-4
Let f be (27/(-45))/(6/(-40)). Solve -10*h + 14*h = f for h.
1
Suppose -3 = 2*x - 35. Suppose 0 = 4*b - 3*f - x, f = 5*b - f - 13. Let p(s) = 6*s - 1. Let v be p(1). Solve -c = b - v for c.
4
Suppose -5*x + 20 = 0, -p + 0*p - 4*x = -14. Let s be -2*(7/p + 1). Solve -10 - s = 5*w for w.
-3
Let z(d) = -d**3 + 15*d**2 + 59*d - 58. Let m be z(18). Solve -3*y = -11*y - m for y.
-4
Let r(d) = -3*d**2 - 3*d - 2. Let p be r(-1). Let a be ((-1)/(-2) + -1)*p. Solve -m + a + 1 = 0 for m.
2
Let j = 31 + -11. Suppose -5*z + 3*n = -40, -n - j = 3*n. Solve 0 = -5*a - z - 0 for a.
-1
Let g = 539 - 536. Let s = -4 - -6. Suppose 2*p - 5 = y, -y = s*p - 3*y - 6. Solve g*d - 5 = p*d for d.
5
Let i = 32 + -17. Let w = -34 - -36. Suppose -w*s + 9 = -5*u, -s - 3*u = 2*u + 3. Solve l = -s*l - i for l.
-5
Let b(n) be the third derivative of -3/2*n**3 + 0 + 0*n - 1/60*n**5 + 1/2*n**4 - 3*n**2. Let q be b(11). Solve -q*k - 2*k = 20 for k.
-5
Suppose 70 = -0*y + 5*y. Solve y = -7*i + 35 for i.
3
Let b(q) = -2*q + 43. Let c be b(18). Suppose -5*v = -c*v + 16. Solve a = -a + v for a.
4
Let r(d) = 16*d**3 + d - 9*d**3 - 8*d**3 - 11 + 13*d**2. Let p be r(13). Let x be (-1 + p)*55/5. Solve -3*g + 4 = -x for g.
5
Let p be (4 - (-8)/(-3))*(-27)/(-12). Solve -p*k - 24 = -15 for k.
-3
Let q be 2/12*-2*-9. Suppose q*x = -0*x + 18. Solve 6 + x = -4*d for d.
-3
Let d(f) = f**2 + 5*f - 285. Let z be d(-20). Solve 3*l + 2*l - z = 0 for l.
3
Suppose -2*z + 0*z + 10 = 0. Let n(x) = -x**2 + 4*x + 5. Let b be 