10*k + 2. Let y = -4 - -14. Let s be f(y). Solve 15 = -s*m + 5*m for m.
5
Suppose 0 = 3*m - 9, -2*n + m = 2*n - 177. Suppose 0 = 5*p - 5*a - n, -14 = 2*p - 4*p + a. Solve 0 = -p*x - 26 + 1 for x.
-5
Let g(u) = -u - 47. Let t be g(0). Let h = t - -67. Solve 0 = -w - 3*w + h for w.
5
Let i = -40 + 51. Solve 0 = 2*c + i - 5 for c.
-3
Suppose 0 = -24*l + 30*l - 30. Solve 15 = -l*i + 5 for i.
-2
Suppose -3*w + 2*g = -2, -4*w - g + 31 = 2*g. Let o(y) = -y**2 + 4*y + 2. Let k be o(w). Solve 0 = 5*i - k - 3 for i.
1
Let l(i) = -i**2 - 8*i - 4. Suppose 0 = 5*v - 0*v + 35. Let o be l(v). Let b be 2/(-10) + (-2)/(-10). Solve b = -o*u + 3 + 3 for u.
2
Let s(l) be the third derivative of -l**5/60 - l**4/2 + 5*l**3/2 + 4*l**2. Let p be s(-13). Solve o = p - 4 for o.
-2
Suppose -4 = 3*v - 34. Let t be v - (5 + (1 - 3)). Solve -t = -5*a - 17 for a.
-2
Let t(f) = -f**2 - 8*f + 2. Let h be 2/9 - (-16)/9. Let v be ((-14 + -2)/h)/1. Let p be t(v). Solve -p + 1 = -u for u.
1
Let x(b) = b**2 - 10*b + 5. Let v be x(10). Solve 4 + 1 = v*k for k.
1
Let c = 69 - 102. Let i = -11 - c. Suppose -5*s = 2 - i. Solve -25 = -s*f - f for f.
5
Suppose -n - 2*a = -7*a - 15, 3*a + 9 = 0. Solve 0 = -n*l + 3*l for l.
0
Let x = 21 - 17. Solve 1 = x*j - 15 for j.
4
Let h(m) be the first derivative of m**4/4 + 7*m**3/3 - 4*m**2 + m + 5. Let x be h(-8). Solve -3 = -4*d + x for d.
1
Suppose -16 = -4*r - 4*q, 3*r - q - 28 = -0*r. Solve -m - 3*m = r for m.
-2
Suppose -48 = -0*y - 6*y. Solve -3*i + y = i for i.
2
Let y = 7 + -3. Suppose -2*j - 16 = -2*b, b = -0*j + y*j + 23. Solve -b*m + 0 + 3 = 0 for m.
1
Suppose -w - 2*w = -30. Solve -m = 4*m + w for m.
-2
Let d(u) = -u**3 + 8*u**2 - u + 10. Let w be d(8). Suppose -4*j = -w*j. Let o = j - -3. Solve o*m - m - 6 = 0 for m.
3
Suppose 3*l = 2*l + 3*x + 8, -4*l - 3*x + 92 = 0. Let a(r) = r**2 + 1. Let v be a(2). Let s be 0/4*(-1)/(-2). Solve 0 = -s*q - v*q - l for q.
-4
Suppose 5*g = h + 23, 4*g = -h + 5*h + 12. Suppose k = f - 35 + 42, 0 = 5*k + 2*f - 28. Solve g*n - 5 = k*n for n.
-5
Suppose 2*a + 4*i - 11 = 7*i, -14 = -3*a + 2*i. Solve -h + a - 1 = 0 for h.
3
Let v be (-1)/(2/4) + 4. Let k = -2 + v. Solve a - 3*a - 6 = k for a.
-3
Let j = -3 - -4. Let g(k) = -k**2 + 7*k - 3. Let o be g(6). Solve o*r - j - 2 = 0 for r.
1
Suppose -3*o + 21 = -5*l, o + 3*l = 5*l + 8. Solve -o = -0*i - i for i.
2
Suppose -4*u - 38 = -5*i, -2*i - 31 = 5*u - 0*i. Let z = u + 7. Let h be (z/6)/(0 - 1). Solve -o + 3*o = h for o.
0
Let t = -7 - -3. Let b = t + 4. Suppose b = p + 4*p - 10. Solve p*y - 16 = -2*y for y.
4
Suppose 2*w = -g + 11, -3*w + 4*g - 26 = -5*w. Solve w*f = f for f.
0
Let r be 0/(2 - 2/(3 + -5)). Solve -d + 2*d - 4 = r for d.
4
Let j = 13 + 2. Solve -d - j = 2*d for d.
-5
Suppose -2*r - 5 = -x, 2*x + 4 - 2 = -2*r. Let n = x + 1. Let a = -1814 + 1817. Solve a*f - 1 = n for f.
1
Let v(u) = u**3 - 18*u**2 + u - 3. Let g be v(18). Solve -x - g = 4*x for x.
-3
Suppose 8*w - 12 = 5*w. Solve -a = a - w for a.
2
Suppose -2*n = -5*p - 6*n - 3, -p + 11 = -5*n. Solve -p = -3*a + 8 for a.
3
Suppose 2*l + 15 = 3*y, 4*l - 14 + 4 = -2*y. Let s be 5 - -12 - (l - -2). Suppose -a = -d + 3, -5*d + 3*d + s = -5*a. Solve d = 2*v - v - 1 for v.
1
Let c = 0 - -9. Suppose -5*w = 4*h + c, -5*h + 3*w + 34 + 1 = 0. Suppose 0 = -t - 4*t. Solve t*f - f = h for f.
-4
Suppose y - 3 = -1. Suppose -r - d = -0 - 9, -y*r + 4*d + 24 = 0. Solve r = -i - 4*i for i.
-2
Let h(k) = 1 + 2*k - 4 - k. Let p be h(3). Solve p*b = -3*b + 3 for b.
1
Let n(q) be the first derivative of -q**2/2 - 2*q + 1. Let l = -16 + 10. Let m be n(l). Solve m*s + 2 = 6 for s.
1
Let f(z) = 3*z - 7. Let i be f(7). Suppose -l + 3*v + i = 3*l, -2*l - 2*v = 0. Solve 0 = -l*r - 1 - 3 for r.
-2
Suppose -3*r + 2*r = -6. Suppose -r*o + 5*a = -o, 0 = 5*o + 2*a - 35. Suppose -c - t + 36 = 2*t, 4*t = 2*c - 82. Solve o*f + c = 14 for f.
-5
Let p(y) = -y**2 - 4*y. Let u be p(-2). Suppose -1 = -u*c + 7. Solve 3*j - 10 = -c*j for j.
2
Suppose q - 1 = 4*i - 4, q = -4*i - 3. Suppose -5*c = -4*k + 7, 0 = -4*c + 4*k - i*k - 8. Suppose -c = 3*t - 4*t. Solve b = -t - 0 for b.
-1
Let f be (-5 + 5)/(0 - -1). Let v(r) = f*r + 2*r - 5 + 4. Let k be v(2). Solve 9 = k*j - 0 for j.
3
Suppose d - 5*v - 104 = 0, -20 = -d + 4*v + 80. Suppose 2*a = 4*z + 16, -5*z + 10*z - d = -4*a. Solve -3*l + a = l for l.
4
Let v = -4 + 9. Let x be (8/v)/((-12)/(-30)). Suppose -x*w = -2*w. Solve a + 2 + w = 0 for a.
-2
Let b(n) = 2*n**2 + 2*n + 1. Let m be b(1). Solve -m*a + 26 = 6 for a.
4
Let d = 9 - 9. Let x = 3 + d. Solve -5*v - 8 = -x for v.
-1
Let w be (-2 + -2 + 4)/1. Solve w = -6*j + 4*j for j.
0
Let m be ((-5)/(-5))/((-2)/(-6)). Suppose -5*f + m*f + 4*l = 2, -3*f - 2*l = -29. Solve -3*n + f - 1 = 0 for n.
2
Let y(o) = -2*o - 38. Let v be y(-19). Solve 0 = -2*i + 4 - v for i.
2
Suppose 3*v = 6 + 21. Solve -3*d = -0*d - v for d.
3
Suppose -2*c - 1 = -5. Let t be c/4 + (-303)/(-6). Let b be t*((-8)/(-3) + -2). Solve -b = -4*d - 14 for d.
5
Let r be 6/8 - 27/36. Solve r = -y - 2 for y.
-2
Let p = -63 - -69. Solve -p = 5*l - 3*l for l.
-3
Let q be (10/3*1)/((-4)/(-6)). Solve b - q*b = -8 for b.
2
Let z(x) = x**3 + 5*x**2 + 8*x + 6. Let g be z(-2). Solve -3*p = g*p + 10 for p.
-2
Suppose -11 = -2*u + 2*c + c, 5 = 2*u + 3*c. Solve -u*z = -6*z - 6 for z.
-3
Let c(j) = j**3 + 2*j. Let i be c(0). Solve 16 = 4*m - i for m.
4
Let q(u) = -u**3 - 4*u**2 - 3*u + 3. Let w be q(-4). Suppose h + w = 6*h. Solve -b = h*b + 20 for b.
-5
Let a be -2*-2*14/8. Let w(y) = y**3 - 9*y**2 + 7*y + 13. Let b be w(8). Suppose 2*x + 4*l - 20 = 0, 2*l - 22 = -4*x - 0*l. Solve a = x*v - b for v.
3
Let g = 0 - -2. Suppose 11 = 3*i - g*i. Let d be 1/(0 - 2/(-8)). Solve 9 + i = d*x for x.
5
Let p be 6/4*(104/(-24) + 5). Solve -p + 4 = i for i.
3
Let k = 1 - -2. Let f = 4 - k. Let d = f + 3. Solve -h = 3*h + d for h.
-1
Suppose 8*y + 56 = 10*y. Solve 0 = 4*f + 8 - y for f.
5
Let b = -13 + 188. Let v be b/55 - 2/11. Solve v = 4*w + 19 for w.
-4
Let x(u) = 3*u + 2. Let l be x(2). Suppose 6*f = 2*s + f + 15, 15 = 3*f. Suppose 17 = s*q + 2. Solve -m - l = -q*m for m.
4
Suppose 3*t = 5*t. Suppose 2*k - 2 - 6 = t. Solve -5*b + k = 19 for b.
-3
Let o be (0 - (-12)/14) + (-3)/(-21). Solve -2*y - 11 = -o for y.
-5
Suppose -2*r + 5*c - 12 = 2*r, 5*r = -3*c + 22. Solve -r*g = -4*g for g.
0
Let k be 1 + 0 + -1 + -10. Let n be (8/(-10))/(2/k). Solve -a + n = -1 for a.
5
Suppose r - 6*r - 5 = 0. Let l = -2 - r. Let b = l - -6. Solve -1 = 3*u + b for u.
-2
Let w be (0 - 1) + (7 - 1). Let o be 10/(-2) - (-12 - -11). Let y be w/(-2)*(o - -2). Solve f - y = -4*f for f.
1
Let r be (-18)/(-7)*(-70)/(-15). Solve b - r = -3*b for b.
3
Let o(l) = 3*l**2 + 14*l - 5. Let c(q) = -2*q**2 - 14*q + 5. Let v(y) = -4*c(y) - 3*o(y). Let r be v(13). Solve -2 + r = 3*n for n.
2
Let l(a) = 3*a**3 + a. Let n be l(-1). Suppose v + 11 = 3. Let f = n - v. Solve 0*i + f*i = -16 for i.
-4
Let w(d) = -d + 4. Let k be w(4). Suppose 0 = -k*c + 2*c - 4. Solve c = -u + 4 for u.
2
Suppose -3*s + 4*m = -2*s + 18, 4*s = -3*m + 23. Solve 0 = -s*z - 6 - 0 for z.
-3
Let d be ((-15)/12)/(3/(-12)). Let u(q) = -q**3 + 6*q**2 + q. Let b be u(d). Let s be (-4)/(-4) - b/(-2). Solve -s + 1 = 5*p for p.
-3
Suppose 0 = 3*b - 3*u - 63, -3*b + 17 + 36 = -u. Suppose -3*r = 5*v - 9, -v + 4*r = -3*v + 12. Suppose v = 2*f - 3*f + 5. Solve 0 = a - f*a + b for a.
4
Let r(v) be the second derivative of 3*v**5/20 - v**4/6 + v**3/3 - v**2/2 - v. Let d be r(1). Let p = d + 1. Solve -p*q = -8 + 2 for q.
2
Suppose -2*k = 2*k - 56. Solve 4*u = k + 2 for u.
4
Let m(u) = 2*u - 1. Let f be m(2). Let r(b) = b. Let q be r(5). Suppose x = q*x - 8. Solve f*n + x = 2*n for n.
-2
Let h(w) = w**3 + w**2 + w + 6. Let m be h(0). Solve m*v - 5*v - 5 = 0 for v.
5
Let p(w) = -w - 2. Let o be p(-5). Let a = -1 + o. Solve 0*b - 4 = -a*b for b.
2
Let c(k) = k**2 - 2*k - 5. Suppose -5*d = -4*i + 128, -d - 7 = -4*i + 25. Let p be (1/3)/((-2)/d). Let l be c(p). Solve -a + 8 = -l*a for a.
-4
Suppose 3*x - 6 = 3*v + 21, 4*v + 28 = 2*x. Let j(o) = -o**3 + 4*o**2 + 2*o - 2. Let u be j(x). Solve 4*f = f - u for f.
-2
Suppose 2*s - 3 = 3. Suppose 4*b = 3*b + 2. Let q be b/10*(2 - -3). Solve 0 = m - s + q for m.
2
Let s = 27 - 31. Let p = -10 - -4. Let j = s - p. Solve j*a - 2 - 6