 Solve -h*k - 10 = 3*k for k.
-2
Suppose 4*h + 24 = 10*h. Solve 0 = -9*c + h*c for c.
0
Let y = -21 - -15. Let v = 6 + y. Solve -5*o + 5 = -v for o.
1
Let p = -2 - -1. Let c = -47 + 49. Let i be ((-2 - p) + c)*2. Solve i*r - 6*r = 0 for r.
0
Suppose y = -0*y + 5. Let l be -3 - (3 + -2)*-1. Let h be 0 + ((-52)/2)/l. Solve -7 - h = -y*o for o.
4
Let l(d) = -d**2 - 10*d - 17. Let y be l(-7). Suppose -p = -y*p + 6. Solve 0 = -p*a - 0 + 4 for a.
2
Let d be -1 - ((-5 - -2) + -16). Suppose -15 = -3*w + d. Solve -4*p = w - 31 for p.
5
Suppose 3*q - 4*u = -2*q + 38, 3*q = 2*u + 24. Suppose 2*m = -8, 5*c + 2*m + 37 = -1. Let t = q + c. Solve -8 = t*a + 8 for a.
-4
Suppose 2*k = 10, -3*m + 4*k - 2 = 9. Suppose -u = -3*a - 1, -5*u + 2*a + 85 = 3*a. Suppose u = -0*t + t. Solve -7*w + m*w = -t for w.
4
Let j(l) = 2*l + 6. Let q be j(-3). Solve -3*p - 2*p = q for p.
0
Suppose 3*j - 9 = -3*u, -4*u - 3*j = -0*j - 12. Suppose -r - 4*x = 0, r = -3*r + u*x. Solve r + 4 = -2*w for w.
-2
Let x = -66 + 68. Solve 0 = -x*a - 3*a for a.
0
Let g be 20/6*24/10. Let k = g + -18. Let p(j) = -j**2 - 11*j - 8. Let y be p(k). Solve 2*d + y = -6 for d.
-4
Let v be 10/2 + (-3)/3. Suppose 4 - 20 = -v*h. Solve h*q = -0 - 12 for q.
-3
Let j = -3 + 6. Let b(n) = -n**3 + 4*n + 2. Let v be b(-2). Solve v = -g + j for g.
1
Let j = 0 + 2. Solve j = -2*s - 0 for s.
-1
Let u(x) be the first derivative of -x**3/3 - 9*x**2/2 - 5*x + 2. Let r be u(-8). Solve 0 = r*s - 14 + 5 for s.
3
Let p(m) = m**3 - 6*m**2 - 6*m - 5. Let t be p(7). Suppose 0 = -3*u, t*a + 3*a - 3*u - 15 = 0. Solve -2*r + 1 = -a*r for r.
-1
Let z = -3 - -6. Let u = 4 - 2. Suppose u*m - 28 = 2. Solve m = -8*g + z*g for g.
-3
Let x = 6 - 8. Let r be (2/2)/(3 + x). Solve 3*b = 11 + r for b.
4
Let x(s) be the first derivative of s**4/4 + 4*s**3/3 + 3*s - 2. Let w be x(-4). Solve w*j = 2*j - 2 for j.
-2
Suppose 4*a - 24 = 2*x - 6*x, 5*a = x + 12. Solve -a*b + 4 = 19 for b.
-5
Suppose -9*n = -15 - 12. Solve 20 = -n*h - h for h.
-5
Suppose 9 = -2*d + 5*d. Solve -2 = -s + d for s.
5
Let i = 1 + 2. Suppose 0*p - i*p = 0. Solve 2*s + 10 + 0 = p for s.
-5
Let l be (1 - 2)/(8/(-328)). Suppose -6*t = -l + 5. Solve t*j + 25 = j for j.
-5
Let y = 29 - 21. Suppose -2*j - 2*z = -y, 5*j = 2*j + 4*z - 16. Solve 4*h = -j*h - 4 for h.
-1
Let i = -5 + 10. Solve -i*r - 13 = -3 for r.
-2
Let f(u) = -u**2 + 2*u + 8. Let p be f(3). Solve -p*o - 21 = -1 for o.
-4
Suppose v - 2 = 2*d, -3*v + 4*d - 2 = -0*v. Let f = v - -7. Solve f = -5*w - 9 for w.
-2
Let c(a) = a**2 + 3*a + 3. Let o be c(-3). Let l(j) = -j**2 - j. Let s be l(0). Suppose -o*i + i = s. Solve -4*q - q = i for q.
0
Let q be 3 + 0 - (-3)/3. Suppose x + 2*b + 3*b = -2, -19 = -5*x + q*b. Solve -x*n = -0*n for n.
0
Let r = -44 + 65. Let j = 23 - r. Solve -x - j*x - 3 = 0 for x.
-1
Suppose -2*p = -4*x - 32, 3*p - 40 = -0*p + 2*x. Let j be 3/p + (-38)/(-8). Suppose 9 = j*q - 1. Solve -v - q = -3 for v.
1
Let n be (-48)/(-80)*(6 + -1). Solve -n*x + 0*x = 0 for x.
0
Suppose 18*a = 17*a + 4. Solve -3 = -a*g + 5*g for g.
-3
Let n(t) = -10*t**3 + 2*t**2 - t - 13. Let y(u) = -7*u**3 + u**2 - u - 9. Let i(p) = -5*n(p) + 7*y(p). Let o be i(4). Solve -4*l = -o - 6 for l.
4
Let l be ((-11)/(-33))/(2/12). Solve l*f + 4 = -4 for f.
-4
Suppose -2*r = j - 12, 4*r + 18 = 3*j + 62. Solve 0*y = -4*y + r for y.
2
Let b = 1 + 0. Suppose 0 = s - 4 - b. Solve -3*d = -s*d - 2 for d.
-1
Suppose 0 = -3*c + c + 40. Suppose 6*w = 2*w + c. Solve 2*u = w*u for u.
0
Suppose u - 5*o = 3*u - 20, -4*u + o = 4. Solve -5*v = -u*v + 25 for v.
-5
Let v be 3*1 + -1 + 0. Solve 4 = -v*j + 14 for j.
5
Let j be (-1 - 7)*20/8. Let y be j/6*30/(-25). Suppose 6 + y = 2*k. Solve -m = -k*m for m.
0
Suppose 149 = 27*i - 94. Let p be 2 + (2 - 2) + 2. Solve i = 7*s - p*s for s.
3
Let j = -19 + 29. Solve -4*r - 2 - j = 0 for r.
-3
Let v(l) = 3*l + 17. Let a be v(-5). Solve -a*o = 4 - 14 for o.
5
Let l be (-2)/(-8) + (-76)/(-16). Let j = l + -3. Suppose 0 = 3*q - 0*q - 21. Solve 15 = q*x - j*x for x.
3
Let v be (-18)/(-63) - (-12)/7. Solve v*g - 15 = -g for g.
5
Let m(t) be the first derivative of -t**3/3 + 13*t**2/2 + 16*t + 6. Let x be m(14). Solve -10 = 4*g - x*g for g.
-5
Suppose 0 = -2*j + 3*f + 9, 2*j + 2*f = -j - 19. Let a be (3/(-6))/(j/6). Let x = -3 + 5. Solve x*g - a = -3 for g.
-1
Let y(d) = d**2 - 9*d + 13. Let z be y(8). Solve r - 20 = z*r for r.
-5
Suppose -2*h + 3*b = 25, -4*h - 27 = -3*b + 8. Let f(m) be the first derivative of m**4/4 + 4*m**3/3 - 3*m**2 - 4. Let i be f(h). Solve i*u + 4 = -1 for u.
-1
Suppose 2*x = -2*x. Solve 3*m + 0*m = x for m.
0
Let r be (-80)/6*12/8. Let n = 20 + r. Solve n*g = 3*g for g.
0
Let y be (-6)/12*(-1 - 11). Let b be 14/y - (-2)/(-6). Solve 0 = -b*v + v for v.
0
Suppose 16*t = 12*t + 4. Solve -19 = -4*n + t for n.
5
Let b = 11 - 7. Let s(x) = -x**3 + x + 8. Let h be s(0). Suppose 2*f + 4 = h. Solve b*l + f = 22 for l.
5
Let b(s) = s - 1. Let k be b(-8). Let d = -11 - k. Let c(i) = 5*i**2 + 2*i - 1. Let q be c(d). Solve 6*z = z + q for z.
3
Let g(w) = w**2 + 6*w - 14. Let s be g(-8). Solve -4 = -2*h - s*h for h.
1
Let f(n) = n**3 - 3*n**2 + 2*n + 3. Let c be f(3). Let r = -7 + c. Solve -r = l - 4 for l.
2
Suppose -5*k + 3 = -12. Solve 0*c + 3*c = -k for c.
-1
Let u(h) = h**2 + h - 6. Let q be u(2). Solve q = -4*p - 6 - 6 for p.
-3
Let t(o) be the first derivative of 2*o - 1/3*o**3 - 3*o**2 + 1. Let g be t(-6). Solve -5*s = -4*s + g for s.
-2
Let j be -3 + (-1 - 1*-6). Solve j*v - 5 = v for v.
5
Let x(p) = p**2 - 3*p - 4. Let m be x(4). Suppose -z + 2*d - d = m, -z - 12 = 2*d. Let v be (-4 - z) + -1 + 2. Solve 2*q - 3 = v for q.
2
Let u(n) = -16*n - 2. Let r be u(-2). Suppose r = -x + 3*x. Let q be 1 + 4/(12/x). Solve 0 = 3*g - 0*g + q for g.
-2
Let i be (9/27)/((-2)/(-12)). Suppose i*d = -3*d + 10. Solve d*b = -3*b - 25 for b.
-5
Let j(x) = -x**2 + 0*x**2 + x + 2*x. Let g be j(2). Solve -g = -v - 0 for v.
2
Suppose u + 100 = 6*u. Suppose c - u = -c. Solve -3*i + 8*i - c = 0 for i.
2
Suppose 0 = -5*x - 12 + 32. Suppose -x = -2*q - 20. Let t = 16 + q. Solve 0*c - 2*c = t for c.
-4
Let f be (-1*8 + 0)/(-2). Let k(p) = 2*p - 5. Let d be k(f). Suppose 3*h + 2*l = 28, -23 = -5*h + l + 28. Solve d*a + 5 = -h for a.
-5
Let y be (-18)/(-12)*2/3. Solve 6 - y = 5*x for x.
1
Let i(d) = d**3 - 3*d**2 - 5*d - 1. Let w(y) = y. Let r(t) = -i(t) - w(t). Let s(m) = -m - 1. Let g be s(-5). Let f be r(g). Solve -f + 6 = 5*n for n.
1
Let g(t) = -t + 11. Let m be g(5). Suppose 15 = j + 2*z, -5*z + m = -9. Solve -5 = -2*s - j for s.
-2
Let q = 1 - 0. Solve -q - 5 = 3*b for b.
-2
Let p(q) = -q**2 + 8*q + 2. Let u be p(8). Suppose -4*b = -u - 18. Suppose -3 = -4*k + b. Solve -2*h + 0*h = k for h.
-1
Let g = -79 + 120. Suppose -5*q - g = -3*x, 3*x + q - 24 = 11. Solve -o = -5*o + x for o.
3
Let h = 149 - 68. Let f be 1/(-4) + h/36. Solve 0 = -k - f*k - 12 for k.
-4
Suppose 2*z - 9 = -1. Suppose -z*q = -0*q - 20. Solve 10 = 3*t - q*t for t.
-5
Let k = -8 - -10. Solve m + 3 = -k*m for m.
-1
Let x be (-52)/(-24) + 1/(-6). Solve 1 + x = 3*k for k.
1
Let o(v) = -v**2 - 6*v + 5. Let t be o(-5). Suppose 4*h - 5*l - 24 = 2*h, 5*h + 5*l = -t. Suppose 0 = -h*b + 4*b, 2*u - 4*b = 0. Solve u = 2*n + 2*n + 12 for n.
-3
Let b be 0*-3*3/(-9). Let h(n) = -n**2 + n + 4. Let z be h(0). Solve b*v = z*v for v.
0
Suppose -w - 2*w - 3*w = 0. Solve 6*i - 3*i = w for i.
0
Suppose 17 = -k - 2*l, -k + l + 1 = 3. Let i be 3/6*-2 - k. Let d be (-9)/i - 18/(-4). Solve d = t + 2*t for t.
1
Suppose 4*k = 3*k + 5. Suppose -5*v = -0*b + 3*b - 29, -4*v + 31 = k*b. Solve -3*j - b = -9 for j.
2
Suppose 3*j = -g + 15, 0 = -3*g - 4*j + 18 + 7. Let x = 4 + 7. Let l = 20 - x. Solve g*s - 6*s = l for s.
-3
Suppose -5*t + 3*i = -12, 0 = 2*t + t - 2*i - 7. Suppose 2*v + r - t = 0, -4*v + 2*r = 7*r - 3. Solve 2*z + v*z = -16 for z.
-4
Let d = -1 - -4. Suppose -d*u = -0*u. Let w be ((-15)/20)/((-2)/32). Solve 2*q + 2*q + w = u for q.
-3
Let a be ((-9)/2 + 4)*-42. Let y = -16 + a. Solve y*v + 4 = v for v.
-1
Let y(i) be the third derivative of -i**4/24 + 13*i**3/6 - 4*i**2. Let q be y(5). Solve 0 = 6*b - 2*b + q for b.
-2
Let z(p) = p**3 + 7*p**2 - 9*p - 6. Let x be z(-8). Solve -x*g - 15 = g for g.
-5
Suppose 3*z + 0*z - 9 = 4*l, -2 = -3*l + 4*z. Let p(w) = w