n. Solve 3 = -b*r + r for r.
3
Let c(z) = -z**2 - 7*z + 1. Let o be c(-7). Suppose -2*p = 2*t + o + 9, 3*p = -2*t - 10. Let x be ((-12)/15)/((-4)/10). Solve p = -x*v - 4 - 4 for v.
-4
Suppose -18 = -5*j - 3. Solve -1 = 4*d - j*d for d.
-1
Let u be (-1 - -1)/(-6 + 4). Let y = 6 - 4. Solve u = 3*w - y + 14 for w.
-4
Let s = -13 + 23. Solve 4*h = -s - 2 for h.
-3
Let h(p) = -p**3 + 7*p**2 - 6*p. Let n be h(6). Suppose n = 2*l - 11 - 13. Solve v - 4*v = l for v.
-4
Suppose 5*s = 2*s + 9. Let y(i) = -i**3 - 8*i**2 + 9*i - 3. Let n be y(-9). Let b be (39/3)/(n - -4). Solve -s = -2*x - b for x.
-5
Let y be (1 + -2)/((-1)/2). Solve -5 + y = r for r.
-3
Let u = 2 - 2. Suppose 5*o + 3*k = 79, -o - 3*k + 5*k = -21. Let y = o - 12. Solve u = -9*h + 4*h - y for h.
-1
Suppose 5*y + 0*k = -3*k - 5, 3*y + 4*k = -14. Let l be (-12)/(-16) - y/(-8). Solve l = -v + 4 for v.
3
Let i(t) = t - 3. Let r be i(6). Solve r*n = -n for n.
0
Suppose -15 = -3*l + 5*h, -4*l - 2*h - 15 = 3*h. Let k(z) = z**3 + 10*z**2 + 2*z + 10. Let d be k(-10). Let m be ((-18)/12)/(1/d). Solve m = -l*c - 3*c for c.
-5
Let m(r) = r**3 + 17*r**2 - 16*r + 41. Let k be m(-18). Solve 0*c + k*c + 10 = 0 for c.
-2
Let d = 85 + -83. Solve d*q - 3 = 1 for q.
2
Let a = -5 - -8. Suppose a*f = -f. Solve -v - v = f for v.
0
Suppose 3*h + 3 + 14 = 2*y, -2*h + 10 = 4*y. Let g(s) = 2*s**2 - 6*s - 6. Let d be g(5). Let t be (-4)/d + (-32)/(-14). Solve -t*j = 2 - y for j.
1
Let f(y) = -y**2 - 7*y + 1. Let o be 7*(1 - (-6)/(-3)). Let x be f(o). Solve 2*s = 5 + x for s.
3
Suppose -l + 9 = 2*l. Suppose y = -2*y + l*f + 21, 0 = -3*f - 15. Let a(o) = -o. Let i be a(0). Solve i*p = y*p for p.
0
Let z = 1 + -1. Let p be (-6 - -14) + 0/(-2). Let d = 23 - p. Solve z*a - d = -5*a for a.
3
Let d(j) = 3*j**3 - 2 - 5*j + 10*j**2 - 3*j**2 - 4*j**3. Let f be d(6). Suppose -x + 12 = 2*x. Solve 0*b - x*b = f for b.
-1
Let o = -53 - -54. Let b(v) be the second derivative of v**4/4 - v**3/6 + v. Let n be b(o). Solve -2*m + 12 = n*m for m.
3
Let k(j) = j**3 - 5*j**2 + 5*j - 1. Let u be k(4). Suppose -u*p + 45 = -8*p. Let w(b) = b + 11. Let m be w(p). Solve -4 = m*h - 0*h for h.
-2
Let t(g) = g**2 + 4*g + 3. Let m be t(-4). Solve -2*u + m*u - 2 = 0 for u.
2
Let q be (-2)/(-7) - (-2)/(-7). Let i = -18 - -7. Let a = 14 + i. Solve -a*r - r - 20 = q for r.
-5
Let z be 23 + -2 + 0 + 2. Suppose -u + 2*n + z = 0, n + 1 + 0 = 0. Suppose 4*t - 20 = -4. Solve -t*a - u = -5 for a.
-4
Let c(h) = -2*h**2 + 14*h - 12. Let y be c(6). Solve 0 = -5*i - y + 25 for i.
5
Let x(r) = r**3 - 9*r**2 - 10*r - 3. Let h be x(10). Let g be h + (5 - 2) - 18. Let f be 3/(-2)*24/g. Solve -s - f*s = -12 for s.
4
Let w(t) = 4*t**2. Let u be w(1). Solve -q + u = q for q.
2
Suppose 15 = 4*k - k. Solve -k*v = 1 + 9 for v.
-2
Let l(s) = -s + 23. Let k be l(18). Solve 2*v = -3*v + k for v.
1
Suppose -5*f + 2*q = -90, 20 = 3*q + q. Solve -4*c + 0*c - f = 0 for c.
-5
Let b(i) = -i**3 + 6*i**2 + 8*i - 6. Let p be b(7). Suppose 0 = -5*d + 2*d. Solve t + d = p for t.
1
Let c be 2/(-4)*(0 + 0). Let p(i) = -2*i + 6. Let o be p(2). Solve -o*w = -10 - c for w.
5
Let t(u) = -u**2 + 3*u + 6. Let h be t(4). Solve -2*z - h = -4 for z.
1
Let q be 21/7 + 0/(-1). Solve -3 = 2*s - q*s for s.
3
Let x(d) = -d**3 - 17*d**2 - d - 14. Let g be x(-17). Solve -2*i = i - g for i.
1
Suppose -4*c + 0*v + 3*v = -1, 1 = -c + v. Solve 3*f + c = f for f.
-2
Suppose -10 = -5*r + 5*a, a - 2*a + 6 = 3*r. Suppose 0 = r*y + 3*y. Solve -v = -y*v for v.
0
Let f(w) = 8 + 1 + w - 4. Let a be f(-3). Suppose -2*y + 5*y = 0. Solve a*t = 2 - y for t.
1
Let o = 3 - 1. Let t be (9/(-3))/((-3)/14). Suppose -2*w = -0*w - d - t, 5*w = 2*d + 35. Solve w = z + o for z.
5
Suppose -5*b + 3*b + 6 = 0. Let l = b - 1. Suppose 3*s + 4*n = 6*n, -3*s - l*n = 0. Solve f - 3*f - 6 = s for f.
-3
Suppose -3*i + q - 4 = 0, -4*i - 5 - 15 = -5*q. Let j = 2 + i. Solve 0 = 2*n + j*n for n.
0
Let i(y) = y - 5. Let s be i(8). Let l = 3 - s. Suppose v - 6*v = l. Solve v - 2 = -m for m.
2
Suppose -n = 2*n + 27. Let g = n + 9. Solve 4*l - 5*l = g for l.
0
Let n(w) = 3*w**2 - 2*w - 1. Let d be n(-1). Suppose -82 = -5*a + d*u, 5*a - 4*a - 2*u = 20. Let o = a - 10. Solve o*p - 6 = -18 for p.
-3
Suppose -3*g = 2*g. Solve -3*y = -3 - g for y.
1
Let k(r) be the third derivative of r**4/24 + 11*r**3/6 + 2*r**2. Let g be k(-7). Let p(m) = -m**2 - 3*m + 3. Let l be p(-3). Solve l = 5*n - g*n for n.
3
Suppose 0 = 2*t + 4*w + 8, -5*t = w - 0*w + 2. Solve i + t - 2 = 0 for i.
2
Let p(n) = -n - 9. Let j be p(-11). Suppose 2*z = z + j. Solve -6 = -4*h - z for h.
1
Let b(x) = x - 4. Let h be b(7). Solve h - 1 = -m for m.
-2
Suppose 5*z + 3 = 18. Solve -5*k - z = 7 for k.
-2
Let o = 3 - 0. Suppose -b - v = -0*v - 7, -v = -o*b + 1. Solve -b*x - 3 = -x for x.
-3
Suppose -5*z + w + 14 = 0, 3*w = -z + 6*w. Let k = 0 - z. Let t be k/((-5)/(-4) - 2). Solve -2*x + 0 = t for x.
-2
Suppose 6*o = o + 30. Let y(i) = -i**3 + 6*i**2 + i - 7. Let z be y(o). Let w be 23/4 - z/4. Solve 2*c - w = -0*c for c.
3
Let l = -8 - -20. Solve 3*n + n + l = 0 for n.
-3
Suppose d + 0*d = 3. Solve d*q - 4*q = -1 for q.
1
Let h = -4 - -2. Let i(d) = -d**3 - 2*d**2 - 2*d + 2. Let y be i(h). Solve -z - 10 = -y*z for z.
2
Let x(v) = v**2 - 4*v - 5. Let y be (-16)/(-10) - (-4)/10. Let i(w) = 3*w - 1. Let a be i(y). Let z be x(a). Solve 5*p - 2*p - 15 = z for p.
5
Let k be 3 - 2/(-3)*3. Suppose -k*m + 1 = -n, n + 0 = -m - 1. Let j be (0/(-2*1))/(-2). Solve j = -m*b + 5*b - 5 for b.
1
Let n(t) = 4*t - 16. Let z be n(7). Solve 0 = -7*b + z*b for b.
0
Suppose 6*u + 2*u = 48. Solve 0 = -m - m + u for m.
3
Suppose -4*v = 5*s - 29 - 53, 4*s = 3*v - 46. Suppose v - 3 = 5*b. Solve c + 6 = b*c for c.
3
Let l(b) = 10*b + 8. Let r be l(0). Solve 5*a + r = -2 for a.
-2
Let x = 12 + -10. Suppose q + 0*q = -5*u + 23, 2*q - x*u + 2 = 0. Solve -q + 4 = l for l.
1
Let d(n) = -n - 5. Let w be d(-9). Suppose 0*z = w*z - 16. Solve z*j = 5*j - 5 for j.
5
Suppose 0 = 3*r - 252 + 18. Let q be (-4)/(-6)*r/4. Solve 5*p = -q + 33 for p.
4
Let a(y) = 2*y - 5. Let p be a(5). Suppose 4*q - 13 = -0*k + 5*k, 5*q - p*k = 15. Solve 15 = -q*l - l for l.
-5
Let a(s) = -s**2 - 7*s - 2. Let j be a(-3). Let n = 9 - 8. Let b be n + 1*(-3 + 4). Solve j = -b*m + 4 for m.
-3
Let j(n) = -n**2 + 8*n - 9. Let l be j(5). Suppose -4*u + 3*m = -8, -l*u + 2*u + m + 16 = 0. Solve 4*f - 7 = u for f.
3
Let o be (-4 - -1) + 5 + (-2 - -2). Solve 3*k + 3 = o*k for k.
-3
Suppose 0 = 2*q - 2*v - 4, 5*v + 5 = -3*q + 7*q. Suppose q*a = -4 - 1. Let u be 24/(2 - a) + -2. Solve u*p = p for p.
0
Let t = -14 - -16. Solve 7 = w + t for w.
5
Suppose 0 = 974*l - 979*l + 75. Let m = 10 + -6. Solve -l + 3 = m*v for v.
-3
Let j(h) = -h - 4. Let q be j(-6). Suppose -q*f + 0*f + 10 = 0. Let c = 7 + -2. Solve f*g = 5 + c for g.
2
Let j(s) = s**2 + 16*s - 9. Let n be j(-17). Solve -3*q = -7*q - n for q.
-2
Let x be (-5)/((-25)/10) + 4*1. Solve -3*o = -x*o - 6 for o.
-2
Let g(k) = -k**2 + 4*k + 1. Let m be g(3). Suppose 0 = 3*q + 15, 2*b - 4*q - 11 = 5*b. Suppose 8*w - 25 = b*w. Solve w*y - m = 16 for y.
4
Let g = -9 + 9. Solve 3*x + 1 - 4 = g for x.
1
Let c be (12/10)/(2/(-10)). Let a(q) = q + 14. Let t be a(-6). Let h = t + c. Solve h*l = -3*l for l.
0
Let n(g) = -g**3 + 4*g**2 - 3*g. Let m be n(2). Suppose -m*r + 4*r - 4 = 0. Let z be (-2)/4*(-12)/3. Solve 0 = -0*v + z*v + r for v.
-1
Let h(t) = t**3 - 12*t**2 - 14*t + 15. Let g be h(13). Solve -g*k = 3*k + 10 for k.
-2
Suppose -20 = -2*p - 4*t, 17 + 15 = 4*p + 4*t. Suppose -5*o - 2*j = -3*o - p, 9 = 5*o - j. Let b = o - 0. Solve d = b*d - 3 for d.
3
Let u(q) = -q**2 + 8*q + 7. Let b be u(9). Let y = b + 8. Solve -6 - y = 4*c for c.
-3
Suppose 18 = 5*o - z, 3*z + 0 = -2*o - 3. Solve 0 = o*r - 7*r - 16 for r.
-4
Let q(a) be the second derivative of a**3/6 + 7*a**2/2 + 2*a. Let i be q(0). Solve -i = -5*t + 8 for t.
3
Let l(m) = -2 - 5*m + 8 - 2 - m**2. Let r be l(-5). Let n = 2 - -4. Solve -r*x + n = -x for x.
2
Suppose -10 = -8*q + 22. Solve v = -q*v - 20 for v.
-4
Let i be 1/(-5) - (-44)/20*1. Solve 4*w = 5*w + i for w.
-2
Let k(x) = x**3 - 4*x**2. Let f be (-380)/(-90) + 4/(-18). Let o be k(f). Solve o = 3*g + g - 12 for g.
3
Let t(i) = -i**3 - 5*i**2 - 6*i - 2. Let d be t(-4). Let q be d*(-2)/8*-2. So