= -n for p.
-5
Let r be (4/(-14))/(6/(-84)). Solve 4*c = -2*l + r, -l - 2*l = 4*c - 8 for l.
4
Let m be -1 + -3 + 6 + 5 + -1. Let l be (4/m)/(20/6 + -3). Let j = -5 - -9. Solve -x - 17 = j*u, 5*x + l*u = u + 10 for x.
3
Suppose 0 = -7*g - 4*g. Solve g = 2*o + 8, -3*f + 5*o = -4*f - 22 for f.
-2
Let b be -67 - ((-42)/(-7))/(9/6). Let p = -69 - b. Solve -5*o - 4*u + 20 = u, 0 = 5*o - p*u - 6 for o.
2
Let g(j) = 8*j + 45. Let i be g(-5). Let s be 4*(5 - 4/1). Solve i*y + 3*n + 5 = 0, 0*y = -s*y + 5*n - 41 for y.
-4
Suppose 6*g - 4 = 2*g. Let d = 1 - g. Suppose 3670*w - 3677*w + 20 + 1 = 0. Solve 2*v - w*m + 25 = d, 4*v - 5*m = v - 40 for v.
-5
Suppose 0 = t + 168 - 179. Solve -3*q + 0*w - t = -w, -w = -q - 3 for q.
-4
Suppose 0 - 16 = -4*r. Suppose o = 2*o + r*t - 8, -3*o = 5*t - 17. Let y = 2 + 6. Solve q = -h - y, o*h + 11 = 3*q - 0*h for q.
-3
Suppose 0*f = f + 55. Let b = f + 59. Solve 3*w = -c + b*c, 0 = -3*w - 4*c + 14 for w.
2
Suppose 22 + 86 = 12*v. Solve -c + 6 = -0*w + w, -v = -c - 2*w for c.
3
Let s be (-58)/(-7) - 4/14. Let x be (s/4)/(-6)*0. Suppose x*k - 22 = -5*h + k, 3*h - 5*k - 22 = 0. Solve 0 = 5*c + 2*q - 5*q - h, 0 = -4*c - q - 7 for c.
-1
Suppose 0*c = -3*c. Let w = -1563 + 1566. Solve 0 = -4*l - c*u - u - 3, -2 = w*l + u for l.
-1
Let c be 1 - 22*2/(-4). Suppose -3*s = -c - 21. Solve 4*b - 3 = 5*o - 16, 3*b + s = 4*o for o.
5
Let w(t) be the third derivative of t**4/24 - 5*t**3/3 + 16*t**2. Let s be w(12). Suppose -5 = -2*l + 1. Solve -s*m = 5*f + 2*m + 12, -3 = l*f + m for f.
0
Suppose -5 = -3*k - u + 9, -5*k = u - 22. Solve 2*x - k = 4, 0 = -n - 4*x + 14 for n.
-2
Suppose y + 0*y - 2*k - 8 = 0, -5*k - 17 = -y. Let w be 2 - 1/(y/20). Let q = w + 10. Solve 2*l + 2*o + 1 = 7, -q*l - 4*o + 6 = 0 for l.
3
Suppose 52 + 53 = 3*a. Let y = 12 + 12. Let x = a - y. Solve o - k - x = -2*o, 2*k + 7 = o for o.
3
Let s(m) = m**3 - 7*m**2 - 7*m - 2. Let d be s(8). Suppose 8 = -d*v + 2*v. Let g be (1 - 2)/v*0. Solve q + 2*j - 8 = 6, g = -4*q - 5*j + 41 for q.
4
Suppose -3*m + 3 = -3*s, 9*m - 5*m - 5 = 3*s. Suppose 6*i - 2*i - 42 = -5*j, -3*i - 2*j = -28. Solve 2*z - i = -m*v, -2*v - 2*z + 8 = v for v.
0
Let x be ((-5)/(-25) - 12/10)*-14. Solve -u = 2*a - 0*u - x, -5*u = 3*a - 35 for a.
5
Suppose 3*a + 54 = -0*a. Let f be -7*9/(a/4). Solve -5*y + 10 = s, 2*y = -4*s - 0*s - f for s.
-5
Let r = 1039 + -1038. Solve -3*j - 21 = 3*m, 3*j - 2*m = -0*m - r for j.
-3
Let h(q) = q**2 - 3*q - 6. Let m = -48 + 54. Let b be h(m). Solve -4*y + b = 6*i - 2*i, 0 = 5*i + 3*y - 19 for i.
5
Let t be (-54)/(-12) + 2/(-4). Suppose -3*q + 2 = -t*l + 33, -3*q + 29 = 2*l. Let b be 6/l + 7/5. Solve -b*h - 22 = -4*u, -2*u + 4*h + 29 = u for u.
3
Let h(v) = -v**2 + 7*v - 5. Let q be h(5). Suppose -r - q = -15. Let a be ((-5)/r)/(1/(-8)). Solve -10 = -2*p - 4*l, 0 = -a*p + 3*l + 2*l + 20 for p.
5
Suppose 0 = -3*j + 4*n + 35, -5*j + 15 = 2*n - 0*n. Suppose -j*c - 19 = -144. Suppose 4*k - c + 5 = 0. Solve i = 4*s + k, -5*i - 2*s + 1 = -2 for i.
1
Let t be (-12)/(-18)*(4 - 1). Let z = -1 + 3. Suppose i = t*i - z. Solve 0 = -i*d + p + 7, -4*d + 4*p = p - 19 for d.
1
Let o = 7 - 12. Let t = o - -31. Solve 4*g + t = -3*y, -y + 5*g + 0*g + 23 = 0 for y.
-2
Suppose -7*n + 4*n + 36 = 0. Let c be (-18*2/(-4))/1. Let y be -2 - (4 + -1 - c). Solve 12 = y*a, 3*m + 3*a = a + n for m.
2
Let d = 28 - 25. Let m be -3*d/(-6)*-4. Let v(a) = -5*a - 14. Let x be v(m). Solve -3*z - 13 = -2*k, 4*k - k - z = x for k.
5
Let n = -628 + 630. Solve 5*q = n*v - 7 + 33, -q - 5*v = 11 for q.
4
Suppose -2*y - 22 = -4*d, 5 = -2*d - 5*y - 14. Suppose -h + d*w = 4*h + 9, -5*h = -w + 3. Solve 4*x = 4*l + 28, -l - 3 = -h for x.
4
Suppose -3*y + 2 = 5*l + 1, 0 = -3*y + 2*l + 8. Solve -j + 3*j = -y*x + 4, -2*j = 4*x - 8 for j.
0
Let y(n) = 2*n - 18. Let o be y(5). Let t be (-12)/o*(-1 + 3) + 4. Solve 10 = -i - 3*m + 28, -4*i = -m - t for i.
3
Let l be (-3 - -7)*(-5 - -7)/2. Solve -p - 5*s - 41 = 3*p, p - 16 = l*s for p.
-4
Let n = 1209 - 1207. Solve -t + 23 = -5*c, 4*t - n*c - c - 24 = 0 for t.
3
Let k(s) = 3*s**2 + 3*s. Let o be k(-2). Let d = -1 + o. Suppose -2*q + 5 + d = 0. Solve 5*l - 2*b - 32 = 2*b, -5*b - 35 = -q*l for l.
4
Suppose -2*a + 70 = -2*k, -4*k - 28 + 105 = 3*a. Let c = a + -21. Solve -g + 8 = -5*j, -g - j - 3*j - c = 0 for g.
-2
Let q be 1/((1 + -2)/1). Let y be (-14)/2*q + 3. Let z = -8 + y. Solve 0 = -2*x + z*a + a - 2, 4*x = a - 14 for x.
-4
Let o be (-23)/(-7) + (-18)/63. Suppose -l + 5 = r - 5, -o*r + 5 = -2*l. Solve 0 = -u - r*i, -3*u + 3*i = -6*u + 12 for u.
5
Let m(n) be the second derivative of -n**4/12 + 7*n**3/6 - 9*n**2/2 + 10*n. Let t be m(4). Solve 16 = -t*a - 5*r, 0 = -5*a - r - 2 - 10 for a.
-2
Let j be 2/(-5) - 54/(-10). Suppose 4*o + j - 17 = 0. Solve 5*z - 2*b - 21 = -2, o*z = -2*b + 21 for z.
5
Suppose 0*b - 8 = -4*b. Suppose 0 = -4*z - 4*j + 136, -4*z + j = -b*j - 157. Solve 5*w - z = 3*k, -11 = -2*w - w - k for w.
5
Let h(y) = y**2 + 9*y + 3. Let k be h(-9). Suppose 2*b - 31 = -27. Suppose -5*w = -18 - b. Solve k*v - 9 = -w*n, -v - 2*n = 3*v - 12 for v.
3
Suppose h = 4*h. Suppose h = -6*r + 2*r + 104. Solve 0 = 4*c + 4*w + 8, -3*c - 2*w + 7*w = -r for c.
2
Let p(y) = -y**2 + 9*y - 4. Let k be p(8). Suppose 0 = -2*l + 5*t + 24, 0 = -4*l + k*t - 7*t - 4. Solve -3*m + 10 = -o, l*m + 2*m - 2*o = 14 for m.
3
Let j = 79 + -79. Solve 3*m - 5*w = 15, 9 = -m - j*m - 3*w for m.
0
Let m be (8/(-16))/((-2)/8). Let c be m/(-4)*(9 - 9). Suppose c = -r + 2. Solve r*y = 2*f - 10, -5*f = y - 3 - 10 for y.
-2
Let w be (2 + -1)*(5 + -4). Let h(x) = -15*x + 2. Let n be h(w). Let q = n - -35. Solve q = -v + 4*d, 4*d = -5*v + 3 + 7 for v.
-2
Let r be 230/(-161)*21/(-3). Solve 2*i - 7*h + r*h = -4, 0 = -4*i + h - 22 for i.
-5
Let m = -8 - -9. Suppose 4*z - 11 - m = 0. Let f be -1 + 265/55 - 2/(-11). Solve 0 = -3*i + z*k + 15 + 3, 3*k = f*i - 20 for i.
2
Suppose 12*p - 36 = -6*p. Solve -6 = -l + 2*c + p*c, -4*l = c - 7 for l.
2
Let w = -2073 + 2077. Solve -w*n - n = -4*t + 7, 3*n = 2*t - 5 for n.
-3
Suppose 3*v + 12 = 219. Suppose 4*m = v - 21. Solve m = -2*b - 2*y, -y = -b - 5*y - 21 for b.
-1
Let n(o) = 2*o**2 - 272*o + 263*o - 3*o**2 - 19. Let c be n(-5). Solve 5*u + 2*f = 15, f + c = 4*u + 2 for u.
1
Let s = -368 - -369. Suppose -q - 5*q + 30 = 0. Solve 0 = -q*w + 4*x - 9, 4*w - 2*x + 13 - s = 0 for w.
-5
Let q = 33 + -126. Let o = q - -98. Solve -o*y + 21 = 2*k, -3*k + 15 = 5*y - 9 for k.
3
Let z be (-187)/(-34) + (-15)/10. Suppose p + p = 6. Solve -z*u = -4*x + 12, 5*u + p*x = 7*u + 8 for u.
-1
Let y(i) = -2*i**3 - 14*i**2 - 7*i + 2. Let u be y(-6). Let z be u/10*(-55)/22. Solve 3*m - 2*m + 4*b = -z, -3*m - 4*b + 3 = 0 for m.
5
Let d be (-250)/(-10) - 1/(-1). Suppose -6*v + 4 = -d. Solve 3*q - 6*q = -v*b, -b = -q for q.
0
Let l = 35 - 25. Let g be (-2)/l - (-1)/5. Solve g = -2*f + 3 + 5, -12 = -2*s - 4*f for s.
-2
Let z = -53 - -57. Suppose -3*j = b - 7, 0 = j - z*b - 9 - 15. Solve j*g + 0*r - 4*r + 16 = 0, -15 = 2*g + 5*r for g.
-5
Let q(k) = k**3 + 10*k**2 + 16*k + 4. Let w be q(-8). Solve 0 = -5*x, 0*x - 5 = 5*c + w*x for c.
-1
Suppose 3*f = 5*v + 32 + 58, v - 4*f = -35. Let h be 20/(-15)*v*(-1)/(-2). Solve 5*p = 5*i - h, i = 6*i - p - 22 for i.
5
Let a be (-5)/65 + 360/117. Solve a*c - k + 5 = -2, 0 = c + 3*k + 9 for c.
-3
Let x(a) = a + 24. Let n be x(-13). Suppose 1 = o, o - n = -3*t - o. Let w = 0 + 2. Solve -t*z = -p + 2, -w*z = -0*z for p.
2
Let t(l) = 2*l - 23. Let z be t(18). Suppose -4*m + 15 = -q, 0 = -2*m - 4*q - q + z. Solve -5*c + 18 = -3*w, -m*c + 6*w = 2*w - 16 for c.
3
Let p = -48 + 53. Suppose 0 = p*r - 3*r - 5*o + 16, -r + 2*o - 6 = 0. Solve 0 = -3*z + 3*h + 21, -3*z + r*h = -5*z + 6 for z.
5
Let f(d) = -230*d + 940. Let k be f(4). Solve m + 7*s + 7 = 4*s, -4*s = 4*m + k for m.
-4
Let z = -25013 + 25016. Let y be (0/(-2))/(2*-1). Suppose 15 = -y*v + 5*v. Solve v*b = w + 7, 2*b - b = z*w + 5 for w.
-1
Let v = -131 + 131. Solve -3*m + v*m - 17 = 4*z, -14 = m + 3*z for m.
1
Let y be -1 + 0 - (-270)/9. Suppose 3*v = 2*v + 2*a + 11, -2*v = a + 3. Let q = v - -4. Solve 0 = q*i + 2*t + y, 2*t = 4*i + 5*t + 26 for i.
-5
Suppose -39*q = -38*q - 3. Solve 2*f = 3*k - 14, 0 = -q*k + 6*k - 3*f - 15 for k.
4
Suppose 4*x = -0*x. Suppose -2 = -b - 5*f - 0, x = 4*f. Let c be