(p)?
False
Let l = -5612 - -12102. Is l a multiple of 16?
False
Let t = -146 + 149. Suppose -3*j = 5*z - 335, -z - t*j + 60 = -j. Does 35 divide z?
True
Let i(o) = -69*o + 6. Let v(m) = -68*m + 6. Let w(u) = -6*i(u) + 5*v(u). Let t = -4574 - -4579. Is w(t) a multiple of 52?
True
Let p(i) = -i**2 + 17*i - 40. Let a be p(3). Does 8 divide ((-17)/5 + 1)/(a/(-505))?
False
Suppose 3*w = -6, -5*w = -6*a + a - 625. Let y = a + 157. Is 8 a factor of y?
False
Let f(l) = -l**3 + 4*l**2 + 6*l - 7. Let o be f(5). Let h = o - -4. Suppose -m = -h*m + 57. Is 19 a factor of m?
True
Let d(r) = 9*r**3. Let g be d(1). Suppose g*x - 983 = -272. Suppose 0 = 3*k + 2*t - 46, -4*t + x = 5*k - 3*t. Is k a multiple of 10?
False
Let g be (-513)/(-39) + (-2)/13. Suppose -g*i + 3 = -10*i. Is i/3 + (-753)/(-9) a multiple of 21?
True
Let s be -1 - 80*1 - -2. Let b = 59 - s. Does 23 divide b?
True
Let c(x) = x**2 + 28*x + 143. Let i be c(-6). Does 3 divide 94792/748 + 3/i?
False
Let j(g) = g**3 + 8*g**2 - 18*g + 11. Let k be j(-10). Let u be k/2*2/(-1). Is (-14)/(-63) + 2194/u a multiple of 28?
False
Suppose -1010591 - 499561 + 481698 = -329*t. Is t a multiple of 23?
False
Suppose -285*j + 282*j = -5*w + 2508, -5*w + 2502 = 3*j. Is 166 a factor of w?
False
Suppose -6*w + w = 2*m - 55, -2*w + 40 = 2*m. Let d = -4 + m. Suppose 128 = d*f - 7*f. Is f a multiple of 8?
True
Let r be -6 - (-796 - 25/(-5)). Let j = r + -614. Is j a multiple of 4?
False
Is (198/11 - -581) + 5 a multiple of 3?
False
Let r be (-238)/(-98) - -1*3/(-7). Suppose 4*q - 1632 = -2*x, -964 + 132 = -r*q - 5*x. Is q a multiple of 29?
True
Let f(n) = n**2 + 11*n + 13. Suppose 0 = -7*x - 91 + 21. Let q be f(x). Is 3 a factor of -4 - (-2 + -12 + q)?
False
Let o = 211 - 134. Suppose o - 17 = 4*s. Suppose 2280 = s*r - 210. Does 15 divide r?
False
Suppose -3*x = -5*y + 2235, -2*y - 2*x + 1233 - 339 = 0. Is (0 + y - -6) + 3 a multiple of 98?
False
Let l(s) = 2*s**2 + 3*s. Let v be l(-2). Suppose -v*u = w - 260, 2*w + 34 = 3*u + 540. Does 8 divide w?
True
Let b(p) be the second derivative of 12*p**3 - 151*p**2/2 - 200*p. Is 18 a factor of b(26)?
False
Suppose 2*g = 9*b - 29036, 3*b + 2*g = 8995 + 681. Is b a multiple of 22?
False
Suppose -5*r + 5*p = -30, -5*p = 4*r - 5 + 17. Suppose r*h = 269 + 75. Is 18 a factor of h?
False
Let q(o) = 14*o**2 - 33*o - 2526. Is 213 a factor of q(-43)?
False
Does 6 divide 73/(1825/37980)*(6 + -1)?
True
Is 6 a factor of (-30 - -29)/(-4 - 19302/(-4826))?
False
Suppose 24*z = 17*z + 91. Suppose -5 - z = -x. Is x/(-4)*-2*12 a multiple of 18?
True
Let y(g) = -837*g - 94. Is 9 a factor of y(-2)?
False
Let s = -276 - -281. Suppose 2*q + j = 6*q - 2207, -3*q = s*j - 1684. Is q a multiple of 4?
False
Let p = 106 - 109. Let g be (-2)/((-3)/p) - -320. Let x = -178 + g. Is x a multiple of 20?
True
Let f = 195 + -128. Suppose -f = -8*q + 7*q. Does 16 divide q?
False
Let h(o) = -70*o**2 + 3*o + 3. Let v(i) = -23*i**2 + i + 1. Let l(y) = -3*h(y) + 8*v(y). Let j be l(3). Suppose 66*m = 71*m - j. Is 27 a factor of m?
False
Let h be 12/(-12)*(-4 - 0). Suppose -294 = -h*v + 6*v. Is 24/4*v/(-6) a multiple of 21?
True
Let d(s) = -s**3 - 13*s**2 + 17*s - 13. Let x be 15/((2/3)/((-20)/30)). Is d(x) a multiple of 8?
False
Suppose 2*r + s = -91, -3*r - 2*s - 160 = -21. Suppose 3*g - 211 = -3*j - 4, 0 = -2*j - 2. Let w = r + g. Does 27 divide w?
True
Let y(o) = 20*o**2 + 129*o - 1621. Does 5 divide y(14)?
True
Suppose -d + 4*d = -5*x + 11, -4*d - 2*x + 10 = 0. Suppose -d*o + 5*r + 763 + 1298 = 0, 3*o = 5*r + 3104. Does 21 divide o?
False
Suppose -7279 = 21*h + 407. Let a = h - -610. Is 21 a factor of a?
False
Suppose 73*l - 69*l - 6092 = 0. Is l a multiple of 6?
False
Suppose 229*z - 4 = 233*z. Let r(u) = -274*u - 3. Is r(z) a multiple of 12?
False
Let a(b) = -b**3 - 6*b**2 - 3*b - 3. Let m be a(-6). Let j(q) = -q - 5*q - m - 38 + 9. Does 34 divide j(-18)?
False
Is (-72*16/(-15))/(6/320) a multiple of 2?
True
Let y(d) = 91*d**2 - 2*d + 1. Suppose 44 + 6 = 5*j. Suppose 2*t - j*t + 8 = 0. Is 15 a factor of y(t)?
True
Let l = 129 - 192. Let o = l + 233. Is o a multiple of 14?
False
Let f(b) = -b + 3. Let d be f(-11). Let g = 17 - d. Suppose 0 = -2*r + g*o + 376, -772 = -4*r - 3*o + 4*o. Is 12 a factor of r?
False
Let t(b) = 2812*b + 12041. Does 11 divide t(9)?
False
Let l(y) = 40*y - 130. Let o be (-10)/(-3)*1062/295. Is l(o) a multiple of 25?
True
Let r(q) = -q**3 - 3*q**2 - 6*q - 3. Let n be r(-2). Let w = -17 + 17. Suppose -73 + 17 = -2*y - 4*f, w = n*y - 5*f - 215. Is 19 a factor of y?
True
Let n(k) = -19*k - 145. Let w be n(-25). Suppose 0 = 3*m - 843 - w. Is 14 a factor of m?
False
Let p = 1830 - 850. Is 98 a factor of p?
True
Let a(u) = -u**2 + 10*u - 3. Let i be a(10). Let b be 0/(3 - (i + 7)). Suppose b = -d + 120 - 35. Is 31 a factor of d?
False
Suppose 12*i + 1073 = -427. Let n = i + 193. Is 2 a factor of n?
True
Suppose -10128 = -3*p - 3*y, 24 = 3*y + 39. Is p a multiple of 74?
False
Let y(l) be the second derivative of -l**5/20 - 5*l**4/3 - 3*l**3 + 21*l**2/2 - 10*l. Let z be y(-19). Suppose 37 = z*n + 7. Is n a multiple of 5?
True
Let q = -11 - 11. Let z = -23 - q. Does 20 divide 10*(-5 - -20 - z)?
True
Let o = -59 - -65. Let h be 346/o + 1 + 18/54. Let v = h + -11. Is 12 a factor of v?
True
Does 20 divide 11 + (5881 - (-11)/(-3)*-3)?
False
Suppose 8418 = 5*a - 1342. Let h be 4 + (-90)/24 - 21/112*-4. Is (-2)/9 - (a/(-36))/h a multiple of 54?
True
Let c(s) = 45*s**2 + 37*s - 79. Let q be c(2). Suppose -a - 15*t + 11*t = -q, a - 2*t = 187. Is a a multiple of 6?
False
Let q(k) = -3*k - 19. Let f be q(-9). Suppose -f*x - 206 = -7*x. Is 8/60 + 1 + x/(-30) a multiple of 6?
False
Let p = -320 - -322. Let b be 5/4 + (-15)/(-20). Suppose -p*g - 5*h + 55 = g, -b*g = 4*h - 36. Is 10 a factor of g?
True
Let k = 28849 + -24669. Is k a multiple of 22?
True
Let z = -455 + 463. Does 58 divide z/(-32)*-1214*2?
False
Suppose -377 = -5*v - 2*b, -5*b = -2*v + 98 + 47. Suppose -j - 4*j - v = 0. Is 9 a factor of (-20 - 4)*j/4?
True
Suppose -2*s + 5*d - 3 = 1, 3*s - d - 7 = 0. Does 5 divide -2*(-4626)/12*1/s?
False
Suppose -6030 = -7*g + 11790 + 3369. Is 7 a factor of g?
False
Let i be (68/6)/(10/15). Let a = 14 - i. Let s(m) = 13*m**2 - 6*m + 3. Does 46 divide s(a)?
True
Suppose 10*r = 29*r - 285. Suppose -r*h + 14*h + 115 = 0. Is 8 a factor of h?
False
Suppose -412 = -5*t + 983. Suppose 15*f + 50 = 14*f + g, g = -5*f - 226. Does 3 divide (f/69)/(-3*2/t)?
False
Let c(d) = -658*d - 437. Is 36 a factor of c(-2)?
False
Let u be 303/8 - 1/(-24)*3. Is 2*u/(-10)*-15 a multiple of 17?
False
Let q be (-2 + 3)/(10/40). Suppose -4*y = -y - 6. Suppose -y*r - 32 = -2*t, 2*r + 8 = q*r. Is 3 a factor of t?
False
Let a = -8217 + 10015. Is 58 a factor of a?
True
Let z = 7140 - 3344. Suppose z = 6*w - 560. Does 33 divide w?
True
Let t(d) = -d**3 - 13*d**2 - 20*d - 7. Suppose -3*v + 12*v + 99 = 0. Let z be t(v). Let q = 62 + z. Does 5 divide q?
False
Suppose 2163*n + 2876790 = 2233*n. Is n a multiple of 33?
False
Let d be ((-1)/(-3))/(57/8037). Let c = -48 + 91. Let j = c + d. Is 14 a factor of j?
False
Suppose 209664 = 68*a + 76*a. Is a a multiple of 16?
True
Suppose -z + o = -1353, -2*z = 20*o - 15*o - 2706. Is z a multiple of 11?
True
Let c be 55/(-20)*2*-4. Suppose 129 = -c*u + 481. Is u a multiple of 4?
True
Does 12 divide 20/22 + -1 + 632100/924?
True
Suppose -4*s = -4*s - 3*s. Suppose -4*n - v - 201 = s, 2*n + 89 + 10 = -v. Let j = 1 - n. Does 14 divide j?
False
Suppose 0 = 4*d + 2*l - 26186, 5*d - 11532 - 21196 = -l. Does 68 divide d?
False
Let o(x) = 21*x + 1470. Is o(-9) a multiple of 7?
True
Does 18 divide (22/(-44))/((-1365)/1362 + 1)?
False
Let r(d) be the third derivative of -d**6/120 + d**5/60 + d**4/2 + 2*d**3/3 - 112*d**2. Is r(4) a multiple of 4?
True
Is 35 a factor of (4 - (8 + 10/15))*-1695?
True
Let w(t) = 2*t**2 + 16*t - 46. Suppose -36*r + 24 = -32*r. Is w(r) a multiple of 15?
False
Let f(u) = u**3 + 54*u**2 - 136*u - 31. Does 10 divide f(-55)?
False
Let o be -1 + (-19060)/(-10) + 0. Let i = 3240 - o. Is i a multiple of 23?
False
Let o = 134 - 126. Let b = o - -3. Is b a multiple of 2?
False
Let p be ((-1099)/(-14))/(2*(-2)/(-8)). Let c = p - 117. Is c a multiple of 5?
True
Let f(n) = -n**3 - 9*n**2 + n + 11. L