(n) + 4*s(n). Is 13 a factor of d(0)?
True
Suppose 0 = v + 4*j - 5296, -2*j = 2*v + 1230 - 11816. Is v a multiple of 9?
True
Let d(m) = -2*m**3 + 10*m**2 + 10*m + 15. Let o be d(12). Let l = o + 2652. Suppose -5*z + l = 3*t, -3*t + 12*z = 10*z - 750. Is t a multiple of 42?
True
Let a(j) = -22*j**2 + 16 + 11*j**2 + 12*j**2 - 12*j. Let r be a(11). Suppose 4*v + r*f = 139, 5*v - 103 = 2*v - 4*f. Is 41 a factor of v?
True
Let o = 7168 - 6794. Is o a multiple of 27?
False
Suppose -4*n - h = -812, -258 + 1270 = 5*n + 2*h. Suppose -5*l - 2*a + 256 = -n, 4*a + 20 = 0. Is l even?
True
Let u be (9/3)/((-3)/2). Let s be (3 - 2)*(-7 + u). Does 5 divide (41/(-2))/(s/18)?
False
Let k = -158 + 166. Let r(t) be the second derivative of t**4/12 - 4*t**3/3 + 9*t**2 + 3*t. Is 6 a factor of r(k)?
True
Let s = -54 - -88. Let o = 1 + 5. Suppose s = -o*l + 178. Does 12 divide l?
True
Suppose 0 = -6*i - 5 + 17. Suppose 0*w - 3*w = i*u - 428, 4*w - 5*u = 609. Suppose l - w = -2*r, -599 = -4*l + 2*r - 7*r. Is 26 a factor of l?
True
Let f(h) = 16*h - 61. Let s = 64 - 51. Let r be s + (2/7 - 20/70). Does 28 divide f(r)?
False
Is 52 a factor of 3 + -2 - (-8527 + 104)?
True
Let t(s) = s**3 - 17*s**2 - 7*s + 10. Suppose -72 = -4*c + 2*j, 0 = -j + 3*j. Is t(c) a multiple of 16?
True
Let j(o) = o**2 + 46*o + 243. Let l be j(-6). Let a be (-4)/(-6) - (-21)/9. Suppose a*p - 4*b = -p + 156, 5*p - 199 = l*b. Is 11 a factor of p?
False
Suppose -3*g + 5*b = 0, -b - b - 4 = -2*g. Suppose -u = -5*o + 2*u - g, u - 5 = 0. Suppose x = -3*f + 21, 0 = -3*x + o*f + 2*f + 24. Is x a multiple of 6?
True
Let a be (-2)/(((-24)/9)/4). Suppose -2*r = 4*c - 2308, 426 = a*c + 2*r - 1306. Does 62 divide c?
False
Let a(z) = -14*z - 15*z + 958*z**2 + 53 - 961*z**2. Let v(q) = -q**2 - 14*q + 26. Let w(f) = -2*a(f) + 5*v(f). Is 13 a factor of w(14)?
True
Suppose 917 = 31*h - 757. Suppose 3*j = 3*r + h, 4*r + 88 = 3*j + 2*j. Is 8 a factor of j?
True
Let q be (-2)/(-3)*-6*(-15 + 16). Is 47 a factor of (-3 - -99 - q) + -6?
True
Does 193 divide (6/4)/(189/1945818)?
False
Suppose 0 = 51*f - 16*f - 175. Suppose 2*w + j - 347 = 99, -f*w - j = -1112. Does 10 divide w?
False
Let i(f) = -15*f**2 + 2*f + 6. Let l(b) = 7*b**2 - b - 3. Let h(v) = 6*i(v) + 13*l(v). Let k be h(-2). Let d(t) = 6*t**2 - 2*t + 6. Does 6 divide d(k)?
True
Suppose -12*h + 15*h = -j + 5367, 2*h = -14. Does 12 divide j?
True
Let x(l) = -l**3 + 5*l**2 + 2*l - 9. Let k be x(5). Let p be (-4 - k - -4)/(1/(-9)). Suppose -p*v + v = -304. Does 38 divide v?
True
Let x(r) = -r**2 + 118*r + 47. Is x(37) a multiple of 8?
False
Suppose -129812 = -661*r + 638*r. Does 35 divide r?
False
Suppose 2*t - 212 = -11*l + 6*l, -2*t = -2*l + 96. Let o(f) = -f**3 + 2*f**2 + 17*f - 10. Let s be o(7). Let u = l - s. Does 12 divide u?
True
Let k be 1002/1169*21/6. Let y(z) = 2 + 10 - 3*z**2 + 6*z**3 + 2*z - 2*z**2. Does 15 divide y(k)?
True
Let n be ((-22)/6)/(12/(-36)). Suppose 12*d = n*d. Suppose d = -2*y - c + 114, 3*c = -c + 8. Does 14 divide y?
True
Let l = 5 - 8. Let v(h) = -32*h + 223. Let p be v(7). Does 17 divide 12*p/(l/17)?
True
Suppose 12*p = 14*p - 10. Suppose -p + 17 = 3*u + 3*o, 16 = 5*u + 3*o. Does 4 divide (u - 5)/(15/(-50))?
False
Let z = 21 + -52. Let p = 98 + z. Is p a multiple of 12?
False
Suppose -2*y - 533 = 5*w, 2*w + 75*y + 217 = 78*y. Let t = 95 - w. Does 4 divide t?
False
Let i be (2/12)/((-11)/40029)*2. Let n = -841 - i. Is n a multiple of 21?
False
Suppose -71 = -j - 4*j - d, 3*j - d - 41 = 0. Let m(u) = -u**2 + 49*u - 4*u - 14*u + 18. Is m(j) a multiple of 37?
False
Is 82 a factor of (-17)/(18972/72) - 177942/(-31)?
True
Suppose o = -57 + 117. Does 6 divide (-5 + (-247)/(-5))/(9/o)?
False
Let c(h) = 37*h - 48. Let m be c(4). Suppose 0 = 19*z - 24*z + m. Is (-1224)/(-34)*z/6 a multiple of 40?
True
Let j be 2 - (-6 + 6)/(-6). Suppose -r = -2*y + 566, -j*y + 132 = -4*r - 446. Does 10 divide y?
False
Let i be 4 - ((-3447)/(-3) - 1). Is 115/2*i/(-130) a multiple of 39?
False
Suppose 2*y - 7602 = -o, o - 36*y = -35*y + 7584. Is o a multiple of 15?
True
Let g(a) = 3*a**2 + a + 2. Let k be g(-1). Suppose 2*j + 9*n = k*n + 351, 4*n + 324 = 2*j. Suppose j + 57 = 5*t. Is t a multiple of 15?
True
Suppose -u - 12*w + 22697 = -11*w, -2*u + 45395 = w. Does 45 divide 1*2/(-4) + u/36?
True
Suppose u - h - 55 - 37 = 0, 2*h = -3*u + 296. Let o = u + -91. Suppose -5*f = -q + 4*q - 162, -2*q = o*f - 158. Is f a multiple of 7?
False
Let j be 3/30 + 520854/(-940). Let t(p) = -186*p - 2. Let b be t(2). Let v = b - j. Does 15 divide v?
True
Does 16 divide (-1772)/(-16834) - 468460/(-38)?
False
Let t = -4671 - -5694. Does 31 divide t?
True
Let v(q) = 58*q - 43. Let x(z) = 12*z - 11. Let w(u) = 2*v(u) - 9*x(u). Let j = -32 - -57. Is 55 a factor of w(j)?
False
Suppose 2*u - 330 = -2*w, w = -5*u + 6*u + 157. Does 55 divide w/(-35) + 4/(-10) - -775?
True
Suppose 1937 + 2783 = 5*g - 5*u, 3*u = 0. Does 3 divide g?
False
Let d be -1*(-2 + -8) + -4. Let t be d/4 - 30/20. Suppose -2*p - 24 + 216 = t. Does 24 divide p?
True
Suppose w = r + 50, 7*w - 6*w = -3*r - 142. Let k = r + 170. Is 61 a factor of k?
True
Suppose -7*r - 2*h + 14096 = -5*r, 0 = -2*r + 4*h + 14102. Is 117 a factor of r?
False
Does 43 divide ((-517424)/832 + 10/65)*(-8)/3?
False
Let n(j) = j**2 - 4*j - 9. Let g(d) = -4*d + 123*d**3 + 1 - 132*d**3 + 3*d + 0. Let i be g(1). Is 36 a factor of n(i)?
True
Let g be -7*(-8)/4*6/21. Suppose q - 259 = -5*o, 42*q - 41*q - 268 = g*o. Is q a multiple of 12?
True
Let s = -7569 - -10918. Suppose 0 = -3*n - u + 432 + s, n - 5*u - 1271 = 0. Is 97 a factor of n?
True
Let h(b) = b**3 + 5*b**2 - b + 7. Let l be h(-5). Let c(r) = r**2 - 14*r + 15. Let t be c(l). Does 40 divide 3/(t/3)*(-188 + 1)?
False
Is 41/(-123) + 3994/3 a multiple of 13?
False
Let q(h) = h**3 + 19*h**2 - 2*h + 17. Let f be q(-18). Is (-8)/5*-5 + f a multiple of 9?
False
Let j = 626 + -514. Suppose j = 3*u - 1394. Does 52 divide u?
False
Let l(i) = 320*i**2 + 12*i + 2. Let o = 50 - 49. Is l(o) a multiple of 21?
False
Does 63 divide 22/143 - (-36267)/273?
False
Suppose 125933 = -37*h + 579553. Is 163 a factor of h?
False
Suppose 438 = 3*t + 5*s, -t + 146 = -3*s + 4*s. Suppose 114 = -p + t. Is 11 a factor of p?
False
Is 68 a factor of (-33610 - -12)*(-2)/4*2?
False
Let j(s) = s**3 - 32*s**2 - 55*s + 152. Is j(38) a multiple of 13?
False
Let n be 4260/27 + 8/36. Suppose 14*i = 16*i - n. Suppose -5*j - 3*y + 4*y + i = 0, 0 = 5*j + 3*y - 83. Does 10 divide j?
False
Let j = -118 + 120. Let t(f) = -8*f**2 + 20*f**2 - 2*f**j + 4*f - f**3 - 1. Is 2 a factor of t(10)?
False
Suppose -y - s + 90 = -4*s, 399 = 4*y + s. Let w = -92 + y. Suppose k = w*k - 606. Is 14 a factor of k?
False
Let g = -6466 - -12679. Is g a multiple of 109?
True
Let z = 8 + -13. Let i(o) = -37*o - 290. Let v be i(-8). Does 5 divide -10*(15/v)/z?
True
Let o(r) = r**3 + 15*r**2 - 9*r + 26. Let d be o(-14). Does 4 divide 1/3 + 6 + d/9?
False
Suppose -24*g + 5*g = 114. Is 3 a factor of 513/(-36)*8/g?
False
Let z(b) = 22*b**2 - 7*b - 6. Let t(x) = 110*x**2 - 36*x - 31. Let j(h) = -2*t(h) + 11*z(h). Let c be (4 - 1/1)/(-1). Is 8 a factor of j(c)?
False
Let p = 803 - -200. Is p a multiple of 59?
True
Let g be 192/(-72)*(-69)/(-1). Let x = g + 296. Does 9 divide x?
False
Let n = -1321 - -3401. Is n a multiple of 5?
True
Suppose -171*i + 10640 = -91*i. Is 32 a factor of i?
False
Let i = -405 - -586. Let x = 190 - i. Does 7 divide x?
False
Let v be (7 - 14)/(-3*(-2)/6). Let t(p) = -10*p + 27. Does 6 divide t(v)?
False
Suppose -1692 = 11*j - 20*j. Let y = j - 166. Does 11 divide y?
True
Let c = -14 - -19. Suppose -5*l = -15, 0 = f - 0*f - c*l + 9. Suppose -f*a + 471 + 87 = 0. Does 31 divide a?
True
Let i be 313874/(-176) + (-6)/(-16). Let s = -665 - i. Is 43 a factor of s?
True
Let y(l) = -l**3 - 15*l**2 + 32*l + 36. Let z be y(-17). Is 12/(-15)*z/(-4) a multiple of 6?
False
Let w be ((-5)/(-2) - 2) + (-81)/54. Is (0/(-7))/w - (-1 + -71) a multiple of 8?
True
Suppose -h = -21 + 611. Let m = -539 - h. Does 3 divide m?
True
Suppose 37*u - 35*u = 12. Is 2 a factor of (189 - (-54)/u) + -7?
False
Let n = 24626 + -24495. Is n a multiple of 2?
False
Let y be 2/13 + (16023/39 - 5). Let j = -117 + y. Does 17 divide j?
True
Let o(y) = 2*y**3 + 2*y**2 + y + 7