- 10 for b.
2
Let u(m) = m**2 + 3*m + 5. Let t(x) = 3*x + 22. Let s be t(-8). Let a be u(s). Solve 4*o - 2 = a*o for o.
2
Let y be (-1)/((-12)/(-16) + (-100)/112). Solve 9 = -y*p - 2*p for p.
-1
Let c(f) = 5*f**2 - f. Let t(a) = -9*a**2 + 2*a - 1. Let r(n) = -5*c(n) - 3*t(n). Let l be r(1). Suppose -d + 6*d = 10. Solve -l = 2*y + d for y.
-3
Let i = 3 + -2. Let r be 5 + -2 + (-8)/2. Let x be (-9)/(r/4*6). Solve 5*k - x = -i for k.
1
Let a(r) = r**3 - 4*r**2 - 9*r + 16. Let l be a(5). Let w be (-2)/l*1*8. Solve 0*n + w*n = 0 for n.
0
Suppose 0 = 4*y - 2*w + 5*w - 17, y + 5*w = 0. Solve 3*h + y*h = -24 for h.
-3
Let a(r) = 2*r**3 - 2*r**2 - 5*r + 9. Let v be a(2). Solve 0*m - 21 = -v*m for m.
3
Let f be (-5)/((-10)/(-8))*(1 - 2). Solve f*n = n for n.
0
Let w be (-4 - (-13)/2)*1*2. Suppose -3*n = 2*k - k - 25, w*k + 55 = 5*n. Solve 0*b + 3*b = -n for b.
-3
Let w = 1272 - 1233. Solve 40*q + 3 = w*q for q.
-3
Let t be (4 + -2)*(-33)/(-6). Suppose -4*f + t = 3. Suppose -7*k = -10*k + 3. Solve k + f = -3*h for h.
-1
Let z = -37 + 61. Suppose -2 = j + n, -4*j + 0*j = -4*n - z. Solve j*a = a + 1 for a.
1
Suppose -i = -5*o - 20, 0 = -9*i + 5*i + 3*o + 12. Suppose 4*u - 10 = 3*n + 53, -2*u + 4*n + 34 = i. Solve -u = -2*v - 5 for v.
5
Let t be 41*5/20*4. Let m = t - 41. Solve m = r + 3*r - 12 for r.
3
Suppose 1 = -g - 1. Let m be (-3)/g*(-30)/(-3). Suppose -112 = -c - 108. Solve m = -c*q + q for q.
-5
Suppose -15*c + 7 = -218. Solve -15 - 30 = -c*h for h.
3
Let r = 246 - 230. Solve -4*f + 0*f = -r for f.
4
Let j(t) = 2*t**2 + t. Let y be j(1). Suppose 0 = y*c + 6*c - 36. Solve -c*v + 2 = -14 for v.
4
Suppose 5*y + m - 50 = 6*m, 5*y = -m + 56. Suppose 10*h = y + 19. Let l(x) = 12*x**2 + x - 1. Let z be l(1). Solve -r - h*r = z for r.
-3
Suppose -7*t - 11 + 25 = 0. Let k(r) = -4*r - 2. Let z be k(-2). Solve 0 = t*o - 2 - z for o.
4
Suppose 0 = 4*g + 20, -2*b + 4*b = g + 23. Let p(n) = -n**2 + 10*n - 6. Let x be p(b). Solve u = x*u - 8 for u.
4
Suppose 0 = -7*o + 4*o - 2*o. Solve -5*r + 3 - 23 = o for r.
-4
Suppose j - 3 - 1 = 0. Suppose 0 = y + j*y. Let w = 254 + -242. Solve 4*a + y = w for a.
3
Let q(m) = 2*m**2 + 14*m + 4. Let c be q(-7). Let s(r) = r**3 - 6*r**2 + 6*r - 3. Let a be s(5). Solve -c*t = 2 + a for t.
-1
Suppose -4*v + 3 = a - 0*v, v = -4*a + 42. Suppose n + 4*h - 1 = 7, a = 4*n - 5*h. Suppose y = -y + n. Solve y*c = -c for c.
0
Let y = 26 + -134. Let s = 110 + y. Let m = 6 - -3. Solve -s*o + 5*o = -m for o.
-3
Suppose 6*d - 75 = 3*d - v, 0 = -v + 3. Solve 20*p - d*p = -16 for p.
4
Let m = 22 - -4. Let h = -25 + m. Let d be h - 4 - (-1 - 2). Solve n = -d*n for n.
0
Let o(g) be the first derivative of -g**3/3 - 4*g**2 - 6*g + 13. Let y be o(-7). Solve 3*r = y + 2 for r.
1
Let k be (-2)/(1/(15/(-6))). Suppose -2*w + 2*a = k*a - 24, -w + 3*a - 6 = 0. Suppose -w*f + f = 0. Solve -r = -f*r - 4 for r.
4
Suppose -4*d = 4*a + 8, 41*d - 45*d = 5*a + 8. Solve a = 12*y - 7*y - 10 for y.
2
Let v = -29 + 10. Let c = v - -31. Let k(h) = h + 2. Let p be k(0). Solve w + p*w + c = 0 for w.
-4
Let j(f) = -2*f - 21. Let b be j(-15). Solve -16 = -b*a + a for a.
2
Let h(l) = -l**3 - 8*l**2 - 8*l - 4. Let p be h(-7). Suppose p*v = v + 30. Let s be 4*(v/20 + 0). Solve 0*c + c = s for c.
3
Let z(k) = k**2 + 11*k - 2. Let v be z(-9). Let a be ((-6)/(-10))/(((-24)/v)/6). Solve 0*x = a*x - 9 for x.
3
Suppose 0 = -4*t + i + 48, -t - 22*i = -20*i - 12. Solve 0 = q + 14 - t for q.
-2
Suppose -m + 4*m = 12. Let p be (-3)/(-27) - 80/(-9). Solve p*o - m*o = 15 for o.
3
Suppose -2*l - l + 129 = 0. Let t = l + -41. Solve t*y - 4 = -2*y for y.
1
Let t(a) be the second derivative of -a**4/6 + 2*a**3/3 + a**2 + 5*a. Let z be t(4). Let g be (-74)/z - (-8)/(-28). Solve -4*o + g*o = -3 for o.
-3
Suppose -4*s - b = -56, -32*s + 3*b + 72 = -28*s. Solve 298*i = 303*i - s for i.
3
Suppose -3*v - 147 = -150. Let k be (v - 1)/(17 - 16). Solve -4*z + 9 - 5 = k for z.
1
Let d = -27 + 29. Let i = 20 - d. Let o be (-2)/3 - (-174)/i. Solve o = -2*c + 1 for c.
-4
Let a(u) = u - 5. Let x be a(5). Suppose -2*t - 4*b + 16 = 0, 5*b + x - 35 = -5*t. Suppose -9 = -5*s + t. Solve 2*r + s = -1 for r.
-2
Suppose -4*o - 4 = -3*o. Let n be (1 + o)/((-18)/48). Let s be (0/1)/(n + -9). Solve s = -3*j - 2*j + 25 for j.
5
Let c = 45 - 42. Let x(i) = i**3 - 2*i**2 - 4*i - 7. Let n be x(4). Solve 4*w + n = -c for w.
-3
Let h = -4 - -34. Let r be h/8 - 2/(-8). Suppose 35 = 6*l - 19. Solve i = l - r for i.
5
Suppose 0*l = -4*k - 4*l, 16 = 2*k - 2*l. Suppose -2*n = -k*d - 2, -n - 2*n + 7 = -2*d. Solve -3*u + 14 = -d for u.
5
Let n be 0/(7/((-14)/4)). Suppose 3*g - 7*g + 300 = n. Suppose 0*d - g = -5*d. Solve -2*k + d = k for k.
5
Suppose -c + 46 = 43. Solve c*d - 8 = -5 for d.
1
Let i be 4/3*300/8. Suppose 4*o = -3*n - o + i, 0 = 5*n + o - 98. Solve 2*v = -2*v - n for v.
-5
Let a be 2 - (-2 - -2)/(-3). Let r be a/3*39 - 1. Let i be (-5)/r - (-4)/20. Solve i = s + s for s.
0
Let y be (-122)/14 - (-22)/(-77). Let t = -28 + y. Let d be t/(-7) - 4/14. Solve -d*x + 4 - 29 = 0 for x.
-5
Let w be 0 + 2 - 12/20*15. Let z = -14 - -7. Let s = z - w. Solve -5*f + 25 = -s for f.
5
Suppose 2 + 10 = -2*q. Let j(b) = 3*b - 2. Let w be j(q). Let i = -12 - w. Solve -5*n = -3*n + i for n.
-4
Let z = -13 - -3. Let o be z/50 - 11/(-5). Solve -o*s + 5 = -s for s.
5
Let o(l) = l**2 + 8*l - 62. Let m be o(5). Suppose -g + 8 = 2*r, 4*g - 20 = -2*r - 3*r. Suppose 2*n + 2 = 3*a, g*n = -2*a - n + 6. Solve -u - a = m for u.
-5
Suppose -3*z = 4*w - 13, -5*w = -w + 4*z - 12. Suppose 10*o - 12 = w*o. Solve 0 = o*d - 0*d - 10 for d.
5
Let q be (-282)/(-54) + 4/(-18). Let z = 2 - -3. Suppose -q*s = -0*s - z. Solve s = h - 3 for h.
4
Let v(f) be the first derivative of -f**4/4 + 11*f**3/3 - 2*f**2 + 12*f + 12. Let x be v(11). Let h = x + 34. Solve -h*q = -q for q.
0
Let a(y) = 2*y**2 + y + 2. Suppose 4*k - 7*k - 3 = 0. Let t be a(k). Solve -7 - t = 2*m for m.
-5
Let q(x) = -x**3 - 2*x - 3. Let c be q(-1). Suppose 0*y + 4*y - 2*y = c. Solve y*z + 5*z + 25 = 0 for z.
-5
Suppose 2*a - 4*k = 3*a + 21, -4*a = 5*k + 29. Let d be (-210)/(-28) + a/(-2). Solve q = -q - d for q.
-4
Let k(i) = -23*i + 5. Let w be k(-5). Suppose -6*l = -2*l - w. Suppose -3*f = -2*c + 13, -5*f = -3*c - 2*c + l. Solve -2*x - 3 = -c*x for x.
1
Let d = 18 - -33. Let a = d - -25. Let b be 3 + (-1)/((-4)/a). Solve 3 = -5*y - b for y.
-5
Let m(r) = r**2 - 96. Let w be m(10). Solve w*i + 26 = 6 for i.
-5
Let r be (-27)/6*192/(-216). Let o(g) = g**2 - 4. Let v be o(-3). Solve -r*s + 5 = -v*s for s.
-5
Let q = 115 + -114. Let g(o) = -o**3 - 4*o**2 - 2*o - 4. Let z be g(-4). Solve q = -c - z for c.
-5
Let t be ((-935)/(-68) - 13) + 18/8. Solve -t*z - 65 = -65 for z.
0
Let w = -260 + 264. Solve 0 = 3*h - w*h + 2 for h.
2
Let g(i) = -6 - 3 - i - 1 - 6*i. Let c be g(-2). Solve 1 + c = -v for v.
-5
Let s be (-2)/4 + 169/(-26). Let t be 99/21 + (-2)/s. Solve -t*r + 4*r = -1 for r.
1
Let u be (8/(-5))/((-1)/5). Suppose 0 = j + 3*j - u. Solve 3*a + j*a + 10 = 0 for a.
-2
Suppose 2*v + 68*z = 73*z + 29, 2*v - 11 = -z. Solve v*b - 8*b + 3 = 0 for b.
3
Suppose 0 = -40*z + 34*z. Solve z = -36*d + 35*d - 2 for d.
-2
Suppose -u + 5*u - 30 = -2*t, 4*u - 2*t - 18 = 0. Solve -u = 4*g - 6 for g.
0
Suppose -3*w = 11 - 2. Let x be w - 3 - (1 - 1). Let k(h) = h**2 + 4*h - 5. Let p be k(x). Solve 8 = -5*s - p for s.
-3
Let o(y) = -99*y - 1185. Let p be o(-12). Suppose -5*j + 4 + 6 = 0. Let u(d) = d**3 - 2*d**2 - 2*d + 1. Let l be u(3). Solve l = p*r - j for r.
2
Let w(g) = -7*g - 5. Let t be w(-1). Suppose -t*l - 8 = -6*l. Solve 5 - 1 = -l*m for m.
-2
Let j = 144 + -138. Solve j*w = 7*w - 3 for w.
3
Suppose 20*x - 86 = 74. Solve -2*q - 14 = -x for q.
-3
Suppose -g = -4*n - 3*g + 88, -3*g - 98 = -4*n. Let o = -45 + 27. Let t = n + o. Solve -t = -2*r + 5 for r.
5
Let u(q) = 2*q**2 + 4*q + 1. Let l be u(-2). Let r be (l - 1)/2 + 1. Solve p = r - 4 for p.
-3
Let g = -2 - -7. Suppose g*l - 11 = 4. Suppose l*h - 6 = 6. Solve h*m = -4 - 0 for m.
-1
Let k be 2 + (-24)/13 - (-456)/78. Let d be 3/(15/20)*2. Solve k*c = 4*c - d for c.
-4
Let w = -166 - -190. Solve -2*u = -10*u + w for u.
3
Let t(v) = -3*v - 7. Let x be t(-3). Suppose -7*o + 150 = -x*o. Let m = -27 + o. Solve 1 = -4*c - m for c.
-1
Suppose 2*u = 5