 a factor of p?
True
Suppose -152*d = -163*d + 59807. Is 34 a factor of d?
False
Let k(h) = -7*h**2 - 2*h - 10. Let o be k(-3). Let v = 417 + o. Does 50 divide v?
True
Let k = -5167 + 7973. Does 23 divide k?
True
Let k(p) = 14*p**3 + 41*p**2 - 150*p - 1. Is k(3) a multiple of 49?
False
Does 27 divide (48/14)/((92/13041)/4)?
True
Let s = -4317 + 4676. Is s a multiple of 4?
False
Let r be 76 - 3*(4 + -2). Suppose r*z - 58*z = 3132. Does 20 divide z?
False
Let o(u) = -24*u + 1687. Does 21 divide o(-6)?
False
Is 14 a factor of (3 - 20)/((164/350058)/((-4)/6))?
False
Suppose -5*j - 10 = -2*j + 5*s, j + 2*s + 5 = 0. Suppose 1320 = j*w + 3*r, -w - r - 3*r = -281. Is w a multiple of 2?
False
Is 8 a factor of (-27)/(-54) - 15597/15*15/(-6)?
True
Let p(t) be the first derivative of t**4/6 + 8*t**3/3 + 7*t**2/2 - 5. Let x(a) be the second derivative of p(a). Is x(6) a multiple of 4?
True
Suppose 3*h = -5*y + 10, -h + 7 - 4 = 2*y. Suppose -935 = h*x + 30. Let r = x - -310. Does 9 divide r?
True
Let q = -811 + 1143. Suppose -6*z = q - 2348. Is 21 a factor of z?
True
Let d = -17 + 5. Let n be (-19)/(-114) - 58/d. Let a(u) = u + 9. Is a(n) a multiple of 7?
True
Let q be (-212)/(-18) + (-1 - (-11)/9). Suppose 191 = q*p - 5581. Is 9 a factor of p?
False
Let d(v) be the third derivative of -17*v**2 + 0*v**4 + 2/3*v**3 + 1/60*v**5 + 0*v + 0. Does 17 divide d(-9)?
True
Suppose 17*k + 4*t = 16*k + 4334, -3*k = 5*t - 13037. Suppose -19*c + k = -4614. Is c a multiple of 71?
False
Let o be (-6 + -4 - 6) + 10/(-2). Is 8 + 161/o + 700/6 a multiple of 2?
False
Let o = -68 - 167. Let t = o - -363. Does 8 divide t?
True
Let u = -33152 - -48440. Is 21 a factor of u?
True
Let p(k) = k**2 - 6*k - 8. Let b(y) = 1. Let v(n) = 6*b(n) + p(n). Let g be v(7). Suppose 0*i = i + g*r - 171, i - 5*r - 181 = 0. Is 8 a factor of i?
True
Suppose -5*r + 4*j - 503 + 3336 = 0, 5*r = j + 2842. Let i = -249 + r. Is 10 a factor of i?
True
Suppose 4*x = -5*v + 51, 2*x - 12 - 16 = -2*v. Suppose -22*j = -x*j - 696. Is 17 a factor of j?
False
Does 13 divide 53/((-2067)/(-26)) + (-15752)/(-6)?
True
Suppose -27*l + 43*l - 158628 = -40068. Is l a multiple of 57?
True
Let b = -6796 - -6812. Does 16 divide b?
True
Let r = 16 - -12. Let m be (-2 + (r - 1))/(3/27). Suppose 0 = 5*d - 0*d - m. Is d a multiple of 7?
False
Let h = -18 - -22. Let v(l) = 6*l**3 - 3*l**2 + 6*l - 15. Is v(h) a multiple of 15?
True
Suppose 4*t - 85207 = 5*v, 4*t - 38*v + 36*v = 85210. Is t a multiple of 9?
True
Let s(g) = 3*g**3 - 3*g**2 + 2*g - 7. Let t be (-36)/(-84) - 32/(-7). Does 27 divide s(t)?
False
Suppose 4*u + 30 = -u. Let q(j) = -j**2 - 2*j - 2. Let o(p) = -p**3 - 6*p**2 - 3. Let s(h) = o(h) - 3*q(h). Is 15 a factor of s(u)?
True
Suppose 2*i - 6123 = -d, i + 1292 = -d + 4351. Is i a multiple of 10?
False
Let v = 55403 - 28157. Is v a multiple of 239?
True
Let f be ((-3)/6)/((-2)/16). Suppose f*s - 4 = -12. Let r(u) = u**2 - 7*u - 3. Is 3 a factor of r(s)?
True
Suppose 0 = -23*w + 38*w - 105. Let s(r) be the first derivative of -r**4/4 + 8*r**3/3 + 7*r**2/2 - 18*r + 5. Is s(w) a multiple of 20?
True
Let b = 42690 + -31669. Is 3 a factor of b?
False
Let w be (-10 - -1)/(-3)*1. Let a(r) = -6*r**2 + w*r**2 + 2*r**2 - 2*r**2 - 8 - 2*r**3. Is 18 a factor of a(-4)?
True
Let h be ((-104)/12)/((-4)/12). Let x = h + 21. Let y = 87 - x. Is 10 a factor of y?
True
Let r(z) = -25*z - 2. Let h be r(2). Let o = 46 + h. Is 10 a factor of 1*3/o - (-522)/4?
True
Suppose 2*k - 3*l = -5 + 11, -5*l = -4*k + 12. Is ((-315)/18 + k)*-2*1 a multiple of 2?
False
Let o = 56 - 54. Suppose -5*v - 16 = -o*w, -5*w + 59 = -5*v + 19. Suppose -12*m + 376 = -w*m. Is 47 a factor of m?
True
Suppose -26*p = -39*p + 25961. Suppose 5*c - 12*f + 11*f = p, 0 = 2*f - 6. Does 20 divide c?
True
Let p(f) = 328*f + 4212. Does 197 divide p(15)?
False
Let y = 22911 - 9047. Is y a multiple of 13?
False
Let w(y) be the second derivative of -y**4/12 + y**3/2 + 3*y**2/2 + 3*y. Let k be w(3). Suppose -20 = -d - o, -5*d + k*d + 3*o = -50. Is d a multiple of 9?
False
Suppose -4*u + 3*r + 0*r = -456, -4*r = -4*u + 460. Let l = u + -63. Suppose -z - l + 168 = 0. Is z a multiple of 15?
True
Let s = -2128 + 2612. Does 121 divide s?
True
Does 32 divide ((-30)/25*1)/((-4)/10) + 9053?
True
Suppose 0 = 57*r - 49*r - 2456. Let u = r + -229. Is 6 a factor of u?
True
Suppose 5*c + 8 = 2*f - 0, -5*f - c + 74 = 0. Let i(u) = 17*u - 30. Does 26 divide i(f)?
True
Suppose 58*q = 28*q + 620490. Is 160 a factor of q?
False
Let f(a) = a**3 + 3*a**2 - 2*a - 14. Let g be f(0). Let j(l) = 15*l + 330. Does 24 divide j(g)?
True
Suppose 16460 = 4*o - b, 27*b - 23*b - 4098 = -o. Does 11 divide o?
True
Is (53838/20937)/(2/(-3) - (-9221)/13818) a multiple of 47?
True
Suppose 0 = -2*l - 2*q + 16, -1 = -2*l + 3*q - 0. Suppose 6*s - 8*s + 6 = 0, 5*y + l*s = 625. Is 9 a factor of -5*(y/(-35) + 2/7)?
False
Let z(j) = -6*j + 49. Let o be z(6). Suppose -181 + o = -d. Is d a multiple of 17?
False
Let q(c) = -2*c**2 + 21*c - 20. Let n be q(13). Let f be n/2*13/(325/40). Let k = -10 - f. Is 16 a factor of k?
False
Let u(v) = -15*v - 116. Let d be u(-18). Is (-1 + 1)*(-5)/10 + d a multiple of 8?
False
Suppose 12*u - 128 - 88 = 0. Suppose 5*d + 2 = -u. Is 10 a factor of 30/(0 + (-4)/d)?
True
Let z be (183/15*-7)/(2/(-10)). Suppose 5*s + 4*m + 0*m - 1025 = 0, 5*m - z = -2*s. Is s a multiple of 3?
True
Suppose -5 = -0*i - i, 0 = -2*n + 2*i + 1514. Suppose 20*a - n - 338 = 0. Does 3 divide a?
False
Suppose h = -4*x + 356, -8*h - 2*x + 1058 = -5*h. Does 32 divide h?
True
Suppose -18*k - 3*i + 6265 = -13*k, -3*k = -5*i - 3725. Does 7 divide k?
False
Let c(d) = 90*d**3 + 3*d**2 - 2*d - 3. Let l be c(2). Let x = 1215 - l. Does 35 divide x?
True
Suppose -23*z + 7 = -25*z - 3*k, -5*k - 9 = 4*z. Is 11 a factor of ((-959)/(-14) - z)*(1 + 3)?
False
Let v = -61 - -5. Let x = -55 - v. Does 4 divide -3 + x + (3 - 0 - -7)?
True
Let b(g) = -3*g + 80. Let c be b(25). Suppose -11*p = -c*p - 2262. Is p a multiple of 13?
True
Let u(t) = 4*t**2 + 77*t + 511. Is 7 a factor of u(-38)?
False
Let a(k) = -2*k**3 - 4*k**2 + 85*k + 25. Does 65 divide a(-16)?
False
Let j = 4676 + -4528. Does 4 divide j?
True
Suppose -5*o = 3*t - 6154, 0 = 9*t - 3*t - 4*o - 12364. Is 14 a factor of t?
True
Is (-2)/14 + (-4)/(181030/(-60334) - -3) a multiple of 13?
True
Suppose 24*u + u = 7*u + 58500. Is u a multiple of 65?
True
Is 24 a factor of 1/(40/1204864) - ((-56)/(-35))/1?
True
Suppose 16*f = 4*f - 12768. Let k = f + 1496. Does 8 divide k?
True
Suppose 3*h - 4*n + 20 = 0, h + 3*n = 5*n - 10. Let b be (h - 3)/(27/(-45)). Suppose -b*d = -10, 474 + 338 = 5*u + d. Is u a multiple of 15?
False
Let l(z) = -z**2 - 6*z + 94. Let c be l(12). Let r = c + 422. Does 30 divide r?
True
Let f(m) = -6*m**2 - 464*m - 140. Does 14 divide f(-70)?
True
Let r(f) = -32*f - 26. Let b be (-4)/(-26) + (-4)/26. Suppose 46*x - 43*x + 15 = b. Does 21 divide r(x)?
False
Let t(k) = 167*k - 173*k + 407 + 2*k**3 + 2*k**2 - k**2 - 3*k**3. Does 30 divide t(0)?
False
Suppose 54*c + 64*c = -8*c + 82656. Is 25 a factor of c?
False
Let j = -17 - -32. Let q(a) = a**3 - 146 + 9*a**2 + j*a + 140 + 0*a**3. Is 10 a factor of q(-5)?
False
Let l be 16236/(-54) + 5/3. Let o = -195 - l. Is o a multiple of 44?
False
Let o(v) = -v**2 + 10*v - 15. Let t be o(8). Let g be (0*(-4)/4)/t. Is ((-8)/5)/((-1)/90) - g a multiple of 36?
True
Let p = 489 + 168. Suppose -6*y + 249 = -p. Is y a multiple of 11?
False
Suppose -5*v = -4*c - 137204, -8*c + 63682 = 5*v - 73450. Is v a multiple of 32?
False
Let l = 27 - 28. Let j = l - 3. Is 26 a factor of 174*2/(-12)*j?
False
Let x = -69 - -669. Let c = 1575 - x. Is 75 a factor of c?
True
Suppose 27 = -35*k + 36*k. Suppose -k*q = 29*q - 107016. Is 13 a factor of q?
True
Let r(b) = 9*b - 52. Let l be r(6). Is (l + 1)/3 + 0 + 70 a multiple of 3?
False
Let q(z) = -5*z**3 + 4*z + 3. Let o = 69 + -73. Let j be q(o). Let a = j + -200. Is 27 a factor of a?
False
Suppose -5*l - 5264 = -4*q, 0 = 2*q + 29 - 21. Is (53/4)/((-22)/l) a multiple of 33?
False
Let y(p) = 6*p + 11. Let a be y(2). Let u = a - -28. Suppose -2*q = -b - 8 - u, 3*b + 147 = 5*q. Does 13 divide q?
False
Let k = -16 + 19. Suppose 4*q - 12 = 0, 2*l - 4*l + k*q + 1137 = 0. Suppose 0 = -3*g + 4*o + 247, 5*g - 