- k = t*h for h.
-3
Let p = -4 - -4. Suppose d - 6*d + 15 = p. Let s be ((-3)/d)/((-1)/4). Solve -s*c = -c + 15 for c.
-5
Suppose 5*b = -2*k - 19, 0 = -k - b + 1 - 3. Solve 0 = k*v + 2*v - 5 for v.
1
Suppose 6*q - 25 = q. Let o(c) = -c**3 + 4*c**2 + 3*c + 10. Let l = -4 - -9. Let x be o(l). Solve x = q*b - 2*b + 15 for b.
-5
Let u = 6 + -2. Suppose -2*z = -2 - u. Solve f + 0 = -z for f.
-3
Let k(c) = -6*c - 16. Let y be k(-3). Solve y*i = 7*i for i.
0
Suppose 4*a + s = -s + 16, -8 = -4*s. Let u(m) = -m - 6. Let o be u(-6). Suppose o = a*p + r - 4, p - 2*r = 2*r - 3. Solve -3*k + p - 16 = 0 for k.
-5
Let i(n) = n + 9. Let z be i(-10). Let w be 7 + 0 + -4 + z. Solve 3*r = r + w for r.
1
Let r(g) = 2*g + 10. Let x be r(-3). Solve -x = -m - 2 for m.
2
Suppose -3*z + z = 12. Let u(f) = f**3 + 6*f**2 - f. Let n be u(z). Solve n = 3*p - 0 for p.
2
Suppose 2*v + 0*v = -3*n + 4, 0 = -5*v - 3*n + 19. Suppose v = -w + 6. Solve 3*r = w + 14 for r.
5
Suppose 0 = -4*w + 5*o + 35, 2*w - 2 + 1 = -3*o. Let z(a) = -a**3 + 4*a**2 + 8*a - 3. Let j be z(w). Solve -8*g + 4*g = -j for g.
3
Let t(u) be the third derivative of -u**4/24 - 7*u**3/6 - u**2. Let j be t(-11). Solve -8 = j*h + 4 for h.
-3
Suppose a = -2*t + 7*t - 59, 3*a = -12. Let x(p) = -41*p + 3. Let m(z) = -14*z + 1. Let h(l) = t*m(l) - 4*x(l). Let o be h(1). Solve 4*g - 7*g - o = 0 for g.
-3
Suppose 0 = 2*z + z - 3*k - 36, 2*z - 5*k = 15. Let g(h) = -h - 1. Let i be g(-3). Let o = 4 + i. Solve 0 = w - o*w - z for w.
-3
Let j = 7 + -5. Let c(v) = v + 10. Let m be c(-8). Let h be 2 + (-2 + m - -1). Solve -t - j*t = -h for t.
1
Let p(m) be the first derivative of -m**3/6 + 7*m**2/2 - m - 1. Let a(t) be the first derivative of p(t). Let g be a(5). Solve g*l - 3 = -l for l.
1
Suppose -2*o = -t - 20, o - 24 = -o + 3*t. Let h = o + 0. Let v = 45 + -43. Solve 0 = -s - v*s - h for s.
-3
Suppose 4*k + 4 = 6*k. Solve k = 5*u - 18 for u.
4
Suppose 0 = -2*u + 10*u - 24. Solve u*d - 2 = -11 for d.
-3
Let z(q) = 2*q**2 + 3*q. Let g be z(-2). Let r = 4 - g. Solve r*j - 5*j = 9 for j.
-3
Let j(c) = 2*c**2 + 3*c + 2. Let k be j(-2). Let s = 6 - -9. Solve -m + s = k*m for m.
3
Suppose 0 = -0*b - 3*b - 3*h + 42, 53 = 4*b + 5*h. Solve -b + 2 = -3*i for i.
5
Let j be (-1)/(1 + 0) + 2. Let f = 4 + j. Solve 6 = -f*r - 9 for r.
-3
Suppose -d + 46 = d - 4*b, -3*d - 2*b + 53 = 0. Let t be d/7 - (-4)/14. Solve t*a - 4 = 2*a for a.
4
Let h be (-6)/21 + 4/14. Suppose 4*m - 7*m + 36 = 3*w, h = w + 4*m. Suppose 0 = -4*y - 0*y - 4*b + 36, 2*y + 4*b = w. Solve -i + y = i for i.
5
Let u be -12*(-1 - (-22)/8). Let s = -10 - u. Solve 3*p + s = 2 for p.
-3
Suppose 2*d - 4*y + 2 = 0, d + 0*d = -4*y - 1. Let t be ((-11)/22)/(d/14). Solve 3*z + 5 = -t for z.
-4
Let a = -62 + 66. Solve 3*i - 5 = a*i for i.
-5
Suppose 0 = -5*y - k + 19, 5*y - 5 - 13 = -2*k. Suppose -y*o - 37 = -5*m, -3*m = -2*m + o - 2. Solve m*l = -7 + 2 for l.
-1
Let q(h) = h**3 - 4*h**2 - 4*h - 5. Let p be q(5). Solve p*f = -3*f - 9 for f.
-3
Suppose 3*t + 2*k - 4 = 4*k, 2*k = 8. Let a be 2*((-18)/t)/(-3). Let h = a - 0. Solve 3 - 6 = -h*c for c.
1
Suppose 3*p + 11 = 50. Solve 0 = 4*w - p + 33 for w.
-5
Let p be (-10)/(-5)*1/1 - 2. Solve p*v + 5*v = 10 for v.
2
Let q = -3 - -6. Let n be 0 - (-3)/q*29. Solve -n + 9 = 4*s for s.
-5
Suppose -k + 25 = 4*k. Let u be 1 + k + -3 + 0. Solve u = h - 1 for h.
4
Suppose -d = 3*d + 12. Let q be (d/9)/(1/(-3)). Solve q - 3 = v for v.
-2
Suppose 10*u - 16 = 6*u. Solve u*s = -0 + 4 for s.
1
Let q be (1*(-3 - -3))/2. Solve q = d - 5*d + 20 for d.
5
Let s(a) = a**2 - 1. Let k be s(0). Let c = 4 + k. Solve -4*d = -7*d - c for d.
-1
Let a be ((42/35)/(-3))/(2/(-10)). Let z = 2 + -1. Solve -z + a = i for i.
1
Suppose -2*z + 5*w = -10, 2*w - 31 = -2*z - 7. Let x be (-5)/(z/(-4)) - 2. Suppose 3*p = -0*t + 2*t - 7, -1 = -t - p. Solve t*d = -x*d for d.
0
Let c(o) be the second derivative of -3*o**5/20 - o**2/2 - o. Let i be c(-1). Solve -4 - 2 = -i*z for z.
3
Suppose 4*i + 12 = 5*p - 3, -2*p + 6 = -2*i. Solve p*c = c for c.
0
Let w(r) = -7*r - 4. Let j be w(-3). Let i = -13 + j. Solve 0 = -0*a - i*a + 4 for a.
1
Let i be 1*(0/(-3) - 0). Suppose -2*o + 4 = 2*c, -4*c + 11 = o - i. Suppose c*a - 2*a - 5 = 0. Solve -3*m + 20 = a for m.
5
Let c(z) = -5*z**3 + 2*z + 3. Let k be c(-1). Solve -2*h + 0*h = -k for h.
3
Let r be (2/(-4))/((-4)/32). Solve -2*c - r = -2 for c.
-1
Let l = 55 - 37. Solve 3*c + 6 = l for c.
4
Let b be (-78)/(-21) - ((-2)/7)/1. Let n be (2 - -1) + -2 + 18. Solve -n = -3*o - b for o.
5
Suppose 0 = 5*h - 0*h - 2*x - 28, 0 = -4*h + 2*x + 24. Let o = -1 + h. Let d(f) = f - 1. Let r be d(o). Solve -2*p = r*p for p.
0
Let k = -12 + 28. Suppose k = -r - 2. Let s be (-6)/(-27) + (-50)/r. Solve z = s - 2 for z.
1
Let z be (-3 - -9) + 2/(-2). Suppose -z*g + 14 = -11. Suppose 0*u + u - g*a = 7, 5*u + 4*a = 6. Solve m = -u*m - 9 for m.
-3
Let m be 2/1 - (4 - 2). Let f = 0 + m. Suppose -3*a - a = f. Solve -x + 7 - 3 = a for x.
4
Suppose 5*j + 4 = 7*j, -17 = -3*y - 4*j. Solve f - y = 1 for f.
4
Let l be (-34)/(-6) - 2/3. Suppose 5*i + 0*i = 20. Suppose 5*z - t + 3*t = 45, 3*z - 41 = -i*t. Solve 0 = -3*n - z - l for n.
-4
Let z be (2/4)/(3/(-12)). Let r be z*(5/2)/(-1). Suppose 3*b = b - u + 2, 0 = 2*b - u - 2. Solve b = -r*s - 4 for s.
-1
Suppose -5*i - 1 = -26. Solve 3*u + 2 = i for u.
1
Let s = 31 + -25. Solve k = s*k - 5 for k.
1
Let v be 1/(-3) - (-40)/(-15). Let k = 3 - v. Solve -h + k*h = 20 for h.
4
Let p be ((315/(-10))/7)/((-1)/2). Solve 0 = 3*t - p for t.
3
Let j(s) = s + 2. Let g be j(-11). Let d = 9 + g. Solve -2*r - 3*r - 15 = d for r.
-3
Let s(p) = -3*p + 1. Let t be s(-1). Solve -t*m + 0*m = 0 for m.
0
Suppose 8 - 4 = 2*f. Solve 2*j + f*j = 0 for j.
0
Suppose -4*y = -0*y + 5*o - 33, 0 = -2*y + 3*o + 11. Suppose -3*g = -y*g - 4*q + 64, -5*g + 79 = 4*q. Solve g = -2*z + 7*z for z.
3
Let x = -8 + 10. Suppose 0 = 3*o - 2*a - 0*a - 30, 0 = -o - 2*a + 2. Suppose y = 3*y - 4*c - 22, x*c = -o. Solve 5 + 1 = y*u for u.
2
Let i(k) = k - 11. Let d be i(12). Suppose 3*g - 2*f - d + 30 = 0, -3*g + 3*f - 30 = 0. Let s be 2 - (-6 - g/3). Solve 0 = s*h - 5 for h.
1
Let d(n) = n + 4. Let q be d(5). Let u be (-3)/q + (-13)/(-3). Solve x = u*x for x.
0
Let j(p) = 3 + 12*p - 2*p - p**2 - 5*p**3 + 2*p**3 - 6*p. Let d be j(-2). Solve -d = 2*k + k for k.
-5
Suppose 8 = 3*y + 2. Suppose -y*m - 21 = -5*j, 0*m = -5*j + 4*m + 17. Let q = -3 + j. Solve -f + 0*f + q = 0 for f.
2
Let m(a) = -a**2 - 9*a + 3. Let n be m(-9). Let t be (-2)/1 + (-3)/n. Let g be 42/9 + 2/t. Solve g + 0 = -4*z for z.
-1
Let i(w) = -w**2 - 6*w + 6. Let p be i(-7). Let n = p - -5. Solve 0*b = -n*b for b.
0
Suppose -d + 4 = 0, -2*p + 7 + 31 = 3*d. Solve -1 = -3*x - p for x.
-4
Suppose 5*h - 11 + 1 = 0. Solve 2*j + h*j = 12 for j.
3
Suppose 0 = -2*j - 1 + 7. Suppose 4*x + 5*t = 27, -2*t = -2*x - j*t + 15. Solve r = -r - x for r.
-4
Let b(d) = -d**2 + d - 76. Let o be b(0). Let c be 15/(-25) - o/10. Solve 4*x + c = -13 for x.
-5
Let n = 38 + -20. Suppose 2*c = -4*u + n, -2*u + 9 = 3*u - 2*c. Solve 8*k - u*k = 20 for k.
4
Let r = -18 - -23. Solve -r*w - 33 + 8 = 0 for w.
-5
Suppose 4*a - 3*a = 0. Suppose -o + v = a, o + 4 = 5*v - 2*v. Solve -4 = -t - o for t.
2
Suppose 4 = s + 2. Let q be -1 - s - -2 - -7. Solve q*i = i + 25 for i.
5
Let g = 11 + -10. Let z be ((-1)/(-4))/(g/8). Solve 2*s - z = 6 for s.
4
Suppose 6*h - 20 = 2*h. Suppose -2*l - 2 - 10 = 0. Let q be 0 + 0 + 7 + l. Solve -h + q = a for a.
-4
Let n be (-3)/(1 - (-34)/(-28)). Let j = 20 - n. Solve -2*l + j = l for l.
2
Let f(s) = -s + 5. Let p be -6*-3*(-1)/(-6). Let a be f(p). Solve 7 = 5*g + a for g.
1
Suppose -3*p - i + 70 = 0, -6*p = -5*p + 5*i - 42. Solve 7 = 3*k + p for k.
-5
Suppose 0 = 4*a + 8 - 16. Solve -7 = a*c + 3 for c.
-5
Let n = -15 - -1. Let o = -4 - n. Solve -2*c = -2 + o for c.
-4
Suppose y + 0*y - 23 = 5*j, -y - 17 = 5*j. Solve -y*p - 25 = 2*p for p.
-5
Let i(d) = -d**3 - 14*d**2 + 6. Let h be i(-14). Suppose 3*a + 5*x = 0, -32 = -h*a + 2*a + 4*x. Solve 2*t + 1 = a for t.
2
Let j(c) be the second derivative of -9/2*c**2 - 1/3*c**3 - 2*c + 0. Let y be j(-7). Solve y*q - 1 - 9 = 0 for q.
2
Let l be (-8)/(-6)*(-9)/6. Let z be l/8 - (-18)/8. Let w be (48/(-20) - -2) + 4/10. Solve 10 = z*o - w*o for o.
5
Let