v + 38. Let z be a(7). Suppose 140 = z*j + 11. Is 31 a factor of j?
False
Let m(b) = 4*b**3 - 5*b**2 - 6*b + 5. Let g be m(5). Suppose -5*y - x = -g, -2*x = -8*y + 3*y + 335. Let v = y - 7. Is v a multiple of 25?
False
Let q = -147 - -204. Does 8 divide q?
False
Let m(s) be the second derivative of s**5/20 + s**4/2 - 5*s**3/6 + 8*s**2 - 20*s. Let g be m(-7). Suppose -g*f = -k + 50 - 20, 0 = 2*f - 8. Does 9 divide k?
False
Let n = -41 - -36. Let h be ((-5)/4)/(6/(-4349 - n)). Suppose h = 24*o - 19*o. Is o a multiple of 24?
False
Does 148 divide (-8)/(-432)*-6 - 467541/(-81)?
True
Let g be (-3)/7 - 24/(-7). Suppose 0 = i + g*v - 122, 0*i - 2*i = -4*v - 244. Suppose 2*n - i = -3*l, 10 = 8*l - 3*l. Does 10 divide n?
False
Let z(w) = 5*w**3 + 31*w**2 + 10*w - 36. Does 4 divide z(10)?
True
Suppose -6266*q + 335160 = -6247*q. Is 4 a factor of q?
True
Suppose -4*c = -5*h + 4, -4*h + 4*c + 0*c = 0. Let k be h/5*(-1925)/22. Is ((-84)/k)/(6/400) a multiple of 10?
True
Let w = 77 + -31. Let o be (4 + -3)/((-1)/(-19)). Let m = w - o. Is 9 a factor of m?
True
Suppose 5*u + 6*j - 8*j - 3675 = 0, 2*u = 5*j + 1470. Does 7 divide u?
True
Suppose 63*m = 118 + 638. Is m a multiple of 6?
True
Suppose -4*p + 13*w = 15*w - 5954, 13405 = 9*p - 4*w. Is p a multiple of 10?
False
Let s = -41145 - -85749. Does 354 divide s?
True
Suppose 108*v = 179094 + 197718. Is v a multiple of 6?
False
Let c = 139 + -84. Suppose -3*t + 20 = -5*p, -5*t + 0*t = -4*p - c. Is t a multiple of 2?
False
Let d(m) = -m**2 - 14*m - 31. Let b be d(-7). Suppose -b*a + 11*a = -7189. Is a a multiple of 11?
False
Let j(s) = 95*s**3 - 2*s**2 + 113*s - 320. Does 12 divide j(3)?
False
Let q(f) be the first derivative of 2*f**2 + 18*f + 41. Is 31 a factor of q(11)?
True
Let o(f) = f - 4. Let s be o(13). Let k be 3 + s/2 + (-2)/(-4). Suppose -k*h + 116 + 924 = 0. Is 13 a factor of h?
True
Let n be (-101 + 105)/(-2*(-1)/52). Let m = n + -51. Is 28 a factor of m?
False
Let n(m) = 4 + 32*m + 11 + 5 + 26. Does 10 divide n(0)?
False
Let h(s) = s**3 + 7*s**2 - 20*s - 8. Let j be h(-9). Does 46 divide j + (-196)/21 - 1351/(-3)?
False
Let f be (-1)/(-2*(-4)/(-16)). Suppose -f*l + 2062 = 2*k + 3*l, -5*k - l + 5132 = 0. Is 19 a factor of (2/6)/(9/k)?
True
Let n = -86188 + 123528. Is 20 a factor of n?
True
Suppose -4*y + 88*d - 87*d = -60, 5*y - 75 = -d. Let w = y - -499. Does 12 divide w?
False
Suppose 348*l = -3*c + 346*l + 146645, 3*l - 48877 = -c. Does 72 divide c?
False
Let r(n) = -5*n**2 + 12*n + 18. Let x(c) be the second derivative of c**4/2 - 2*c**3 - 17*c**2/2 - 13*c. Let p(k) = -3*r(k) - 2*x(k). Is 39 a factor of p(-6)?
False
Let y = -67 - -66. Let j be (2/3)/(y/(-3)). Suppose 4*r = -0*p - 5*p + 728, 0 = j*r + 3*p - 362. Is 34 a factor of r?
False
Suppose 0 = 3*t - 0*t - 2808. Let m be 15/(-21) - -1 - t/(-7). Suppose 0*s + 4*s - 5*p = m, 3*s - 102 = 3*p. Does 12 divide s?
True
Suppose -2*f - 38*s = -41*s - 13788, 0 = 3*f - 3*s - 20688. Is 92 a factor of f?
True
Does 5 divide -14 - -7 - (0 - 1943)/(5/15)?
False
Let r = -152 - -152. Suppose 4*n + 0*n = h - 44, -3*h + 2*n + 172 = r. Is h a multiple of 15?
True
Let m(j) = 59*j**2 - 148*j + 43. Does 12 divide m(8)?
False
Let z(r) = 5*r**2 + 2*r + 13. Let d be z(-7). Is 11 a factor of (-4 + d)*(-3)/((-18)/4)?
False
Let u(n) = -11*n**2 + n + 9. Let q be u(4). Let k = q - -301. Suppose -5*b + k = -x, 32 = b + 4*x - 2*x. Is 4 a factor of b?
True
Let i be (780/208)/((-1)/(-4)). Suppose -625 = -b + 3*c, -i*b - 2*c = -12*b - 1919. Does 7 divide b?
True
Let k be ((-48)/(-28))/(4/602). Suppose -4*g + k + 66 = 0. Suppose 3*b = g + 219. Does 14 divide b?
False
Suppose 0 = -3*v - i + 47849, -5*v = 2*i - 7*i - 79715. Suppose 2*p = 20*p - v. Is 23 a factor of p?
False
Let w = -750 + 864. Is w a multiple of 3?
True
Let c(t) = -27*t**3 - t**2 - 26*t - 19. Is c(-7) a multiple of 15?
True
Let v(r) = -10*r**3 - 2*r - 3. Let w be v(-2). Suppose -2*x + 3*x + 49 = 5*i, -4*x = 3*i + w. Is 14 a factor of x/(-4) + -6 - (-28)/2?
True
Let k(j) = j**2 + 15*j + 1. Let x be k(-12). Let b = -73 - x. Let u = b + 161. Does 22 divide u?
False
Let b = 27843 + -15565. Is b a multiple of 14?
True
Let q be (-100)/(-8)*80/50. Suppose q*r = -2*r + 3410. Is 32 a factor of r?
False
Let v(z) = -3146*z**2 - 34 + z + 3148*z**2 - 11*z. Is 19 a factor of v(-10)?
True
Let o(w) = -2*w - 10. Let d be o(-6). Suppose 0 = -d*c + 1 + 11. Does 8 divide ((-204)/36 - (-4)/c)*-7?
False
Suppose 0 = 389*s - 849*s - 5295513 + 13381393. Does 47 divide s?
True
Let l(f) = -2*f**2 + 13*f - 4. Let y be l(6). Let v = y - -37. Suppose 0 = -40*h + v*h + 96. Is h a multiple of 6?
True
Let w(j) = 8 - 6*j - 10*j + 15*j. Let p(i) = -2*i + 9. Let m(a) = -7*p(a) + 6*w(a). Does 17 divide m(4)?
True
Suppose -30*b - 26976 = -4*l, 5*l - 8*b + 11*b = 34044. Is 3 a factor of l?
True
Let p(m) = m**3 + 2*m**2 - 2. Let b be p(-2). Let l be ((-2)/4)/(b/(-28)). Let g = 43 + l. Does 9 divide g?
True
Let l be -4*2/4 - (-1 + -267). Suppose -3*x + l = 2*b, -168 = -4*b + x + 392. Is 16 a factor of b?
False
Let j be (287/(-14))/(2/(-4) + 0). Suppose -3*w = -5*m - 15, -2*w = 3*w - 3*m - j. Suppose w*o - 561 - 499 = 0. Is o a multiple of 32?
False
Let s(v) = -10*v**3 - v - 3. Let z be s(-3). Suppose -z*h = -277*h + 2618. Is h a multiple of 11?
True
Suppose k - 3*k - 2*s = 12, 15 = -4*k - s. Let j be k + 0 + 5 + 2. Does 17 divide 45 + -2 + j + 0?
False
Let w(d) = 4*d + 4 - d**2 - 5*d + 2 + 2*d. Let a be w(3). Suppose a = -5*z - 3*i + 27 + 45, -5*z + 52 = -2*i. Is z a multiple of 12?
True
Let b = -181 + 241. Let q = b - 47. Is q a multiple of 13?
True
Suppose -5*s + 20 = -5*p, -p + 4 = 4*s - 2. Is (2/8 + (-1687)/28)*p a multiple of 12?
True
Suppose 5*v = -3*l + 71083, -3*l + 100006 - 28963 = -3*v. Is 13 a factor of l?
True
Suppose 15597 = -12*w + 69969. Does 12 divide w?
False
Let l(m) be the first derivative of 2*m**3/3 + 65*m**2/2 - 103*m - 137. Is l(-36) a multiple of 6?
False
Suppose -6*x + 165 + 33 = 0. Suppose -12120 = 3*o - x*o. Is o a multiple of 38?
False
Suppose 706401 = -5*b + 75*b - 13*b. Does 21 divide b?
False
Let n(m) = -m**2 + 20*m - 16. Let k be n(19). Let f(z) = -z**3 + k*z**2 - 3 + 1 - 10*z - 18*z**2 + 1. Does 17 divide f(-15)?
False
Suppose 3*u + 4*z = 23536, 3*u + 487*z = 489*z + 23494. Is u a multiple of 41?
False
Let f(x) = x**3 - 36*x**2 - 44*x + 259. Let n be f(37). Suppose 3*c + 25 = -2*c. Is 30 a factor of (c - n)*-1*30?
True
Let z(h) = -h**3 + 10*h**2 + 27*h - 21. Let m be z(12). Does 21 divide (3 - m)*(-189)/18?
True
Let f(z) = z**3 - 14*z**2 - 7*z + 98. Let n be f(15). Suppose -6*x + 2*g = -10*x + n, x - 5*g - 71 = 0. Is x a multiple of 19?
False
Suppose 4*r - 8 = 0, -f - 54 = -4*f - 3*r. Let z be ((-1225)/14)/35*12/(-5). Is 2640/9 + f/z + -3 a multiple of 27?
False
Let w = 14 - 10. Let s(f) be the third derivative of f**6/120 - f**5/60 - 4*f**3/3 + 15*f**2. Does 8 divide s(w)?
True
Let x(y) = -15*y**2 - 3*y + 3. Let p be x(1). Let k be (p/15)/(2/(-10)). Suppose -2*r + 205 = k*j - 0*r, -r = j - 41. Is 12 a factor of j?
False
Let c(k) = 5*k**3 + 9. Let o(w) = -4*w**3 - w - 8. Let j(y) = 5*c(y) + 6*o(y). Suppose -44*n + 126 = -2*n. Is j(n) a multiple of 6?
True
Let z be 25/50 - (-241)/2. Let v = z - 85. Is 3 a factor of v?
True
Suppose 4*q - 3*k + 4 = 0, 4*q + k + 3*k = 24. Let j(s) = 10*s**q - 20 + 7*s + s**3 + 5 + 0*s**2 + 0. Does 19 divide j(-8)?
True
Suppose -4740 = -51*i + 31*i. Suppose 0 = 28*n - 6845 + i. Is 6 a factor of n?
False
Let c(i) = 5627*i - 3361. Does 163 divide c(4)?
False
Let t = -1662 - -2799. Suppose 0 = 9*n - 3882 + t. Is n a multiple of 13?
False
Suppose -r - 35 = -3*m + 16, 5*r - 1 = -m. Suppose m*q = 23*q - 1309. Does 11 divide q?
True
Let c(i) = 139*i**3 + 3*i**2 + 15*i - 72. Is 4 a factor of c(3)?
False
Suppose 28*z - 28303 = -16*z + 13*z. Is z a multiple of 6?
False
Let h(f) = -125*f + 695. Does 54 divide h(-16)?
False
Suppose -12 + 54 = 6*d. Is 8 a factor of ((-6)/d)/(28/(-5488))?
True
Let q = 15179 - 2082. Does 24 divide q?
False
Let d(x) = 6*x**3 - 14*x**2 + 19*x + 16. Let p be d(9). Suppose -15*o + p = -3278. Is 16 a factor of o?
False
Let y(r) = -60*r + 18 - r**2 + 34*r - 10*r. Is 13 a factor of y(-28)?
False
Suppose -4*d + 4*f = -7*d + 18, 7 = 5*d - f. Suppose 4*v + 1794 = 2*m, -m - d*m 