 + 221. Is j a multiple of 21?
True
Suppose 14*a = 6452 - 208. Does 20 divide a?
False
Suppose -h + 5*h = -232. Let s = h + 63. Is s a multiple of 3?
False
Let p = -308 - -442. Let d = p + -7. Is d a multiple of 48?
False
Is 74 a factor of 8/3*87690/40?
True
Let s(k) = k**2 - 5*k + 2. Let i be s(5). Let h(z) = -z + 5 + z**i - 4*z + 6*z. Is h(-4) a multiple of 7?
False
Let h = -84 + 220. Let f = h - 14. Let a = f + -87. Is a a multiple of 19?
False
Suppose 5*h = n + 959, -6*n = -h - 3*n + 189. Does 24 divide h?
True
Let w be 124/(-1*(3 - 2)). Is 10 a factor of ((-1)/((-6)/w))/(108/(-810))?
False
Let p(g) = -5*g**3 - 11*g**2 - 11*g + 45. Is p(-8) a multiple of 22?
False
Suppose 27*x = 24*x + 1131. Is x a multiple of 13?
True
Let w(p) = -p**2 - p + 1. Let a(l) = 54*l**2 - 4*l + 3. Let o(k) = a(k) - 2*w(k). Is o(1) a multiple of 11?
True
Suppose o = 2*o + 9. Let d = 16 + o. Suppose -r + d = -0*r. Is r even?
False
Let c = 350 + -137. Is c a multiple of 21?
False
Suppose -3*j + 0*j - 504 = -2*o, -4*j + 476 = 2*o. Is 17 a factor of o?
False
Is 4/10 - 2623*(-6)/30 a multiple of 32?
False
Let r(s) be the first derivative of -11*s**2/2 + 3*s + 16. Is r(-2) a multiple of 5?
True
Let a = -11 - 17. Let i = 31 + a. Is i a multiple of 3?
True
Suppose 0 = 2*c - v - 1264, -7 + 23 = -4*v. Is 14 a factor of c?
True
Let k be 5*6*300/45. Let n = 9 + -3. Suppose -k = f - n*f. Is f a multiple of 20?
True
Let t(m) = 7*m - 2. Let n be t(1). Suppose n*o = 2*l + l - 35, 3*l = -5*o - 5. Suppose -2*i - 126 = -l*i - 3*y, y = 5*i - 222. Is i a multiple of 22?
True
Suppose 29 = -4*o - u, 4*o + u = 4*u - 9. Is (-54)/(-4) + 3/o a multiple of 3?
False
Let j be (-310)/(-75) + 4/(-30). Suppose 3*q - j*b = -0*b + 59, -40 = -2*q + 3*b. Does 17 divide q?
True
Suppose -5915 = -16*u + 3*u. Suppose 3*f - 304 - u = 0. Is f a multiple of 19?
False
Suppose 0 = 17*s - 13*s. Does 8 divide (s - -3 - -1) + 7?
False
Let y be 728/39 - 1/(-3). Suppose -5*x + 5*u - 42 = 8, -x - y = 2*u. Let k(n) = n**2 + 11*n + 12. Is k(x) a multiple of 16?
False
Suppose 4453 = t + 10*q - 15*q, -8966 = -2*t - 5*q. Is 14 a factor of t?
False
Let h = -1 + -1. Let l be (-8)/h + 2 + -2. Is 130/l - (-9)/18 a multiple of 19?
False
Let y(a) = a**3 + 12*a**2 + 10*a - 3. Let x be y(-11). Let m(r) = x*r**2 + 5*r - r**3 + 0*r - 5 + 0*r. Is m(5) a multiple of 21?
False
Let x(t) = 4*t**2 + 28*t + 56. Is 4 a factor of x(-9)?
True
Is 53 a factor of (-255)/(-68)*120/5?
False
Suppose 25*m + 9168 = 2*d + 20*m, -13763 = -3*d + 2*m. Is 13 a factor of d?
True
Let w be 595/(-42) + 2/12. Let z = w - -34. Is z a multiple of 14?
False
Let v = -3517 + 5749. Is v a multiple of 12?
True
Suppose 4*b + 4*r - 1496 = 0, -5*b - r - r + 1864 = 0. Suppose -134 = -h - 2*g + 4*g, 0 = -3*h - 4*g + b. Is h a multiple of 16?
True
Let a(w) = 2*w**3 - 56*w**2 + 58*w - 9. Is 76 a factor of a(28)?
False
Suppose -4*i + 0*i - 3*u = 153, -2*u = -3*i - 119. Let f = i - -44. Is f a multiple of 5?
True
Suppose -2*j = -4*j - 20. Let g(u) = -u**3 - 11*u**2 - 15*u - 8. Is g(j) a multiple of 14?
True
Let r = 277 - 197. Suppose 0 = -8*k + 12*k - r. Is 12 a factor of k?
False
Let z(v) = 4*v + 120. Let y be z(-24). Let s = -412 - -284. Does 14 divide s/(-3) + (-16)/y?
True
Let l be (2 + (-94)/4)*4. Let o = -52 - l. Is 17 a factor of o?
True
Suppose 16*k - 1994 - 2022 = 0. Does 19 divide k?
False
Let x(m) = -m**3 - 6*m**2 - 5*m + 6. Let n be x(-5). Suppose 8 = b + n. Suppose -b*p = -p - 4*s - 65, -5*p + 3*s = -308. Is 10 a factor of p?
False
Let j be -12*(3/(-4))/1. Let t = 59 - 49. Suppose -t*r + j*r = -65. Does 13 divide r?
True
Suppose 5*c - 5 = 5*k, 5*c + 4*k = 2*k - 16. Let o be (-776)/(-16) + (-1)/c. Let h = o - -21. Is h a multiple of 14?
True
Let f be (-1*3)/(21/(-35)). Let k(m) = 12*m - 8. Is 14 a factor of k(f)?
False
Is 7 a factor of (-17 + 1)/((-54)/(-7) - 8)?
True
Suppose -2*t = -2*n + 214, -2*n - t = -5*t - 224. Is -2 - n/(-6) - 3/(-1) a multiple of 3?
True
Let p = -16 + 17. Let l be p/((-4)/(-24)) - 3. Suppose -l*b = -4*b + 28. Is b a multiple of 14?
True
Let c(w) = 11*w**2 + 2*w + 1. Let b be c(-1). Let i = 15 - b. Suppose -o - 2*o - 15 = 0, i*u = 3*o + 190. Does 10 divide u?
False
Let r(s) = -8*s - 3. Let m(j) = -15*j - 7. Let g(t) = 3*m(t) - 7*r(t). Is 11 a factor of g(2)?
True
Let s(c) = -13*c - 3. Let a be 624/(-102) - 2/(-17). Let r(l) = -l**2 - 6*l - 2. Let z be r(a). Does 14 divide s(z)?
False
Let o be (-3)/(42/16 - 3). Suppose 2*b - 9 = -s, b = -o*s + 4*s + 15. Suppose -s*m = -0*m - 45. Is m a multiple of 5?
True
Let z(d) be the third derivative of d**6/120 - d**5/12 + 5*d**4/24 - d**3 - 8*d**2. Suppose -u + 15 = 2*u - b, 0 = -2*b. Is z(u) a multiple of 8?
False
Let b = 14 + -24. Is (-174)/b - (-8)/(-20) a multiple of 17?
True
Suppose 3*k + 5 = 29. Let h be 6 + -1 - 24/k. Does 5 divide h/(-9) + 460/45?
True
Let q be -126*(-10)/45*3. Suppose 4*s = -3*k + 577, 4*s + 533 + q = 3*k. Is 9 a factor of k?
False
Let s(g) = -4*g - 22. Suppose 3*u = 4*n - 5 - 22, 2*u + 4*n = -18. Does 9 divide s(u)?
False
Let w = 14 + -6. Let q = 11 - w. Suppose 0 = 4*i - 3*n - 134 - 29, -2*i + 83 = -q*n. Is 20 a factor of i?
True
Suppose -y = 2*f - 25, 5*y + 3*f - 50 - 47 = 0. Suppose 15*u = y*u - 218. Is 21 a factor of u?
False
Let g(v) = 19*v - 5. Let l be g(5). Suppose r = 3*a - l, 3*a + 3*r - 90 = -0*r. Does 24 divide a?
False
Let q be (-35)/10*(1 - 3). Let x = 19 - q. Suppose -4*b + x = -76. Is 4 a factor of b?
False
Suppose -9 = 4*v - 3*v. Let m = 14 + v. Suppose -5*j + 4*j = 0, m*j = 3*r - 36. Does 2 divide r?
True
Let b = -315 - -183. Let q = 22 + b. Is 11 a factor of ((-2)/4)/(5/q)?
True
Let n(l) be the third derivative of l**8/20160 + l**7/1680 - l**6/180 + 7*l**5/60 + l**2. Let y(w) be the third derivative of n(w). Is 3 a factor of y(-5)?
True
Does 31 divide (-60)/(12/(-186) + 0)?
True
Does 48 divide -1 - -487 - (6 - 0)?
True
Suppose -4*k = 47 - 291. Is 12 a factor of k?
False
Let s(d) be the third derivative of d**5/60 + d**4/2 + 7*d**3/6 - d**2. Let a(f) = -f**2 - 12*f - 7. Let p(m) = -2*a(m) - 3*s(m). Does 2 divide p(-11)?
True
Let m = 238 + -216. Is 15 a factor of m?
False
Let j(n) = -4*n - 1. Let p be 8/14 - (-306)/(-21). Is j(p) a multiple of 13?
False
Suppose 2*y = -2*c + 27 + 27, -5*c + 132 = 4*y. Is c a multiple of 3?
True
Suppose 5*p + 456 = p. Let z = -163 - -2. Let h = p - z. Does 34 divide h?
False
Suppose f + 3 = 0, -l + 5*l + f - 1033 = 0. Is l a multiple of 37?
True
Suppose -3*t + 8 + 3 = -5*x, 0 = -5*x - 5. Let z(q) = -q**3 - 14*q**2 + 18*q - 10. Let h be z(-15). Let m = t - h. Is m a multiple of 21?
False
Let x = 129 + -69. Suppose -16*r + 14*r + x = 0. Is r a multiple of 14?
False
Let y = 0 - 0. Suppose p = 5*t + 40, 2*p + y*p - 3*t = 73. Let l = p - 17. Is 18 a factor of l?
True
Suppose -3*j + 5*j - 32 = 0. Suppose 0 = -12*o + j*o - 488. Suppose 0 = -4*w - 3*i + 134, -3*i = -w - 3*w + o. Is 20 a factor of w?
False
Suppose 10*p = 528 + 6102. Does 11 divide p?
False
Let w(u) be the second derivative of -u**4/12 - 4*u**3/3 - 11*u**2/2 + 20*u. Is w(-4) a multiple of 5?
True
Let c(s) = -462*s**3 - s**2 - 2*s - 1. Is 33 a factor of c(-1)?
True
Suppose -3*k - 3*h = 6, 4*h = 2*k - 27 + 1. Suppose -4*l = k*b - 36 - 101, l + 73 = 2*b. Is 27 a factor of b?
False
Let x = 157 + -149. Is x a multiple of 2?
True
Let n(w) = w**3 + w**2 - w + 4. Let z be n(0). Suppose 19 = z*s - 65. Let b = -15 + s. Is b a multiple of 6?
True
Suppose -4*l - 18 = 50. Let t = l + 74. Does 19 divide t?
True
Let r(c) = -c**3 - 9*c**2 - 9*c - 5. Let y be (-4)/(-6)*81/(-6). Is 12 a factor of r(y)?
False
Is 18 a factor of 1649 + (-1)/5*5?
False
Is (795/25)/(2/90) a multiple of 27?
True
Let f = 133 - 133. Let o(t) = -t**2 - 7*t - 6. Let w be o(-4). Suppose v + 0*v - w = f. Is v a multiple of 6?
True
Let w(j) = -10*j**2 - 5*j - 2. Let p be w(-5). Let b = 347 + p. Is 13 a factor of b?
False
Does 8 divide 556 + (-1)/((-7)/21)?
False
Let u(x) = x**3 - 5*x**2 - 7*x + 10. Let h be u(6). Suppose h*p + 0*q - 473 = -q, 331 = 3*p - 4*q. Is 39 a factor of p?
True
Let t(f) = -f**3 - f**2 + 2. Let m be t(1). Suppose m = 6*y - 203 - 19. Does 8 divide y?
False
Let d be (-6112)/(-60) - 6/(-45). Let c = -61 + d. Is 4 a factor of c?
False
Suppose 3 - 1 = -5*p - 2*a, -3*p = -3*a - 3. Suppose 0 = 