(14). Is 37 a factor of s(w)?
False
Suppose -4*a + d - 342 = 0, -2*a - 2*d = 3*a + 421. Let u = -277 + 149. Let h = a - u. Is 11 a factor of h?
False
Let w be (1 - -94)/((-3)/(-15)). Suppose -w + 70 = -9*n. Is n a multiple of 9?
True
Let n = -400 + 590. Is n a multiple of 38?
True
Let i = 5447 + -3688. Is i a multiple of 42?
False
Let d = -78 - -158. Does 5 divide d?
True
Suppose 38*r + 355 = 43*r. Does 3 divide r?
False
Suppose -3*g + 11 = -1. Suppose 0 = -5*c + z, 5*c - 3*z + g = -6. Let q(t) = 3*t**3 - t**2 + 2*t - 1. Is 2 a factor of q(c)?
False
Let z = 231 + -165. Let s = -36 + z. Is 15 a factor of s?
True
Suppose -3*p + d = -29, p - 4 - 1 = 5*d. Suppose 915 = -p*y + 2605. Is 13 a factor of y?
True
Let n = -11 + 11. Let z(q) = -q**2 + 192. Let b be z(n). Suppose -2*m = -m - 2*o - 48, b = 4*m + 4*o. Is 12 a factor of m?
True
Suppose -2409 = -17*k + 3779. Is k a multiple of 14?
True
Is 50 a factor of ((-2)/(-8))/(5 - 36695/7340)?
False
Suppose -3*m - 159 = 3*g, -3*g - 5*m = 23 + 138. Let n = g + 236. Let v = -112 + n. Is v a multiple of 18?
True
Let f be 1 + 2 + 55/(-5). Let b = f - -1. Let v = b + 14. Is v a multiple of 3?
False
Suppose -16254 = 7*z - 21*z. Does 27 divide z?
True
Suppose -6*c + 2172 = 12. Is 8 a factor of c?
True
Let d = 6 + -4. Suppose 0 = g + 5*x - 3, d*x = -g + x + 7. Is g a multiple of 4?
True
Suppose -13*y - 28*y + 44608 = 0. Does 16 divide y?
True
Suppose -27*i + 31*i - 1836 = 0. Is i a multiple of 51?
True
Let f(t) = t**3 - 8*t**2 - 8*t - 3. Let n be f(9). Is (3/n)/((-5)/(-470)) a multiple of 13?
False
Suppose 0 = -5*o + 3*z - z - 144, -2*o - 62 = -3*z. Does 20 divide 1/2 - 1666/o?
True
Suppose 4*b - 2 = 6. Let w be (-2)/(-4) - (-24)/16. Suppose -w*x + 42 = -4*n, -b*x + 51 = 3*n - 4*n. Does 9 divide x?
True
Does 52 divide 495*2 + (-6 - -7)*-2?
True
Let x(p) = -p**3 - 15*p**2 - 14*p. Let i be x(-14). Suppose i = h + 4*h - 260. Does 26 divide h?
True
Let t(z) = -z**3 - z**2 + 2*z. Let o be t(0). Is 23 a factor of (1 - 0) + 6 + o + 120?
False
Is 35 a factor of -805*(-2)/(4 + (3 - 5))?
True
Let x(b) = -2*b - 24. Let s be x(-4). Let t = 34 + s. Does 6 divide t?
True
Let p be (398/10 - 1) + 2/10. Suppose -p = -m + 151. Is m a multiple of 27?
False
Suppose -279 = 9*l + 45. Is -15*((-42)/(-20))/(27/l) a multiple of 6?
True
Let p = 40 + -44. Is 10 a factor of (-2)/p + 297/6?
True
Let v be ((7 + -1)/1 - 1) + 0. Let a(o) = 4*o**2 - 8*o. Does 15 divide a(v)?
True
Suppose 5*i = -o + 5272, -4*i = -2*i + 2*o - 2112. Is i a multiple of 31?
True
Let a = -15 + 9. Let n(q) = -10*q - 4. Let i(h) = 3*h - 1. Let c(u) = 2*i(u) + n(u). Is c(a) a multiple of 3?
True
Let a(c) = c + 4. Let l be a(6). Let q = -3 - -3. Suppose -g + l + 3 = q. Does 4 divide g?
False
Is 101 a factor of 4 + (-3 - -2) - -2293?
False
Suppose 12*p = -116 + 404. Does 3 divide p?
True
Let d = 964 + -262. Is d a multiple of 16?
False
Let f = -327 - -407. Does 9 divide f?
False
Let b(f) = 2*f**2 - 2. Let n be b(-2). Let y(z) = -z + 3. Let r be y(1). Suppose -n = -r*l - 2. Is l a multiple of 2?
True
Suppose 2*i = -3 + 11. Let y be ((-30)/i)/((-12)/32). Suppose -r = r - y. Is 3 a factor of r?
False
Let m(y) = -8*y + 40. Suppose 0 = 3*b + 27 + 3. Is m(b) a multiple of 16?
False
Suppose r = -4*r + 75. Let p = 17 - r. Suppose 0*d + 5*i = -p*d + 116, d - 32 = 4*i. Is 16 a factor of d?
True
Let w(j) = 27*j**2 - j + 3. Suppose -4*m + 24 = 4*g, -5*m - 3*g = -21 - 3. Let v(t) = 26*t**2 - t + 2. Let u(n) = m*v(n) - 2*w(n). Is 11 a factor of u(1)?
False
Let y(p) = 60*p + 45. Is y(6) a multiple of 22?
False
Suppose -15*r + 9 = -12*r. Suppose r*g - 70 = -i + 93, -4*g = -5*i - 211. Does 5 divide g?
False
Suppose 0 = 20*j - 7*j - 9620. Is 37 a factor of j?
True
Is (-3272)/(-18) - -8*(-5)/(-180) a multiple of 24?
False
Let y be 3 - (3 + 2/(-1)). Suppose -5*b = y*c + 3*c - 110, -c = 3*b - 28. Is 2 a factor of c?
False
Suppose 5*n - 189 - 1421 = 0. Is n a multiple of 29?
False
Let t(f) = 3*f + 2. Let b(d) = -2*d - 2. Let i(y) = 5*b(y) + 4*t(y). Let c be i(2). Suppose -q + 20 = c. Does 9 divide q?
True
Suppose -3*v = -5*v + 2. Is v/((-20)/(-8)) + 472/20 a multiple of 6?
True
Is 3 a factor of ((-442)/51)/((-1)/6)?
False
Let m = 50 - 92. Let l = -175 - m. Let s = -93 - l. Is s a multiple of 20?
True
Suppose 3*z = g + 227, 4*g = 4*z - g - 299. Let h(d) = -40*d + z*d - 37*d + 9. Is 2 a factor of h(4)?
False
Is (-264)/(-484) - (-50060)/22 a multiple of 11?
False
Let b(d) = d**2 + 12*d - 32. Does 5 divide b(-16)?
False
Let d = -10 + -40. Suppose -13*a + 4*y - 20 = -10*a, 0 = 3*a + 4*y + 4. Let j = a - d. Does 19 divide j?
False
Suppose -i = 2*v - 12, 0*v = -4*v - 4*i + 32. Suppose -v*u = -694 + 226. Is u a multiple of 8?
False
Let a(k) = 4*k**3 + k**2 - 3*k + 2. Let j be a(1). Suppose 4*c + 352 = p + 74, j*c = 4*p - 1148. Is p a multiple of 58?
True
Let h be (2 - (-2116)/22) + 10/(-55). Let i = -57 + h. Is i a multiple of 2?
False
Let h(c) = -c**3 - 5*c**2 + 7*c + 4. Let f be h(-6). Let y be ((-84)/49)/(f/(-14)). Is 6 a factor of 65/2*y/(-10)?
False
Does 43 divide 9457/9 + 28/126 - 0?
False
Suppose 2*j + 38 = 6*j + 2*z, -2*z + 11 = j. Is 273/j - (-1)/(-3) a multiple of 15?
True
Suppose 0 = -20*l + 714 + 526. Is 47 a factor of l?
False
Let c be (-3*(-6)/(-36))/(1/(-2)). Does 3 divide 6/(6/19) - c?
True
Let u(a) = a**3 - 5*a**2 - 4*a - 9. Let b be u(6). Suppose 4*d + x = -3*x + 52, b*d - 40 = -4*x. Is 8 a factor of d?
False
Let c be (-42)/(-4)*(-14)/21. Does 27 divide 28 - (4/c + (-88)/(-56))?
True
Let l(n) = 3 - 17*n - n**2 + 0*n**2 + 23*n. Let t be (-2)/(-4) + (-9)/(-2). Does 3 divide l(t)?
False
Let k = -41 - -48. Let n(f) = -4*f**3 + 2*f**2 - 2*f. Let l be n(-3). Suppose -k*x + 3*x + l = 0. Does 33 divide x?
True
Let c(n) = 2*n**2 - 15*n. Let v be c(8). Suppose 15*k = 11*k + v. Does 2 divide k?
True
Let y = 877 + -437. Is y a multiple of 14?
False
Let o = -6 - -13. Is 3180/28 + 3/o a multiple of 12?
False
Let u(n) = -n**3 + 4*n - 4. Let y be ((-40)/(-15))/(8/(-12)). Does 22 divide u(y)?
True
Let s(w) be the first derivative of -2 + 12*w - 1/2*w**2. Does 4 divide s(5)?
False
Let t(h) be the second derivative of 2*h**3 - 13*h**2/2 - 5*h. Does 9 divide t(4)?
False
Let b(w) = 6*w + 9. Let c be 5/9*21*3. Suppose -5*k = j - 32, -5*j + 6 = -2*k + c. Does 17 divide b(k)?
True
Let l(s) = s**3 + 3*s**2 - s - 1. Let o be l(-3). Suppose -5*r - k + 114 = 0, -3*r + o + 80 = 4*k. Suppose 10*g = 9*g + r. Does 22 divide g?
True
Suppose -4*g - 2*a + 5*a + 1489 = 0, -3*g - a = -1107. Does 16 divide g?
False
Let c = 491 + -256. Is c a multiple of 6?
False
Does 4 divide 40/(-180) + 1694/9?
True
Let n = 2 - -12. Suppose 2*x - n = x. Does 2 divide x?
True
Suppose -20 = -2*v - 3*v. Suppose v*x - 374 = -7*x. Is x a multiple of 7?
False
Let n(p) = -p**3 + 0*p**3 - 5*p**2 - 4*p - 5 + 6. Let i be n(-3). Is 19 a factor of -4 - -1 - i - -34?
False
Let l be (-2 + 45)*-1 - -1. Let f = l + 94. Let z = f - 35. Is z a multiple of 8?
False
Let j(a) = -5*a + 1. Let n be j(2). Let g(d) = d. Let r(k) = -k - 13. Let l(t) = -2*g(t) - r(t). Is 16 a factor of l(n)?
False
Suppose -3610 = -0*a - 10*a. Does 21 divide a?
False
Suppose 0 = -3*f + 13 + 2, -2*f = -3*x + 2. Is x a multiple of 2?
True
Let z(s) = -s + 4. Let t be z(2). Suppose -12 = t*f - g + 3, 5*f + g = -34. Let j = 19 + f. Is j a multiple of 7?
False
Let b(c) = -4 - 11*c - 4 + 2*c**2 + 14. Let m be b(5). Is 18 a factor of 2 - -17 - (m + 0)?
True
Suppose -4*j + 17676 = -2*b, 17684 = 4*j + 15*b - 13*b. Is 20 a factor of j?
True
Suppose -11*k + 728 = 2*k. Does 7 divide k?
True
Is 17 a factor of ((-39)/4 + 4)/((-5)/700)?
False
Is (-3036)/10*(-50)/20 a multiple of 65?
False
Suppose -79*c - 61*c + 171360 = 0. Is c a multiple of 17?
True
Let b(l) = 3*l**2 - l + 37. Is 6 a factor of b(0)?
False
Let c = -100 - -330. Is 7 a factor of c?
False
Let c = 1114 + -732. Let n = -238 + c. Does 48 divide n?
True
Let t be (-1 - -1)/(1 + 0). Suppose 22 = -2*p + 28. Suppose v - 2*d - 12 = t, p*v + 0*v - d - 56 = 0. Does 6 divide v?
False
Suppose 3*p + 4003 - 714 = 2*q, 4936 = 3*q - 2*p. Is 32 a factor of q?
False
Is (18/(-45))/((-4)/5460) a multiple of 38?
False
Is 11 a factor of 4819/3 - (7 - 320/48)?
True
Let d(m) = 9*m**2 - 2*m + 129. Is d(0) a multiple of 29?
False
Suppose 5*r + 4*k = 33, 