58*c + 105 = 51*c. Let p(s) = s**2 + 13*s + 58. Is 73 a factor of p(c)?
False
Suppose -16*m + 21 = -15*m. Suppose 4*y - v = 0, 4*v - m = y - 6*y. Does 9 divide (-5)/(90/95 - y)?
False
Suppose 3*w = -4*x + 8*w + 61, -5*x + 5*w + 75 = 0. Suppose 0 = 3*d, -13*s = -x*s + d + 360. Does 12 divide s?
True
Let g be 35/14 - 2/4. Suppose 530 = 3*k + n + 4*n, n + g = 0. Does 26 divide 4 - k/42 - 1460/(-14)?
True
Let y be (-5 - -7) + (-24750)/(-3). Suppose -2763 + y = -11*g. Let q = -300 - g. Does 20 divide q?
False
Let y(p) = 12*p**2 + 9*p - 17. Let j be y(10). Suppose 5*b = -l + 431, -3*l = -8*b + 13*b - j. Is l a multiple of 31?
False
Suppose 3*r + 32*z - 4458 = 34*z, -4*r + 3*z + 5944 = 0. Is 15 a factor of r?
False
Let c = 26464 - 17532. Is c a multiple of 4?
True
Let v(a) = -a**3 + 9*a**2 + 1015*a - 12. Is 8 a factor of v(-28)?
True
Suppose 6*i - 31*i - 400 = 0. Does 26 divide 8*(-12)/i + 1683?
False
Does 107 divide (-18)/(-81)*(0 + 1926)?
True
Suppose 11*w = -1946 - 5072. Does 6 divide 1 + 1 + 3*w/(-33)?
True
Let n = 18 + -45. Let s = 1534 + -1522. Let w = s - n. Is 11 a factor of w?
False
Let u(w) = 10*w**2 + 96*w - 626. Is 11 a factor of u(23)?
False
Let q(v) = 7*v**2 - 14*v - 1997. Let c(g) = 4*g**2 - 7*g - 999. Let u(i) = 5*c(i) - 3*q(i). Is u(0) a multiple of 12?
True
Let y(l) = -55*l - 1. Let p(t) = -22 - 5*t + 23 + 60*t. Let m(x) = 3*p(x) + 4*y(x). Is m(-1) a multiple of 9?
True
Let p = 3977 + -3329. Is 81 a factor of p?
True
Let p = -48 + 48. Suppose -3*m + 383 - 260 = p. Is 7 a factor of m?
False
Does 43 divide (439162/(-230))/(1/(-5)) + 4 - 5?
True
Let w(l) = -79*l**3 - 3*l**2 - 3*l - 1. Let n(q) = -3*q + 5. Let f be n(2). Is w(f) a multiple of 39?
True
Suppose 0 = -14*d + 7*d + 11410. Suppose -2*a = -4*a - 10, -5*u - a + d = 0. Is u a multiple of 16?
False
Let v = 3999 + -3876. Does 9 divide v?
False
Let x = -324 - -172. Let z = 536 + x. Is z a multiple of 11?
False
Suppose 12*n - 162950 = 5*n - 20115. Is 55 a factor of n?
True
Suppose -35 = -13*x + 43. Does 4 divide (14/(-18))/(x/(-72))*6?
True
Let i(u) = 2*u**3 + 8*u**2 - 5*u. Let c be i(4). Let r = 45 + c. Is 20 a factor of r?
False
Let z(r) = r**3 - 18*r**2 + 30*r + 522. Is 36 a factor of z(23)?
False
Let u be 33/(-39) + 2/(-52)*4. Does 8 divide u/2 + 20115/30?
False
Let y(f) = 91*f**2 + 34*f + 245. Does 5 divide y(-6)?
False
Let d(i) = -12*i - 68. Let c(z) = 2. Let s(n) = -12*c(n) + d(n). Is s(-12) a multiple of 13?
True
Suppose 10 - 46 = -4*t. Let h(b) be the first derivative of 2*b**3/3 + 8*b - 985. Is h(t) a multiple of 45?
False
Let a(p) be the first derivative of -p**3/6 + 7*p**2/2 - 17*p + 26. Let j(l) be the first derivative of a(l). Is j(-8) a multiple of 15?
True
Let n(x) = -16 + 2*x + 2*x - 29. Let o be n(21). Suppose -179 = -2*y + o. Is 12 a factor of y?
False
Let r(n) = -112*n + 229. Let p be r(8). Let i = p + 1783. Is i a multiple of 18?
True
Suppose 5*n - 5*a + 2099 = -9*a, -3*n = 5*a + 1262. Let t = -351 - n. Does 34 divide t?
True
Suppose 3*a - 4*x = 2923 - 879, 0 = -3*a - 3*x + 2058. Let y = a - 408. Does 15 divide y?
False
Let q be 9/2*(-666)/27. Let d = q - -414. Is 25 a factor of (d - 0) + (-15)/(8 + -3)?
True
Let v(s) = s**3 + 11*s**2 + 11*s + 37. Let p(k) = -k**3 + 4*k**2 + 2*k + 7. Let t be p(4). Suppose 0 = 4*r + 21 + t. Is v(r) a multiple of 20?
True
Suppose 3*c = -3*t + 69, c - 11*t = -6*t + 53. Suppose -10*b - c = -328. Is b a multiple of 5?
True
Let z(m) = -m**3 + 50*m**2 - 276*m + 95. Is 54 a factor of z(43)?
False
Let b(m) = 17*m**2 - 4*m - 7. Suppose -3*l - 5*h = l - 35, 4*l - 26 = -2*h. Let o(q) = q**3 - 6*q**2 + 5*q - 4. Let d be o(l). Is b(d) a multiple of 33?
False
Let w be 18/(-9 - -3) + 67. Suppose -14*q + 188 = -w. Is 6 a factor of q?
True
Let w(x) be the second derivative of 4*x**4/3 + 7*x**3/3 - 7*x**2 - 25*x. Does 12 divide w(5)?
True
Let v be (12/63*-3)/((-1)/7). Suppose -v = 4*y, -2*k + y + 9 + 0 = 0. Is 7 a factor of (21*(-1)/k)/(13/(-52))?
True
Let o(p) = 15*p**2 + 2*p - 12. Let s(r) = -61*r**2 - 9*r + 49. Let n(d) = 8*d**2 + d. Let y be n(1). Let g(t) = y*o(t) + 2*s(t). Is 16 a factor of g(-4)?
False
Let j be (-6)/((-6)/341) + 3. Suppose 25*d - 21*d = -j. Let a = -55 - d. Does 5 divide a?
False
Suppose 6 = 5*j - 3*k + 4, 2*j + 5*k = -24. Is (j*(-6)/8)/((-33)/(-2970)) a multiple of 15?
True
Let r(v) be the third derivative of v**6/120 - v**5/20 + v**4/8 + 3*v**3/2 + v**2. Suppose 25 = -12*g + 73. Does 15 divide r(g)?
False
Let d = 15750 - 4284. Does 126 divide d?
True
Let v(x) be the second derivative of x**4/12 + 22*x**3/3 + 36*x**2 - 3*x + 11. Does 71 divide v(-49)?
False
Suppose 39 = -19*p + 1. Let q be ((-30)/12)/(5/p - -3). Is 4 - (q - -9) - -80 a multiple of 10?
True
Let z = -16 + 20. Suppose -4*f - 1796 = -2*o - 0*f, -o - z*f + 868 = 0. Suppose -4*t = 2*t - o. Is t a multiple of 37?
True
Let z be 5 + -4 + (0/(-5) - -4). Suppose 2*d - 1730 = -z*k - 0*k, 5*k = -3*d + 1725. Is 58 a factor of k?
True
Is (-224)/(-14) + (-2 - -1778) a multiple of 30?
False
Suppose 0 = l + 2*l - r, -l - 2*r = -7. Let n be (7 + l)/((-2)/(-16)). Suppose 0 = -18*u + 22*u - n. Does 4 divide u?
True
Let c(m) = 9*m - 69. Let t be c(9). Let y(d) = -d**2 + 12*d + 4. Let x be y(t). Suppose 90 = -x*u + 934. Does 22 divide u?
False
Let a(w) = 13*w**2 + 570*w - 69. Is 14 a factor of a(-45)?
False
Suppose -64 = -267*p + 259*p. Is 11 a factor of 917 - (10 + (-12 - (2 - p)))?
True
Let k(g) = -4*g**3 + 2*g**2 + 26 + 15*g**3 + 58*g - 68*g. Is k(3) a multiple of 30?
False
Suppose -t + 27661 = -5421. Is t a multiple of 119?
True
Let q(a) = 296*a - 7493. Does 24 divide q(81)?
False
Let p = 36 - 9. Let u = -32 + p. Is (28/u)/((3/10)/(-3)) a multiple of 18?
False
Let k(f) = 4*f + 52. Let t(y) = 15*y + 2. Let b be t(-1). Let z be k(b). Suppose 0*p - 659 = -4*v + 3*p, -4*v - 5*p + 619 = z. Does 23 divide v?
True
Suppose -94*k + 2591141 - 77441 = -19*k. Does 18 divide k?
True
Let y(d) = -d**3 + 5*d + 9. Let h be y(-6). Let w be ((-12)/5)/((-13)/h). Suppose -90 = -w*z + 35*z. Is z a multiple of 15?
True
Let k(m) = 2*m**2 + 24*m + 12. Let a(b) = 7*b - 13. Let j be a(0). Does 8 divide k(j)?
False
Let v(b) = -149 + 203 - 2*b**2 + 147 + 185 - 3*b. Is 16 a factor of v(0)?
False
Suppose -g - 2*j - 125 = j, -j + 705 = -5*g. Let u = g - -151. Suppose -4*w - 24 - u = -d, 3*d - 4*w = 105. Is d a multiple of 7?
True
Let i(s) = 70*s**2 + 43*s - 64. Is i(11) a multiple of 13?
True
Let h = -686 - -745. Is (h - 21)*((-19)/(-2) - 0) a multiple of 65?
False
Let q(i) = -3*i + 17. Let m be q(3). Let f = -11 + m. Does 6 divide (-12 + f)/5 - -45?
True
Let w = 723 + -858. Let g(a) = -339*a**2 + 2*a - 1. Let q be g(1). Let n = w - q. Does 31 divide n?
False
Let h(s) = -2*s**3 - 11*s**2 - 23*s - 33. Does 21 divide h(-9)?
False
Suppose 3266 = -13*y + 302. Let l = 396 + y. Does 18 divide l?
False
Suppose -3*w + 303 = 2*k, -5*w = -4*w + 3*k - 108. Let d = 56 - w. Let o = -31 - d. Is 5 a factor of o?
False
Suppose -1706*h - 5*d = -1701*h - 86670, 5*h - 4*d = 86616. Is 19 a factor of h?
True
Let s(j) = j**3 - 12*j**2 - 26*j - 19. Let d be s(14). Let l(b) = 6*b**2 + 22*b - 140. Is l(d) a multiple of 16?
True
Suppose 30 = a - 6*a. Let r = -1056 - -1075. Let v = a + r. Is 3 a factor of v?
False
Let g = -86 + 278. Suppose -2*o = -f - g, -45*o - f = -46*o + 96. Does 3 divide o?
True
Let o(v) = v**3 + 7*v**2 + 7*v + 10. Let z be o(-7). Let m be 3805/8 - z/104. Suppose m = 5*n - 3*n. Is 28 a factor of n?
False
Suppose 7*u - 1114 = 1896. Suppose 434 = 6*s - u. Is 4 a factor of s?
True
Let m(n) = -262*n + 82. Is m(-2) a multiple of 16?
False
Let n = 137 + 4950. Does 10 divide n?
False
Let m be -7 - -5 - (6 - 0)*-14. Suppose 0 = 2*l - 3*h - 555, 0 = 3*l + 2*l + 2*h - 1340. Let c = l - m. Does 47 divide c?
True
Let p be (-12)/(-16) - (-2 - 12/(-16)). Suppose 27*z + 3*k = 30*z - 3018, -2011 = -p*z + 3*k. Is 19 a factor of z?
True
Let f(x) = -12*x**2 + 284*x + 45. Is f(22) a multiple of 5?
True
Let j = -26 - -26. Suppose 4*s - 440 - 972 = j. Suppose -s = -6*u + 379. Is 53 a factor of u?
False
Suppose 0 = 14*g - 45878 + 8456. Is 11 a factor of g?
True
Let s(c) = 63*c + 231. Let z be s(-17). Let g = -395 - z. Does 5 divide g?
True
Let a = -406 + 791. Suppose 0 = 5*h - a - 90. Does 19 divide h?
True
Let c(a) = a + 510. 