se 70 = -5*b - 145. Let o = b - -71. Is o a multiple of 14?
True
Let h = 404 - -275. Is 20 a factor of h?
False
Suppose 5*l = -6*y + y + 3405, 0 = -4*l + 4*y + 2716. Suppose -5*f + l = 5*q - 0*f, 3*q - 376 = 5*f. Is q a multiple of 24?
False
Suppose -10 = -8*p + 3*p. Suppose -p*z - n + 17 = 0, -41 + 4 = -4*z - n. Is ((-15)/z)/(6/(-224)) a multiple of 7?
True
Suppose -30 = -5*z - 3*d - d, 4*z - 33 = -5*d. Suppose -z*k = -4*o + k + 144, -3*k = o - 36. Does 5 divide o?
False
Let g = -36 + 41. Suppose -3*n - z - 2*z = -213, 4*z = -g*n + 353. Does 16 divide n?
False
Suppose d - 6 = -1. Suppose -d*n = -n - 300. Is 37 a factor of n?
False
Let s = -46 + 146. Suppose 6*d - s = 392. Is d a multiple of 27?
False
Is 72 a factor of (-4214)/(-4) + -2*5/(-20)?
False
Let i(a) = -7 + 0*a + 0*a + 21 + a. Let h be i(-12). Suppose -7*n + h*z + 64 = -4*n, 3*n - 62 = z. Does 4 divide n?
True
Suppose 35*p - 3*p - 24224 = 0. Is 67 a factor of p?
False
Let k(n) = n**3 - 12*n**2 - 15*n - 14. Let o(c) = -c**3 + 13*c**2 + 15*c + 15. Let p(j) = -3*k(j) - 2*o(j). Does 14 divide p(11)?
True
Let m(l) = l**2 - 1. Let r(i) = 14*i**2 - 2*i - 24. Let f(u) = -12*m(u) + r(u). Let s be f(-3). Let n = s - -27. Is 13 a factor of n?
True
Suppose 48*t + 12992 = 80*t. Is 92 a factor of t?
False
Let b be -1 - 394*3/(-6). Let u be -125 + 12/(-5 - -1). Let p = u + b. Is p a multiple of 17?
True
Let a(j) = 13*j + 86. Let x be a(-6). Let z be ((-4)/(-6))/((-2)/(-9)). Is 4 a factor of (-6)/z*(-76)/x?
False
Let f(r) = 487*r**2 + 60*r - 1. Is f(-2) a multiple of 29?
True
Let p(h) = 0 + 11*h + 2*h + h**3 - 10*h**2 + 2. Let n be (-2)/10*1 + (-1518)/(-165). Is 15 a factor of p(n)?
False
Suppose 0 = 7*i - 2*i - 15. Suppose -5*g = i*o - 0*o - 23, 0 = -3*g + 4*o + 8. Suppose 0 = -g*a - 63 + 263. Does 17 divide a?
False
Let z(x) = -89*x - 771. Does 103 divide z(-29)?
False
Is 5 a factor of 5 - (-6861)/27 - 9/81?
False
Suppose x = -18 - 12. Let p be (2/4*-10 - -4) + -69. Let v = x - p. Does 8 divide v?
True
Let n(h) be the first derivative of 111*h**4/4 - 2*h**3/3 + h + 12. Suppose 0 = s - 1, 7*g - 4*s = 2*g + 1. Does 36 divide n(g)?
False
Suppose 67*a - 780 = 54*a. Let w = 11 + -6. Suppose -w*p = p - a. Is 5 a factor of p?
True
Let f(h) = -h**3 + 26*h**2 - 77*h - 44. Does 22 divide f(22)?
True
Let u be (-1)/(-3) - 68/(-12). Let k = 11 - u. Suppose v + v - 4*t = 18, -v - k*t = -30. Is 6 a factor of v?
False
Suppose f - 4*p + 75 = 4*f, 2*p = 2*f - 36. Let h(n) = -14*n + 4 - 5 + f*n. Does 15 divide h(10)?
False
Let g be 12/16 - (-66)/8. Let p be 212/(-18) + (-2)/g. Does 25 divide 2/(-3) - 608/p?
True
Suppose 5*w - 5*d = 70, -4*d = -3 - 1. Does 37 divide (128/2)/(w/15)?
False
Suppose 4*n - 17816 = -n - b, 14272 = 4*n - 4*b. Is n a multiple of 9?
True
Let b(h) be the third derivative of -h**6/120 - 7*h**5/60 + h**4/4 + 3*h**3/2 + 7*h**2. Let s be b(-8). Let v = -11 + s. Is v a multiple of 3?
False
Is (-3 + 1)*-541 + 2 a multiple of 64?
False
Let z(i) = i**3 - 25*i**2 + 42*i + 21. Is 21 a factor of z(25)?
True
Let t = -7 + 14. Suppose 10*c - 60 = t*c. Is 20 a factor of c?
True
Let q be ((-6)/(-14) + 0)*7. Suppose -5*m - 6*i = -i + 90, q*i = -4*m - 67. Does 9 divide ((-3)/2)/(m/546)?
True
Suppose -6*i + 1068 = -120. Is 22 a factor of i?
True
Let l(t) = -67*t + 9. Let x be l(-5). Suppose -5*y + 4*q = -x, -5*q - 131 - 146 = -4*y. Suppose -2 - 2 = -i - 4*h, -4*i - 3*h = -y. Does 4 divide i?
True
Suppose 4*r - 6*r + 122 = 0. Suppose -r = -2*b + 35. Does 8 divide b?
True
Suppose 5*z + 5 - 20 = 0, -2*s - 4*z + 16 = 0. Suppose -3*p + 156 = -q, p - 96 = -p - s*q. Is p a multiple of 12?
False
Suppose -59 = 11*l - 312. Is 4 a factor of l?
False
Suppose 10*o - 3244 - 4106 = 0. Does 49 divide o?
True
Let v be 3 + (-31 - 2)*1. Let t = 33 + v. Is (-340)/(-6) - 2/t a multiple of 30?
False
Let f(q) = -27*q + 64. Does 28 divide f(-8)?
True
Let c(p) = -5*p + 160. Is c(25) a multiple of 5?
True
Suppose -73*f = -57*f - 1744. Does 4 divide f?
False
Suppose 0 = 12*z - 21*z + 24111. Is 19 a factor of z?
True
Let g(w) = 15*w - 87. Let a(y) = y**2 - 4. Let x be a(-5). Is 12 a factor of g(x)?
True
Let g(d) = 6*d**2 - 2*d + 1. Let l(s) = s - 10. Let c be l(11). Let b be g(c). Suppose b*p - 40 = 30. Is p a multiple of 14?
True
Let h(n) = 4*n**2 - 3*n**2 + n + n + 10*n**3 - 3 - 2*n**2. Let z be h(2). Let j = z - 43. Does 17 divide j?
True
Suppose -5*g + 3*k + 3 = -524, -408 = -4*g - k. Let s be (5/4)/(4/16). Suppose 2*j = -4*m + 44, 3*j = -j - s*m + g. Is j a multiple of 12?
False
Suppose -8*b + 7063 = -3129. Is 26 a factor of b?
True
Let g(x) = x**3 - x**2 + 14*x - 20. Is g(7) a multiple of 12?
True
Let a = -20 + 24. Suppose -i - 53 = -6*i + w, a*i - 5*w - 55 = 0. Does 4 divide i?
False
Let g be 2*4/(-4) + -1. Let l be g/9*107*-3. Let w = 152 - l. Does 18 divide w?
False
Let p(h) = 7*h**2 + 3*h - 269. Is 6 a factor of p(-16)?
False
Suppose -2*a - 2073 = -v, 4*v - 8570 = -a - 269. Is 122 a factor of v?
False
Let z = -410 + 711. Is 41 a factor of z?
False
Suppose -11 = -2*t - 5*p, -4*t + 11 = 3*p - 4*p. Let m(f) = 6*f + 6. Is 12 a factor of m(t)?
True
Let z(s) = -24*s + 21. Let c be z(-9). Let y = -147 + c. Does 18 divide y?
True
Let c be (-1)/3 + (-170)/30. Let f be -1*55*(2 + c). Suppose -2*t + 5*s = -0*t - f, -4 = s. Is 25 a factor of t?
True
Let a be 8*(4 - -4)/4. Let z(s) = 5*s - 24. Is z(a) a multiple of 12?
False
Let m = -169 + 154. Is 3 a factor of 1/5 - 192/m?
False
Let h = 136 - 134. Suppose -h*n = 4*n - 720. Does 12 divide n?
True
Suppose 0 = 5*k - 0*k - 10, 2*h = k - 96. Let m = 74 + h. Is 9 a factor of m?
True
Let b(u) = -4*u**3 - 3*u**2 + u + 2. Let z be b(-2). Let n be 5/(z/628) + 0. Let p = n - 93. Is 16 a factor of p?
True
Let v = -39 + 42. Suppose -2*i + 8 = 0, 2*i - 64 = 3*m - 2*i. Let d = v - m. Does 19 divide d?
True
Is (-9)/(18 + -9)*-443 a multiple of 41?
False
Let h = -60 + 100. Let x = 219 + -221. Let d = h - x. Does 14 divide d?
True
Suppose 4*d = b - 1355, b + 2*d - 488 = 897. Is b a multiple of 25?
True
Let a = 19 + -15. Suppose 11*f - 7*f = a. Suppose -3*s + 43 = f. Is s a multiple of 6?
False
Let n(c) = c**3 + 8*c**2 - 4*c - 30. Does 66 divide n(-6)?
True
Let l(y) = 3*y**2 + 2*y + 1. Suppose 4*g = 4, 0*g - 1 = -2*f + 5*g. Does 4 divide l(f)?
False
Let u(m) be the third derivative of m**6/120 + 7*m**5/60 + 7*m**4/24 - 7*m**2. Let b be u(-5). Suppose 3 = -3*r, g - 3*r - b = -4. Does 4 divide g?
True
Suppose -5*f + 5 = -15. Let v(s) = -s**2 - s - 8. Let w be v(f). Let c = 50 + w. Does 7 divide c?
False
Let w = -649 - -726. Does 3 divide w?
False
Let g = 7 + 47. Suppose -5*v + 45 = 3*r - g, -78 = -4*v - 3*r. Does 11 divide v?
False
Let x = 857 + -257. Is 36 a factor of x?
False
Suppose 2*r - 10 = -3*r. Suppose -3*k + r*q + 228 = 0, 3*k - 2*k + 3*q - 76 = 0. Is 48 a factor of k?
False
Let h be -3 + 1 + (-1 - -72). Let z = 115 - h. Suppose -2*g + 0*i - 2*i = -z, 2*g - 28 = 4*i. Does 6 divide g?
False
Suppose 5*u + 5*f = u + 768, 4*f = 3*u - 545. Let y = -100 + u. Does 11 divide y?
False
Let b(m) = -m**3 - 12*m**2 + 15*m + 31. Let o be b(-13). Suppose -5*y - 117 = -d, o*y + 0*y + 513 = 4*d. Does 11 divide d?
True
Let x = -51 - -120. Suppose 7*g - 8*g + x = 0. Let m = -25 + g. Is m a multiple of 8?
False
Let c(t) = t**2 - t - 1. Let o = -5 + 17. Suppose -5*r + 9*r = -o. Does 11 divide c(r)?
True
Is 4 a factor of (-816)/(-5)*250/100?
True
Let o = 2 - 5. Is (-3)/(12/36 + 4/o) even?
False
Suppose 3*b = -3*v - 3, b + 2*b = 3*v + 3. Suppose b = y + 4*y - 50. Is 4 a factor of y?
False
Suppose -3*h = -4*l + 2788, 2*h - 5*h + 12 = 0. Does 18 divide l?
False
Let g be 2/4 - (-1197)/14. Let z = -70 + 28. Let s = z + g. Does 11 divide s?
True
Suppose -3*u - 61 = 65. Let j be -3 - (4 - u/(-2)). Is 7 a factor of 42/2 + (14 - j)?
True
Let z(a) = -a**3 + 6*a**2 + 2*a - 5. Let v = -6 - -7. Let f be v/4 - (-115)/20. Is z(f) a multiple of 3?
False
Let l(q) = q**2 + 14*q + 20. Let k be l(-12). Let b = 17 + k. Is 6 a factor of (9 + -11)/((-1)/b)?
False
Let h = 13 - -112. Let d = h + -73. Does 11 divide d?
False
Suppose -3*n + h + 39 = 0, -10 = -3*n + 5*h + 29. Let j = n - 8. Suppose -8 = -j*u + 52. Is 3 a factor of u?
True
Let a = -43 - -19. Is 7 a factor of a/(-3)*7/2?
True
Is 29 a factor of (-1000)/(-300)*(39/(-2))/(-1)?
False
Su