 Solve 3*b - v = 3 for b.
5
Let g(i) = 6*i**2 - 1. Let p be g(-1). Let y = -3 + p. Solve -y*b = -3*b for b.
0
Let o(g) = 2*g. Let b = 1 - 0. Let q be o(b). Solve -3 = q*s - 3*s for s.
3
Let i = 27 + -21. Solve 0 = b + 2*b + i for b.
-2
Suppose 46 = 5*v - h, -6 = v - 2*v - 3*h. Let a(f) = -f**2 + 1 + 6 - 1 - v*f - 7. Let y be a(-8). Solve -4 = -y*t + 3*t for t.
1
Let i be 5 - 1*(-4 - -7). Solve -y - i + 4 = 0 for y.
2
Let q(s) = -s**3 + 5*s**2 - 2*s - 6. Suppose j - 4 = -n, -6 = -2*n + 3*j + 2. Let h be q(n). Solve h*k = k for k.
0
Suppose -4*y = 6*y. Solve y = -3*i + 5*i for i.
0
Suppose -30 + 18 = -4*k. Solve -k*i = i + 16 for i.
-4
Let j = -14 + 14. Suppose j = 4*n - 0*n. Solve -l + n*l - 3 = 0 for l.
-3
Let l(p) = 4*p**3 - 1. Let f be l(1). Let b be (-6)/f + 3 - -5. Solve -5*c + b = -4 for c.
2
Let l(f) be the second derivative of -f**3/2 + f**2 - 2*f. Suppose -2 = 4*x - 3*x. Let a be l(x). Solve -c - 3*c = -a for c.
2
Let n(h) = 2*h - 19. Let k be n(14). Solve -3 - k = -3*p for p.
4
Let a(k) = k**3 - 14*k**2 + 13*k + 3. Let m be a(13). Solve 0 = m*o - 14 - 1 for o.
5
Suppose 4*k = m + 3 + 5, 4*m - 10 = 2*k. Suppose -m*h = -4 - 16. Solve -h*a - 4 - 11 = 0 for a.
-3
Let b(u) = u**3 - 3*u**2 - 2*u - 5. Let o be b(4). Solve 5*t = o + 7 for t.
2
Let o = -125 - -159. Solve -4*t - 14 = -o for t.
5
Let i be 14 - 0*(2 + -1). Suppose 2 = 4*d - 3*d. Let h be (-17)/(-4) + 1/(-4). Solve -d*u + h = i for u.
-5
Let z(q) = q**2 - 3*q - 7. Let f be z(5). Suppose f = u - 1. Suppose u*t + 3*o = -9 + 2, -2*t = -3*o - 19. Solve 0 = t*m - 1 + 11 for m.
-5
Suppose -3*w = -s - 0*s - 5, 3*w + 2*s - 17 = 0. Suppose -w*c + 16 = -j, 4 = 3*j - j. Solve u + c = 3*u for u.
3
Let n = -7 + 9. Solve -n*a + 0*a = 4 for a.
-2
Suppose f - 5*q = -31, 8*f - 3*f - 2*q = -40. Let i be f*(10/(-6))/5. Let c(o) = -o - 3. Let l be c(-6). Solve l*m + i*m = 0 for m.
0
Let j(b) = -b + 4. Let d(w) = w - 5. Let t(p) = 4*d(p) + 5*j(p). Let f be 4 + (5 + 1)*-1. Let u be t(f). Solve -u*x = -4*x - 8 for x.
-4
Let c be -1*(-1 - -11)/1. Let z be 1/(-2 - c/4). Let d = -5 - -10. Solve -d*m = -z*m for m.
0
Let d(z) = z**2 - z - 1. Let p be d(2). Let n = p - 4. Let v be (4/(-10))/(n/15). Solve 0 - 8 = v*u for u.
-4
Let j = 30 - 26. Let s be (-16)/6*30/(-8). Let x be 1/(-1)*s/(-1). Solve -j*y + 2*y = -x for y.
5
Let v(s) = -3*s. Let i(k) = -k - 7. Let b be i(-6). Let z be v(b). Solve m - 4*m - z = 0 for m.
-1
Let x be 0 + -3 - (1 + (-35)/5). Solve x*g - g - 10 = 0 for g.
5
Let c(s) = 4*s - 16. Let i be c(5). Solve i*v + v - 20 = 0 for v.
4
Suppose 2*t + t - 2*z = 20, z + 35 = 4*t. Solve -t = -0*k + 5*k for k.
-2
Let k(u) = u**2 + u + 2. Let p be k(-4). Let i = -12 + p. Solve -3*s - i*s = 0 for s.
0
Suppose -1 = 4*l + x, 0 = -3*l - 5*x + x - 4. Solve l*p + 20 = -5*p for p.
-4
Suppose 3*z = -i + 16, -5*i - z = -4*i - 8. Suppose -x = -v - 3*v + 15, -v = -i*x. Let r be 1/x - 2/2. Solve r = y + y - 8 for y.
4
Suppose -5*h + k = 2, -2*k + 0 = -5*h + 1. Let j be 24/8 + (-2 - h). Solve j*g = -0*g + 6 for g.
3
Let y(v) be the second derivative of -7*v**4/24 + v**3/6 - v**2 + 2*v. Let h(a) be the first derivative of y(a). Let z be h(-2). Solve -z = -2*p - 7 for p.
4
Let w = 7 + -6. Solve 5*j + 11 - w = 0 for j.
-2
Let v be 6/15 + (-108)/(-30). Solve n - v*n - 15 = 0 for n.
-5
Let h(r) = 0*r - r + 0*r + 9. Let p be h(6). Suppose -p*w + 8 = -4. Solve 2*z + 2 = w*z for z.
1
Let l be (-4)/2*(-13)/2. Suppose -4*m - l - 11 = 0. Let z(t) = t**2 + 7*t + 8. Let c be z(m). Solve c*n = -2*n for n.
0
Suppose 3*m = m - 4. Let a be 6*(2 - (-3)/m). Suppose 5*t - 3*r - 1 = 0, -3 + 12 = -a*t + 5*r. Solve 5*o - 3*o = -t for o.
-1
Let h be 3*4*(-2)/(-3). Let d(m) = -2*m - 11. Let q be d(-8). Suppose 26 = 7*w + q. Solve w*x - h*x = -25 for x.
5
Let v(b) = b**3 + 4*b**2 - 3*b - 2. Let u be v(-4). Suppose 0 = -2*d + 16 + u. Let m = d - 9. Solve 0 = -m*y - 0*y for y.
0
Suppose -g - 5*n + 20 + 3 = 0, 20 = 5*n. Suppose 3*u = -g*b + 72, u - b = -0*b + 26. Suppose 5 = -j + u. Solve 2*c + 3*c = -j for c.
-4
Let b be 8/6*(4 - 1). Suppose 1 = b*x - 7. Suppose 3*d = -x*d. Solve d = p + 3*p for p.
0
Let i = 4 + -5. Let l be (6 - 7)/(i/2). Let x be 1 - 0 - -11*1. Solve l*w + 2*w - x = 0 for w.
3
Let m(y) = y + 4. Let g be m(-4). Let z(k) = k**3 + 6*k**2 + 7*k - 2. Let d be z(-2). Solve -4*u + d + 4 = g for u.
1
Let w(a) be the first derivative of 2*a + 1 + 1/3*a**3 - 3*a**2. Let k be w(6). Solve -2*m - k = -12 for m.
5
Let j be ((-30)/(-7))/((-2)/(-28)). Let u = 85 - j. Solve -4*d = d - u for d.
5
Let f(l) = l**3 - 3*l**2 + 2*l - 2. Let j be f(2). Let u be 0*j/4 - -5. Solve 0 = -3*m + u - 2 for m.
1
Let h = 14 - 14. Solve h = 3*a - 0*a for a.
0
Suppose 2*i - 8 = -5*m + 7, 0 = -3*m - 4*i + 9. Suppose 0 = -q - m*q + 12. Solve -2*h - h = q for h.
-1
Let p(h) = h**2 + 3. Let c be p(0). Suppose 2*d = c*r + 4, -d + 4*d = -4*r + 40. Solve 0*f = 4*f - d for f.
2
Let r = -2 - -4. Suppose -11 = -4*z + 13. Solve -r*n = -4 - z for n.
5
Suppose -4*k + 31 = 5*l, -3 = -k + 4*l - 11. Solve -k*s + 2 + 2 = 0 for s.
1
Let b(m) = m**3 + 2*m**2 - 7*m - 9. Let r be b(-3). Solve -5*f - 2 = r for f.
-1
Let y = 13 + -5. Let g be ((-9)/18)/((-2)/y). Solve 0 = -2*c - g - 4 for c.
-3
Suppose -4*a + u + 17 = 0, 5*a + u - 15 + 5 = 0. Suppose 3 = -3*q + a*j, 2*j = -2*q + 5 + 1. Solve q = -d - 2 for d.
-3
Suppose -3*j - 15 = y + 3*y, 0 = 5*j - 15. Let q = y + 8. Solve -w = q*w + 12 for w.
-4
Let g(l) = 8*l**3 + l. Let h be g(-1). Let r = -6 - h. Suppose v - 20 = -r*v. Solve -n - v = -0*n for n.
-5
Let y(t) = -6*t + 82. Let z be y(13). Let k be (2/3)/(2/12). Solve 3*q - z*q = k for q.
-4
Let g be (-492)/2 - (-10)/(-5). Let u be (6/2)/((-6)/g). Suppose -5*b + u = -b. Solve -11 = 5*v - b for v.
4
Let k(h) = -h**3 + 2*h**2 + 3. Let q be k(2). Solve q*s - 2 - 4 = 0 for s.
2
Let j = 22 + -6. Solve -j = 3*z + z for z.
-4
Let l be (10/4 - 2)/(10/220). Let s = -2 - -5. Suppose -3*z + 3 = 3*u, u = -s*u - 5*z. Solve l = u*h + 1 for h.
2
Suppose g + 3*p + 1 = 0, g - 2*p + 20 = -1. Let w be (-1)/6 + g/(-6). Solve -j + 1 = -w for j.
3
Suppose -3*h - 2*f + 47 = -0*h, -17 = -h - f. Let o = -9 + h. Solve 0 = -4*k + 4 + o for k.
2
Let n = -12 + 12. Suppose 0 = c + 3*c - 60. Suppose -3*t - 2*l = 2, 5*t + 4*l - 2*l = -2. Solve t = 3*i - n*i - c for i.
5
Suppose -5*p = 2 - 7. Solve -4*b = -13 + p for b.
3
Let g = -12 + 15. Suppose -6*l + 2*l + g*u = -89, 29 = l - 3*u. Solve 4*x = -0*x - l for x.
-5
Let q = -28 - -40. Let d = -8 + q. Solve -3*o = -d*o for o.
0
Let a = 13 - -3. Let d(t) = t**3 + 5*t**2 + 5*t + 2. Let m be d(-3). Suppose b - 4*n - 1 = -2, m*b = -n + a. Solve b*y + 2*y + 15 = 0 for y.
-3
Let o(a) = -a + 7. Let m be o(5). Suppose 0 = -0*d + m*d - 24. Solve 0 - d = -4*u for u.
3
Suppose 4*t - x + 26 = 4*x, 3*x = t + 10. Let n = t - -6. Suppose 0 = -z + 3*z + 8, 5*z + 16 = -2*r. Solve -4*v - n = -r*v for v.
-1
Let t = -5 - -8. Suppose 3 = 3*w - 5*w - 5*c, t*w - 4*c = 53. Solve -4 = -3*m + w for m.
5
Let l(x) = x**2 - 7*x + 8. Let r be l(7). Let p = 9 - r. Solve -4 = -3*g - p for g.
1
Let o(k) = -k - 3. Let l be o(-6). Let g be -3*(2/l - 0). Let q be (10/15)/(g/(-9)). Solve 0 = q*d + 3 + 9 for d.
-4
Let v(g) = -3*g**2 - 2*g. Let u be v(-2). Let j be (-12)/8*u/6. Let c be (3/9)/(j/18). Solve q + c*q - 4 = 0 for q.
1
Suppose -2*v = -8*v + 12. Solve -v = 3*n - 11 for n.
3
Let n be ((-6)/10 - (3 + -4))*5. Solve -l + 0*l = n for l.
-2
Suppose 4*h = 5*x + 23 - 1, 0 = 3*x + 6. Suppose 20 = 2*t + h*t. Suppose 3 = 3*a, 3*f - t*a = -a + 12. Solve b + 4 = f*b for b.
1
Suppose -9 + 0 = -3*y. Suppose 2*q - 16 = -g - y, -16 = -4*g + q. Solve 30 = -g*u + 5 for u.
-5
Let i = -4 + 7. Suppose 0 = 3*g + 5*m, 5*m = i*g - 0*m - 30. Suppose j - g*j + 4 = 0. Solve 6 = y + j for y.
5
Let p = 0 + 6. Let g = 55 - 26. Suppose -4 = l - g. Solve q - l = p*q for q.
-5
Suppose -2*l - r = -53, -5*l = 2*r + 3*r - 140. Suppose 0 = -k - 2*o - 2, 5*k - 2*o - 26 = -0*k. Solve -k*m - l = m for m.
-5
Let p(n) = 2*n - 6. Let m be p(5). Let a be ((-2)/m)/((-3)/6). Suppose 4*l = -5*y - 6, 5*y = -5*l - 4 - a. Solve 0 = 2*w - l + 5 for w.
-2
Let f = 2 + 1. Suppose 5*i - 22 = -0*u - 3*u, i - 2*u - 7 = 0. Solve 2*a - i = -f for a.
1
Suppose 0*v - v - s = -5, -14 = 2*v - 4*s. Let b(d) = -4*d + 6*d + 15*d. Let u be b(v). Solve