 n(c) = -c**2 - 3*c + 10. Let z be n(a). Does 41 divide z + 3 - (-4 - 198)?
True
Let j = -193 - -240. Let q = j + 28. Is 3 a factor of q?
True
Let a = 5066 + -5057. Suppose 0 = 2*t - t + 45. Is 9 a factor of a*5/(t/(-24))?
False
Let r(a) = -299*a - 20. Let f be r(-4). Suppose 3*n - 12 = 0, 3*s + 3*n = -s + f. Does 43 divide s?
False
Let q(c) = 57*c - 46. Let x(t) = -55*t + 43. Let o(j) = 3*q(j) + 4*x(j). Let b(m) = m - 1. Let s be b(-3). Is 46 a factor of o(s)?
True
Suppose 5*j - 11 = 4*c - 6, -5*j = -2*c + 5. Does 23 divide (2/j)/(2 - 515/255)?
False
Let l = 15796 + -3877. Is l a multiple of 137?
True
Suppose 4*f + 4*p - 22341 = 663, -4*p = 3*f - 17253. Does 27 divide f?
True
Suppose 3311*s - 3337*s + 421824 = 0. Is 156 a factor of s?
True
Suppose 2176 = -8*k - 6800. Let h = k + 2148. Is 27 a factor of h?
True
Suppose 17 = 2*x + 3*y + 6, -5*x + 40 = 5*y. Suppose x*m = 94 + 2558. Is m a multiple of 54?
False
Suppose -z - 2*g = 402, -2*g = -z + g - 382. Let s = z + 762. Does 22 divide s?
False
Let u(w) = w**2 - 8*w + 9. Let i be u(7). Let p be 2*3/12 - 97/i. Let x = p + 112. Is 8 a factor of x?
True
Suppose 15*y - 12*y - 5*r = 7468, -y + 2508 = 3*r. Does 2 divide y?
True
Suppose 0 = -5*l - 18*v + 19*v + 44549, -4*v = l - 8914. Is l a multiple of 18?
True
Let a(z) be the second derivative of 1/12*z**4 - 17/2*z**2 + 0 - 1/3*z**3 + 25*z. Is 21 a factor of a(10)?
True
Let i(r) = -18*r**2 - 3*r - 9. Let w be i(-5). Let c = -312 - w. Suppose 10*o = 4*o + c. Does 11 divide o?
True
Let j(h) = -145*h + 16. Does 9 divide j(-6)?
False
Suppose 0 = -3*v - 3*o + 318, 0*o = 2*v - 4*o - 236. Suppose d - v = 5*s - d, -s - 25 = -d. Is 4 a factor of (8/20*4)/((-2)/s)?
True
Let z(n) = 57*n**2 - 4*n - 1. Let k(i) = -i**2 + 10*i + 1. Let y be k(10). Let u be z(y). Suppose 0 = -a + 3*a - u. Is 19 a factor of a?
False
Let u be -7 - -8 - (0 + 2 + -1). Suppose u = 2*b - 76 - 130. Suppose -2*i + 0*t + b = t, i + 4*t = 48. Is i a multiple of 13?
True
Suppose -4*d + 2*k = 682, 5*d - k + 986 - 135 = 0. Let q = 13 - d. Let s = q + -99. Is s a multiple of 28?
True
Does 113 divide (12*(-7)/(-98))/(4/54866)?
False
Suppose 2*t = 4*x - 2200, -2950 + 170 = -5*x - 5*t. Let r = x + -53. Is 25 a factor of r?
False
Let x be 1432 - (68/119 + (-8)/14). Suppose 3*b + x = h + h, -h = -b - 716. Is h a multiple of 15?
False
Suppose -4*n - 5*m = -15747, -7*n - 5*m = -6*n - 3948. Is n a multiple of 19?
True
Let w(u) = 14*u**2 + 6*u - 1. Let h be w(4). Let c = 1301 - 1292. Suppose -c*i = -338 - h. Is i a multiple of 15?
False
Suppose z - 9652 = -3*l - 440, 2*z = 7*l + 18450. Is 11 a factor of z?
True
Suppose -417 = 12*c - 477. Suppose 5 = -c*a, 43*a - 3707 = -4*b + 42*a. Is 41 a factor of b?
False
Let d(a) = 3*a**2 + 252*a + 691. Is 11 a factor of d(-164)?
True
Is ((-32)/(-60))/((-20)/50)*2868/(-16) a multiple of 4?
False
Let w be -1 - -7 - 4 - -4912. Suppose 3*j - 3662 = 2*g, -3*j - 1251 + w = -3*g. Is 22 a factor of j?
False
Let s(c) = -c**2 - 2*c + 308. Let x be s(0). Suppose -m + x = -5*m. Does 22 divide (30/8)/5*(3 - m)?
False
Let w = -385 + 402. Suppose 19*j - 22572 = -w*j. Does 33 divide j?
True
Let f = -3992 + 6915. Does 67 divide f?
False
Let r = 4 - -2. Suppose r*k = -k + 21. Suppose -k*v - 14 + 128 = 0. Is 19 a factor of v?
True
Let c(m) = -3*m - 4. Let d be c(-3). Suppose -d*w + 25 + 0 = 0, -2*f + 20 = 4*w. Does 4 divide (60 + f)*6/15?
True
Suppose 0 = -4*d - 16, 4*y - 76248 = 12*d + 968. Is 53 a factor of y?
True
Let n(y) be the first derivative of -4*y**2 + 59*y + 23. Let q be n(7). Suppose -t = q*t - 8, 2*s - 198 = -4*t. Is s a multiple of 17?
False
Let z(c) = -10 + 2 + 7 + 2*c**2 - 210*c**3. Is 37 a factor of z(-1)?
False
Let f(y) = 104*y**2 - 35*y - 111. Does 6 divide f(-3)?
True
Let v = -38142 + 67753. Does 172 divide v?
False
Let w = -24 + 62. Suppose w*x - 41*x - 234 = 0. Let m = x + 162. Is 29 a factor of m?
False
Is 5 a factor of (-133)/(-10) + 18/(-60)?
False
Suppose -p - 4*d + 16 = 0, 0 = -20*p + 18*p + d + 77. Is 4 a factor of p?
True
Let t = 319 + -311. Suppose 0 = 8*p + t*p - 1680. Is p a multiple of 10?
False
Suppose -33*a + 37*a = -3*o + 10053, -1 = o. Is a a multiple of 8?
False
Suppose 9511 = s - 4*l - 16696, s - 26221 = -3*l. Suppose 0 = 31*r - 1995 - s. Is 26 a factor of r?
True
Let v(a) = -700*a**2 - 102*a + 5. Let h(r) = -350*r**2 - 50*r + 2. Let o(g) = -5*h(g) + 2*v(g). Is 67 a factor of o(2)?
False
Let i be ((-61)/2)/((-5)/10). Suppose 3*b - t - 53 = 0, -3*b + 2*t = 3 - i. Suppose 3 - b = -l. Is l a multiple of 8?
False
Let y(g) = g**2 + 10*g - 11. Let o be y(-11). Let c(a) = 8*a**2 - a - 6*a + 4*a + o*a + 3. Is 7 a factor of c(-3)?
True
Suppose 4*x = -2*r + 3886, 4*x + 11680 = 6*r + 5*x. Is r a multiple of 99?
False
Let j(a) = -a**2 - 8*a - 4. Let g(z) = -3*z**2 + 2*z**2 + 17*z - z**3 - 5 + 19*z**2 + 2*z. Let b be g(19). Does 11 divide j(b)?
True
Let y be 30/(1 + 2) - (-5)/(-1). Suppose -89*i + 86*i = -5*k + 2259, -5*i = y*k - 2235. Is k a multiple of 15?
True
Let m(k) be the third derivative of -k**5/60 - 13*k**4/24 + k**3 - 3*k**2 - 12. Let r = 6 - 13. Does 6 divide m(r)?
True
Is 10 - (0 + 5355/(-6))*18 a multiple of 45?
False
Suppose -5*h = 3*p - 36 - 20, -p = -2*h + 18. Does 16 divide ((-5075)/h)/7*-2?
False
Let f(l) = 3*l**3 - 69*l**2 - 24*l - 29. Is f(26) a multiple of 20?
False
Let s(a) = 12*a**2 - 3*a**3 - 26*a**2 + 13*a + 2*a**3 + 0*a - 3. Is s(-15) even?
False
Let c be (-38)/76 - 14/4. Does 18 divide (8 - 92)*((-126)/c)/(-7)?
True
Is 65000/6*((-252)/(-60) - (4 - 1)) a multiple of 8?
True
Let f(c) = 25*c - 12 - c**3 + c**2 - 13*c**2 + 0. Does 10 divide f(-14)?
True
Let m(f) = f**2 - 14*f + 21. Let t(d) = -d**2 - 7*d + 2. Let l be t(-5). Let a be m(l). Does 11 divide (45 - 1)/(1*(a + 4))?
True
Let y(i) = -i**3 - 5*i**2 - 6*i - 4. Let t be y(-5). Suppose 27*w - 3015 = 12*w. Let o = t + w. Is o a multiple of 35?
False
Suppose 0 = -4*l + 2*u - 4, -5*u = 5*l + 5 - 15. Does 6 divide 3/(-18) + l - (-5075)/30?
False
Suppose s = -4*u + 79930, 0 = 291*s - 292*s + 2. Is u a multiple of 206?
True
Let p(k) be the second derivative of -k**5/20 - 3*k**4/4 - 3*k**2/2 - 14*k. Let b be p(-6). Let y = -79 - b. Does 16 divide y?
True
Let o(b) = 14*b**2 - 31 - 16*b + 13*b**2 - 28*b**2. Let q be o(-13). Let y(l) = l**2 + 6*l + 7. Is 14 a factor of y(q)?
False
Let t be 106*(-42)/12*-5. Suppose 5*a - t = -2*q, -q + 2*a + 2773 = 2*q. Is q a multiple of 16?
False
Let m(x) be the third derivative of 15*x**2 + 13/24*x**4 + 13/60*x**5 + 1/120*x**6 + 0*x - 7/3*x**3 + 0. Is m(-10) a multiple of 30?
False
Let p be (-7 - -6 - -6)/(2/6). Suppose -2*w + p*q + 260 = 19*q, 3*w - 374 = -2*q. Does 3 divide w?
False
Let b = 405 - 370. Suppose -b*a = -33*a - 1630. Does 14 divide a?
False
Is 6/(-57) + (-84380)/(-190) a multiple of 63?
False
Let l = -748 + 784. Suppose 446*h - 444*h - l = 0. Is h a multiple of 4?
False
Suppose 0 = -3*x + 2*m - 202, -2*x + m + 19 = 153. Let o be 252/x - 2/11. Is 6/o*434/(-21) a multiple of 9?
False
Let h = 335 - 108. Let c = h + 108. Does 15 divide c?
False
Suppose -4*x = 4*t - 84, 1 = 4*x + 5. Suppose 34 = 4*k - 58. Suppose 98 = k*q - t*q. Does 18 divide q?
False
Let w(n) = 2*n - 8. Let j be w(5). Suppose 148 = j*d + 3*x, -x - 324 = -d - 3*d. Let u = 161 - d. Is 21 a factor of u?
False
Let t(l) = -10*l + 13. Suppose 26 = 2*n + 4*j + j, 3*n = -2*j + 17. Suppose -r + 2 = 0, 5*v + 28 + n = 3*r. Is 20 a factor of t(v)?
False
Let m(i) = 1133*i - 6949. Is 2 a factor of m(8)?
False
Let x = 4820 - 4100. Does 18 divide x?
True
Let g(d) = 12*d - 117. Let h be g(10). Suppose 522 = -h*y + 1530. Does 48 divide y?
True
Let b = 1609 + 415. Does 92 divide b?
True
Let z(s) = 8*s**2 + 8*s + 16. Suppose -5*k - r = -9, -7 - 1 = -5*k - 2*r. Suppose 3*y + 2*y = -3*q - 15, -k*y - 3*q = 6. Does 8 divide z(y)?
True
Let x(j) = -5*j**2 + 381*j - 54. Is x(21) a multiple of 9?
True
Is (((-70)/(-49))/(24/56))/(2/981) a multiple of 3?
True
Is 22 a factor of (-30)/40 + (-182178)/(-24)?
True
Let n be (-1 - -112)*1/((-9)/(-78)). Let f = n + -328. Does 26 divide f?
False
Suppose -2*m - 185934 = -5*i, -595*i - 3*m = -591*i - 148738. Is 190 a factor of i?
False
Let d(l) = 33284*l**2 + 23*l + 65. Let z be d(-3). Is 69 a factor of z/187 + 6 - 2/(-17)?
False
Let y = -12061 + 13366. Is 3 a f