y - 342. Let h(t) = -4*j(t) + 171*v(t). Is h(1) a multiple of 19?
True
Let y = -1046 + 4281. Is y a multiple of 8?
False
Suppose 40*j - 184924 = 130354 - 19318. Is j a multiple of 3?
False
Let r(t) = 7*t - 29. Let i be r(6). Suppose -1102 = -3*f - 5*d, -4*f + i*d = 8*d - 1446. Is 14 a factor of f?
True
Let q = 119 - 70. Suppose -99 - q = -2*u. Let z = u - 46. Is 6 a factor of z?
False
Suppose 0*t + 2511 = t - 3*n, -t + 2471 = 5*n. Does 6 divide t?
True
Let v(k) = k + k - 83 + 2*k + 33. Let m be v(15). Suppose -u - 225 = -m*u. Is u a multiple of 19?
False
Let p(v) = 12*v - 83. Let x be p(9). Suppose 5*b - 241 = -z, -x = -7*b + 2*b. Does 12 divide z?
True
Let c = 3 - 8. Suppose -3*o - 1038*i + 8 = -1037*i, -o - 3*i = -16. Is 21 a factor of (-42)/(c + (o - -3))?
True
Suppose 223*v - 252*v + 16588 = 0. Is v a multiple of 22?
True
Let m(z) = -z**3 + 11*z**2 + 2*z - 13. Let t be m(11). Suppose 0 = -t*s - 291 + 2307. Is 7 a factor of s?
True
Suppose -43*n = -32*n - 23100. Suppose 0 = -21*a + 14*a + n. Is 15 a factor of a?
True
Suppose -3*j + 13200 = 4*u, -u + 2*j + 2*j + 3300 = 0. Does 132 divide u?
True
Let z = 714 + 6898. Is z a multiple of 19?
False
Let w(s) be the first derivative of s**2 - 8*s + 9. Let p be w(11). Does 3 divide (p/12*-1)/((-3)/18)?
False
Suppose -1415*o + 1448*o = 247764. Does 47 divide o?
False
Suppose k + 0*k + 578 = -2*q, -5*q = -k + 1459. Let g = 573 - q. Is 27 a factor of g?
True
Let t be 2*((-134)/(-4) - -2). Let j = t - 66. Suppose j*c - 512 = 128. Does 16 divide c?
True
Let p(c) = -8*c**3 - c**2. Suppose 2*s - 3 = -s. Let y be p(s). Does 13 divide 402*(2/y)/((-2)/3)?
False
Let h = 13773 - -239. Is 20 a factor of h?
False
Let g = -2570 - -6867. Is g a multiple of 116?
False
Let h be 98 + (-522)/90 + (-2)/10. Let s be 4 + 1 + (-4)/2. Suppose 2*w + 4*j - 27 = w, j = -s*w + h. Is w a multiple of 12?
False
Let b(r) = r**3 + 11*r**2 + 19*r + 19. Let s be b(-9). Suppose -s*f = -31*f + 1344. Is f even?
True
Let k(j) = -6*j**2 - 37*j + 17. Let t be k(-9). Let c = 324 + t. Is c a multiple of 11?
False
Let o be -1 + (2/(-1))/(-2). Is 6 a factor of (o - -2)/((-30)/(-195))?
False
Let p be 4 + (2 + -3 - -151). Let f be (-28)/p - (-62)/(-22). Is 19 a factor of 1720/30 - (-1)/f?
True
Let g(z) = 74*z - 123. Let j be g(8). Let t = 356 + j. Is t a multiple of 55?
True
Let v be (-5 - 196/12) + 10/(-6). Let n = v + 808. Is 16 a factor of n?
False
Suppose -5*p - 2*k - 4704 = 0, 0 = -4*k + 5*k + 2. Let o = 300 - p. Does 24 divide o?
False
Let k(q) = 4 - 2*q**2 - 3*q + 11*q**2 + 7*q**2 - 2*q**3 - 4*q**2. Let j be k(8). Let r = 386 + j. Does 37 divide r?
False
Suppose 129*h = -182808 + 443646. Is 5 a factor of h?
False
Suppose -10*j - 17796 = -96866. Suppose -18*p + j = -409. Is 11 a factor of p?
True
Suppose p = p + 4*p. Suppose -5*j + 2080 = -p*j + 5*d, 8 = -2*d. Does 14 divide j?
True
Suppose -69*s - 5970 = -75*s. Suppose -3*r + s = 854. Is 2 a factor of r?
False
Let d(u) = -2*u**2. Let g = -66 - -63. Let j be d(g). Let a(y) = y**2 + 14*y + 8. Is 16 a factor of a(j)?
True
Let x be (-32)/(-2)*(-17 + 15) + 1. Let p = x - -35. Suppose -3*w + 336 = p*w. Is w a multiple of 16?
True
Let j(y) = y**3 + 23*y**2 - 3*y - 64. Let n be j(-23). Suppose 2048 = -n*c + 21*c. Does 8 divide c?
True
Let t(d) = -109*d - 34. Let z be t(-10). Suppose -4*v = -8*v + z. Does 13 divide v?
False
Let u be 16/(-120) + -343*4/60. Is (-4929)/(-14) + u/322 a multiple of 11?
True
Suppose 2*h = 70 + 26. Let l be ((-1564)/184)/((-1)/6). Let m = l + h. Is m a multiple of 9?
True
Let z(l) = -27*l + 3105. Is z(29) a multiple of 18?
True
Suppose 46*k = 38*k + 53136. Is k a multiple of 82?
True
Suppose -3*x = -5*v + 6525, 7650 = 4*v + 3*x + 2430. Is 65 a factor of v?
False
Let i(z) = -12*z + 53. Let r be i(0). Suppose 5*v = 2*p - r, 3*v + 92 - 29 = 2*p. Is p a multiple of 13?
True
Let o(h) = 3*h**3 - 2*h**2 - 2*h + 3. Let l be o(1). Let n(b) = b**3 + 6*b**2 + 0*b**2 + 3*b**l + 11. Is 55 a factor of n(-7)?
False
Let y(w) = -730*w - 734. Is 81 a factor of y(-5)?
True
Let g(r) = 145*r - 480. Is 11 a factor of g(22)?
False
Suppose 0 = 5*k + b - 57595, -13947 + 60023 = 4*k - 3*b. Is 55 a factor of k?
False
Let d(q) = -q**2 + 18*q + 3. Let o be d(11). Let f be ((-60)/16)/(8/(-288)). Let x = f - o. Is x a multiple of 10?
False
Let w = 24187 - 11491. Is 18 a factor of w?
False
Let b be (203 - (-2 - -2)) + 2. Suppose 8*c + 787 = -b. Let l = c + 349. Does 37 divide l?
False
Let a(t) be the third derivative of t**5/60 + 5*t**4/24 - 22*t**3/3 + 140*t**2. Does 29 divide a(27)?
False
Let d = -1864 + 1983. Is 7 a factor of d?
True
Suppose -5 - 3 = -4*d, 2*i = -2*d + 38. Suppose 3*b + 12 = 0, -8 - i = -q - b. Is 12 a factor of q?
False
Let o be (3 - 21)/(3/(-2)). Let c be ((-8)/o)/((-4)/54). Suppose -c*b - 245 = -641. Is b a multiple of 11?
True
Let h be 1 - -4 - (27 - 10). Is (-3)/h - (-1910)/40 a multiple of 6?
True
Is 5 a factor of (-8)/44 + 163467/99 + 10?
False
Let o be 0 + (-85 - 0) + 0. Let u = -2434 + 2380. Let z = u - o. Does 4 divide z?
False
Let w be (2 - (-240)/(-110)) + 10331/11. Let p = w - 791. Is 3 a factor of p?
False
Let f(q) = 7*q**2 + 20. Is f(-9) a multiple of 142?
False
Let h = 30 - 47. Let t(k) = -111*k + 5 - 105*k + 213*k - 26. Does 9 divide t(h)?
False
Let z = 254 + -248. Let v(k) = k**2 - 11*k + 14. Let a be v(10). Suppose z*u - 114 = a*u. Does 25 divide u?
False
Suppose 2240 + 780978 = 15*x - 423982. Is x a multiple of 345?
False
Let l(q) = 4*q - 9. Let a be l(-2). Let w = a - -37. Does 6 divide -3 + (w - -4 - -2)?
False
Suppose -2*n + 24 = 4*n. Suppose -a + 10 = n*a. Suppose 0 = -5*w + a*x + 950, 0*w + 3*x + 561 = 3*w. Does 24 divide w?
True
Suppose 4*h = 3*s + 401, 3*s - 6*s = -3. Let p = 103 + h. Does 11 divide p?
False
Suppose 0 = -3*s - 2*q + 123, -5*s - 2*q = -85 - 120. Suppose 46*n - 490 = s*n. Is 14 a factor of n?
True
Let l(o) = 9*o**3 - 6*o**3 + 2*o**3 + o**3 - 4*o**2 - 20. Is l(5) a multiple of 18?
True
Suppose 5*m = -4*j + 5882, 2*m = -11*j + 6*j + 7344. Is j a multiple of 4?
True
Let g be (13 - 970) + (5 - 4). Let x = g + 1806. Is x a multiple of 50?
True
Let f(q) = q + 224. Is f(0) a multiple of 22?
False
Let n be 216/(-135)*(1 + 9/(-4)). Suppose -176 = -2*b - 2*b. Suppose -b = -0*l - n*l. Is 11 a factor of l?
True
Let k(q) = 1226*q**2 - 55*q + 106. Does 10 divide k(2)?
True
Suppose -82*l + 85*l = 27902 + 682. Does 12 divide l?
True
Let x = 6665 - 2335. Is 2 a factor of x?
True
Suppose -303860 = -330*j + 323800. Is 86 a factor of j?
False
Suppose 2*k = -2*h + 8, 4*h + 9 + 3 = 0. Suppose -k = -4*j + 1. Suppose j*i - 7*i + 4*y = -280, -4*i - 5*y + 224 = 0. Does 14 divide i?
True
Let g(c) = 25 - 9*c + 10*c - c**2 - c + c. Let d be g(5). Suppose -2*q + 3*i = -29, -2*i + d*i - 103 = -4*q. Is q a multiple of 4?
False
Let g = 82 - -18. Let f = g + 1. Is 6 a factor of f?
False
Let s = 19 + -69. Is (-3 - 1112)*10/s a multiple of 29?
False
Let b be 9/72 - 0 - (-1257)/(-8). Let u = 178 + b. Is u a multiple of 21?
True
Let t(l) be the second derivative of -5*l**3/2 + 147*l**2/2 - 13*l. Is 16 a factor of t(0)?
False
Let g = -21345 - -87892. Is 13 a factor of g?
True
Let r be 8/16 + 6/4. Suppose 0 = -r*w - a - 3*a + 136, 0 = -2*a - 2. Does 16 divide w?
False
Suppose -2*o + 1362 - 332 = 0. Let i be 80/60*(-45)/(-4). Suppose -20*g + i*g + o = 0. Is g a multiple of 12?
False
Let m(h) = 53*h**2 - 186*h + 1496. Does 17 divide m(8)?
True
Let s be (-2 + 2)/(-7) + 4. Let v(j) = 101*j - 85. Does 22 divide v(s)?
False
Suppose 0 = 4*a - d + 95, 0 = a + 5*d + 43 + 7. Let v be (-45)/(-12) + 3/12 - 44. Let u = a - v. Is u a multiple of 4?
False
Let g(w) be the third derivative of -w**6/120 - 13*w**5/60 - 4*w**4/3 - 65*w**3/6 + 11*w**2. Does 56 divide g(-15)?
False
Let v(s) = -81*s. Let t be v(-1). Let p be 3/(-24)*-1*16. Suppose -2*y = -3*y + 2*n + t, -n + 177 = p*y. Is y a multiple of 29?
True
Let w(q) = 3*q**2 + 2*q + 7. Let g be w(-8). Let f = -118 + g. Does 11 divide (f/(-10))/(4/(-16))?
False
Let y(p) = 1748*p + 10951. Does 11 divide y(22)?
False
Let h = 14799 - 6447. Is h a multiple of 8?
True
Let f(k) = 0*k**2 - 7*k - 4 - 2*k**2 + 14 + 3*k**2. Is f(6) even?
True
Let j be 679/(-1)*(1 + -5 + 1). Suppose 5*a - 1071 = r + j, -r = 4*a - 2481. Is a a multiple of 9?
True
Let n(k) 