2) a multiple of 6?
True
Let p(q) = 102*q**3 - 4*q**2 - 96*q + 470. Does 11 divide p(5)?
False
Let y = -721 + 510. Does 72 divide 5 + y/4*-4?
True
Let g = 20956 - 38782. Let f be 14/(-77) - g/33. Suppose 4*l = -2*y + f, -2*y - 3*y = -l - 1361. Is 39 a factor of y?
False
Let f = 26508 - -9212. Is 235 a factor of f?
True
Let u be 57/1 + 3 - 0. Let m(v) = -v**2 - 11*v + 63. Let p be m(-15). Suppose -4*j + u = 2*a, 4*a = p*a. Does 7 divide j?
False
Let r(y) = 86*y - 51*y - y**3 - 9*y**2 - 47*y + 2. Is r(-8) a multiple of 4?
False
Let f(t) = -159*t**3 + t**2 + 68*t + 298. Does 6 divide f(-4)?
True
Suppose -5 = u - 4*y, 18 = 3*u + u + 3*y. Suppose u*w = o + 3*o - 454, o - 118 = 3*w. Is 8 a factor of o?
True
Suppose -2*m + 120 = 8*m. Suppose 2*n = m*n - 110. Suppose n*r = -106 + 304. Is 3 a factor of r?
True
Let i = 93 + -90. Suppose 3*b = -4*v + 73, i = 3*b + 2*v - 62. Let x = 69 + b. Is 11 a factor of x?
True
Let z(w) be the first derivative of 110*w**2 - 65*w + 82. Does 18 divide z(3)?
False
Suppose -11*i = -5*i - 138. Let b = i + -17. Suppose 0 = 15*y - b*y - 855. Does 16 divide y?
False
Let g = 17391 + -11818. Does 126 divide g?
False
Suppose 0 = -4*y + t + 14359, 0*t - 7184 = -2*y + 2*t. Is y a multiple of 200?
False
Let k(y) = 5*y**2 - 565*y - 466. Is k(116) a multiple of 14?
True
Let b = 272 + -262. Is 29 a factor of 0 - (6392/(-20) - (-6)/b)?
True
Let g = -685 - -679. Let k(d) be the first derivative of d**4/4 + 8*d**3/3 + 4*d**2 + 6*d + 3. Is k(g) a multiple of 3?
True
Let y(n) = -n**2 - 7*n + 20. Let f(z) = z**3 + 6*z**2 + 8*z + 10. Let o be f(-4). Let d be (-111)/15 - (26/o + -2). Is y(d) a multiple of 6?
True
Let g = -670 + 673. Suppose -z - 172 = -g*z. Is z a multiple of 2?
True
Suppose 4*o - 23*o = -207825 + 70341. Is o a multiple of 19?
False
Let h(r) = -r**3 + 18*r**2 - 15*r - 18. Let d be h(17). Let u(q) = -q**3 + 14*q**2 + 34*q + 6. Is u(d) a multiple of 3?
False
Let k(w) = -w**3 - 8*w**2 + 2*w + 18. Suppose -4*z = -2*z + 16. Let m be k(z). Suppose 0 = -2*x - m*x + 24. Is 3 a factor of x?
True
Let c = -7867 + 8093. Is 2 a factor of c?
True
Suppose 95 = -n - 2*z + 17, 4*z + 300 = -4*n. Let y be (2 - -1000)*(-9)/(-54). Let d = n + y. Is d a multiple of 19?
True
Suppose 24180 = 57*v - 54*v. Is v a multiple of 26?
True
Suppose 8 = -7*c + 11*c. Is 149 + c + (-7 - -6) a multiple of 15?
True
Suppose -2*b + 4*l + 44448 = 3*b, 0 = -4*b - 3*l + 35546. Is b a multiple of 11?
True
Suppose 0*u = -b - 3*u + 1, 0 = 4*b + 2*u - 14. Suppose -4*a = b*j - 592, -2*a + 5*a = -j + 152. Does 29 divide j?
False
Let q be 3 + -5 + 12 + -6. Suppose 0 = 5*y + c - 3*c - 534, 2*c = y - 110. Suppose 230 + y = q*l. Is l a multiple of 12?
True
Let v = -1204 - -2026. Suppose 10*t = 2922 - v. Is t a multiple of 35?
True
Does 27 divide 270/(-351) + 647220/273?
False
Suppose -8452 - 5552 = -6*z. Is z a multiple of 6?
True
Is 4 a factor of (-14)/35*(-4)/(-3)*647805/(-152)?
False
Suppose -4*p - 3081 = -3*q + 13993, 3*p - 22757 = -4*q. Does 5 divide q?
True
Let t be -1 + (-1)/(-3) + 84/18. Suppose -3*p = q, -q - 2 + t = p. Does 7 divide -12*(1 + p + -6)?
False
Does 3 divide (-3*18/10)/(7/(-420))?
True
Suppose 2*v - 694 = -4*g, -5*v - 13*g = -9*g - 1717. Suppose -3*l - 149 = -v. Does 16 divide l?
True
Suppose 13*g - 20611 = 10*g + 5*f, -2*g + 13762 = 2*f. Is g a multiple of 159?
False
Suppose 90*v = 88*v. Suppose -k = -y - 148, -2*k + 12*y - 16*y + 302 = v. Does 20 divide k?
False
Let r(x) = 5*x**2 + 17*x + 5. Let a(h) = 9*h**2 + 34*h + 11. Let i be 30/(-50) + (-38)/(-5). Let w(c) = i*r(c) - 4*a(c). Is w(-13) a multiple of 8?
False
Let w = 4599 + -274. Is 115 a factor of w?
False
Let v(a) = 6*a**2 - 14*a - 973. Does 2 divide v(-18)?
False
Let r(m) = -m**3 - 11*m**2 + 42*m - 5. Let y be r(-14). Let j = 7 + y. Let f(l) = 9*l**2 + l + 2. Is 4 a factor of f(j)?
True
Let w(n) = -n**3 + 5*n**2 - 1. Let h(k) = k**3 + 13*k**2 + 10*k - 16. Let t be h(-12). Suppose 6*z - t*z = -6. Does 7 divide w(z)?
False
Suppose 0*d - 7650 = -3*d. Suppose -5*v + 3*m + d = -2*v, 2*v - 3*m - 1701 = 0. Does 70 divide v?
False
Suppose 0 = 4*v + 3*s - 15, 15 = -3*v + 5*v + 3*s. Suppose -12*z + 15*z - 1770 = v. Suppose -5*r + z = -800. Is r a multiple of 41?
False
Let f(y) be the third derivative of -y**6/24 - y**5/15 + 25*y**4/24 + 8*y**3/3 + 19*y**2. Does 23 divide f(-7)?
False
Suppose 5*q + 1975 = 465. Let k = q - -950. Does 24 divide k?
True
Let j = -35 + 42. Suppose -5*v + 845 = 4*n, 0 = n - 2*v + j*v - 215. Does 15 divide n?
True
Let p(i) = -3*i + 31. Let d be p(9). Suppose 0 = -5*x - d - 6. Is ((-26)/x - -2) + 21/7 a multiple of 3?
True
Let m(q) = -q**3 - 17*q**2 - 52*q - 502. Let d be m(-15). Let o(i) = -i**3 + i**2 + 5*i + 6. Let y be o(5). Let l = y - d. Does 13 divide l?
False
Let x be (-2)/(8/1004)*-3. Suppose 33*p = 30*p - x. Let n = p - -494. Is 9 a factor of n?
True
Suppose 12*q = 9*q - 15, -2*t = -4*q - 824. Is 6 a factor of t?
True
Let x(q) = q**2 - 5*q + 4. Suppose 4*d - 4 = 0, 0 = v - 4*d + 3*d - 20. Suppose -2*i - v = -5*i. Does 3 divide x(i)?
True
Suppose 130*f = 138*f. Suppose f = 10*n - 14*n + 252. Does 7 divide n?
True
Let o(i) = -3 + 0 + 4*i + 1 - 2*i**2. Let z be o(2). Is (-1727)/(-22) - (-1)/z a multiple of 26?
True
Let o = 1033 - 315. Let d = o - 462. Suppose 3*w = -70 + d. Is 7 a factor of w?
False
Let r(p) = 614*p - 292. Does 113 divide r(11)?
False
Let y(g) be the first derivative of 1/4*g**4 - 8/3*g**3 + 29 - 27*g + 5*g**2. Does 12 divide y(9)?
True
Let j(c) = -3*c. Let h be j(-3). Let b be 3 + 2 - (-552)/120*85. Suppose h*f - 396 = b. Is f a multiple of 11?
True
Let u be 137 + 5/1 + -2. Suppose -2*d - 3*d + 350 = 0. Let t = u - d. Is 14 a factor of t?
True
Suppose 133*z - 1642173 - 1268875 = -94*z. Does 7 divide z?
True
Let y = 6857 - 5639. Does 203 divide y?
True
Suppose -4*n - 63 = 5*n. Let l(m) = m**3 + 5*m**2 - 16*m. Let t be l(n). Suppose -t*f + 188 = -50. Is f even?
False
Let u(h) = 3*h**3 - 23*h**2 - 35*h - 173. Let r(t) = 8*t**3 - 71*t**2 - 104*t - 518. Let f(a) = 4*r(a) - 11*u(a). Does 36 divide f(-31)?
True
Is 5/(-10)*12 + 37202 + 2 a multiple of 25?
False
Let i(f) = 32*f. Let w be i(0). Suppose 105*h - 100*h - 3150 = w. Is h a multiple of 45?
True
Suppose 3*x - 5*i - 3 = 0, 0*x + 3*x = -3*i + 27. Let k be -94*(x - 4 - 3). Let u = k + -39. Does 6 divide u?
False
Let h be (7/(-21))/(1/(-1389)). Let a = h - -48. Is a a multiple of 49?
False
Let o(v) = -34*v + 1471. Is 20 a factor of o(-14)?
False
Suppose 0*m + 78610 = 35*m. Suppose 2*r - 8*c + 5*c = 2247, -2*r = -2*c - m. Is r a multiple of 34?
True
Let l = -37 - -85. Let z be 100/(-125)*(-15)/2. Suppose -k - 4*y = -l, -5*y = -z + 21. Is 4 a factor of k?
True
Let j(f) = -11*f + 180. Let z be j(16). Let t = 209 - 110. Suppose 5*h - z*h + t = r, 5*r = h + 499. Is r a multiple of 20?
True
Let p = 97 - 61. Suppose p = 2*l + 12. Is l a multiple of 6?
True
Suppose -3*y = 2*h - 16853, y - 43 = -h + 5575. Is 10 a factor of y?
False
Suppose -2*x + 3*y + 142924 = -61502, -x + 102223 = -4*y. Is x a multiple of 17?
False
Suppose 19*m + 8817 - 287832 = 0. Is 89 a factor of m?
True
Is (5 + -2)/3 + 194 + 26783 a multiple of 287?
True
Does 23 divide (-3*(-1)/(-3))/(-3)*(5782 - 55)?
True
Let x(q) = 2*q**3 + 119*q**2 - 59*q + 209. Is 4 a factor of x(-60)?
False
Suppose -3*p + 5*o = 10, 5*p - 10 = 2*o + 5. Suppose p - 122 = -m. Let l = 168 - m. Is 12 a factor of l?
False
Let z be -3*2/15 - 2592/(-180). Suppose 7*o = -z*o + 11424. Is 34 a factor of o?
True
Suppose -32*y + 43017 + 51682 = -28213. Is y a multiple of 33?
False
Let k = -146 + 3233. Suppose -151 + k = 8*o. Is o a multiple of 69?
False
Suppose 5*b = -3*y + 22448, -3*y + 0*b + 22420 = b. Does 20 divide y?
False
Suppose -9*c - 341 + 422 = 0. Suppose c*q = 5701 + 2183. Is q a multiple of 6?
True
Let g(f) = -343*f - 280. Is g(-116) a multiple of 8?
False
Let h = -1901 - -3241. Suppose -3350 = -5*a - u, 0 = 36*a - 38*a + 4*u + h. Does 15 divide a?
False
Suppose 17*w - 13*w = 12. Suppose 27 = 6*n - w. Suppose n*j - 1188 = -4*j. Is 12 a factor of j?
True
Suppose 757*l = 760*l + 15, -5*l = 3*q - 1217. Does 4 divide q?
False
Suppose 4*i - 5*v - 1152 = 0, -v - 4*v - 586 = -2*i. Let z = i + -182. Is 11 a factor of z?
False
Let i = 6679 - -1829. Is 32 a factor of i?
False
Suppo