 + m. Suppose 3*a + 1 = 4*h - x, a = h - 2. Solve -4 - h = l for l.
-5
Suppose 0 = -8*u + 6*u + 12. Let a(r) be the third derivative of r**4/24 - r**3/2 + r**2. Let w be a(u). Solve w*z = -z for z.
0
Suppose 0*c = 2*c. Solve -5*h + c = 10 for h.
-2
Suppose 3*i + 0*i - 2*c - 2 = 0, 3*i + 3*c - 12 = 0. Suppose -a + 5*x = 20, -a - 15 = -6*a + i*x. Let g = 8 - -5. Solve -a*d + 3 = g for d.
-2
Let a be (-1)/5 + (-44)/(-20). Let q be (680/a - -2)/1. Let j be 2/(-9) - q/(-81). Solve j*x = -x for x.
0
Let y(j) = j**2 - 7*j + 5. Let r(d) = -2*d**2 + 14*d - 10. Let m(c) = -3*r(c) - 5*y(c). Let n be m(7). Solve -1 = n*z + 9 for z.
-2
Suppose 4*t + 36 = 13*t. Solve -2*b = -t*b for b.
0
Let c = 6 - 4. Let d be 3 - 2 - (c + -4). Let m = 2 + 0. Solve -m*g = d*g - 10 for g.
2
Let r be -3 - 5/((-20)/12). Solve 5*y - 6 - 19 = r for y.
5
Let n be 7 + 5 + -1 + 6/(-2). Solve 2 = 5*u - n for u.
2
Suppose u + 2 = -13. Let l = u + 21. Solve -3*t = -5*t - l for t.
-3
Let f be (30/4)/1*2. Let w(c) be the third derivative of -c**6/120 + c**5/15 - c**4/12 + c**3/3 + 3*c**2. Let g be w(2). Solve -g*n + f = -11*n for n.
-3
Suppose 5*r - 15 = 0, -5*k - 5*r = -4 - 11. Solve o + k*o - 2 = 0 for o.
2
Let x = 6 - 4. Solve 3*y + x = 5 for y.
1
Suppose -55 = -18*a - 1. Solve a*z + 1 - 7 = 0 for z.
2
Suppose 0 = -5*b - 9 + 39. Suppose -k = -3*p - 8, -k + p = 2*k - 16. Solve -f - k = -b*f for f.
1
Suppose 2 + 16 = -3*l. Let r = 0 - l. Solve 0 = 2*f + 2 + r for f.
-4
Let o = 19 - 11. Let l = o + -8. Solve 3*c - 5*c = l for c.
0
Let v = 2 + 28. Suppose -2*p + 10 = -v. Solve -2*r - 3*r = p for r.
-4
Suppose -g + 3*g - 8 = 0. Solve -3*d + g*d - 1 = 0 for d.
1
Let p be 9/15 + 34/10. Suppose 0 = -2*x - 0*x + 30. Solve -p*q - q = -x for q.
3
Suppose -u = 4*b - 5 - 4, 3 = 3*b + 2*u. Suppose l - 2 = b. Solve -28 = l*p - 3 for p.
-5
Let s be (-9 - -9)/(2*1). Suppose 5*p = -s*p + 10. Solve 0 = p*u + 4 - 0 for u.
-2
Let k = -27 + 45. Let f = -16 + k. Solve 0 = f*h - 3*h for h.
0
Let k(o) = o**3 - 7*o**2 + 12*o + 3. Let a be k(3). Solve 0 = -2*t - 9 + a for t.
-3
Let u(t) be the first derivative of 3*t**2/2 + 2*t + 1. Let i be u(2). Solve 2 = -2*h - i for h.
-5
Suppose 0 = 2*o - 16 + 2. Suppose -4*i - m - 4 = m, -3*m = 5*i + o. Solve 4*l - 3 = i for l.
1
Suppose -2*j + 7 = 1. Suppose m = -2*m - 27. Let g = m - -17. Solve -a = -j*a - g for a.
-4
Let i be (-6)/4*(-8)/3. Suppose i*s = a + 9, a = -s - 3*a + 15. Solve 2*g = s*g for g.
0
Let o be (0/2)/((-1)/(-1)). Suppose -2*j - 11 = -3*x + 11, -5*x - 5*j = 5. Solve 0 = -o*g + g + x for g.
-4
Let j be 2/(-4) - (-18)/4. Let w = 6 - j. Suppose -q - w*q = -12. Solve -u = q*u for u.
0
Let w(d) be the first derivative of -d**4/4 - 2*d**3 - 3*d**2/2 - 8*d - 3. Let s be w(-6). Solve 2*a + s + 0 = 0 for a.
-5
Suppose -f = 5, -2*n + 20 = -4*n - 4*f. Solve n = -2*m - 3*m - 15 for m.
-3
Let z(q) = -q**3 - 3*q**2 + q - 5. Let h be z(-4). Let u(i) = -i + 9. Let l be u(h). Solve -l = -n - n for n.
1
Let f(c) = c**2 - 9*c + 10. Let h be f(8). Solve 0 = -4*x + 6 + h for x.
2
Suppose 4*m + 2*l - 35 = 3, 68 = 4*m - 4*l. Solve 0 = -3*w - w - m for w.
-3
Suppose -4*w = 2*k + 2*k + 4, 4*k + 4 = 0. Suppose 4*t - t = w. Suppose t = -2*l + o + 5, 5*o - 2*o = l - 5. Solve l*i - 4 = i for i.
4
Suppose -3*q + 26 = -10. Solve i = -3*i - q for i.
-3
Suppose 10 + 10 = -r. Let n be 1/5 + (-96)/r. Solve -n = -4*h - h for h.
1
Suppose 0 = 6*l - 3*l - 12. Solve -l*f = -0*f + 20 for f.
-5
Suppose 0 = 5*v - 19 + 4, -4*y + 24 = 4*v. Solve 2 + 7 = y*z for z.
3
Let u = 7 + 4. Let o be -6*(-2 - (-4)/8). Suppose v - 16 + 7 = -2*h, h + o = v. Solve 5*m = -u - v for m.
-4
Let c = 4 + -2. Suppose -3*x + 4 = -2, c*x - 2 = r. Solve y + 0*y + r = 0 for y.
-2
Let h(r) = -2*r**2 + 12*r + 17. Let k be h(7). Solve -k*m + m = -2 for m.
1
Let u be (-24)/84 - 4/(-14). Solve u = m + m - 8 for m.
4
Let m(h) = -h**2 - h + 10. Let z be m(0). Suppose 4*j - 2 - z = 0. Let p be 2/5 + (-116)/(-10). Solve j*t + p = -3 for t.
-5
Let y be -4 + (-4)/((-4)/9). Let w = 0 + 0. Let c = y + w. Solve c = -4*d - 3 for d.
-2
Let w be 14/6 + 1/(-3). Let g be 4 + 11 + -6 + -7. Solve -w*z - g = -8 for z.
3
Let y(w) = 4*w**3 + w**2 - w + 1. Let t be y(1). Suppose 15 = t*v - 25. Solve -n = -3*n - v for n.
-4
Let l be ((-10)/(-8))/(-2 + 18/8). Solve -10 = -l*p + 5 for p.
3
Suppose 2 = -5*c - 8, -3*c = 5*d - 4. Suppose o + d*o - 9 = 0. Let x be 5*((-9)/(-3) + 1). Solve -o*t + x = t for t.
5
Let j(q) = -q**2 - 6*q + 1. Let f be j(-4). Solve y = -2*y + f for y.
3
Let x = 3 - 5. Let m be 10 + (x + 0 - -3). Solve -1 = -2*g - m for g.
-5
Let c be 4/(-6) + (-37)/3. Let d = c - -16. Solve -1 - 14 = -d*p for p.
5
Let z(s) = -2*s**3 - 2*s**2 + 2*s + 1. Let y be z(-2). Let m be -6 + 3 + 0 + 3. Suppose m*f - f = 0. Solve -y*o + f = -5 for o.
1
Suppose -2*c - 2*c + 12 = 0. Suppose -c*k + 13 = -t, 3*k - 21 = -4*t + t. Suppose v - 2*a + 2 = -3*v, 5*v - 2*a = -t. Solve 4 + v = -i for i.
-4
Let d(l) = -l**2 + 10*l + 2. Let m be d(8). Let k = 18 - m. Solve k = 5*h + 12 + 3 for h.
-3
Suppose 0*s - 5*s + 115 = 0. Let h = 6 - s. Let j = -7 - h. Solve 3*w - j - 2 = 0 for w.
4
Let d be (-16)/(-3) - 2/(-3). Suppose 7*m = 2*m + 20. Let i be ((-2)/m)/(2/(-8)). Solve -i*b = -d*b for b.
0
Let j be ((0 - 0)/(-2))/2. Solve 0 = -j*b + 5*b for b.
0
Let s(h) = h**2 + 6*h + 1. Let p be s(-6). Let l be (24/(-20))/(p/(-5)). Let x = l - 0. Solve -y = -x + 1 for y.
5
Let p(b) be the first derivative of -b**2/2 + 3. Let x be p(-5). Solve -12 = x*v - 2*v for v.
-4
Let f = -48 + 89. Suppose -4*p + f = -71. Suppose -4*j + 42 = 3*h + 2, 0 = -h - 5*j + p. Solve h = s + s for s.
4
Suppose 2*q - q = 10. Let t(g) = g**3 - 11*g**2 + 11*g - 8. Let w be t(q). Suppose u + h = w, u - 2*h + 3 = 2. Solve u = -3*l + 7 for l.
2
Let k = 6 + -8. Let f be (k + -2 + 3)*1. Let b = f + 4. Solve b*g - 2*g = -4 for g.
-4
Suppose 32 = -x - 5*s + 2*s, -3*x = -5*s + 54. Let u = 35 + x. Solve -3*t = -0*t + u for t.
-4
Let c(a) = -a**2 - 16*a - 11. Let k be c(-15). Solve 0 = 3*r - k + 7 for r.
-1
Let x be -2 + (1*-4)/(-2). Suppose 0 = -q - x*q. Suppose 2*c - 4 = -q*c. Solve -p = -c*p - 2 for p.
-2
Let n(i) = -4*i + i**2 + 10 - 13 + 9*i. Suppose 3*m = 5 - 23. Let v be n(m). Solve g - 2 = v for g.
5
Let o(b) = 6*b**2 + b + 1. Let f be o(-1). Let k be (1 + 0)*(-1 - -1). Let d = -4 - -7. Solve -f = d*x - k*x for x.
-2
Let c(t) = t**2 - 9*t + 8. Let u be c(7). Let k be (-90)/12*4/u. Solve 0 = s - k for s.
5
Suppose -2 = 2*z, 0 = 4*s + z + z - 14. Suppose -3*x + 4*t - 3 = -0*x, -s*x + 5*t - 3 = 0. Solve -x = -0*h - h for h.
3
Let k be -2 + (-6)/(-3) + 4. Let b = -1 + k. Solve b*u - 6 = u for u.
3
Suppose 4*m + 4 = 0, 5*s - s + 2*m - 18 = 0. Solve s*n - 3 - 12 = 0 for n.
3
Let j be (2 - 0)/((-2)/(-12)). Suppose 0 = -v + 4*v - j. Solve -4*b = -2*b + v for b.
-2
Suppose 18 = 3*l - 36. Suppose -3*t + 6 = -l. Let b = -6 + t. Solve 3*u - 1 = b for u.
1
Let m = 11 - 7. Solve -m - 8 = 4*k for k.
-3
Let k be 8*(-1 + 3/2). Let s be 28/8 + (-2)/k. Solve 0 = x - s*x + 2 for x.
1
Suppose 0 = -3*m + 3*t - 4 - 2, -8 = -4*t. Solve 5*w - 4*w = m for w.
0
Suppose 0 = -2*r - s + 31, -4*r = 2*s + 3*s - 77. Suppose 0 = 3*f - 7*f + 12, t + 3*f = r. Solve 0 = -0*d + t*d + 8 for d.
-2
Let t = 14 - 5. Let o = t - 18. Let x be 2*3*(-6)/o. Solve -x*z = -z for z.
0
Let o = 5 + 0. Let x = -4 + 9. Let i = x - -2. Solve o*p + i + 3 = 0 for p.
-2
Let d(x) = x**2 + 5*x + 4. Suppose 3*m - 2*m + 4 = 0. Let u be d(m). Solve -5*w + u*w = -25 for w.
5
Let q be 12/8 - 14/(-4). Solve q*c - 2*c = -15 for c.
-5
Suppose -2*m - m + 6 = 0. Suppose 2*t + 15 = 6*t - 3*z, -2*t - 3 = -5*z. Solve m*o = -0*o + t for o.
3
Suppose 0 = w - 3 - 17. Suppose 3*r - 4*t + w = 0, -r + 4*t - 20 = -0*t. Let u = 4 + -1. Solve 0 = -x - r*x - u for x.
-3
Suppose -12 = -2*f - 4. Suppose 0*x = 2*x + 6, -f*x - 3 = 3*z. Solve -2*y = z*y for y.
0
Let i = 4 + 1. Suppose k = i*a - 18, -4*k - a = -2 - 10. Solve -2 = k*h + 6 for h.
-4
Let f = -5 - -7. Suppose f*l + 8 = 3*v, -2*v + 4*l + 4 = 2*v. Let z be 0 - -1 - (5 - v). Solve z*h + 1 = -7 for h.
-4
Let a(y) = -y**3 - 8*y**2 - y - 3. Let g be a(-8). Solve -6*m + g = -m for m.
1
Suppose 0 = 3*v - v + 10. Let n = v + 5. Solve -3*j = -n - 6 for j.
2
Let k = -1 - -3. Suppose 5*r = k*j - 6 - 21, 5*r + 24 = -j. Let s be (-2