= p - 6. Solve a = x + p*x - 12 for x.
3
Let b = 1060 + -1058. Solve b*v - 30 = -20 for v.
5
Let u be ((-3)/(-2) - 2)*12. Let z be 16/(-1) - (7 + u). Let n = z - -27. Solve -8*m + n = -3*m for m.
2
Let s(x) = -x. Let q(w) = 3*w + 15. Let m(k) = -q(k) + 5*s(k). Let y be m(-5). Suppose -n - 4*z = -y, -2*z + 53 = n + 4*n. Solve -4*o = -o - n for o.
3
Let j = -8 + 6. Let v = -7 + 27. Let l be 5/v + j/8. Solve l = 3*u - 2*u for u.
0
Suppose -4*z = -c - 16, 7*z + 4*c = 8*z - 4. Solve 3*w = -7*w + z*w for w.
0
Let o(c) = -c**2 + 10*c - 18. Let s be o(9). Let z = 20 + s. Solve 3*w = 4 + z for w.
5
Let d(g) = -2*g + 17. Suppose -12 = -n - 5. Let i be d(n). Suppose 0 = -7*q + 10*q - i. Solve -a = -q - 2 for a.
3
Let g(z) = -26*z + 26. Let b be g(1). Solve p - 6*p + 5 = b for p.
1
Suppose 0 = -2*b - 5*u - 10, 8*b = 11*b + 5*u + 10. Solve b = -2*o + o + 5 for o.
5
Suppose -3*z + 9 = 0, 5*z + 54 + 16 = 5*y. Solve -12 = -y*r + 73 for r.
5
Let f(w) = w**3 - 5*w**2 + 5*w + 7. Let b be f(5). Let o = -30 + b. Let t(q) = -q**3 + 4*q**2 - 3*q + 1. Let n be t(2). Solve n*u + o = 4*u for u.
2
Suppose 5*w - 15 - 5 = 0. Let a be (-4)/(-4 + 8/w). Solve -a*x - 2 = -4 for x.
1
Suppose -2*y - 9 = 3*z - 5*y, -6 = -2*z - 2*y. Let t be 6*(1 + 3 - -12). Suppose 0 = 7*s + s - t. Solve -3*u - s = -z*u for u.
-4
Let r = 3 + 0. Let f be (-2310)/(-195) + (-4)/(-26). Suppose 0 = -2*z + 5*o + 6, 4*z = 4*o - 2*o + f. Solve z*i + 0*i = r for i.
1
Suppose -26*k + 297 = -873. Solve -k = -2*z - 39 for z.
3
Let q(x) be the first derivative of x**3 - x**2/2 - 1. Let s be ((-1)/6*-2)/((-1)/(-3)). Let b be q(s). Solve 4 - b = i for i.
2
Let r(o) = -7*o**2 - 5*o. Let w(s) = -14*s**2 - 9*s - 1. Let h(g) = 9*r(g) - 4*w(g). Let y be h(-5). Let d be y/(-24) + (-2)/8. Solve d*j - j = 0 for j.
0
Let l be (4/6)/((-5)/(-180)). Let p(y) = -y**2 + 16*y - 13. Let b be p(15). Suppose -3*d - 1 = -5*j + 4, -b*j + 28 = 4*d. Solve l = d*c + 9 for c.
3
Let s be 0*(-8 + 4 + 3). Solve s*b - 9*b = -45 for b.
5
Let j(l) = l**3 - 27*l**2 + 50*l + 16. Let r be (-4 - -3)*-27 + -2. Let s be j(r). Solve -4*w - 4 = -s for w.
3
Let f(c) = 8 - 2*c + 35 + 4*c. Let b be f(-21). Solve -2*z = -3*z + b for z.
1
Let h = -562 - -562. Solve h = -4*c + c - 12 for c.
-4
Suppose 11*t + 7 = 73. Suppose 12*c - t - 30 = 0. Solve -1 = -2*n + c for n.
2
Let t be ((-3)/2)/(3/(-6)). Suppose -2*w = t*z - 4*w - 20, -z - w = 0. Solve -z*o + 6 = -2*o for o.
3
Suppose 16*c - 2*c - 336 = 0. Solve -4*b = c - 4 for b.
-5
Let k be (-4)/12 - 1/(-3). Let d = 85 - 83. Solve -w + d + 3 = k for w.
5
Let p = -15 + 20. Solve 16*x - 33 = p*x for x.
3
Let x(t) = -2*t**2 - 7*t. Let c be x(-3). Let z = -14 + 17. Solve c = z*a - 12 for a.
5
Let d(q) = q**3 - 2*q**2 - 4*q + 1. Let y be d(3). Let h be 0 + -4 - -6 - y. Solve -b - h = -0*b for b.
-4
Let t be (9*(-6)/36)/(9/(-30)). Solve 0*o - t*o + 20 = 0 for o.
4
Let w = 19 - 12. Suppose -20 - 29 = -w*z. Solve -2*c - 1 - z = 0 for c.
-4
Let j = 16 - -4. Let g(s) = -s**2 + 2 - 2*s - 6*s - 9*s. Let y be g(-17). Solve -2*k = y*k + j for k.
-5
Let m = -34 - -18. Let t be (m/(-48))/((-2)/(-24)). Solve -t = 4*v + 16 for v.
-5
Let f(x) = 1. Let t(w) = 2*w - 4. Let p(s) = f(s) + t(s). Let c = -8 + 13. Let a be p(c). Solve -a + 2 = 5*k for k.
-1
Let c(w) = -9*w + 296. Let i be c(28). Solve 10*l = -l + i for l.
4
Suppose 4*a = 3*c, 0 = -c - 6*a + 5*a. Solve t - 3 = -c for t.
3
Let j(c) = 2*c. Let u be j(1). Let s be (15/10)/((-3)/(-42)). Let b = -19 + s. Solve b*w - u = -0*w for w.
1
Let f be 4/6*-3 + 2. Let m(s) = s**3 + s**2 - s + 15. Let w be m(f). Solve w = -2*u + 5*u for u.
5
Suppose -231 = 4*q - f, -241 = 4*q - 4*f - 25. Let b be q/(-4) - 1/(-4). Let o = -13 - -17. Solve -b = o*i - i for i.
-5
Suppose 0*i - 63 = -3*i. Suppose -i*v + 11*v + 50 = 0. Solve -10*n + 25 = -v*n for n.
5
Suppose 20*d - 22*d + 46 = 0. Let t = d - 23. Solve -2*f + 0*f + 6 = t for f.
3
Let j = 2 - -1. Suppose 4*k - 2*z = 7*k + 6, 0 = z + 3. Solve k = -j*g + 3 - 15 for g.
-4
Suppose 2*o = -4*s - 16, 5*s + 14 = -4*o - 12. Let h(a) = -a**2 - 5*a + 2. Let x be h(o). Solve 0 = -x*q + 4*q + 8 for q.
4
Suppose t = -t - 30. Let y be ((-5)/(t/(-9)))/(-1). Suppose -22 + 48 = 13*i. Solve -i = f - y for f.
1
Let g(t) = -t + 20. Let y be g(11). Let h = 2 - y. Let i(j) = -j**2 - 6*j + 9. Let c be i(h). Solve -6*m + 8 = -c*m for m.
2
Let n be -7 - -3 - (4 - 3). Let i be (-2)/n + (-126)/(-35). Suppose -5*f - 7 = -i*d + 34, -2*d - 17 = 5*f. Solve -d*y + 0*y + 12 = 0 for y.
3
Suppose -3*j = -5*j - 3*b + 10, 5*j + 2*b = 25. Suppose 1 = l, -2*h - 4*l = 2*h - 16. Solve 4*t = -h - j for t.
-2
Suppose -31 = 3*l + 71. Let x = -34 - l. Solve -7*m + 2*m + 25 = x for m.
5
Let k be 1 + (-6)/(-2)*1. Let t(g) = -3*g**3 - 9*g**2 - 3*g. Let h be t(-3). Suppose 0 = -2*c - k, h*c - 70 = -4*d + 4*c. Solve -2*b + d = 2*b for b.
5
Suppose -64*v + 70*v = 12. Solve -17 = v*z - 19 for z.
1
Let v = -13 + 17. Suppose v*t = 2 + 6. Suppose 2*r + 9 = -w - 4*w, 0 = 5*r - 5*w - 30. Solve 5 = -t*n + r*n for n.
5
Let p(o) = o**3 + o**2 - 3*o. Let g be p(-2). Suppose s = g*s - 12. Suppose -7*d + d + s = 0. Solve -d*h = -h for h.
0
Let f(s) = 2*s**3 - 2*s**2 - 10*s + 8. Let p be f(3). Solve -p*c = -10*c for c.
0
Suppose 145 = -t + 154. Solve 0 = -t*g + 2*g - 21 for g.
-3
Suppose 4*r - 22 - 1 = g, -5*r + g = -29. Solve -6*y = -r - 12 for y.
3
Let c(v) = -v + 37 - 116 + 34 + 32. Let h be c(-18). Solve -h*y - 5 - 5 = 0 for y.
-2
Let t = -205 - -209. Solve q = t*q + 9 for q.
-3
Let o(r) = -2*r - r**2 + 11 + r - 7*r + 0*r. Let q be o(-9). Solve x = q + 2 for x.
4
Let u(i) = -i - 5. Let z be u(-5). Suppose -4*p = -5 + 1. Suppose g - 3 = -p. Solve 0*h - g*h = z for h.
0
Suppose 4*c - 26 = 10. Suppose c = 3*j - 3. Let r be (4/6)/(j/18). Solve 4*p + r = -1 for p.
-1
Let k(a) = -39*a - 16. Let d be k(-2). Let v = 70 - d. Solve 4*l = -0*l + v for l.
2
Suppose 0*m - 25 = -4*c + 5*m, 3*c = 5*m + 25. Solve c = -22*a + 5*a - 51 for a.
-3
Let s(g) = 14*g**2 - g. Let r be s(1). Suppose r = 5*l + 3. Suppose l*n + 3*c - 12 = 6*c, 0 = 4*c + 16. Solve n = 3*p - 8 - 4 for p.
4
Let h be -4*1*(-6)/8. Let y(m) = 3*m + 17. Suppose -5*x + 5 = -6*x. Let a be y(x). Solve 0 = -h*g + 2*g - a for g.
-2
Let p(r) = -2*r. Let o be p(-1). Let g(f) = -36*f - 6. Let d be g(3). Let w = -112 - d. Solve -w*s - o*s = 0 for s.
0
Suppose -4*a + a + 2*o + 131 = 0, -o = -2*a + 86. Suppose -5*i + 12 = -2*h - a, 0 = -5*i + 3*h + 57. Let c = i - 7. Solve c*b = -b + 9 for b.
3
Let n(p) be the second derivative of p**5/20 + p**4/2 + 7*p**3/6 + p**2 + 15*p. Let m be n(-3). Solve 20 = 3*y - m*y for y.
-4
Let s(c) = c**2 - 17*c + 19. Let a be s(16). Let p be 1*3*(3 + (a - 5)). Suppose 0 = -u + 4*u - 2*g - 26, 3*g = 5*u - 43. Solve p*j - 1 - u = 0 for j.
3
Let m(y) = -3*y**3 + 7*y**2 - y**2 + 2*y + 4*y**3 + 12 + 0*y**3. Let n be m(-6). Suppose -5*q - 5*b = n, 4*b + 12 = q - b. Solve q = -2*x - 0*x for x.
-1
Let u be (-4)/30 + (-626)/30. Let j = u + 22. Suppose 5*y = 2*i - 18, y = -0*i + 2*i - 10. Solve n + i + j = 0 for n.
-5
Let t be -70 + 2*(-6 - -2)/8. Let r = -69 - t. Solve 1 = r*q - 5 for q.
3
Suppose -14 - 2 = -4*x. Let i(r) = -6*r + 14. Let c be i(x). Let s = -5 - c. Solve b = s*b for b.
0
Let m = 3 - 1. Suppose -7*y + 78 = -y. Suppose 0 = -u - y + 15. Solve -u*v - m*v = 8 for v.
-2
Let j(y) = y. Suppose 5*t = -2*h + 35, 0 = -5*t - h + 2*h + 35. Let z be j(t). Let n = z + -4. Solve -n*c + 14 - 2 = 0 for c.
4
Let h = 632 + -617. Solve -4*b + 5 = -h for b.
5
Let l be (25/5)/5 - -19. Solve l = 10*m + 30 for m.
-1
Let k = -23 + 10. Suppose -147 = 11*t - 26. Let o = t - k. Solve o*f - 7*f - 25 = 0 for f.
-5
Let d(m) = -m**2 + 8*m + 23. Let y be d(10). Suppose -62 = -y*g - 2. Solve 5 = -5*w - g for w.
-5
Suppose -5*o - 4*t = -76, -3*o + 57*t - 53*t + 52 = 0. Let k(c) = -2*c - 7. Let j be k(-6). Solve j*m + o = 41 for m.
5
Let r(a) = a**2 + 11*a - 1. Let p be r(-8). Let f = 29 + p. Let o be 2*((-2)/f + 1). Solve x = -4 - o for x.
-5
Let g(d) be the first derivative of d**4/4 + d**3/3 - d**2/2 - 19. Let c be g(0). Solve -m = -c + 3 for m.
-3
Let k(r) = -r**2 - 4*r + 24. Let a be k(3). Suppose 0 = f + 4*f. Solve a*x = -f*x - 6 for x.
-2
Let g be (1 - 2)*6/(-2). Suppose -3*t - 4*q + 15 = 0, -g*q - 12 = -5*t + 13. Let d be t/2*(-12)/(-15). Solve