+ 4*n = n - 8 for p.
2
Let r be (1/(-1))/1 + 6. Suppose -2*i = 3*k - 25, -20 = 2*i - i - r*k. Solve -i*u - 2*l = -3*l + 20, -3*l + 18 = -u for u.
-3
Let s be -4 + 3 + 1 + -2. Let j(r) = r**2 + 3*r + 2. Let i be j(s). Solve -8 = d + 3*c - i, d + 2*c = -4 for d.
4
Let p(s) = s**2 + s + 2. Let n be p(-1). Solve -n*l + m - 7 = l, -4*m + 14 = 2*l for l.
-1
Suppose -4*u + 11*u - 56 = 0. Suppose -8 = -3*l - l. Solve u = -l*s - b, -3 = s + b - 0*b for s.
-5
Let b be -5*((-2)/(-4) - 22/20). Let i = 5 + -2. Solve -15 = 2*w - b*c, 5*w - i*c - c + 20 = 0 for w.
0
Let g be ((-21)/14)/(1/(-2)). Suppose 28 = w + 5*u, 2*w + g*u - 56 = -0*w. Let d = 7 + -5. Solve -n = m - 2*m, 5*n = -d*m - w for n.
-4
Let t(h) = h**2 - 9*h + 4. Let w be t(9). Suppose 2*c - 5 - 7 = 0. Solve -31 = -w*m + 3*y, -4*m - 4*y = -2*y - c for m.
4
Let t be ((-4)/24)/((-4)/36)*10. Solve -2*a - 4*j = 3*a + 37, t = -5*j for a.
-5
Let n(m) = 6*m**3 - 1. Let f be n(1). Let q = -37 - -42. Solve f*g + w = -2*w - 9, q*w - 25 = 5*g for g.
-3
Suppose 10*q - 5*q - 11 = u, 0 = 5*u + 4*q - 32. Solve u*v + 0*k - 14 = k, 0 = 3*v + 2*k - 16 for v.
4
Suppose 3*a = -a - 4*z + 20, 7 = 3*a + 5*z. Let k be (-2)/a - (-114)/27. Solve -1 = -q - 5*l - 0*l, -5 = -5*q - k*l for q.
1
Let j = 113 - 109. Solve -5*s = -r - 20, j*s - 35 = -r - 2*r for s.
5
Suppose -i = 2*q - 22, 6*q + 4*i - 40 = 2*q. Solve 4*h - 3*p = 12, -2*p = p + q for h.
0
Suppose 5*h + 20 = 0, 4*h + 0 = -2*r - 8. Solve -3*a = a - r*t + 32, 0 = 5*t - 25 for a.
-3
Suppose 0 = -i + 5*i + 3*p - 17, -2*p + 8 = 2*i. Solve -3*u - 1 = -4*a, -4*a - 12 = -i*u - 3 for u.
5
Let i = -18 + 20. Solve 0 = i*v - 4*g, -g = -0*v + v + 3 for v.
-2
Let k be 8 - 152/20 - 26/(-10). Let y = 8 - 4. Solve 3*u - 2*h = u - 10, -13 = -k*u - y*h for u.
-1
Let b = -22 + 33. Suppose -b = -2*u + 5*w - 4, 4*u + w = 3. Let p be (-3)/(10/(-4) + u). Solve p*x + 2*x = -3*k + 7, 4*k = -12 for x.
4
Let d(g) = g**3 + 2*g**2 - g - 2. Let a be 44/(-20) + (-2)/(-10). Let x be d(a). Suppose 30 = 3*f - x*f. Solve i = -5*y + 20, 3*y - f = -i - 0 for i.
-5
Suppose 0 = -2*t + k - 11 - 8, 0 = -5*t + 4*k - 49. Let q = -7 - t. Solve -2*g - 2*a - 2*a = q, 2*a - 2 = 2*g for g.
-1
Suppose 80 = 5*i + 15. Let h = 18 - i. Solve 3*o - h*g = 8*o - 25, 2*o - 5*g + 25 = 0 for o.
0
Let s be (8/(-12))/(4/(-78)). Solve 0 = 3*i + 2*i - j + s, 2*i = -3*j - 12 for i.
-3
Let v(p) = -43*p**3 + p**2 - 1. Let u be v(-1). Let j = 10 - u. Let b = -16 - j. Solve -4*h = -o + 3 + b, o = 3*h + 15 for o.
0
Let d be (-12)/(-7) + 10/35. Let m(k) = k - 2. Let c be m(d). Solve 0*v + v - 3*l = 0, -v + 5*l = c for v.
0
Let k(l) = -l**3 + 2*l**2 + l. Let r = -5 - -7. Let i be k(r). Solve -5*z + 3*h + 3 = 0, 3*z - 4*h - 2 = i for z.
0
Suppose 5*h + 16 = 66. Suppose 0 = -5*d + h. Solve 2*x = -3*i - 11, -3*x - d*i + 3*i = 0 for x.
-1
Let z be (2 + -1)*(8 + -9). Let m(a) = 10*a**2 + a + 1. Let i be m(z). Solve i = -4*x + h - 0, -5*x = 3*h + 21 for x.
-3
Suppose -3*f + 2*f = -4. Suppose u - 3*l - 2 + f = 0, -85 = -5*u - 4*l. Solve v = -3*k + 5, 6*v + k = 2*v - u for v.
-4
Let h(k) = 0*k**2 - 1 + 0*k**2 - 6*k**3. Let o be h(-1). Solve -5 = -3*j + o*i, -5*j + 3*i = -6 + 19 for j.
-5
Let u = 18 - 13. Solve u*i + 5*s + 23 = 2*s, 0 = 3*s + 3 for i.
-4
Let t be (4/5)/(4/(-10)). Let l = 2 - t. Solve 8 = i - l*w, 5*i = -w + 1 - 24 for i.
-4
Let d(v) = -2*v - 17. Let w be d(-5). Let o = w - -23. Solve 4*q - o = 3*c + c, 16 = 5*c + 4*q for c.
0
Let v(z) = -3*z + 6. Let b be v(5). Let w = -6 - b. Solve 32 = -4*i + 4*u, w*i + 20 - 1 = 2*u for i.
-3
Suppose x - 6 + 1 = 0. Suppose -x*q + 6 = -3*q. Let r(d) = 2*d - 4. Let p be r(q). Solve -p*m + 11 = -4*z - m, 2*z + 7 = m for z.
-2
Let h be 16/(-6 - -2) - -4. Solve -u + 16 = 2*s - 3*u, -3*s - 5*u = h for s.
5
Let n = 2 - -3. Let p = 5 - n. Suppose p*l = -l + 5. Solve -5*c = l*b, -3*c + b - 30 = 2*c for c.
-5
Let y = -1 - 27. Let x = 36 + y. Solve 2*p + 0*p + 4 = r, 0 = 5*p - 2*r + x for p.
0
Let s(x) = x + 10. Let b = -17 - -8. Let i be s(b). Suppose -5*d + 19 = -3*y, 4*d - 14 = 4*y - y. Solve d*t - 23 = 2*r, -2*r - 3*t + 0 + i = 0 for r.
-4
Let i = 9 + -5. Suppose -s = -0*s - 2. Suppose -2*q + q + s = 0. Solve -2 = 5*u - q*k - 4, -i*u - 3*k = -20 for u.
2
Let m = 3 + -2. Suppose -2 + 8 = 3*v. Suppose -7*w + v*w = -15. Solve -w*r + 13 = -8*r - 3*u, r - 3*u - m = 0 for r.
-2
Suppose -5*f = -7*f. Solve 4*o + 0*j = -j - 25, -3*o + 2*j - 5 = f for o.
-5
Let l be (-99)/11*-2*1. Solve 3*z = -2*x + 3*x - 1, z - 4*x - l = 0 for z.
-2
Suppose -3*s + 4*j = 0, -s + 5*j = 3*s. Suppose s = 3*i + m - 7, -5*i - 2*m = -0*i - 13. Let u be (0/i + 0)/2. Solve 5*h - 24 = 3*n, u*h = h - 3 for n.
-3
Suppose 0 = 2*t + d - 117, 78 = -4*t - 5*d + 321. Suppose -4*w - t = -13. Let u = w + 15. Solve -u*r = r - 5*a + 25, 4*r + a = -10 for r.
-3
Let k = -62 - -68. Solve -r + 5*q = -4*r + 8, k = 2*r + 4*q for r.
1
Let m(w) = -w**3 + 2*w**2 + 4*w + 5. Let g be m(4). Let p = g + 14. Solve 0 = -p*k, -k = 4*c + 2*k + 20 for c.
-5
Suppose -2*y - 3*r + 0 = -11, 0 = -y + 5*r + 12. Solve -y*o = -2*o + 4*l + 20, 0 = 2*l for o.
-4
Let z(l) = l + 2. Let g(q) = -1. Let d(r) = 2*g(r) + z(r). Let n be d(4). Suppose -x + 0*x + 12 = 0. Solve -3*a = -x, 3*t + n*a = 4*t + 12 for t.
4
Let t be (1/(-4))/((-2)/16). Suppose -7*v - 3 = -3*v - 3*z, 3*v + 1 = t*z. Solve 4*m = -5*k + 28, 0 = v*k + m - 6*m - 2 for k.
4
Suppose -l - 110 + 112 = 0. Solve -3*q - 35 = 5*c + 2*q, 6 = 2*c - l*q for c.
-2
Suppose j - 3*f = 2*j, -2*j = 3*f. Solve 2*r - 10 = -2*i, 3*i + 2*r - 15 = -j for i.
5
Suppose -14 = -4*c - 3*h, h + 4 = 3*h. Let k be (-12)/c*(-14)/21. Solve -8 = -k*t - w, -t + 0*w + 5 = w for t.
1
Suppose 0 = p - 3*p + 4. Let x(z) = 4*z - 1. Let h be x(p). Solve 0 = 3*i - j + 13, 3*i - 3*j = -h*j - 23 for i.
-5
Suppose -k - 2*q = 4*k - 8, 3*k + 4*q = 2. Suppose -k*m + 1 + 23 = 0. Solve -5*x = 3*t - 2, 2*t = 4*t - 2*x - m for t.
4
Let t = 54 + -46. Solve 4*v - 2 = 8*v - 5*z, v + 3*z = t for v.
2
Suppose -4*a + 0*d = d + 14, -2*d = 2*a + 4. Let j be (2 + 3/(-2))*a. Let t be (2/(-6))/(j/42). Solve -y - 2*k = -t, 2*k = 4 + 4 for y.
-1
Let h be 12/78 - 6/39. Solve 2*a + 2*y = -h*a + 6, -5*y + 7 = -3*a for a.
1
Let k(d) = d**3 + 12*d**2 - 2*d - 16. Let b be k(-12). Let z(g) = -g**2 + 11*g + 2. Let r be z(b). Solve -3*h - 15 = -2*a, 4*a + 1 = 5*h + r for a.
0
Let j(v) = v**3 - 8*v**2 + v - 4. Let i be j(8). Solve f - 5*f + 3*u = -28, -f - 12 = i*u for f.
4
Let s(w) be the second derivative of -w**4/12 - 7*w**3/6 + 3*w**2 + 4*w. Let m be s(-7). Solve t = 5*z + m, -4*t = -3*z + 13 - 3 for z.
-2
Let j(l) = l**2 + 8*l - 5. Let b be j(-10). Suppose 4*q - 4*c - 14 = 10, -2*q = -3*c - b. Solve -q*i = 5*v - 7, 5*i + 2*v + 0*v = -1 for i.
-1
Suppose 46 = 5*r - 84. Solve -r = -5*p + f, 4*p - 5*f - 24 = -f for p.
5
Let m(y) = 2*y - 3. Suppose p - 8 = -3. Let l be m(p). Let w = l - 5. Solve f = -4*v - w*f - 23, -4*v + 17 = -5*f for v.
-2
Let y be (-4)/(-5)*30/12. Solve -y*a - 4*r = 2*a + 4, -4*a + 3*r = 4 for a.
-1
Let k(l) = -l**2 + l. Let w be k(1). Solve 3*v + u + 0*u - 11 = w, -2*u = -v + 6 for v.
4
Suppose -3*p + 21 = 5*x, -p = -2*x + 4*p + 27. Suppose 0 = -4*w + 10 + 42. Suppose 0 = -4*o + w - 1. Solve u - 5*t = x*u + 15, -4*t + 23 = -o*u for u.
-5
Let l be -3*((-8)/(-12))/(-1). Suppose -j - 4*g + 17 = 0, 0*j - l*j - 2*g = -16. Solve 4*w + 0*w + 2*b + 6 = 0, -w + 3*b = j for w.
-2
Suppose -2*o - 24 = o. Let k(x) = -x - 5. Let t be k(o). Solve 0 = -3*f - 4*g - 10 - 13, f + t*g = -16 for f.
-1
Suppose 0 = 4*v - 3*v. Solve v = 2*q + 4*g + 22, 2*g + g = -2*q - 18 for q.
-3
Let t be (4 - 7)/((-3)/2). Suppose 0 = -2*f + v + 46, -v = 4*f + t*v - 102. Let m be (2/4)/(1/f). Solve -4*a - 4*y = m, 4 = -3*a + 5*y + 19 for a.
0
Let r be (-11 + 16)/((-10)/(-4)). Solve 0 = 3*y + 6 + 6, -5*y = -r*n + 16 for n.
-2
Let d = 3 + 68. Suppose 2*b = -21 + d. Solve -b = -3*x + 5*j, -x - 3*x + 4*j = -20 for x.
0
Let m(j) = -j + 2. Let k be m(-2). Let z(q) = 3*q + 4. Let p be z(k). Solve s + 3*c + p = 0, 3*c = -3*s - 0*c - 18 for s.
-1
Let w(t) = t**3 + t**2 + t - 8. Let n be w(0). Let y = 18 + n. Solve -a = -i + y, 0 = 2*a - 3*i + 2*i + 15 for a.
-5
Let y be 4/((-3)/3) - -6. Let v be (-2 + y)*2/(-4). Solve 4*d = -2*c - 8, -d + 3*c = -v*d + 16 for d.
-4
Let h(j) = j**2 + 9*j + 2. Let o be h(-9