-5*k - 4*h, 4*k = 5*h + 64. Suppose q - k = -p. Solve 4*m - m = -p for m.
-3
Let l = 168 - 164. Solve -10 = l*p - 26 for p.
4
Let r(x) = -x + 17. Let u be r(15). Suppose u*y - 6 = -0*y. Solve 0 = -y*f + 12 + 3 for f.
5
Let z(l) = -2*l**3 - 3*l**2 - 2*l. Let h be z(-2). Suppose r = -4*c + h, 2*r - 29 = -3*c + 7*r. Solve -2 = -t + c for t.
5
Let a be (1/2)/(2/12). Let m = a + -1. Let s be 1/(6/(-9))*-8. Solve s = -m*t + 5*t for t.
4
Let x be (-40)/6*(-9)/6. Let v(s) = s - 10. Let c be v(x). Suppose -2*n + c*n = -26. Solve -4*f = 7 + n for f.
-5
Suppose -n = 2 - 5. Solve n = -2*y - 7 for y.
-5
Suppose -2*p - 2*p = 0. Let m be p*-2*2/(-8). Solve m*r = r + 1 for r.
-1
Let o = 8 - 1. Suppose o*g = 2*g + 60. Solve -2*v - 2*v + g = 0 for v.
3
Suppose -8 = -0*h - 4*h. Let s(p) = -p + 1. Let z be s(-2). Suppose -5*d - 2*n + 18 = 0, 2*d + 2*n + 0 = 6. Solve h*r - z*r + d = 0 for r.
4
Let q be (6 - 0)/(27/18). Solve -q = -2*t - 0 for t.
2
Let w(i) = 5 + 8*i - 19 - 2*i**2 + 2*i**2 + i**2. Let r be w(-10). Suppose 4*h - r*h = 0. Solve -2*a = -h*a + 6 for a.
-3
Let s(o) = -o**2 + 13*o - 27. Let k be s(3). Solve 1 = -k*d + 16 for d.
5
Let i = 6 + 3. Let r be (0 - -5) + (1 - 1). Suppose -2*y + y - 3*l = -8, y - 2*l = -2. Solve r*g - y*g = i for g.
3
Suppose 0 = 3*c - 9. Let w(p) = -5*p**2 + 3 - p**3 - p**c + p**3. Let h be w(-5). Solve -h*d + 4 = 19 for d.
-5
Let k be (3/2)/((-1)/(-2)). Let j be 6 - (-160)/(-28) - (-24)/14. Solve b + k = j for b.
-1
Suppose -1 = 2*x - 9. Suppose 4*y = 5*p - 10, -2*p = x*y - 0*p - 4. Solve y - 15 = 3*n for n.
-5
Suppose 2*w + 6 = -2*w + 2*f, -5*f = 2*w - 15. Solve w = v + 1 - 6 for v.
5
Let t = 9 - 6. Let c(u) be the second derivative of -u**5/20 + u**4/6 + 2*u. Let y be c(2). Solve y*i = -i - t for i.
-3
Suppose 3*f + 5*t - 30 = 0, 0 = 2*f + 3*t - 11 - 8. Solve f*h + 2 = 17 for h.
3
Let k(b) = b**2 - 11*b + 18. Let y be k(9). Solve y = -4*l - 0 - 8 for l.
-2
Let i be 6/(-15) - 92/(-5). Let a = -13 + i. Solve a*p + 12 = 2*p for p.
-4
Let j = -40 - -48. Solve -4*x + j + 8 = 0 for x.
4
Let l(r) be the second derivative of -r**4/12 + r**3/6 - r**2 - 4*r. Let w be l(0). Let v(c) = c**2 + c + 2. Let i be v(w). Solve 1 = i*o + 5 for o.
-1
Let s(q) = q + 1. Let l be s(3). Let f = l + 20. Solve -5*r - f = 1 for r.
-5
Let x(s) = s - 2. Let i be x(2). Solve i = -o - o for o.
0
Suppose 3*p = 5*h + 14, -4*h + 3 - 4 = p. Suppose -4*n + p = -17. Solve 3*u + 2*u + n = 0 for u.
-1
Let z(h) = 2*h**2 + 2*h**2 - 3*h**2 - 4. Let k be z(-3). Solve 4*c - k - 11 = 0 for c.
4
Suppose -5*l = -j - 25, -7*j + 3*j - 24 = -l. Solve l*p - 14 = 6 for p.
5
Let v = -7 - -10. Let i(d) = 4*d**2 - 3*d + 3. Let s(x) = x**2. Let q(w) = i(w) - 3*s(w). Let o be q(v). Solve o = 3*y + 9 for y.
-2
Let i be 5/(20/32) + (-2 - -2). Solve -3*g - i = -5 for g.
-1
Let t(b) = -b + 4. Let w be t(0). Suppose 1 - 13 = -w*y. Suppose -2*m = -n + y*n - 16, -4*m = -5*n + 13. Solve 0 = 5*l - 5 - n for l.
2
Suppose -5*u + 115 = -3*w, -2*w = -w. Suppose 0*n + 2*o + 15 = -5*n, -5*o = -2*n + u. Let x = n - -4. Solve -v + 4 - x = 0 for v.
1
Let s(x) = 2*x**2 - 10*x + 3. Let f be s(5). Solve 8*r = f*r for r.
0
Let x = -6 + 9. Suppose -2*m + 6 = 2*n, -3*m + 2*m + 3 = 2*n. Let k be -2 + 3/6*10. Solve n*g - x*g - k = 0 for g.
-1
Let v(m) = -4*m**2 - 2*m**2 + 4*m**3 - 2*m**3 - m**3 - m + 5. Let q be v(6). Let r be 3 + q - (-8)/4. Solve 9 = -r*c + 5 for c.
-1
Let k = -1 - -3. Suppose 0 = -4*n + l + 17 - 2, 4*l + 6 = -2*n. Solve n*b + k = -7 for b.
-3
Let k(z) = 12*z - 22. Let s be k(2). Solve 0*t = -s*t + 8 for t.
4
Suppose -12 = -9*p + 6. Solve o = -p*o for o.
0
Let t(j) = j. Let m be t(1). Let v = -6 + 5. Let u = v + 2. Solve 2*h + u = -m for h.
-1
Suppose -3*v = 5*g - 4*v - 6, 2*g = v. Suppose 5*p = -2*p + 7. Solve g*u - 1 = p for u.
1
Let y = 1 - -1. Let u = 25 + -25. Solve u*b - y = -b for b.
2
Let h = -12 - -16. Solve h*z - z + 15 = 0 for z.
-5
Let x(r) = 10*r + 8. Let c be x(6). Suppose 0 = -5*t + c + 87. Let j = t + -21. Solve -3*h - j = -5*h for h.
5
Let t be (-6)/(-24)*0/(-3). Suppose -w + t = -4. Solve r = -w*r - 15 for r.
-3
Let x(z) = z**2 + 4*z - 43. Let y be x(-9). Solve -y - 3 = 5*g for g.
-1
Let x be 4/(-6)*(-81)/6. Let l = -6 + x. Suppose -3*r = -15 + l. Solve r = -0*n - n for n.
-4
Suppose -6*u = -u - 20. Let t = u + -3. Let i be 0 - (-2 + t) - 1. Solve -2*w = -i*w for w.
0
Let d be 87/27 + (-6)/27. Suppose -i - 12 = -4*i + d*n, -4*n = -5*i + 16. Solve 5*p = -i*p for p.
0
Suppose 3*o - 8 = 1. Solve p = -o*p for p.
0
Suppose -5*o = -10 - 20. Suppose c = -0*c + o. Solve b = c*b + 10 for b.
-2
Suppose h + 5*y + 2 = 20, -h - 12 = -5*y. Solve x = -h*x for x.
0
Suppose -a - 9 = -3*b + 19, b + a = 8. Suppose -3*g = -b, 2*d + 5*g - 7 = 3*d. Suppose 5*z - 10 = n + 20, z + d = 3*n. Solve z*j - 2*j = 5 for j.
1
Let a(o) be the first derivative of -o**2/2 - 6*o - 1. Let f be a(-6). Suppose 12 = -4*j, -2*x - 2*j - j = -15. Solve 3*n = -f*n + x for n.
4
Let x = -24 + 14. Let o be 282/22 + x/(-55). Solve -3*c - 2 = o for c.
-5
Suppose 5*c - 6 = 4. Solve -2*x + 16 = c*x for x.
4
Let l(p) = 4*p + 2. Let a be l(0). Solve a*u = -u + 9 for u.
3
Let g(y) = y**3 - 2*y**2 - y + 2. Let m be g(3). Solve v = 5*v - m for v.
2
Let d = 16 - 13. Suppose -5*k = -k - 4*y - 72, d*y + 34 = 2*k. Let i = 0 - 0. Solve i = 3*r + r + k for r.
-5
Suppose 11 = 5*a - w, 5*w + 3 = 2*w. Let b = 8 + -8. Suppose -a*l + 4 = -b*l. Solve 0 = q - l for q.
2
Let r = -5 - -7. Suppose -r*n = -0*f + 2*f - 6, -9 = 2*f - 3*n. Let o be (-1 - f)*0/1. Solve -3*c - c = o for c.
0
Suppose -4*u - 8 = -24. Let g(a) = -4*a + 1. Let d be g(-4). Solve u*b + d = 1 for b.
-4
Let p(i) = -2*i**3 - 23*i**2 + 18*i - 31. Let y(c) = c**3 + 11*c**2 - 9*c + 15. Let h(r) = 2*p(r) + 5*y(r). Let v be h(-10). Solve -6*o + v*o = 0 for o.
0
Let v = -11 - -13. Suppose -4*f - v*w + w = -3, -4*w = 4*f. Suppose 12 = 5*h - 3*a - 0, 4*h = -3*a - 12. Solve x + 4 + f = h for x.
-5
Let j(z) = 3 - z**2 + 1 + 0*z**2 - 8*z. Let o be j(-8). Solve o*f = 3*f - 4 for f.
-4
Let d(p) = -5*p + 2. Let z be d(-1). Solve -8 - z = -5*n for n.
3
Let l(m) = m**3 - 7*m**2 + 7*m - 4. Let v be l(6). Suppose s + 3 = -j, s = -2*j - v + 1. Solve -r - j = r for r.
-1
Let f = -1 + 9. Solve f + 0 = 4*b for b.
2
Suppose 0 = 7*q - 12 - 30. Solve 20 = t - q*t for t.
-4
Suppose -2*g + 30 = u + 3*g, 4*u = 2*g + 10. Solve 10 = u*o - 15 for o.
5
Let w be (9/15)/(2/10). Suppose 6*o = 4*o + 4. Solve -o + w = -u for u.
-1
Let d = -3 - -9. Let g(l) = -l**2 + 6*l + 3. Let r be g(d). Solve 0 = 5*s - r*s + 10 for s.
-5
Suppose 2*c - 6*c = 0. Suppose c = -0*j - 5*j + 40. Solve 5*k - 23 = -j for k.
3
Suppose 0 = -k + 2*k. Suppose 11*m = 14*m - 36. Let d = m + -11. Solve 2*h - d + 9 = k for h.
-4
Let t = 22 - 19. Let v(z) = -z**2 + 1. Let a be v(-2). Let r be (-7)/a*3/1. Solve 8 = -t*y - r for y.
-5
Suppose -2*k = -k. Suppose -2*c + 0*c + 6 = k. Suppose x + c*x = l - 17, 3*x + 4 = -l. Solve -4*d = -l - 11 for d.
4
Let s(t) = t**2 - 2*t - 3. Let i be s(-3). Let g be 2/6 + 44/i. Solve 2*a - 2 = g for a.
3
Let s be (-36)/(-60) - (-33)/(-5). Let v be (3 + s)/(1/(-1)). Solve -v*c - 8 = -c for c.
-4
Let y = 8 + -4. Solve y*r - r = 6 for r.
2
Let y = -2 + 4. Let d be (-649)/(-44) - (-1)/4. Suppose -d = -2*a + 11. Solve a = 5*m - y for m.
3
Let y = -23 + 23. Solve 4*r + y*r = -8 for r.
-2
Suppose 5*z = 20, 0*z + 5*z = 3*o + 5. Let v be (-1)/(0 + 1/(-10)). Let c = 34 + -19. Solve c = -o*b - v for b.
-5
Suppose -62 = -17*q + 23. Solve 0 = -q*b + 3*b + 4 for b.
2
Suppose 2*c = -3*c - 2*d + 8, c + d - 1 = 0. Suppose 0 = s - 2, -s = 8*x - 3*x - 7. Solve -c*m = 5 - x for m.
-2
Suppose -9 = 4*v + 5*c - 4*c, -18 = 3*v + 3*c. Let p = v - -4. Suppose 4*x - 28 = 2*u - 6*u, u - 5*x = -23. Solve -p*y = -y + u for y.
-1
Let j be 3/9 - (-13)/(-3). Let i = 8 + j. Solve i*p - 2*p = 8 for p.
4
Let u(k) = k**2 - 40*k + 116. Let j be u(37). Solve -j = 5*n - 25 for n.
4
Let c = 45 - 29. Suppose -q - 2*q - c = -5*t, -3*q = 3*t. Solve 5*w - t*w = -9 for w.
-3
Suppose w - j = -2*j + 8, -4*j + 23 = w. Suppose 2*l + 5*t = -11, w*t + 5 + 4 = 0. Suppose -p + 1 = l*u, 5*u + 16 = 4*p + 51. Solve u*o + 3 = -0*o for o.
-1
Suppose 5*s + 6 = 4*s. Let a be 6/(-4)*8/s. Suppose 0 = -3*o - a + 8. Solve -4*c - 2 - o = 0 for c.
-1
Let m(k) = -k**2 -