ppose -q = p + p - 12, 30 = 5*p + 3*q. Solve k + k + p = c for k.
-3
Let f = 10 + -8. Suppose 0 = -2*c + f. Solve c = 2*t - t for t.
1
Suppose 0 = -3*i + 6. Suppose w + 6 = -w, i*w + 18 = 4*j. Solve 0 = -j*l - 0 + 9 for l.
3
Let k(r) = r**3 - 3*r**2 + 2*r. Let x be k(2). Let n(t) = -t**2 + 6*t + 10. Let g be n(7). Suppose -2*c = -g - 1. Solve c*i = -x*i for i.
0
Suppose 0 = -3*f + 4*j + 32, -18 = -4*f + 5*j + 23. Suppose 3*h - 4 = 8. Suppose 3*g - g + h*l - 30 = 0, -2*g = -2*l. Solve g*i - f = 1 for i.
1
Suppose t = 5*i - 18, 3*i + 4*t + 0*t - 20 = 0. Let k be (i + -2)/(-1)*-1. Solve -2*s = k*s for s.
0
Let g be 6/2 - 1/(-5)*5. Solve -f = -g*f for f.
0
Suppose 120 = -0*x + 12*x. Solve 2*n = -0 - x for n.
-5
Let m(p) = p - 8*p - 15 + 14. Let s be m(-1). Solve 3*o - s = o for o.
3
Let g be 26/(-3) - (-4)/6. Let z be (-18)/g + (-3)/(-4). Solve z = -2*o + 3*o for o.
3
Let m be -5 - 0 - (-1 + 0). Let a = 4 + m. Let o(j) = -j + 2. Let q be o(2). Solve q = -w - a*w + 5 for w.
5
Let n(v) = v**3 + 7*v**2 + 4. Let u be n(-7). Suppose -3*y + 10 - u = 0. Solve 2 - 8 = -y*p for p.
3
Suppose 0 = -24*y + 9*y + 75. Solve 7 + 3 = y*h for h.
2
Let t = 8 - 3. Let w(y) = -30*y + 21. Let l(b) = 6*b - 4. Let k(j) = 11*l(j) + 2*w(j). Let a be k(1). Solve -t = -d - a*d for d.
1
Let s(a) = a + 9. Let l be s(-1). Solve 5*u - 13 = -l for u.
1
Suppose 3*y + 2*t - 32 = 0, -3*y - y + 2*t = -24. Let x = -5 + y. Suppose -5*r = -9*r + 9*r. Solve f - 4*f - x = r for f.
-1
Suppose 3*t + 6 = -g, 4*t = -3*g - 2*g - 30. Let p be (-28)/g - (-2)/6. Suppose -2*w - 4 + 2 = 0, -j + 7 = -2*w. Solve 2*o = -j - p for o.
-5
Suppose 2*b - 5*k - 6 = 0, -2*b + 3*k = -1 - 1. Let s be b/(1 + -3) - 1. Let z(m) = m**2 - 7*m - 3. Let r be z(8). Solve s = -3*p + r*p for p.
0
Let f = 130 + -127. Solve f*c = c + 6 for c.
3
Suppose -2*v = -1 + 49. Let h be ((-1)/(-2))/((-2)/v). Solve 0 = -4*o - h - 2 for o.
-2
Let d be (-1)/(-1) - (3 - -37). Let t be 2 + 1 + d/13. Solve -2*y + 3*y = t for y.
0
Suppose -2*t = -10 - 14. Let g = 17 - t. Solve 2*d + g = d for d.
-5
Suppose 2*f = -2*f - 24. Let p(x) = x**3 + 7*x**2 + 7*x + 9. Let b be p(f). Let o = -7 + 7. Solve o*v - b*v + 3 = 0 for v.
1
Let q(s) = s**3 - s**2 - 4*s - 1. Let z = 5 - 0. Let v = z - 2. Let g be q(v). Solve 9 + 16 = -g*u for u.
-5
Let w(v) = -v**2 - 6*v + 5. Let l be w(-6). Let n be (3 + 1)/(10 + -9). Suppose 17 = -2*j - l*z, -n*j + j - 5*z = 13. Solve -2*m = -j*m for m.
0
Let o(q) = q**3 - 6*q**2 + 4*q + 11. Let u be o(5). Solve -h = u - 1 for h.
-5
Let s = -3 + 3. Suppose -2 = -t - s. Solve 5*z + t - 7 = 0 for z.
1
Let p = -154 - -159. Solve -2*n + p = 7 for n.
-1
Suppose 3*c + 19 = 5*s, 3*c - 1 - 25 = -4*s. Suppose s*a + 6*z = z + 65, 0 = a - 4*z - 8. Let u be (-34)/(-6) + 2/6. Solve -3*d = -u*d + a for d.
4
Suppose -3*b = -0*b - 15. Solve -4 - 11 = -b*a for a.
3
Let q be ((-26)/(-10) + -3)*-60. Suppose 3*y + 6 + 6 = 0, 0 = v - 2*y - q. Solve -4*g - 4 = -v for g.
3
Let g be 4 - 0/(-5 - -4). Solve -u + g*u - 3 = 0 for u.
1
Let u(j) = 2*j**2 - 20*j + 4. Let a be u(10). Solve -t = -a*t for t.
0
Suppose -1 = -c + 1. Let n be 1 - (c + -1 + 0). Solve -3*b + n*b = 9 for b.
-3
Let y = -77 + 85. Solve 4*v = -4 + y for v.
1
Let b(i) = -2*i**2 + 2*i + 5. Let a be b(0). Solve 0*m + a*m = 10 for m.
2
Suppose 3*z = 2*z. Let o = -6 - -13. Let d = -5 + o. Solve z*w = -d*w - 8 for w.
-4
Let j be (-2)/(-2) - (3 + -4). Let k = -2 + j. Suppose k = -2*h - 2*z + 40, -2*h = z - 2*z - 31. Solve h - 2 = -3*q for q.
-5
Suppose -1 - 9 = -t. Solve t = 4*x + 2 for x.
2
Let t = -30 + 15. Let b be (-146)/(-10) - 6/t. Solve -4*g = -g - b for g.
5
Suppose -4*t = -3*t - 3. Suppose 4*w + 5*f = -t, w = -4*f - f - 12. Let h(z) = -z**2 + 2. Let r be h(0). Solve -r*g + w = -7 for g.
5
Let r(u) = 2*u**3 + 9*u**2 + 2*u - 5. Let b be r(-4). Solve b = -3*z - 0 for z.
-1
Let l be -3*(-3)/(-27)*3. Let k be l/(-1) + -1 + 0. Solve k = 3*a - 0 - 9 for a.
3
Let u(s) be the first derivative of -s**4/4 - 10*s**3/3 + 5*s**2 - 7*s - 4. Let m be u(-11). Solve 0 = n + m*n + 5 for n.
-1
Suppose 2*k + 5*l - 44 = -2*k, -l - 4 = 0. Suppose -7 = 4*y - 5*c, -3*y - 4*c = -y - k. Let j be (-2 + 0)/(y/(-6)). Solve -2*z = -j*z for z.
0
Let w = -114 + 129. Solve -2*b = b - w for b.
5
Let g = -8 - -5. Let n = 0 - g. Solve n*b = 7 + 5 for b.
4
Let p(h) = 2 - 4*h**3 - 4 - 9*h**2 + 3*h**3 + 4 - 8*h. Let y be p(-8). Solve -y*g - g = 6 for g.
-2
Suppose x = 4*w + 17, -5*x = -5*w - x - 35. Let s be (2 + w)/(-1) + 5. Suppose y + y = s. Solve q - 8 = -y for q.
5
Suppose 5*s + 95 = 5*g, 0 = 3*g + 2*s - 22 - 15. Solve 5*l = -0*l - g for l.
-3
Let h be (-374)/(-55) - 2*2/(-20). Solve -5*m - 8 = h for m.
-3
Suppose 0*l + 30 = -3*l. Let k be (-4)/l + (-36)/(-10). Solve 0*v - v = k for v.
-4
Suppose 0 = 4*z, -u - 3*u - 5*z - 44 = 0. Let h(t) = t**2 + 11*t + 2. Let y be h(u). Solve 2*l - 12 = -y*l for l.
3
Suppose 4*t = -s + 1 + 1, 2 = s + 5*t. Let w = -1 + 1. Solve w = -s*k + 3*k + 4 for k.
-4
Let g(u) = u**2 + u - 1. Let c be g(2). Let h = -167 + 170. Let j(d) = -d - 1. Let t be j(-3). Solve t*a + c = h for a.
-1
Let j = 23 - 3. Let r be (-12)/10*j/(-6). Let z = r - 4. Solve -v + z = 1 for v.
-1
Let o = -12 - -12. Suppose 0*t = -5*t + 2*k, o = -k + 5. Solve -j = -t + 3 for j.
-1
Let k(n) = n + 3. Let w be k(0). Suppose 0 = -5*o + 5*i + 55, -o - 2 = 3*i - 1. Suppose -2*j - 15 = -5*g + o, -w*j - 2 = -g. Solve -3*m - 11 - j = 0 for m.
-4
Let s(m) = m - 1. Let o(n) = 3*n - 8. Suppose -4*t - 24 = -4*v + 8*v, -4*t = 3*v + 19. Let y(a) = t*o(a) + 4*s(a). Let k be y(0). Solve k = -0*g - 4*g for g.
-1
Let v(q) = q**3 + 3*q**2 - 5*q + 2. Let n be v(-4). Let k be (n/4)/(6/80). Suppose 0 = -5*i - 3*d + 21, i = -d + 7 - 2. Solve i*m + k = -m for m.
-5
Suppose 0*y + 54 = -3*y. Let h be y/(-4)*(-6)/(-9). Suppose -j = 3 - 7. Solve -l = j - h for l.
-1
Suppose 0 = -z + 9 - 5. Solve o + z*o = 5 for o.
1
Let b = -11 - -12. Let l(y) = -y**3 + y**2 + y - 1. Let t be l(b). Solve t*r + 5 = r for r.
5
Let d(c) = 6*c**2. Let u(x) = x**2 + 8*x + 6. Let r be u(-7). Let j be d(r). Solve j = -5*l + 1 for l.
-1
Suppose 0 = 6*c + 10 - 34. Let d(u) = u**3 - 3*u**2 - 2. Let r be d(c). Solve -3*t - r = -2 for t.
-4
Let p(r) be the first derivative of 29*r**2/2 - r - 2. Let m be p(1). Suppose 2*a + 2*a = m. Solve 5*s + a = -8 for s.
-3
Let c = 50 - 48. Solve 2*w = -0*w + c for w.
1
Let u(b) be the first derivative of -1/2*b**2 - b + 2. Let r be u(-3). Solve -r*q = -q for q.
0
Let d be (-3 - 7)/(1/1). Let c be ((-16)/(-20))/(2/d). Let z = c + 6. Solve 0*v = -z*v - 2 for v.
-1
Let j be 174/54 - 2/9. Let p be ((-8)/j)/((-2)/6). Let o be 4 - (0 + 2)/(-2). Solve o*y = p + 2 for y.
2
Suppose 0 = 5*l, -3*l = -4*q - 0*l + 4. Solve q - 5 = 2*s for s.
-2
Let u(m) = -5*m + 2*m + 0*m. Let y be u(-1). Solve 2 = -y*q + 8 for q.
2
Suppose 5*o - 5 + 0 = 0, -4*w - 4*o + 12 = 0. Solve w*g + 8 = 4*g for g.
4
Suppose -22*o - 6 + 72 = 0. Solve -5*a + o*a = 0 for a.
0
Let n(x) = -5*x + 6. Let j be n(4). Let h be (-6)/15 + j/(-10). Solve -i + 4 - h = 0 for i.
3
Let v = -9 - -14. Solve 0 = -4*p + v + 11 for p.
4
Let d be (4/(-1))/(3/(-3)). Solve 2*s = d - 2 for s.
1
Let g = 11 + -13. Let w be (g/2)/((-2)/40). Solve 0 = -6*z + z + w for z.
4
Let j = 4 + 1. Suppose 0 = j*o - 0 - 15. Let z be (-6)/(-4)*(-10)/(-3). Solve -2*x = -o*x + z for x.
5
Let w(r) be the first derivative of -r**2 - 5*r + 2. Let c be w(-4). Suppose -c*z + 27 + 3 = 3*f, 3*f = -z + 6. Solve b - z = 5*b for b.
-3
Suppose 5*o = -55 - 95. Let h be 10/o + 7/3. Solve 0*r - h*r - 10 = 0 for r.
-5
Let w = 23 + -23. Solve w = 2*g - 0 - 4 for g.
2
Let k(l) be the first derivative of l**2/2 + 2*l - 1. Let b be k(-2). Let i(n) = -n**3 - 14*n**2 - n - 11. Let r be i(-14). Solve a + 2*a + r = b for a.
-1
Let t be (-6)/(-10) - (-240)/(-25). Let z = 14 + t. Solve 6*f - z = f for f.
1
Suppose 0 = -3*k - 8 + 62. Suppose -5*z + k + 32 = 0. Let p be 0 - (z/(-2) - 0). Solve 2 - 17 = p*x for x.
-3
Let h = -66 + 98. Let u = h - 27. Solve u*c = c for c.
0
Let i(g) = 6*g**3 + g - 1. Let v be i(1). Let y be (-2 - v)/(2/(-3)). Solve 4*r = y - 4 for r.
2
Let g(p) be the third derivative of p**5/20 - p**3/6 - 4*p**2. Let l(k) = -k - 5. Let t be l(-4). Let n be g(t). Solve -2*m - n*m = 0 for m.
0
Let q(f) = -f**3 + 6*f**2 - f. Let 