ple of 19?
False
Let q(l) = -l**2 + 51*l - 181. Let d be 0 + (-96)/(-120) + (-76)/(-5). Is 39 a factor of q(d)?
False
Let b be 3*(-332008)/(-168) + (-4)/(-14). Suppose 523 = -17*j + b. Is 32 a factor of j?
False
Suppose 4*t - p + 4*p - 20 = 0, -6 = 5*t - 4*p. Suppose 2*n = 5*q - 3848, 0 = -14*q + 17*q + t*n - 2296. Is q a multiple of 24?
True
Suppose -34290 = -3*g + 4*o, 5*g - 44862 = 4*o + 12288. Is 10 a factor of g?
True
Suppose 4127*z + 3480 = 4129*z. Is 20 a factor of z?
True
Let b(c) = -14*c. Let t be b(-3). Let j be 8*-5*((-14)/8 + 1). Let z = t - j. Does 3 divide z?
True
Suppose 0 = -9*o + 8*o + 5. Let a = 35 - o. Suppose 4*t - 34 - a = 0. Does 16 divide t?
True
Suppose 4*n - 47*d = -42*d + 20, 0 = -4*n - 2*d - 8. Suppose 0*f = 2*f. Suppose -2*r - 3*k + 2*k + 172 = f, -5*r - 4*k + 436 = n. Is r a multiple of 11?
False
Let z(l) = -l**2 + 10*l - 16. Let h be z(8). Suppose -n = -2*c - 715, -3*n - 2*c + 1950 + 163 = h. Is 30 a factor of n?
False
Let y(o) = 26*o**2 + 45*o - 133. Does 136 divide y(15)?
True
Let c(w) = -8*w - 4. Let y be c(-5). Let r(p) = 4*p - 2. Let u be r(1). Suppose -u*s = s - y. Is 4 a factor of s?
True
Let j(k) = 2*k**2 - 46*k - 96. Let l be j(25). Suppose 0 = -n + 1, 0*u = -l*u - n + 2533. Is u a multiple of 19?
False
Let f(k) be the third derivative of k**5/60 + k**4/4 + 2*k**3 + 15*k**2. Let b be f(-7). Suppose -4*d - 2*l = b - 421, 97 = d - 3*l. Does 10 divide d?
True
Let w(m) be the second derivative of 170*m**3/3 + 10*m**2 - 207*m. Is w(2) a multiple of 10?
True
Let c = -5560 - -19504. Does 8 divide c?
True
Let t(d) = -843*d + 3851. Does 13 divide t(-7)?
False
Is 9 a factor of (-1666)/21*5832/(-48)?
True
Suppose 97*b = -32*b + 567471. Is b a multiple of 8?
False
Suppose 0 = 283*p - 287*p - 24, -q + 344 = 4*p. Is q a multiple of 22?
False
Let j(r) = -r**3 + 38*r**2 - 35*r + 40. Let l be ((-12)/(-15))/((-2)/(-95)) + -1. Does 38 divide j(l)?
True
Suppose 0 = 7*x - 58 - 68. Let o be (-2)/(-6) + 8400/x. Suppose 0 = -6*b + 2*b + 5*i + o, 2*b + 5*i = 211. Is 25 a factor of b?
False
Suppose -255 = -9*j + 4*j. Let c = j - 93. Is 2 + 0 + -2 - c a multiple of 14?
True
Let t(v) = -v**2 - 16*v + 15. Let l be t(-15). Suppose -l = -2*g + 90. Is 3 a factor of g?
True
Let o(l) = -116*l + 193. Let p be o(-7). Let z = -357 + p. Does 9 divide z?
True
Let o(j) be the third derivative of -j**4/24 + 28*j**3/3 - 39*j**2. Let f = 1 + -1. Does 29 divide o(f)?
False
Is -3 - -9651 - ((9 - 4)*1 - 9) a multiple of 38?
True
Let h(c) = c**3 - 11*c**2 - 14*c + 26. Let r be h(12). Suppose z = -4*j - 0*z + 1321, -j - r*z + 332 = 0. Does 10 divide j?
True
Suppose 4*j = -5*r + 11910, -4*r = 5*j - 4528 - 10373. Is j a multiple of 118?
False
Let u = 4985 + -2906. Is 27 a factor of u?
True
Let r be -1 - (-1 + 2) - (13 + -9). Is 240/(-28)*(-13 - r) a multiple of 7?
False
Let c be (-2)/(-8) - (-14)/8. Let b(j) = -10*j + 1130. Let a be b(112). Suppose a*m - 536 = c*m. Is m a multiple of 13?
False
Let m(i) = -i**3 - 10*i**2 - 4*i + 4. Let w(n) = n**2 + 6*n - 2. Let o be w(-4). Is 15 a factor of m(o)?
False
Does 47 divide (-279646)/(-50) + (-312)/(-3900)?
True
Let a = 35 - 19. Suppose 0*m - 4*m + 4*r = -a, -2*r + 10 = 0. Suppose 1477 = m*y + 397. Is y a multiple of 15?
True
Let f = -377 - -1174. Suppose 3*i - m - m = f, -5*i - 3*m = -1360. Is i a multiple of 6?
False
Let q = 577 - -87. Suppose -q - 2312 = -8*l. Suppose 3*c - 108 = l. Is c a multiple of 15?
False
Is 3/((25 - 19) + -7 + 0) + 5690 a multiple of 11?
True
Let a(n) = -n**3 - 10*n**2 - 2*n + 7. Let p(f) = f**2 - 22*f + 6. Let k be p(22). Let i be k*(0 + 4/(-6) - 1). Is a(i) a multiple of 2?
False
Suppose 184 - 2709 = -4*x - 5*n, 0 = -2*n + 2. Let m = x - 191. Is 19 a factor of m?
False
Suppose 3*i - 6 = 3*k, 25*i = 24*i. Is (k/(-3))/(32/432) a multiple of 9?
True
Let q(n) be the first derivative of -n**5/24 - 11*n**4/24 - 5*n**3/3 + 18. Let v(m) be the third derivative of q(m). Does 11 divide v(-11)?
True
Let x(v) be the second derivative of -v**5/40 + v**4/6 + 17*v**3/3 - 9*v. Let n(k) be the second derivative of x(k). Is 22 a factor of n(-12)?
False
Let x = 5033 - 4087. Does 12 divide x?
False
Suppose 4*a - 3*s - 10 = -7, -24 = -5*a - 3*s. Let i be -18 + 0 + a/(-2)*-2. Let h = i - -176. Is h a multiple of 23?
True
Let d(h) = 204*h**2 - 3*h - 6. Let r be d(-2). Suppose 12*k = 4*k + r. Does 6 divide k?
True
Let b(h) = 5*h + 16. Let m be b(-4). Does 15 divide m*(-2 + (-469)/14)?
False
Does 15 divide (0 + 309/(-1))*16170/(-315)?
False
Let n be (128/(-24))/8 - (-2)/3. Let t(s) = s**3 + 3*s**2 - s + 94. Is t(n) a multiple of 6?
False
Let a be 5 + -1*(1 - 0). Suppose 46 = a*i + 3*c - 1009, 2*c = -2*i + 530. Let v = -150 + i. Is v a multiple of 22?
True
Suppose 12 = 22*n - 18*n. Suppose -170 + 14 = -2*r - 3*b, -n*r + 232 = 4*b. Is 18 a factor of r?
True
Let n be 1 - (2 - -6*(-8)/12). Suppose 5*a = n*o + 1943, 0 = -2*o + 5*o - 12. Suppose -4*r - 103 = -a. Is r a multiple of 12?
True
Let z(f) = 3071*f - 4100. Is 189 a factor of z(9)?
False
Let w = -87 - -330. Suppose -f + w = 5*x, 3*f - 4*x - 225 = 466. Suppose 3*i + 2*i - 169 = -4*g, 5*g = i + f. Does 11 divide g?
False
Let o = 303 + -301. Suppose 3*l = -4*b + 164, 3*l = o*l + b + 43. Is l a multiple of 6?
True
Suppose 0 = -16*r + 19*r - 69. Suppose -c + 0*c - 5*p + r = 0, 0 = -2*c - 5*p + 31. Suppose 2*a - 100 = c. Is 18 a factor of a?
True
Let y = -32 + 31. Let s be (-5)/y + 5 + -8. Let q = s - -111. Is q a multiple of 12?
False
Let o(d) = -3*d - 7. Suppose 3*x + 4 - 19 = 0, 0 = -y + 2*x. Let p(v) = v**2 - 10*v - 14. Let u be p(y). Does 35 divide o(u)?
True
Let s = 353 + -345. Suppose -3*b + s*b + 3*n - 782 = 0, n + 150 = b. Is 4 a factor of b?
False
Let z = 1115 + -104. Suppose 0 = -7*n + 6702 - z. Is 21 a factor of n?
False
Let s(j) = -21*j + 12. Let l(f) = -f + 1. Let i(w) = 2*l(w) - s(w). Suppose -5 = 5*z + 5*q, 8 + 7 = z - 3*q. Is i(z) a multiple of 7?
False
Let o(y) = -y + 19. Let p be o(0). Suppose -p = -4*b - 5*v - 1, 4 = 4*b - 2*v. Suppose -2*u = -2*x + 122 - 38, -x = -b*u - 46. Is 8 a factor of x?
False
Let p(f) = 227*f**3 + 7*f**2 - 226*f + 1140. Is 210 a factor of p(5)?
True
Let u(b) = 8*b**2 + 13*b - 30. Let m be u(-6). Suppose -11*h + m = -1107. Is h a multiple of 17?
False
Suppose 15*n = 17 + 58. Let s be n + 0 + -4 - 241. Let w = s + 358. Is w a multiple of 13?
False
Is 2 a factor of (-50)/3*((-1296)/45 + 27)?
True
Does 5 divide 2/(-3)*((-124677)/66 - (-66)/121)?
False
Suppose 20 = 3*b - 7. Suppose -b*s + 5*s + 24 = 0. Suppose s*l - l = 135. Is 18 a factor of l?
False
Let w(a) be the first derivative of a**3/3 + a**2 + 90*a + 4. Let m(h) = 3*h + 66. Let z be m(-22). Is 9 a factor of w(z)?
True
Let s be 375/45 - (-2)/(-6). Suppose 13*y - 360 = s*y. Is 7 a factor of y?
False
Suppose -2*d - 4*g + 3502 = 0, 81*d - 5*g + 7016 = 85*d. Is d a multiple of 48?
False
Is 61 a factor of 7/5 + -2 + (-13775298)/(-230) + -33?
False
Let g = 16553 + -6678. Is g a multiple of 97?
False
Suppose 5*w = 1000 + 1155. Is w a multiple of 14?
False
Is 11 a factor of (((-16566)/165)/(24/15))/(1/(-292))?
False
Let u be 415/(-85) + 5 - (-24714)/34. Let p = 1057 - u. Does 12 divide p?
False
Suppose 0 = 42*j - 52*j - 40. Is ((5 + -4)*7)/(j/(-20)) a multiple of 9?
False
Suppose -4*w - 793 = 5*z, 3*w + 823 - 257 = 2*z. Let g = -33 - 75. Let m = g - w. Does 14 divide m?
True
Suppose 0 = -2*j + 3*g - 2*g + 4, -4*j = -g - 12. Suppose 3*x + x - 18 = -2*f, -3*x = -j*f - 8. Is 18 a factor of -2 - (-62 + f + -3)?
False
Let m(r) be the third derivative of -r**6/120 - 11*r**5/60 + 5*r**4/8 - 5*r**3/2 - 14*r**2 + 3*r. Is 4 a factor of m(-13)?
True
Suppose 0 = -3*x - i - 884, 5*x - 4*i + 1636 - 157 = 0. Does 73 divide 124*x/(-50) - (-4)/10?
False
Let f = -170 + 193. Suppose -4 + 53 = -j. Let w = f - j. Does 19 divide w?
False
Suppose -2*g + 3*h - 32 = 0, -4*g - 124*h - 48 = -126*h. Let d be ((-4)/(-6))/(2/(-4602)). Is 14 a factor of d/g - 36/(-60)?
True
Let a be (1/(-2))/(0 + 3/(-18)). Suppose k - x = -126, -k + a*x - 126 = x. Let z = 278 + k. Is 38 a factor of z?
True
Suppose -p - 2*p = -4*c - 13, -2*c = -2*p + 8. Let b(d) = 32 - 25 + d + 8*d. Is b(p) a multiple of 17?
True
Let f(a) be the third derivative of -7/60*a**6 - 1/60*a**5 + 0 + 0*a + 9*a**2 - 1/24*a**4 + 1/3*a**3. I