-5*b = 10. Solve 0 - x = -3*f for f.
1
Let r(u) = -u**2 + 19*u - 64. Let l be r(8). Solve -10*w - l = -74 for w.
5
Let w(d) = -11*d + 3. Let l(v) = 4*v - 1. Suppose -36 = 5*p + 49. Let a(g) = p*l(g) - 6*w(g). Let c be a(-6). Solve c = -3*b + 2 for b.
-3
Let k be (4 + -8 + 4)/1. Suppose -8*s + 4*s = k. Solve 4*v = -s - 16 for v.
-4
Suppose 4*o + d + 3 = 3*o, 0 = -o - 2*d - 8. Let q(v) = v + 5. Let m be q(-5). Solve 0*k - o*k + 6 = m for k.
3
Let k be (-18)/(-4) + 10/(-20). Suppose -3*m - 9 = 4*p - 5*p, k*p - m - 14 = 0. Solve 5*w - p = 7 for w.
2
Let p(y) = -y**3 + 6*y**2 + 16*y + 5. Let b be p(8). Solve b*n = 3*n + 8 for n.
4
Let g = 238 + -203. Solve 0 = 3*v + 4*v - g for v.
5
Let x(l) = 3*l**2 + 61*l - 36. Let c be x(-21). Solve -4*j + c = 10 for j.
-1
Let d = 524 - 507. Solve d*p - 1 - 16 = 0 for p.
1
Suppose -2*x - 9 = -3*y - 2, -4*x = 4*y + 4. Let i(v) = -29*v**3 + 2*v - 1. Let k be i(y). Let b = -25 - k. Solve 3*d = -0*d + b for d.
1
Let d be (-60)/(-27) - 4/18. Let w = -1 + 3. Suppose 3 - 7 = -x. Solve w*b - d = x for b.
3
Let c(u) = -51*u**2 + 53*u**2 + 11 - 3*u + 6*u + 9*u. Let a be c(-5). Solve 0 = z - 3 + a for z.
2
Suppose -5*v = -2 - 13. Suppose -2*n + 13 = v. Solve f = -0 + n for f.
5
Let d = -257 - -257. Solve d = 35*v - 34*v for v.
0
Let j = -1 + 17. Suppose 4*v = v + 51. Suppose 4*x - v + 0 = 3*l, -4*x + 4*l + j = 0. Solve -x*d = -0*d + 5 for d.
-1
Let q be (-15)/3 - (-1 + -69 + 2). Solve -q*r + 59*r - 8 = 0 for r.
-2
Let k(o) = 6*o + 58. Let m be k(-4). Solve -m = -3*r - 25 for r.
3
Suppose 74 = -5*p - 4*r, -5*p = -r + 69 + 25. Let j be -18 - p - 1*-2. Suppose -5*o + 2*n + 4 = -49, o - 5*n - 29 = 0. Solve j*c - o = -c for c.
3
Let t be (2*1)/(-2 - -1). Let v = t + 5. Suppose -182*m + 1560 - 99 = 187. Solve -20 = -v*g + m*g for g.
-5
Let d = 36 - 28. Suppose -2*r = -d + 2. Solve -b = -r*b + 2 for b.
1
Suppose -4*w - 3*m + 6 = -w, 3*w + 2*m - 6 = 0. Let y = -708 + 711. Solve y*l - 4*l = w for l.
-2
Suppose 0 = -47*i + 90*i. Solve 147*o - 152*o - 5 = i for o.
-1
Let f = -454 - -456. Solve 0 = -3*g + f*g - 3 for g.
-3
Suppose 4*r + 11 = 27. Suppose -r*t = 12, -v = -4*v - 3*t - 3. Suppose -3*u - v*u + y = -60, -3*u = 2*y - 36. Solve 4*p = -0 - u for p.
-3
Let v(k) = 4*k**2 - k - 4. Let d be v(2). Solve -o - d + 12 = 0 for o.
2
Let u(x) = 150*x**3 - x**2 + 2*x - 1. Let b be u(1). Suppose -6*w = 4*w - b. Solve 3 - w = -4*p for p.
3
Let x be (5/(-2))/((-11)/22). Suppose -3*o - x = 4*b - 2, 2*b + 6 = 0. Solve 4*p + 11 = o for p.
-2
Let z be 526/(-4) - (-5)/2. Let i = z + 133. Solve 5*r + i = 3*r for r.
-2
Let g(u) = u**3 + 21*u**2 - 22*u. Let h be g(-22). Solve -2*i + h*i = 0 for i.
0
Let f be (14/(-8))/(6/(-24)). Suppose f*p - 140 = -0*p. Let l = -15 + p. Solve l*d = -8 + 28 for d.
4
Suppose 6 = 7*p - 15. Let d = 1 + 2. Let q be 1 + (d - (2 + -1)). Solve -q*f + 6 = -p for f.
3
Let k(v) = -4*v + 22. Let n be k(5). Let c be 10/n - (-5 + 8/4). Solve c*d - 5*d + 12 = 0 for d.
-4
Let r(k) = k**2 - 11*k - 9. Let o be r(12). Suppose -20 = -o*b - b. Solve 0*f + b = f for f.
5
Suppose 0 = 3*i + 15, -4*p - 5*i = 18 - 5. Let d be (p - 0) + (-6)/2. Let b = 6 - 5. Solve -h + 1 + b = d for h.
2
Suppose b - 5*x - 35 - 11 = 0, -3*b = -5*x - 138. Solve -4 = -b*d + 44*d for d.
2
Suppose 2 - 12 = -r. Let d be (-84)/35 - (-4)/r. Let a = d + 4. Solve a + 1 = -3*y for y.
-1
Let v be -7 - ((-72)/(-2))/(-4). Let s(c) = c**3 - 5*c**2 + c + 6. Let m be s(5). Solve v*p + m = 1 for p.
-5
Let y be 342/15 + -2 - (-2)/10. Let v = y + -15. Solve -v = 4*s + 2 for s.
-2
Let b be ((-5)/(20/(-8)))/(8/12). Let k = 1 - 1. Suppose 0 = 5*d - k*d - 65. Solve d = -b*y - 2 for y.
-5
Suppose f - 3 = -11. Let s be 4/(f/(-10)) - 2. Suppose 21 = 3*v - 0*j + j, s*j + 15 = 4*v. Solve 0*i = -3*i - v for i.
-2
Suppose 2 = -2*k + 2*h, 5*h - 2 = 4*k + 3. Let f = -9 + 4. Let b be (3 + -2)*(f + 7). Solve b*z = -k*z - 4 for z.
-2
Let v be (3 - (-4 + 7))/(-2). Suppose -2*n = -v*c + 5*c - 12, 0 = -2*c + n + 3. Suppose 0 = a + 3*a - 5*q - c, 4*q = 2*a + 2. Solve 12 = a*p + 3 for p.
3
Suppose 10 + 0 = 2*v. Let n(g) = g**2 + 3*g - 3. Let d be (-4)/(-6)*-1*6. Let j be n(d). Solve -3*w = -j - v for w.
2
Suppose -5*s + 4 = -s. Let j be (-1 + -1)*(s - 3/2). Solve b + j = -1 for b.
-2
Let w be 20/8 - (45/10)/9. Solve -w*v + v = 4 for v.
-4
Let u be 6 - ((-9)/(-5))/((-15)/50). Solve -2*c - 4*c = u for c.
-2
Let m(o) = -o - 1. Let c be m(-6). Let z = -65 - -69. Suppose z*n - c = 7. Solve -n*w - 6 = -3 for w.
-1
Suppose 0 = -3*w + 8*w + 300. Let f = w + 64. Solve -f = 3*q - 1 for q.
-1
Let q be 30/4*(-8)/(-6). Let a(u) = 19*u + 15. Let j be a(-10). Let y be 1/((-2)/(-7))*(-200)/j. Solve y*p = -p - q for p.
-2
Suppose -6*f + 25 + 17 = 0. Solve 0 = -7*u - f + 7 for u.
0
Let n(o) be the third derivative of 8*o**2 + 1/24*o**4 - o**3 + 0*o + 0. Let l be n(6). Solve l = -8*f + 3*f for f.
0
Let j = 8 - 14. Let v be (-47)/141 - 2/6*17. Let l be 2 + j*3/v. Solve -l*d - 26 = -1 for d.
-5
Suppose 0 = 5*a - 34 - 21. Suppose -a = p - 27. Let f be (-5)/(-7) - (-2)/7. Solve -3*b - p = -f for b.
-5
Suppose n = -2, -6*t + 2*n + 24 = -t. Solve -t*v - 16 - 4 = 0 for v.
-5
Let k(v) = 25*v - 7. Let x be k(6). Let d = -138 + x. Solve 1 - d = p for p.
-4
Suppose 23 = 5*c - 2. Suppose -15*z = -175 + 10. Solve -4*y + z = -c for y.
4
Suppose 3*s = 5*i - 165, 3*i + 2*s - 60 - 39 = 0. Solve 0 = i*x - 38*x - 25 for x.
-5
Let w = -3 - -6. Suppose 0 = 3*h + f - 3 - 0, w*h - 2*f + 6 = 0. Suppose h = -3*q + 14 + 1. Solve -q*r = -r for r.
0
Suppose 566*i = 580*i - 1022. Solve 5*j + i = 58 for j.
-3
Let q be -4 - (-3 - (3 - 0)). Suppose 0 = b + 3*k + 2, -3*b + 5*b + 4 = -2*k. Let o = q - b. Solve 3 + 1 = -o*w for w.
-1
Suppose 4*s = -4*a + 5*s + 33, -s = -5*a + 40. Suppose 2*d - 3 = -1. Suppose a*w = 8*w - d. Solve w + 3 = -v for v.
-4
Let g be -1 + 1 + (-2)/(-2). Suppose 5*n - 15 = -5*x, -2*n + x - g = -4*x. Solve -n*m + 15 = 3*m for m.
3
Let r = -31 - -34. Suppose r*q + 3*o = 24, 2*q - o - 22 = -0*q. Solve q + 10 = 5*h for h.
4
Let x(d) = 5*d - 7. Let t be x(3). Suppose -2*f = -j - 0*f - 4, 0 = 2*j + 4*f - t. Solve j = 2*m + 3*m + 15 for m.
-3
Suppose -11*a + 7*a = 12. Let n be 0/(a + -1) - -48. Let i = n + -32. Solve -4*f - 4 = i for f.
-5
Let j = 3 - -4. Suppose -j*l = -10*l + 75. Solve 6*b = b + l for b.
5
Suppose -4 = -2*h + 6*h, 4*h - 16 = -5*f. Suppose 2*k + f*x - 26 = 0, 7*k = 5*k - 3*x + 27. Solve -4*v - k = -v for v.
-5
Suppose c = -3*d + 14 + 4, -4*d + c + 17 = 0. Let j = -131 - -135. Let a be (95/25 - j)*-5. Solve 2*v - d = a for v.
3
Let q be -1 - 7/(14/(-8)). Solve 0 = -5*p + 2*p - q for p.
-1
Let x(d) = -2*d**3 + 19*d**2 - 22*d + 26. Let p be x(8). Solve -7 = p*w - 35*w for w.
-1
Let r(t) = -13*t - 1. Let b be r(-2). Let p = -28 + b. Let c be (p + 5 - 2)/1. Solve -4*y - 10 + 2 = c for y.
-2
Let u be (-20)/(-9) + -5*(-10)/(-225). Let d(f) = f - 2. Let o be d(2). Suppose o = -4*s + 8 + 4. Solve -u*l = s*l - 15 for l.
3
Let l(v) = -2*v - 10. Let p be l(-14). Let c be p/4*(-4)/(-3). Solve c = 2*a + a for a.
2
Let i(v) = v**2 - 11 + 0*v**2 + 13*v + v**2 - v**2. Let k be (4/(-3))/(2/21). Let o be i(k). Solve -a - o = -0 for a.
-3
Let v = -321 - -331. Solve 4*k - v*k = -6 for k.
1
Let h(r) be the first derivative of r**2/2 + 2*r + 19. Let d be h(2). Solve -6*i + 7*i = -d for i.
-4
Suppose -3*n - 2*l + 4 = 0, -8 + 2 = n - 3*l. Solve -6*v + 1 + 5 = n for v.
1
Let t(g) = -g**2 + 23*g - 18. Let o be t(22). Solve 0 = -l - o + 2 for l.
-2
Suppose 0 = 3*j + 58 - 175. Let v = 40 - j. Solve 0 + v = -o for o.
-1
Suppose 18*t - 187 = 101. Solve 0 = -3*g - t + 10 for g.
-2
Let x(q) = q**3 - q**2 + 2*q + 5. Let h be x(0). Suppose 4*o - h*a - 33 = 0, -o - 14 - 9 = 5*a. Solve -d + o + 2 = 0 for d.
4
Let t be ((-115)/(-175) - (-3)/21)*10. Solve -1 - 7 = -t*a for a.
1
Let m(d) = d**3 + 10*d**2 + 10*d + 11. Let p be m(-9). Suppose 6*i - p - 4 = 0. Let g be (-1)/(-4) + 1/(-4). Solve n + g*n + i = 0 for n.
-1
Let n(g) = -4*g + 143. Let v be n(35). Let o(q) = -q + 6. Let i be o(6). Suppose -v*t + 6 = -i. Solve -s + 3 = t*s for s.
1
Let t(q) = -8*q + 29 + 3*q**3 - 19 - 2*q**3 - 2*q**2. Let n be t(4). Solve -4*s + n = -2*s for s.
5
Let j(s) = -s**2 + s. Let f be j(1). Suppose f = 2*b - 6*b - d + 13, -4*b - 4*d = -4. Suppose 9 = -2*w - w, b*q - 