 5 a factor of p?
False
Let w be -105*1/((-3)/(1 - -5)). Let z = w + -133. Does 7 divide z?
True
Let d(o) = -o**3 - 21*o**2 - 39*o - 16. Let z be d(-19). Suppose 2*r - 788 = -n, -6 + 18 = -z*n. Is 18 a factor of r?
True
Let u(i) = i**3 - 8*i**2 + 11*i + 2. Let h be (-3)/9*-1*63. Let d = 29 - h. Is u(d) a multiple of 15?
True
Let j = -5 - 0. Let a(y) = -2*y + 31. Let b be a(-2). Let n = j + b. Is 17 a factor of n?
False
Let m = 10 - 6. Suppose -2*i - 4*q = -i - 153, 3*i - m*q = 395. Does 24 divide i?
False
Suppose -5*u + 5*o = -22665, 0 = 39*u - 17*u - 2*o - 99826. Is u a multiple of 18?
False
Let v(z) = -9*z**3 - 16*z**2 + 3*z + 37. Let q(b) = 5*b**3 + 8*b**2 - b - 19. Let n = 44 + -48. Let i(l) = n*v(l) - 7*q(l). Does 5 divide i(-8)?
True
Let w = 19403 + -15347. Does 38 divide w?
False
Suppose 2*m + 256 = -2*r, 2*r = -0 - 4. Is 11 a factor of (63/m)/(2/(-1804))?
True
Let c(w) = 2*w**2 + 36*w - 306. Does 19 divide c(-34)?
False
Suppose -q + 89 = 5*j, 5*j - 4*q - 108 + 14 = 0. Suppose j*b + 1146 = 15834. Does 7 divide b/9 + (-1)/(-3)?
True
Suppose 5*a - 185445 = -24*a + 224963. Is a a multiple of 29?
True
Let r = -229 - -453. Let y = r + -60. Does 41 divide y?
True
Let x = -360 - -660. Suppose -x = 14*s - 20*s. Is s a multiple of 5?
True
Let w be (-2 - (2 - 0)) + (4 - 0). Suppose 8*u - u + 70 = w. Is (204/(-15))/(4/u)*1 a multiple of 14?
False
Suppose -3772*d + 11452 = -3770*d. Is d a multiple of 14?
True
Suppose -25326 = 2*x + 25*x. Is (-5)/20*2*x a multiple of 65?
False
Let d(m) = m**2 - 2*m - 6. Let h be d(-6). Let b be 0 + (-310)/(-7) + (-12)/h. Suppose 0 = -0*s - s + b. Does 22 divide s?
True
Let v be 561/99 - (-20)/15. Suppose 4*n - 13 = a, -4*n + 2*a = -23 + 5. Suppose -n*o - 4*y = -v*o + 916, o - 172 = -2*y. Does 30 divide o?
True
Suppose 69*q - 23205 = 315236 - 55541. Does 10 divide q?
True
Suppose -4*y - 6 - 4 = -p, -2*y = -p + 4. Is (-2 + 52/(-10))/(y/90) a multiple of 6?
True
Let i(w) be the second derivative of -10*w**3/3 + w**2/2 + 743*w. Suppose -b - 1 = 8. Does 45 divide i(b)?
False
Let j(c) = -185*c - 9. Let z be j(1). Let h = 319 + z. Is h a multiple of 23?
False
Suppose 52*p + 24*p = 2255376. Is p a multiple of 18?
False
Let i be ((6/(-15))/((-2)/10))/1. Suppose 0 = 5*d - m - 2340, 2*m + 953 = i*d + 5*m. Suppose -3*r + 10*r - d = 0. Is 3 a factor of r?
False
Let l = 52122 + -16794. Is l a multiple of 46?
True
Suppose 31*o + 5612 = 33*o + 2*p, 5*o - 14038 = -3*p. Is 10 a factor of o?
True
Let d = 2970 + -1830. Is 23 a factor of (4/5)/(1 + (-1136)/d)?
False
Let o(f) = 22*f**2 + f - 5. Suppose -15 = 2*g - 5*g, 22 = -b + 5*g. Suppose 0 = 26*w - 27*w + b. Is o(w) a multiple of 23?
False
Suppose 24 = 14*q - 18*q, 4*f - 7338 = -q. Is f a multiple of 12?
True
Let f be (-4)/((80/6)/(-10)). Suppose 0 = -2*m + 4*m + 5*u - 593, f*m - 880 = 2*u. Is 14 a factor of m?
True
Is 15 a factor of -136*1043/(-168)*3*3?
False
Suppose 0 = -12*k + 6626 + 3094. Is 15 a factor of k?
True
Let u = 520 + -143. Let r(s) = -136 + 4*s - 93 + u. Does 14 divide r(0)?
False
Let o = -3077 - -3115. Let l = -166 - -233. Let i = l - o. Does 15 divide i?
False
Let q(f) = 3*f**2 - 24*f - 29. Suppose 3*w - 20 = -x, -5*x + 3*w = -37 - 27. Is q(x) a multiple of 16?
False
Suppose v + 0*v + 2*w - 9 = 0, 3*v = 2*w + 3. Suppose 4*p + v*p - 623 = 0. Let o = -61 + p. Does 14 divide o?
True
Is (3*-265)/((-4)/(36/(-87)) + -10) a multiple of 53?
True
Suppose -2*n + 1007 = -2441. Is 17 a factor of n?
False
Let q(v) = 221*v**2 - 9*v + 45. Is q(4) a multiple of 22?
False
Let m = 11 + -11. Suppose 4*g = -3*y - g + 165, y + 4*g - 62 = m. Let i = -27 + y. Is 9 a factor of i?
False
Let j(p) = -3*p**2 - 14*p + 26. Let l be j(14). Let z = -354 - l. Is z a multiple of 15?
False
Suppose v + 3*p = 0, -16 = -v + 6*v - p. Does 23 divide (0 + 1)/(((-36)/16836)/v)?
True
Let y = 98 + -308. Does 60 divide (-75628)/y + 2/(-15)?
True
Let k(l) = -8353*l + 240. Is 55 a factor of k(-2)?
False
Let t(g) = 17*g + 29. Let n be t(5). Let p = n - 10. Is p a multiple of 10?
False
Let n(q) = q**3 + 6*q**2 + q - 14. Let b be n(-5). Suppose -b*d = -0*d - 828. Is 23 a factor of d?
True
Suppose -387124 = -48*p - 28*p + 1039244. Is p a multiple of 15?
False
Suppose -c = -4*o - 27, 2*c - 3*c = 5*o + 27. Does 28 divide (-711)/(-12) + o/(-8)?
False
Let k = 19698 + -19683. Is 5 a factor of k?
True
Let g(c) = c**3 - 29*c**2 + 172*c + 28. Is g(29) a multiple of 4?
True
Let o(y) = 19*y**2 - 85*y + 214. Is 52 a factor of o(29)?
True
Let a = 2962 - -8090. Is a a multiple of 46?
False
Suppose 3*i - 4*i = -144. Suppose -465 = 5*u + 2*m + m, 3*u + 260 = 2*m. Let t = u + i. Does 14 divide t?
False
Let c(g) be the first derivative of -63*g**2 + 30*g - 52. Is 17 a factor of c(-1)?
False
Let h be (10/4)/((-4)/(-8)). Suppose 2*x - h = 3. Suppose x*v - 440 = -5*t, v + 3*t = 3*v - 198. Is v a multiple of 21?
True
Let p be -1 + 3/(3/4). Suppose 7*q + p*q = 290. Suppose -q*i = -25*i - 380. Does 5 divide i?
True
Is 629440/168 + 16/(-6) a multiple of 36?
True
Let g(v) = 10*v**2 + v + 21. Let l be g(-4). Let w = 225 - l. Is w a multiple of 15?
False
Let d(q) = 55*q + 170. Let w be d(-4). Let p(s) = 5*s + 3. Let f be p(-3). Let i = f - w. Is 17 a factor of i?
False
Let r = 65 + -65. Suppose 4*a - 2*a - 298 = r. Suppose 4*j - 395 = a. Does 8 divide j?
True
Let r(d) = -52*d + 16. Let u be r(-6). Suppose -u = -5*v - 4*f, -3*v + 299 - 98 = f. Is 21 a factor of (v/(-5))/((-4)/30) - 0?
False
Is 49 a factor of 5702/15 - 46/345?
False
Let b(x) = -225*x - 1034. Is b(-26) a multiple of 16?
True
Let b(h) = 2*h**2 + 4*h - 8. Suppose 3*d = -3*p + 20 - 59, -p - 7 = 3*d. Is 22 a factor of b(p)?
True
Suppose -3*w = 20*l - 22*l + 1278, -5*w = -5*l + 3190. Is l a multiple of 7?
False
Let h be 11/4*(2 + (3 - 1)). Let k be h/2 - 1/2. Suppose k*j + w - 531 = 140, -j + w = -133. Is 16 a factor of j?
False
Let m(i) = -2*i**2 + 4*i + 10. Let p(u) = u + 1. Let b be p(10). Let o be m(b). Let w = o + 272. Does 10 divide w?
False
Let f be 4/(-3) + 2/3*26. Suppose 5*y - 6*p = -3*p + 104, -p + f = y. Is 2 a factor of y?
False
Let t = 406 - 58. Let i = t - 180. Suppose -3*f + i = -0. Is 8 a factor of f?
True
Let r(f) = 3*f - 41. Let v be r(13). Is 14 a factor of 2*(-3)/v - (-767 + -3)?
False
Suppose 0 = 5*q - 3*l - 87789, 4*q + 4*l - 15914 = 54298. Is 42 a factor of q?
True
Suppose 4*r + 68 = 4*b - 56, -5*b = r - 155. Suppose -4*w + u + 16 = 0, -4*u + b = 3*w - 0*u. Let p = 42 - w. Is p a multiple of 16?
False
Let o(v) = -v**3 + v**2 + 9*v + 10. Let i be o(-2). Suppose -1003 = -i*c - 5*j, c = -2*j - 3*j + 247. Is c a multiple of 18?
True
Let h(i) = 130*i**2 - 47*i - 527. Is h(-15) a multiple of 9?
False
Let s(v) = 1322*v**2 - 3*v + 28. Does 16 divide s(4)?
True
Let l = 22310 - 13143. Is 7 a factor of l?
False
Suppose -5*t + 6631 + 14707 = 6383. Is 3 a factor of t?
True
Suppose -2*j + 0*j = 4*j. Suppose j = -4*i + i - 156. Let k = 23 - i. Is 6 a factor of k?
False
Is 6 a factor of 8622/16 - 112/168*(-9)/48?
False
Let p be 2/(-6) + (-46)/6. Let u be (((-20)/(-3))/2)/(p/(-12)). Suppose -u*m = -4*m - 42. Is m a multiple of 6?
True
Let u = -6233 - -8814. Is 48 a factor of u?
False
Suppose 0 = -5*h + h + 9012. Let j be ((-16)/(-14))/(-4) + h/21. Let p = j - 3. Is p a multiple of 6?
False
Let c = 55 - 58. Let s be (-4 - c)/(-1 - -2) - -2. Let z(w) = 50*w**3 + 2*w**2 - 2*w. Does 5 divide z(s)?
True
Let m(h) be the third derivative of -17*h**6/60 + 3*h**2 - 6*h. Suppose 5*l + 2 = -3. Is 8 a factor of m(l)?
False
Let g = 656 + 298. Suppose -3*r + 4*q + 715 = 3*q, -2*q = -4*r + g. Is 34 a factor of r?
True
Let n = 56779 - 4822. Is n a multiple of 354?
False
Let w = 41 - 33. Let g be (6/w)/((-3)/156). Let r = -10 - g. Is 2 a factor of r?
False
Let h = -322 - -336. Suppose 4*f + 5539 = 5*w, -9*w + h*w = 2*f + 5547. Is w a multiple of 101?
True
Is (-16)/(-5 + -1 - (-154320)/25740) a multiple of 78?
True
Let a = -16 + 33. Suppose p + 10 = 5*j, 0 = 7*j - 6*j + 2*p - 13. Suppose -5*l = -b - 29, 0*l + b = j*l - a. Is 2 a factor of l?
True
Let w be 2/3*(4 + 1589). Suppose -4*m + w = 2*m. Is 26 a factor of m?
False
Suppose -76*x + 10980 = -55*x - 202275. Is 18 a factor of x?
False
Let g(o) = o**3 + 8*o**2 - 4*o - 12. Let x be -10*(7/(-2) + 3). Suppose -3*d + x = 2, 0 = -3*u + d - 19.