21. Does 16 divide y?
False
Suppose 94*k + 46*k = 41*k + 261261. Is 13 a factor of k?
True
Let f(r) = -549*r + 36. Let z(x) = -274*x + 19. Let t(m) = 4*f(m) - 7*z(m). Is 13 a factor of t(-3)?
True
Suppose 8351 = 2*f - 5*q, 0 = 52*f - 48*f - q - 16765. Is 25 a factor of f?
False
Let d = 25 - 9. Let i be 4/d - (-362)/(-8). Let b = i - -119. Is 41 a factor of b?
False
Suppose 4*x + m = 5697, 0 = -5*x - 3*m + 8*m + 7140. Does 57 divide x?
True
Suppose 4*s - n = 763, 2*n = 2*s + 3*s - 956. Suppose -h = -11*h + s. Let j = 51 - h. Is j a multiple of 16?
True
Let a(l) = -250*l - 1361. Is 13 a factor of a(-42)?
True
Is (-29)/((-290)/24200) + 5 a multiple of 12?
False
Suppose -2*l - 4*a = -3532, 10*a - 9*a = -3*l + 5333. Is l a multiple of 89?
True
Let j(m) = -30*m + 3. Let b be j(-5). Suppose -5*l + 511 = -12*l. Let p = l + b. Does 11 divide p?
False
Suppose -73*v + 1494219 + 558906 = 0. Does 25 divide v?
True
Let p(z) = -8*z**2 - 79*z + 11. Let o be p(-10). Is 2 a factor of (-3)/((-2 - o) + (-1443)/(-494))?
True
Let u = 143 - -432. Let t = 125 + u. Is 50 a factor of t?
True
Let f = 4835 - 3324. Is 14 a factor of (-1)/(-2) + 1/2*f?
True
Let i be 5/(-2)*(-2065 - (-30 - -15)). Suppose -18*n + 4217 + i = 0. Is 21 a factor of n?
False
Let c = -63 + -134. Let y = -149 - c. Is y a multiple of 4?
True
Suppose -4*f + 2723 = -l - 16087, 14118 = 3*f + l. Is f a multiple of 84?
True
Let w(a) be the second derivative of 5*a**4/12 - 19*a**3/2 - 16*a**2 - 86*a. Is 64 a factor of w(18)?
False
Suppose -15*b - 8*b - 216554 = -36*b. Is b a multiple of 11?
False
Suppose 4*l = 8 - 16. Let c be (4/(-6))/(l/12). Is 161/3 - (c/6 + -1) a multiple of 9?
True
Does 11 divide 2675/214*(-5212)/(-10)?
False
Let v(j) = 5*j + 9. Let q(f) = -f**2 + f + 1. Let n be q(2). Let d be 5 - n/(1/(-1)). Does 25 divide v(d)?
False
Does 60 divide (-6)/9*3474630/(-153)?
False
Let d(i) = -10*i + 54. Let h be d(-4). Suppose -87*j - 1043 = -h*j. Is 11 a factor of j?
False
Let w(a) = 1026*a + 514. Is w(1) a multiple of 14?
True
Let r(s) = -48*s**3 - 5*s**2 + 152*s + 766. Is r(-5) a multiple of 20?
False
Suppose -8 = 3*q + 2*f, -4*q - 6*f - 20 = -f. Let d(i) = 14*i**3 - 11*i**2 + 9*i + 2. Let j be d(3). Suppose 4*g - 20 - j = q. Does 41 divide g?
True
Let y = -3963 + 6413. Is y a multiple of 7?
True
Suppose 5*a = -4*t + 55007, 33009 = 16*a - 13*a + 4*t. Is 12 a factor of a?
False
Suppose 45297 = 14*m - 7623. Is 45 a factor of m?
True
Suppose 0 = -x - 5*d, 0 = 3*x - d - d. Suppose 32*f - 33*f + 3 = x. Suppose -5*z - 983 = -4*r, -908 + 137 = -f*r - 3*z. Is r a multiple of 18?
True
Suppose -5*h + 1070 - 91 = t, -2*t + 2*h + 1922 = 0. Is 21 a factor of t?
False
Let f(v) = 9*v + 53. Suppose a = 5*c - 2, -2*a = -0*a + 2*c + 28. Let l be f(a). Does 5 divide 2/((-10)/l) + 4?
True
Let l = -39172 + 56918. Is 98 a factor of l?
False
Let d(m) = -3*m**2 + 235*m - 61. Is d(61) a multiple of 61?
True
Suppose 8*d - 41472 = 4*d. Does 2 divide (-5)/((-55)/(-2)) - d/(-396)?
True
Let y(z) = 405*z + 1214. Is 4 a factor of y(-2)?
True
Let r(b) = -7*b + 63. Let z be r(7). Suppose z + 81 = 5*p. Suppose -3*u = 5*h - 65, u - p = h - 0*h. Is 3 a factor of u?
False
Suppose -3656 - 15109 = -10*t + 9865. Is 7 a factor of t?
True
Let m = -67 + 62. Let b be (-22)/(-8) - m/20. Suppose 0*t - b*t - 417 = -4*x, -5*t = -3*x + 299. Is 9 a factor of x?
True
Let d(t) = 0 - 8 - 9*t + 2 + 8 - 6*t**2. Let s(n) = 5*n**2 + 10*n - 3. Let i(w) = -3*d(w) - 2*s(w). Does 30 divide i(-5)?
False
Let m(a) = 61*a**2 - 12*a - 36. Let y be m(9). Let h = y - 2577. Does 15 divide h?
True
Suppose -3*u - 5 + 2 = 0, 3*u = -m + 13. Suppose 0 = -12*j + 8*j + m. Is 16 a factor of 12/16 + 133/j?
False
Suppose 3*c = -w + 4, 0 = -w - 0*w - 2. Let j be 591*4/(-6) + c. Let z = j + 722. Is 48 a factor of z?
False
Suppose 0 = -13*i + 29203 + 5117. Is 48 a factor of i?
True
Let b be ((-2)/((-6)/1857))/((-14)/28). Let j = b - -1818. Is j a multiple of 58?
True
Let j(i) = i**2 + 664. Is j(111) a multiple of 49?
True
Suppose -t - 5403 - 5099 = -5*z, 4*z + 3*t - 8394 = 0. Is z a multiple of 35?
True
Suppose -2 = -27*w + 26*w. Does 2 divide w/11 + 744/22?
True
Suppose 368*x - 370*x - q = -4192, 0 = -5*x + 2*q + 10471. Is 128 a factor of x?
False
Let p = 167 - 7. Let j = 760 - p. Does 30 divide j?
True
Suppose 0*v + 3*v = 18. Suppose -3*p = f - v*f - 712, 0 = -3*f + 3*p - 432. Does 18 divide 2/11 - f/(-165)*-21?
True
Suppose -2306*r - 7866 = -2308*r. Is 69 a factor of r?
True
Suppose 101 = 5*t - 3*n, -3*t + 6*t = -4*n + 49. Let d = -20 + t. Is d*(0 + (-121 - 2)) a multiple of 14?
False
Does 23 divide (43654/219)/(5/60)?
True
Let j(y) = -27*y - 149. Let s(r) = -7*r - 37. Let m(g) = 2*j(g) - 9*s(g). Let l be m(-14). Let c = 223 + l. Is c a multiple of 22?
True
Let f(t) = 1467*t**2 - 80*t - 209. Is 13 a factor of f(-3)?
True
Suppose -101885 = -o - 34*o. Suppose -7*a = 790 - o. Does 22 divide a?
False
Suppose -15*f + 18*f = 5*j - 5416, -j + 3*f = -1088. Suppose -c + j = 68. Is c a multiple of 26?
True
Suppose 68*w - 69*w = -3168. Does 44 divide w?
True
Let z be (-391)/(-115) + 2/(-5). Suppose 4*x - 930 = z*h, 0*h + 2*h - 458 = -2*x. Let f = -162 + x. Is f a multiple of 23?
True
Suppose 2*j - z = 5647, -19*j - 6*z = -22*j + 8484. Does 83 divide j?
True
Suppose 0 = h - 4 + 4. Suppose y - 219 = -2*r, 3*r - y - 81 - 240 = h. Is r a multiple of 27?
True
Is 18 a factor of (-2 - (3 - (-32340)/(-51))) + (-134)/1139?
False
Let j be (0 - 6)/((-4)/(160/(-3))). Let r = 86 + j. Does 30 divide r*(290/15 - 0)?
False
Let z = -126 + 174. Let b be 1590/z + (-2)/16. Is (-2)/(-8) - b/(-12) - -79 a multiple of 41?
True
Suppose 0 = 3*a + d, 4*d + 0*d = -4*a. Does 8 divide (-8)/((-2)/12 - a)?
True
Let r = 2989 + -2647. Is 2 a factor of r?
True
Let t be (36/42)/(2 - 24/14). Suppose -t*i + 7*i = -b + 9, 2*b - 6 = -2*i. Suppose 735 - 58 = 5*s + i*a, -a + 676 = 5*s. Is 13 a factor of s?
False
Let m(y) = 37*y**3 - 5*y**2 - y - 43. Is m(5) a multiple of 21?
True
Suppose t + 12 = 12. Suppose t = -2*u + 134 + 58. Is 16 a factor of 1 - (-13)/(13/u)?
False
Let r be (-10)/(-4)*(5 - (-210)/(-50)). Suppose r*q - 19*q + 13379 = 0. Is q a multiple of 28?
False
Let m(r) = 2*r. Let n(c) = -c - 1. Let j(t) = 4*m(t) + 6*n(t). Let f be j(5). Does 32 divide 3/(-6) + 198/f?
False
Let y(r) = r**3 - 9*r**2 + 10*r. Let b be y(8). Suppose 0 = 5*l + 3*q + q - 29, 0 = -4*l + 4*q + b. Let g(h) = 27*h - 5. Is 27 a factor of g(l)?
False
Let t(l) = -8*l**3 - 19*l**2 - 150*l + 11. Does 13 divide t(-11)?
True
Let v(g) be the second derivative of 59*g**4/12 + g**3/3 - 7*g**2/2 + 40*g. Is v(-4) a multiple of 16?
False
Let v(s) = -320*s + 1624. Is 42 a factor of v(-133)?
True
Let y(i) = 10 - 14 + 1 + 3*i. Let s be y(-13). Let v = s + 69. Does 8 divide v?
False
Let q = -30306 + 44281. Is 25 a factor of q?
True
Suppose 2*i + 5*g + 208 = 0, 0*g = 3*i + 3*g + 321. Let u = 221 - i. Is 10 a factor of ((-44)/(-6))/(22/u)?
True
Let a = -10 + 13. Suppose -156 = -a*c - 42. Let x = c - 30. Does 8 divide x?
True
Suppose 1544 = 4*z + 2*p, 2*z = 4*p + 1115 - 323. Suppose -4*u + 184 = -z. Suppose -u = -3*q - 5. Is q a multiple of 3?
False
Let f = 17214 + -9987. Does 61 divide f?
False
Let a = 5701 - -10603. Is a a multiple of 8?
True
Let p(a) = 1999*a + 1452. Is 10 a factor of p(2)?
True
Suppose 3*x - 5*q = 41694, 2*x - 3*q + 378 - 28176 = 0. Is x a multiple of 61?
True
Let p(r) = -r**3 - 12*r**2 + 55*r + 15. Let o be p(-16). Suppose -o = 12*d - 531. Does 2 divide d?
False
Let r(h) = -1 - 1 - 10494*h + 10815*h. Is 29 a factor of r(1)?
True
Suppose 2*y - 3884 - 3508 = -3*x, 0 = -5*x - 2*y + 12324. Is 5 a factor of x?
False
Let q be 8/2 + (-16 - -169). Let k = q + -92. Suppose -k - 34 = -11*r. Is 2 a factor of r?
False
Let c be (-65 - -66)/(0 + 1/331). Suppose -c + 31719 = 59*p. Is p a multiple of 19?
True
Let n(h) = 3*h + 8. Suppose 0 = -p - z - 1, -26 = 4*p - z - 2. Let s be -3 + 0 - 35/p. Does 11 divide n(s)?
False
Let r = -91 + 83. Is 28 a factor of -15*r*(-42)/(-36)?
True
Suppose -2592 = -24*k - 2*p, 22 - 22 = -p. Is 2 a factor of k?
True
Let t be (5 + -11)/(-1 - 1). Let x be (-16)/6*(-6 + t). Let q(j) = j**3 - 6*j**2 - 13*j + 11. Is q(x) a multiple of 7?
True
Let j = -128 - -372. Let i = j - 232. Does 8 divide i?
False
Let u = -6409 + 16243. Is 2