**2 + 13*p - 2. Let o be y(-2). Does 24 divide (-144)/o - (2612/(-10))/1?
False
Is 48 a factor of 2*25/((-50)/(-13593))?
False
Let j(x) = -328*x + 1122. Is 161 a factor of j(0)?
False
Let l = 31 - 13. Suppose l*z - 2985 = -735. Does 5 divide z?
True
Let q = 122 + -126. Is -2 - (4/(q + 6) + -44) a multiple of 10?
True
Let i = -349 - -351. Suppose i*y = 474 + 26. Does 5 divide y?
True
Let s = -60 + 79. Suppose -s = -2*j - 3*p, -3*j + p - 2*p + 46 = 0. Let r = j - -61. Is 26 a factor of r?
True
Let b(z) = 14*z**2 + 67*z - 70. Is b(-28) a multiple of 42?
True
Suppose 3*j = 4*d - 7, -2*j - 1 = 5*d - 27. Suppose 0 = -2*r + j*h + 158, 0 = -4*r + 7*r - 2*h - 237. Suppose -r*a + 83*a = 36. Is a a multiple of 9?
True
Suppose 3*f - 14 = -4*f. Let y be (500/8 + f)*2. Let k = y + -69. Does 17 divide k?
False
Suppose 5*l = -34*d + 37*d - 21513, 14337 = 2*d - 5*l. Does 46 divide d?
True
Let c = -4536 - -5985. Is c a multiple of 63?
True
Let p be -2 + (1 + 267)*6/24. Let t = -50 + p. Suppose 0 = -5*r - 5*x + 75, 2*r + t = r + 5*x. Is r a multiple of 3?
False
Let l = -2 + 116. Let o = -84 + l. Is o a multiple of 30?
True
Let i(q) = 25*q + 551. Does 16 divide i(-14)?
False
Let w(k) = -k**2 + k + 1. Let t(l) = 4*l**2 - 4*l + 7. Let p(d) = -3*d + 2. Let f be p(-1). Let j(x) = f*w(x) + t(x). Does 5 divide j(0)?
False
Let b(m) = 90*m - 445. Let k be b(5). Suppose 3*r - 18 = -2*w, 0*r = 4*w - 4*r + 4. Suppose 0 = k*h - 4*h + 5*c + 20, w*c + 20 = h. Does 2 divide h?
False
Suppose -16 = 4*u + 5*c, -3*u - 3*c - 7 - 5 = 0. Let p(j) = j**3 + 3*j**2 - 2*j + 3. Let l be p(u). Is (-1)/(273/(-54) - l) a multiple of 5?
False
Suppose 18*m - 31557 = 34393 - 8476. Is 31 a factor of m?
True
Suppose 7*v + 19 = -1346. Does 10 divide ((-812)/(-10))/((-78)/v)?
False
Suppose 19*f - 4950 = -16*f - 960. Let o be (-4)/18 - (-407)/9. Let w = f - o. Does 23 divide w?
True
Let c be (10*-1)/(-5 - (-3 + 0)). Suppose -c*o + 52 = -158. Let x = 18 + o. Is x a multiple of 23?
False
Let o(i) = -5*i**2 - 9*i + 6. Let f be 11/(-77) - 152/14. Let h be o(f). Is h/(-6) + (-1)/3 + 1 a multiple of 28?
True
Let j(o) be the second derivative of -o**5/20 - 31*o**4/12 - 31*o**3/3 - 11*o**2/2 - o + 8. Is j(-29) a multiple of 7?
True
Let v(t) = 4*t**2 - 6*t - 3. Let q(l) = 5*l**2 - 5*l - 4. Let m(j) = -5*q(j) + 6*v(j). Let b(k) = -32*k + 315. Let r be b(10). Is 7 a factor of m(r)?
False
Let y(a) = 3*a - 13. Let q be y(6). Suppose -3*b + 4*n = 156, -5*b - 4*n + q*n - 243 = 0. Does 4 divide (b/2)/(63/(-84))?
True
Is (21/(-112))/(45/(-60)) - 155742/(-8) a multiple of 124?
True
Suppose 9*t - 3*t - 846 = 0. Suppose -3*r = 4*v - 5*v + t, 2*v + r - 282 = 0. Suppose 0 = 4*c + 3*k - 0*k - v, -2*k + 29 = c. Is 3 a factor of c?
True
Let y(o) be the third derivative of 18*o**2 + 0*o + 1/120*o**6 - 2/15*o**5 + 19/6*o**3 - 5/24*o**4 + 0. Is 7 a factor of y(9)?
False
Suppose -942*n + 629648 = -926*n. Is 106 a factor of n?
False
Let s be (8/(-5))/(4/(-10)). Suppose 5*h - j = -2*j + 962, -3*j - 762 = -s*h. Let y = h - 3. Is y a multiple of 28?
False
Let f = -403 + 254. Let v = 5 - f. Does 7 divide v?
True
Suppose -3*y - 2264 = 5*y. Let n = -173 - y. Is 22 a factor of n?
True
Let m = 476 + -468. Is 4 a factor of m - 13/((-65)/710)?
False
Let w be 47/6*197 - 3/18. Suppose 2*d = 5*d + n - 928, 5*d = 2*n + w. Let y = d - 218. Is 7 a factor of y?
True
Let r(z) = -132*z + 268*z + 12 + 2*z**2 - z**2 - 131*z. Does 19 divide r(-9)?
False
Suppose -57 = -3*h - 3*r, -4*h + 9*h - 95 = -r. Let g(b) = 18*b + 18*b + h - 56*b + 17*b. Is g(-12) a multiple of 11?
True
Let l(n) = -64*n + 926. Is l(-29) a multiple of 15?
False
Let s = -107 + 102. Is 13 a factor of ((2254/4)/(-7))/(s/10)?
False
Let c = 157 - 161. Is 6 a factor of 0*(-4)/c + (-2779)/(-7)?
False
Suppose 3568 = 3*d - 689. Let k = d - 915. Does 36 divide k?
True
Suppose -3*u + l + 20416 = 0, -3*u - 58*l + 20428 = -62*l. Does 162 divide u?
True
Let w = -17724 - -29556. Is w a multiple of 29?
True
Suppose 24 = 8*z + 24. Suppose 5*q + 0*s + 5*s - 635 = z, 5*q - 4*s = 608. Does 4 divide q?
True
Suppose 4*j - 178 = -150, -l + 4*j + 2174 = 0. Does 13 divide l?
False
Let u = 72 - 144. Is 2 a factor of (u/20)/(6/(-100)*1)?
True
Let p = 583 - 556. Suppose 31*h = p*h - 4*w + 7192, 0 = 4*h + 2*w - 7196. Is 18 a factor of h?
True
Let x(s) = -28*s - 107. Let y be x(-4). Suppose 0 = -3*m - 12, -y*l - 4*m + 632 = -2*l. Is 8 a factor of l?
True
Suppose -w = 3*h - 353, -2*h + 226 = 72*w - 76*w. Is 9 a factor of h?
True
Suppose 53*l - 16638 = 11823. Suppose 0 = -z - z + 3*k + 69, -4*z + 165 = 3*k. Suppose -l = -9*v + z. Is 38 a factor of v?
False
Suppose 4*x + 42 - 26 = 0, 5*m = 2*x - 412. Let s = -224 + 410. Let j = m + s. Does 25 divide j?
False
Let v(t) = -17*t + 59. Let p(m) = 8*m - 29. Let g(n) = 13*p(n) + 6*v(n). Let d be g(10). Is 6 a factor of 9/((d/(-16))/(6/4))?
True
Suppose -u - 12 + 25 = 0. Let w(c) = 61*c - 96. Is 52 a factor of w(u)?
False
Let q(b) = 1321*b + 6982. Does 182 divide q(48)?
False
Let a(q) = -136*q - 1320. Is 168 a factor of a(-48)?
True
Is (-367 + -4 - -1)/(-1*(-8)/(-52)) a multiple of 21?
False
Suppose 6*i - 32 - 2 - 56 = 0. Let p(o) be the third derivative of -o**6/120 + o**5/4 + 7*o**4/12 + 11*o**3/6 - o**2. Does 21 divide p(i)?
False
Let s be (6/5)/(9/360*3). Suppose s*d = -d + 5610. Is d a multiple of 6?
True
Let z(w) = 3*w**2. Let j be z(1). Let i(p) = -j + 5*p - 7*p + 1 + 4*p**2 + 4*p. Is i(-6) a multiple of 26?
True
Is 33 a factor of 24527 + (-12 - -27) + -6?
False
Let w(n) = 7*n**3 + n**2. Let i be w(-1). Is i/4 + 3 + 985/10 a multiple of 50?
True
Suppose -4*f = -f + 33. Let x(j) = -174*j - 1957. Let u be x(-11). Let b = f - u. Is 8 a factor of b?
True
Let x(f) = 97*f**2 - 46*f + 9. Is 74 a factor of x(7)?
True
Let m(z) = z**3 + 4*z**2 + 4*z + 39. Does 4 divide m(-4)?
False
Suppose -23*s - s = -5*s - 31255. Is s a multiple of 3?
False
Let z = 127 - 89. Let r be 2/4 + z/4. Suppose 20 + r = 3*v. Is v a multiple of 10?
True
Let l be (2/(-3))/(37/1665). Does 31 divide (l + 3 + 2)/(1/(-31))?
True
Let x = 127 - 123. Suppose x*r - 64 = 72. Is 6 a factor of r?
False
Let d = 5007 - 2316. Is d a multiple of 23?
True
Suppose -5*a - 2*n + 12679 = 0, 15*n = -2*a + 16*n + 5068. Suppose 927 - a = -6*o. Does 67 divide o?
True
Suppose -43*m = -65208 + 17220. Is m a multiple of 35?
False
Suppose 9988 = 34*l - 348. Does 16 divide l?
True
Let u(i) = 3*i**2 + 9*i - 1. Let l(c) be the first derivative of -4*c**3/3 - 5*c**2 + c + 16. Let y(h) = -4*l(h) - 5*u(h). Is y(8) a multiple of 25?
True
Let v be 6 + (-2 - 0) - 1. Suppose 0 = 4*r - c + 780, -2*c - 585 = v*r + 2*c. Is r/(-2)*28/42 a multiple of 5?
True
Let x = 133 - 364. Is ((-1)/1*1)/(3/x) a multiple of 3?
False
Suppose -2*r = 4*f - 280946, -48358 - 232585 = -4*f + r. Is f a multiple of 18?
True
Let m be 171/63 - (-4)/14. Suppose -m*d + d = -56. Is 650/8 - (-21)/d a multiple of 9?
False
Let o = 45 + -40. Suppose -35 = -o*y + 5*i, -30 = 2*y - 7*y + 4*i. Suppose -14 + y = -4*t. Is t even?
False
Let r(f) = -82*f + 458. Let p be r(-31). Suppose -94*y - p = -118*y. Is 57 a factor of y?
False
Suppose 0 = q + q + 5*i, 2*i = 3*q. Let f be 45/(-75) - (q + 6/(-10)). Suppose 0 = 5*n - 3*j - 52, f*n - n = j - 4. Is 5 a factor of n?
False
Suppose 2*v - 11535 = -r, 152*r = v + 156*r - 5778. Is 62 a factor of v?
True
Let o = -1739 - -2983. Does 8 divide o?
False
Suppose 2*b + b - 3*x = 3, x = 4*b + 5. Let i(k) = 7*k + 10. Let n be i(b). Is 4/16 + (-487)/n a multiple of 13?
False
Let u be (3*8/(-30))/(2/(-85)). Suppose 2*x = -p - u + 612, -3*p + 1698 = -3*x. Let b = -313 + p. Is b a multiple of 23?
False
Let p = 273 - 277. Is 67 a factor of (-2 - p - 120)/((-2)/6)?
False
Let v(i) = 62*i**2 + 70*i + 155. Is 25 a factor of v(-15)?
False
Is 14 a factor of ((-12)/(-9))/(224/936936)?
False
Suppose 0 = 8*r + 8984 - 29128. Does 42 divide r?
False
Let n(g) be the second derivative of g**4/12 - 7*g**3/6 + g**2 - 8*g - 4. Is n(8) a multiple of 4?
False
Let f(m) be the first derivative of 35*m**3/3 + 7*m**2 + 31*m - 42. Is 17 a factor of f(-3)?
False
Suppose -67873 + 8473 = -15*u. Does 110 divide u?
True
Suppose 0 = -4*m + o + 45234, 0 = -5*m + 46*o - 42*o + 56526. Is m a multiple of 7?
False
Let l(s) = 144*s - 3052. Let a(f) = -26*f + 555. Let r(q) = 28*a