(18)?
False
Let k(d) = 5*d**3 - 15*d**2 + 37*d - 4. Suppose 5*q + 4*y = 2*y + 12, -q - 3*y = 8. Does 28 divide k(q)?
True
Let k(s) = -3*s**2 + 4*s - 13. Let x be k(-8). Suppose -6*w - 1284 = -348. Let c = w - x. Is 8 a factor of c?
False
Let t(v) = 2*v**2 - 20*v - 14. Let c be t(10). Let u = c - -22. Suppose -u*i = -36 - 84. Is i a multiple of 6?
False
Let l(z) = 2*z**3 - 2*z**2 - 11*z - 5. Let n be l(6). Suppose -n = -13*c + 3377. Does 47 divide c?
True
Let z(v) = -41*v - 1609. Is z(-76) a multiple of 31?
False
Let k = -35114 - -66658. Is 233 a factor of k?
False
Let o(g) = -19*g - 104. Let r be o(-5). Let d(w) = -w**3 - 2*w**2 - 5*w + 18. Is 24 a factor of d(r)?
False
Suppose 2592*h - 2564*h = 768544. Is 47 a factor of h?
True
Let s be (-24)/84 + (-23)/(-7). Suppose -2*l + 65 = 5*p + s*l, 0 = p + 2*l - 18. Does 4 divide p?
True
Suppose -61070 - 17762 = -38*l + 10848. Does 10 divide l?
True
Let m = -64050 - -90076. Does 22 divide m?
True
Let u(g) = 1051*g - 6224. Is 78 a factor of u(8)?
True
Let q(a) = -a**2 - 28*a + 116. Let f be 5786/(-198) - 2/(-9). Is 14 a factor of q(f)?
False
Suppose a + 4 = -2*q, -a - q = -0*q. Suppose -h + 5 + 7 = 2*r, -2*r = -a*h + 58. Does 2 divide h + (-3)/(9/15)?
False
Let j = 232 - 190. Suppose -294 = -9*m - j. Is m a multiple of 15?
False
Suppose -4*g + 5*w = 10*w - 17, 3*g - w - 27 = 0. Does 18 divide (6/g)/(9/2376)?
True
Suppose 31*y - 2383499 = -70*y. Is y a multiple of 24?
False
Suppose -6*p = 3*c - 8*p + 1689, p = -4*c - 2263. Let v = 197 - c. Is 23 a factor of v?
False
Suppose -11*m = -1293 + 7816. Let n = 721 + m. Is n a multiple of 4?
True
Is (-211 - -13 - -5)*-141 a multiple of 14?
False
Let h = 1 + -7. Let x be 190*((-6)/(-9) - (-7)/h). Let q = x - -155. Is q a multiple of 15?
True
Let p be (-3 - (-2 + 8))*18. Let q = p + 1170. Is q a multiple of 48?
True
Let b = -116 + 16. Does 31 divide ((-1116)/(-15))/(5/b*-6)?
True
Let m = -12111 - -17551. Suppose 4*t = 12*t - m. Does 12 divide t?
False
Let f be 8/20*(-2 + 7). Let z = -1 - -5. Suppose z = f*s - 10. Is s a multiple of 5?
False
Suppose -2*b - 56 = i, i + 5 + 80 = -3*b. Let a = b - -526. Is a a multiple of 7?
True
Let y = -13 - -39. Suppose 3*o + 68 = 6*o + 4*z, -y = -o - 2*z. Suppose 19*x - 81 = o*x. Is x a multiple of 2?
False
Let v = -85 + 90. Suppose 48 = v*i + 63. Does 15 divide 3/3 - (-80 + i + 2)?
False
Let s(p) = -p**3 + 6*p**2 + 15*p - 2. Let d be s(6). Let r = d + -86. Suppose 2*k + 2*b - 80 = 0, -4*k - r*b - b + 159 = 0. Does 39 divide k?
True
Let u(h) = -h**3 + 11*h**2 + 13*h. Let f be 16/14*70/20. Suppose -f*c = 4*a + a - 58, 56 = 4*c + 4*a. Is u(c) a multiple of 12?
True
Let q(k) = k**3 - 9*k**2 + 2*k + 3. Let y be q(9). Suppose -4*v = -v - y. Suppose 0 = -v*w + 2*w + 320. Is 32 a factor of w?
True
Suppose 5*j - 5*z + 9*z - 36886 = 0, 0 = 2*j + 3*z - 14746. Is 8 a factor of j?
False
Suppose -283 = 6*v - 1627. Suppose -2*m + 2 = 0, -k = -m + 81 - v. Does 48 divide k?
True
Let d(s) = 390*s**2 + 124*s**2 + 131*s - 4 - 127*s - 124*s**2. Does 26 divide d(1)?
True
Let l = -629 + 410. Let x = l + 380. Is 7 a factor of x?
True
Suppose -1511*h + 1526*h = 93045. Does 43 divide h?
False
Let w(m) = 13*m**2 + 221*m - 6. Suppose 0 = -6*x - 162 + 54. Does 14 divide w(x)?
False
Let j(a) = a**2 + 0*a**2 - 10 + 12*a + 19. Let r be j(-11). Is 13 a factor of r - ((-135)/2 - (-2)/4)?
True
Let h = -66 + 63. Is (-44)/16 - h - (-1075)/20 a multiple of 9?
True
Let i(u) be the first derivative of u**4/12 + u**2 + 12*u + 2. Let v(s) be the first derivative of i(s). Is 2 a factor of v(3)?
False
Let z(m) = -m**2 - m. Let p(k) = k**3 - 19*k**2 - 13*k - 24. Let y(a) = -p(a) + 6*z(a). Is y(12) a multiple of 14?
True
Let g(y) = y**2 - 3*y - 15. Let x(w) = w**2 + 8*w - 3. Let b be x(-9). Let n be g(b). Suppose -n*r + r + 118 = 2*i, 4*r - 236 = i. Is r a multiple of 24?
False
Let k = 73 - 71. Let l(i) = 199*i**3 - 5*i**2 + i + 8. Let g be l(k). Suppose -9*u + g - 322 = 0. Does 20 divide u?
True
Let k(h) = h**2 - 82*h - 72. Is 72 a factor of k(-72)?
True
Let d = -73 + 33. Let n = d - -63. Suppose 170 = 5*g - w + 31, 0 = -g - w + n. Does 7 divide g?
False
Suppose -6*o + 5*o - 5*l - 622 = 0, 3*o + 3*l + 1842 = 0. Let s = -395 - o. Does 7 divide s?
True
Let w be ((-15)/12)/(1678/280 + -6). Suppose 5*m - 320 + w = 0. Is m a multiple of 29?
True
Suppose 0 = -5*x - 2 + 17, x = n - 637. Suppose -74*p = -78*p + n. Is p a multiple of 16?
True
Let a(c) = -5*c - 1. Let x be 9 - ((-2)/(-4)*0 - 0). Suppose -6*j + 9 = -x*j. Is 3 a factor of a(j)?
False
Suppose 5*p = 2*t + 17, 1 = 2*p - 9. Suppose -10 = -3*y - t*u, -4*u + 5 = 1. Suppose 3*f - 4*f = -y*w - 68, w - 236 = -4*f. Does 7 divide f?
False
Let r(q) = -4*q + 10. Let c be r(0). Let l(i) = -c*i + 0 - 1 - i + i**2 - 6. Is l(13) a multiple of 5?
False
Let q(m) = -m**3 - 18*m**2 + 12. Let c be q(-18). Suppose 4*y + c = 0, 147 = 3*b + 4*y - y. Suppose 0 = 56*v - b*v - 68. Is 3 a factor of v?
False
Suppose -5*y + 265 = -4*y. Suppose 4*z = -5*r + 268, 0*r - y = -5*r - 5*z. Suppose 14 = 2*t - r. Is 7 a factor of t?
True
Let h(n) = n**3 + 8*n**2 + n - 3. Let l be h(-8). Let o be 2/(((-33)/54)/l). Let u = o + -9. Is u a multiple of 6?
False
Let n = -129 - -134. Suppose d + n = 7. Suppose d*t + a - 241 = 0, 5*t + 0*a - 600 = -2*a. Does 10 divide t?
False
Let a = 62 - 58. Let w(r) = 182*r**3 + 3*r**2 + 4*r - 3. Let g be w(3). Is 16 a factor of -1 + a/6 + g/27?
False
Let b = 206 - 160. Suppose -h = -u + 50 + b, 0 = u - 2*h - 92. Does 20 divide u?
True
Suppose 20 = -6*l + l, u + 5*l = -20. Suppose -3*r + 279 = 3*m - u*r, -r + 1 = 0. Is m a multiple of 17?
False
Let a be (1 - -3)/(-12)*-228. Let r = 45 + a. Is r a multiple of 6?
False
Suppose 5*s + 21 = 6, 3*s + 449 = j. Does 10 divide j?
True
Suppose -2*k + 18127 = 5*w + 6256, 3*k - 17784 = -3*w. Is k a multiple of 19?
False
Suppose -274*n = -279*n + 19215. Does 9 divide n?
True
Let y = -3716 - -5756. Does 15 divide y?
True
Let o be 3/(-4) - 11625/100. Let w = -34 - o. Is 9 a factor of w?
False
Let s(b) = b**3 - 21*b**2 + 232*b + 163. Does 10 divide s(14)?
False
Suppose 4*t - 6*t - d + 5 = 0, 10 = 2*d. Suppose -29*c + 26*c + 276 = t. Does 23 divide c?
True
Suppose 10*z = -61*z + 4*z + 646416. Does 72 divide z?
True
Let a = -186 - 34. Let o = a + 282. Is 6 a factor of o?
False
Let q = -53986 - -79677. Is q a multiple of 164?
False
Let m(t) = -t**2 - 9*t - 6. Let r be m(-3). Let c be -2 - (-3)/(r/1924). Suppose -c = -2*w - 59. Is w a multiple of 35?
True
Let f be 4/10*(16 - 1). Suppose -18*n = -f*n - 72. Suppose -n*p + 9*p = 12. Is p a multiple of 4?
True
Suppose -25*j + 4715 = -33585. Let t = -903 + j. Is 9 a factor of t?
False
Suppose -39285 = -3*m + z + 7115, -3*m - 2*z = -46394. Is 42 a factor of m?
False
Suppose -191 - 149 = -4*n. Suppose 109 = 5*g - s, -5*g - s - 4*s + n = 0. Suppose 2*d - 17 - 19 = -y, 0 = d - y - g. Is 8 a factor of d?
False
Suppose -4*f = -n - 24, -3*f + 3*n - 47 = -8*f. Let j(t) = 13*t**2 + 4*t - 2. Is 51 a factor of j(f)?
True
Let t = -2550 - -6950. Is t a multiple of 22?
True
Let p(j) = 4481*j + 21. Let d be p(1). Suppose 2673 + d = 7*m. Is m a multiple of 15?
False
Suppose -11*v = -3*v - 24. Let i = 2 + v. Suppose 0 = -3*d + i*d - 48. Is d a multiple of 24?
True
Suppose 5*k = -2*p + 6, -4*p + 2*p + 6 = -2*k. Suppose 6*y + 4*y - 1160 = k. Suppose y = 4*o - 5*g, -2*g - 20 = -o - 3*g. Does 3 divide o?
True
Let x(z) = z**2 + 12*z - 12. Let u be x(-13). Let v(r) = 68*r**3 + 5*r**2 - 3*r + 2. Let a(g) = -g**2 + g - 1. Let j(k) = 4*a(k) + v(k). Does 10 divide j(u)?
False
Let f(k) = -5*k + 22. Let t be f(5). Is 17 a factor of (-7 - 226)/(-1) - t?
False
Let r = -390 + 388. Is 33 a factor of (138/(-24))/(r/48)?
False
Let x = -573 + 927. Suppose -2*h - 57 = 4*g - 411, 2*h + 2*g - x = 0. Is 10 a factor of h?
False
Is 49 a factor of ((70760/80)/61)/(2/1076)?
False
Suppose r - 2*o = 5338, -1440 = r - 10*o - 6770. Does 4 divide r?
True
Let x = 295 - 183. Let c be x/21 + (-1)/3. Suppose -20 = c*u - 7*u. Is u a multiple of 10?
True
Does 41 divide (-7 - 423/(-63))*-1 - (-21285)/7?
False
Suppose 0 = -2*k + 3*f + 79894, 3*k - 64*f + 65*f - 119841 = 0. Does 43 divide k?
True
Is 6 a factor of ((-30)/15)/((-8)/(-12)) - -1851?
True
Let o(d) = 29*d**2 - d - 2. Let r be o(2). Let m = 202 