d)?
True
Suppose 822917 = 43*v - 1353270. Does 221 divide v?
True
Let g(s) = 73*s**2 + 6*s - 8. Let w(f) = -2*f**2 - f + 1. Let n(i) = g(i) + 3*w(i). Is 5 a factor of n(1)?
True
Let h(d) = d - 118. Let a be h(0). Let w = 384 + a. Suppose -2*g = -w - 28. Does 50 divide g?
False
Let z be (286 + -7)/(-9) - (-4)/(-1). Does 6 divide (-5475)/z + (-12)/28?
True
Let s = 51620 + -34605. Is s a multiple of 26?
False
Suppose 0 = -3*r - 49 + 529. Let x = -379 + r. Let j = x - -394. Is j a multiple of 12?
False
Suppose 26887 + 2962 = 4*f + j, 0 = 5*f - 5*j - 37305. Is f a multiple of 54?
False
Let n(s) = s**3 - 10*s + 10. Let u be n(12). Suppose 932 = 10*k - u. Is k a multiple of 15?
True
Let a be ((-138)/4)/(6/(-8)). Let p be (60/(-45))/(298/(-147) + 2). Suppose a*m - p*m = -78. Is 13 a factor of m?
True
Let y(a) = 22 + 21*a - 5*a - 2*a. Does 64 divide y(20)?
False
Suppose 4*n = 3*s + 414, 4*n + 0*s - 426 = -3*s. Let f = 229 - n. Suppose -5*m - 19 + f = 0. Is m a multiple of 5?
False
Let t = -1341 + 6741. Is 15 a factor of t?
True
Suppose 207559 = 24*b - 4*b - 9*b. Is b a multiple of 117?
False
Let l be ((-284)/(-32) + -4)*8. Suppose l*d - 4971 = 6963. Is d a multiple of 3?
True
Let u(r) = 191*r**3 + 7*r**2 - 15*r + 6. Let z be u(-5). Does 17 divide (z/(-21) - 4) + (-16)/(-56)?
False
Suppose 13*w - 12*w = -5*i + 679, -4*w = -i - 2716. Is w a multiple of 159?
False
Let z = -62 - -64. Let r be (12/30)/(((-2)/(-5))/z). Suppose 5*f - 105 = 3*b, 0 = -0*b + r*b. Is f a multiple of 5?
False
Let b = 37 + -48. Let f = 78 - b. Let z = f - 31. Does 29 divide z?
True
Let j = 107 - 100. Suppose -j*h - 190 = -12*h. Is 6 a factor of h?
False
Does 8 divide 8/12 - (-56462)/42?
False
Let x(a) = a**3 - 38*a**2 - 12*a + 48. Let d = 478 + -439. Is x(d) a multiple of 47?
False
Let p be 38/171 + ((-50)/(-9))/2. Suppose 5*z = -3*s + 11, 2*z = p*s - 0*z - 4. Suppose -3*y - 5*x = -251, 4*y + s*x = -0*x + 330. Does 41 divide y?
True
Suppose -4*m - 10*z = -7*z - 1547, 1507 = 4*m - 5*z. Suppose 3*o = c + m, -4*c + 2*o - 1497 = -3*o. Let y = -263 - c. Is y a multiple of 21?
True
Let z be (3 - 1) + 10/1. Let q(r) = 5*r**2 - 9*r + 16. Let x be q(z). Suppose 0 = 8*o - x - 660. Does 15 divide o?
False
Is (12/7)/(376783/53823 - 7) a multiple of 17?
False
Suppose -14*n - 26 = -110. Suppose s = n*s - 5300. Is s a multiple of 20?
True
Let j be (-3)/(-3*(-2)/(-6)). Let h(r) = 2*r**2 - r - 21. Let x be h(12). Suppose t + 3*f - 427 = -4*t, 3*t - x = -j*f. Does 43 divide t?
True
Let y = 11 + -19. Let w be ((-240)/9)/y*18. Is 8 a factor of (-248)/(-7) + w/(-140)?
False
Suppose -5*w - 14 = -3*o, 2*w + 3*o - 13 = 6*w. Is 23 a factor of (-1)/w + 493 + 12?
True
Suppose -73 = -7*f + 74. Does 45 divide 489/(-21)*-29 - 6/f?
True
Does 6 divide (-9*(-15)/9)/((-6)/(-2518))?
False
Let k = -10842 + 21447. Is k a multiple of 21?
True
Let x = 126 - 114. Suppose 2296 = -x*k + 26*k. Does 41 divide k?
True
Is 3580/(-1)*((-3)/8)/(186/1860) a multiple of 75?
True
Let q = -5574 + 10578. Is 18 a factor of q?
True
Let q(k) = -69 + 21 - 13*k - 8*k - k**3 - 13*k**2 - 1. Does 5 divide q(-12)?
False
Suppose -23066*k = -23060*k - 20358. Is 117 a factor of k?
True
Let x(o) = o**2 + 12*o - 1. Let q(b) = -3*b + 36. Let m be q(19). Let w = 26 + m. Does 37 divide x(w)?
False
Suppose 0 = -6*p - p + 1365. Is (-12)/10 + 1 - (-86229)/p a multiple of 17?
True
Is ((-17184)/320 - 2/(-10))*-2 a multiple of 12?
False
Let o = 13 + -28. Let n = -11 - o. Suppose -4*f = 5*b - 230, -5*f - 96 = -n*b + 47. Does 27 divide b?
False
Let b(m) = 6*m**2 - 41*m + 207. Is b(15) a multiple of 21?
False
Does 15 divide -6 + 6297*-12*3/(-54)?
False
Let d = 31 - 24. Suppose n + j + 11 = 0, -5*j - d = -n + 6. Is 12 a factor of (n + 9)/((-2)/(-60))?
True
Let u(x) = x**2 - 5*x + 8. Let o(d) = -d**3 + 8*d**2 + 4*d - 4. Let v be o(8). Suppose 26*y + 14 = v*y. Is u(y) even?
True
Is (4/(32/1476))/((-10 + 6)/(-8)) a multiple of 41?
True
Let a(i) = -i**3 - 7*i**2 + 8*i + 15. Suppose -2*n = 12 + 4. Let v(c) = c**3 + 6*c**2 - 15*c. Let x be v(n). Is 15 a factor of a(x)?
True
Is 116 a factor of (3 - 0) + 23966 + 28 + 15?
True
Is (-174275)/75*-3 + -1 a multiple of 25?
False
Suppose 4*g + 1 = 17. Let u be (102/g - 3)/((-15)/(-460)). Suppose -u + 202 = -4*k. Is k a multiple of 10?
False
Let h be 12*2*1 - -4. Suppose 5*y + u = 2*u - 31, -2*u - h = 5*y. Let n(m) = -8*m - 27. Is n(y) a multiple of 8?
False
Suppose -28*i = -100926 - 18496 - 79238. Does 55 divide i?
True
Let c be 4 - ((-21)/3 - -10). Suppose 0 = 6*o - o - 4*j - 2469, 0 = -j - c. Is o a multiple of 29?
True
Let k = -274 + 145. Let s = k + 386. Is s a multiple of 8?
False
Suppose 4*w = -0*w. Let u be -1 - w - (-224 + -2). Suppose 3*k - 135 = u. Is 40 a factor of k?
True
Let m = 19 - -59. Is (12/9)/((-4)/m)*-1 a multiple of 15?
False
Suppose -3*x + c + 9926 = 0, -243 = x + 2*c - 3540. Is 162 a factor of x?
False
Suppose f + j = 4019, 5*f + 3*j - 3805 = 16298. Does 9 divide f?
True
Suppose -8*y + 18996 - 1247 = -4371. Is y a multiple of 35?
True
Let y(k) = 2 + 29*k**3 - 3*k - 28*k**3 - 3*k + 5*k**2 + 0*k**2. Let w be y(-6). Suppose -2*i + 4*z + 36 = 0, -7*i + 96 = -w*i - 4*z. Is i a multiple of 14?
False
Let s be 111/(-2)*(5 + -27). Suppose 0 = 2*b + 3*y - 4*y - s, 5*b - 2*y - 3054 = 0. Is 51 a factor of b?
True
Let v be (-7 - (0 - 4))/((-9)/30). Is 40 a factor of v*3*(-480)/(-72)?
True
Is 53 a factor of 108/135 + (-2 - 78723/(-15))?
True
Suppose 3*c = -c - 48. Let g be -2 + c/(-5) + 39/15. Suppose g*k = -6*k + 1233. Is 13 a factor of k?
False
Let k(l) = 3*l**2 + 79*l - 16. Let w(s) = s**2 - 17*s + 45. Let u be w(8). Does 20 divide k(u)?
False
Let x(t) be the third derivative of t**4/6 + 50*t**3/3 - t**2 - 12*t. Does 4 divide x(9)?
True
Suppose -p = p + 5*j - 134, p - 5*j = 52. Let u = p + -57. Suppose -t + u*h = -56, -t + 0*t + h = -52. Does 9 divide t?
False
Let t = -2 + 2. Suppose 552*w - 2016 = 544*w. Suppose -2*s + 0*s + w = t. Is 14 a factor of s?
True
Let w(c) = 185*c**2 - 19*c + 96. Does 4 divide w(-5)?
True
Let f(a) be the second derivative of a**6/360 + 7*a**5/120 - 5*a**4/24 - 11*a**3/6 + 18*a. Let u(i) be the second derivative of f(i). Is u(-8) a multiple of 3?
True
Is 10 a factor of -15*(-4)/10 + 774?
True
Let k(g) = -12*g**2 + 3*g**2 + 2*g + 26*g + 8*g**2 + 104. Let m be k(31). Suppose 0 = -m*t + 5*t + 396. Is t a multiple of 22?
True
Let g(w) = 17*w + 150. Let n be g(-8). Suppose -15*q + 366 = -n*q - 4*c, -3*c - 9 = 0. Does 12 divide q?
False
Is 4 a factor of ((4/(-35))/((-6)/(-157965)))/(4/(-14))?
False
Suppose 273*w + 268830 = 7153890. Is w a multiple of 13?
True
Let m be (-9)/(-4)*(-128)/24. Let l be 2/8 + 3*9/m. Is 16 a factor of (((-12)/3)/(-2))/l - -65?
True
Suppose 19*t = 2*t - 2210. Let f = -54 - t. Does 15 divide f?
False
Let f be (-2)/(-2)*(-17 + 12/2). Let p(x) be the first derivative of 2*x**3/3 + 8*x**2 + 12*x - 9. Is p(f) a multiple of 13?
True
Let m(w) = -5*w + 0*w + 15 + 9*w. Let d be m(-5). Is 11/(((-15)/6)/d) a multiple of 6?
False
Does 179 divide 7 - ((-14554)/(-4))/(101/(-606))?
True
Let c(u) = 9*u + 4. Let a(h) = h - 1. Let b(m) = 3*a(m) - c(m). Let o be b(-4). Suppose -5 - o = -r. Is r a multiple of 14?
False
Let v be (-8)/(-28) + (-19)/(-7). Suppose -6*f - n = -3*f, 2*f = -v*n + 7. Is (-2)/(-3) + f - (-543)/9 a multiple of 6?
True
Suppose -4 - 5 = 3*n. Let t be 3 - n/(9/(-267)). Let y = t + 184. Is y a multiple of 14?
True
Let s be ((-6)/(-7))/((-75)/42 - -2). Suppose -6 = 2*l + 2*j - s, j = -4*l - 1. Let i = l + 12. Is i a multiple of 6?
True
Let d be (-18)/(-12)*13712/24. Let s = d - 538. Is 8 a factor of s?
False
Let t(n) = -4573*n - 3475. Is t(-15) a multiple of 29?
False
Let h = -41 - 55. Let z = h + 182. Suppose 0 = s - z - 22. Is s a multiple of 13?
False
Suppose -2*h = -k - 5*h - 12, 3*k - 3*h - 24 = 0. Suppose -368 = -3*f + 5*d, k + 5 = -2*d. Let y = f - 63. Does 26 divide y?
False
Let f(z) = -3609*z**3 + 2*z**2 + z - 1. Is 136 a factor of f(-1)?
False
Let o(b) = -b**2 + 8*b + 14. Let m be o(9). Suppose -3*n + m*n - 4 = 0. Suppose 0 = n*c + 2, 3*v + 3*c - 247 = 158. Is 34 a factor of v?
True
Suppose 0 = 85*s + 16*s - 387840. Does 61 divide s?
False
Let c be 1/(-3 - 80/(-25)). Suppose c*p + 2 = 6*p. Does 2 divide (-24)/18*(-9)/p?
True
Suppose 2*d - 2084 = 3*j - 61