 b for b.
2
Suppose -42*b = -57*b - 450. Let p be ((-10)/(-20))/(3/b) - -13. Solve -p*z + 5*z + 6 = 0 for z.
2
Suppose 0 = -11*n + 15*n + 8. Let i be n*93/(-26) + (-2)/13. Solve -i*o + 5 = -6*o for o.
5
Let w = -30 + 33. Let g(l) = -w*l**3 - 20 - 17*l**2 + 61 + 10*l**3 - 6*l**3 - 2*l. Let i be g(17). Solve -v + i - 2 = 0 for v.
5
Let f(u) = -147*u + 4787. Let a be f(30). Solve -a + 272 = 35*z for z.
-3
Let t(s) = -450*s - 7393. Let r be t(-17). Solve -10*o - r = -187 for o.
-7
Let q = -10213 + 10282. Solve 0 = q*p - 59*p + 20 for p.
-2
Suppose 27*v - 28*v - 5*t + 73 = 0, v - 73 = -6*t. Solve -62*w + v*w + 11 = 0 for w.
-1
Suppose 5*p + s - 172 = 31, -115 = -3*p - 4*s. Suppose -1356 = n - 1396. Solve g = p - n for g.
1
Let v be 90/(-270) + 154/3. Solve 35 = v*m - 44*m for m.
5
Let j = 425 + -421. Suppose -j*c + 3*s = -12, -c + 3 = -0*c - 3*s. Solve 7*o + c*o = 40 for o.
4
Let w be (-31 + 26)*(0 - (1 - 0)). Suppose 146*q = 147*q - w. Solve -21 = -2*r - q*r for r.
3
Let g(o) = -29*o - 1335. Let b be g(-48). Solve -60*n + b*n = 6 for n.
-2
Let m = 5269 - 5168. Solve -m = -15*k - 41 for k.
4
Let t = -238 - -240. Let y be -5*(-7)/(70/12). Solve -t*s + y*s = 0 for s.
0
Suppose -10163 + 9156 = 167*u - 26725. Solve -140*k + u*k = -84 for k.
-6
Let x(i) be the second derivative of 0 - 1/12*i**4 + 1/2*i**3 + 6*i**2 + 10*i. Let u be x(5). Solve -2*h - u - 6 = 0 for h.
-4
Suppose 0 = -0*p + p - 5. Let n(x) = x**3 + 5*x**2 - 7*x - 6. Let d be 48/(-4 - 4) - 0/(-1). Let v be n(d). Solve v = 4*u - 13 + p for u.
2
Let w be (10/6)/(1/6). Let y be 6/(-4) - (-15)/w. Suppose -4*n - 564 = -604. Solve y*q = 2*q - n for q.
5
Suppose -u = 2, u - 303 + 1005 = 4*h. Let w be (-7 - h/(-20))*8. Solve w = -3*t + 2 for t.
-4
Let y(l) = 10*l - 168. Let v be y(-14). Let o = -303 - v. Solve 12*g = 7*g + o for g.
1
Suppose -2*b + 18*b - 5696 = 0. Let r = 372 - b. Solve 0 = -z - r + 12 for z.
-4
Let m(b) = -10*b - 20 + b**2 + 0*b**2 + 52. Let j be 3*(-1)/(-4) + 609/84. Let k be m(j). Solve -3*p = p - k for p.
4
Let t = 136 - 237. Let h = t + 65. Let w be 1/(-4 - 146/h). Solve -w - 7 = -5*k for k.
5
Let o be (-7 + 3)/1 - -9. Suppose -o*a = 15, -15*j = -16*j + 3*a + 16. Solve j*c + 4 = -3 for c.
-1
Let h(k) = -2*k + 26. Let z(c) = 2. Let w(a) = h(a) - 5*z(a). Let l be w(8). Suppose q + 7 = -4*x + 5*x, -5*q - 25 = 0. Solve -o + l = x for o.
-2
Let z(g) = -g**3 - 13*g**2 - 14*g - 21. Let k be z(-12). Let y be ((-2)/2)/((-5)/45*k). Solve 0 = y*l - 4*l + 2 for l.
2
Suppose -p + 3*k + 56 = -6*p, -5*p - 4*k - 58 = 0. Let b be (-5 + (-52)/p)/((-5)/(-75)). Solve -b*u = 5 + 4 for u.
-3
Let y(q) = -q**3 + 8*q - 1. Let i be y(-3). Suppose -5*z - 9 = -g - 7, -i*z + 2*g = 4. Solve 4*w + z*w = -20 for w.
-5
Suppose -2*r = 4*f + r - 11, 5*r = 3*f - 30. Suppose -16 + 16 = f*y. Solve 2*h + 3*h + 10 = y for h.
-2
Let t be 10/(-8)*(-1792)/(-84)*-3. Solve -t*f = -87*f + 35 for f.
5
Suppose 7*m - 684 = -460. Solve 17*a - m = 25*a for a.
-4
Let h be (-8)/((-4)/10*500/13200). Solve 93*v + h = 27*v for v.
-8
Let a(s) = -3*s**2 + 2*s - 10. Let k be a(0). Let t be ((-8)/k)/(7 - 721/105). Let h = -11 + 14. Solve h*z - z + t = 0 for z.
-3
Suppose -d = -5*z + 290, -z - 5*d = -2*d - 58. Suppose -z = -7*u + 12. Let f be 0/(-5*3/(-15)). Solve f*l + u = 5*l for l.
2
Let a(t) = 0 - 2 + t**2 + 1 + 0. Let q be a(2). Let m = 130 - 130. Solve m = -q*f + 8 + 1 for f.
3
Suppose -22 = -4*y - 2*u, 22*u + 28 = 4*y + 18*u. Solve y*o - 4*o = -0*o for o.
0
Suppose 6*l = -f + l - 10, 0 = 4*f - 3*l - 29. Suppose -2*k - 43 = -f*x, -2*k = 5*x + k - 23. Solve 2*n - x*n = 0 for n.
0
Let t(o) = 5*o - 42. Suppose -5*m = 4*d - 82, -4*m - 2*d - 8 = -5*m. Let i be t(m). Solve -6*w + i + 2 = 0 for w.
5
Suppose -474*k + 4250 = -457*k. Solve 55*d + 80 + k = 0 for d.
-6
Let q(a) = 6*a**3 + 75*a**2 - 26*a + 53. Let l be q(-12). Solve -l = -5*g - 807 for g.
-2
Let n = 11951 - 11941. Let m(y) = 3*y - 2. Let v be m(7). Suppose 1 + v = 5*t. Solve -n = -t*g + 2 for g.
3
Let n be 0/(-2)*(-358)/4654. Solve n = 10*r - 122 + 52 for r.
7
Suppose 6*d = 3*o + 2*d - 357, 4*d - 135 = -o. Let j = -65 + o. Let t = j - 53. Solve -t*c - 10 = 10 for c.
-4
Suppose -34 = -5*x - 2*h, -9 = -3*x - 3*h + 6. Suppose -x*w + 1937 = 1865. Solve 11*l + 6 = w*l for l.
-3
Let w be 6/(-576)*8 + (-121)/(-12). Solve w*q - 59 = -69 for q.
-1
Let h(x) = 7*x + 1. Let m be h(-1). Let a be (8 + m)/((-4)/(-6)). Suppose 0 = -a*g + 8*g. Solve 3*r + 12 = -g for r.
-4
Let s = 2 - -1. Let h(z) = z**3 - 17*z**2 - 11*z - 64. Let o be h(19). Suppose o = -3*w + 458. Solve -s*t - 3 - w = 0 for t.
-2
Suppose h - 140 = -3*h - 4*q, -5*q = -3*h + 161. Solve -h*t + 60 = 270 for t.
-5
Let d be (-39)/(7 + 2 - 10). Solve 0 = 13*n - d for n.
3
Let s = 6967 + -6659. Solve 305 = q + s for q.
-3
Let u = -41 - -46. Suppose 0 = u*v - 12*v + 154. Let f = 25 - v. Solve 2 = -f*z + 11 for z.
3
Let s(a) = -10*a + 91. Let x(y) = -30*y + 273. Let k(t) = -11*s(t) + 4*x(t). Let h be k(9). Solve h = 3*n - 2*n for n.
1
Let o = 4082 - 3978. Solve -6*d - 122 = -o for d.
-3
Let s(b) = -b**3 - 7*b**2 - 9*b + 12. Let f be s(-5). Let h(v) = v**3 - 6*v**2 - 2*v - 33. Let o be h(f). Solve -3*d + 2*d = o for d.
-2
Let o(s) = -s**2 + 8*s - 2. Let v be o(5). Let w be -2 + -2 + -5 + 13. Suppose -3*m = -5*z - 19 + w, 5*m + 5*z - 25 = 0. Solve -m*c + v = 3 for c.
2
Suppose 300 = p + x, 3*p - 1309 = -4*x - 405. Suppose -23*r + p = 14*r. Solve 30 = r*m - 14*m for m.
-5
Let j(t) = -4*t - 45. Let o(p) = -p - 15. Let i(d) = 2*j(d) - 7*o(d). Let k be i(10). Suppose 0 = -k*m - 5*z + 35, -z + 10 = 5*m - 5. Solve -u = -m + 6 for u.
-4
Let a(t) = -2*t**3 - 3*t**2 - t. Let s be a(-2). Let v be 1 - (-1)/(7 - s). Solve -5 = v*o - o for o.
-5
Let y(n) = -17 + 33*n - 7*n + 23 - 2*n**2 - 28. Let v be y(12). Solve v*q + 2 = 10 for q.
4
Let b = 1937 - 1933. Solve 16*q + 72 = b*q for q.
-6
Let j = -96 + 26. Let i be (20/j)/((-6)/126). Solve 3*s - 9 - i = 0 for s.
5
Let k = -73 + 73. Suppose k = -o + 10 + 10. Suppose -90 + o = -7*w. Solve 2*i - 4 = -w for i.
-3
Suppose f - k = -1, -4 + 1 = -f - 3*k. Suppose f = -4*n - 6*n + 2*n. Solve -20 = 5*y - n*y for y.
-4
Suppose 0 = 4*i + 6*t - 56, 5*i - 82 = -t + 27. Solve -36 = -i*j + 33 for j.
3
Let x(g) = 31*g**3 + 7*g**2 - 4*g - 5. Let v(m) = 29*m**3 + 6*m**2 - 3*m - 4. Let y(f) = -5*v(f) + 4*x(f). Let j be y(-1). Solve -5*u + 0*u = j for u.
-4
Let t = -53 - 36. Let s = t - -97. Solve 1 = 7*j - s*j for j.
-1
Suppose -17*r + 264 = 5*r. Let x = 10 + -6. Suppose -14 = -d + f + 2*f, x*f + 20 = 2*d. Solve -d*s - s = r for s.
-4
Let a = -5579 - -5791. Solve -a*p + 184*p = 56 for p.
-2
Let n be -2 + (-5200)/(-8) + -8. Let g = n + -636. Solve -4*w = 12 + g for w.
-4
Let a(d) = -d + 9. Let y be a(27). Suppose 3*t = 5*s + 29 - 12, 0 = t - 3*s - 3. Let k be y/t - 4/(-2). Solve -m + 3*m - 4 = k for m.
2
Suppose 0 = -3*l + 19*l - 112. Let y(f) = -4*f + 30. Let z be y(l). Solve -z*g - 5 = -g for g.
-5
Suppose 2*r = -2*r + 12, -3*g = -3*r. Let x be (-10)/(-4*g/6). Solve -x*n + 13 + 7 = 0 for n.
4
Let l be ((-56)/(-12))/(2/3). Suppose -4*v - 6 = 14, -2*x - 3*v = l. Let p be (-1 - -4)*((-5)/(-45) + 0)*42. Solve x*m - 6 = p for m.
5
Suppose -2*u - 1 + 5 = h, 0 = 2*u + 3*h - 4. Let r(t) = -t**3 + 3*t**2 - 2. Let d be r(u). Let z be (-2)/(21/(-45) - 4/20). Solve d = 5*v - z for v.
1
Suppose 33*n = -6*n + 2028. Solve -4*z + 40 = n for z.
-3
Let o = 51 - 48. Suppose 19 = o*v - v - 5*w, -2*w - 6 = 0. Let r be (0/5)/(-1*v). Solve r = q - 5*q - 16 for q.
-4
Let q(p) = -p + 6. Let m be q(2). Let v = -3025 + 3032. Solve -m*r + v*r - 9 = 0 for r.
3
Suppose -5*i = -5*x + x - 495, 495 = 5*i - x. Let j be -123*(-2)/22 - 18/i. Solve -8 = -j*t + 7*t for t.
2
Suppose -9396 = -2*b - 27*b. Let c = -317 + b. Let x = -14 + 27. Solve -4*h + c = -x for h.
5
Let j = -176 + 92. Let n be ((-67)/(-201))/(2/j*-2). Solve -4*a = -n - 1 for a.
2
Let x(f) = 323*f + 5290. Let d be x(-16). Solve -152 = -10*v - d for v.
3
Let v be 6/18*87 + (-30)/24*-4. Solve -50 = -42*u + v for u.
2
Suppose 0 = 3*l + 13*n - 10*n - 33, -4*l - 3*n = -49. Suppose 0 = 24*t + l - 352. Solve 8*j + 10 + t = 0 for j.
-3
Suppose -437*u = -439*u - 54. Let b(y) = y**3 + 28*y**2 + 25*y - 52. Let t be b(u). Solve 0*h = -2*h - t for h.
-1
Let j(y) = -y**3 - 42*y**2 - 82*y - 73. Let 