es 11 divide p?
True
Let x(l) = l**3 - 8*l**2 + 9*l + 6. Let q = -130 + 189. Suppose -a = -q + 51. Does 6 divide x(a)?
True
Let o(n) = -n**3 - n**2 + 8*n + 10. Let s be o(-3). Is 1/s - 163318/(-296) a multiple of 9?
False
Let j = -216 + 373. Let b = j + -60. Let g = b + -7. Is g a multiple of 9?
True
Let m = -776 + 780. Suppose -5*q + 2*x = -3296, 21*q + m*x = 24*q - 1972. Is q a multiple of 10?
True
Let o = -188 + 191. Suppose o*w = 155 + 835. Is w a multiple of 34?
False
Let m(w) = -15*w**3 + w**2 + 2*w + 1. Let v be -3 + (-12)/3 + -2. Let g(q) = -2*q - 19. Let k be g(v). Does 15 divide m(k)?
True
Suppose 15*x - 22756 = 202662 + 3062. Is 7 a factor of x?
True
Suppose 2*p + 4*g - 4 = 0, -5*p - 4*g + 3 = 5. Let o be p*332/(-8) - 1. Suppose -4*f - o + 234 = 0. Is 2 a factor of f?
True
Suppose 3*p - 5*f = -2*p + 11410, -2*p - 4*f + 4570 = 0. Suppose 2*z = 3*d + 1207, 0 = -5*z + 3*d + 748 + p. Is 19 a factor of z?
True
Does 7 divide ((-52164)/345)/(2/(-15))?
True
Let p = -11123 - -43438. Is p a multiple of 197?
False
Suppose -2*q + l + 11 + 3 = 0, -5*q - l = -21. Suppose -4*w - 20 = w, 2*f - 694 = q*w. Is f a multiple of 47?
False
Let j = -87 + 47. Let o be (1/(-4))/(2/j). Let s(n) = 2*n**2 - n - 5. Is s(o) a multiple of 10?
True
Does 156 divide 22981/(7 + 0) - (-1 + 8)?
True
Suppose -9*m - 1285 = 713. Let r = m - -319. Is 14 a factor of r?
False
Is 37 a factor of (5090 - 254)*(0 + (-1)/(-3))?
False
Let j(m) = 9*m**2 - 18*m - 3. Does 6 divide j(23)?
True
Suppose 5*r - 2*h = 56042 + 32180, 0 = -3*r + h + 52932. Does 65 divide r?
False
Suppose -4*u + 5*n - 48 = 40, 5*u + 119 = 4*n. Let v = -3887 - -3878. Let d = v - u. Is d a multiple of 4?
False
Suppose 4*x + 13 = 101. Suppose -x = -7*m - 1. Suppose -m*r + 19 + 197 = 0. Is 18 a factor of r?
True
Suppose -545579 = -83*u + 298697. Is 202 a factor of u?
False
Suppose -f + 4322 = 4*v, 5*f = 6*v - 9*v + 21678. Does 18 divide f?
True
Let z(w) = -w**2 + 6*w + 9. Let t(a) = 8*a**3 - a. Let o be t(1). Let y be z(o). Suppose g - y*g = -4*u + 80, -2*g = -8. Does 7 divide u?
True
Suppose 0 = 45*v + 48368 - 185393. Is 7 a factor of v?
True
Let w = -1599 + 2691. Let a = -652 + w. Is 44 a factor of a?
True
Let x = 276 - 189. Suppose h + u = x + 74, 639 = 4*h + 5*u. Is h a multiple of 15?
False
Suppose 4*x = -2*q + 11486, 0 = -25*x + 20*x + 2*q + 14344. Is x a multiple of 41?
True
Let x(p) = p**3 + 41*p**2 - 88*p + 64. Let v be x(-43). Let r be (-10)/(-3) + (-4)/(-6). Suppose -n = -r*n + v. Is n a multiple of 10?
True
Let z be (5 - 5) + (0 - -865 - 1). Suppose 0 = 2*y - 6*y - z. Let b = 333 + y. Is 7 a factor of b?
False
Let o(l) = 27*l**2 + 226*l - 1841. Does 6 divide o(9)?
False
Let j be 9/2 - (-4)/(-8). Suppose 13*i = -j*h + 12*i + 1639, 0 = 2*h - 2*i - 822. Does 41 divide h?
True
Let g(m) = 2*m - 10. Let y be g(0). Let z(s) = 4*s + 20. Let i be z(y). Does 7 divide (-2 - 1506/(-15)) + 8/i?
True
Suppose -g - 7 = -5*z, -4*z + 13 = g + z. Suppose -2532 = -3*l - 3*t, g*l + 59*t - 64*t - 2516 = 0. Is 13 a factor of l?
False
Is ((-34302)/(-9))/((-286)/(-66) + -4) a multiple of 18?
False
Let f(x) = 43*x**2 + 7*x + 7. Let c be f(-2). Let a = -68 + c. Suppose -5*n = -4*k - 77, -5*n - 2*k - 8 + a = 0. Is 8 a factor of n?
False
Let l = 5489 + -1614. Is 7 a factor of l?
False
Suppose 5*i = -3*m + 20582 + 10253, 2*m - 20559 = -i. Does 34 divide m?
False
Suppose -9432174 - 15814861 = -466*m + 19485. Is 20 a factor of m?
True
Suppose 3*t - 4*b - 4873 = 0, 771 + 847 = t + 5*b. Is 17 a factor of t?
False
Suppose o - 6*o - 1075 = -5*m, 3*o - 1035 = -5*m. Suppose -51 - m = 9*r. Let a = r - -43. Is 3 a factor of a?
False
Let m be (-2 + 5 + -4)*(-1 - 4). Suppose 0 = m*d - 2135 - 175. Does 22 divide d?
True
Let u = 317 - 102. Let k = -162 + u. Is 17 a factor of k?
False
Let q = 0 + 9. Let x(r) = -5*r**2 - 72*r - 21. Let u be x(-9). Suppose q*m - u = 102. Is m a multiple of 9?
True
Suppose -4*b - 2*o = -26, 2*o - 20 = -2*o. Suppose -13*f + 9*f + 1000 = b*r, 2*f = r + 497. Is 23 a factor of f?
False
Suppose -3*p - 28 = 4*p. Let u(x) = -84*x + 35. Let y(d) = -17*d + 7. Let c(o) = p*u(o) + 21*y(o). Is 17 a factor of c(-2)?
False
Let i(t) = 30*t**3 - 11*t**2 + 16*t + 5. Let g be i(2). Suppose -840 = -241*f + g*f. Does 7 divide f?
True
Let w(k) = 4*k**2 + 24*k + 2. Let j(h) = h**3 + 4*h**2 - h + 28. Let r be j(-5). Does 10 divide w(r)?
True
Suppose 21 = p - 4*n, 11 = 3*p - 2*p - 2*n. Let b be (-24)/6 + (-1)/p. Is 1*b/10*-154 a multiple of 13?
False
Suppose 0 = 5*i - 77 + 27. Suppose i*g + 36 = 14*g. Suppose -7*x + g*x = 180. Is x a multiple of 30?
True
Let p = 1208 + 616. Is p a multiple of 19?
True
Suppose 5*y - 2324 = -d - 0*y, 0 = 3*y - 3. Does 21 divide d?
False
Let d(w) = -w**2 + 14*w - 1. Let v(t) = -t**2. Let j(y) = d(y) - 2*v(y). Let k be j(-14). Is 19 a factor of 60/(-20) - (-135 + k)?
True
Let w(i) = 800*i**2 + 28*i + 116. Is 18 a factor of w(-4)?
False
Let o(d) = d**3 + 14*d**2 + d + 18. Let p be o(-14). Suppose 2*u - 694 = -2*l, -p*l = -2*l + u - 698. Is l a multiple of 13?
True
Suppose -5*k + 2*n + 8852 = 0, -13*n = -10*n + 3. Is k a multiple of 3?
True
Is 34 a factor of (-659)/2*(-3)/(7 + 411/(-60))?
False
Let r be -14*(-1585)/10 - 2. Is r/12 + (-9)/(-36) + -5 a multiple of 8?
False
Let y = -17269 - -25942. Is y a multiple of 49?
True
Is 17 a factor of (1/1)/((-119)/(-19873))?
False
Suppose -7382*x = -7363*x - 756675. Is 295 a factor of x?
True
Is (-4830)/(-1) - (-22 + -10 + 25) a multiple of 45?
False
Is (59 - 1)/((-1 - 4) + (-880)/(-165)) a multiple of 39?
False
Suppose 5*l - 314174 = k, 936*l - 2*k = 941*l - 314192. Is l a multiple of 349?
False
Suppose -o + 3 = 3*f - 11, 0 = 4*o - 4*f - 136. Let m = 94 - o. Does 13 divide m?
True
Let f = 47 - 44. Let w(m) = -27 + 0*m + 4*m**2 - 3*m - m - f*m**2. Is 2 a factor of w(8)?
False
Let y(i) = 4*i + 21. Let d be y(11). Suppose -3*x + d = 8. Suppose 0 = x*t - 24*t + 330. Does 19 divide t?
False
Let i(m) = -2*m**2 - 61*m + 31. Let w be i(-29). Suppose 2*j + 54 = w. Is j a multiple of 8?
True
Let s = -43 - -869. Is s a multiple of 30?
False
Let k(q) = q**2 - q**3 + 3*q**2 + 7*q**2 + 10*q - q**2. Does 50 divide k(10)?
True
Suppose -178421 = -146*s + 183951. Does 3 divide s?
False
Let p(j) = 7*j - 16. Let q be p(3). Suppose 0 = q*v - 6*v + 141. Is v a multiple of 14?
False
Let u = 2168 + 5279. Is u a multiple of 23?
False
Let a be ((-203)/(-116))/(1/4). Does 33 divide a/(35/(-1635))*-1?
False
Let p be ((-542)/(-6) - -1)/(2/(-6)). Let h = p + 722. Is 16 a factor of h?
True
Suppose 3*z + 573 = o, 5*o = z + 3009 - 144. Is 13 a factor of o?
False
Suppose 3*p = 2*w + 2715, -60*w = -3*p - 56*w + 2709. Is 3 a factor of p?
False
Let h(y) = -16*y - 29. Let m(b) = 18*b + 30. Let v(a) = -6*h(a) - 5*m(a). Let g(x) = -x**3 - 11*x**2 + 12*x + 16. Let j be g(-12). Is 8 a factor of v(j)?
True
Suppose 0 = -31*g + 139650 + 76513. Is g a multiple of 19?
True
Suppose 5 = -5*b, 7*f - 4*b - 349 = 4*f. Does 13 divide (28 + -2)/(0 + 5/f)?
True
Let o be 21/(-6)*(-6)/7. Let m be 22/o - 4/12. Suppose 2*n = m*n - 3*b - 391, 0 = 5*b - 15. Does 16 divide n?
True
Let b(v) = -286*v + 3690. Does 4 divide b(7)?
True
Suppose -7*m = -0*m - 0*m - 160034. Does 71 divide m?
True
Is (56/(-63)*-3)/((6/(-20277))/(-1)) a multiple of 148?
False
Let c be (1/2 + -1)*6. Let l be (5 - -5) + c + 7. Is l + (0 - 3) + 1 a multiple of 2?
True
Let u be 913/(-66) + 14 - (-6454)/12. Let p = 1324 - u. Is 50 a factor of p?
False
Let l = 1771 + -781. Is 45 a factor of l?
True
Suppose 58*v - 63*v = -80. Suppose -v*a = -1425 - 3327. Is a a multiple of 9?
True
Let p(u) = -u - 5. Let k be -1 + 38/(-4) - 4/8. Let q be p(k). Let d = 107 - q. Does 20 divide d?
False
Let a(v) = 5*v**3 - 11*v**2 + 15*v + 73. Let x(u) = -u**3 - 2*u**2 + u + 1. Let y(h) = a(h) + 4*x(h). Does 34 divide y(18)?
False
Let u(i) be the third derivative of 5*i**4/24 - 13*i**3/6 - 14*i**2. Let a(w) = 7*w - 19. Let y(r) = 5*a(r) - 8*u(r). Is y(-5) a multiple of 12?
False
Let j be -5 + (-4)/(-4) - 3. Does 57 divide 320 + (-6 - (j + 3))?
False
Suppose -85390 - 76616 = -31*a. Is 13 a factor of a?
True
Let c be -9*(0 + 2 + -19). Let u = -120 + c. Suppose t = 3*v - 152, 2*t - 79 - u = -2*v. Is v a multiple of 2?
True
Let v(b) = b**3 - 27*b**2 + 90*b + 52. Is 44 a factor of v(24