b for b.
-5
Let d = -19548 - -20058. Solve 0 = d*a - 515*a + 5 for a.
1
Let f = -2 + 3. Let u(l) = 14*l - 7. Let j be u(f). Suppose -5*x + j + 8 = 0. Solve -5*q - x = -2*q for q.
-1
Suppose 35 = 10*k - 145. Suppose 0 = 5*a - 14*a + k. Suppose 2*o = 3*j - 0*j - 18, 3*o + 17 = 2*j. Solve j*n - a*n = 0 for n.
0
Suppose -258 = -4*l + 5*b, -3*b = -l - 30 + 91. Solve -30 = l*v - 82*v for v.
2
Let z(m) be the second derivative of -m**4/12 + 17*m**3/6 + 6*m**2 - 14*m. Let i(x) be the first derivative of z(x). Let w be i(8). Solve 3*r = -w + 10 for r.
3
Let s be 3/((-1)/(-1)) + 10 + 23. Let p be ((-3)/(-9))/(3/s). Suppose p*g = g + 4*g. Solve -2 = -m - g for m.
2
Suppose 0 = -64*b + 84*b - 540. Solve -16*h - 44 = -b*h for h.
4
Suppose 102*r + 1972 = 160*r. Solve 24*z = r*z - 30 for z.
3
Let d(z) = 80*z - 2551. Let b be d(32). Solve b*f - 18 = -9 for f.
1
Let j = 37 - 8. Suppose 5*m - 11*m + j*m = 0. Solve p - 3*p = m for p.
0
Let b(f) = -f**3 + 10*f**2 - 17*f + 6. Let j be b(8). Let x be -1 - 2 - -133 - (-2)/j. Suppose -x = -4*r - 105. Solve 0 = -2*y + r for y.
3
Suppose -6*i + 52*i = 138. Suppose -8 = 3*b - 35. Solve b = 6*o - i*o for o.
3
Suppose 442*a = 38*a + 7272. Solve a*d - 137 = -173 for d.
-2
Suppose -508*r + 502*r - 204 = -5*z, z - 43 = -r. Solve 357*h + z = 378*h for h.
2
Let y be (196/84 + (-2)/6)*5. Suppose -2*r + 4*r = 0. Suppose -7*h + y + 4 = r. Solve o + h = -0*o for o.
-2
Suppose 37 - 141 = -2*f. Suppose -f = 8*l - 4*l. Let z = l + 16. Solve -a = -0*a + z for a.
-3
Suppose 2*m - 126 + 12 = 0. Suppose 0 = s + m - 61. Let g = -201 + 221. Solve 4*c + s - g = 0 for c.
4
Suppose 2*t - 2*o = -364 - 132, 2*t - 5*o + 487 = 0. Let u = t - -259. Solve -u = -2*h - 12 for h.
-2
Let h(n) = -27*n**2 + 115*n - 14. Let j be h(4). Solve 0 = -j*d - 20*d - 68 for d.
-2
Suppose 4180 = 14*c - 302*c + 25244 + 3704. Let x = -6 - -9. Solve 0 = x*z - c + 77 for z.
3
Suppose 0 = 189*n - 174*n - 1950. Solve -18 = 28*a - n for a.
4
Let x(w) = 8*w - 492. Let d be x(62). Solve -1 - 15 = d*j for j.
-4
Let y(d) = -2*d - 2. Let u be y(-3). Let i(l) = l**2 - 14*l + 41. Let z be i(3). Let s be (8 - z)/5*1/1. Solve s = -u*c + 5*c - 1 for c.
1
Let d be (147 - 153)*(50/(-6) - (-4 + 2)). Solve -21*v + 38 = d for v.
0
Let q be 20 - -5 - -10*(-1)/2. Suppose 0 = -d - q*d + 63. Solve 4*i - d = -7 for i.
-1
Let s be (-1)/((6/34)/(-3)). Suppose -1540*o = 1846 - 9546. Solve 6*r = s - o for r.
2
Let o(q) = -6*q + 13. Let z be o(2). Suppose -k + y = 2*k + 11, -k + y = 7. Let g be z*(-8)/(-4 - k). Solve b = g*b + 6 for b.
-2
Suppose b - 3*a - 51 - 13 = 0, -2*b + 3*a = -113. Suppose -43*x - 6 = -b*x. Solve -7 = -2*o - x for o.
3
Suppose 4*k = k + 4*z + 28, 2*k = -2*z. Suppose 0 = k*f + 8 - 0. Let h(l) = 3*l + 8. Let j be h(f). Solve 0 = j*n - 2 - 6 for n.
4
Let s(r) = -25*r + 1. Let y be s(-1). Suppose -3*m + 24 + 23 = 2*g, -5*g - 61 = -3*m. Let x = 23 - m. Solve 5*i = -x + y for i.
4
Suppose -5*a - 44*t + 39*t + 1105 = 0, -5*t + 10 = 0. Solve a*q = 217*q + 12 for q.
6
Let o = -7718 - -7995. Solve o = 2*t + 269 for t.
4
Let q be 80/28 + 2/14. Suppose 2*s - 6 = 0, -6*k - q*s + 9 = -2*k. Solve -4 = -m - k for m.
4
Suppose -2*x - 3*a = -x - 9, a = -5*x + 17. Let z(l) = l**3 + 4*l**2 - 2*l + 4. Let c be z(-4). Solve -u = x*u - c for u.
3
Suppose -5*v + 5*q = -160, 0*v = v - 2*q - 33. Let m = -6 + v. Let t be (-610)/(-183) - 3/9. Solve 2*s + t*s = m for s.
5
Let a = -14040 - -14085. Solve -32*j = -237 + a for j.
6
Let u be 30/(-75)*(0 - 5). Suppose 0*x = -v - u*x + 26, 2*x = 4*v - 124. Let j = v + -14. Solve -j = -4*k - 0 for k.
4
Let y be 1*(-3 - -2)*22. Let i = 31 + y. Suppose 4*j + i = 7*j. Solve 6 = j*t - 3 for t.
3
Let t(c) = -15 + 5 + 3 + 11*c. Let q be t(1). Solve 0 = q*u + 6 + 6 for u.
-3
Let s(t) = 50*t**2 + 3*t + 3. Let j be s(-2). Suppose 17*x - j + 61 = 0. Solve -9*w + x*w + 5*w = 0 for w.
0
Let k = 199 - 205. Let m(f) = 6*f + 36. Let p be m(k). Solve 5*c - 10*c = p for c.
0
Suppose 6*t - 8 = 10*t, 0 = -4*x - 3*t + 834. Suppose -205*y - 35 = -x*y. Solve 3 = -5*m - y for m.
-2
Let b be (-1154)/(-5)*(26 + (-1363)/58). Solve 577 = -7*k + b for k.
0
Let g = -256 - -259. Suppose 2*f + 22 = 3*f - 2*y, 5*y - 11 = -g*f. Solve -9 = 7*l + f for l.
-3
Let b be 57/11 - (-54)/(-297). Suppose 4*c + 10 = -b*t - c, 0 = 2*t + 5*c + 16. Solve t*o + 8 = -2*o for o.
-2
Let r be ((-1124)/(-843))/((8/27)/4). Solve -29 = -r*j + 47*j for j.
-1
Let l be (-1774)/(-22) + (-44)/(-121). Solve -6*v = -l + 87 for v.
-1
Let y be (-18)/60 - 1115/(-50). Solve -y*g - 5 = -5 for g.
0
Let d = 31 + -29. Suppose d*h - 10 = -n + 4*h, 0 = -3*n + 3*h + 18. Let p be 36/27 - n*(-6)/(-9). Solve -2*i + 1 + 3 = p for i.
2
Suppose -a = -3*c - 107, -3*a + c = 3*c - 288. Let o = -78 + a. Solve 9*t - o = 4*t for t.
4
Suppose -5*u = -3*l - 280 - 818, 0 = 4*l + 4. Let x = 225 - u. Solve 5*o = x*o - 1 for o.
1
Let s(b) = 543*b**2 + 13*b + 6. Let n be s(-1). Solve 53*f + n = 165 for f.
-7
Let q be 43/(430/284) - (-2 + (-14)/(-10)). Solve q*s - 7*s = -132 for s.
-6
Suppose 10*t - 376 = 94. Suppose -42*y - 15 = -t*y. Solve u - y*u = -8 for u.
4
Let h(a) = a**3 - 4*a**2 + 6*a + 22. Let r be h(0). Solve 4*w - 36 = r*w for w.
-2
Suppose -3*v - 2*h - 10 = 0, -11*v - 5*h - 4 = -7*v. Let j be (0 - -4) + 8 + v. Solve 0*f + j = 6*f for f.
1
Suppose -62*l - 37 = -47*l - 502. Solve 5*f - 324 = -l*f for f.
9
Suppose -10*u = -246 - 174. Suppose -u*z + 46*z = 16. Suppose g = -3*g + 5*t, 0 = -2*g + 2*t. Solve -16 + g = z*b for b.
-4
Let p(s) = 4*s**3 - 33*s**2 + 10*s + 59. Let j be p(8). Solve -81 + j = 3*m for m.
-2
Let k = -171 + 246. Let i be (2/(-3))/(2*(-5)/k). Let d be -2*(0 - -1) - (0 + -4). Solve d*f = -5 - i for f.
-5
Let b be (40/7)/((-46)/(-483)) + 10. Solve -9 - 61 = -b*r for r.
1
Let a(n) be the third derivative of 11*n**6/60 - n**4/24 - 3*n**2. Let k be a(1). Let d = -37877 + 37881. Solve -d = 5*y + k for y.
-5
Let y(t) = -t**3 - 8*t**2 - 3*t + 30. Let p be y(-7). Let n be (3/6)/(p/12)*1. Let r = -7 - -17. Solve v + r = n*v for v.
5
Suppose 41*d = -12*d + 33*d. Solve d = 43*v - 9*v for v.
0
Let v = 36616 - 36388. Solve 7*o = -69*o + v for o.
3
Suppose 40 = -10*k + 18*k. Suppose p - 6 = -2*d, 0 = 8*d - k*d + p - 9. Suppose 0 = 4*n + 3*y - 42, 0*y - 3*y + 18 = 2*n. Solve -d*g + 6*g = n for g.
4
Let p = 18 + 24. Let u = p + -35. Suppose 2*f + 63 = 5*z + 5*f, z - 5*f - u = 0. Solve g + 3*g = -z for g.
-3
Suppose -2*z + m = -217, -57*z = -59*z + 4*m + 214. Solve -116*s + 14 = -z*s for s.
2
Let v(c) = 13 - c + 20 + 3*c - 18. Let i = -111 - -105. Let s be v(i). Solve s*f + 16 = -f for f.
-4
Let z(v) = 456*v - 134. Let q be z(2). Solve -q*x - 3 = -781*x for x.
1
Let v = 5787 + -5772. Solve -16*r = v*r + 186 for r.
-6
Let g(p) = p**2 - 8*p + 16. Let t be g(8). Let r = 22 - t. Solve 0 = -r*m + 7*m for m.
0
Let x(n) = -n**3 - 22*n**2 + 302*n + 719. Let t be x(-31). Suppose 0 = a - z - 8 + 4, -2*z + 8 = 2*a. Solve -a*f = t*f - f for f.
0
Let i be 108 - (-5 - 0 - -3). Let x = i + -103. Let s(g) = -g**3 + 9*g**2 - 13*g - 2. Let j be s(x). Solve j*l + 3 - 23 = 0 for l.
4
Let f(t) = -6*t + 16. Let o be f(-7). Suppose 2*j + 61 = 3*h, 3*h + j - 6*j - o = 0. Suppose -4*i = -h - 35. Solve 5*d + 6 = -i for d.
-4
Let g = -20734 - -20871. Solve -g + 23 = 19*a for a.
-6
Suppose -19*n + 771 = -27. Suppose 44*o - 14 = n*o. Solve -8*c + o*c = -1 for c.
1
Let h(n) be the first derivative of 22 + 3*n + 1/2*n**2. Let g be h(0). Solve -g*i - 14 = -5 for i.
-3
Let l be 18/4*(-8)/(-6). Suppose 23*z + 85 = -207*z + 315. Solve -i + l = z for i.
5
Suppose 0 = -2*b - 4*b - 1278. Let i = b - -215. Solve i*u - 3*u = -2 for u.
2
Suppose 0 = 3*a + 4*z + 8, 5*z + 3 = a - 7. Let d(o) = 2*o + 11. Let n be d(a). Suppose 2*f - n = -1. Solve f*y + 3 = -7 for y.
-2
Let y = 5225 - 5208. Solve y - 22 = -b for b.
5
Let m = 496753 + -496751. Suppose -4*h = 61 + 23. Let n be 6/h + (-46)/(-14). Solve m*c = -n*c for c.
0
Let t be ((-8)/3)/(-6*(-6)/(-54)). Let h be (-6)/t*(-1664)/24. Suppose 12*i - 4*i - h = 0. Solve 3*o - 4 = -i for o.
-3
Suppose 3*g - 809 = 4*d, 5*g - 3*d - 260 = 1092. Solve -8*t + g = 255 for t.
2
Let m(d) be the first derivative of -d**4/4 + 4*d**3/3 - 9*d**2/2 + 18*d + 50. Let q be m(3). Let r be 116/14 - (-4)/(-14). Solve 2*o = -q*o + r for o.
4
Suppose 2*p = 