 16. Let i be c(5). Does 11 divide z(i)?
False
Let l(c) = -158*c - 150. Let x(z) = z**2 - 4*z - 22. Let s be x(6). Is 13 a factor of l(s)?
True
Let d(u) = -11 - 11 + 3*u**2 - 3*u**3 + 24. Let t be d(4). Let z = 321 + t. Is z a multiple of 46?
False
Is 235 a factor of 22786 + (27 - (16 - -2))?
True
Let q = 791 + -786. Is 101/(98/16 + (-1 - q)) a multiple of 37?
False
Let t(p) = 4*p**2 - p + 2. Let k be t(-4). Let f = 72 - k. Suppose -f*a = -4*l - 6*a + 52, -3*l = -2*a - 19. Does 3 divide l?
True
Let f = 1208 - -592. Suppose 8*k + f = -k. Does 10 divide -3*7/(84/k)?
True
Suppose 21*o - 54575 = 34414 + 26868. Is o a multiple of 11?
False
Let l = 607 - 604. Suppose j - 147 - 57 = 2*c, -l*j - 4*c + 652 = 0. Does 12 divide j?
False
Let k(u) = -u**2 - 10*u - 2*u - 4*u - 10. Let d = 1242 + -1253. Is k(d) a multiple of 15?
True
Let z(i) = -44*i - 179. Let p be z(-7). Suppose u - p = 222. Does 13 divide u?
True
Let r be (-11 - -16)*(-99)/(-15). Suppose 618*i - 617*i = r. Is i a multiple of 2?
False
Let y be 6/(19/((-95)/(-10))). Is 32 a factor of (5764/15 + (-34)/(-85))*y?
False
Let m be (160/56)/(0 + 6/(-21)). Is 1035/(-6)*m/15 a multiple of 7?
False
Let f = 25615 - 8723. Does 64 divide f?
False
Let y = 15920 + -5635. Is y a multiple of 55?
True
Suppose 0 = -w + 13 + 1. Let u = w + 23. Suppose -5*g - 39 = -3*z, 3*z - g - u = -10. Is 4 a factor of z?
True
Is -303 + 3598 - 14/1 a multiple of 20?
False
Suppose 217*v - 304819 - 827921 = 0. Is 47 a factor of v?
False
Let r = -33 - -36. Suppose -4*i + i - 101 = -v, 15 = -r*i. Suppose -3*x + v = -5*n, -2*n + 49 = 2*x + 3*n. Does 5 divide x?
False
Does 28 divide 122010/9*((-108)/(-15) + -6)?
True
Let v(k) = -14*k**3 + k - 1. Let y be v(1). Let a be 7/(-5) - (-180)/(-300). Let j = a - y. Is 8 a factor of j?
False
Let a be 10/(-15) - 11/(-3). Let f(b) = 2*b - 6. Let q be f(3). Suppose 4*c + a*l = 35, q*l = -2*c + 4*l + 12. Is c a multiple of 4?
True
Suppose -4*d + 24 = 2*d. Suppose 64 = d*n - 104. Let g = n + -26. Is 3 a factor of g?
False
Let o(d) be the first derivative of -29*d**4/2 + d**3/3 - d - 67. Is o(-1) a multiple of 6?
False
Let f(w) = 501*w**2 - w - 2. Let z be f(-1). Let t(p) = 8*p**2 + 2*p - 40. Let v be t(-7). Let j = z - v. Is 15 a factor of j?
False
Let s = -6061 + 7864. Is 36 a factor of s?
False
Let x(s) = -s**3 - 9*s**2 - 8*s - 1. Let w be x(-8). Let t be (140/24*-3)/(w/4). Suppose 2 = q - t. Is q a multiple of 18?
True
Suppose -1768*i = -1782*i + 52797 + 17203. Is 30 a factor of i?
False
Let m(g) be the third derivative of -g**5/60 - 7*g**4/4 + 6*g**3 + 126*g**2. Does 9 divide m(-15)?
True
Let d(v) = -v**3 - 22*v**2 + 107*v + 402. Does 119 divide d(-39)?
False
Let q(s) = 2*s. Let v be q(2). Suppose v*c = -5*m + 1, 0*c + 13 = m + 4*c. Is (69*1)/(m/(-2)) a multiple of 23?
True
Suppose -5*m - 31 = -2*d, -2*d + 4*m = -6*d + 48. Let g = 14 - d. Does 16 divide (-4 + 216/4)*g?
False
Suppose -422 + 27 = 5*p. Let z = p - -69. Is 57 a factor of ((-76)/z)/(-2 - (-488)/240)?
True
Let s be 5/10*8/(-1*2). Let u be (s - (-194)/4)*(5 - 3). Suppose -4*l + 3*d = 25 - 166, -2*l + u = 3*d. Is l a multiple of 13?
True
Let g(t) = 2*t**2 + 60*t - 22. Suppose 21*n + 311 = -403. Is 40 a factor of g(n)?
False
Let q(z) = z**2 - 34*z - 1243. Is 43 a factor of q(-64)?
False
Suppose j - 1 = 4. Let y = -488 + 503. Is 12 a factor of y/j + -6 - -85?
False
Let x = 9896 + -4141. Is 13 a factor of x?
False
Let x be (-2)/(-6) + 96/9. Let h(v) = -22*v - 15*v - x*v + 0*v - 4. Is 23 a factor of h(-2)?
True
Let p = 1131 - 2573. Let m(f) = 28*f**2 - 3*f + 2. Let o be m(2). Is 15 a factor of (-18)/o - p/12?
True
Let a(z) = 3*z + 77. Let n be a(-24). Suppose 5*w + n*w - 40 = 0. Suppose 2*c - 37 = -3*q + 3*c, 0 = 2*q - w*c - 8. Is q a multiple of 14?
True
Let u(b) = 4*b**3 + 13*b**2 - 8*b + 1. Let m(c) = c**3 + 0*c**3 + 7*c**2 - 7*c**2. Let g(a) = 3*m(a) - u(a). Is 18 a factor of g(-14)?
False
Let a(i) = -i**2 - 27*i - 48. Let n be a(-9). Let z = 249 - n. Is 9 a factor of z?
True
Let m = 451 + -170. Suppose -5*c = -1131 + m. Is c a multiple of 5?
True
Is 29 a factor of (-30)/(-9)*((-14858)/(-230))/(4/150)?
False
Let r = -8394 + 29670. Is 11 a factor of r?
False
Suppose 4*n = 9*n + 2*c - 2389, -6*n + c = -2894. Does 6 divide n?
False
Suppose n = -2*n + 222. Suppose 3*g + 59 = n. Suppose 10*u - 20 = g*u. Is u a multiple of 2?
True
Let o(f) = 6 - 26 - 23 - 89*f. Is 18 a factor of o(-6)?
False
Let b(n) = n**3 - 10*n**2 - 10*n - 7. Let v be b(11). Suppose 3*u + 8 = -v*y + 5*y, y + 2 = -2*u. Suppose y*m = 250 - 76. Is m a multiple of 38?
False
Let i(o) = -796*o - 1214. Is i(-2) a multiple of 18?
True
Suppose -7*q + 131 = s - 2*q, -4*q = -s + 95. Let w = s - -58. Is 19 a factor of w?
False
Does 45 divide (-15)/2*1380*(-100)/225?
False
Is 7 a factor of 28/42 + (-40738)/(-3)?
True
Suppose -4*g + 5475 = 5*j, -453 = -2*g + j + 2274. Suppose -13*c = -18*c + g. Suppose -6*o = -c + 87. Is o a multiple of 8?
False
Let d be -5*(-6321)/140 + (-3)/4. Suppose -d*w + 960 = -213*w. Is w a multiple of 20?
True
Let v(z) = z**2 + 29*z - 62. Let d be v(-31). Suppose d = m + q - 46 - 105, 4*m + q = 613. Is m a multiple of 23?
False
Let w be ((-1269)/(-2))/(90/(-120)). Let y = -660 - w. Does 34 divide y?
False
Suppose 14*f + 11*f - 408375 = -50*f. Is 9 a factor of f?
True
Suppose 0 = -86*n - 57549 + 852705. Is 67 a factor of n?
True
Let w be 8 + -2 + 0 + 6. Is (-523)/(-2) + 5 + (-54)/w a multiple of 6?
False
Suppose -54*w - 9460 = 55*w - 120*w. Does 172 divide w?
True
Let l(k) be the second derivative of 4*k**4 + k**3 - 3*k**2 - 3*k + 5. Is l(-3) a multiple of 34?
True
Let w(j) = 41*j + 8. Let h(i) = 2*i**2 + 21*i - 28. Let p be h(-12). Is w(p) a multiple of 42?
True
Let z(c) = 4*c + 24. Let b be z(-6). Suppose -3*h - 15 = b, -4*g - h + 4*h + 319 = 0. Is g a multiple of 5?
False
Suppose 3492 = -4*x - 3*d + 5*d, -3*d + 6 = 0. Let m = x + 1236. Does 26 divide m?
True
Let i = 1426 + -5. Is 7 a factor of i?
True
Suppose -g + 1227 = 18*p - 15*p, 0 = 3*g + 3*p - 3651. Is 6 a factor of g?
True
Let u be (-2)/(-4)*-3*-10. Suppose -1092 - 1113 = -u*a. Does 11 divide a?
False
Let s = 417 - 423. Is 4 a factor of 3/s*2*-31?
False
Let s(y) = -y**2 + 16*y - 18. Let f be s(14). Suppose -104 = -2*t + f*t. Let p = 41 - t. Does 18 divide p?
True
Suppose 66*q - 65*q + 2 = 0, 0 = d - q - 1419. Is 13 a factor of d?
True
Suppose 3*g - 5*x - 25101 = 0, 39*g + 6*x - 25134 = 36*g. Is 13 a factor of g?
True
Let v = 816 - 545. Suppose -3*y + 719 = -v. Suppose y = r + r. Is 55 a factor of r?
True
Does 35 divide 19 - (-12 - -27) - (-6012)/2?
True
Let t(b) = -b**3 + 12*b**2 - 7*b - 64. Does 4 divide t(8)?
True
Let l(b) = b**2 - 9*b + 20. Let y be l(6). Suppose t + 0*t - 62 = -y*c, 0 = 3*c + t - 91. Is c a multiple of 5?
False
Let f(l) = 27*l**3 - 3*l**2 - 6*l + 13. Let u be f(2). Let s = 261 - u. Is s a multiple of 4?
True
Let h = -3059 - -3147. Is h a multiple of 11?
True
Let b = 272 + -274. Let c(g) = -25*g - 7. Let v(y) = -y + 1. Let x(m) = c(m) + 2*v(m). Is x(b) a multiple of 35?
False
Suppose 0 = -484*y + 488*y + 88. Let u = 148 - y. Does 5 divide u?
True
Let u(r) = -r**3 - 17*r**2 + 6*r + 60. Let c be (130/(-25) + 4)*(16 - 1). Is 47 a factor of u(c)?
False
Suppose -2*k + 6*a - 2*a = -16, -2*k - 2*a + 10 = 0. Suppose 3 = -r, 4*y + 813 = k*y + 3*r. Does 20 divide y?
False
Let x(i) = 222*i**2 + 485*i - 2862. Does 201 divide x(6)?
True
Suppose 4*g + 7008 = -4*w, 2*w = -3 - 3. Let f be (g/22)/(3/(-4)). Let k = f + -58. Does 12 divide k?
True
Suppose -5*b + 9030 = 5*m - 5420, 0 = -5*m - 3*b + 14462. Is 8 a factor of m?
True
Suppose -55*k - 85241 + 222546 = -518900. Is k a multiple of 41?
True
Suppose 4*r - 5*w - 44955 = 0, 48*r - 49*r + 11238 = -2*w. Is r a multiple of 10?
True
Let j(d) = d**2 + 8*d - 1. Let a be j(-9). Suppose 2*x + 3*l + a = -3, x - 4*l = 22. Suppose -x*k + 55 = h, -k + 2*k - 23 = 4*h. Is 20 a factor of k?
False
Let i be 3/(1/(-2) - -2). Suppose -5*w - i*r + 0*r + 6 = 0, 3*r = 9. Does 5 divide 7 + (-1 - (w - 3))?
False
Suppose -2*l - 10 = -2*a, 22*l = 24*l + 5*a + 17. Is l/(1 + 1) + 5 + 85 a multiple of 5?
False
Let h = 476 - 836. Let l = -98 - h. Suppose 0 = -2*v + l + 292. Does 23 divide v?
False
Let t be (4/(-3))/(2/(-3)) - -6. Suppose 3*o - t = p, 3*p + 2 = -4*o + 