= -p for z.
1
Let t(c) = 3*c - 15. Let s be t(7). Suppose 2*q = s*q - 4. Solve 0 = -0*h + h + q for h.
-1
Suppose 4*x - 4*f - 8 = 0, 0 = 9*f - 5*f - 12. Let u = 7 - 7. Solve x*w - w - 4 = u for w.
1
Suppose -3*l = -l - 6. Suppose l*d = -12 + 27. Suppose -d*k + 3*k = -4*r - 4, 3*r = 3. Solve k*c - 5 = 3*c for c.
5
Let c be (-24)/60 - 214/(-10). Let p = c - 16. Suppose 0 = 2*r + p*i - 31, 2*r - 3*i = -r - 6. Solve 9 = r*w - 3 for w.
4
Let f = 16 - 10. Let p be (25/4 - 2) + f/8. Solve p*r = r for r.
0
Suppose -209*k = -206*k - 75. Solve 3*v - k = 8*v for v.
-5
Suppose c + 4*c = -4*b + 8, -b = -2. Let g be 2 + (c + -1)/(-1). Solve -5 = -g*r - 2 for r.
1
Let q be ((-2)/4)/((-1)/4). Let t be (-2)/12 - (-437)/138. Suppose -q*w = t*w - 25. Solve -3 = -w*s - 23 for s.
-4
Suppose -10 = -4*a + 138. Let s = -33 + a. Solve -m - s = -2*m for m.
4
Let y(z) = -z + 10. Suppose -4*o = 5*x - 37, -o - 6 = -3*x + 2*o. Let k be y(x). Solve 0 = 3*u + 2*u + k for u.
-1
Let m = 5 - -8. Let f be -4 + 1 - (m + -21). Solve f*a + 4 = -21 for a.
-5
Let v be -9*8/48*10/(-3). Solve -v = 5*m + 15 for m.
-4
Let r be 32*2/12*48/32. Solve 45 = t + r*t for t.
5
Suppose -3*j = -0*j + 3*r - 168, r + 2 = 0. Let n be (j/4)/((-3)/(-6)). Let z = n - 25. Solve -z*o + 13 - 1 = 0 for o.
3
Let u be 6 - ((-42)/7 - -10). Let o(n) = n**2 + 3*n + 4. Let j be o(-3). Solve u*i - 4 = j*i for i.
-2
Let a be 36*((-94)/12 + 8). Let v(w) = -3*w - 2. Let p(f) = 7*f + 5. Let u(h) = 2*p(h) + 5*v(h). Let c be u(-2). Solve 2*j + c + a = 0 for j.
-4
Let h be (-1*5)/(50/(-30)). Solve h*j + j = 16 for j.
4
Suppose n + 2*y - 10 = 0, -y - 2 = -6. Suppose 4*f = -3*s + 29, 2*s - 4*f + n = -12. Solve 0 = s*m + 1 + 8 for m.
-3
Suppose o - 15 = -3*j, 5*j - 7 = 4*o + 18. Solve o*x = 4*x - 20 for x.
5
Let q = 3847 + -3845. Suppose -5*j + 1 = -59. Solve -j = -q*k - 4 for k.
4
Suppose 0 = 5*o - 7 - 13. Suppose o = j - 11. Solve -u = -4*u + j for u.
5
Let p = -687 - -688. Solve -7 = 6*a - p for a.
-1
Let m(o) be the second derivative of 5*o**3/6 - 5*o**2/2 + 21*o. Let v be m(2). Solve 0*g = g - v for g.
5
Let u(t) = -t**2 - 9*t - 14. Let m be u(-4). Let f be (49 - -1)*(m/(-4) - -2). Solve 3*h + f = -2*h for h.
-5
Let t be (-1 - -19)/(-7 - -6). Let h = t + 14. Let z = h + 9. Solve z*s + 11 = -9 for s.
-4
Let u be 17/(-4) + 3/12. Let x be u/(-28)*2 - (-2)/(-7). Solve 0 = -g - 1 - x for g.
-1
Suppose 169 - 105 = 8*o. Solve -o*h - 5 = -13*h for h.
1
Let c(b) be the third derivative of b**4/6 + 10*b**3/3 + 31*b**2. Let d be c(-4). Solve a = -d + 1 for a.
-3
Suppose 0 = -6*t - 32 + 326. Let r = -34 + t. Solve -r = 3*c - 0*c for c.
-5
Suppose -3*j = 4*j - 392. Let u = j - 35. Solve -5*c + 4 + u = 0 for c.
5
Let a(c) = -c**2 - 13*c - 17. Let r be a(-11). Let i be 9/15 + 7/r. Solve -y = -3 - i for y.
5
Suppose 2*s - s = -3. Let a be 0/(s*(-3)/(-9)). Solve 6*l - 7*l + 4 = a for l.
4
Suppose 45 - 237 = -8*l. Solve 0 = 8*f - l for f.
3
Let p = 38 + -36. Suppose 5*z = 5, 2*g + 0*g - p*z + 2 = 0. Solve g = s - 5 + 3 for s.
2
Let z = -5 - 0. Let p = -4 - z. Let c = 11 + -8. Solve c*d = 4*d - p for d.
1
Let l = 51 - 46. Let b(h) = -h**2 - 4*h + 2. Let a be b(-4). Solve -a*y = -1 + l for y.
-2
Let c(m) be the third derivative of -m**4/24 - m**3/6 - m**2. Let h be c(-2). Let l be 8 - 0 - (h + 3). Solve -l*u = -0*u + 20 for u.
-5
Let u be ((-2)/4)/(2/(-8)). Let o be 1 - -2*2/4. Solve x = o*x + u for x.
-2
Let d(c) = -2*c**2 - 24*c + 2. Let a be d(-12). Suppose g = -5*v + 15, g = -g + 5*v. Let h be 2*2/(-4) + g. Solve -6 = h*q + a for q.
-2
Let a be 2 + 4/8*-26. Let h(d) = d**2 + 12*d + 15. Let r be h(a). Suppose -5*m - r + 29 = 0. Solve -m*o = -o for o.
0
Suppose v + i + 74 = 3*v, 8 = 2*i. Suppose 2*s = -4*n + 48, s + 2*n + 3*n = v. Let d be (-3)/(8/s - 1). Solve 0 = 5*g + d + 8 for g.
-3
Let q(z) = 4*z**2 + 25*z + 62. Let x be q(-3). Solve -28*w = -x*w + 25 for w.
-5
Suppose 98*w - 92*w = 0. Solve w = 2*c + 15 - 9 for c.
-3
Suppose 1 = 29*r - 115. Let b = 0 - 2. Let y = 2 + b. Solve -d + 1 - r = y for d.
-3
Suppose -5*z + 3 = 2*r + 13, 0 = 2*r + 4*z + 6. Solve -r*m - 10*m = -75 for m.
5
Let y(a) = -a**3 - 2*a**2 - 2*a. Let s(r) = 2*r - 2. Let f be s(0). Let x be y(f). Solve 8 = 2*m - x*m for m.
-4
Let j(c) = 2*c**2 + 4*c. Let a be j(-3). Let t = a + 0. Suppose 5*o - 11 - 19 = 0. Solve o + t = 4*h for h.
3
Let d(b) = -b**3 + 16*b**2 + 3*b - 42. Let m be d(16). Solve -4*s + m*s + 4 = 0 for s.
-2
Let p(c) = -43*c**3 - 2*c**2 - 4*c - 3. Let z be p(-1). Suppose l - 7*l = -z. Solve 0 = -2*f - 1 - l for f.
-4
Let h(o) be the third derivative of o**4/24 - 4*o**3/3 - 9*o**2. Let f(p) = 8*p**2 + p + 1. Let n be f(-1). Let s be h(n). Solve s = t + t + 8 for t.
-4
Suppose 45*d - 18 = 42*d. Solve -4 = 2*n - d*n for n.
1
Let p(x) = x**2 + 16*x + 62. Let w be p(-6). Solve -8*y = -w*y - 24 for y.
4
Let u(w) = 2*w**2 + 13*w + 2. Let v be u(-7). Suppose t - 5 + v = -5*l, 3*l = -t - 4. Solve l = 3*a - 0*a for a.
0
Let j = -1059 - -1095. Solve 32*u - 8 = j*u for u.
-2
Let d be 82 + ((0/(-2))/(-2))/2. Let h = -78 + d. Solve 0 = -h*o - 0*o for o.
0
Let g = -49 + 59. Suppose 4*c + c = 30. Solve g = -c*m + 4*m for m.
-5
Let v(h) = h**2 - 16*h - 36. Suppose 70 = 3*a + f + 3*f, 3*a + f - 58 = 0. Let y be v(a). Solve -g - 6 + 2 = y for g.
-4
Suppose -2*n = 0, -3*z - 180 = -7*z + 4*n. Suppose 5*t - z = -45. Solve t*s + s = 4 for s.
4
Let l be 12 - (-9 + 4 + 10). Solve d - l*d = 24 for d.
-4
Let p be -5*(33/(-15) - 1). Let l = -24 + p. Let n = 12 + l. Solve 0 = -n*g + 12 + 4 for g.
4
Suppose 9 = -12*j + 69. Suppose -2*u - 13 = -j*k + 9, 2*u + 2 = 0. Solve 0 = k*w + 5 + 7 for w.
-3
Let t be 4/6 + -12*6/(-54). Let c be 22/4 - 1/t. Let j = 7 - 4. Solve 0 = -j*m - 2*m + c for m.
1
Let x = -344 - -350. Solve 0 = -3*o - 18 + x for o.
-4
Let l(x) = -17*x + 742. Let k be l(43). Solve -k*p - 10 - 1 = 0 for p.
-1
Let i be (-4)/(-2 + 3) - 0. Let t be 32/(-14) + i/(-14). Let d be t/(-6) + (-17)/(-3). Solve o + 10 = d*o for o.
2
Let j = 453 - 438. Solve 42*n - 45*n = -j for n.
5
Let n = -49 + 53. Suppose 74 = n*v + 54. Solve 0 = i - v*i for i.
0
Let i be (-8)/(-18) - 280/(-180). Let c = 23 + -18. Solve 13 - c = -i*p for p.
-4
Let q(h) = h**2 + 6*h - 2. Let i be q(-5). Let s(a) be the first derivative of a**2/2 + 10*a + 31. Let u be s(i). Solve -u*l + 20 = l for l.
5
Suppose 0 = -19*n - 21 + 59. Solve 0 = -n*w - 169 + 163 for w.
-3
Suppose -2*s + 3*p = 2*p - 8, -3*s - 2*p = -12. Suppose s*w = -w + 5*v, -3*w - 5*v + 32 = 0. Let x = w - 2. Solve -5 + 1 = -x*b for b.
2
Suppose -6*c + 3*c = 3*v + 3, 5 = -4*c - 3*v. Let j = 3 - 4. Let o be j*(0 - c) + 2. Solve f + f = o for f.
0
Let v(l) = 8*l**2 - 4*l + 3. Let i be v(2). Let x be (-9)/i - 50/(-6). Solve -7 = 3*r + x for r.
-5
Suppose 0 = -5*p + 2*p - 3*o + 3, 0 = -4*p - 5*o + 2. Let i(q) = q**3 - 2*q**2 - q + 5. Let l = -3 + 3. Let b be i(l). Solve p + b = 2*c for c.
4
Suppose g + 3*g + 32 = 0. Let o(b) = 2*b + 19. Let c be o(g). Solve -c*a = 2*a - 25 for a.
5
Let r(k) = -3*k + 72 - 71 + 4*k. Let i be r(-5). Let p be (-1 - i) + (-27)/9. Solve 2*u = -p + 4 for u.
2
Let k be (-9)/2*(-20)/6 + 1. Solve 9 = 7*q + k for q.
-1
Let v(b) = 4*b - 110. Let d be v(28). Solve -r + 0*r = -d for r.
2
Suppose 0 = -5*r - 15, -19 + 9 = -2*a - 4*r. Solve -a = -6*j - 5 for j.
1
Let k(i) = i**3 - 11*i**2 - 10*i - 16. Let t(h) = 6*h + 6. Let j be t(1). Let y be k(j). Solve -4*f + 4 = -y for f.
3
Suppose d = 5*d - 24. Let p(k) = k**3 - 6*k**2 - 2*k + 12. Let j be p(d). Solve -3*h + j + 12 = 0 for h.
4
Let k be (-6)/14 - (-540)/84. Let d be ((-12)/9 + 8/k)*-1. Solve d = 3*p + 3 + 3 for p.
-2
Let k(o) = o**3 + 5*o**2 + 6. Let f be k(-5). Suppose 4*n = 4*c + 48, -c - 4*c - 55 = -4*n. Let m = c - -7. Solve m = -2*u - 0*u - f for u.
-3
Let x = -86 + 94. Let f = 9 - 15. Let w = x + f. Solve -a = a - w for a.
1
Let p = 161 - 10. Solve 149*i - p*i = -10 for i.
5
Let i = 83 + -84. Let y be i*(10/(-40) - 2/(-8)). Solve -n + 5*n - 12 = y for n.
3
Let d = 585 + -566. Solve -18*g = -d*g for g.
0
Let y(g) = -2*g**2 + 45*g - 48. Let j be y(21). Solve j = -0*m - 5*m for m.
-3
Suppose -5*o = 4*c - 12, -11*o + 7*o - 12 = -4*c. Suppose 0 = -4*p - 2*h + 4, -2 = -2*p - 2*h + 2. Suppose p*a = 3*a - 12. Solve 0 = -l - a - o for l.
-4
Suppose -g + 0*g = -5*g. Suppose 7*k - 4