 -3*k + r = -4*m + 7, -2*m + 5 = k. Suppose -m*w = -0*w - 8. Solve v = -v - w for v.
-2
Let n(o) = o**2 + 15*o + 18. Let f be n(-14). Solve s = -f*s for s.
0
Suppose -6*f + f - 14 = -p, 0 = -5*p - 3*f + 14. Solve 0 = 3*l - p - 2 for l.
2
Let b(i) = 9*i**3 + i**2 - 3*i + 3. Let k be b(1). Solve 5*j - k = 5 for j.
3
Let z be 2/(-8) + (-66)/(-8). Let d be 15/4 + 2/z. Suppose -v = -d*w - 1, 0 = -3*w + 4*v - 4. Solve 5*q = 10 - w for q.
2
Suppose 2*v - 10 = -5*p, 8*v - 3*v = -5*p + 40. Solve 3*u - v = u for u.
5
Let u = 20 - 18. Let c be (1 - (u + -4)) + -1. Solve -c*g + 7 = -1 for g.
4
Let h(g) = -g**2 - 6*g - 1. Let w be h(-5). Let o be 2 - (-3 + 8 + -3). Solve 0*b + w*b + 16 = o for b.
-4
Let c be 1 + -2 + 4 + -11. Let f = 10 + c. Solve g = f*g for g.
0
Suppose -z + 2 = z. Let d = 3 - z. Let r be 2/(-3) - 2/(-3). Solve r*k = -d*k - 6 for k.
-3
Let c(o) be the third derivative of o**4/8 - o**3/3 + o**2. Let a be c(4). Solve z - a = 3*z for z.
-5
Let v(c) = 2*c**2 - 2*c - 1. Suppose -4 = -0*u + u, 0 = -5*w - 4*u - 21. Let l be v(w). Let o = l + 5. Solve 0 = 3*x + x + o for x.
-2
Suppose 3*y - p - 2 = 12, -35 = -5*y + 4*p. Solve 0 = y*x - x for x.
0
Suppose -1 = r + 13. Let q = 16 + r. Solve q = -n - n for n.
-1
Let i be ((-4)/(-6))/((-2)/(-108)). Suppose 0 = -6*f + 2*f + i. Suppose -r - f = -4*r. Solve -a + r = -2*a for a.
-3
Let g = 29 - 27. Solve j - g = 2 for j.
4
Suppose 12*r - 11*r = 0. Solve -2*x - 8 = -r for x.
-4
Suppose -4*g - 16 - 32 = -4*d, 29 = -2*g - 3*d. Let s = g - -18. Solve 5 - 20 = s*q for q.
-3
Let l(i) = -2*i + 4. Let w(a) = -3*a + 7. Let k(v) = 5*l(v) - 3*w(v). Let m be k(-3). Solve 0 = -m*g + 3*g - 3 for g.
3
Let l be 1*(-2 + 10/2) - -3. Let u(w) = -w**2 - 5*w - 2. Let p be u(-3). Solve 2 = p*y - l for y.
2
Suppose 0*k = -k - 4. Let w = k + 6. Solve -2 + 4 = -w*q for q.
-1
Suppose 0*t + 7 = g - 3*t, 2*g = t + 14. Suppose g = 2*m - m. Solve 2*z - 15 = m*z for z.
-3
Suppose 0 = -2*p - l + 2, -4*p + 7*p = 4*l - 8. Let y = 207 - 203. Solve p = 5*q - y*q - 3 for q.
3
Suppose -18*o + 258 + 12 = 0. Solve -10*i - o = -5*i for i.
-3
Let w = 3 + -1. Suppose w*u - 3 - 1 = 0. Solve u + 3 = 5*l for l.
1
Let m be 8 - (3 - (3 - 1)). Let k = 0 + m. Let p = k + -5. Solve i = p*i for i.
0
Let t(d) = -d - 1. Let a(v) = -3*v - 3. Let u(k) = 2*a(k) - 5*t(k). Let o be u(-1). Solve o = -5*j + 3*j + 6 for j.
3
Suppose 0 = -2*p + 10. Solve -4*u + 3 + p = 0 for u.
2
Let m(i) = 2*i**2 - 2*i - 20. Let d be m(5). Solve -6*o + o = d for o.
-4
Suppose -6 = -4*d + 18. Let r = 7 - 2. Suppose 3*w - 4*x - 6 = 0, -r*w + x = 4*x - 39. Solve -4*m + w*m = -d for m.
-3
Suppose 0 = 2*p - 3*b - 2*b - 3, p = -5*b - 21. Let q = p - -11. Suppose 12 + 0 = -4*i - 5*y, 2*i - q*y = 24. Solve -i*o - 4 = -0 for o.
-2
Let p(h) = 4*h**3 - 1. Let n be p(1). Suppose -4*t = -n*t. Suppose t*k + 40 = 5*k. Solve 4 + k = 3*z for z.
4
Suppose 7 = 4*b - 1. Suppose 22 = 5*k + 7. Let r be (2 - k)*-3 + -3. Solve -b*m - 8 = -r for m.
-4
Suppose -24 = -0*p - 4*p + 3*h, 0 = -5*h - 20. Solve -3*z = -18 + p for z.
5
Suppose 4*y + 11 = -c - 0*y, y + 9 = c. Solve 0 = -c*q - 7 + 17 for q.
2
Let f = 20 - 18. Solve 3*b = -f*b - 20 for b.
-4
Let r = -2 + 1. Let s be 1/(-2) - r/2. Solve b + b = s for b.
0
Let l = 21 + -1. Let g be 1*(-1 + 3 + 3). Suppose 0 = -3*y + 2*u + 7, y - 5*u = g - l. Solve y = -4*k - 7 for k.
-3
Let h(p) = -p**2 + 4*p - 1. Let t be h(3). Solve 2 + 0 = t*m for m.
1
Let d = 33 - 28. Let c(k) = k**3 + 6*k**2 + k + 8. Let i be c(-6). Solve -i*h = -d + 1 for h.
2
Suppose 3*m + 59 = 4*l, 0 = -2*l - 3*m + m + 26. Solve -3*d - 1 = l for d.
-5
Let s = 17 - 14. Let b(u) = -5*u**3 + 3*u**2 + 4. Let w(o) = 6*o**3 - 3*o**2 - 5. Let t(m) = -5*b(m) - 4*w(m). Let a be t(s). Solve a = -y - y - 8 for y.
-4
Suppose 10*l - 6*l - 8 = 0. Solve -7*d = -l*d - 25 for d.
5
Let h(v) = v + 5. Let a be h(-4). Solve 8*o + a = 9*o for o.
1
Suppose 0 = 5*n - 4*n - 2. Let c(s) = s**3 + 4*s**2 + 4*s + 2. Let r be c(-3). Let z = r + 1. Solve z = n*w - 6*w + 12 for w.
3
Suppose 0*u - 2*u + 32 = 0. Solve u = -6*k + 2*k for k.
-4
Let g(l) = l. Let h be (-1 + 0)/(2/(-10)). Let b be g(h). Solve 0 + 20 = -b*m for m.
-4
Let m = 13 - 8. Solve m*s - 16 = -6 for s.
2
Let b be (-11)/(-5) + 2/(-10). Solve -b = 3*o + 4 for o.
-2
Let b(v) = -v**3 - v**2 + 3. Let p be b(0). Let o(a) = -3 + 3*a**p - 2*a**3 - 4*a**3 - 4*a**2 + a**3. Let j be o(-3). Solve 0*t + j = 5*t for t.
3
Suppose 5*m + 5*q = 110, -4*m - 5*q + 2*q = -84. Let r = m + -6. Solve 8*b = 5*b - r for b.
-4
Suppose -k + 0 = 4. Let c be (-1)/(-2) - 2/k. Solve 5*l = c - 11 for l.
-2
Let m = -2 - -6. Let u = -2 + m. Let l be (4 - 4)*u/6. Solve l = h - 5*h + 16 for h.
4
Suppose 2 = n - 0. Suppose n*r + 5 = 7*r. Solve -3*m - r = -13 for m.
4
Suppose -16 + 2 = -5*g - t, 0 = -5*g + 5*t + 20. Solve 0 = 3*y + g + 3 for y.
-2
Let d(r) = -r**2 - 5*r - 1. Let z be d(-4). Suppose 5*n + 4 + 1 = -5*f, -z = n. Solve -f*l + 6*l = 0 for l.
0
Suppose f = 2*z + 1, 5 = -z - 4*z + 5*f. Solve z*d = -2*d - 6 for d.
-3
Let c(u) = -u**2 - 7*u - 8. Let l = -6 + 0. Let b be c(l). Let y be ((-12)/(-9))/(b/(-6)). Solve 0 = -5*p + p - y for p.
-1
Suppose -3*s - s + 12 = -2*n, -4*n + 4 = -s. Suppose -n*d + d = 0. Let a = -2 + 3. Solve -2*b + 3*b - a = d for b.
1
Let o = 12 + -15. Let r = 1 - o. Let q(f) = -f**3 - 2*f**2 + 7*f + 5. Let x be q(-4). Solve r*w - w + x = 0 for w.
-3
Let r = 12 + -12. Let a = 6 - 6. Solve -3*v + a - 6 = r for v.
-2
Let v = -22 + 26. Solve x - 15 = -v*x for x.
3
Suppose -5*y + 2 = 3*u, 2*y = -3*u + 2*u + 1. Solve -y = 3*b + 8 for b.
-3
Suppose -17*p + 13*p = -12. Solve -a = p*a for a.
0
Let o(y) = 4*y. Let i be o(-1). Let s(z) = -z**3 - 4*z**2 - z - 2. Let v be s(i). Suppose v*g - 10 = -3*g. Solve -w + 1 = g for w.
-1
Let t(r) = r + 10. Let l(u) = 0*u + u**2 - 8*u + 1 + 6. Let x be l(5). Let g be t(x). Solve -n = n + g for n.
-1
Let f(j) = j**2 - 3*j - 4. Let s be f(4). Suppose -17 = -m - 3*k, s - 8 = m - 2*k. Solve 3*t - 4 = m for t.
2
Let c be ((-7)/2 + 3)*8. Let u be (0/2)/((-4)/c). Solve 2*z + 2*z - 16 = u for z.
4
Let i(r) = r**2 + 5*r - 6. Suppose -1 = -4*f - 5*x - 0, 2*x - 22 = 2*f. Let p be i(f). Solve c + 1 + 4 = p for c.
-5
Let b be 15/10 + 9/2. Solve -4*l = -l + b for l.
-2
Let r = 7 - -7. Solve 16 = -6*n - r for n.
-5
Suppose -n + 4 = -2*l - 13, -43 = -2*n - 5*l. Suppose 5*o - 11 = n. Solve o*g = g - 25 for g.
-5
Let x = -15 - -24. Solve -4*n = -1 + x for n.
-2
Suppose 0 = -0*t + 3*t - 4*y - 10, -2*y = -t + 4. Solve 0 = -o - t*o + 15 for o.
5
Let h(i) = 2*i - 7. Let g be h(4). Solve 1 = -2*r - g for r.
-1
Let j be 3/(-1*3) + 6. Suppose -7 = -3*k - w + 2, 4*w = -j*k + 22. Suppose -3*r = 5*m, 2*r = -0*m - 2*m. Solve m = k*l + 1 + 1 for l.
-1
Suppose -t - 4*r + 6 = 0, -2 = -2*t - r + 3. Solve 2*k - 16 = -t*k for k.
4
Suppose 3*l - 11 = -2. Solve p = -0*p + l for p.
3
Let l(j) be the second derivative of 0 - 2/3*j**3 - 1/12*j**4 + j**2 + j. Let a be l(-4). Solve 0 = -4*h + 6 + a for h.
2
Let x(k) = 5*k**2 - k + 30 - 27 - 4*k - 3*k**2. Let a be x(3). Solve -y = -4 + a for y.
-2
Let b(g) = g + 1. Let d be b(1). Suppose -4*p - d*q = 6, -2*q = -4*p + 14 - 0. Solve -n = p - 5 for n.
4
Let b be ((-2)/5)/(1/(-5)). Suppose -18 = -3*y - b*s, 3 - 7 = 2*y - 4*s. Solve 3*u + y = 2*u for u.
-4
Suppose 6*d = d. Suppose -4*t - t = d. Let p be (-4)/(12/(-15)) + t. Solve 0 = 3*x - p*x for x.
0
Suppose 3*q - 30 = -9. Solve -2*o = -q*o - 25 for o.
-5
Let r(v) = 14*v**2 + 3*v - 2. Let w be r(1). Solve -2*d + w = -7*d for d.
-3
Let r be (16 - 0)/(-4) + 7. Solve r*n + 6 = -0 for n.
-2
Let i(r) = -r**3 + 2*r**2 + 5*r - 2. Let j be i(3). Suppose -j*g + 3*a = -3*g, 4*g - 4*a = 0. Suppose -2*m - 4 = -3*m. Solve g = -m*o - 8 for o.
-2
Suppose u - 6*u = -15. Solve 0 = -u*f + 8*f + 25 for f.
-5
Let z be -2*(-5)/(-40) + 49/4. Solve -5*j - 8 - z = 0 for j.
-4
Let q be (-2)/(-12) + (-12)/72. Suppose q = -4*b + 12, b - 3 = -3*p + 6. Let n = -7 - -10. Solve p*w - 1 = n*w for w.
-1
Let d(z) = 4*z**2 + 8*z + 14. Let u(q) = 3*q**2 + 8*q + 13. Let l(b) = -2*d(b) + 3*u(b). Let j be l(-8). Let w = -5 + j. Solve 0 = -n - n + w for n.
3
Let k be (-2)/1 + -1*4. Let x = 14 - k. Let b = 47 + -42. Solve -b*w + x = -w for w.
5
Suppose 5*h = 18 - 3. Suppose p + 11 = -3*d, 4*p + h*d + 4 + 4 = 0. Solve k - 