d(-41) a multiple of 5?
False
Let z(m) = -6*m + 38. Let w be z(6). Suppose 5538 = 11*k + w*k. Suppose 8*p - c = 3*p + 1042, -2*p + k = -5*c. Is p a multiple of 16?
True
Let q(a) = 1536*a - 136. Does 56 divide q(1)?
True
Suppose 7*v = 6*v + 4. Suppose 0 = -v*n + n + 6. Does 9 divide n/10 - 1118/(-10)?
False
Let k = 13426 + -12441. Does 58 divide k?
False
Suppose 99945*y = 99932*y + 193739. Is y a multiple of 95?
False
Let c = -15506 + 29778. Suppose 29*d - 13*d = c. Is d a multiple of 64?
False
Suppose 3*w + 122 = 2*i, i = -4*w + 5*w + 61. Suppose -854 = i*j - 2501. Is j a multiple of 23?
False
Let r be -2*(1 + 5/(-10))*-14. Does 4 divide 1 - (r + -16)*27/2?
True
Suppose 208450 = 101*o - 443303. Is o a multiple of 57?
False
Is 47 a factor of 22/(85 + -239) + 358346/14 + 1?
False
Suppose -971*j + 961*j + 51660 = 0. Does 4 divide j?
False
Suppose -4*r + 5*d + 7 = 8*d, 0 = 2*r + 3*d + 1. Suppose -4*o = -3*m + 1599 + 462, 4*m - 2776 = -r*o. Does 19 divide m?
False
Let s = -549 - -233. Let q(d) = d**3 - 2*d**2 - 2*d - 192. Let g be q(0). Let l = g - s. Does 28 divide l?
False
Let q = 93 - 132. Let p(j) = 10*j**2 + j. Let y be p(-1). Let o = y - q. Is o a multiple of 24?
True
Let f(j) = -j**2. Let z(s) = -24*s**3 + 5*s**2 + 1. Suppose d = 6*d - 3*b - 24, -5*d + 2*b = -26. Let r(u) = d*f(u) + z(u). Is r(-1) a multiple of 12?
True
Suppose x + 3*x - 680 = 4*v, -678 = -4*x + 5*v. Is x + 8 - -2*1 a multiple of 26?
True
Suppose -179*v + 46456 = -297630 - 251626. Is 32 a factor of v?
True
Let h be (-156)/10 + 11 - (-6)/10. Is 4 a factor of (-312)/(-10)*(-10)/h?
False
Let b(c) = 22*c - 5*c**3 + 10 + 5*c**3 + 19*c**2 + c**3 + 26*c + 2. Does 40 divide b(-14)?
True
Let c(i) = 29*i**2 + 56*i - 53. Is c(13) a multiple of 41?
True
Let g = -3409 - -5498. Does 23 divide g?
False
Let b(w) = 38*w + 22*w - 99 - 7*w. Is b(10) a multiple of 38?
False
Let y(j) = -5*j**2 - j - 18. Let n(q) = 4*q**2 - q + 19. Let b(p) = 4*n(p) + 3*y(p). Is 16 a factor of b(-10)?
True
Let w(a) = a**3 - 11*a**2 - 40*a - 22. Let n be w(14). Suppose 31584 = -n*j + 53*j. Is 56 a factor of j?
True
Let a = -788 - -950. Let x = a - -124. Is 60 a factor of x?
False
Let d be -2*(-40)/(-50)*(-20)/2. Suppose 3*q = 7*q - d. Suppose -r + q*v = -82 - 2, -420 = -5*r + 3*v. Is 17 a factor of r?
False
Let t be 3 + 2 + 23 - 4. Let u = t + 154. Does 6 divide u?
False
Suppose 234 - 4 = 2*t. Let z = -930 + 946. Suppose p + z - t = s, 3*p - 293 = 5*s. Does 15 divide p?
False
Let b(d) = -d**3 - 10*d**2 - 16*d. Let t be b(-2). Suppose a - 3 = t, -2*i + 342 = -2*a - 2*a. Is 5 a factor of i?
False
Suppose 15424 - 3618 = 2*h - 2*d, d = -2*h + 11812. Is 89 a factor of h?
False
Suppose 2*k - 2557 = -5*y, -5*y - k = -6*y + 510. Suppose 18*g - y = -133. Is g a multiple of 5?
False
Suppose 0*c + r + 324276 = -4*c, -c - 4*r - 81054 = 0. Let t = 41518 + c. Is 4/22 + t/(-264) a multiple of 21?
False
Let s be 6/(-2*15/(-50)). Let r be (-2)/s + 96/30. Suppose 0 = 2*n - 2*f - 140, -2*n + 362 = r*n - f. Is 19 a factor of n?
False
Let s(i) be the third derivative of 11*i**5/30 + i**4/12 + 18*i**2. Let j be s(-2). Suppose o + 5*z = 32 + 14, 5*z + j = 4*o. Does 3 divide o?
False
Is (19982/(-309))/((-2)/3) a multiple of 24?
False
Let b be ((-3)/24 - 136/(-64))*62. Let g = b + -28. Does 8 divide g?
True
Let h(z) = 3*z**3 - 23*z**2 - 9*z + 12. Let b be h(8). Is 20 a factor of -390*(-10 + b)/18?
False
Is 2*(-63348)/24*(2 - 3) even?
False
Suppose 0 = -a - 0*a - 3, 5*a + 6290 = 5*r. Is r a multiple of 18?
False
Does 6 divide 20*(803/3 + (-118)/177)?
True
Suppose -10*o + 9*o = -4*s + 1698, 1279 = 3*s + 2*o. Does 21 divide s?
False
Suppose -278*f = -301*f + 22816. Does 152 divide f?
False
Let v(c) = -c**3 + 9*c**2 + c - 7. Let t be v(5). Suppose -5*i + 3*r = -1108 - t, 0 = i + r - 238. Is 80 a factor of i?
True
Let k = 8507 + -4792. Does 11 divide k?
False
Let s(h) be the second derivative of h**4/12 + h**3/3 - 5*h**2 + 36*h. Let v be s(-6). Suppose -7*l + v*l - 1050 = 0. Does 17 divide l?
False
Suppose -111004 - 43280 = -43*l. Is 78 a factor of l?
True
Let m(b) = -41*b**3 + b**2 - b - 1. Let n be (-3)/(((-12)/16)/1). Suppose -6 = 2*a + n*a. Is m(a) a multiple of 21?
True
Let j(t) = t**3 + 45*t**2 + 33*t + 101. Does 10 divide j(-13)?
True
Let c be (-1 - 1)*(26 - 23). Is 21 a factor of (-1886)/c - (2 + (-32)/12)?
True
Let l(z) = 3472*z**3 - 8*z**2 - 4*z + 11. Does 15 divide l(1)?
False
Suppose -o - 3*m - 17 = -0*m, 4*m + 24 = -2*o. Let n be (-5)/o*4/2. Suppose 2*b + 93 = n*q - 170, 0 = -2*q - 3*b + 109. Is q a multiple of 16?
False
Suppose d + 3*s - 114 = 0, -s = -4*d - 3*s + 496. Suppose 0 = 5*j + p - 23, -5*j + 5*p = 2*p - 31. Suppose j*n = 3*w - 2*w - d, 462 = 4*w + n. Does 21 divide w?
False
Suppose -2*q - 12 = 3*n + n, n = -5. Let p be 73/(((-16)/q)/(-4)). Suppose -p - 207 = -2*z. Is z a multiple of 20?
True
Let c(o) = 255*o**3 - 10*o**2 + 22*o + 15. Is c(3) a multiple of 40?
False
Let i(z) = 14*z - 3. Let m be i(2). Let s = m + 36. Let l = 1 + s. Does 31 divide l?
True
Let m(l) = 4*l - 12. Suppose 5*u = 0, -5*n + 147 = u + 7. Does 23 divide m(n)?
False
Suppose 24*h - 25*h - 1 = 0. Let g(y) = y**2 - 3*y - 2. Let u be g(4). Is 22 a factor of u/(-3*h/132)?
True
Let b(i) = 4*i**2 + 300*i + 47. Is b(28) a multiple of 27?
True
Let i = 7 - 67. Let w = i - -64. Suppose -w*u = -11 - 205. Does 18 divide u?
True
Let v(i) = 61*i - 2057. Is 14 a factor of v(76)?
False
Let i = 2 + 1. Let a be (-6)/(-108)*20*63. Suppose 0 = -5*s + i*w + 70, a = s + 4*s + 3*w. Is 7 a factor of s?
True
Suppose 0 = i + 5, i + 6 = 4*k - 15. Is 1029 + 45/(-9 + k) a multiple of 12?
True
Suppose -241*g + 184 = -237*g. Suppose -42*w + g*w = 1568. Is w a multiple of 49?
True
Let s be -4 + (-12)/10*(-2070)/4. Suppose 8*n = s + 3327. Is n a multiple of 29?
True
Let y = 19 - 33. Let n(x) = 29*x + 51. Let q(j) = -13*j - 27. Let h(m) = 2*n(m) + 5*q(m). Is 9 a factor of h(y)?
False
Suppose -3*u + 21 = -18. Let d be (-2)/4*(-5 + -49). Suppose d + u = 2*j. Is 5 a factor of j?
True
Suppose 3*k - 21 = -2*w, -k + 4 - 8 = -3*w. Suppose -2*t + 448 = 2*o, o - 6*o + k*t = -1160. Is o a multiple of 9?
False
Let y(z) = 5*z - 22. Let o be y(5). Suppose 3 = 2*c - o*p - 2, c = 5*p + 13. Is ((-8)/c)/(7/77) a multiple of 14?
False
Let f(t) = 74*t - 12. Let o be f(-2). Let r = 302 + o. Is 24 a factor of r?
False
Suppose -228 = p - 232. Let c = 8 - 3. Suppose -c*n = 3*i - n - 72, 2*i = -p*n + 48. Is 8 a factor of i?
True
Let m = -3359 + 7039. Is m a multiple of 40?
True
Let r be 108 + (-1)/(15/18 - 1). Suppose 2*t + 90 - r = 0. Is t even?
True
Suppose 0 = m - 5*l - 223, -4*m + 22*l + 858 = 19*l. Is m even?
False
Does 11 divide 11*60/(-33)*16302/(-10)?
True
Suppose 80 - 84 = -v. Suppose -33*w = v*q - 32*w - 4228, w + 4220 = 4*q. Is q a multiple of 32?
True
Suppose -4*f - 24 = -4, 5*f + 40 = 3*b. Let q be (b + -4)/(1/(-15)). Let r = q - -26. Does 5 divide r?
False
Let y be ((-12)/(-8) + -2)/(8/912). Does 12 divide y/((-24)/8 - -2)?
False
Suppose 0 = -25*p + 175719 - 103507 + 219363. Does 35 divide p?
False
Let r be 4648/49 - (-2)/14. Let t = r - 91. Is 31 a factor of 1734/14 + (87/21 - t)?
True
Is (57/(-38))/((-6)/448) + 7 even?
False
Suppose -5*l + 245 = -d, -4*l + 514 = -3*d + d. Let h = -29 - d. Is 33 a factor of h?
False
Let p(c) = c**2 - 8*c + 5. Let s be p(0). Is 56 a factor of (-408)/s*30/(-6)?
False
Let b be (-3 - -1)/(2/(-173))*5. Let p = b + -493. Let d = -206 + p. Is d a multiple of 12?
False
Let m(l) = -7*l**3 + 65 - 56 + 9*l**2 + 6*l - l**2. Is 19 a factor of m(-3)?
False
Let s(k) be the third derivative of -5*k**4/12 - 25*k**3/2 + 31*k**2. Is s(-10) even?
False
Let v(c) be the second derivative of c**4/12 + c**3/2 - c**2/2 + 21*c. Let i be v(-5). Let m(z) = -z**3 + 12*z**2 - 20*z - 18. Does 15 divide m(i)?
True
Let c = 99 + -94. Let m be c - (-63 + (-20)/4). Let g = 163 - m. Is 18 a factor of g?
True
Let v = 6680 - 5833. Does 35 divide v?
False
Let q(u) = u**3 - u**2. Let x(v) = -4*v**3 - v**2 - 7*v + 8. Let w(z) = 6*q(z) + x(z). Let k be w(7). Let b = k - 187. Is 23 a factor of b?
True
Suppose -u + 4*k = -14, 3*u + 2*k - 38 = -u. Suppose -8550 = -u*h - 8*h. Does 33 divide h?
False
Let k(g) = -g**2 - 11*g - 27. Let t be k(-6). Suppose -t*p + p = -4. Suppose 2*a + 2*r = 4*r + 76, -4*