-773. Is k a multiple of 64?
False
Suppose 2*w = 4*u - 3*u - 823, -3*u + 3*w + 2457 = 0. Is 22 a factor of u?
False
Let l(k) = k**3 - 8*k**2 - 21*k + 13. Let h be l(10). Suppose -2*v = h*v - 870. Is 58 a factor of v?
True
Let a = 63 - 51. Suppose 0 = -0*q + 4*q - a. Does 3 divide q?
True
Suppose -12 = 5*d + 18. Does 7 divide 40/d*108/(-60)?
False
Let m(n) = n**2 + n - 1 - 5 + 0*n**2 + 0*n**2. Let g be m(0). Does 20 divide (-75)/g*96/15?
True
Let k(f) = 221*f + 561. Is 6 a factor of k(6)?
False
Suppose -w - 16 = -5*w. Suppose -3*c - 3 = 0, w*r - 5*c = -3*c + 1098. Is r a multiple of 57?
False
Let d(u) be the first derivative of -u**3/3 - 3*u**2/2 + 14*u - 18. Does 2 divide d(-5)?
True
Let u(s) = 15*s + 3*s**2 - 15 - s**3 - 13*s**2 - 9*s**2. Is 10 a factor of u(-20)?
False
Suppose 14*s = 5*s + 2907. Suppose 0 = 5*v - s + 33. Is v a multiple of 29?
True
Let y(o) = -o**3 + 4 + 0 + 4*o + 6*o**2 + 3*o**2. Is 10 a factor of y(9)?
True
Suppose 0 = 12*u - 60 - 264. Is 3 a factor of u?
True
Let g = 3 - -357. Is g a multiple of 34?
False
Suppose -2*v - 2*v = -2*p - 32, -3*p - 13 = v. Let a = p - 0. Let m = 21 + a. Is 11 a factor of m?
False
Let v be (-1)/(-2)*(23 - 21). Does 19 divide (-1 + -1)*(566/(-4) - v)?
True
Let c(m) be the first derivative of 1/3*m**3 - 5*m + 3/2*m**2 + 6. Is 15 a factor of c(4)?
False
Let d(r) = -99*r - 241. Does 11 divide d(-6)?
False
Let c(v) = 2011*v**2 + 8*v + 1. Is 18 a factor of c(-1)?
False
Suppose 2*c + 4*c - 6 = 0. Let f = 10 - c. Does 5 divide f?
False
Let b = -347 - -226. Let k = b + 200. Is k a multiple of 21?
False
Let h(z) = 2*z**3 - 5*z**2 - 2*z + 5. Suppose 5 = -2*d + 1, 4*i - 16 = -2*d. Is h(i) a multiple of 40?
True
Let s(v) = 4*v**2 + 4*v - 79. Does 39 divide s(9)?
False
Let g = -24 - -46. Suppose t - 13 = p, -3*p - g + 67 = 4*t. Does 4 divide t?
True
Let u be (-168 - -23) + (-3 - (-1)/1). Let i = u + 202. Is i a multiple of 5?
True
Let l(z) = -z**3 + 41*z**2 + 101*z - 9. Is 53 a factor of l(43)?
True
Suppose 0 = -2*z - 0*z - 2*s, -3*s - 20 = -z. Let n(v) = v**2 - 6*v + 5. Let u be n(z). Is 5 a factor of ((u - 12)/(-1))/1?
False
Suppose -5*g - j = -3*g + 4, 24 = -2*g + 4*j. Let a(p) = -p + 2. Let u be a(g). Suppose r - 98 = -2*c, c - 3*r = -u + 48. Does 16 divide c?
True
Suppose 3*t + 465 = g + 76, 0 = t + 4. Does 13 divide g?
True
Let l be 16/((-12)/(-8) + 15/(-6)). Is 13 a factor of (-18 - l)/(1/(-64))?
False
Suppose 463*r + 32384 = 479*r. Does 44 divide r?
True
Let w(r) = 11*r**2 - 25*r. Is 28 a factor of w(-13)?
True
Let h(j) = 527*j**2 - 2*j - 2. Is h(2) a multiple of 17?
False
Let b = -186 + 479. Let r = 188 - b. Is 7 a factor of (3/(-5))/(3/r)?
True
Let f(k) = -k**3 + 10*k**2 + 10*k + 5. Let v be f(11). Let n be 4/(v/(-3))*1. Suppose -n*j + 12 = 2. Is 2 a factor of j?
False
Let l = -107 + 107. Suppose l*g - 3*g - 3*z + 468 = 0, -2*g = 5*z - 318. Does 11 divide g?
True
Let a be (384/(-20))/(-8)*40/(-6). Is ((132/a)/(-11))/(1/48) a multiple of 8?
False
Is (-2)/(-16) - 25/200 - -63 a multiple of 21?
True
Does 18 divide (952/(-12))/(14/(-189))?
False
Let g(s) = 36*s**3 - s**2 - 33*s + 64. Is g(2) a multiple of 3?
True
Suppose -5*v + 4*v + 10 = 0. Is 378/v + 1/5 a multiple of 7?
False
Let y be (-4)/(-18) + 4/54*159. Suppose y = 2*s - 44. Is s a multiple of 7?
True
Let u be (-10)/(-2) + (0 - 3). Suppose 3*q - 5*b + 72 = -u*b, 5*b + 114 = -4*q. Is 86/7 + q/91 a multiple of 6?
True
Suppose -3*y + o = -o - 1, 5*o = -4*y + 32. Suppose 0 = y*v + 2*p - 4, 5*v = p + 3 + 8. Suppose 0*u = -v*u + 96. Is 16 a factor of u?
True
Let q(n) = 4*n**3 - 8*n**2 + 11*n - 4. Is q(4) a multiple of 10?
False
Suppose 7*x + 18*x = 14850. Is x a multiple of 11?
True
Let l be 39/33 - (-4)/(-22). Let c = -10 + l. Does 2 divide (8/3)/((-6)/c)?
True
Let d(r) = 6*r**2 + 2*r - 1. Let c be d(1). Suppose 0 = 4*w - c*w + 306. Does 12 divide w?
False
Suppose 4*w - 1346 = -2*v, -5*v = -4*w - 2*v + 1361. Does 10 divide w?
False
Suppose 2*j = 5*r + 945, -2*j - 2*r + 948 = -6*r. Is j a multiple of 48?
True
Suppose 3*u - 5238 = -4*b, -1845 - 3395 = -4*b - 4*u. Is b a multiple of 16?
False
Suppose 10*l = 3*l + 1960. Does 13 divide l?
False
Suppose 6*n - 2*n = 8. Suppose -154 = 5*r - n*b, 4*b + 82 = -3*r - 0*r. Is 2 a factor of 10/4*(-72)/r?
True
Let c = -387 - -2256. Does 14 divide c?
False
Let p be (3/(-42)*-8)/(2/14). Suppose 7*a - p*a = 366. Is a a multiple of 25?
False
Let c = 532 - 274. Suppose -j + c = j. Is j a multiple of 33?
False
Suppose 2*r - 86 = -0*r + l, 2*r = -2*l + 86. Suppose 32 = h - r. Is h a multiple of 25?
True
Suppose -9*l + 10*l = -5*r + 55, -217 = -5*l + 4*r. Is l a multiple of 6?
False
Suppose -18 = -4*l + 13*l. Let x(z) = -5*z**3 - 2*z**2 + 4*z + 6. Does 15 divide x(l)?
True
Let y = -19 + 23. Let i(v) = 8*v**2 + 2*v**2 - y*v**2 - 4*v + 3 - 2 + v**3. Does 5 divide i(-6)?
True
Let l(n) = 4*n**2 - 10*n + 9. Let x = -47 + 55. Does 37 divide l(x)?
True
Let x = -162 - -900. Does 18 divide x?
True
Suppose -12 + 4 = -2*y. Let r be ((-18)/15)/(8/(-20)). Suppose 0 = 4*c - g - r*g - 56, -y*g = -2*c + 32. Is c a multiple of 6?
True
Let h(g) = 121*g**2 - g + 1. Let u be h(-1). Let p = u - 45. Let i = p - 56. Is i a multiple of 8?
False
Does 3 divide (30/(-25))/(2/(-150))?
True
Let x be (-1)/(1/(-3)) + -1. Suppose -2*n + x = -4. Suppose 0 = -3*u - 4*p + 174 + 2, -3*u = -n*p - 183. Is u a multiple of 20?
True
Let y(i) = 50*i**3 - 2*i**2 + i. Suppose 4*j - 4*p - 20 = 0, 0 = 4*j - 0*p + p. Is 13 a factor of y(j)?
False
Let y(v) = -5*v + 144. Does 5 divide y(9)?
False
Suppose 8*h - 888 = 3928. Is h a multiple of 30?
False
Let s be (3/2)/((-3)/(-4)). Suppose -103 = -s*u + r, -5*u + r = 137 - 396. Is u a multiple of 13?
True
Suppose 0 = 6*x - 1186 - 560. Is x a multiple of 39?
False
Let s = 6 + -7. Let p be (-4)/(-10)*5 - s. Let f(b) = 9*b - 5. Is 10 a factor of f(p)?
False
Suppose -5*m - 3*b = 2, -3*b + 6*b = 2*m - 16. Suppose 3*u - m*y - 46 - 25 = 0, -5 = -y. Is u a multiple of 9?
True
Let x = -203 - -207. Let i = 7 + -2. Suppose -47 = -z + i*m, z - 57 = -m + x*m. Is 24 a factor of z?
True
Let n = 26 - 7. Let p = n + -9. Suppose -13*d + 18 = -p*d. Does 4 divide d?
False
Let o be 30/4*(-8)/6. Let m(j) = j**2 + 14*j + 14. Let l be m(o). Is l/(-10) + (-4)/(-10) a multiple of 3?
True
Let q be (-1)/((-15 + 10)/(-305)). Let k(u) = 9*u**2 + 4. Let g be k(-3). Let f = g + q. Is f a multiple of 8?
True
Let q be (-36)/30*(-15)/6. Suppose -5*h + 4*x = -41, -4*x + 3*x - 19 = -q*h. Does 5 divide h?
True
Let p = -166 - -270. Is p a multiple of 52?
True
Suppose -5*a - q = q - 22, a - 2 = 2*q. Suppose 0 = 2*t - h - 29, -2*t - a*h + 13 = -31. Is t a multiple of 3?
False
Let r(w) = w**3 - 6*w**2 + 4*w + 5. Let c be r(5). Suppose 0 = i - 5*k - 37, c*k - 5*k + 10 = 0. Suppose 6*j - 3*j = -12, 0 = a + j - i. Is a a multiple of 14?
False
Suppose 0 = -10*p - 5 - 465. Let h = 61 + p. Does 7 divide h?
True
Let p(m) = -6*m + 18. Let k(w) = -w**2 - w + 5. Let n be k(0). Let g(b) = -5*b + 18. Let t(u) = n*g(u) - 4*p(u). Is 6 a factor of t(0)?
True
Let q = 131 + -19. Let v = q - 76. Does 6 divide v?
True
Suppose 5*a - 450 = -l, 2*a + 5*l = -82 + 285. Suppose -j - 59 = -a. Is j a multiple of 6?
True
Suppose 2*c - 4 = 0, -5*j + 0*c = c - 152. Let b = -28 + j. Suppose -b*l + 188 = 2*l. Does 23 divide l?
False
Let s = 10 + 170. Suppose z + 2*z - s = 0. Suppose -4*p + z = -228. Is 19 a factor of p?
False
Let m = 5996 + -1967. Is m a multiple of 39?
False
Let m(b) = -b**3 - 9*b**2 - 12*b - 2. Let k be m(-8). Suppose 4*d + k = 246. Is 9 a factor of d?
True
Let a(g) = 0 + 290*g - 10 - 289*g. Let c be a(12). Is (-455)/(-7) - 4/c a multiple of 20?
False
Let k(c) = -c**3 + 4*c**2 - 11. Let n be k(5). Is 12 a factor of 484/9 - 8/n?
False
Let a(s) = -s**3 + s**2 - 5*s - 3. Let q be (-8)/(-10)*45/(-9). Let g = q + 1. Is 9 a factor of a(g)?
False
Let h(x) be the first derivative of -x**4/4 - 11*x**3/3 - 11*x**2/2 - 8*x - 7. Let v be h(-10). Does 14 divide 4326/77 - v/11?
True
Let j be (-4)/10 - (-192)/30. Is 32 a factor of 9*(-64)/j*-1?
True
Suppose -2*o + 4*o - 142 = -4*k, -5*o = -5*k - 370. Is o a multiple of 17?
False
Let y be (4/(-14))/((-14)/98). Let f be (3 + y)*(-2 + 3). Suppose 0 = -f*w - 54 + 174. Is 24 a factor of w?
True
Let s(p) = p**3 - 1. Let r(k) = 4*k**3 - 8*k**2 -