ide k(-4)?
True
Suppose -4*q + 11376 = -2*h, -91*q = -92*q + 5*h + 2817. Does 39 divide q?
True
Let u(q) = q**3 + 20*q**2 + 34*q - 45. Let s be u(-18). Is ((-348)/10)/(s/60) a multiple of 4?
True
Let s be 2*(2 - 21/6) - 26. Let x = 28 + s. Let z(a) = 21*a**2 - 3*a - 4. Does 6 divide z(x)?
False
Let v be (45 + -61)/((-19)/(-20) - 1). Suppose -95*t + 91*t + v = 0. Is t a multiple of 16?
True
Let b(i) = i**3 + 10*i**2 + i + 13. Let v be b(-10). Does 8 divide 10/50 - v/(45/(-4317))?
True
Let n(m) = 195*m + 12. Let d be (4/9)/(37/333). Does 26 divide n(d)?
False
Let w(l) = 326*l - 9. Let m be w(4). Suppose -4*b = -41*b + m. Is 6 a factor of b?
False
Suppose 0*n + 2*n + 2*r + 1088 = 0, 3*n + 5*r = -1640. Let y = -405 - n. Does 9 divide y?
True
Let b(u) = -5*u + 56. Let n be 46/(((-72)/90)/((-4)/(-10))). Does 19 divide b(n)?
True
Suppose 3*j = 4*l, -5*j - 59*l + 29 = -56*l. Let u(h) = -13*h**2 + 10*h - 6. Let v(t) = -14*t**2 + 11*t - 5. Let c(b) = -4*u(b) + 3*v(b). Does 24 divide c(j)?
False
Suppose -19954 = -3*g + 2*p, 4*g - 4*p - 17931 = 8677. Is g a multiple of 50?
True
Let a be 1 + 6 + 876 + -2. Is a/8*3 + 3/(-8) a multiple of 30?
True
Suppose 164 = 9*i + 20. Let a(s) = s**2 + 4*s - i - s**2 - 8 + 3*s**2. Is a(-6) a multiple of 30?
True
Let m be 648/30 + -2*6/20. Let a be m - ((-21)/9 + 4/(-6)). Let x = a + -16. Is x a multiple of 3?
False
Let l(a) = -2*a**3 - 8*a**2 - 13*a - 13. Let n be l(-4). Suppose v - n = q, 5*v + 3*q - 2*q = 213. Does 6 divide v?
True
Suppose -29*u = 30*u - 758325 + 134695. Is 34 a factor of u?
False
Let m be -2*(66/4)/(-11). Suppose 3*w + m*u = 468, 4*u + 156 = 2*w - 144. Is w a multiple of 12?
False
Let m = 463 + -464. Does 12 divide ((-238)/(-28))/(m/(-72))?
True
Let c(u) = -3*u - 20. Let v be 2 - (-5 - -7*21). Let y = v + 118. Is 17 a factor of c(y)?
False
Let l be (-168)/(-4 - -5)*-3. Suppose -n - z + 131 = 0, -13*n + z = -9*n - l. Is n a multiple of 21?
False
Suppose -27 = -3*l + 5*q, -4*q = -q + 9. Suppose l*f - f + 250 = 5*p, 5*f = -25. Is 9 a factor of p?
False
Let f = 22 - 61. Let s = f - -45. Is 9 a factor of 36 + s/(-9)*3?
False
Let n be (10/3 - 0)/(56/(-7812)). Let t = -97 - n. Is t a multiple of 23?
True
Is 3*175394/14 + (-168)/392 a multiple of 27?
True
Let c = 10709 - 2624. Does 5 divide c?
True
Let b(s) = -s**3 + 2*s**2 + 7*s - 9. Let p = 195 + -200. Is 2 a factor of b(p)?
False
Suppose 2*u = 4*u + 2*t - 244, -5*u + 5*t = -610. Suppose 131*g - u*g = 297. Is g a multiple of 4?
False
Let n(p) = 719*p + 157. Is 69 a factor of n(16)?
True
Suppose 4*p + 3*l = 8*p - 263, 0 = p + 4*l - 80. Let a = -39 - p. Let o = a + 127. Is o a multiple of 3?
False
Suppose 3*t + 2*v = 1961, 2*t - 2*v - 3*v - 1282 = 0. Suppose -10*j + 4*d - t = -13*j, -3*d = 0. Is 16 a factor of j?
False
Let l(z) = -z**3 - 10*z**2 - 15*z + 4. Let k be l(-8). Let j(t) = 4*t**2 + 36 - 18 + 10*t - t**2 + t**2. Is 35 a factor of j(k)?
False
Let h = -16492 + 23532. Does 55 divide h?
True
Suppose 7*c + 3*c - 3130 = 0. Suppose 10*p - 687 = c. Is 5 a factor of p?
True
Let u be (-46)/10 + (-8)/20. Let o be 3/((-9)/(-12)) + u. Does 8 divide 32*o*5/(-10)?
True
Let v be 1 - ((-143431)/76 + (-2)/(-8)). Suppose -2*z + 4*p - 633 = -3*z, -3*z = p - v. Is z a multiple of 12?
False
Suppose 16*n + 3855 = 4*x + 17*n, 3875 = 4*x - 3*n. Does 17 divide x?
False
Let q(m) = -3*m - 15. Let w = -29 + 23. Let y be q(w). Suppose -y*c + 63 = 3*t - 0*t, 3*t = 12. Does 10 divide c?
False
Let j be 4018/(-8) + (2/(-2))/(-4). Let m = j + 866. Suppose -43*c + m = -39*c. Is c a multiple of 13?
True
Let q = 864 + -1351. Does 8 divide q/(-2) - (-11)/(-22)?
False
Let h be (-5 - (3 + -1)) + 9. Suppose -5*j - x = -3433, 3*j - h*x + 646 = 2711. Is 17 a factor of j?
False
Suppose -32 = -2*z - 4*h, -6 = -h - 1. Suppose 0 = -4*l - 20, u - z*u + 350 = -l. Does 32 divide u?
False
Suppose -3*x = -5*j - x + 9114, -3*j + 5*x + 5457 = 0. Is 63 a factor of j?
False
Suppose -3*l + 74 = 86. Is l + 1 + (916 + 0)/4 a multiple of 8?
False
Let t = 82 - 22. Suppose 2*l - t = -0*l. Let j = l + 18. Does 24 divide j?
True
Let v be (-1 - 13)*2/(-4). Suppose v*w - 3*w = 176. Suppose t + 4 = w. Does 8 divide t?
True
Suppose 5*o + 5*u - 3000 = 0, 5*o = 4*u - u + 3016. Let v be ((-15)/6 - -3)*o + 2. Suppose 8*n - 1119 = -v. Is n a multiple of 17?
True
Let j(f) = f**2 + 25*f - 75. Is 6 a factor of j(-88)?
False
Suppose 2*o - 5*h = 22650, -6*h + 33954 = 3*o - 3*h. Does 11 divide o?
False
Let n = -3122 - -4637. Is n a multiple of 4?
False
Let p(b) = -b**2 - 6*b + 6. Let y be p(-6). Does 17 divide y/48 + 1870/16?
False
Suppose -374 = -2*t + 3*t. Let z = t + 1430. Suppose -3*q = 5*q - z. Is 33 a factor of q?
True
Suppose 625*h + 78828 = 4*i + 626*h, -3*h - 39386 = -2*i. Is i a multiple of 85?
False
Suppose -4*j + 4*x = 160, 3*x + 116 = -3*j - 22. Is j + 40 - 55*-1 a multiple of 3?
False
Let s(g) = 3 + 20 + 18 - 10*g. Is s(-21) a multiple of 11?
False
Let v(i) = i**3 + 6*i**2 + 3*i - 5. Let z be v(-5). Let b be (-115*3)/(93/(-62)). Suppose -195 = -z*n + b. Is 25 a factor of n?
False
Suppose -12 = 4*t, 3*w - 232 = 3*t + 530. Let k = -164 + w. Does 29 divide k?
True
Suppose 35*f + 110553 = 450228. Is f a multiple of 15?
True
Suppose 25 = 5*i, 0 = -5*d + 5*i - i + 225. Let r = -45 + d. Suppose 0 = -r*y - 2*h + 224, 5*h - 12 = 8. Is 12 a factor of y?
False
Let u be (-72)/(-20) - (-15)/(-25). Suppose -1200 = -u*d - 4*g, -3*g = 5*d - 6*g - 1971. Does 66 divide d?
True
Suppose 65*u - 593834 + 105510 = 258656. Does 52 divide u?
True
Is 24 a factor of 2/(4189444/349118 + 0 - 12)?
False
Let c be (1/2*-86)/((-15)/345). Let z = c - 521. Is 39 a factor of z?
True
Let j be (479 + 1)*(-120)/(-100) + -4. Let x = 619 - j. Is 3 a factor of x?
False
Let f(t) = 19*t + 18. Suppose 12*x + 14 = 13*x. Is f(x) a multiple of 58?
False
Suppose a = -0*z - 5*z - 5, 5*z = -4*a - 20. Suppose 2*h + 4*h + 12 = z. Does 16 divide ((-10)/35)/(h/574)?
False
Let v = -5860 + 10207. Is 69 a factor of v?
True
Let j(o) be the third derivative of -11*o**4/12 - o**3/6 + 6*o**2. Let m be j(-1). Suppose 0 = 3*y - 237 + m. Does 18 divide y?
True
Let l(z) = 41*z - 22*z + 17 - 20*z. Let d be l(10). Suppose 0 = -y + 103 - d. Is 12 a factor of y?
True
Suppose q - 19780 + 94227 = 5*d, 2*d = -3*q + 29789. Suppose 423 - d = -37*j. Is j a multiple of 12?
False
Let i(c) be the third derivative of -31*c**5/60 + c**4/24 + c**3/6 - 9*c**2. Let o be i(1). Let r = o - -51. Does 5 divide r?
False
Let a(l) = -l + 3904. Is a(-71) a multiple of 11?
False
Let p be (0/(-2) - 0) + 1. Let k(q) = -99*q**2 - 14*q - 10. Let f(c) = 47*c**2 + 8*c + 6. Let o(b) = -5*f(b) - 3*k(b). Is o(p) a multiple of 32?
True
Suppose -5*a - 61 = 84. Let d = a - -46. Suppose 20*g = d*g + 171. Does 4 divide g?
False
Is 7 a factor of 678/(-10)*(-4520)/339?
False
Suppose 0 = -20*u - 43 + 14083. Suppose 3*p + 60 - 2754 = 0. Suppose -10*y + p = -u. Does 11 divide y?
False
Let q be 48/14*224/48. Is 4 + (q/20)/(2/310) a multiple of 39?
False
Suppose 3*t - 12 = v, -5*t + 69 = -v - 3*v. Let l(o) = -2*o**3 - 43*o**2 - 61*o - 23. Does 13 divide l(v)?
False
Let s(d) = -d**2 + 9*d + 5. Let l(k) = -k**3 - 7*k**2. Let v be l(-5). Let h = -46 - v. Is 4 a factor of s(h)?
False
Suppose 0 = -4*i - 13 + 41. Let k(w) = -37*w + 2114. Let p be k(56). Does 23 divide p + i - (1 - -2)?
True
Let v(s) = 4*s + 17. Let y be v(6). Suppose -y*c = -46*c - 805. Let r = -34 - c. Does 30 divide r?
False
Suppose -16 = 7*i + 12. Is 12 a factor of i/(-1*(4 - (-83)/(-21)))?
True
Suppose -2*l = 2 + 14. Let w(h) = 5*h**3 + 3258 - h**3 - 3260 - 3*h**3 + 10*h**2 + 0*h**3. Does 14 divide w(l)?
True
Let x(k) = -3*k + k + 1 + k**3 + 0*k. Let r(v) = -v**2 + 3*v + 56. Let f be r(-6). Does 5 divide x(f)?
True
Suppose -51*b + 8 - 110 = 0. Is (103 - -29)/(b - 16/(-6)) a multiple of 3?
True
Let v(b) = b**3 - 11*b**2 + 24*b - 3. Does 89 divide v(11)?
False
Let g(v) = -143*v - 81 - 12 + 31. Is 28 a factor of g(-2)?
True
Suppose 108*q + 15 = 113*q, 13188 = 2*x + 4*q. Is 183 a factor of x?
True
Let v = -82 - -167. Let z = -776 - -1122. Let n = z - v. Does 29 divide n?
True
Let m be -45 - 0 - (-4 - -4). Let s = -8167 - -7972. Let a = m - s. Is 15 a factor of a?
True
Let j = -100 - -98. Is (-171)/j*(-150)/(-45) a multiple of 48?
False
Suppose -10 = -3*y - 7. S