ltiple of 49?
True
Let f be 17/(-1) + -3 + 6. Does 10 divide 35/f*152/(-10)?
False
Let i = -847 + 1339. Is i a multiple of 9?
False
Suppose 5 = 5*h + 10. Let g be (h - 164/(-6))*3. Is ((-2)/(-2) + 0)*g a multiple of 27?
False
Let x be 30/(-5)*2/(-4). Suppose -x*v + 160 = -0*v + 5*q, -4*q = -v + 42. Is 25 a factor of v?
True
Let q(s) = -151*s - 270. Is 21 a factor of q(-4)?
False
Suppose 0*r + 23 = r. Let q = r - 19. Suppose 3*g = -5*n + q*g + 534, 2*n - 224 = 3*g. Does 34 divide n?
False
Let x = 16 - 13. Suppose -4*n + 30 = 3*s, 4*s - x*n - 21 = -s. Suppose -o + 2 = -3*d - 10, -s = -2*d. Does 7 divide o?
True
Let c = 51 + -86. Let m be (-18)/99 - c/11. Suppose m*o - 165 = 15. Is o a multiple of 15?
True
Suppose 11*w - 13*w - 3*f = -1125, 0 = -5*f - 5. Does 7 divide w?
False
Let h(a) = 4*a + 18. Let u be h(0). Is 6/u - (-226)/6 a multiple of 19?
True
Let d be 0*1/(-3) - -2. Let q be 1130/15 - 2/6. Suppose 3*o + q = 5*z + 6, -2*z + d*o = -26. Does 15 divide z?
True
Let r(o) = 5*o**2 - 7*o - 234. Is r(-14) a multiple of 10?
False
Let p = 223 - 156. Is p even?
False
Let o(a) = -8*a**3 - 2*a**2 + 4*a + 2011. Is o(0) a multiple of 21?
False
Suppose p - 18 = -5*p. Is 17 a factor of (p/(-2))/((-6)/204)?
True
Let v(s) be the third derivative of -s**5/3 + s**4/8 - 2*s**3/3 + 5*s**2. Let z be v(2). Let h = z - -122. Is h a multiple of 22?
True
Suppose 0 = -4*b - 5*t + 2831, -4*b + 1968 = 4*t - 860. Does 33 divide b?
False
Suppose -6187 = -3*o + 5*l, 3*o = l + 2709 + 3482. Does 24 divide o?
True
Is 48 a factor of (-176)/(-24)*222 - -4?
True
Let p(w) = 9*w**2 - 14*w - 2. Is 8 a factor of p(6)?
False
Suppose -102 = -6*t + 3*t. Suppose 0 = 4*w + 42 + t. Is w/(1 + -1 + -1) a multiple of 7?
False
Let r(h) = 41 - 11*h - 3*h**2 + 14*h**2 + h**3 - 53. Does 26 divide r(-6)?
True
Suppose 41*v + 95 = 46*v. Does 2 divide v?
False
Let r = 253 + -83. Suppose -2*d + 2*i + 48 = 0, -5*d = -0*d + 5*i - r. Is 4 a factor of d?
False
Let g be 8 - -2*4/8. Let a be 96/18 + 6/g. Does 18 divide 162/a*4/3?
True
Suppose 4*c = -0*m + 2*m - 932, 5*m - 5*c = 2320. Does 58 divide m?
False
Let g(z) = z**3 + 25*z**2 + 37*z - 64. Is g(-23) a multiple of 11?
True
Is 14 a factor of -168*(19/4 + -8)?
True
Let y = -647 - -4265. Suppose 14*o - 778 - y = 0. Does 23 divide o?
False
Let z(b) = -11*b**3 + 11*b**2 + 12*b**3 - 13 - 18*b**2 - 3*b. Is 3 a factor of z(8)?
True
Let j = 32 + -49. Let m = j - -20. Suppose 3*o - 3*k = 78, -6*k = -m*o - 2*k + 74. Is o a multiple of 6?
True
Suppose 12 = -9*u + 11*u. Suppose 432 = -u*y + 10*y. Is 27 a factor of y?
True
Suppose 37*p = 42*p - 5765. Does 112 divide p?
False
Let g = -4 - -8. Suppose 3*d = -g*d - 21. Let a(k) = -25*k - 5. Is 14 a factor of a(d)?
True
Suppose -5*n + 0 + 30 = 0. Let t(q) be the first derivative of 3*q**2/2 - 4*q - 17. Does 3 divide t(n)?
False
Suppose -5*s + 2*s - 30 = 0. Let r = 31 - s. Does 16 divide r?
False
Suppose 0 = c - 4*j - 137, 2*c = 4*j + 316 - 26. Does 17 divide c?
True
Let k(h) = 15*h**3 + 2*h - 1. Let u be k(1). Suppose u*m = 11*m + 1035. Is 15 a factor of m?
False
Is 30/(-4)*(0 - (-630)/(-7)) a multiple of 18?
False
Let q(i) be the first derivative of -i**4/2 - i**3/3 - i**2 - i - 18. Let z be (-18)/10 - 1/5. Is 5 a factor of q(z)?
True
Let a = 493 - 454. Does 13 divide a?
True
Let i(r) = r - 5. Let c be i(10). Suppose -c*s = -s - 32. Is s/1 + (4 - 2) a multiple of 4?
False
Let u = 22 - -308. Is u a multiple of 22?
True
Let c(k) be the second derivative of k**3/2 + 7*k**2/2 - 4*k. Let j be c(-3). Is ((-20)/15)/(j/150) a multiple of 20?
True
Let a(y) be the first derivative of -y**4/4 + 8*y**3/3 + 11*y**2/2 - 19*y - 15. Is a(8) a multiple of 13?
False
Suppose -5*d = 4*t + 298 - 797, 4*d = 5*t + 432. Does 6 divide d?
False
Let p be ((-420)/(-15))/(2/4). Suppose -5*r + p = -3*r. Is 30 a factor of (26 + 1)/(21/r)?
False
Let z(p) = 4*p**2 - 6*p + 125. Does 9 divide z(16)?
True
Let k(n) = 2*n**2 + 8*n + 7. Let p(y) = y - 6. Let v be p(0). Does 10 divide k(v)?
False
Let p(u) = 5*u**2 - 10*u + 21. Is 16 a factor of p(9)?
True
Let c(n) = n**2 - 7*n + 41. Let v be c(0). Suppose -40*o - 214 = -v*o. Is o a multiple of 18?
False
Let j = -29 + 20. Let b be j*((-16)/(-12) - 2). Suppose 4*l + 108 = 2*z, b*l - 2*l - 284 = -5*z. Is z a multiple of 8?
True
Is (-243054)/(-243) - (-4)/(-18) a multiple of 30?
False
Let r be -4 - (0/3 - 10). Suppose 3*t = r*t. Does 25 divide 75 + (t - (-2 + 2))?
True
Suppose -3*f - 2*f + 5580 = 0. Let d be (f/(-24))/((-1)/2). Suppose -b - w + 21 = -0*w, w = -5*b + d. Is b a multiple of 3?
True
Let o = -3 + 10. Let r be 2*(o + (-6)/2). Is 12 a factor of 201/r + (-4)/32?
False
Let s(a) = a**3 + 9*a**2 - 11*a - 6. Let u be s(-10). Suppose u*j = j + 15. Suppose 4*b + 10 = j*q - 18, -5*q + 2*b = -34. Is q a multiple of 6?
False
Let g(p) = -2*p**2 + 3*p + 19. Let f be g(6). Let s = 93 + f. Let d = 111 - s. Is d a multiple of 23?
False
Let k(m) be the second derivative of -17*m**8/6720 - m**7/1260 + m**5/120 - m**4/6 - 2*m. Let j(p) be the third derivative of k(p). Is 16 a factor of j(-1)?
True
Suppose 3*j = -12 + 3, 0 = w + 5*j + 99. Is 4/(-14) - 1116/w a multiple of 4?
False
Is 49 a factor of 16894/4 - 690/276?
False
Let f = 2 + 4. Is 19 a factor of (f - 1)/((-4)/(-76))?
True
Suppose x = -3*t + 524, 3*t - 4*x - 67 = 447. Is 3 a factor of t?
True
Suppose 0 = -423*m + 439*m - 51072. Does 8 divide m?
True
Let h(m) = m + 5. Let c(t) = -t - 5. Let i(f) = 4*c(f) + 3*h(f). Let o be i(-9). Does 19 divide (114/10)/(o/20)?
True
Is (-12775)/(-100) - (-1)/4 a multiple of 16?
True
Let q(l) = -6*l + 35. Suppose 4*h + m + 2*m = -72, -4*h + 3*m - 72 = 0. Is 34 a factor of q(h)?
False
Let a(l) = -2*l**3 - 8*l**2 - 5*l + 22. Let c(b) = -b**3 - b**2 - b - 1. Let o(m) = -a(m) + c(m). Is 3 a factor of o(-5)?
False
Let n be (-7 + 4 - 11) + 4. Is 36 a factor of 145 + (-1)/1*(n + 11)?
True
Let c be ((-1113)/6)/((-3)/6). Let n = c + -251. Is 40 a factor of n?
True
Suppose -x - 2 = 5*f - 7, 4*x = -3*f + 20. Suppose 0 = -f*s - 2*s + 44. Does 11 divide s?
True
Suppose c - 4*k + 118 = -c, 2*c + 2*k = -118. Let x = -15 - c. Does 19 divide (x - -1) + (3 - 4)?
False
Suppose -5*o - 3*c + 1366 = -1101, 5*o + 4*c = 2466. Is o a multiple of 8?
False
Suppose -5*t + v = -35, -2*t + 13 = -2*v - 1. Suppose t*z + 346 = 976. Is z a multiple of 15?
True
Let s(v) = v**2 + 5*v - 8*v + v - 6*v - 5. Let r be s(4). Let i = r + 31. Is i a multiple of 8?
False
Suppose f + 8 = 4*o + 5*f, 5*o - 19 = 4*f. Suppose -x + o*j + 35 = 0, -3*x = -2*j - 123 + 32. Is 3 a factor of x?
False
Suppose -594 - 558 = 12*r. Suppose 2*m - 233 + 36 = -y, y = 4*m + 173. Let c = y + r. Is c a multiple of 18?
False
Suppose -52*f + 2*f = -86900. Does 51 divide f?
False
Let p be (-8)/44 + (-270)/(-33). Suppose -2 - p = -5*o. Does 19 divide 742/10 - o/10?
False
Is 15 a factor of (-3185)/(-117) - 3/((-81)/(-6))?
False
Suppose 2*q + 8 - 28 = 0. Does 40 divide (-33)/22*q/(-3)*24?
True
Is 9 a factor of (-48)/(-40)*(-5)/(-3) - -1166?
False
Is (-1596)/(-98) + 4/(-14) a multiple of 16?
True
Let g be (73/(-2))/(1/2). Let o = 210 - 344. Let q = g - o. Does 7 divide q?
False
Let s(i) = i**3 + 13*i**2 + 5*i - 3. Let q be (-162)/36 + (-1)/(-2). Does 13 divide s(q)?
False
Let x be (1 + 1)/(-2) - (-24)/6. Suppose -h - 81 = -r, -4*r + h + 318 = x*h. Is 16 a factor of r?
True
Suppose 2831 = 11*n - 1954. Is 26 a factor of n?
False
Let u(f) = 5*f**2 + f - 6. Let w be u(4). Suppose 8 = -2*o, -5*n + w + 5 = -2*o. Is n a multiple of 3?
True
Let d = 7 + -5. Suppose 3*l - 11 = -d, 2*b - 4 = -4*l. Does 9 divide 132/9*(-6)/b?
False
Suppose u + 4*q - 528 = 0, -10*q - 1554 = -3*u - 7*q. Is u a multiple of 40?
True
Suppose 2*w = -w - 477. Let o = 61 + w. Let q = -64 - o. Is q a multiple of 13?
False
Let h = 136 + -133. Let f(j) = j. Let x be f(0). Suppose x*z + 4*z = -n + 45, z = -h*n + 80. Is 8 a factor of n?
False
Let v(n) = n**3 - 9*n**2 + 8*n + 3. Let w = 9 + -6. Suppose w*g = -0*g + 27. Is v(g) a multiple of 15?
True
Let n(f) = 24*f + 202. Is 35 a factor of n(33)?
False
Let j(m) = m. Let y(g) = -4*g - 2. Let l(z) = 3*j(z) - y(z). Suppose -75*v + 36 = -69*v. Is 22 a factor of l(v)?
True
Let w(v) = 14*v - 47. Let p = -3 - -13. Is 14 a factor of w(p)?
False
Let u(n) = 76*n**2 - 4*n - 16. Let c be 2/(-9) + 32/