Let a = 39 + o. Solve 3*p - n*p = -a for p.
1
Let p be (-1 + 7/3)*36/16. Let k = -44 - -48. Solve -v + k = -p*v for v.
-2
Let l(a) = -21*a**2 + 22*a - 1. Let c be l(1). Solve -10*v - v + 22 = c for v.
2
Let q = 31 - 16. Suppose q*r - 12 = 11*r. Solve -k = -4 + r for k.
1
Suppose 3*k - 26*k = -575. Solve -7*p - k = -12*p for p.
5
Let y be (-4)/18 + 195/27. Let q(d) be the second derivative of d**4/12 - 2*d**3/3 + 3*d**2 + 8*d. Let w be q(2). Solve 1 = w*r + y for r.
-3
Let r(x) = -x**2 - 6*x - 1. Let y be r(-7). Let o = -4 - y. Solve 0 = -2*m - 2*m - o for m.
-1
Let s(u) = -u**3 + 7*u - 11*u**2 - 21*u - 3*u + 7 + 2*u**2. Let k be s(-6). Solve -k = -4*p + 5*p for p.
-1
Let d(k) = 92*k - 3. Let n be d(-1). Let p be 224/38 - 10/n. Suppose 2*r - 12 = 4*l, 0 = -3*l - p. Solve -4*f + r = 6 for f.
-1
Let u = -7 + 9. Let m be u - -2 - (-6)/3*-1. Solve -m*a - 2 = -6 for a.
2
Suppose -4*b + 3*h = -125, 190 = 5*b + h + 2*h. Let r be (-84)/b + 4/10. Let d be 28/(-126) - r/9. Solve d*p = 2*p + 6 for p.
-3
Let p(s) = -s**2 - 10*s - 16. Let u be p(-3). Solve -5*z - u = 10 for z.
-3
Let o = -45 - -60. Suppose w + o = 4*s - 2*w, s - w - 5 = 0. Solve s = 7*c - 2*c + 5 for c.
-1
Let l(f) = -8*f + 2. Let w(h) = 7*h - 3. Let j(a) = 4*l(a) + 3*w(a). Let z be j(-1). Suppose -5*n = -2*y - z, -y - 5 = -n + 2*n. Solve 2*q - 6 = -n*q for q.
3
Let t = -62 + 64. Solve -t*v + 7*v - 10 = 0 for v.
2
Let m(x) = -x**2 + 3*x + 9. Let g be m(5). Let z = 1 + g. Solve 3*v - 6 = -z for v.
2
Suppose -15*h + 14*h = -11. Suppose 2 = 3*n + h. Let q be 1/(n - (-8)/2). Solve 3*o - q = 4*o for o.
-1
Let v = 1429 + -1393. Solve -v*s = -31*s for s.
0
Let k = 109 - 104. Suppose -78 + 38 = -k*q. Solve 0 = u + q - 6 for u.
-2
Suppose 2*o + 1 = -3*s - 7, 0 = 4*s - 8. Let i(p) = -p**2 - 7*p + 2. Let g be i(o). Suppose -3*c - 7 - 5 = 5*b, -4 = -3*b + c. Solve k + 3 - g = b for k.
-1
Suppose 5*z - 10 = 2*w, -5*z - w + 10 = -6*w. Suppose 0 = 3*f - 2*h - 26, z*f - 2*h = 7*f - 38. Let l(d) = d - 3. Let a be l(f). Solve -a*i - 3 + 18 = 0 for i.
3
Let g be 6 - (1 + 0/2). Let n = 46 + -28. Let q = n + -14. Solve 3*j + g = -q for j.
-3
Let z be ((-8)/6)/((-44)/165). Solve -z*f = 4*f for f.
0
Let o = -223 + 225. Solve -9 = -o*l - 3 for l.
3
Let k be (0 + 16/(-12))/((-2)/6). Suppose 0 = 5*y + 5*m, -4*y - 3*m = -2*y - 1. Let t be (y + 0)/((-1)/14). Solve 2 = k*u + t for u.
-3
Let r = -12 + 14. Suppose 0 = -r*x + 6*d - d - 17, -28 = -2*x - 4*d. Solve x*t + 12 = t for t.
-4
Let y be (-1 - -6)*(-12 - 994/(-70)). Solve y*i = 16*i + 10 for i.
-2
Suppose -f + 5 = 18. Let b be (-17 - f)*2/(-4). Solve b*x + 6 = 5*x for x.
2
Let u = -124 - -151. Let l(h) = h**2 - 29*h + 54. Let g be l(u). Solve g = d + 3 for d.
-3
Let k = -2472 + 2476. Let b(n) be the third derivative of n**6/24 - n**5/60 + n**4/12 - n**3/6 + n**2. Let s be b(1). Solve s*g + k = -11 for g.
-3
Suppose 0 = -2*a + 10 - 8. Let z be a/(-4) - 0 - (-21)/4. Solve 4*q + z = -q for q.
-1
Let q = 1421 - 1411. Solve -q*y = -16*y + 12 for y.
2
Suppose -9 = q - 2*q. Let x = -7 + q. Let u be (-6)/9 - 4/(-6). Solve x*d + u*d = -4 for d.
-2
Let g(i) = i**2 + 11*i + 11. Let d = -8 - 2. Let o be g(d). Let p(q) = -2*q**3 + 21*q**2 + 13*q - 20. Let n be p(11). Solve -n*m + 3*m = o for m.
1
Let h be (0 + -2)*(-12)/8. Suppose 5*w - h*x = -x, x = -5*w. Solve w = -3*m + m - 8 for m.
-4
Let b = 75 + -74. Let m = b + -1. Solve -3*u + m*u = -3 for u.
1
Suppose 3*w = -22*w + 125. Solve -w*i + 28 = 3 for i.
5
Let m = 14 + -11. Solve 0 = -3*z - m*z - 30 for z.
-5
Let x be 9 + ((-20)/4 - 36/(-12)). Solve -x*c = -2*c for c.
0
Let l(m) = -m - 8. Let d(h) = -3*h - 23. Let u(s) = -3*d(s) + 8*l(s). Let k = -279 + 274. Let f be u(k). Solve f = 2*t - t + 4 for t.
-4
Suppose 4*a - 23 = -6*c + 3*c, c - 16 = -3*a. Suppose 4*f = a*z + 45, f - 3*z = 4*f. Solve 0 = -f*o + 5 for o.
1
Let a(r) = r**2 - 8*r - 10. Let z = 29 + -20. Let y be a(z). Let u be 2/2*y*-3. Solve -u*i = -9 - 3 for i.
4
Let b(h) = -2*h**2 - 16*h. Let v be b(-8). Solve v = -6*u + 2*u for u.
0
Suppose 5*w = -5*m + 16 + 34, -2*w - 30 = -3*m. Let k(v) = -2*v**2 - v + 3. Let z be k(1). Suppose z = -3*s - 4*s + 42. Solve m = d - s*d for d.
-2
Let x = 1013 - 1011. Solve -x*v + 4*v = -6*v for v.
0
Let j be 3/(-6) + (-9)/(-2). Suppose -4 = -4*c + j. Let x = 7 - c. Solve 4*b - 11 = x for b.
4
Let u(n) be the third derivative of -n**5/60 + 5*n**4/24 - n**3/3 - 13*n**2. Let h be u(3). Solve -a + h = 3*a for a.
1
Let n(f) = 44*f + 2. Let j be n(1). Suppose 5*m - j + 16 = 0. Let a be 3 - (-7)/((-21)/(-6)). Solve -m*d - 1 = -a*d for d.
-1
Suppose -10*t + 47 = 7. Suppose -g + t*g = -3*g. Let y = 4 + 0. Solve g = -4*s + y - 0 for s.
1
Suppose -47 = -5*t - 0*t - 2*j, 32 = 4*t + 3*j. Let n be 31/t + 0 + (-2)/(-11). Solve n*m = m for m.
0
Let p(v) = 6*v**3 - 7*v**2 - 3*v + 5. Let x(i) = -5*i**3 + 6*i**2 + 3*i - 5. Let k(b) = -4*p(b) - 5*x(b). Let l be k(3). Solve l = -2*r - 5 for r.
-5
Suppose -23 + 29 = o. Solve -o*h - 14 = -2 for h.
-2
Let z be (-2 - -2)*(-2)/(-32)*8. Solve z = -0*m - 2*m for m.
0
Suppose 2*b = 8, 5*v + 79 = 2*b - 59. Let h = 29 + v. Solve 0 = h*z - 8*z - 5 for z.
-1
Let c(y) be the third derivative of -y**6/120 - y**5/12 - y**4/6 - 13*y**3/6 + 2*y**2. Let d be c(-5). Solve -d*r + 3*r = 0 for r.
0
Let x be 2*3/(-12)*(-20)/1. Suppose -4*d + y = -0*d - 7, -4*d = 2*y - x. Solve -3 = w + d for w.
-5
Suppose 0 = 2*h + 3*j + 155, h + 67 = 2*j - 7. Let v = h - -80. Solve 2 = v*d - 10 for d.
3
Suppose 0 = 2*i - 2*a - 20, -10*a = -3*i - 11*a + 10. Solve i*c - 6 = -1 for c.
1
Suppose -15*p + 523 + 632 = 0. Let u = p + -46. Solve 5*o - 6 = -u for o.
-5
Let g(k) = -5*k - 21. Let a be g(-5). Solve 3*p + 11 = -a for p.
-5
Let u(m) = m**3 + 8*m**2 + 4*m - 3. Let w be u(-7). Suppose -s - 4*n = -2*n + w, 3*s - 3*n = -27. Let k = s - -16. Solve 11 = -3*d - k for d.
-5
Let a = -6 + 10. Suppose -4*s - j = -27, -2*j = 5*s + 18 - 54. Suppose 0 = y + a*n - 5*n - s, -5*y + 54 = n. Solve -2*v = -4*v + y for v.
5
Let q = 1073 + -1067. Solve -q*g - 19 + 49 = 0 for g.
5
Let u(i) = i**2 - 34*i - 105. Let c be u(37). Solve 5*o - c*o = 5 for o.
-5
Let z be 3/(-2)*(-1 - 1). Let v be (0 + 1)*-1*(z - 5). Solve 3*l - v = 5*l for l.
-1
Let u(s) = -2*s - 10. Let q be u(-7). Let o be 12/9 - q/(-6). Suppose o = 3*l - 2*l. Solve l*c - c - 1 = 0 for c.
1
Let n be 1/(3/(-18))*(-16 + 15). Let j(z) = z**2 - 7*z + 9. Let w be j(6). Solve -n = w*c + 6 for c.
-4
Suppose -2*q = -6*q + 80. Suppose -4*s = -0*s - q, -w = 4*s - 20. Let a = -41 + 45. Solve -a*i - i + 20 = w for i.
4
Suppose -3*g - t - 44 = 0, -3*g - 66 + 16 = 4*t. Let h = g - -16. Let y = 1 - -2. Solve h*o + y = -o for o.
-1
Let l(s) = 3*s**2 + 20*s - 40. Let g(k) = 10*k**2 + 61*k - 121. Let t(c) = -2*g(c) + 7*l(c). Let w be t(-20). Solve w = -2*d - 0*d for d.
-1
Let h be (-2)/(-6) - (-4 - (-42)/18). Let c = 3 + -1. Solve h*p + c = -6 for p.
-4
Let n = 25 - 37. Let z be (-2)/2 - (-32)/n*-6. Solve -5*b + 2*b - z = 0 for b.
-5
Let o(z) = z**3 + z**2 + 2*z + 2. Let u be o(-1). Solve l + u = -2 for l.
-2
Suppose 36*k + 816 - 1068 = 0. Solve -k*u = 31 - 10 for u.
-3
Let d(r) = -55*r - 876. Let u be d(-16). Solve u*v + 12 - 12 = 0 for v.
0
Let u be 5 + (-3 - 162/3). Let q = u - -53. Solve -5*y = 11 - q for y.
-2
Let r be 6/(-4) - 135/10. Let p be (-66)/r*(-25)/(-10). Suppose 8*n - p*n = 0. Solve -2*d = -n*d - 2 for d.
1
Let j = -7 + 11. Let x = 4 - j. Suppose 4*t = -5*f + 3, x*t + t = -3*f + 6. Solve -3*i + 4*i + f = 0 for i.
-3
Suppose 0 = 5*j - 104 - 101. Let t = -41 + j. Solve 0 = -i - 5 - t for i.
-5
Let l be (30/(-9))/(-2)*(3 - 0). Let s(n) = n - 3. Let v be s(3). Suppose -20 = -v*r - l*r + u, 0 = -4*u - 20. Solve -r*g = -g for g.
0
Let v = 130 - 128. Solve v*x - 6 = -16 for x.
-5
Suppose -49*x = -42*x. Solve 0 = -0*k + 3*k - x*k for k.
0
Let n(v) = -v**3 + v**2 + 3*v + 2. Let u be n(-2). Suppose -u = 4*t - 0. Let x be (-3 - -4) + (t - -1). Solve 0*c + 2*c = x for c.
0
Let u be (-3)/(-1) - -4*(-1 + 0). Let v be u/((3 - 36/16) + -1). Solve -9 = v*s - s for s.
-3
Let b(c) = 2*c**3 - 33*c**2 + 15*c + 23. Let w be b(16). Solve -3*t - 16 = -w for t.
-3
Suppose -77 = -10*x - 27. Suppose -x*n - h = 2*h + 5, 5*n - h - 15 = 0. Solve -n*k + 0*k = -4 for k.
2
Let b be (-21)/56*-8 + 5. Solve 8 = -b*n + 10*n for n.
4
Su