Let i be c(0). Suppose 0*n - 15*n + i = 0. Does 4 divide n?
False
Let k(r) = -12*r**3 - 4*r**2 - 98*r - 36. Is 132 a factor of k(-10)?
False
Suppose q = s + 6*q - 18, 0 = -3*q + 15. Let t(h) = h**2 + 8*h + 13. Let r be t(s). Is 12 a factor of (r/4)/((-3)/(-48))?
True
Suppose -4*c - 14 + 172 = 3*j, 2*c + 2*j = 80. Let o = 40 - c. Suppose -3*x + 4*s = -0*s - 101, 0 = 3*x - o*s - 103. Is x a multiple of 35?
True
Let s be (-174)/(-9) + 12/(-9). Suppose s = -21*c + 795. Is 15 a factor of c?
False
Let q(h) = -2*h**3 - 2*h**2 + 1. Let c(o) = 18*o**3 + 9*o**2 - 2*o - 16. Let j(b) = c(b) + 4*q(b). Is 53 a factor of j(4)?
True
Let r(x) = -x**3 + 9*x**2 + 9*x + 15. Let n be r(10). Suppose n*z - 4*q - 264 = 0, -3*z = -8*z - q + 284. Is 5 a factor of z?
False
Suppose 0 = 4*h - 8, -3*m = -23*h + 26*h - 150. Let s = m + 270. Does 46 divide s?
False
Is 96 a factor of ((-12)/(-9))/(((-6)/21060)/(196/(-35)))?
True
Let b be (-7)/3*((-2)/2 - -4). Let f = -2 - b. Suppose -10*i = -5*i + 10, -2*i - 294 = -f*d. Is d a multiple of 7?
False
Let y(u) = 2441*u**2 + 9*u - 30. Does 184 divide y(2)?
True
Let o = -423 - -16. Is (o/(-2))/(8/16) a multiple of 14?
False
Suppose -11*q = -6*q - 20. Is 7 a factor of q/12 + (-2)/(-12)*796?
True
Let d(j) = -2*j**3 - 141*j**2 + 76*j + 427. Is d(-71) a multiple of 18?
True
Suppose 38*v + 504 = 36*v. Let f = -205 - v. Is 5 a factor of f?
False
Let p(j) = 3*j + 5*j**2 - 3*j + 28 - 40 + 4*j. Is p(-6) a multiple of 5?
False
Let c(g) = 3*g**2 + 0*g**2 + 18 + 50*g - 6 - 1. Is 2 a factor of c(-18)?
False
Suppose -1446 - 589 = -5*i. Suppose 2*r + z - i = r, 5*r - 2041 = z. Does 51 divide r?
True
Does 35 divide (-30*4/(-72))/(11/42273)?
True
Suppose -y + 398 = -370. Suppose 12*q + y = 16*q. Does 24 divide q?
True
Let h(c) = -c**2 + 8*c - 7. Let d be h(7). Let m(k) = 2*k**2 + 7*k - 2. Let f be m(-4). Suppose -f*n = -d*n - 12. Is 6 a factor of n?
True
Let w be -8 + 42 - (0 + 0). Suppose 20*n - 598 = 7*n. Let l = n - w. Is l a multiple of 6?
True
Let j = 22508 - 6028. Is 32 a factor of j?
True
Let a be 1/((-40)/(-140) - 102/406). Suppose -a*t + 480 = -24*t. Does 16 divide t?
True
Let h(q) = 77*q**3 + q**2 - 1. Let c be h(1). Let p = c - 74. Suppose 0 = -4*a - 2*f + 109 + 517, 3*a = -p*f + 468. Does 14 divide a?
False
Let l be (3*16/12 - 1) + -5. Let m be (l/(-2))/1*(-2 + 2). Is 9 a factor of m - -26 - ((-2 - -2) + -4)?
False
Suppose -122 = -2*o + 24. Suppose -4*c + 107 = t, -4*t = 3*c - o - 407. Does 18 divide t?
False
Suppose 66*q = 67*q - 6285. Does 19 divide (q/(-25))/(30/(-50))?
False
Does 9 divide (23076/(-4))/(6*1/(-12))?
True
Let w = -22450 - -38790. Is w a multiple of 20?
True
Let r(s) = s**2 - 94*s + 675. Let n be r(10). Let p be 17*2/((-2)/(-27)). Let t = n + p. Is t a multiple of 23?
False
Let x = -15297 + 21639. Is x a multiple of 2?
True
Let t(j) = 24*j**2 + 5*j + 5365. Is 37 a factor of t(0)?
True
Suppose -4*g = 5*x + 135, -45 = 3*g - 3*x + 36. Does 7 divide (-21)/2*560/g?
True
Let a = -13403 + 14412. Is 32 a factor of a?
False
Let y(j) = 2*j**2 - 16*j + 14. Let l be y(-7). Suppose 3*u = 1256 - l. Does 7 divide u?
False
Let p be (-5 + 1)*(-3 + 1). Let x(k) = 25*k**2 + 15*k - 5. Let h(q) = -37*q**2 - 23*q + 8. Let n(w) = p*x(w) + 5*h(w). Is n(-2) a multiple of 7?
False
Let n(d) = -654*d + 6. Is 73 a factor of n(-2)?
True
Let a = -298 + 1026. Does 7 divide (a/(-16))/(0 - (-2)/(-4))?
True
Let n(l) = l**2 - 12. Let q be n(4). Suppose -q = -s + 93. Suppose 5*z - 181 - s = -2*g, -3*z - 6 = 0. Does 36 divide g?
True
Let k(u) = 4*u**3 - 4*u**2 + 60*u + 66. Is k(12) a multiple of 25?
False
Is 55 a factor of 3/(-2)*(-4224000)/576?
True
Let n = -24159 + 37526. Does 17 divide n?
False
Suppose 4*c = -4*k + 14656, -c + 14*c + 2*k - 47621 = 0. Is 14 a factor of c?
False
Does 15 divide 14/42 + ((-100478)/(-21) - 3)?
False
Suppose 3*r - 5*r = 2*m - 35148, 0 = 2*r + 3*m - 35149. Is r a multiple of 182?
False
Suppose 0 = -21*u + 29*u - 1376. Let h = 317 - u. Is h a multiple of 29?
True
Let x(b) = 7*b - 98. Let v be x(15). Suppose -v*a + 508 = -836. Is a a multiple of 6?
True
Suppose -3*g = 2*i - 24, 2*g + 8*i = 3*i + 27. Suppose -894 = -g*s - 162. Is 8 a factor of s?
False
Suppose 3*r + 5*o = 3*o + 62681, 5*r + 3*o - 104466 = 0. Does 11 divide r?
True
Let p(c) = 607*c + 5. Is p(1) a multiple of 9?
True
Is 62 a factor of 17/85*(45338 + -3)?
False
Is (188/(-94))/(1/(-65)) a multiple of 23?
False
Suppose -4*y - 46 - 91 = p, -2*p = 3*y + 294. Is p/(-12)*(-52)/(-39) even?
False
Suppose 1523*a + 97272 = 1530*a. Does 9 divide a?
True
Let y be (-6)/(-8) + 162/72. Let v = 150 + y. Is v a multiple of 17?
True
Let d(g) = 7*g**2 - 4 - 11*g + 2*g**3 - 10 + 0 + 6*g**2. Does 4 divide d(-7)?
False
Let z = -680 + 5433. Is z a multiple of 15?
False
Suppose -13*k + 11*k + 2422 = 5*j, -3*k + j = -3667. Does 28 divide k?
False
Suppose 132*g - 135*g = -24. Suppose -501 = g*j - 5685. Is 13 a factor of j?
False
Suppose -c - 4*d - 8 = 0, 4*c + 4*d = -22 - 22. Let j be 120/c*30/(-4). Suppose 24 + j = s. Is s a multiple of 9?
True
Let d = -108 + 111. Suppose -6*n + 5*r = -8*n + 1765, 0 = -3*r - d. Is 12 a factor of n?
False
Let n(l) = 17*l + 124. Let w = 211 - 207. Is n(w) a multiple of 4?
True
Let v = -536 + 538. Suppose 0 = -3*s - v*u + 1455, s - 3*u - 262 = 212. Does 73 divide s?
False
Suppose -2*c - 6 = -5*q + 2*q, -5*c = -5*q + 5. Suppose 2*n = -6*g + c*g - 32, g = -3*n - 62. Let u = -2 - n. Does 16 divide u?
False
Let g(j) = -93*j**3 - j**2 - 12*j - 18. Does 20 divide g(-3)?
True
Let u(m) = 5*m + 1. Let d be u(1). Let y be (-2 - (-1509)/d)*-4. Is 25 a factor of (-7)/(-35) - y/10?
True
Let g(q) = -q**2 - 2*q + 1. Let o(d) = 29*d**2 - 10*d - 5. Let s(v) = -2*g(v) + o(v). Is 77 a factor of s(3)?
False
Does 2 divide ((-15)/(-10)*1324/(-6))/((-87)/1305)?
False
Suppose 9552*l - 9543*l - 324 = 0. Is l a multiple of 9?
True
Let f(k) = k**2 + 4*k + 105. Let l be f(-26). Let b = l - 401. Is b a multiple of 92?
True
Let o(t) = -35*t**2 - 162*t + 5. Is o(-3) a multiple of 4?
True
Suppose -13 + 7 = -3*f. Suppose 0 = 3*u + 4*z - 434, 5*u - 742 = -0*u - f*z. Does 36 divide u?
False
Let k be 578/(-85) + (-2)/10. Let o(s) = -6*s - 6. Let g(y) = y**2 - 11*y - 11. Let z(v) = k*o(v) + 4*g(v). Is z(3) a multiple of 7?
True
Let o(z) = -z**2 - z + 45. Let g(i) = -6*i - 49. Let v be g(-9). Is 15 a factor of o(v)?
True
Suppose 92 + 88 = 9*o. Does 4 divide (5/25)/((-8)/o)*-86?
False
Let b be 3 - ((-402)/15 - 16/(-20)). Suppose -h = 34 - b, -542 = -4*t - 2*h. Is t a multiple of 11?
False
Suppose 4*x - 44 = -60. Let y(g) = -5*g**3 - g**2 - 4*g - 1. Does 11 divide y(x)?
True
Suppose 3*o = -w + 4, -2*o + 0 = 2*w - 4. Let g(v) = 19*v**3 + 4*v**2 - 7*v + 2. Does 5 divide g(o)?
False
Let f(l) = -1300*l + 16. Let y be f(6). Let v = y - -4674. Is 7 a factor of v/(-80) - (-1)/8?
False
Let p = -7250 - -8853. Is p a multiple of 7?
True
Does 2 divide ((-18)/(-8))/(6 + (-1847)/308)?
False
Suppose 8*r = 26*r - 18144. Let g = r - 456. Does 8 divide g?
True
Let p(b) = b + 139. Suppose 2*d - 8 = -4*f, 12 - 10 = d + f. Is p(d) a multiple of 38?
False
Suppose -6 = -4*z + z. Let d be 3 + -5 + z - 4. Is 13 a factor of (-4 - (-496)/(-6))*6/d?
True
Let s = -251 - -255. Is s/9 + (-60040)/(-180) a multiple of 50?
False
Let w be ((-4)/12 + 0)/((-2)/30). Suppose x + 636 = w*x. Let r = x - -6. Is 33 a factor of r?
True
Let y = 370 + -238. Let t be ((-62)/(-4))/(22/y). Suppose -468 = -t*c + 91*c. Is c a multiple of 18?
True
Let f = 391 - 184. Suppose -1105 = -6*m + m + 4*o, m + 2*o = f. Is m a multiple of 31?
True
Suppose -c + 31 = -40. Suppose -4*s = -12*s + 552. Suppose s + c = 2*v. Is v a multiple of 14?
True
Suppose 5*r = -r - 576. Let f = r - -101. Suppose 0 = -3*m + 12, -y + 180 = f*m - 49. Does 19 divide y?
True
Suppose 18250 - 23074 = -18*g. Is g a multiple of 67?
True
Suppose -3*t - 1780 + 10261 = -3*q, -2*t + 5675 = -5*q. Does 42 divide t?
False
Let x be (-78)/(-13)*(2/1)/6. Suppose -3*n - 68 = -h, 0 = h - x*h + 2*n + 71. Is 7 a factor of h?
True
Let x(j) = j**3 + 22*j**2 + 64*j + 48. Suppose -7*u - 81 = 45. Does 17 divide x(u)?
False
Let w(r) = 3*r**3 - 5*r**2 + 2*r + 4. Let o be w(2). Let n(j) = 27*j + 4. Does 8 divide n(o)?
True
Let f(k) = -18346*k + 9. Let z be f(-1). Suppose 29*m - 14067 = z. Does 13 divide