for b.
4
Let j(y) = -y - 5. Let c be j(-10). Solve 3*i - c*i - 10 = 0 for i.
-5
Let b(r) = -r - 3. Suppose 0 = -8*o + 7*o - 3. Let l be b(o). Solve -p + 0*p - 5 = l for p.
-5
Let b be ((-6)/4)/(2/20). Let n = b - -31. Suppose -2*i = -2*j + n, 8*i + 24 = j + 3*i. Solve -j*z = z for z.
0
Let m(s) = s**3 + 10*s**2 - 11*s + 12. Let u be m(-11). Solve u = 6*j - 2*j for j.
3
Let r = 69 - 28. Suppose 7 + r = -4*l. Let w be l/2*6/(-9). Solve 7*a - 3*a + w = 0 for a.
-1
Let c = 11 - 3. Solve -3*v + c = -1 for v.
3
Let w = 30 - 29. Solve -d + 0*d - w = 0 for d.
-1
Suppose -2*x + 12 = -0. Suppose -3*m - 50 = -2*f, -f + x*f - 5*m = 125. Solve -f = -3*w - 2*w for w.
5
Let n(c) = c**2 + 3*c + 3. Let l be n(-3). Let o(y) = -y**3 + 7*y**2 + 2*y - 8. Let a be o(7). Let g = a - 5. Solve 0 = -i + g + l for i.
4
Let b = 22 + -20. Solve -3*w - b*w + 15 = 0 for w.
3
Suppose -43 = -5*n + 2. Suppose -z + n = 3*q, -4*q - 9 = -21. Suppose z = g + 3*g - 16. Solve -h + 0 - g = 0 for h.
-4
Suppose q - 4 = -1. Let n = 7 - -2. Solve q*r - n = -0*r for r.
3
Let a = -5 + 9. Solve 5*x - a - 16 = 0 for x.
4
Suppose 3*d - 3*k - 21 = 0, -2*d - 3*k = -0*k - 9. Let g be (-2)/13 - (-134)/26. Solve d*c - g*c = 0 for c.
0
Let c = -107 - -108. Solve 1 + c = p for p.
2
Let q be (-65)/(-7) + (-4)/14. Let h(x) = x**2 - 9*x. Let m be h(q). Solve m = 2*u + 2*u for u.
0
Let d(h) = h**3 - 4*h**2 - 6*h + 7. Let a be d(5). Solve a*s + 0*s = 4 for s.
2
Let m be (-36)/1*12/(-36). Solve -m*x + 10*x = -10 for x.
5
Suppose -7 = -n - 6. Solve -4 + n = 3*t for t.
-1
Let r(d) = -d**3 + 8*d**2 - 8*d + 12. Let z be r(7). Solve z*o = o for o.
0
Suppose 4*i = 2*z + 6, -5 = -i - 2*z + 6*z. Suppose 0 = q - 3 + 1. Solve -q*f + i = -1 for f.
1
Let x be -1 - (13*-2 + -1). Let f be 5/10 - x/(-4). Suppose -3*g - 16 = -f*g. Solve 4*p - g = 4 for p.
2
Let i(u) = u. Let w be i(2). Let y be (-3)/w*(-4)/1. Solve y = -4*b - 14 for b.
-5
Suppose 0 = -2*r + 10*r. Solve r = -2*a + 3 - 9 for a.
-3
Let b be 1/(0 - 2)*0. Let g(z) = -z**3 - 11*z**2 + 13*z + 15. Let i be 32/20*30/(-4). Let n be g(i). Solve b*w - n*w = 0 for w.
0
Suppose 5*c - 3*u = 6 - 0, 0 = -3*c + u + 2. Suppose -4*h + 12 = -c*h. Solve 0 = -h*l + 2*l + 3 for l.
3
Suppose -d + 8*d = 28. Solve -6 = d*y - 26 for y.
5
Let a be (4/12)/(2/(-18)). Let l = a - -4. Solve -2*n - l = 3 for n.
-2
Suppose 4*r - 13 - 7 = 0. Solve r*i - i = -4 for i.
-1
Let i be ((-4)/6)/(2/(-6)). Let u(z) = -z + 4. Let m be u(4). Suppose -s + 5 = -m*s. Solve -s*q - i = 3 for q.
-1
Suppose 3*v - 32 = -v. Suppose v*k - 12 = 4*k. Solve 4 = n - k*n for n.
-2
Suppose 6*h + 51 = 23*h. Let t(c) = 4*c**2 - c. Let w be t(-1). Let y = 9 - w. Solve h*k = y*k - 2 for k.
2
Let v(l) = -l**3 - 2. Let p be v(-2). Let j(c) be the second derivative of -c**3/6 + 3*c**2 - c. Let n be j(p). Solve k + 2 - 5 = n for k.
3
Suppose 5 = -4*y - y. Let u be (-5)/(-2) + y/2. Suppose 4*h = -5*i - 0 + u, -8 = -2*i + 2*h. Solve i*q - 4*q = 2 for q.
-1
Let i be 1/2 + (-9)/2. Let u = -1 - i. Solve -u*t - 7 + 1 = 0 for t.
-2
Let k = 6 - 1. Suppose 3*m = k*m - 2*b, 2*m - 4 = -2*b. Let p = 6 + -4. Solve 3*l + p = -m for l.
-1
Let g(k) = 4*k**3 + 3*k**2 - 3*k + 3. Let v be g(-3). Let q = -45 - v. Solve 5*o + 4 = q for o.
4
Let t = 1 + 2. Let i(g) = g - 3*g - 3*g**2 + 4*g + g**t. Let d be i(2). Solve 2 = -d*o + o for o.
2
Let h be 3*(3/(-9))/1. Let x be h - -2 - (1 - 0). Solve x = -l + 3 - 2 for l.
1
Let p(t) = t**3 + 7*t**2 + 6*t + 1. Let b be p(-4). Solve -2*o = 3*o - b for o.
5
Suppose 4*o - 4*x = 16, 0 = 3*o - 0*x - 5*x - 10. Solve 3 = o*l - 2 for l.
1
Suppose 3 = m - 0. Suppose 1 = 2*s + m*z, 4*s - 4 = -7*z + 3*z. Let k be (-16)/(-104) + 76/13. Solve -s*u - k = u for u.
-2
Suppose 2*n - 3 = -3*y, -2*y = -6*y - n + 4. Solve -y = -3*j + 11 for j.
4
Let l be 6/9 + (-21)/(-9). Let o be 2/7 + 10/(-35). Suppose -w = -2 - o. Solve l*v - 2*v = w for v.
2
Suppose 13*o - 17*o = 0. Solve o*u - 3*u = 0 for u.
0
Suppose -p = 2*p. Let f be (-2)/2 - p - -5. Suppose -3*l = r - 3 - f, 2*r = -10. Solve -l*b + 0 = 12 for b.
-3
Let h(s) = -s**3 + 9*s**2 - 5*s - 9. Let b be h(8). Solve 2*c - 5 = -b for c.
-5
Let c = 137 + -121. Solve -4*b - c = -0 for b.
-4
Let c(d) = d**2 - d - 4. Let v be c(-2). Solve x - 5 = v*x for x.
-5
Let l(p) = 2*p - 8. Let a be l(6). Solve a*o + o - 25 = 0 for o.
5
Let r(z) = z**2 - 5*z - 9. Let t be r(7). Suppose 4*q + 5 = t*q. Let m = 8 - q. Solve m*w = -12 - 0 for w.
-4
Let t be (-3)/((-3)/2) - 2. Let h = 1 + -2. Let p = 1 - h. Solve -p*c = -t*c for c.
0
Suppose 5 = 2*l - 1. Let u be 2*(1 - -3)/4. Solve 1 = u*w + l for w.
-1
Let s be (-2)/((-4)/6*1). Let o = 7 + -2. Suppose -5*p = g, 2*p = -g + o*p. Solve r - 4*r - s = g for r.
-1
Let b(a) = -a**3 + 5*a**2 + a - 4. Let q be b(5). Let y be (q - (-3)/(-2))*-40. Solve -c + y = 4*c for c.
4
Let k(f) = f**3 + 6*f**2 + 5*f + 6. Let w be k(-5). Solve 3*o = -0*o + w for o.
2
Let c = -23 - -27. Suppose -m + 6 - c = -3*b, -3*b - 7 = -2*m. Let f = 2 - 0. Solve f*d = b - 3 for d.
-1
Suppose -3*w + 25 = 5*a, 2*a = -4*w - 2*a + 20. Solve w = 3*u + 1 - 16 for u.
5
Let l = 7 - 12. Let f(u) = 3*u**2 - 3*u - 25. Let j(h) = h**2 - h - 13. Let d(p) = l*j(p) + 2*f(p). Let r be d(0). Solve -5*v + 0*v = r for v.
-3
Suppose 3*s = 7 - 1, 4*s = -4*r + 48. Solve 0 = m - 3*m - r for m.
-5
Let g be (3 + -3)/(-2) + 12. Let n be 1 - (g/3 - 3). Solve n = 2*h - 3*h + 3 for h.
3
Let c be (-80)/(-24)*(-6)/(-5). Solve p - c + 0 = 0 for p.
4
Let d(r) = -3*r - 10. Let h be d(-6). Solve 2*f + h = 2 for f.
-3
Let r(k) = -2*k**3 - 15*k**2 + 26*k + 13. Let j(l) = l**3 + 8*l**2 - 13*l - 7. Let d(u) = 7*j(u) + 3*r(u). Let g be d(-12). Solve 6 = -g*t + 2 for t.
-2
Let y(z) = 3*z - 11. Let f be y(5). Solve 0 = -9*m + 7*m - f for m.
-2
Let g be (-9)/27 + 46/3. Solve 2*l = -3*l + g for l.
3
Let m(j) = -j + 0 - 3 + 1. Let n be m(-4). Solve 3*z + 2 = n*z for z.
-2
Suppose -2 = 4*r - 6. Suppose 0 = -f - r + 6. Solve -4*k = -15 - f for k.
5
Suppose 4*a + 0*a = 0. Let h be (a + -4)*(-3 + 1). Solve h + 0 = 2*q for q.
4
Let j(w) = -w**2 + 4*w - 1. Let v be j(3). Let h(o) = o**3 + o**2 - 2*o. Let d be h(-2). Let y be 0*(0 - (d - -1)). Solve 0 = -y*r + v*r + 6 for r.
-3
Suppose 4*j = 39 + 13. Suppose 5*o - j = 2*z, 7*z - 2*z = -3*o + 14. Suppose 5*u - 26 = -z. Solve 4*a + u = -11 for a.
-4
Let z be 217/(-28) - 2/8. Let a = z + 11. Solve 5*s = a*s - 6 for s.
-3
Let l(j) = j**2 - j - 7. Let d be l(5). Let f be (-312)/40 + 1/(-5). Let w = d + f. Solve -w*c + 1 = -4 for c.
1
Suppose 4*x - 2*x = 0. Solve 0*a + 2*a + 8 = x for a.
-4
Let t be 30/(-4)*40/(-50). Solve t*d - 3*d - 6 = 0 for d.
2
Let z(b) = -b + 2. Let r(h) = h**3 + 2*h**2 - 3*h - 2. Let i be r(-2). Suppose 2*w + 10 = 4*y, -y + 0*w = i*w + 20. Let q be z(y). Solve 0 = x + q*x for x.
0
Let g = 3 + 14. Suppose 3*d = -o + 4*o + 33, 5*o - g = -3*d. Let c be (0/(-4) + -1)*-3. Solve d = -3*n + c for n.
-2
Suppose -4*m + 40 = 5*j + m, -17 = -4*j + m. Let i be ((-9)/15)/(j/(-25)). Solve -5*o + 17 = -i for o.
4
Suppose 3*b = 5*u - 9, 0 = -u - b - 0 - 3. Solve w + w = u for w.
0
Suppose 2 = 4*q - 10. Solve 2 = -i - q for i.
-5
Suppose 0 = 3*d - 3 - 3. Solve d*i - 2 + 0 = 0 for i.
1
Suppose -5*a + 7*q = 2*q - 30, -2*a - 3*q + 12 = 0. Solve a - 3 = 3*r for r.
1
Let j(p) = -p**3 - p**2 + p + 2. Let k be j(0). Let c = -24 + 34. Let y(h) = -h**3 + 10*h**2 + h - 7. Let f be y(c). Solve -1 = -f*u + k for u.
1
Suppose -3*i - 2*i + 40 = 0. Let f = -5 + 10. Let j = i - f. Solve 2*r = -j*r + 15 for r.
3
Let a(o) be the third derivative of -o**4/24 + 5*o**3/3 + 3*o**2. Let q be a(6). Solve 2*m = q*m + 8 for m.
-4
Let s be 7/((-1)/2*1). Let f be (-30)/(-7) + 4/s. Solve 0*d = f*d - 8 for d.
2
Suppose y - 6 = -2*y. Solve y*s - 2 = s for s.
2
Let f(j) = j - 1. Let s be f(5). Let o = 6 - s. Let x be 4*(-4)/8 + 2. Solve x = -0*w - o*w for w.
0
Let g be -3 + 3/(-9)*-3. Let i = 2 + g. Suppose -32 = -2*c - 2*c. Solve i = 3*p - 20 + c for p.
4
Let g(d) = d**2. Let t be g(-2). Let v = 16 + -14. Solve v*k = -12 + t for k.
-4
Let z = 4 + 3. Let u = -6 + z. Solve -v + 0 - u = 0 for v.
-1
Let u = -19 + 29. Solve 2*x + u = -0*x for x.
-5
Let k be 12*(5 + (-20)/5). Solve k - 4 = -2*s for s.
-4
Let k(s) = -s**3 - 4*s**2 - 2*s + 4. Let q be ((-8)/(-10))/(1/(-5)). Let y be k(q). Let o be ((-9)/y)/(1/(