 be p(-10). Let d = 12 + -8. Suppose -3*b + 6 = 2*q, -4*q = -d*b + u + 6. Is 4 a factor of b?
True
Suppose 54 - 18 = 2*i. Suppose 5*y - i = 37. Suppose 4*z = y*z - 336. Is 23 a factor of z?
False
Let h(l) be the third derivative of 1/6*l**3 - 1/24*l**4 + 0*l + 0 - 36*l**2. Is 2 a factor of h(-16)?
False
Let y(o) = -o**3 + 2*o**2 - 4*o + 6. Let z be y(3). Let q be 1/(-3) - 3965/z. Let h = -131 + q. Does 19 divide h?
True
Let w = 64467 + -42588. Is w a multiple of 221?
True
Let a be -70 - 1 - 0 - (-29)/29. Is 6 a factor of -3*45/27 - (a - 1)?
True
Let b(f) = -10 - 12*f - 16*f - 16 + 5*f. Is b(-3) a multiple of 5?
False
Let g be (-4 + (-1)/(-1))/(-3). Let c = 3 - g. Suppose -4*v = -c*v - 24. Does 5 divide v?
False
Suppose 49*u - 44*u + 215 = 0. Let q = -33 - u. Is 10 a factor of q?
True
Let z be (-3)/2 - (-26010)/20. Suppose 0*t + 2*t + 3*f = 530, -5*t - f = -z. Let d = -106 + t. Is 14 a factor of d?
False
Suppose 360640 = 3594*g - 3562*g. Does 115 divide g?
True
Let b(l) = l**2 + 15*l + 21. Suppose 2*q + v = -33, -4*v - 30 + 6 = 2*q. Is 5 a factor of b(q)?
True
Let s be 2862/21 + (-6)/21. Suppose -s = -f - f. Let r = f - 30. Does 38 divide r?
True
Let t = 293 - 293. Suppose -24*i + 1785 + 6615 = t. Is i a multiple of 50?
True
Suppose 3*l = -2*o + 150, -4*l - 164 = 26*o - 28*o. Is 13 a factor of o?
True
Let m(t) = -t**3 + 3*t**2 - t + 1. Let w be m(2). Suppose -w*v - 6 = -x + 18, 0 = 4*x + v - 96. Let j = x + -21. Is 2 a factor of j?
False
Let d be (-4 + 5)*14/2. Suppose 0 = -d*f + 242 + 122. Suppose 0 = -3*z - f + 376. Is z a multiple of 36?
True
Let k = 42 + -37. Suppose 157 = -3*f - k*t, 3*f - 4*t - 45 = -238. Let i = f + 99. Is 20 a factor of i?
True
Does 22 divide ((-92)/16)/(10 - (-146133)/(-14612))?
False
Let a = 4307 - -3137. Is 103 a factor of a?
False
Let r(h) = -20880*h**3 - 5*h**2 + 15*h + 18. Is r(-1) a multiple of 143?
True
Let s(k) = k**3 + 40*k**2 - 146*k - 59. Is s(-37) a multiple of 45?
True
Let f(i) = -2*i + 207*i**2 - 2 + 0*i + 4*i. Suppose 4*c - 5*l - 4 = 0, -c - 3*l - 3 = -4*c. Does 15 divide f(c)?
False
Let h be (2 - (-9 - -6))*2*1. Suppose -62 = 4*p - 258. Suppose -h = -s + p. Does 46 divide s?
False
Suppose 2*u + 5*x + 5958 = 3*u, x = -2*u + 11971. Is u a multiple of 23?
False
Let m = 5487 - 4103. Is 4 a factor of m?
True
Suppose 3*u = -3*x + 742 + 539, 4*x = 0. Is u a multiple of 7?
True
Let w = -11278 + 17398. Is w a multiple of 9?
True
Suppose 0 = o - 7 - 23. Is (520/(-15))/(5/(o/(-4))) a multiple of 24?
False
Let v be (-2)/(-3) + (-246)/(-9) + -1. Let u = v + -52. Let c = u + 43. Does 14 divide c?
False
Let n(r) = -4*r**2 - 120*r. Let u be n(-30). Suppose 0 = -4*c - 8, u = 2*w + 8*c - 13*c - 1610. Is 10 a factor of w?
True
Suppose -9*y + 10*y = 4. Suppose -k = q + 2*k + 3, q = -y*k - 3. Let l(v) = -2*v**3 - v**2 + 3*v + 1. Does 5 divide l(q)?
False
Let u = -1649 + 28770. Does 37 divide u?
True
Let o = -4476 + 8996. Suppose 0 = -5*z, 2*r + 4*z + o = 6*r. Is 15 a factor of r?
False
Suppose 4*i + m + 23 = -45, i - 5*m + 38 = 0. Let v be 66/54 - (-4)/i. Let k = v + 161. Does 10 divide k?
False
Let y = 51929 - 33944. Is 109 a factor of y?
True
Let x = -120 - -122. Let d(p) = 4*p**x - 11*p - 5*p**2 - 102 + 97. Is d(-10) even?
False
Let x(l) = 114*l - 13634. Does 22 divide x(139)?
False
Let h(i) = -81*i + 24087. Is h(0) a multiple of 93?
True
Let c = -550 - -5346. Suppose -17820 = -22*x - c. Is x a multiple of 37?
True
Let g be (12/(-7))/((-40)/2520). Suppose -g = -4*c + 264. Is 3 a factor of c?
True
Let q = 64 + -59. Suppose 80 = -5*r + o + 3*o, -5*o = -q*r - 80. Is 6 a factor of 4 - (396/(-10) + r/40)?
False
Let o be (3 + -7)*(-1 + 2/4). Suppose 0*q + 2*q + 52 = o*w, 5*w - 100 = -5*q. Suppose -5*b + w + 137 = 0. Is b a multiple of 4?
True
Suppose -7*l + 60759 + 14316 = 0. Suppose 22*o = 11*o + l. Is 17 a factor of o?
False
Suppose 0 = -2*k - s + 11, -3*s - 2*s + 28 = k. Suppose -3*q = -4*v + 853, 656 = k*v + q - 0*q. Is 16 a factor of v?
False
Let o = 8657 + 4551. Is 127 a factor of o?
True
Let h = 2017 + 116. Does 79 divide h?
True
Let z(i) be the third derivative of 1/60*i**5 + 0 - 24*i**2 + 0*i + 1/6*i**4 + 55/6*i**3. Does 15 divide z(-9)?
False
Let g = 17062 - 6344. Is g a multiple of 10?
False
Suppose -149*t + 5583756 = 297981. Is 43 a factor of t?
True
Let m = 893 + -918. Let y(z) = 3*z**2 + 9*z + 44. Is y(m) a multiple of 11?
True
Suppose 16*o + 6*o = 5896. Let g = o + -247. Does 3 divide g?
True
Suppose 2*o - 47*o - 45*o + 1693170 = 0. Does 63 divide o?
False
Suppose 6324225 = 56*a + 84*a + 19*a. Is 37 a factor of a?
True
Let x = -2 + 7. Suppose 3*g - 1 = x*l + 4*g, 0 = g + 1. Suppose l = 5*z + 129 - 609. Does 12 divide z?
True
Let i(a) = -45 - 18 + 109*a + 3 - 13*a. Is i(3) a multiple of 4?
True
Let i(h) = 2*h - 29. Let m be i(16). Suppose -a = -2*k, m*k = -4*a - 2*k + 13. Suppose 2*c + 0*f - 30 = a*f, 0 = -4*c + 3*f + 57. Is c a multiple of 4?
True
Does 30 divide (4908/5)/(18016/600 + -30)?
True
Let y(x) = 2*x**3 - 3*x**2 - 12*x - 11. Let t(a) = 5*a**3 - 5*a**2 - 24*a - 22. Let j(b) = -3*t(b) + 7*y(b). Is 34 a factor of j(-9)?
True
Let n = -503 + 3715. Is n a multiple of 11?
True
Let z(k) be the second derivative of -11*k**3/3 + 26*k**2 - 2*k - 57. Is z(-19) a multiple of 10?
True
Let c = 135 + 393. Suppose 7*a + 4*a = -c. Let p = a - -66. Is p a multiple of 12?
False
Suppose -8*k = 47 - 47. Suppose k = 5*d + i - 123 + 20, -4*i - 48 = -3*d. Does 10 divide d?
True
Let i be ((-4)/6 - -2)*1188/(-24). Let r = -53 - i. Let m = r - -79. Is m a multiple of 14?
False
Is 194 a factor of (-7176 - 2)*(4 - -1*(-5 - 0))?
True
Let z(h) = -4*h**2 - 24*h + 7. Let q be z(-6). Suppose 0 = -v - q*v + 32. Suppose 0 = v*s - s + u - 40, -2*s - 4*u + 30 = 0. Is 2 a factor of s?
False
Let b = -281 - -284. Suppose 3*s = -5*l + 31, -s - 19 = 2*s - 5*l. Suppose -s*k = 2*w - 56, -w + 30 = -0*w + b*k. Is 27 a factor of w?
True
Is 1/((-9)/(-7923)) - (-10)/6 a multiple of 8?
False
Suppose -2*u - 3408 = -2*k, 14*u - 10197 = -6*k + 11*u. Is k a multiple of 3?
True
Let b(s) = -5*s + 4. Suppose 2 = 2*z + 4. Let x be b(z). Suppose -7*q - 132 = -x*q. Does 15 divide q?
False
Suppose -3*t = t - 4*w - 4, 3*t - 8 = -2*w. Suppose 2*p + t*l = 606, 278 = p - l - 3*l. Let v = 435 - p. Is v a multiple of 20?
False
Let u(l) = -5*l + 8. Let f be u(3). Does 20 divide -15*f/(28/20)?
False
Suppose -1347 = -4*n + 3*s, 3*s = 4*s - 3. Let h = 699 - n. Is h a multiple of 12?
True
Let p = 1 + -163. Let u = p + 538. Is u a multiple of 8?
True
Let j(d) = 1. Let g(v) = -v**2 + 9. Let o(i) = -g(i) + 2*j(i). Let k be o(3). Suppose -20 - 10 = -k*l. Is 5 a factor of l?
True
Let o(q) be the second derivative of q**4 - 13*q**3/6 - 7*q**2/2 + 6*q - 1. Does 5 divide o(-4)?
False
Let x be ((-90)/20)/(6/(-8)). Suppose 0 = 4*o - v - 17, x*v - v = o - 28. Suppose -o + 19 = 2*f. Is f a multiple of 4?
True
Suppose 3*d + 5*q = 15856, 4*q - 11 - 9 = 0. Does 69 divide d?
False
Let a(n) = -38 + 2 - n**2 + 22*n - 35*n + 2*n**2. Is a(18) a multiple of 6?
True
Let f(m) = 728*m**2 - 8*m - 19. Is 38 a factor of f(-2)?
False
Let u(p) = -p**3 + p**2 - 1. Let t(x) = 3*x**3 + 7*x**2 - 4*x - 23. Let w(b) = -t(b) + u(b). Is w(-4) a multiple of 10?
False
Let k(i) = -2*i**3 - 106*i + 9312. Does 96 divide k(0)?
True
Suppose 0 = 2*v - 0*v - 262. Let q = 135 - v. Suppose 2*l + 144 = q*l. Is 18 a factor of l?
True
Let p be 1 + 3 - 6/2. Let f(y) = -12*y. Let l be f(2). Is 15 a factor of (-1660)/l - p/6?
False
Let n = 197 + -203. Is 3/n*-5*436/2 a multiple of 69?
False
Does 21 divide ((-716)/(-6))/(7 + 1339/(-195))?
False
Let w(s) = s**3 + 19*s**2 + 16*s + 21. Let o(z) = -5*z - 9. Let l be o(-6). Suppose 4*p + l = -51. Does 21 divide w(p)?
False
Let m = 51 + 82. Let k = m + -81. Suppose b - k - 29 = 0. Does 10 divide b?
False
Let z = 3300 + 11507. Is 67 a factor of z?
True
Suppose 5869 - 1468 = g. Does 15 divide g?
False
Suppose -5*c = d - 115730, -126*c + 123*c + 69460 = 5*d. Is c a multiple of 15?
True
Does 7 divide (3 - (2 - 4))*2103*(-68)/(-255)?
False
Let w(j) = -j**3 - 9*j**2 - 2*j - 18. Let v be w(-9). Let d be (4 - 4) + v + 377. Suppose y + d = 4*s, -37 = -4*s + 5*y + 344. Is 25 a factor of s?
False
Let u be (5 + (-19)/3)*(-15)/2. Let r be -366*(2 + u/(-4)). Does 47 divide 4 - (0 - (1 + r))?
Tr