-9*h + 14. Solve s = h*s for s.
0
Let a(t) = -t**3 + 10*t**2 + 10*t + 15. Let r be a(11). Let h(j) = -j + 4. Let u be h(r). Solve 2*d - 3*d + 5 = u for d.
5
Suppose 5*p = -b + 42 + 7, -2*b - 2 = 0. Suppose -6*i = -4*i - p. Suppose i*u = 23 + 17. Solve t + t = -u for t.
-4
Let i(s) = s**3 + 10*s**2 + 11*s + 12. Let o be i(-9). Let n = o + 10. Solve 0 = -n*v - v + 10 for v.
2
Suppose 4*m + 28 = 4*r, -r - 17 = -4*r + 2*m. Let w(o) = -o + 5. Let l be w(r). Solve -c + l = c for c.
1
Let i = -7 + -6. Let l = i + 21. Suppose 14 = 5*c - n + 4, c = -n + l. Solve 4*g - c*g = 0 for g.
0
Suppose 367 = -3*m + 385. Let v(p) = -p**3 + 6*p**2 - 7*p + 5. Let f be v(5). Let s be 25/2*(-4)/f. Solve -4*j - s = -m*j for j.
5
Let j be 0 - (0 + -3) - 3. Solve 5*l + 5 = -j for l.
-1
Suppose -17 = -3*m - 2. Solve -2*y + m*y = 12 for y.
4
Suppose 0 = -4*g + 2*t + 22, 4*g - 5*t = -0*t + 37. Solve -g*j + 12 = j for j.
3
Let q(v) = v**3 + 2*v**2 - 2*v - 1. Let m be q(-2). Suppose -4*a = -m*b + 23, -5*a = -2*b + b + 15. Solve -b*u + 2 = -3 for u.
1
Let h(q) = -q + 3. Let m be h(3). Suppose m = -2*u + u. Let s be 3/9*(-18)/(-1). Solve u = -s*t + 2*t - 20 for t.
-5
Let b = -2 + 3. Let q be 138/24 - 2/(-8) - 3. Solve q*j - b = 5 for j.
2
Suppose 4*o - 3*n + 20 = 2*n, -5*o + 3*n = 12. Let k = 2 + -4. Let m = 5 + k. Solve o = -3*i + 2*i + m for i.
3
Let a(n) = -n - 1. Let d be a(-3). Suppose 4*t = d*t. Suppose t = -x - 4*b - 17, -3*x + b + 3*b = -29. Solve 8*r = x*r for r.
0
Let l be 0*(0 - (-3 + 2)). Suppose l*r = 3*r - 6. Let g(q) = 3*q - 3. Let u be g(r). Solve -u*d - 25 = 2*d for d.
-5
Let y = -4 + 19. Solve x + y = 4*x for x.
5
Let d(c) = c**2 - 10*c - 11. Let m be d(11). Let y = 0 - m. Solve i + y*i = 0 for i.
0
Let s(x) = -2*x + 10 + x**2 + 6*x - 4. Let y be s(-4). Solve -2*r - y = -14 for r.
4
Let q be (-3)/(15/8*5/(-25)). Solve 7*l - 3*l - q = 0 for l.
2
Let h(r) = -r - 13. Let z be h(-13). Solve 3*m + m + 20 = z for m.
-5
Let h = -6 + 6. Suppose h = 7*n - 5*n - 8. Solve -t = -n - 0 for t.
4
Let r = 7 - 6. Let w be (r - 2/10)*5. Solve -8 = 6*y - w*y for y.
-4
Let q = 9 - 5. Let z(l) = 8*l**3 + l**2 - l + 1. Let k be z(1). Solve b = q*b + k for b.
-3
Suppose 4*s - s = 6. Solve i + i + s = 0 for i.
-1
Suppose 0 = 4*k - 34 + 22. Solve k*c - 5 = 1 for c.
2
Let x(a) be the third derivative of -a**6/120 + a**5/10 + a**4/24 - a**3/6 - 2*a**2. Let b be x(6). Solve r = b*r - 20 for r.
5
Let o be (0/(-1))/(-8 + 9). Solve z = -o*z for z.
0
Suppose -6 = 2*k - 4*k. Solve -6*u = -k*u + 15 for u.
-5
Let v be ((-3)/(-2) - -1)*16/5. Solve -5*n = -7 - v for n.
3
Suppose 3*f - 19 = 5*n - 7*n, -5*f = -25. Solve 2*c + n*c - 20 = 0 for c.
5
Let t = 26 - 14. Let g = -5 + t. Suppose -4*a + 1 = -g. Solve a*w = -0 - 2 for w.
-1
Let h(n) = -n**3 - 19*n**2 - 17*n + 20. Let o be h(-18). Solve -4*x + o*x + 10 = 0 for x.
5
Let d(u) = 3*u**2 + 3*u + 1. Let c be d(-2). Let z(s) = -3*s + 10. Let g(f) = 2*f - 7. Let b(n) = c*g(n) + 5*z(n). Let j be b(0). Solve -3*h + j = -5 for h.
2
Let i(u) = -u**3 - 16*u**2 + 16*u - 15. Let s be i(-17). Let d be 6*(-8)/(-4) - s. Suppose -2*t - 10 = -5*o + 6, t + o - 6 = 0. Solve t*m = -0*m - d for m.
-5
Let x = 19 + -19. Solve x = j - 3 - 2 for j.
5
Let x be (-18)/(-81) - 68/(-18). Solve x*u - 3 = 9 for u.
3
Let t(q) = 2*q**2 + q. Let l(n) = n**2 - 12*n - 12. Let s be l(13). Let z be t(s). Solve z*r = -r for r.
0
Let d be ((-5)/(5/(-6)))/1. Let b = -2 + d. Solve b*j - j = -15 for j.
-5
Suppose c + 30 = 6*c. Let z be c/4 + (-3)/6. Let n = 0 + z. Solve k - 2 = n for k.
3
Let n(s) be the first derivative of s**3/3 + s**2/2 + s + 5. Let u be n(-2). Solve 0*p = -u*p - 6 for p.
-2
Let b be (-3)/(-9)*-2 - (-5)/3. Solve -3*i + b + 5 = 0 for i.
2
Let h(q) = q + 4. Let t be h(-4). Let u be t + 0/(-3) + 20. Solve -4*b + 0 = -u for b.
5
Let b be 76/6 - 2/3. Suppose -s + 3*s = b. Suppose s*c - c - 15 = 0. Solve -c = 3*w - 0 for w.
-1
Suppose 12 = -3*o - 2*d, 3*d + 27 = -2*o + 8*d. Let h = o + 8. Suppose 0 = -x + 1, -z + h*x + 1 = 0. Solve v - 4 = -z*v for v.
1
Let j(v) = v**2 + v + 15. Let h be j(0). Let i be (4/(-3))/((-4)/6). Solve d = -i*d + h for d.
5
Let r = 1 + 2. Solve -3*f - r = -0*f for f.
-1
Let d be 4*(4 + -3) - 1. Solve 5 = d*z - 2*z for z.
5
Let h(x) = x**2 + 2*x - 2. Let c = -9 - -6. Let d be h(c). Solve -3 = i + d for i.
-4
Let j be (0 + 2/6)*-6. Let o be -8*j/4 + -3. Suppose 0*c + o = c. Solve 8 = -3*u - c for u.
-3
Let s = 34 + -10. Suppose -5*c - b = -25, -4*c + 5 = -b - s. Suppose c*g = g. Solve -4*y = -g*y for y.
0
Let p(a) = a**3 - 3*a**2 + 3*a - 2. Let d be p(3). Let g be (1 + -2)*2 + 8. Suppose -t + 4*t - g = 0. Solve 25 = d*w - t*w for w.
5
Suppose -y + 3*y + 20 = -4*t, -4*t + 10 = -3*y. Let j be (3 + 5)*(-3)/y. Solve -j*r = -2*r - 8 for r.
4
Let j(n) = n**3 - 5*n**2 + 2*n - 6. Let s be j(5). Suppose 2*m = 4*u + 5 + 15, -u = 2*m. Solve -m*d + s*d = 0 for d.
0
Let n(v) be the first derivative of -v**2 - v - 4. Let w be n(3). Let f = w - -8. Solve -4*i = -9 + f for i.
2
Let b = 21 - 15. Let t(i) = -i**3 + 7*i**2 - 5*i - 4. Let u be t(b). Solve 1 + u = c for c.
3
Let p = 3 + 1. Solve y = 3*y - p for y.
2
Let b = 6 - -3. Let m(h) = h + 4. Let z(n) = n + 7. Let r be z(-7). Let w be m(r). Solve -b + 1 = w*a for a.
-2
Suppose 4*i - 6 = 3*i. Solve s - i = -s for s.
3
Suppose m - m = -2*m. Solve -2 = q - m*q for q.
-2
Suppose 3*o - 5 = -0*q + 4*q, 2*o = -q + 18. Solve 0 = -3*v + o*v + 8 for v.
-2
Let s be 0 + (1 + 7 - 0). Let o = s + -5. Solve -2*c - o*c = -20 for c.
4
Let u be 4 + 0/(7 - 4). Let k = 1 - -3. Suppose -2*x = -k*x - u*r + 8, 5*x + r = 2. Solve j + x*j - 4 = 0 for j.
4
Let h(t) = 2*t - 9. Let c be h(6). Suppose -3*x - 15 = -5*s + 4, -c*s + 15 = 0. Let z be 40/(-8) + 11/1. Solve x*i + z = -0*i for i.
-3
Let m(n) = 12*n**3 + n**2 - n. Let g be m(1). Let l be (-27)/g - (-2)/8. Let j be (-33)/(-6) + l/4. Solve 4*b - 3 = j*b for b.
-3
Let c = 15 + -10. Solve 0 = -c*u - 1 - 4 for u.
-1
Let k(d) = d + 8. Let c be k(2). Solve 13*x - c = 11*x for x.
5
Suppose 0*g - 8 = -2*g. Suppose -3*i + 3*d - 8*d + 16 = 0, i + g = -4*d. Suppose q = i - 0. Solve -q = 5*w + 8 for w.
-4
Suppose -v - 5*c = 5, 2*v - 7*v - 2*c - 2 = 0. Solve -b + 1 - 6 = v for b.
-5
Let s(p) = 8*p**2 + 4*p + 3. Let h be s(-1). Solve -16 + h = -3*z for z.
3
Suppose j + 4 = 19. Solve p + 2*p + j = 0 for p.
-5
Let d(l) = -3*l - 11. Let v be d(-11). Solve 4*t + 2 = v for t.
5
Let g = -75 + 78. Let k = 4 + -2. Solve g + k = i for i.
5
Let f be 3 - 2/(0 - 2). Suppose 2*z + f = 3*z. Solve z*i = 14 + 2 for i.
4
Suppose 0 = -4*n + 3*n + 2. Solve -s = n*s for s.
0
Suppose i + 2*t = 0, 19 - 59 = 3*i - 4*t. Let c be -4 - i/1 - 4. Solve c = -3*x - 2*x + 20 for x.
4
Suppose 0 = -5*l + 2*f + 18 + 13, f + 28 = 5*l. Solve -2 = l*w - 7 for w.
1
Let r = -3 - -6. Let o(c) be the second derivative of c**5/20 - c**4/3 + 2*c**3/3 - 3*c**2/2 + 15*c. Let a be o(r). Solve a = 4*b - 3*b - 3 for b.
3
Suppose 2*v = -d - 6, d = -4*v - 10 - 4. Let u = 5 - -2. Let q be 2*(-20)/(-6)*3. Solve d*h = u*h - q for h.
4
Let g = 3 - 0. Let j be ((-39)/(-9) - g)*6. Suppose j = 10*a - 6*a. Solve -a*z = z for z.
0
Let g(m) be the second derivative of -m**3/6 + m**2 + m. Let n be g(0). Solve s - n = 3 for s.
5
Let h(x) = -2*x - 4. Let g be h(-3). Suppose g*k - k + 6 = 0. Let y be (k/9)/(3/(-18)). Solve -2*l + 4*l = -y for l.
-2
Suppose -1 = -b + i, -3*i = -b - 3*b + 2. Let q = b + 1. Suppose w + f = 1, -18 + 48 = 2*w - 5*f. Solve q = h + w for h.
-5
Let u be 2 - 2/(-4)*10/(-5). Solve 0 = 3*k - 4*k - u for k.
-1
Suppose -2*t - 3 = m, 5*m + t = -t + 17. Solve -m*a = -5 - 0 for a.
1
Let g(w) = -w**3 + 5*w**2 + 7*w + 4. Let d be g(6). Suppose 4*y - 3 = -3*v - 7, -4*y - 8 = 2*v. Solve v*n - d = 2 for n.
3
Let t = -12 - -14. Solve -5*y = -t*y for y.
0
Let y be 4/10 + (-96)/(-10). Solve -2 = 4*q + y for q.
-3
Let d = 8 + -5. Solve -2*b + 5 = -d*b for b.
-5
Let b(d) = -d. Let c be b(-10). Let w = c - 5. Solve 0 = -3*h + 17 - w for h.
4
Let j(b) = -b**2 + 29*b + 5. Let o be j(29). Solve -9 = t - o for t.
-4
Let y be 2/4 - 217/(-14). Let p be y/20*5/2. Suppose 0 = -5*q - 2*l - 0*l - p, 2*q + 5*l + 5 = 0. Solve 6 = -2*b - q*b for b.
-3
Let n be 26/10 + 2/5. Let f(r) = -r**2 + 6*r + 2. Let j be f(6). Suppose n*x - 25 = -j*x. Solve -2*o + x = -3 for