2*r(k) + 3*z(k). Let n be b(7). Solve n*f = f + 8 for f.
2
Suppose 0 = r + 5*k - 22, -4*r + 2 + 10 = k. Solve r*t = 6*t + 4 for t.
-1
Let i be 32/20 - 3*(-8)/60. Let v(h) = -2*h + 3. Let q(p) = p + 1. Let y(j) = 3*q(j) + v(j). Let c be y(-6). Solve -i*r - r = c for r.
0
Let g = 9 - 6. Solve l = -g*l - 20 for l.
-5
Let t(q) = -10*q - 30. Let z be t(-3). Solve -4*y - 19 + 3 = z for y.
-4
Let m = 100 + -66. Suppose 5*y - m + 14 = 0. Solve 0 = -y*p + 16 for p.
4
Let i(c) = c**3 + 2*c**2 - 3*c - 3. Let q be i(-2). Suppose 3*d + 16 = z, 2*d + q + 7 = 0. Solve -2*p - 1 = z for p.
-1
Let i be 0/2 + -19 + 2. Let u = i + 19. Solve -u*m - 2 = -4*m for m.
1
Suppose u - 15 = -2*u. Suppose 0*h = 2*h - 50. Suppose 0*l - u*l + h = 0. Solve -l*m - 6 + 21 = 0 for m.
3
Let o = 5 - 3. Solve -o = 4*f + 10 for f.
-3
Suppose -3*v = -v. Suppose 0 = c + 5*c - 18. Solve v = -g - c - 2 for g.
-5
Let x(s) = -s**3 - 6*s**2 + 2. Let m be x(-6). Let i = 3 + 0. Let o = i + m. Solve 5 = -o*l - 20 for l.
-5
Suppose -2 - 2 = -m. Suppose -m*n - 50 = -6*n. Solve 5*c - n = -0 for c.
5
Let d(c) = 2*c**2 + 17*c + 24. Let p be d(-8). Solve -a + 13 = p for a.
-3
Let w be 4/(-3)*(-15)/(-10). Let q = w - -5. Let x be 2 + -1 + 0 - -1. Solve -x = -q*f + f for f.
1
Suppose r - 4 = 5*x + 14, -3 = -5*r - 4*x. Suppose -3*m = -r - 0. Solve 4*s + m = -3 for s.
-1
Let j be -12 - 1/(-2)*2. Let l = j - -11. Solve a + l*a = 3 for a.
3
Suppose -5 + 13 = 4*a. Solve a*n + 0*n = 2 for n.
1
Let p(j) = -j**2 + 1. Let h(v) = -v**3 - 6*v**2 - v - 11. Let o(w) = h(w) + 6*p(w). Let g be o(-12). Solve 3 = 5*b - g for b.
2
Let y be -2 + 7 + 2/(-1). Suppose -2*i = y*i. Solve i = -s - s - 6 for s.
-3
Suppose i + 4 = 3*i. Let z be (-22)/3*(-3 - 0). Suppose -5*a + 25 = 0, -2*a + 7 - z = -5*s. Solve 12 = s*y + i for y.
2
Suppose 6 + 0 = 3*s. Let o = s + 0. Let c = -7 - -10. Solve -o*l - c*l - 20 = 0 for l.
-4
Let h(o) = o**2 + 4*o + 1. Let s be h(-4). Let w = 151 - 147. Solve 0 = -5*t + s + w for t.
1
Let r(l) = 3*l**2 - 5*l + 9. Let v(x) = x**2 - x. Let n(i) = r(i) - 4*v(i). Let q be n(0). Solve -4*t - q = -t for t.
-3
Let m(v) = -v**3 + 12*v**2 + v - 6. Let c be m(12). Suppose -42 = -5*s - 7. Let u = s - c. Solve -j - u = 1 for j.
-2
Let m(l) = -l + 10. Let a be m(8). Solve a = -4*g + 18 for g.
4
Let y be 0 - (-7 + (-1 - -1)). Let x = -7 + y. Solve 0 = -x*r - 3*r - 9 for r.
-3
Suppose -2*l + 0*l = 6. Let n = 6 + l. Solve -1 + 4 = n*t for t.
1
Let q = -16 + 9. Let i(b) = b**3 + 7*b**2 - 2*b - 10. Let c be i(q). Suppose -5*x - 3*z + 45 = 2*z, z = c*x - 36. Solve 3*m + x = 6*m for m.
3
Let b(w) = -w**2 + 13*w + 4. Let z be b(13). Suppose -y + 9 = z*u - 2*u, -27 = -4*u - 5*y. Solve t + u = -2 for t.
-5
Let r be (-6)/(-15) + (-228)/(-30). Solve 3*y - r*y = -25 for y.
5
Let g = 9 + 7. Let b = g + -10. Solve 0 = s + s - b for s.
3
Let r be (-46)/(-14) - (-8)/(-28). Let x be (6 - (0 + r)) + 0. Solve 0 = x*w + w + 12 for w.
-3
Suppose -3*f + 4*a = -0*a - 30, -4*f + 40 = 2*a. Suppose -9*t + 4*t - f = 0. Let h be (1 + -1)*t/(-2). Solve h = 3*w - 5*w for w.
0
Let h = -13 - -1. Let f be ((-15)/(-10))/((-2)/h). Solve -4*m - f = -m for m.
-3
Let d(c) be the third derivative of c**6/120 + 11*c**5/60 - 13*c**4/24 - c**3/2 - 3*c**2. Let p be d(-12). Solve 5*w - 6 = p for w.
3
Let s(y) = y**3 + 8*y**2 - 2*y - 10. Let v be s(-8). Let x = v - 12. Let l be (-40)/x*(1 - -2). Solve -4*t + 9*t = l for t.
4
Let j(y) = 3*y - 4*y - 2*y + 4*y + 6. Let f be j(0). Suppose -n + 3*n = f. Solve -n*t + t = 8 for t.
-4
Let t(i) = -i**3 - 4*i**2 - i - 6. Let h be t(-5). Solve -9 = -3*v - h for v.
-5
Let c be -1 + (1 - (-2 + 2)). Suppose 2*i - 2 = -c. Solve -4*v = -i - 15 for v.
4
Let j(h) be the first derivative of -h**3/3 + 4*h**2 - 7*h + 3. Let f = 4 - -2. Let i be j(f). Solve -i + 2 = -u for u.
3
Suppose 0 = 4*i - 7 - 9. Suppose 3*h + 29 - 11 = 5*j, 3*h - i*j = -15. Let u(l) = l**3 + 2*l**2 + l. Let q be u(h). Solve q = -m - 1 + 6 for m.
5
Let r(t) be the second derivative of -t**5/20 - 3*t**4/4 - 3*t**3/2 + t. Let y be r(-6). Let f be (2/4)/((-3)/y). Solve -f = -i - 4 for i.
5
Let f = 15 - 11. Suppose -5*n + a = -3*n - 3, -5*n + 9 = -2*a. Solve -f = -s - n*s for s.
1
Suppose -4*d - 9 = -21. Solve 2*g + 10 = -d*g for g.
-2
Let l(x) = 9*x + 3. Let m(i) = -4*i - 1. Let b(j) = -2*l(j) - 5*m(j). Let c be b(2). Solve 1 = c*y - 11 for y.
4
Let z be 38/(-171) - (232/18)/(-4). Solve -z = -2*s + 5 for s.
4
Let k(y) = -y**2 - 2*y + 5. Let j be k(0). Solve -j*s = -35 + 10 for s.
5
Let p(c) = c. Let s be 0/1 + 0 - 0. Let x be p(s). Suppose 5*t + 4*n - 35 = -n, t - 5*n + 5 = x. Solve 0*d - 5 = -t*d for d.
1
Suppose 0 = -t + 6*t - 5. Suppose b = 4*y - 20, -4*b - 20 = -3*y - y. Suppose 2*r - r = y. Solve -t + r = 4*j for j.
1
Suppose -2*m - 3*s + 5 = 0, -m - 5*s + 5 = -3*s. Let t be 0/((-5)/(m/(-2))). Solve 4*q - 13 + 1 = t for q.
3
Suppose 5*d = 5*p + 7 + 8, 2*d - 3 = p. Let g be (p/(-6))/((-2)/(-4)). Let k be (-2 - g*-4)/2. Solve x - k + 0 = 0 for x.
1
Let t(h) = h**3 + 6*h**2 - h - 5. Let n(y) = y**3 - 6*y**2 - y. Let d be 5/15 - 34/(-6). Let r be n(d). Let b be t(r). Solve b = 4*z - 15 for z.
4
Let l be -4 - -4 - 3/(-1). Let m = l + 0. Let c = m + -2. Solve 0*k - c = k for k.
-1
Let y = -32 + 36. Solve 0*v - 8 = -y*v for v.
2
Let n = 1 + -1. Suppose 0 = 5*p + 2*q - 24, 3*p - q - 4*q - 2 = n. Solve -p*x - 4 = -6*x for x.
2
Suppose -7*n = -n - 42. Solve 2*g = -n + 1 for g.
-3
Suppose -5*a + 27 = 2*q - 1, -2*a - 8 = -4*q. Let h be (-5 - -3)/(q/(-14)). Let w = -4 - -6. Solve h - w = -5*o for o.
-1
Suppose -3*k + 2*k = 0. Suppose k = y - 2*r - 11, 3*y + r + 2*r + 12 = 0. Solve 0 + y = v for v.
1
Let a(h) = 6*h**3 + 4*h + 1. Let c(q) = 5*q**3 + q**2 + 4*q. Let n(v) = 4*a(v) - 5*c(v). Let x be n(-4). Let o = 5 - 0. Solve -o*d = -x*d - 5 for d.
5
Let v = 42 + -39. Let g(y) = y**2 - 7*y + 6. Let k be g(6). Let w(l) = l + 8. Let s be w(k). Solve -v*f = -f - s for f.
4
Let n be -2*(0 + 1)*-8. Suppose -3*p + 7*p - n = 0. Suppose -5*b = p*g - 2*g - 35, 5*g = -3*b + 2. Solve -b = 2*q + q for q.
-3
Let y = -2 + 2. Suppose 3*n = 5*c - 4*c - 6, -5*c + 15 = 0. Let d be 6 - (2 + n - 0). Solve -d*j + j = y for j.
0
Suppose -3*m + 32 = -2*g, m + g = -2*g + 7. Let v be 1*3*m/15. Solve 0*y = v*y - 8 for y.
4
Suppose m = -8 + 11. Solve -j + 0*j - m = 0 for j.
-3
Let h(v) = v**2 - 2*v + 1. Let a be h(1). Suppose -4 = 2*s + 4*y, a = 4*s - 5*s + 4*y + 10. Solve -3*p = -s - 1 for p.
1
Let a(x) be the second derivative of x + 0 - 2/3*x**3 - 1/12*x**4 + 3/2*x**2. Let h be a(-4). Solve i - h + 2 = 0 for i.
1
Let u(v) = -8*v**2 + 10*v - 3*v + 12 + 7*v**2. Let i be u(8). Solve i*f + 10 + 2 = 0 for f.
-3
Let u = -449 - -289. Let b be 2/6 - u/15. Solve -3*h + b = 2 for h.
3
Let d be ((-5)/(-3))/((-15)/(-18)). Solve d*k + 0*k = 6 for k.
3
Let j = 16 + -133. Let f be 25/9 - 26/j. Solve -5*d + f*d = 10 for d.
-5
Let i be 3/2*((-640)/15)/(-8). Solve i = 4*x + 24 for x.
-4
Suppose -5*k + 0*k = -10. Suppose 5*a = -5, f = 6*f + k*a - 23. Let s = 7 + -7. Solve s = -f*x - 2 - 3 for x.
-1
Let u = -7 - -11. Let j = 1 + u. Solve -j*d + d - 16 = 0 for d.
-4
Suppose -m - 3 = 5*c + 20, 2*m - 5*c = 29. Solve 3*v = m*v for v.
0
Let w = 25 - 16. Let d be (2 + 0)/(6/w). Let n = -1 + d. Solve -n*u = -0*u for u.
0
Let j(c) = 3*c**2 - 2*c - 2. Let u be j(2). Let l be 4/2*2/4. Let o = u - l. Solve -a + o*a = 20 for a.
5
Let z(s) = s**2 + s - 37. Let o be z(-7). Solve 0*x = -x - o for x.
-5
Let b(t) = -t**2 + 7*t. Let w be b(6). Suppose -w*v = -3*v - 6. Solve -v*z + 3 - 11 = 0 for z.
-4
Suppose 3*v = -3*f + 5*v - 1, 1 = 5*f - 2*v. Let x(o) = 4*o + 1 - f. Let b be x(1). Solve -2*u + 3*u = b for u.
4
Suppose 18 = 4*b - 3*v, -2*b - 3*v = -2*v - 4. Let l(u) = u**3 - 3*u**2 - 2*u + 3. Let j be l(3). Let w be (2/2)/(j/(-9)). Solve -b*c - w = -6 for c.
1
Suppose -4*u - 3*a = -9, -3 = 4*a + 1. Solve 5*v = u*v for v.
0
Let g(m) = -m**3 + 11*m**2 + 14*m - 23. Let o be g(12). Solve -u - o = -0*u for u.
-1
Let x be 2 + 0/(-2 - 1). Let b = 5 - 3. Suppose 0 = u - b*t + 7, x*u = t + 4*t - 19. Solve 2 = 5*z - u for z.
1
Suppose -2*w = -44 + 38. Solve 4*d - w*d = 0 for d.
0
Let d = -141 + 146. Solve -3*y - 2*y = d for y.
-1
Let d(x) = -x**2 - 7*x + 12. Let y be d(-7). Solve 0 = -5*i + 2*i + y for i.
4
Let s = 2 - 2. Solve 3*k 