3*p. Suppose -3*t = p*x + 2*t - 29, -x = -3*t + 13. Solve -20 = -2*v - x*v for v.
5
Let x(c) = 5*c**3 + 3*c - 8. Let l(h) = 9*h**3 - h**2 + 6*h - 15. Let j(k) = 4*l(k) - 7*x(k). Let a be j(4). Solve -3*w - 5 = -a*w for w.
1
Suppose f + 5*n - 1 = 4, -2 = -2*n. Let p(q) = -3*q. Let k be p(f). Solve k = 4*x - 4 for x.
1
Let w(a) be the first derivative of -a**4/4 + a**3 - a - 1. Let l be w(2). Let q = 45 - 40. Solve q = -2*r - l for r.
-4
Let s(u) = -2*u + 8. Let n be s(-3). Solve -3*r + n = -1 for r.
5
Suppose 0 = 5*m - 4*b + 6, 0*m - 16 = -2*m - 3*b. Solve 0 = -q + m*q for q.
0
Suppose 0*l + 5*z - 20 = -5*l, 5*l - 2*z = 13. Suppose -q = -0*q - 3*t - l, -4*q + 12 = 5*t. Let b be 1/(-2) + 11/2. Solve -j = q - b for j.
2
Let j(c) = c - 2*c + c**2 + 3*c. Let k be j(-2). Solve k = l - 2*l + 4 for l.
4
Let h(g) = -g**3 + 9*g**2 - 9*g + 11. Let u be h(8). Solve u = -l + 1 for l.
-2
Let g = 5 + 13. Suppose 0 = -3*h + 4*t + g, -2*t = 5*h - 4 - 0. Solve -h*r = r - 9 for r.
3
Suppose 4*w + 0*w = 5*z - 14, -7 = -3*z + w. Suppose -6 = -m - z*m. Suppose m*f - 12 = -4. Solve 2*y - f = -0*y for y.
2
Let z = 3 - 3. Suppose 3*a + r = -a + 21, -2*r + 10 = 0. Suppose -20 = -5*t, -4*t + 28 = a*f - z*f. Solve -y + 20 = f*y for y.
5
Let f be 2/5 - (-184)/(-10). Let d = 12 + f. Let a be (-2)/(-3)*d*-1. Solve 0*s = a*s - 16 for s.
4
Let g(v) = v**2 - 4*v + 7. Let y be g(2). Solve -y*b + 0*b + 6 = 0 for b.
2
Let f be (1 + 1)*1 + 3. Solve 0 = -f*v - 0*v - 20 for v.
-4
Suppose 55*b - 61*b + 66 = 0. Solve 3*w + 5 = b for w.
2
Let l be -1*(-1)/(-1)*0. Solve l = g + 2*g for g.
0
Let z(q) be the second derivative of -q**4/12 + 5*q**3/6 + 3*q**2/2 - q. Let g be z(5). Solve -g*s = 1 - 7 for s.
2
Suppose 5*a - 3 = -38. Let h = -25 - -35. Let y = h + a. Solve y*c = -0*c for c.
0
Suppose -c + 5*d = -2*c, 5*c - 4*d - 58 = 0. Suppose -5*j + 11 = -9. Solve j*x - c = 10 for x.
5
Let f = 6 - 2. Suppose b = f + 3. Solve -b = -2*o - 1 for o.
3
Let i(n) be the third derivative of n**4/6 - 19*n**3/6 + 6*n**2. Let h be i(6). Solve -g - h = -2*g for g.
5
Suppose 5*u + 4*p - 7*p = 54, 2*u + 3*p - 30 = 0. Suppose -5*w + 79 = -10*w - 3*g, 0 = -3*g + 6. Let z = -12 - w. Solve z*l + u = 2*l for l.
-4
Suppose 0*h = h. Suppose 3*x + 8 = 7*x. Solve 2*d = -h + x for d.
1
Suppose -4*q = -11 - 5. Solve o = -q*o + 10 for o.
2
Let l(p) = -p**2 + 7*p + 11. Let x = -14 + 22. Let b be l(x). Suppose 0 = -b*h - 0*h + 6. Solve -h*j - 2*j = 0 for j.
0
Let l(a) = -5*a + 2. Let x be l(-3). Suppose -x = 5*r - 167. Suppose -r = -p - 2*p. Solve -p = -3*o + 5 for o.
5
Suppose l = 5*d - 3*l - 6, -3*l + 3 = 0. Solve d*f = -0*f - 8 for f.
-4
Let h = 10 + 5. Suppose h + 25 = 5*l. Solve q - 3*q = -l for q.
4
Let o = 10 - 1. Let h be 29/o - 2/9. Let q = 3 - h. Solve -2*n - 4 - 2 = q for n.
-3
Suppose 0*u - 3*u + 4*d + 20 = 0, 0 = 2*u - 4*d - 20. Let f be 2/17 - (4158/153)/(-7). Solve -r + f*r + 15 = u for r.
-5
Let n(m) = 1 - 3*m + 2*m - 2. Suppose d = -2*o + 2, -4*d + 4*o - o - 36 = 0. Let c be n(d). Solve 0 = -0*u + c*u + 15 for u.
-3
Suppose 2*g - 3*s + 2 = 7, -5*g + 2*s = 4. Let r(x) = 2*x**2 + 0*x + x + 2*x + 2. Let w be r(g). Solve 2*i = w + 4 for i.
4
Suppose -5*h = -6*h - 3. Let q be 3/(5/(-2) - h). Let u = 16 + 4. Solve -q*t + t - u = 0 for t.
-4
Suppose -3*b = -0*b. Suppose -3*x + i + b*i = -3, -x + i + 1 = 0. Solve 0 = -o - x - 4 for o.
-5
Suppose y = -4*p + 20, -1 = -3*y + 4*p - 5. Suppose y*o - 8 = 0, 5*o - 15 - 5 = -2*r. Solve r*a + 15 = -5 for a.
-4
Let c be 117/15 + (-4)/(-20). Solve -2*d = -c - 0 for d.
4
Let l = -11 - -10. Let b be (-15)/(-10)*(-4)/l. Solve -2*k = -0*k - b for k.
3
Suppose -9 - 21 = 5*q. Let k = q - -8. Solve s = k*s - 5 for s.
5
Suppose -u - 2*r = -9, 2*r = -5*u - 3*r + 30. Solve z = -1 + u for z.
2
Let u = -29 - -54. Let c = u - 1. Let a be (4/(-1))/((-2)/2). Solve 0 = 5*j - a + c for j.
-4
Let d be (2/2)/(3/6). Solve -d*r = 10 - 0 for r.
-5
Let w(v) = v - 3. Let a be w(4). Let u(t) = -4*t**2 + t - 1. Let x be u(-2). Let f = 22 + x. Solve f*d - 4 = -a for d.
1
Let v be (1 - 0)*(-2 + -2). Let z be ((-12)/(-4))/((-3)/v). Solve 12 = -z*k - 0*k for k.
-3
Let y(g) = g**2 - 10*g + 3. Let x be y(6). Let r be (x/(-14))/((-2)/4). Let k be ((-1)/r)/(1/6). Solve -3*z = k - 14 for z.
4
Let a be ((-32)/20)/(3/(-15)). Solve -m + a = -3*m for m.
-4
Let y(x) = -4*x - 9. Let k be y(-6). Suppose 2*l - l = -2*u - 4, -2 = l + u. Let d = -6 - -10. Solve d*s - s + k = l for s.
-5
Let a(v) = v**3 + 8*v**2 - 4*v - 7. Let f be a(-8). Suppose -3*p - 15 = 3*y, -5*p - 8 + f = -2*y. Let d(l) = l + 12. Let i be d(y). Solve 3*j - 6*j = i for j.
-2
Suppose 17 = 4*u + 3*a, 2*a = 4*u - 19 - 3. Let x be (-35)/(-45) + 2/9. Solve x = u*q + 16 for q.
-3
Let a = 11 - -4. Solve a = -2*l + 5*l for l.
5
Suppose 2*b - b = 0. Suppose 3*j = -b + 6. Solve -10 = j*w - 4 for w.
-3
Let b(m) be the third derivative of 1/3*m**4 - 1/60*m**5 + 11/6*m**3 - 3*m**2 + 0 + 0*m. Let d be b(9). Solve c = -d*c + 3 for c.
1
Let w = 12 - 24. Let g be 0*(-3 + (-40)/w). Suppose 2*v = 3*p, -5*p = -2*p + v - 9. Solve g = i - p for i.
2
Let z = -69 - -71. Solve -z*w = -6*w for w.
0
Let i(h) = -h**2 + 8*h + 2. Let r be i(7). Suppose -a + 0*b - b = -r, 2*a - 4*b = 0. Solve -2*j - a = -16 for j.
5
Let b be ((-5)/2 - -1)*-4. Let r be 0 + -3 - (-11 - -6). Solve r*f = b*f for f.
0
Suppose 0 = u + 4*y - 5, -4*u + 3 + 17 = -3*y. Solve u*g + 5 - 30 = 0 for g.
5
Let r = -3 + 1. Let v be 6/(1*(-3)/r). Suppose 2*u = -b - b, v*u = 4*b - 24. Solve 4*f = b*f + 3 for f.
3
Let w = 162 + -162. Solve w = j + 2 + 2 for j.
-4
Let v(w) = w - 1. Let m be v(5). Let d be (-1)/(-3) + 413/21. Solve 9*u = m*u - d for u.
-4
Let n(x) = x**3 - 6*x**2 + 5*x + 4. Let u be n(5). Solve 7*g = u*g for g.
0
Let u = -4 - -1. Let j = u + 1. Let z be -2*j/4*15. Solve -4*v = v + z for v.
-3
Suppose 0 = 3*f + f. Solve f*u = -2*u for u.
0
Let o(b) = -b**3 - 6*b**2 + 7*b + 10. Let r be o(-7). Suppose -u - r = -4*n, 0 = -5*u + 4*n - n + 1. Solve u*m + 15 = -m for m.
-5
Let x(o) = -2*o**3 - 4*o**2 - 3*o - 1. Let g be x(-2). Solve -g*j = -0*j - 10 for j.
2
Let i = -3 + 6. Suppose 0 = 4*h + i*o - 20 - 28, h - 12 = -4*o. Let u be (3 + 0)*(-4)/(-3). Solve h = -n + u*n for n.
4
Suppose -g = 2*i - i - 20, 5*g + 80 = 4*i. Suppose u - i = -3*u, -4*h - 5*u = -33. Solve v = -h*v - 6 for v.
-2
Let f be 2/(-14) - (-72)/14. Solve 0*n - n = f for n.
-5
Let i be (-4)/(-26) - 17/(1105/(-120)). Solve -2*z = i*z + 8 for z.
-2
Suppose 0 = -2*a + 6 + 4. Solve 2*q - 3*q - a = 0 for q.
-5
Let u = 102 + -100. Solve u*k + 0*k = -6 for k.
-3
Suppose 13 = -4*i - g + 66, 0 = -5*i - 5*g + 70. Solve -i = -4*n + 7 for n.
5
Suppose 3*i - 6 = 2*o - 0*i, o - 2*i + 5 = 0. Suppose -o*w = -v + 22, -v - v = 3*w - 17. Suppose -2*j - v = -j + 4*z, 5*j = -z + 11. Solve j = k + 2 for k.
1
Let w be (4 + -3)/(3/69). Suppose 4*n = -2*d + 20, -n - 3*d - 2*d = -w. Solve -8*o = -n*o + 15 for o.
-3
Let l = 26 + -25. Let u = 10 - 7. Let g be 1 + (u - (l - 1)). Solve -2*y = -g*y + 10 for y.
5
Let o(c) = c - 2. Let w be o(5). Suppose 0 = -w*f - 3*z - 2*z + 1, 0 = -5*z + 10. Let n(r) = r**2 + 3*r. Let s be n(f). Solve s = 2*g - 3*g + 3 for g.
3
Let x = -17 + 13. Let j = x - -4. Solve -s + 3 - 8 = j for s.
-5
Let v = 11 - 11. Suppose 0 = -m + 2*g + 16, -4*g - 4 = -0. Suppose 2*z = -4*p + 5*z + m, -p = -5*z - 12. Solve v = -2*x - p*x - 8 for x.
-2
Let n = -16 - -6. Let y be 2/n + (-22)/(-10). Suppose 32 = 5*z - 3*z + y*x, -3*z = 4*x - 52. Solve -z = r + 3*r for r.
-3
Suppose 2*g - 10 = 2. Let q(i) = -i - g + 3 + 0*i. Let v be q(-3). Solve v*m = m for m.
0
Let t be ((-6)/9)/(1/(-3)). Let u be 2/6*6/t. Solve 5*b + u = -19 for b.
-4
Let r(m) = -m**2 - 7*m - 6. Let b be r(-4). Solve -25 = -w + b*w for w.
-5
Suppose -7*f = -3*f - 40. Solve 0*h - 2*h = -f for h.
5
Suppose 2*v + 0*s - 23 = s, 8 = 2*v + 4*s. Solve -5*k + 0*k + v = 0 for k.
2
Let i be 6/(-4)*2/1. Let f be (3/(-2))/(i/6). Solve z - 4*z + f = 0 for z.
1
Let y = -13 + 4. Let j = 14 + y. Solve 6 = -j*t - 4 for t.
-2
Let p = 4 + -1. Let t = p - 1. Let g be 2 + -1 - (-6 + -1). Solve -g = -2*j - t*j for j.
2
Let y(g) = 7*g + 1. Let x be y(-1). Let t = -4 - x. Suppose 0 = b + t*b - 21. Solve 0 = -2*k + 1 - b for k.
-3
Suppose u - 1 = -2*a - 7, 0 = 4*u - 4*a - 24. Solve 3*j = -u*j for j.
0
Let a(b)