) = r**3 - 9*r**2 + 7*r + 9. Suppose -7*k = -9*k + 16. Let b be p(k). Solve 0 = -c + 2*c + b for c.
-1
Let n be (8/(-2))/(3 + -2). Let p = 6 - n. Suppose 0 = -5*k - 0*k + p. Solve -4 = 3*l - k*l for l.
-4
Let m be 5*(2 - 0) + 0. Solve 0 = -3*b - 1 + m for b.
3
Let y(v) = 3*v - 6. Let c(i) = -i - 1. Let d be c(-4). Let m be y(d). Solve -2*f + 15 = m*f for f.
3
Suppose 3*b - 16 = -1, 105 = 4*k + 5*b. Let m be 2/(-10) + 42/10. Solve -k = w + m*w for w.
-4
Let o(i) = 0*i**2 + 2*i + 2*i**3 - i**3 - 4 - 3*i**2. Let v be o(3). Suppose -2*s - v = -0, -3*w = -2*s - 2. Solve 0*t + 5*t - 25 = w for t.
5
Let b be (-2)/(-4) - 4/8. Solve 0*l + 3*l - 12 = b for l.
4
Suppose -25 = -3*f + 4*n - 0, 11 = 2*f + 3*n. Suppose -f*x = -5*x - 8. Solve -x*d + 16 = -0*d for d.
4
Suppose z = 3 + 1. Let c = z + -3. Solve r + c - 3 = 0 for r.
2
Let g(b) = 5*b - 11. Let m be g(6). Solve -7 = 3*u - m for u.
4
Let n = -5 + 8. Suppose n*f + 8 = 5*c - 5, 4*f - 2 = -3*c. Let i be (-2 + 2)*f - -2. Solve -y - 9 = i*y for y.
-3
Let s(g) = -g**3 + 2*g**2 - g + 2. Let n be s(2). Suppose n = 2*l - 3*l. Suppose 0 = -2*m + 10, 3*f = 4*m - 14 + 3. Solve -3 = f*j - l for j.
-1
Let m = -3 + 4. Let q = 10 - m. Suppose -12 = -q*a + 5*a. Solve d = -a*d for d.
0
Suppose 3*u - 10 = -1, -3*u = 5*w - 84. Let g be (-4)/10 - (-36)/w. Solve -g*k - 2*k = -4 for k.
1
Let p be 4/(-1)*-1 + -1. Solve p*u = -2*u for u.
0
Suppose -13 = -i + 2. Suppose -4*b + o + 5 = -0, -3*o - i = 0. Solve -4*z + 12 = -b*z for z.
3
Let y be 122/(-18) + 2/(-9). Let t = y - -17. Solve r = -4*r + t for r.
2
Let w = -3 - -5. Let i be w/(3*(-1)/(-6)). Suppose i*s = 5*q - 36, s + 8 = -5*q + 24. Solve 10 = -q*b + 2*b for b.
-5
Let p be ((-2)/2)/((-2)/4). Suppose -5*i + 3 = -12. Solve 5 = i*n - p*n for n.
5
Suppose 6*s - 5*s - 6 = 0. Suppose 0 = 8*h - s*h. Solve 0 = -h*w - 2*w - 8 for w.
-4
Let b(n) = -n**2 - 7*n - 8. Let c be b(-5). Solve c = -3*l - 4 for l.
-2
Let q(y) be the first derivative of 3*y + 1/3*y**3 - 2 + 3/2*y**2. Let j be q(-3). Solve 0 = i + j*i + 20 for i.
-5
Let q be 0 - (3 - (-36)/(-4)). Solve i + i - q = 0 for i.
3
Suppose 5*i + 4*t - 21 = 21, -i - 9 = -5*t. Suppose i*k = 2*k. Solve 1 = -k*w - w for w.
-1
Let q(g) = -g - 6. Let s be q(-8). Let b be 3/(-2)*s + 3. Suppose b*k = -k. Solve -4 = -k*l - 4*l for l.
1
Suppose -4*w = -2*b - 12, -3*b - 5*w = -w - 12. Solve b*f - 2*f = -4 for f.
2
Let c(g) be the first derivative of -g**3/3 + 7*g**2/2 - 6*g + 2. Let o be c(4). Let d = -6 + o. Solve -x + d - 5 = 0 for x.
-5
Suppose g + 0*g + 2*o = 4, -2*o = -g. Solve 3*u - g*u = -5 for u.
-5
Let i(g) = 0*g**2 + 0 + 7*g - g**2 - 5 + 9. Let l(c) = -8*c - 1. Let j be l(-1). Let h be i(j). Solve 5*n - h = 6 for n.
2
Let t = -29 + 14. Let j = t - -23. Let w be (0 - 1)*(3 - j). Solve 0 = 3*f - 2*f - w for f.
5
Suppose 95 = 5*o - 0*o. Suppose 2*u = -5 + o. Solve 4*k = 1 + u for k.
2
Let b = -1 + 7. Let r = 8 - b. Solve -r = -4*z - 10 for z.
-2
Suppose 0 = 2*r + 3 + 1. Let u be (-1)/r*-2 + 5. Let c = 11 + u. Solve 2*d - c = -d for d.
5
Let n be 44/(4 - 2) - 2. Suppose -5*p + 0*p - 12 = -4*d, -d = -2*p - 6. Let j = 4 + p. Solve j*k - n = -4*k for k.
5
Let t be (-3)/((-3 + 5)/(-6)). Suppose -t = -5*v + 11. Solve -13 - 3 = -v*a for a.
4
Let i(q) = q + 5. Let a be i(-5). Suppose a = b - 5 - 0. Suppose b*c - 5 = 10. Solve 0 = -4*r + 1 + c for r.
1
Let d(r) = 3*r - 24. Let w be d(13). Solve 0*z = 3*z - w for z.
5
Suppose -4*k + 0*a + a = -11, 0 = -3*a - 9. Suppose -3*t + k*y + 42 = 0, -t = 2*y - 8 - 14. Solve 0 = -2*h - 6 + t for h.
5
Let c be (-1)/(-5) + 87/15. Let t be -8 + c + 3 + -1. Solve -h + 0*h + 1 = t for h.
1
Suppose 0*o - 2*o - 5*g + 20 = 0, -4*o = 5*g - 20. Solve -j = -o - 2 for j.
2
Let f(p) be the second derivative of -p**3/6 + 3*p**2/2 + 2*p. Let g be f(0). Suppose -g*c = -0*c. Solve m + 3*m + 16 = c for m.
-4
Let u = 8 - -1. Let n = u - 7. Let z be 1/((-2)/(-8) - 0). Solve z = -n*j - 4 for j.
-4
Let g = 7 + -5. Suppose g = -2*b + 3*b. Suppose 0 = -b*j + 5*j - 6. Solve j = -s - 1 for s.
-3
Let n(c) = 5*c + 3. Let t be n(-3). Let a be ((-8)/t)/(1/6). Solve -4*m - a = -3*m for m.
-4
Suppose 0*t - 4 = t - 4*w, -5*w = -5*t - 5. Solve t = 3*o - 13 + 7 for o.
2
Suppose 3*n - 4*n = 4, 11 = t - 2*n. Let d(u) = -u**2 + 8*u - 9. Let h be d(6). Suppose -15 = -h*z - t. Solve z*l + 6 = -6 for l.
-3
Let s(w) = -w**2 - 4*w - 1. Suppose -2*j - 5*n - 30 = 0, 5*j + 29 = -n - 0. Let z be s(j). Let f = z - -9. Solve 0 = -f*l + 2*l for l.
0
Suppose 72 = t + 5*t. Suppose -v - 3*c = 2, 3*v - c - c = 27. Let p be (v + -2)*4/5. Solve a = p*a + t for a.
-4
Let p = 42 + -37. Solve p*k - 16 = k for k.
4
Suppose 0 = 2*b - 4 - 2. Suppose -2*q = q. Suppose b*n + 4*p - 8 = q, 5*n + p - 8 = 11. Solve 7*l = 3*l + n for l.
1
Let v(u) = u**2 + 2*u - 2. Let j be v(-6). Let n(w) = -w**2 + 12*w + 3. Let i be n(12). Suppose i*o + 4*s = 21, -s + 0*s - 21 = -3*o. Solve -5*g + j = o for g.
3
Let r(f) = -f**3 + 2 + 9*f**2 - 2 + 0 + 11 - 9*f. Let w be r(8). Let q be 1 - ((-3)/w + 2). Solve -15 + q = 3*i for i.
-5
Let h be (6/4)/(6/(-8)). Let o be 5/4 - h/(-8). Suppose -3*x + o = -2*x. Solve -2*y - x = -9 for y.
4
Let l = 43 + -31. Solve 0 = 4*m - 7*m + l for m.
4
Suppose 0 = 4*f + 4*k, 0*k - 2*k + 6 = 5*f. Suppose -5*j + 8 = -f. Suppose 0 = j*h - 2*v - 10, -4*v = 2*h + 3*h + 20. Solve h*p - 3 = p for p.
-3
Let c(s) = 11*s**2 - s + 6. Let t(z) = -4*z**2 - 2. Let j(u) = -3*c(u) - 8*t(u). Let i be j(2). Solve n + 2 = -i for n.
-2
Let w(g) = g**3 - g. Let k be w(1). Solve k*f - 3 = -f for f.
3
Suppose -4*p + 5*p = 2. Solve x + 3 = -p*x for x.
-1
Let f be 6 - (-4 + (7 - 0)). Solve 0*z + f*z = -9 for z.
-3
Suppose 1 = 5*g - 9. Let b be (-5 - -1)*(-7 - 12/(-2)). Let f be 6/1*g/b. Solve f*o - 2*o = 0 for o.
0
Let n be (4 - 3) + 1 + 1. Let o be -2 + n*16/6. Suppose 0 = -d - 2*d + o. Solve -2*i + d = -2 for i.
2
Let r(n) = n**2 + n**3 + 2*n**3 + 2*n**3 - n. Suppose -j + 4*u + 4 = 19, 7 = -5*j + 3*u. Let l be r(j). Solve -3*h = -l*h for h.
0
Suppose 36 = 6*h + 6. Solve 0 = h*u - 3*u for u.
0
Suppose 6 = 3*p - 0*p. Suppose -p*w - 2*w = -8. Suppose 5*k - 5 - 15 = 0. Solve w*q - k = -2 for q.
1
Let s(w) = -4 - 2 - 7*w + 0 - w**2. Let l be s(-5). Solve 24 = -4*q + l for q.
-5
Let h(o) = -o**3 - 4*o**2 - o - 4. Let x(a) = a**3 + a**2 + a + 1. Let k(y) = h(y) + 2*x(y). Let j be k(2). Solve -3*q + 3 - 9 = j for q.
-2
Let v = -6 + 11. Let k(r) = -5*r**2 - 5*r - 2. Let a be k(-3). Let t = a - -57. Solve -v*m + 0*m = -t for m.
5
Let x(l) = -2*l - 2. Let o be x(-3). Suppose 14 = 5*k - 16. Suppose -v - k = -o*v. Solve z = v - 1 for z.
1
Let j = 36 - 33. Solve 0 = 2*m - 11 + j for m.
4
Let m(r) = -4*r. Let a be m(-1). Suppose -5*h + h = a. Let l be (0 + (-3)/3)/h. Solve 16 - l = 5*t for t.
3
Let r = 13 - 11. Suppose 0 = y + r, -5*w + 3*y = 5*y - 6. Solve 6*s = w*s for s.
0
Suppose -8 = -2*z, 0 = -4*i - 0*z + 2*z. Let y be 2/6 - 10/(-6). Let m = -2 + y. Solve m*l + i = 2*l for l.
1
Let o be 2/3 - (-169)/39. Solve 0*y - o*y + 20 = 0 for y.
4
Let w(m) = m**3 - 2*m**2 - 6*m + 2. Let o be 66/18 + 1/3. Let t be w(o). Let p = -6 + t. Solve p*u - u = 15 for u.
5
Let d = 5 - 3. Solve -d*z + 1 = -z for z.
1
Let p = -7 + 11. Suppose -2*x = 3*u + 6, p*u - 7 = 4*x + 5. Let i be 0*(u + 2/(-2)). Solve -t + i*t - 2 = 0 for t.
-2
Suppose -2 = -2*a, -3*v = -2*a + a - 44. Solve v = f + 4*f for f.
3
Suppose 0 = 3*c - 0*c - 6. Let y = c - 0. Solve -y = -2*m + m for m.
2
Suppose 3*o = w + 2*o - 5, 5*w = -5*o - 25. Solve w = -2*l - 2*l + 8 for l.
2
Let h = -64 + 92. Let t be h + 0/(3/3). Suppose 4*i - t = -0*i. Solve 4 = -b + i for b.
3
Let v = 65 - 20. Suppose u + 3*d = 6*u + 225, -v = u - d. Let n be 4/2*u/(-6). Solve w + n = -2*w for w.
-5
Let u be 4 + -3 + 0 + 1. Suppose 6*t - u*t - 5*x - 15 = 0, x = -2*t - 3. Solve -4*i + i - 6 = t for i.
-2
Suppose 0*t + 2*t - 14 = 3*y, 2*t + 3*y - 14 = 0. Let o = 2 + 0. Solve -o*h - 1 = -t for h.
3
Let g be 2 - (0/(-1) + 1). Let r be 0 + 2 + 1 + g. Solve r*w - 12 = -4 for w.
2
Let n be 1*((-7 - -3) + 7). Solve -y = n*y + 16 for y.
-4
Suppose 0*h = 4*u - 5*h - 21, 2*u = 3*h + 13. Let m be (-5)/(1/(0 + u)). Suppose 3*k - 2*x = 16 + 3, -65 = -5*k - 5*x. Solve -m*f - k = -29 for f.
4
Let j be -2*4/(-3 + -1). Solve -j*u - 2*u = 12 for u.
-3
Let w = -18 - -33. Let t = w + 