/9)/(-1 + 2644/2640). Suppose -8*g - 6*g + j = 0. Is 4 a factor of g?
False
Let g(q) = 19*q**2 - 2*q - 1. Let z be g(-1). Let j be (-4 + 3)/(1 - 2). Is (-10)/(j + z/(-12)) a multiple of 15?
True
Let f(y) = y**2 + 6*y + 12. Let w be f(6). Suppose -t - 3 = 0, b + 4*t - w = -2*b. Is b a multiple of 32?
True
Suppose 0 = -5*b - 13*b + 8208. Is b a multiple of 6?
True
Is 6 a factor of (-837)/(-4) + ((-3)/4)/(-1)?
True
Suppose -13*d + 3033 = 797. Is d a multiple of 43?
True
Let n = -731 - -1376. Does 17 divide n?
False
Suppose 5*i = -23*i + 12936. Does 42 divide i?
True
Let t = -52 - -82. Let w = 50 - t. Does 20 divide w?
True
Let l(y) = 38*y**3 + y**2 - y + 1. Let z(j) = -43*j + 1. Let p be z(1). Let s be 14/p + 4/3. Does 8 divide l(s)?
False
Let p(a) = -8*a**3 - 4*a**2 - 4*a - 2. Let g be p(-2). Suppose -5*y + 3*y = g. Is (2/(-6) - 0)*y a multiple of 9?
True
Is (-118600)/(-260) + (-4)/26 a multiple of 38?
True
Let r(k) = -430*k**2 - k + 1. Let x be r(-1). Let y = -301 - x. Is y a multiple of 18?
False
Is (34 - 1) + 125/(-25) a multiple of 7?
True
Let j be ((-56)/35)/((-6)/(-15)). Let z(v) = -14*v - 7. Is z(j) a multiple of 6?
False
Suppose 0 = 6*t - 5*t - 4. Suppose -2*p + 0*p - 2 = 0, 0 = -t*i + 5*p + 557. Suppose 3*u - 2*k = i, 5*k - 91 = -2*u + 6*k. Is u a multiple of 16?
False
Let w(d) be the second derivative of 3*d**2 + 2/3*d**3 + 0 + 7*d. Is 13 a factor of w(5)?
True
Let h(k) = 96*k**2 - 2*k + 5. Let i be h(2). Let x = i - 264. Is 11 a factor of x?
True
Let p = 278 + 205. Is p a multiple of 15?
False
Let m(y) = 10*y**3 + 5*y**2 + 19*y - 21. Let j(b) = -7*b**3 - 3*b**2 - 13*b + 14. Let h(x) = -7*j(x) - 5*m(x). Does 4 divide h(-4)?
False
Let z(k) = 177*k**2 - k + 1. Let r be (28/8)/7 - 4/(-8). Does 26 divide z(r)?
False
Is 18 a factor of (-2)/26 - 1554309/(-1053)?
True
Is ((-48)/32)/(3*(-4)/3296) a multiple of 2?
True
Suppose 34*n - 658 = 294. Let q(p) = -p**3 - 5*p**2 + 3*p - 2. Let o be q(-5). Let s = o + n. Is 11 a factor of s?
True
Let d(h) = 2*h**2 - 23*h + 88. Is 10 a factor of d(27)?
False
Let a(t) = -t + 1. Let r(y) = y**2 - 7*y - 2. Let m(f) = -6*a(f) + r(f). Let i be m(6). Does 3 divide (i/(8/(-4)))/(-1)?
False
Let c(a) = 2*a**3 + 29*a**2 + 7*a + 1. Let z be 138/(-10) + 5/(-25). Does 11 divide c(z)?
True
Let a(h) = -11*h**3 + 2*h**2 - h - 4. Let s(c) = -11*c**3 + 2*c**2 - 4. Let u(k) = 4*a(k) - 5*s(k). Does 4 divide u(2)?
True
Suppose 10*l + 7*l - 374 = 0. Let d(v) = -v**3 + 3*v**2 - 2*v + 3. Let k be d(2). Suppose 0 = -j + 2*w + l, 4*j - w = k*j + 25. Is j a multiple of 14?
True
Suppose -5*z = 15, -65 = -2*m + z + 2*z. Let r = m + 92. Is r a multiple of 30?
True
Let x(q) = -q - 1. Let o be x(-15). Let p = o + 2. Is p a multiple of 8?
True
Suppose -4*w - 6339 = -3*y, -4*y + 4211 = 5*w - 4272. Does 22 divide y?
False
Let n = -30 - -32. Let t(o) = o**3 - 2*o**2 + 2*o - 1. Let q be t(n). Suppose q*l - 3 = 18. Is l a multiple of 2?
False
Let r be 8 - 5 - (-186)/2. Suppose -48*d + r = -47*d. Is 27 a factor of d?
False
Let i(b) = b**2 - b - 116. Is i(-27) a multiple of 4?
True
Let j(w) = 6*w**2 + 5*w - 2. Let s be 2*6*3/12. Let o be j(s). Suppose 2*p + 284 = 4*v, -4*p - o = -v - 10. Is 31 a factor of v?
False
Let t(j) = 10*j**2 - 3*j - 9. Suppose 0*h + 4 = -2*h - p, 4*h - 4*p = -20. Is 15 a factor of t(h)?
True
Let j = 10 + -10. Does 9 divide -4 - ((-36 - j) + 3)?
False
Suppose -3*p - 15 - 12 = 0. Let h be (p/(-6))/(18/60). Let k = h + 13. Does 12 divide k?
False
Suppose 3*a + 8 = r - 0*r, 5*r = -2*a - 28. Let d be ((-15)/6)/(2/r). Suppose 2*c - 6 = -c, 0 = -d*w - 5*c + 310. Does 19 divide w?
False
Let c(n) = 47*n**2 + 15*n + 30. Is c(-4) a multiple of 4?
False
Suppose -3*j = -3*d + 1401, -20*j + 17*j + 1419 = 3*d. Is d a multiple of 47?
True
Suppose 0 = -16*q + 1114 + 2838. Is q a multiple of 6?
False
Suppose -i + 38 = f, 60 = 4*f - 3*i - 57. Suppose 5*w = -2*y - 0*w + f, y = 5*w - 21. Suppose y*q - 76 = 68. Is q a multiple of 13?
False
Let g = -126 + 126. Suppose g = 2*y + 11*y - 1599. Is y a multiple of 14?
False
Let t(c) = -12*c - 8 + 4 - 7. Is 2 a factor of t(-2)?
False
Let j(g) = 2*g**2 - 21*g + 13. Let y be j(10). Suppose 2*v = 2*a + 314, -309 = -2*v - 0*v - y*a. Does 15 divide v?
False
Let m = -61 - -141. Does 10 divide m?
True
Is 7 a factor of -4*5/80 - (-342)/24?
True
Let h(w) = w**3 + 15*w**2 - 20*w - 112. Is 46 a factor of h(-11)?
False
Suppose 0 = 5*f + 108*d - 107*d - 6189, 3*f = -4*d + 3710. Does 79 divide f?
False
Let u be (-4 - -4 - 0) + 0. Suppose 0 = -5*s - 4*g + 128, 5*s + u*g = 3*g + 114. Does 12 divide s?
True
Let i(d) = -d**3 + 2*d**2 + 5*d - 1. Let g be i(4). Let u = -1 - g. Suppose 10 = y - u. Is y a multiple of 11?
True
Suppose 2*f - p = 4, -5*f + 5*p + 4 + 6 = 0. Let i be (-30)/(-4) + f/(-4). Suppose 0 = 4*z - i - 165. Does 32 divide z?
False
Let n(a) = -a**3 + 10*a**2 - 19*a + 18. Is 6 a factor of n(7)?
False
Suppose 5*y - 4*c + 27 = -4, -2*c = 5*y + 7. Is 10 a factor of -22*2/3*y?
False
Let d(j) = j**2 - 9*j + 3. Let g be d(6). Let c be 2/6 - 235/g. Let b = c + -12. Does 4 divide b?
True
Suppose -7*v - 29 = -120. Suppose -2*p - v = -41. Is 14 a factor of p?
True
Suppose -1 - 7 = -2*b. Suppose 100 = -b*w + 4. Does 16 divide (w/10)/(27/(-180))?
True
Is 2 a factor of 12 - 2/(24/(-3492))?
False
Suppose -5*q - 2*m = 2*m - 37, 2*q - m - 7 = 0. Let h be (q/10)/((-3)/(-42)). Let y = 4 + h. Is 11 a factor of y?
True
Let f(u) = -u**3 - 6*u**2 + 5. Let r be f(-4). Let g = r + 72. Suppose 3*w - g = -0*w. Is w a multiple of 9?
False
Let t = 493 - 261. Is 22 a factor of t?
False
Let p be (-313)/8*-2 - (-6)/(-24). Let j = p - 14. Is 11 a factor of j?
False
Let u(w) = -w**2 + 34*w - 25. Does 25 divide u(11)?
False
Suppose -4*v + 8 = t, -3*t = v - 5*v - 8. Let b(q) = 21*q**3 + 1. Let d be b(v). Is ((-9)/2)/((-11)/d) a multiple of 3?
True
Suppose 5*t = -d + 172, -2*d + 214 + 120 = 5*t. Suppose 0 = -2*q - q - 2*b + d, 4*b = -12. Does 8 divide q?
True
Suppose -z - 2*c + 3 = 0, 9 = 3*z - 2*c + 3*c. Suppose 3*g = -2*g. Suppose z*r - 7 - 8 = g. Is r a multiple of 4?
False
Let j be 4*-1*(-796)/8. Let a = -197 + j. Is 19 a factor of a?
False
Let f be 2*-3*(-3)/2. Let m = -312 - -316. Let r = m + f. Is r a multiple of 13?
True
Suppose -s = 3*s - 16. Suppose -4 = -s*x + 5*x, -186 = -2*r + 3*x. Is r a multiple of 16?
False
Let t(c) = c**2 - 6*c - 36. Does 55 divide t(-7)?
True
Suppose -w - n + 56 = w, -2*w = 4*n - 62. Suppose 2 = -5*x + 12. Suppose -y - x*y = -w. Does 4 divide y?
False
Let i = -46 + 46. Suppose -4*m + 59 + 409 = i. Is 13 a factor of m?
True
Let n = -44 + 53. Let h = 9 + 19. Let x = h - n. Is 17 a factor of x?
False
Let p(z) = 935*z + 435. Is 13 a factor of p(4)?
False
Let h(j) = -j**2 + 9*j + 13. Let d be h(10). Suppose d*f = l + 14, -f = 3*f - 3*l - 27. Is f a multiple of 3?
True
Suppose 6*d = -1 - 17. Does 6 divide -1*(1 + d) - -16?
True
Suppose -2*t - 737 = -13*t. Does 3 divide t?
False
Let n = 87 + -84. Is 18 a factor of 2 + 394 + (n/(-1) - -1)?
False
Suppose 1648 = -5*h + 9*h - 4*c, -3*h + 1241 = -2*c. Does 42 divide h?
False
Let l be (-1356)/(-26) - 2/13. Let n be (-2 + l)*(-6)/(-5). Does 30 divide n/(21/12 + -1)?
False
Let c be (-18)/9 - (-238 - -1). Suppose -265 - c = -5*i. Let s = -33 + i. Does 10 divide s?
False
Let w = -52 + 86. Suppose 5*l = 2*o + w - 120, -43 = -o + l. Does 23 divide o?
False
Let f be (2/(-4))/(15/30). Is 14 a factor of f + -1 + 2 - -56?
True
Let c(f) = -5*f**3 - 7*f**2 - 6 - 10*f + 14*f**2 + 6*f**3 + 3*f. Suppose -r - 15 = 4*l - l, 0 = 2*l - 2*r + 18. Does 21 divide c(l)?
False
Let i = -246 + 828. Is i a multiple of 28?
False
Let f = -27 + 71. Suppose 48 = -2*h - 2*n + 6*n, 0 = 2*h - 2*n + f. Does 24 divide (-105)/(-14)*h/(-3)?
False
Suppose 5*f + 51 = 191. Does 4 divide 174/(-4)*f/(-42)?
False
Suppose 2*j - 310 = 4*q, 5*j + 3*q + 154 = 6*j. Let a = j + -37. Does 24 divide a?
True
Let t be (-206)/14 + (-4)/14. Let y be (-80)/t*3/2. Is 6 a factor of (4 + 11)*y/10?
True
Let d(j) = j**2 + j - 9. Let a be d(-8). Suppose a = 5*r + 7. Does 3 divide 62/10 + r/(-40)?
True
Let f(k) = 0 - k**2 + 0 - 6*k**3 + 1. Let p be f(-3). Let v = -97 + p. Does 12 divide v?
False
Let g(x) = x**3 + 3*x**2 + x + 1. Let i be g(-2). Suppose 0 = i*p - 0 - 15. Suppose -24 = -6*q + p*q. Is q a multiple of 12?
True
L