5. Let m be b(5). Let p = -15 - m. Solve -3*v + 0 + k = p for v.
3
Suppose -m + 28 = -3*m + 4*v, -v + 13 = -2*m. Let a = m - -8. Suppose -s + a = s. Solve -r = s*r for r.
0
Suppose 0 = -2*r + 220 - 56. Suppose -5*a + 61 = 3*u, -5*u = a - r + 17. Solve -3*t + u = -0*t for t.
4
Let x(u) = -9*u**2 + 35*u + 25. Let v(b) = 5*b**2 - 18*b - 12. Let i(q) = -11*v(q) - 6*x(q). Let p be i(-10). Solve p*d + d = -15 for d.
-5
Let w be 5733/630 + 1/(-10). Solve 4*q = w*q - 20 for q.
4
Suppose 2*f - 42 = 2*w, 4*f = -22*w + 18*w + 44. Solve -7*t - 18 = -f*t for t.
2
Let r(k) = k**3 + 8*k**2 - 3. Let v be r(-8). Let j = -1 - v. Suppose -j*w + 13 + 8 = -3*h, 5*w = 2*h + 25. Solve 0 = -f - 2*f + w for f.
1
Let f(r) = -r**3 - 6*r**2 - r - 1. Let k be f(-6). Let t = 257 - 256. Solve k = -2*x - t for x.
-3
Suppose 11*w = 15*w - 224. Let a = w + -27. Let l = a + -22. Solve 0 = -k - 4 + l for k.
3
Let d = -39 - -21. Let a be 178/15 + d/(-135). Solve 3*g = -0*g - a for g.
-4
Let i = 149 + -144. Solve -6*b = -i - 1 for b.
1
Let d = 69 - 83. Let r be 3/(-1*(-6)/8). Let v be (d/r)/(-7)*0. Solve -2*k - k = v for k.
0
Let i be (-6)/10 + (-28)/(-5). Suppose -i*d = 4 - 14. Suppose 15 = d*t + 5. Solve 0*f - t*f = 0 for f.
0
Let f = 1959 + -1950. Solve 0 = f*p - 11*p - 2 for p.
-1
Let v = -2035 + 2055. Suppose 4 = j - 1. Solve -b - v = -j*b for b.
5
Let b = 14 - 12. Let c be (-6)/(-15) - 56/(-10). Suppose b = -2*s + c. Solve 0 = -s*i + 10 for i.
5
Let x(v) = v**3 + 6*v**2 + 4*v - 3. Let r be x(-5). Let d = -60 - -64. Suppose 7 + 1 = d*s. Solve -6 = -r*q - s for q.
2
Let t(m) = 2*m**2 - 27*m + 59. Let g be t(11). Solve 16 = -g*w + 4 for w.
-3
Let s = -6 + 10. Let d be (-1 - s)/(-5 - -4). Let l be -10*(-2)/d*1. Solve l*m + m = 0 for m.
0
Suppose -11 = -3*j + 4. Let w = 195 + -169. Suppose j*q = n + 22, 4*q + n = -n + w. Solve -2*m - q = -m for m.
-5
Suppose -j = 3*u + 7, -u = -30 + 35. Solve b = 3 - j for b.
-5
Let m(h) = -h + 16. Suppose 2*d - 3*d + 2 = 0. Suppose -d*b + 8 = -b. Let i be m(b). Solve i*y - 3*y + 20 = 0 for y.
-4
Let z = -243 - -245. Solve -8*s = -7*s - z for s.
2
Suppose -2*m + 3 = -3. Suppose -2*a - m*a = -20. Solve -2*z + a = -4 for z.
4
Let u(v) = -1 + 5 - v**2 - 3. Let d(r) = r**3 - 6*r**2 - 7*r. Let w be d(7). Let m be u(w). Solve -2*f = -m - 1 for f.
1
Suppose -6568*c + 6559*c = 0. Solve c = -11*j + 27 + 28 for j.
5
Let a be 0 + 6 - ((25 - 53) + -11). Solve -11*k + 20*k = a for k.
5
Suppose -k + 5 = r, 0*r - 3*k + 5 = -2*r. Suppose 3 = r*l + 7. Let w be 92/10 - l/(-10). Solve 3*s - w - 6 = 0 for s.
5
Let p be (-6)/(-2)*1 - -4. Let n be (-2 - 0)*(-5 - -3). Suppose 6*f = n*f + 8. Solve -f*t = -p - 1 for t.
2
Suppose 3*m + 577 = 649. Solve 14*l + m = -4 for l.
-2
Let f(g) = -2*g**3 + 14*g**2 - 11*g + 13. Let c be f(6). Solve -24*n = -c*n + 15 for n.
-3
Let r(g) = -7*g + 150. Let l be r(20). Solve 20*w + 50 = l for w.
-2
Suppose -3*t + 2*o + 8 = 0, -5*o + 0 - 5 = -5*t. Suppose -h - 4*z = t, -h - 3*z = -0*h + 6. Let f(x) = x**2 + 5*x - 6. Let a be f(h). Solve a*c = c + 4 for c.
-4
Let x = -103 - -58. Let i = x + 51. Solve y + 2 - i = 0 for y.
4
Suppose 0 = 3*z + r - 11 - 7, -z = -r - 6. Solve -z*k - 4 = -2*k for k.
-1
Suppose -356*t + 344*t + 876 = 0. Solve t = 10*p + 53 for p.
2
Let m be 60*-2*2*(-3)/12. Let r be (-4)/m*-5 + (-2)/6. Solve r = 2*d - 0*d - 10 for d.
5
Let q = -454 + 488. Solve 12*r - q + 22 = 0 for r.
1
Suppose -23*b = -14 - 101. Solve -4*i - b = -21 for i.
4
Let i(x) = 10*x. Let k be i(-6). Let f = k - -87. Let b be 8/5 + f/(-45). Solve -y = -b - 3 for y.
4
Suppose 5*f + 85 = 4*p, 0 = -3*p - 3*f + 38 - 8. Suppose 0 = 7*x + 23 - 51. Solve q - x*q = p for q.
-5
Let h be 1*(2 - (1 - 4)). Let j(v) = -v**3 - v + 6 - 1 + 7*v + 4*v**2. Let l be j(h). Solve 3*a = -2*a - l for a.
-2
Suppose -7*j - 2*y - 11 = -6*j, 5*j + 3*y + 83 = 0. Let i = -15 - j. Solve -i*p - 6 = -2 for p.
-1
Let a be -2*(-6 + 0) - -3. Suppose 25 = -5*w, 4*w + a = 3*v - 2*v. Let j(m) = m**3 + 4*m**2 - 5*m. Let g be j(v). Solve g = -5*z + z for z.
0
Let w = -484 - -489. Let t = -2 - -2. Solve t = w*z - 17 - 3 for z.
4
Suppose 2*a + k - 2*k = 0, 0 = -a - 4*k. Suppose a = 4*r - 12, -y - 4*r - 7 = -23. Solve 0*u - y = -u for u.
4
Let u be (-3 - 1)/(-2) + 0. Suppose 2*i = -3*q - u, -3*i = q + i + 4. Solve o + q*o + 1 = 0 for o.
-1
Let l(i) = 71*i - 138. Let m be l(2). Solve -m*n - 4 = -6*n for n.
2
Suppose 0 = 4*m - 5*m + 7. Suppose i + 0 - m = 0. Suppose -i*p + 10*p = 9. Solve n - p + 4 = 0 for n.
-1
Suppose 0 = 9*l - 78 - 138. Solve 0 = 19*h - l*h for h.
0
Let c(u) = -4*u - 20. Let i be c(-5). Solve -2*z + 3*z - 5 = i for z.
5
Let q = -18 + 31. Suppose 36 = -v + q*v. Solve 12 = 3*a + v for a.
3
Suppose 429 = -2*p + 299. Let l = 73 + p. Solve -2*b + l = -0*b for b.
4
Let l(r) = 3*r**3 - r**2 - 4*r**3 - r + 4 + 0*r**3. Let v be l(-3). Let x = v + -20. Solve -g = -0 + x for g.
-5
Let x be 1 - 25/(200/(-432)). Solve -v + x = 60 for v.
-5
Suppose -9*s + 26 = -28. Solve s*d = 4*d - 10 for d.
-5
Suppose 3*u = -2*z - 6, -3*z + u - 22 + 35 = 0. Solve -z = -s - 3 for s.
0
Suppose -43*l = -5*l. Solve l = -0*p + 2*p - 4*p for p.
0
Let l be (33/(-110))/((-12)/50)*4. Solve 28*c - l = 33*c for c.
-1
Let m = -289 - -311. Solve 0 = 6*z + 4 - m for z.
3
Let r be (3 + 5)*(0 - -9). Let a = r - 70. Solve 0 = b - a*b + 1 for b.
1
Suppose 66 = 19*g - 10. Solve -101*q - g = -99*q for q.
-2
Suppose z - 4*z + 6 = 0. Suppose -15 = -5*r + 2*g + 3*g, -z*g = 2. Let p = r + 2. Solve 5 = -p*d + 21 for d.
4
Suppose 5*m + 22 = d, -4*d - 8 = 14*m - 10*m. Solve -p = p - d for p.
1
Let f = -560 + 565. Solve -f*l - 3 = -2*l for l.
-1
Suppose -7*b + 12*b = 0. Suppose 2*u = -b*u + u. Solve u = -f - f - 10 for f.
-5
Let l = -16 + 18. Suppose 8 = 4*b + 4*x, -2*b + 2 = 6*x - l*x. Solve 25 = b*r + 2*r for r.
5
Let y = -7 + 37. Suppose k - 3*o + 2*o = 15, 4*o = -4*k + 84. Let z = y - k. Solve 0 = 4*x - z for x.
3
Let g be 2/(-5) - 806/(-65). Suppose -3*i = i - g. Let o = -1 + i. Solve w = -o*w for w.
0
Let j(s) = s**2 + 3*s + 6. Let y be j(4). Let b be y/2 + (-10 - -13). Solve -b - 5 = 5*q for q.
-5
Let r = -4 - -6. Let b = 89 - 57. Suppose -31*i = -b*i + 6. Solve r*n = -0 - i for n.
-3
Suppose -3*u - 8 = -7*u. Suppose 4 - 2 = -2*q, 0 = 3*l + 2*q - 58. Let k be 5/2*48/l. Solve u*r = k*r for r.
0
Let f be ((-7)/((-14)/(-12)))/(-3). Suppose 4*r - f*r = 8. Solve -2*l + 10 = -r*l for l.
-5
Let n be (-816)/(-132) + (70/(-22) - -3). Solve 8*v = 11*v + n for v.
-2
Let m(t) be the first derivative of t**4/4 - t**3 + t**2 - 4*t + 15. Let o be m(3). Solve 6 = o*n - 0*n for n.
3
Suppose -4 = -2*w + q, -4 = -2*w - 0*q - 3*q. Suppose -4*f + 3*f = 0. Let p be 3 + (f - w) + 2. Solve x + 20 = -p*x for x.
-5
Let w(m) = -m**3 + 4. Let p be w(0). Let u(n) = -n**2 + 18*n + 70. Let z be u(21). Solve z = -p*t - 5 for t.
-3
Suppose 131*y - 130*y = 3. Solve 1 = -y*i - 2 for i.
-1
Let y be 2 + (2 - (-4 + -20))/2. Suppose -4*c = -0*c + 44. Let j = c + y. Solve j*t = t for t.
0
Let g be 6 - (-2 + 3 + 5). Solve g*f + f + 1 = 0 for f.
-1
Suppose -y = y - 18. Let k be (-2)/(-3)*1*(4 - 10). Let j(x) = x + 4. Let q be j(k). Solve -5*i + y - 29 = q for i.
-4
Suppose -5*l = -3*g + 1 - 6, 2*g - 4*l + 6 = 0. Suppose -712 = -4*k - 2*x, 0 = -3*k + 3*x + 804 - 252. Let h be k/22 - (-34)/(-187). Solve -g*r = -h + 33 for r.
-5
Let t = 130 + -107. Let v(l) = l**2 - 22*l - 21. Let r be v(t). Solve -h + 5 = r for h.
3
Let b be (6/(-9) - 0)*-6. Suppose -2*n - 3*g + 0 = -6, -b = 2*n - 2*g. Solve n = 9*r - 6*r - 12 for r.
4
Let r be 10/6 + -2*(-8)/48. Solve -r*c + c = 0 for c.
0
Let b(n) = n**2 - 9*n + 8. Let i be b(6). Let j be (-20)/(-3) + i/15. Solve -3*g + 6 = -j*g for g.
-2
Let q = 78 - 76. Suppose -5 = -q*l + 5. Solve -4*w - l - 3 = 0 for w.
-2
Let n be (-6)/((-2 - 2) + 2). Let w = -13 - -18. Let a = -3 + w. Solve a*o = n*o for o.
0
Let r(n) = -3*n - 10. Let j be r(-6). Solve 4*u = -j - 0 for u.
-2
Let k = 180 + -105. Suppose f - k = -5*o - 3*f, -4*o = -4*f - 24. Let c be 17/5 + (-3)/(-5). Solve c*r + 5 = -o for r.
-4
Let f(v) = -v**3 + 7*v**2 + 9*v - 3. Let d(b) = 3*b**2 - 4. Let w be d(-2). Let n be f(w). Solve -n*j = -3 - 12 for j.
3
Suppose 6*v + 51 = 99. Solve v*r + 0 = -8 for r.
-1
Let a be 1/19 - 112/(-38). Let h(u) = u**2 - 2*u + 6. Let x be h(5). Suppose -