(3). Suppose -k = 385*f - 390*f. Is 36 a factor of f?
False
Let t = 109 + -184. Let z = 41 + -29. Is 6 a factor of (t/z + 1)*-16?
True
Suppose w = -9*w + 140. Does 14 divide 2/7 - ((-2320)/w - 2)?
True
Let k = 35141 - 20174. Is k a multiple of 32?
False
Let q(p) = -19*p**2 + 1428*p - 194. Is q(74) a multiple of 2?
True
Is (779/(-133))/(4/(-30268)) a multiple of 14?
False
Suppose 72018 = -68*g + 327766. Is 72 a factor of g?
False
Let c = -19 - 5. Let n(s) = s**2 + 25*s + 36. Let f be n(c). Suppose f*w - 1044 = 3*w. Does 29 divide w?
True
Let g = 82 + -74. Let j(c) = 37*c + 185. Does 18 divide j(g)?
False
Let d = 21655 - 10851. Does 15 divide d?
False
Suppose -2*c = -4*g + 1640, 160 + 1480 = 4*g + c. Is g a multiple of 41?
True
Let a(i) be the third derivative of 29*i**5/60 + i**4/24 - 7*i**3/6 - 8*i**2. Let t be a(4). Let g = -262 + t. Does 15 divide g?
False
Is (6 + -13037 - 1)*9/(-18) a multiple of 12?
True
Let b(h) = -816*h**3 + 24*h + 36. Does 52 divide b(-3)?
True
Let z(x) be the second derivative of -2*x**3/3 + 30*x**2 + 99*x. Does 10 divide z(0)?
True
Suppose -4*k = k + 430. Let v = k + 118. Does 8 divide v?
True
Let p(c) = 37*c + 2. Let w(x) = x**3 - 10*x**2 - 12*x + 9. Let t be w(11). Let q be p(t). Let d = 219 + q. Is 7 a factor of d?
True
Suppose -2*p - n - 3 = 0, 2*p + 3*p + n = -12. Let z be ((-2)/2)/(p/531). Let f = 276 - z. Does 22 divide f?
False
Suppose -9*o - 8*o = -51. Suppose -8*d = -o*d - 880. Is 8 a factor of d?
True
Let i = -284 + 285. Does 21 divide (-198)/(-2) + (9 + -3)/i?
True
Is 14 a factor of (6 - 444)*1*-7?
True
Suppose -6*w = 2*x - 9*w - 18, 4*x - 4*w = 36. Suppose -5*t + x*s - 5*s = -3314, s + 1328 = 2*t. Is 18 a factor of t?
True
Let g = 5894 + -4559. Is 37 a factor of g?
False
Let h(g) = 3*g**2 + 18*g + 24. Let o be h(-4). Suppose 7*f = -o*f + 3920. Does 28 divide f?
True
Let r = 1391 - -3394. Is 145 a factor of r?
True
Let p be 7 - (2 + -1)*2. Let l(h) = h**3 - 7 + 16 - 2*h**2 + p + 10*h**2 - 2*h. Is l(-7) a multiple of 12?
False
Let x(u) = 2*u**2 - 9*u + 9. Suppose -3*b - 4 = -4*b. Let l be x(b). Suppose -5*a - 4*h = -150, -2*a + 8 + 85 = -l*h. Does 6 divide a?
False
Let i = 1865 - 28. Suppose -i = -7*m - 1592. Is m even?
False
Let n(l) = -l**3 - 12*l**2 - 11*l + 14. Suppose -4*g = -6 + 50. Let y be n(g). Is 85*(y/(-5) + 3) a multiple of 17?
True
Let o be 11 + -7*(-4)/14. Does 64 divide (-666)/(1 - 7)*o/3?
False
Let x = -8128 - -15706. Is x a multiple of 11?
False
Let x be (-3871)/(-105) + ((-47)/(-15) - 3). Let g(v) = 20*v - 90. Is 65 a factor of g(x)?
True
Does 124 divide 769909/63 + (-10)/(-45) - -2?
False
Let z be (-2)/((-4)/10) - (-64)/2. Suppose 5*i = -2*j + 1279, 3*i - j = -z + 811. Is 18 a factor of i?
False
Suppose 2*c + u + 5 = 1, 2*c + 2*u = 0. Let h(j) be the first derivative of -j**4/2 + 2*j**3/3 + 2*j**2 + 3*j - 577. Does 28 divide h(c)?
False
Suppose 64*x = 63*x - 5, -2*v - 3*x = -4425. Does 10 divide v?
True
Let j = 209 - -225. Let v = j + -396. Is v a multiple of 7?
False
Let o = -2736 + 7453. Is o a multiple of 133?
False
Suppose -o = -0*o + 5*f + 18, -o + 5*f - 28 = 0. Let s = o - -25. Suppose -s*v - 17 = t - 86, t - 174 = -5*v. Does 7 divide v?
True
Suppose -36*y + 255949 = -12*y - 5*y. Is y a multiple of 102?
False
Suppose -h - 3*i + 473 = 0, -5*h + 2*i = -1946 - 419. Does 7 divide h?
False
Suppose -4*n + 5123 = 5*b + 913, 0 = 4*n - 4*b - 4156. Does 5 divide n?
True
Let h = -1901 + 3640. Is h a multiple of 3?
False
Does 8 divide (-91590)/(-27) + -6*4/108?
True
Let h(y) = 44*y**2 - 50*y + 315. Is h(7) a multiple of 21?
True
Let j(k) be the second derivative of k**6/120 + 13*k**5/120 - 17*k**4/12 + 12*k. Let n(b) be the third derivative of j(b). Does 37 divide n(4)?
True
Let t = 759 - 143. Suppose -y - t = -5*y. Is y a multiple of 11?
True
Suppose 3*j - 12*j + 6772 = -10148. Is j a multiple of 4?
True
Let f(s) = -2053*s - 2249. Does 6 divide f(-12)?
False
Let v(d) = 8*d + 36. Let z(x) = x - 1. Let s(a) = v(a) - 3*z(a). Let q(m) = 2*m**2 + 3. Let p be q(3). Does 24 divide s(p)?
True
Let j(b) = -56*b - 56*b + 50 + 169*b - 56*b. Is j(-8) a multiple of 2?
True
Suppose -94 = -5*h + 71. Suppose 4*c - c - h = 0. Suppose -4*s = -c*s + 1029. Is s a multiple of 21?
True
Let x(w) = -32*w - 61. Let a(c) = 13*c + 22. Let r(u) = -27*u - 45. Let i(s) = 5*a(s) + 2*r(s). Let n(y) = 11*i(y) + 4*x(y). Does 14 divide n(-11)?
False
Let q be 27/(-15)*20/(-3). Let d(o) = 15 - q - 14*o + 3*o**2 + 8. Is 44 a factor of d(11)?
True
Let z be 0/(4/8*8). Suppose z = 5*d - 7*d + 210. Is d a multiple of 5?
True
Suppose 4*a = 30 + 34. Suppose -9*x + a = -x. Suppose z - 4*z = -5*p + 243, 0 = -x*p - 3*z + 114. Is p a multiple of 25?
False
Let k(w) be the third derivative of -w**6/120 - 11*w**5/30 - 29*w**4/12 + 5*w**3 + 25*w**2. Is k(-20) a multiple of 30?
True
Let u = 358 + -116. Let p = u + -127. Is p a multiple of 5?
True
Let n = 864 - 1320. Let i = 1086 + n. Is i a multiple of 42?
True
Suppose 335275 = 451*z - 2156500. Is 13 a factor of z?
True
Let g be 8/(-12) + 41/3. Suppose -5665 = -g*p + 1355. Does 18 divide p?
True
Let u(s) = 18*s - 186. Let b be u(12). Is 13 a factor of 3*b/(-45) + (-416)/(-2)?
False
Let n be (130/(-15) - 3)*114. Let b = -471 - n. Is 24 a factor of b?
False
Suppose -2*n = -z + 23, 5*z + 3*n - 37 = z. Let b = z + -13. Let l(p) = 3*p + 33. Does 8 divide l(b)?
False
Let a be 3 + 0/(-2) + -3 + 5. Suppose 3*f = -a*t + 600, -3*f - 2*f + 1000 = 5*t. Is 10 a factor of f?
True
Is 16/(-6)*(-5 + (-115)/(-20)) - -2762 a multiple of 12?
True
Let f(j) = -14*j**3 - 24*j**2 - 4*j. Let l(y) = 5*y**3 + 8*y**2 + y. Let z(r) = 6*r + 43. Let p be z(-9). Let s(i) = p*l(i) - 4*f(i). Does 21 divide s(-6)?
True
Suppose -4*i - 173 = -41. Let n = 63 + i. Suppose -g = -n + 20. Does 9 divide g?
False
Does 3 divide (-120)/((-120)/(-2080)*(-3 - (0 + -1)))?
False
Let m(a) = a**3 + 16*a**2 + 16*a + 11. Let l be m(-13). Suppose 7*g + l = 12*g. Does 3 divide g?
False
Suppose 12*u + 1965 = -8*u + 55305. Is u a multiple of 127?
True
Let g be 6/(-4)*(-31)/((-217)/42). Let c(k) = k**3 + 21*k**2 - 8*k - 76. Does 22 divide c(g)?
True
Suppose 0 = -2*u - 2, -4*u - 3625 = -4*l + 1383. Does 9 divide l?
True
Let g(z) = z - 3. Suppose 10 = 2*f - 4. Let o be g(f). Suppose -o*m - 141 = -537. Is 13 a factor of m?
False
Let a(z) = -z**2 + 9*z + 26. Let b be a(11). Suppose m - 3 = -3*r, -b*r + 2*m = 5*m + 1. Suppose 0 = n - 29 + r. Is n a multiple of 9?
True
Suppose -21*o + 24*o - 513 = 0. Suppose 7*t = o + 109. Is t a multiple of 10?
True
Let m be (1*2/3)/(2/1686). Let x = 962 - m. Is 40 a factor of x?
True
Suppose 4*n = 4*g + 6490 + 422, 0 = 2*g + 6. Suppose 64*c = 61*c + n. Is c a multiple of 16?
False
Let f(h) = 9*h**3 + 6*h**2 + 3*h - 3. Let p = -18 + 15. Let w be f(p). Is (-36)/(-9) - 1*w a multiple of 14?
False
Suppose 0 = -15*d + 22543 - 20053. Is d a multiple of 2?
True
Let k(b) be the first derivative of b**6/10 - b**5/20 + b**4/8 + b**2/2 - 8. Let r(u) be the second derivative of k(u). Is 7 a factor of r(2)?
False
Let i(k) = k**2 + 7*k - 13. Let h be (-84)/8*1 - (-9)/6. Let f be i(h). Suppose f*d - 288 = d + 2*p, -2*d + 160 = 3*p. Is 11 a factor of d?
False
Let z(o) = 68*o**2 - 4*o - 21. Is 8 a factor of z(-10)?
False
Suppose -77*x - 215513 = -509770 - 662776. Does 9 divide x?
True
Suppose 4*w = 28, 4*q = -2*w + 10832 + 23242. Is 15 a factor of q?
False
Let q be (-14)/(-133) + (-370)/(-95). Let f(v) = v**3 + 5*v**2 + 3*v - 2. Let b be f(-4). Suppose -b*o + 0*o + 212 = -q*t, t + 1 = 0. Is o a multiple of 26?
True
Is (-49 + -11)/12 - -2499 a multiple of 2?
True
Let o(r) = 7183*r**2 - 19*r - 19. Does 56 divide o(-1)?
False
Let j be 7*4/(20/305). Suppose -29*h + 878 = -j. Does 2 divide h?
False
Let r be ((-4)/(-1) + 0)*7/2. Let c = -8 + r. Is 24 a factor of (-4)/(-3) + 712/c?
True
Is 13 a factor of -6*8/24 + 6856 + -7?
False
Let l(s) = -19*s**3 + 46*s**2 + 88*s + 143. Let p(x) = 7*x**3 - 15*x**2 - 29*x - 48. Let z(b) = -3*l(b) - 8*p(b). Does 23 divide z(20)?
True
Let v(y) = 2*y**2 - 23*y - 7. Let q be v(12). Suppose -o + q*a = -65, -3*o - 24*a = -21*a - 177. Is o a multiple of 14?
False
Suppose -5*h + 8*h = -45. Let g be ((-10)/(-12) - 18/12)*h. Suppose 123 - 653 = -g*c. Is 46 a factor of c?
False
Suppose 53*m - 74358 = -60*m + 96*m. Is 