es 13 divide p?
True
Suppose 3*g - 3*m - 17 = -g, 0 = 3*g - 5*m - 21. Suppose 3*z + x = 490, -3*z + g*x + 3*x + 520 = 0. Is z a multiple of 55?
True
Let a(v) = -v**3 - 38*v**2 - 55*v + 154. Is 22 a factor of a(-38)?
True
Let n = -78 - -80. Does 2 divide (9 + -3 + n)*(-3)/(-6)?
True
Let n(t) = 39*t**2 - 61*t + 126. Is n(2) a multiple of 5?
True
Let l be -1 - -11 - (-1 - -3). Let o = l + -3. Suppose 0 = o*t - 223 + 13. Does 14 divide t?
True
Does 5 divide (-3)/(6 + (-33)/5) - -160?
True
Let d = -7 - -18. Suppose 1671 = d*z + 626. Is 11 a factor of z?
False
Let a = 18 + -16. Let c be a - (4 + -2 - 0). Suppose -4*u + 32 = -c*u. Does 2 divide u?
True
Let u = 12 + -19. Is 25 a factor of (-2 - -6) + (-672)/u?
True
Does 2 divide (738/(-8))/((-63)/42)*2?
False
Let b(u) = -u**3 - 10*u**2 - 9*u + 6. Is 32 a factor of b(-10)?
True
Suppose -350 = -9*z + 2*z. Does 12 divide z + (2 - 3 - 1)?
True
Let b be 3254/(-6) + 4/(-6). Is (11 + -10)*b/(-3) a multiple of 29?
False
Suppose 18*y = 28490 - 10508. Is 27 a factor of y?
True
Let q be 6 + (-1)/1*3. Suppose 560 = q*k + 2*k. Does 14 divide k?
True
Suppose 14 = 4*f + 2*r, r - 3 = 2*r. Let s(j) = j**3 - 4*j**2 - 3*j. Let m be s(f). Suppose 3*q + 39 = 5*p, -q = -6*q + m. Is 2 a factor of p?
False
Let r(h) = 50*h**2 + 5*h + 2. Let n(p) = -151*p**2 - 15*p - 7. Let w(j) = -4*n(j) - 11*r(j). Is w(-2) a multiple of 53?
True
Let x(b) = 2*b**3 - 5. Let d = -35 + 39. Is 23 a factor of x(d)?
False
Suppose -u = -20*u + 5244. Is u a multiple of 3?
True
Let d be (0 + 3)/((-15)/25). Let a(m) = m**3 + 6*m**2 + 7*m + 15. Does 4 divide a(d)?
False
Let p = 538 - 248. Suppose p = 2*u + 3*u. Is 13 a factor of u?
False
Is ((-2992)/32)/(2/40*-2) a multiple of 17?
True
Suppose -3*n = n + 52. Let v = 6 + n. Let h(f) = -9*f - 2. Is 13 a factor of h(v)?
False
Let j(i) = 10*i**2 - i. Suppose -5*h + 4*u + 116 = 0, 0*h + 3*u = h - 32. Suppose 5*s + h = -8*l + 3*l, 4*l = -5*s - 17. Is j(s) a multiple of 2?
False
Suppose -v + 608 = -1218. Is 14 a factor of v?
False
Let r(c) = -c**2 + 8*c + 24. Let g be r(10). Suppose 2*q - g*n - 492 = -0*q, -5*n + 1230 = 5*q. Does 45 divide q?
False
Let r = -747 - -1461. Is 70 a factor of r?
False
Let u = 451 + -322. Suppose u - 489 = -4*h + 4*p, p - 350 = -4*h. Does 22 divide h?
True
Let q(m) = 2*m - 2. Let g be q(2). Let l(d) = -d**2 - 32*d + 16. Let u be l(-32). Does 18 divide (u/(-24))/(g/(-57))?
False
Let v(j) = -j**2 + 11*j - 24. Let f be v(11). Is 10 a factor of (-2 - -1)*4 - f?
True
Let k(y) = -y + 19. Let x be k(13). Suppose 21 = x*j - 39. Does 2 divide j?
True
Let v = -53 - -38. Is (3 - v)*-1*(-2)/3 a multiple of 6?
True
Suppose -8*f + 6*f - 10 = 0. Suppose 2*b + 552 = -2*b. Is b/f - (-6)/15 a multiple of 14?
True
Let h(t) = t - 7. Let a be h(5). Let r be 1*(-4 - (0 + a)). Does 16 divide 3861/55 + r/10?
False
Suppose -13*a = -10*a + 9. Let u be (a + 12/4)/(-2). Suppose 3*v + u*s - 78 = 4*s, 5*v - 130 = -4*s. Is v a multiple of 10?
False
Let q = 288 + -132. Is q a multiple of 26?
True
Suppose -v = -5*j - 3*v + 4375, 2*v = -j + 883. Suppose 4*m - 327 = j. Is 10 a factor of m?
True
Let a = 170 + -93. Suppose -2*o - f + a = 0, -3*f = 7*o - 3*o - 153. Is o a multiple of 13?
True
Suppose -4*l - 7*k = -2*k - 482, 4*l = 4*k + 464. Suppose 15 = -0*h + 3*h. Suppose 3*p = h*g - 46 + 146, 0 = -4*p - g + l. Is 20 a factor of p?
False
Let r(k) be the second derivative of k**2 - 2*k**3 + 0*k**3 - k**3 + k**3 + 6*k. Is 14 a factor of r(-4)?
False
Let h(v) = -3*v**2 + 8*v - 3. Let k be h(3). Is 12 a factor of 186/3 - (2 + k)?
False
Let c = 38 + -22. Does 11 divide 4/(-1) + (42 - c)?
True
Let u be (-2 + (-8)/3)*135/6. Let j = u + 170. Is 12 a factor of j?
False
Let r be (-210)/(-9) - 2/6. Suppose 2*w - 3 = s + 5, -s - r = -5*w. Suppose w*m - 96 = m. Does 12 divide m?
True
Is 24 a factor of (324/24)/(18/2208)?
True
Let x(g) = -g**3 + 9*g**2 + 5*g + 11. Let n be x(11). Let m = -109 - n. Suppose 122 + m = 3*p. Is p a multiple of 21?
True
Suppose 0 = d - 4*f - 7, 0*d - 4*d + 3*f = -15. Suppose d*q = 414 - 96. Does 26 divide q?
False
Let u(s) = -s**3 - 1. Let r(v) = 2*v**3 + 5. Let w(y) = -r(y) - 3*u(y). Let d be w(2). Let f(k) = 6*k - 19. Does 11 divide f(d)?
False
Is 196/(-6)*(-90)/7 a multiple of 8?
False
Let w be (4 - 6)*(-4)/2. Suppose -4*x - 48 = 8. Is 17 a factor of (-906)/(-14) - w/x?
False
Suppose -3*z + 6309 = 4*u, 5*u - 2*z = z + 7866. Is u a multiple of 25?
True
Let i(u) = u**3 + 2*u**2 - 3*u + 4. Suppose 3 = 3*a + 12. Let q be i(a). Suppose q*t - 33 = 27. Does 5 divide t?
True
Let g = -88 + 169. Let l(f) = -53*f**2 - 1. Let m be l(-1). Let r = g + m. Is 9 a factor of r?
True
Let z = -34 - -18. Let d(w) = w + 13. Let o be d(z). Does 19 divide o/(-3*4/216)?
False
Is 15 a factor of (-6)/(-8) + (-1)/(-32)*17096?
False
Suppose -l = 4*j - 4499, -17*l + 16*l - 5*j + 4495 = 0. Is l a multiple of 23?
False
Let n(w) = -w**3 + 7*w**2 + 5*w + 16. Let l = 2 + 5. Does 11 divide n(l)?
False
Suppose 0 = -9*j + 16458 + 17985. Is 16 a factor of j?
False
Suppose -b + 510 = 4*b. Let x = -54 + b. Does 11 divide x?
False
Let k = 590 + -363. Is 2 a factor of k?
False
Let y = 255 - 18. Does 6 divide y?
False
Let k = -51 + 86. Suppose -30*t - 595 = -k*t. Does 21 divide t?
False
Let c(y) = y**3 - 4*y**2 + 17*y + 39. Does 13 divide c(13)?
True
Let s(m) = -m - 5. Let z(n) = 1. Let w(y) = 3. Let k(v) = -6*w(v) + 17*z(v). Let u(f) = 22*k(f) - 4*s(f). Is u(2) a multiple of 2?
True
Suppose 2*p - 5*y + 1 = 0, -4*y = 3*p - 7 - 3. Suppose -v = -3*l + 49, 1 - 35 = -p*l + v. Let r = l - 5. Is 10 a factor of r?
True
Suppose 0 = 7*m - m - 1404. Is 9 a factor of (-8)/32 - m/(-8)?
False
Let z(u) = u**3 + 9*u**2 + 4. Let b be z(-9). Suppose 2*o = -b*g - 2, -4 = -g + 2*o + 2*o. Suppose g*n + 112 = 4*n. Does 9 divide n?
False
Is 1706/4 + -2 - (-165)/66 a multiple of 19?
False
Suppose -3*v - 23 - 31 = 0. Let a be 1*(0 - (v - -2)). Is 13 a factor of ((-52)/a)/(1/(-4))?
True
Is 24 a factor of (-29753 - -9)/(-11) - -8?
True
Is 52 a factor of 52/(8/624*6)?
True
Let w be (20/(-35))/((-8)/812). Let j = 183 - w. Does 11 divide j?
False
Let l = -3 + 5. Suppose -4 = -3*b + l*b. Suppose 3*t = 2*w + 86, b*t + 0*w = -2*w + 110. Is t a multiple of 8?
False
Let y be (0 - 3)*8*1. Let t be (-6)/(-51) - 6255/(-153). Let j = y + t. Is j a multiple of 5?
False
Let q = 3533 - 1379. Is 71 a factor of q?
False
Suppose 3*g = -5*m + 640, 4*g = 3*m + 2*m - 605. Does 25 divide m?
True
Let b be 217/(-2) + (-5)/10. Let k = -29 - b. Is k a multiple of 25?
False
Suppose -3*n = -2*l - 3447, 6*n - 4596 = 2*n - 2*l. Is n a multiple of 18?
False
Is (40 - 31)/((-6)/(-2444)) a multiple of 76?
False
Let p(m) = -200*m + 73. Does 43 divide p(-5)?
False
Let n = 7519 - 4292. Does 56 divide n?
False
Let s be 2*1/1 + 0. Suppose s*f - 78 = 36. Let c = f + 0. Does 21 divide c?
False
Let n(v) = 6*v**2 - 2*v**2 - 3*v**2 - 11 - 3*v + v**2. Let a be n(5). Suppose 0*t + a = t. Is t a multiple of 12?
True
Let i(x) = -x**3 - x**2 - x - 1. Let s(a) = -5*a**3 + 5*a**2 + 3*a - 15. Let v(p) = -6*i(p) + s(p). Let q be v(-10). Is ((-3)/(-6))/(q/20) a multiple of 2?
True
Let y(z) = 4*z**2 - 23*z + 18. Is 40 a factor of y(14)?
True
Suppose -7 = -2*s + 29. Let h = s + -15. Is 51/(6 - h)*1 a multiple of 7?
False
Is 12 a factor of -20*(576/(-40))/12?
True
Let o = 20 - 7. Let d = -128 - -128. Suppose d*c = c - o. Does 5 divide c?
False
Suppose 132 = 5*q + q. Let y be q/8 + (-6)/(-24). Suppose -x = -4*m + y, -3*x + 27 = x - 3*m. Is x a multiple of 8?
False
Suppose -2*c + 4 = 2. Suppose n + c = 24. Let z = n + 19. Is z a multiple of 13?
False
Let f(b) be the third derivative of b**5/60 + b**4/12 + 13*b**3/6 - 39*b**2. Does 12 divide f(-7)?
True
Let y be (6 - 3 - 3)/(-2). Suppose y*g = -3*g + 12, 4*j = -4*g + 32. Suppose j*l - 155 = -u - 2*u, 3*l - 4*u - 85 = 0. Does 13 divide l?
False
Suppose -3 - 7 = -5*g. Is 3 a factor of 2 + (g + 2)/4*13?
True
Is (-4)/((-12)/201) - 12/3 a multiple of 6?
False
Suppose -3*n - 2*n + 690 = 3*j, 0 = -2*n. Let a be 2/(-11) - j/(-55). Suppose a*g = 5*g - 42. Is 21 a factor of g?
True
Let k(u) = 0 - 7*u + 51*u - 20. Let z be k(6). Let c = z + -124. Is c a multiple of 27?
False
Suppose 14*h - 7840 = -6*h. Is h a multiple of 14?
True
Suppose 2*i + 3*r - 420 = 0, -5*r + 4*r = -4. Suppose -