+ 2*b - k for b.
-2
Suppose 15*z = -10482 + 10587. Let u(h) = h - 1. Let s(j) = -4*j - 3. Let o(p) = s(p) + 6*u(p). Let l be o(z). Solve 0 = -l*a + 4*a + 2 for a.
2
Suppose -t + 3 = -4*h - 3, -5*t = 5*h - 5. Let j = 18 + -12. Solve -j*w = 2 - t for w.
0
Suppose 17*k - 39*k + 15 = 15. Solve -51*l + 309 - 3 = k for l.
6
Let c(t) = -t**3 + 9*t**2 - 11*t + 10. Let l(u) = u**2 + 21*u + 28. Let k be l(-20). Let g be c(k). Let j = -10 - g. Solve -2*f = -j*f for f.
0
Let n(s) = 9*s**3 - s - 1. Let k be ((2 - 0) + 0)/(8/(-8)). Let p be n(k). Let h = 83 + p. Solve f + h = 5*f for f.
3
Let v(b) = b**2 - 9*b + 19. Let a be v(9). Suppose 4*q = 4*d + 3*q - 90, 18 = d + 2*q. Let s = d - a. Solve 0 = 4*t - s - 1 for t.
1
Let l be (4 - (-26)/(-4))/((-1)/2). Let h = -23 + 21. Let o = l + h. Solve -k - o = -1 for k.
-2
Suppose -4*o - 4*l - 48 = 0, 9 + 3 = -2*o + l. Let j be 152/19 + 2/(o/20). Solve 0 = a - 0*a + j*a for a.
0
Let q = -86 - -88. Suppose -q = -3*i - 2. Suppose i = 5*j - 15. Solve -j*l - 4 = -1 for l.
-1
Let t(y) = -y**2 - 20*y. Let l be t(-18). Suppose -4*r + 4*g = -84, 6*r - l = 4*r - 4*g. Solve -18*x - r = -13*x for x.
-4
Let z be (-8)/(-7)*(-2 - 12)*-2. Solve -z = 109*s - 101*s for s.
-4
Suppose 427*p = 412*p + 1530. Solve -9*l = -26*l + p for l.
6
Suppose 391*q = 2*o + 386*q - 44, -2*o - 12 = 2*q. Let k be -2 + 0/(-1) + 14. Solve -o*w = -6*w - k for w.
-3
Suppose 3*u + 2*c - 46 = 0, 3*u = -0*c + 2*c + 38. Solve 0 = 14*r - u - 14 for r.
2
Let r = 6 + -3. Suppose -4*k = 5*b - 0*b - 28, -2*k = -r*b + 8. Suppose -5*n = -2*q - 65, 10 = -9*n + 10*n - q. Solve k*p - 7*p = n for p.
-3
Let k = 243 + -234. Solve -k*r = -r + r for r.
0
Suppose -4*x - h - 52 = 0, -31 = 4*x - h + 29. Let c be (-2*6/14)/(2/x). Solve -c*k = -3*k + 9 for k.
-3
Suppose 3*v + 216 = 3*x, 0 = x - 17*v + 18*v - 88. Solve x = -5*a - 11*a for a.
-5
Let o(p) = p - 1. Let g = -12 - -14. Let l be o(g). Let z be (-5)/2*2 - -5. Solve -y + l - 2 = z for y.
-1
Let b(p) = p - 59. Let n be b(87). Solve -12 = n*a + 72 for a.
-3
Suppose 3*v - 2*i - 7 = 0, 4*v - 4*i + 9*i - 40 = 0. Suppose 2*l + 3*o - 15 = 0, -86*l + 4*o = -91*l + 20. Solve l*q - v*q = 15 for q.
-3
Suppose 0 = 160*i - 159*i + 57. Let f = 164 + -98. Let m = f + i. Solve 8*u = m*u + 1 for u.
-1
Let o(m) = -7*m - 265. Let s be o(-46). Solve 0 = -143*x + s*x + 86 for x.
1
Suppose 10 = -l + 1402*m - 1406*m, 0 = 5*l + 3*m - 1. Solve -47*c - 2 = -l for c.
0
Let q(t) = -t**3 + 5*t**2 + t + 26. Let a be q(6). Let d be (a + -3*3/(-1))*5. Solve -7*z - d = -2*z for z.
-5
Let m = 417 + -171. Let g = 246 - m. Solve g = z + z - 2 for z.
1
Let c(s) = 83*s - 987. Let o be c(12). Solve 9 = o*u - 9 for u.
2
Suppose 12*q - 8*q + 39 = s, 26 = -q - 3*s. Let c = 20 - 34. Let h = q - c. Solve y + h = 5 for y.
2
Suppose 22 = 14*d - 3*d. Suppose 3*v - 58 = d*n, -102 = v - 6*v + 2*n. Suppose 45 = -17*m + v*m. Solve -3*y + m = -6 for y.
5
Suppose 0 = -2140*d + 2144*d - 472. Solve 113*r + 10 = d*r for r.
2
Suppose -8 - 4 = -4*f, -390 = -5*g + 5*f. Suppose 4*m - 93 = -g. Let w be 4*(-5)/(-10) - -4. Solve -3*j - w = -m for j.
-1
Let m be -4*(-2 + 6 + (-30)/6). Let b be -1 - 3*1/(-1). Suppose -37 = -b*l + 5*u, m = -l + 2*u - 7*u. Solve 2*v - 3 = -l for v.
-4
Let v = -8510 - -8515. Solve -2*w + v*w + 9 = 0 for w.
-3
Suppose 1049*y - 1063*y = 0. Solve 1085*l - 1093*l + 40 = y for l.
5
Let x(p) = 171*p - 9215. Let n be x(54). Solve -n*f + 264 = 25*f for f.
6
Let u(a) = a**3 + 7*a**2 + 12*a + 6. Suppose -5*y + 6 = -7*y. Let c be u(y). Solve -c*r = -r for r.
0
Suppose 0 = 3*i - i - 6. Let a be 9/(-2)*1400/(-225). Suppose -a = -5*f - i. Solve f*w + 23 = 8 for w.
-3
Let v = 1906 - 1894. Solve v*h + 107 = 35 for h.
-6
Let j(s) = -8*s**2 + 20*s - 71. Let a be j(4). Let o be 4/48 + (0 - a/12). Solve 16 = 6*t - o*t for t.
-4
Let y(h) = -5*h - 3*h + 689*h**2 - 13 + 708*h**2 - h**3 - 1402*h**2. Suppose -15 = 5*a + 5. Let l be y(a). Solve -l*n - 2 = -n for n.
-1
Let f be 1 + (-2 - 0) - 3. Let g(d) = -16*d + 6. Let x be g(f). Let j be 230/x - (-2)/(-7). Solve -5*v = -j*v - 6 for v.
3
Suppose -3*v + 22*v + 1 = 1. Solve 7*c - 20*c - 13 = v for c.
-1
Let i(m) = 11*m**2 - 3*m + 4. Let t be (-35)/(-14)*2/(-20)*-4. Let z be i(t). Solve -3*w - z = w for w.
-3
Let j(r) = r**3 + 13*r**2 - 4*r - 21. Let q be j(-13). Solve -44*i + 13*i = -q for i.
1
Let j(a) = a**2 - 3*a + 9. Let n be j(3). Suppose 29 - n = 2*d. Suppose -20 = d*k - 14*k. Solve 0 = k*w + 10 for w.
-2
Suppose -10*y + 15*y + 5*l - 5 = 0, 0 = -2*y + 5*l + 9. Suppose -48 = -4*h - 2*f, -4*f - 50 = -h - 20. Suppose -h = -4*a + 2. Solve -a*v + 18 - y = 0 for v.
4
Let l be 17/((-952)/48)*-4928. Solve 4*f + 4212 - l = 0 for f.
3
Let g = 6 - 12. Let l(j) = j**3 + 5*j**2 - 8*j - 14. Let s be l(g). Let h be 6/3*(1 - 2)*s. Solve -h*u + 3*u - 3 = 0 for u.
-3
Let v(l) = -l + 28. Let o be v(-38). Suppose -34 + 241 = 3*a. Let m = a - o. Solve 6*y = 3*y - m for y.
-1
Suppose 3*a - 6*a - 4*f = -45, 30 = 2*a + 5*f. Solve 84 = a*j + 6*j for j.
4
Suppose -84 = -106*n + 3051 + 1635. Solve -91*r + 100*r = n for r.
5
Suppose -20 = 4*a, 3*d - 3*a = -5*a - 1. Suppose v = -d - 7. Let z be ((-10)/25)/(4/v). Solve 4*r + 3 + z = 0 for r.
-1
Let k be (9334/65 + -15)*5. Solve -646*j + k*j = -3 for j.
1
Let h(o) = -o**3 - 15*o**2 - 25*o + 13. Let q be h(-13). Let p be 4 + 4/(-6)*-3 + q. Solve -3*c = -6 - p for c.
4
Let m be 4/(-58) - (3847872/(-464))/12. Solve k - m + 693 = 0 for k.
-2
Let m = -1456 + 1434. Let a(h) = -h**3 - 7*h**2 - 8*h - 6. Let y be a(-5). Let v = y - m. Solve 2 = 4*f - v for f.
2
Let l be (-20)/(-5)*(1 - -2). Suppose s = -4*t - l, -s = 2*s + 2*t - 4. Let n = -21 - -23. Solve -n*q = 2*q - s for q.
1
Let f be 6/(-4) - (-297)/66. Suppose 0 = -r - f + 7. Solve 6 = -r*g - 10 for g.
-4
Let l = -518 - -526. Let b be 30/l*(-128)/(-24). Suppose 2*i + 3*h - 27 = -3*i, -8 = -2*h. Solve -i*z = 2*z + b for z.
-4
Let p(t) = -t**3 - 37*t**2 + t + 44. Suppose 0 = -3*w + 4*l - 127, 2*w = l - 7 - 71. Let m be p(w). Solve 0 = -z + m*z for z.
0
Let m(c) = -4*c**2 + 43*c - 48. Let w be m(9). Solve -17*b + 12*b + w = 0 for b.
3
Suppose -8*v + 27 + 29 = 0. Suppose -v*d = -8*d - 22. Let w = d - -24. Solve r + 15 = -w*r for r.
-5
Let h(k) = 11*k**2 + 74*k. Let s be h(-9). Let m be s/54 + (-2)/12 - 1. Solve m*p + 24 = 9*p for p.
4
Let v(l) = l + 25. Let p be v(-21). Suppose -5*b - 66 = -p*o - 2*b, -b = -4*o + 62. Let q(w) = w**3 - w - 13. Let u be q(3). Solve u*d = o*d - 16 for d.
4
Let s(f) = 3*f**2 + 22*f - 16. Let g be s(-8). Suppose g = -186*o + 167*o. Suppose v - 6*v = -40. Solve 0 = -4*l - o + v for l.
2
Let p = 1891 - 1841. Solve p*x = 54*x for x.
0
Suppose -14 - 4 = -2*s - 4*j, 0 = 3*s - j + 1. Let x = -34 + 47. Suppose -5*q = -5, a - 2*q - x = -4*a. Solve a*f + s = -5 for f.
-2
Let w = -194 + 181. Let g(f) = 2*f**2 + 28*f + 32. Let k be g(w). Solve -3*i - 6 = -k*i for i.
2
Suppose -116 = 11*f - 270. Solve f + 28 = 14*n for n.
3
Let h(s) = s**3 + 6*s**2 + 3*s - 5. Let p = -696 - -694. Let k be h(p). Solve 6 + 14 = k*x for x.
4
Let n = -5522 - -5539. Solve -20*l = -n*l + 18 for l.
-6
Let w(a) = 16*a - 68. Let h be w(5). Suppose h*j = 19*j - 14. Solve j + 0 = -n for n.
-2
Let l = 3 + -4. Let t(r) = r**2 + 8*r + 19. Let k be t(-3). Let s be (20/8 + l)*k. Solve -q + s = q for q.
3
Let a be ((-20)/50 + (69/(-15) - -5))/(-3). Suppose 5*l - 10 = 0, 0 = -3*b - 2*l + 13 - 3. Solve a = b*x + 2 + 8 for x.
-5
Suppose -76*o + 206*o = 1690. Solve 0 = -40*u + o*u - 135 for u.
-5
Let t(n) = -5*n - 35. Let c be t(-7). Suppose 4*l + 5 - 1 = 4*b, c = -2*l + 3*b. Let m be ((2 - 3)/l)/((-10)/(-60)). Solve -6 = -m*w - 2 for w.
2
Let w be (4/(-32)*-10)/((-2)/24). Let i be (-12)/(-2) - (-11 - w). Let z be (1 - i - 4)/(-1). Solve u + z = 2 for u.
-3
Let g(q) = -q**2 - 10*q + 32. Let m be g(-11). Let p = m - 19. Solve 0*y = y + p for y.
-2
Let c(n) = 5*n**2 + 44*n - 98. Let w(s) = -18 - 4*s**2 + 15*s - 13 + 6*s**2 - 2. Let l(q) = 3*c(q) - 8*w(q). Let g be l(4). Solve g*t = -3*t - 5 for t.
-1
Suppose -3*n + n = -v + 17, 5*n = 2*v - 39. Let i be (-94)/564 - (-34)/(-12). Let t be (10/4)/((-7 + i)/(-20)). Solve -6*o = -v*o - t for o.
-5
Suppose 8 = -9*h + 62. Let p be (-39)/(-26)*8/h. Solve p*r = -r - 3 for r.
-1
Suppose -3*f = -2*z - 28, f + 12 = 2*f + 2*z. Suppose -9 = 3*m