7/(7/2). Let d be j*(0 + 3/(-6)). Solve 2*b = d + 1 for b.
1
Let d = 6 - 2. Solve d*v - 15 = v for v.
5
Let p be 16/3 + (-1)/3. Suppose -4*y + l - p*l + 8 = 0, -2 = 2*y + 5*l. Suppose 0 = -o + 6 - 1. Solve 5*v = y*v + o for v.
5
Let d(c) = -c**2 + 8*c. Let t be d(6). Let o(k) = -3*k - 5. Let z(a) = -4*a - 7. Let u(v) = -7*o(v) + 5*z(v). Let n be u(5). Solve -t = n*q + 8 for q.
-4
Let v(n) = n**3 + 5*n**2 - 5*n + 8. Let k be v(-6). Suppose k*y + 5*s = -19, 0 = -3*y + 3*s + 21 + 3. Solve y - 7 = -u for u.
4
Let m(v) = v**3 + 6*v**2 - 9. Suppose -2*p - 5*r - 8 + 3 = 0, -4*p + 5*r - 25 = 0. Let i be m(p). Solve -5*d + d + i = 0 for d.
4
Let p(g) = -g - 6. Suppose -3*q + 8*q - 100 = 0. Suppose -5*o = 5*b + 45, -4*b + b + 4*o - q = 0. Let x be p(b). Solve -2 = x*r - 0 for r.
-1
Suppose 3*g - 3 = 0, -2*r - 2 = -3*g - 1. Solve -c - r = -5 for c.
4
Let j = 12 + -6. Suppose 3*n - 6*n = -j. Solve -n = 4*s + 18 for s.
-5
Let s be (1/(-4))/((-2)/8). Solve s = d - 0 for d.
1
Let u = 8 + -8. Suppose 3*d - 4 + 1 = u. Solve d = -s - 0*s for s.
-1
Suppose 0*h = -3*h + 3*t + 57, 4*t + 1 = -h. Solve -2*m = m - h for m.
5
Suppose -3*x + 22 = 4. Solve 0 = r + 2 - x for r.
4
Let c be (-3)/(-1) - (-1 - -2). Suppose 2*d - 3*p + 6 = -0*p, c*d + p = 10. Solve s = d*s for s.
0
Let v be 20/11 + 4/22. Let k(f) = f**3 - 2*f**2 + f. Let r be k(v). Solve 0 = r*x + x - 12 for x.
4
Suppose -5*d - 16 = -9*d. Solve -20 = -d*b - 4 for b.
4
Suppose 3*h - 2*r - 218 = 0, -5*r - 98 = -4*h + 202. Let y be (12/10)/(28/h). Solve 0 = -k + y*k - 10 for k.
5
Let v be 4/(-2) - 21/(-7). Suppose 0*r - r = -5. Let i = r + v. Solve -b = b + i for b.
-3
Let i be (-3)/2*4/6. Let f be 0/4*i/(-2). Solve f*c = 2*c for c.
0
Let r(t) = t**2 - 4*t - 6. Let q be r(-4). Suppose 2*z = 3*n - 6, -z - z = 5*n - q. Suppose -4*f + 4 = -2*d, 0 = 5*f - z*d - 4. Solve 5 = s + f for s.
3
Let p(o) = -o - 1. Let c be p(-1). Suppose -24*a + 132 - 36 = 0. Let y be 2*(3/(-2))/(-1). Solve c = -a*x + y*x for x.
0
Suppose -v - 2*m = 0, 4*v - 24 = -m + 5*m. Let d be v/16 - 7/(-4). Solve -d*z - z = 0 for z.
0
Suppose 0 = 4*h - 3 - 1. Let a be h - (-21)/(1 - 0). Solve 0 = 5*g + a + 3 for g.
-5
Suppose -4*i - 27 = -3*d, 2*i - 20 = -d + 7*i. Let o(g) = g. Let j be o(1). Solve d*w + 9 = -j for w.
-2
Suppose 2*a + 0*a = -2. Let m be a/4 + 34/8. Let f = -1 + m. Solve -q = -f*q for q.
0
Let i = -7 + 11. Suppose 5*j + 55 = -5*p, 2*j - i*p = 4*j + 16. Let t be 0 - (j/2 + 1). Solve -m - 5 = -t*m for m.
1
Let k = 0 - -2. Let f(u) = 7*u - 1. Let n(j) = 6*j. Let g(r) = 5*f(r) - 6*n(r). Let t be g(-5). Solve t = 7*m - k*m + 10 for m.
-2
Suppose -2*g = 3*q - 5, -3*g - 25 = q - 3*q. Let v(k) = k + 7. Let c be v(g). Solve 0 = 4*b - 2*b - c for b.
1
Let q(f) be the second derivative of f**4/3 - f**2/2 - 2*f. Let s be q(1). Solve -s*r + 5 = 2*r for r.
1
Let s(x) = x - 1. Let k be s(7). Let q = -3 + k. Solve 0 = q*v - 0 + 6 for v.
-2
Suppose -4*h + 2 = -26. Suppose 0*r + 2*r + 5*z = 7, r - z - h = 0. Solve -3 = -3*g + r for g.
3
Let n be (12/8)/(6/(-8)). Let z(c) = -1 - 3*c - 2 + 2. Let d be z(n). Solve -3*h + d = -10 for h.
5
Let s(o) = -o**2 - 8*o + 12. Let r be s(-10). Let c(f) = -f**2 - 8*f + 2. Let m be c(r). Suppose -d = -m*d + 3. Solve 22 + d = -5*v for v.
-5
Let o be 2/10 + (-2)/10. Solve 3*c - c = o for c.
0
Let n(j) = -j + 2. Let f be n(-3). Suppose 3*v + 33 = -f*b, v - 11 = b + b. Let u be 1/2*(2 - b). Solve g - 1 = u for g.
5
Let i be 0*1/(-5) - 0. Solve i = y - 1 for y.
1
Let j(u) = -u**2 + 6*u + 4. Let r be j(6). Solve 0 = -4*q - r - 0 for q.
-1
Let g = 14 + -9. Solve -g*i + 7 - 22 = 0 for i.
-3
Let r(f) = f**2 - 10*f - 22. Let u be r(12). Solve 0 = u*y - 0*y - 4 for y.
2
Let v be (-1 + 4)/3*15. Solve -2*b = -5*b - v for b.
-5
Suppose 0 = -4*a - 30 - 22. Let o(b) = -b**2 - 14*b - 11. Let u be o(a). Solve -u*v - 3 = -7 for v.
2
Let m(t) = t**3 - 3*t**2 + t + 3. Let w be m(2). Solve 2*l = l + w for l.
1
Let i(b) = b**2 - 4. Let o be -2 + 4 + (7 - 6). Let m be i(o). Solve -u = -m*u - 20 for u.
-5
Let u be ((-2)/4)/((-2)/4). Let m(j) = 4*j**2 - 1. Let r be m(u). Solve r*h - 2 = -5 for h.
-1
Suppose 2*a - 20 = -10. Solve -1 - 14 = -a*v for v.
3
Let h = 59 - 59. Solve -4 + h = f for f.
-4
Suppose -6*x + 18 = -6. Let b = x + 3. Let t = -4 - -6. Solve b*z = t*z for z.
0
Let q be (-20)/8*8/(-5). Suppose -q*h + 18 = -18. Solve -11 = -5*r + h for r.
4
Let k = 7 + -5. Suppose 0 = 5*z - 5, 3*z = -j - z - 21. Let w = -17 - j. Solve k*t = w + 2 for t.
5
Let r(m) = 2*m - 10. Let u(v) = v**3 + 13*v**2 - 15*v - 8. Let t be u(-14). Let h be r(t). Solve 6 = -h*f - 0 for f.
-3
Let i = -1 + 4. Let h = 7 + -5. Suppose 3*c = -h*c. Solve -2*z - 3 - i = c for z.
-3
Suppose -2*a = -4*a + 6. Suppose a*p - 13 = 8. Suppose v - 6*v = 2*s - p, -5*v + 5*s + 35 = 0. Solve v*c = 8*c for c.
0
Suppose 4*a - 63 = -23. Let n(t) = -2*t**2 - 1 + 0*t**2 + 0*t**2 + 3*t**2. Let j be n(-2). Solve j*z = z + a for z.
5
Suppose -8*a = -5*a - 12. Let b = -7 + 10. Suppose -5*c + 2 = k - 18, b*c - 30 = 3*k. Solve -a*u - c = u for u.
-1
Let o = 43 - 31. Let c be ((-2)/3)/(1/(-6)). Solve -c*h + o = -0*h for h.
3
Suppose 4*z = b - 14, -4*z - 8 = -b + 3*b. Solve -2*v + 0 + b = 0 for v.
1
Let w(r) = r**3 + 5*r**2 - 2*r + 1. Suppose -2*p + 1 = 5, -2*u + 4*p = 0. Let v be w(u). Suppose -6*m = -m - v. Solve -3 + m = -j for j.
-2
Let m(h) = -h**2 + 6*h + 1. Let j be m(6). Let f(o) = 2*o + 2. Let y be f(4). Let q = -3 + y. Solve 4*v - q = j for v.
2
Suppose 4*w - 4*c = 20, 0 = 3*w - 7*c + 3*c - 10. Suppose -2*s - 1 + 7 = 0. Solve 0 = -s*n + n + w for n.
5
Suppose 3 + 6 = -3*a. Let p = a + 6. Solve 16 = p*m + m for m.
4
Let z be 1 + -2 - (1 + 1). Let u be 4/3 + (-2)/z. Solve 3*g + 5 = u*g for g.
-5
Suppose -3*b = -2*h - 32, -10*b + 3*h + 52 = -5*b. Solve b = 6*s - 2*s for s.
2
Let o(u) = u**3 + 4*u**2 - 4*u + 7. Let r be o(-5). Let t be (8/(-6))/(r/15). Let l = -7 - t. Solve 0 = -b - l for b.
-3
Let v(y) = -y**3 + 14*y**2 + 14*y + 18. Let p be v(15). Solve 11 = 2*u + p for u.
4
Suppose -5 = o - 5*m, 0 - 2 = 4*o - 2*m. Let n(h) = h**3 + 4*h**2 - 4*h + 7. Let b be n(-5). Solve o = r - b*r for r.
0
Suppose -z - 2*z - 18 = -2*w, 3*w = -4*z - 7. Solve -1 = -c + w for c.
4
Let b(s) be the third derivative of -s**6/120 + 2*s**5/15 + s**4/24 - 4*s**3/3 + 2*s**2. Let h be b(8). Solve 0 = -h*i + 2*i for i.
0
Let y(g) be the second derivative of 0 + 3*g + 1/3*g**4 - 2/3*g**3 + 1/2*g**2. Let f be y(3). Solve -x - f = -6*x for x.
5
Let t = -5 + 3. Let b be t*(3 + -2) + 8. Let q = 10 - 6. Solve 0 = -b*d + q*d for d.
0
Let k(y) = -5*y**3 - 16*y**2 + 2*y - 14. Let h(i) = -14*i**3 - 47*i**2 + 6*i - 42. Let m(f) = 6*h(f) - 17*k(f). Let j be m(10). Solve j*n + 4 = 5*n for n.
-4
Suppose 5*u + 39 = 2*y, -25 = -2*y + u - 6. Let f(t) = t - 2. Let s be f(y). Solve s*g + 8 = 3 for g.
-1
Let f be (-1)/((-14)/20 + 1/5). Solve 0 = f*r - 5*r for r.
0
Suppose -8 - 6 = -2*g. Suppose -j - 4*c = -g*c - 7, 3*j = -4*c + 8. Solve -j*y - 5 = 15 for y.
-5
Let l = 189 + -185. Solve 6*g = l*g - 6 for g.
-3
Suppose -4*c + 11 + 25 = 0. Let k = 12 - c. Solve k*y = 7*y - 12 for y.
3
Let o be (-3)/(60/8)*-10. Solve -r - r = -o for r.
2
Suppose 0 = x + 5, 3*x = 3*s + x - 19. Solve 2*r + s = -3 for r.
-3
Let w(d) = 2 + 2*d - 15*d + 2*d - d**2. Let j be w(-11). Solve o - j + 1 = 0 for o.
1
Let l = 24 - 21. Solve -1 = 2*k + l for k.
-2
Let i be -1 - (-1 - (2 + -2)). Let g(v) = -v**3 + 6*v**2 - 4*v + 3. Let b be g(5). Suppose -6*y + b = -4*y. Solve i = 2*u - 10 + y for u.
3
Let b(h) be the third derivative of -h**5/60 + 7*h**4/12 + 17*h**3/6 - 6*h**2. Let o be b(15). Solve o*z = 10 - 0 for z.
5
Suppose -21 = 8*r - 15*r. Solve -o = -7 + r for o.
4
Suppose 7*q = 11*q. Suppose q = -7*p + 4*p. Solve -5*f - 1 + 16 = p for f.
3
Let k = -35 + 31. Let m be 4 - ((-12)/k + -2). Suppose 0 = -p - 2*b - 6, 0 = 5*p + 5*b + 14 + 1. Solve p = d - m*d for d.
0
Let n be (-7)/21*(6 + 0). Let u be (6/8)/(n/(-72)). Let m be 168/u - (-2)/(-9). Solve 4*l - 2*l - m = 0 for l.
3
Suppose 2*d = -3*d + 15. Suppose -3*v + 3 = -d. Solve -1 = -v*s - 3 for s.
-1
Suppose -4*s + 3*p + 62 = -35, 2*s = -4*p + 76. Suppose k + 3 - s = 0. Solve 0 = 5*b - 0 - k for b.
5
Let l(o) = -o**2 + 5*o + 52. Let b be l(10). Let k(w) = -w**3 - 3*w**2 + 4*w + 2. Let v be k(-4). Solve t 