divide p?
True
Let w be 6*(-1)/(-3) + 2. Let l be (-2)/w*(-6 + -2*6). Suppose -j + r - 17 = -4*r, 0 = 2*j - 5*r + l. Does 2 divide j?
True
Is (-1)/((0 - 8/(-26))*(-17)/32776) a multiple of 126?
False
Let n = 277 + -111. Let w be 11/(-2)*676/(-13). Let z = w - n. Is 40 a factor of z?
True
Suppose 4*u - 7*h = -9*h + 342, 5*u - h = 445. Suppose 279 = 91*t - u*t. Is t a multiple of 15?
False
Let x be 0 - -247 - (-33 + 32). Let i = 256 + x. Is i a multiple of 21?
True
Suppose -117*k + 1330280 = -77*k. Is k a multiple of 14?
False
Let o be (-4 - -4)/(3 + 1). Suppose 4*l + y + 2 - 73 = o, 2*l = 2*y + 48. Suppose -5*q = -l*q + 2310. Is q a multiple of 11?
True
Let g = 1183 + 3525. Is g a multiple of 11?
True
Let d be 25 - 8/(0 + 2). Let c be ((-7)/d)/(2/(-24)). Is 309/c - 18/(-24) a multiple of 13?
True
Let k be 27/(-45) + (-1686)/(-10). Does 43 divide 14168/k + (-5)/(-3)?
True
Suppose -626 = 5*k - 3*f, -54 = k + 5*f + 88. Let i = 495 + k. Is i a multiple of 16?
True
Suppose -371 = 11*a - 1471. Let r = 322 - a. Suppose -199*u - r = -200*u. Is u a multiple of 37?
True
Suppose -3*w - 4*k = -43564, 93513 - 6434 = 6*w + k. Is w a multiple of 114?
False
Suppose 4032 = 23*b - 2*b. Suppose -2*a = 5*m - 89, 16*m - 20*m = -4*a + b. Is a a multiple of 22?
False
Is 5 a factor of -1 - (-4007 + -9)/(4*3/12)?
True
Suppose 2901 + 14838 = i. Does 73 divide i?
True
Let o(w) = -59*w + 2. Let y be 2 - (1 + -1) - 4. Let a be o(y). Is 1 + (-3 - 1) + a a multiple of 20?
False
Let j be 17*(-4)/(-4) - 1/1. Suppose 0 = -3*z - 7 + j. Suppose -67 + 277 = z*p. Is p a multiple of 7?
True
Suppose -2*p + 5*s + 1368 = 0, 27*p - 23*p + 5*s = 2796. Let k = 1622 - p. Is k a multiple of 68?
False
Let i(y) = y**3 + 24*y**2 + 19*y - 7. Let a(o) = -2*o**2 + 6*o + 13. Let c be a(6). Is i(c) a multiple of 17?
True
Let s be (-111 - 38)/(1/(-1)). Let c = -74 + s. Is c even?
False
Let w(v) = -v**3 + 27*v**2 + 49*v + 7. Let g be w(28). Suppose -4*b = x - g, -2*b + 40 = -3*x - 275. Is b a multiple of 15?
True
Suppose -4*g = -4*x - 18908, -3*g + 2*x + 1895 = -12281. Suppose -3*m + g = 9*l - 5*l, -2352 = -2*l + 3*m. Is 9 a factor of l?
True
Let c be ((-69)/46)/(1/(-2)). Suppose -3*h = -d - 44 + 222, 371 = 2*d - c*h. Is 6 a factor of d?
False
Let f = -13035 + 27181. Is f a multiple of 22?
True
Suppose 2*d + 27777 - 111423 = 5*m, -41843 = -d + 5*m. Does 13 divide d?
False
Suppose 5*v - 5*f = -195, -4*f = 118*v - 113*v + 240. Let s(k) = -34*k - 1. Let j be s(-3). Let c = j + v. Is c a multiple of 19?
True
Let j(y) = -2*y**3 - y**2 - 11*y - 20. Let a = 548 + -553. Is j(a) a multiple of 56?
False
Let f = 39796 + -26995. Does 51 divide f?
True
Does 26 divide ((-38743)/129)/((-5)/15)?
False
Suppose -14*o + 34*o = 12668 + 189892. Does 3 divide o?
True
Suppose -4*v - 5*o + 4159 = 0, 4*v - 129*o - 4156 = -133*o. Is v a multiple of 37?
True
Let j(s) = 3*s**2 + 116*s + 53. Let l be j(-40). Let z = l - 35. Is 13 a factor of z?
False
Let n = -440 + 442. Suppose n*k + 136 - 1606 = 0. Does 15 divide k?
True
Let g(p) be the first derivative of 23*p**3/3 - 9*p**2/2 - 16*p - 269. Is g(-3) a multiple of 15?
False
Let j = 22254 + -14030. Is j a multiple of 18?
False
Suppose 26 = 5*d - 3*k, -2*d + 1 = 4*k - 25. Does 12 divide 103/((-6)/(-13 + d))?
False
Suppose -1962 = -9*z + 18*z. Let h = -173 - z. Is 9 a factor of h?
True
Let j(a) = 2*a - 28. Let z be j(19). Suppose -5*b = -4*m + z, m - 2*m = b + 2. Suppose m = 2*p + 2*u - 72, -p = -4*u + 13 - 39. Is p a multiple of 32?
False
Let u(f) = 2*f**3 - 84*f**2 - 75*f - 239. Is u(43) a multiple of 58?
False
Suppose 2*h + 22 = -3*b, -h - 6*b + 2*b = 21. Let d(g) = -g**2 + 5. Let m be d(h). Let x = m - -117. Is 11 a factor of x?
False
Suppose 42 = -4*r + 4*l + 14, -5*l - 15 = 5*r. Does 4 divide r + 4 + -2 - (-40 - -5)?
True
Let c be 1 + -81 - 12/18*3. Suppose -5*k = -3*u - 804, 0 = -2*k + 3*u + 289 + 29. Let w = k + c. Is 4 a factor of w?
True
Suppose -22*s - 557362 = -119*s. Is s a multiple of 26?
True
Let d(x) = x**2 + 70*x + 59. Let l be d(-58). Let t = -429 - l. Is 26 a factor of t?
True
Suppose -h = n - 18 - 15, -3*h + 134 = 4*n. Suppose -n*q + 29*q = -312. Is q a multiple of 34?
False
Is (-6)/((-36)/162 - 87676/(-395028)) a multiple of 8?
False
Suppose -4*g - 4*q = -g + 1916, -2*g = -5*q + 1308. Suppose -3*k + 9*k - 12 = 0. Is 23 a factor of (g/16)/(9/(-4) + k)?
True
Let r be (((-539)/(-21))/7)/((-1)/(-99)). Suppose 9*z = -147 + r. Is 8/(-10)*(z + -199) a multiple of 10?
True
Suppose -165*g + 5548724 = -4236601. Is g a multiple of 29?
True
Let s(c) = c**3 - 6*c**2 + 49*c - 110. Does 112 divide s(30)?
True
Let c = 15407 + 5287. Is c a multiple of 86?
False
Let z(f) = 3*f**2 + 65*f - 18. Let k be z(-22). Suppose -4*i = k, -3*o + 1778 = i + 474. Is o a multiple of 29?
True
Suppose 266 = 2*q + y, 2*y = -2*y. Let m = q + -76. Does 5 divide m?
False
Let i(d) = -d**2 - 21*d + 24. Let j be i(-20). Let v = j + -114. Is (-10)/4*v/1 a multiple of 35?
True
Suppose 0 = -19*o + 18*o + 5. Suppose 1440 = o*z + 2*a, z + 864 = 4*z - a. Is 21 a factor of z?
False
Let u(l) = 3*l**2 + 40*l + 486. Does 18 divide u(-18)?
True
Let k = 2983 + 5113. Is k a multiple of 88?
True
Suppose 222*x = 234*x - 19128 - 7932. Is 39 a factor of x?
False
Let r = -52 + 57. Suppose 9*c - r*c = y - 190, -2*y = 5*c - 445. Suppose -7*x = -12*x + y. Is 14 a factor of x?
True
Let q(i) = 109*i + 585. Is q(5) a multiple of 83?
False
Let a = -1225 + 2116. Is 27 a factor of a?
True
Let r(c) = 34*c**2 + 20 - 379*c - 417*c + 871*c - c**3. Is 16 a factor of r(36)?
True
Let a(j) = 76*j**2 + 3*j - 7. Suppose -30 = -5*g + 6*f - f, -4*g = 2*f. Is 4 a factor of a(g)?
False
Suppose -8*u + w = -12*u + 4092, 0 = 2*u + w - 2046. Let r = -425 + u. Is 26 a factor of r?
True
Suppose 0 = 16*n - 1092 - 13868. Is 85 a factor of n?
True
Suppose -5857 = 7*p - 26857. Does 99 divide p?
False
Suppose 7*k - 3*k = 0. Suppose 10*x + 18*x = -9*x + 42*x. Suppose k*d + 5*d - 1350 = x. Does 54 divide d?
True
Let u(o) = -10*o - 6*o - 57 - 97*o + 4*o**2. Is 3 a factor of u(29)?
True
Suppose 5*k = -2*i, 7 = -4*i + 27. Let v = -49 - -85. Is (v/(-5))/(k/(-10))*-4 a multiple of 48?
True
Suppose -30*g = 39 - 9. Is (-227205)/(-132) - (-9)/(-12)*g a multiple of 76?
False
Suppose -106*q = -101*q - 2*l - 480, 0 = 3*l. Is 12 a factor of q?
True
Suppose -7*v + v = -3*v - 79074. Is 69 a factor of v?
True
Suppose 18*r - 3 = 15*r. Suppose 0 = 4*b - 2*d - 2*d - 76, 5*d - r = -b. Is 6 a factor of b?
False
Let x = 77 - -55. Suppose -3*c + 23 = -2*c + w, w = c - 19. Let q = c + x. Is q a multiple of 15?
False
Suppose n - 3*r = -12, 3*n = -4*r + 21 - 5. Let x be ((-2 - n)/1)/(18/(-342)). Is x - (-16)/(-4) - 0 a multiple of 7?
False
Suppose 56226*q - 38790 = 56217*q. Is q a multiple of 3?
False
Is 14 a factor of 8/76 + (-10245888)/(-1216)?
False
Suppose 0 = t + 25 - 30. Suppose -5*c = -t*r - 2200, 3*c - 1312 = -30*r + 35*r. Is 13 a factor of c?
False
Let o(x) be the first derivative of x**3/3 - 3*x**2/2 + 4*x + 2. Suppose 4 = -2*n, 4*b + 4*n = -0*n + 32. Is o(b) a multiple of 37?
True
Suppose -5*f + 31*s - 28*s + 71814 = 0, -f = 4*s - 14395. Is 15 a factor of f?
False
Suppose -2*s + 513 = 4*k - 3*s, -k = -4*s - 117. Let j = -68 + k. Suppose -4*f - 27 = -2*b + j, 0 = -4*b + 3*f + 196. Is b a multiple of 4?
True
Does 5 divide (-54 - -60)*(-394)/(-12)?
False
Let n(v) = -9*v - 2 + 20*v + 3*v**3 - 4*v**3 - 2*v**2 - 4*v**2. Let t be n(-8). Let m = 61 - t. Does 7 divide m?
False
Let i(c) = -2*c**2 + 15*c - 12. Let x be i(6). Is 242276/222 - (-4)/x a multiple of 14?
True
Let y(l) = 2*l**2 - 30*l - 45. Let a be y(15). Does 5 divide (75/a)/(4/(-528))?
True
Suppose 4*s = 3*n + 40, 3*s - 11*n = -6*n + 30. Suppose 0 = -2*o - s, 3*o - 305 = -3*x - 2*o. Is 11 a factor of x?
True
Suppose 9 = -2*f - 1. Let b(m) = -m**2 - 5*m + 9. Let j be b(f). Suppose -4*g - 60 = -j*g. Is 5 a factor of g?
False
Let g(f) = 5514*f - 14. Let l be g(1). Suppose -45*v + 34*v = -l. Does 6 divide v?
False
Suppose -145 = -b - 2*d, 5*b + 2*d - 99 - 586 = 0. Let y be 2 + (b/3)/(-3). Let q = y - -47. Does 17 divide q?
True
Let s = 542 + -331. Suppose 4*d - 17 = o - s, 3*o + 4*d = 550. Is o a multiple of 53?
False
Let v be -17 + -998 - (-7 + 2 - 1). Let k = -619 - v. Does 39 divide k?
True
Let c(r) = 288*r + 149