ivide y?
False
Let z(n) = n**3 + 5*n**2 - 79*n - 9. Is z(9) a multiple of 53?
False
Let z(c) = 2*c**2 - 12*c - 5. Let h(m) = -13*m + 2*m**2 + m - 4 - 2. Let y(t) = 5*h(t) - 4*z(t). Is 17 a factor of y(9)?
False
Suppose 0*k - k - 4 = 0, -2*z + k + 186 = 0. Let x = z - 42. Suppose -5*v - x = -b - 0*v, b + v - 37 = 0. Is b a multiple of 13?
True
Let t be ((-48)/14)/(15/(-630)). Is -4 + 0 - t/(-8) a multiple of 4?
False
Is 17 a factor of 180/(-24) + 10 - (-2406)/4?
False
Let v be ((-9)/6)/((-9)/48). Is 32 a factor of 2*(-4)/v - -33?
True
Let y = -42 - -383. Is y a multiple of 26?
False
Let n(j) = j**3 + 6*j**2 - 5*j - 33. Is 11 a factor of n(-4)?
False
Suppose -1 = q, 2411 = 2*d - 2*q - 825. Is d a multiple of 13?
False
Let w be -1*(3 - 2) + 1. Let x(b) = 2 + w - 6*b + 0 + 16*b. Is x(1) a multiple of 4?
True
Suppose 5460 = 19*o + o. Does 6 divide o?
False
Suppose 5*v - 35 = 15. Suppose 0 = d + 2*d - a - v, -5*d + 2*a = -18. Let l = d + 11. Does 4 divide l?
False
Suppose -4*t - 111 = 9. Let d = t - -32. Is 6/(d*(-4)/(-92)) a multiple of 16?
False
Suppose -7 = -3*p + 665. Does 27 divide p?
False
Suppose -9*k + 8*k + 50 = 0. Suppose -3*g + 14 = 4*j - 100, 0 = -2*j + 2*g + k. Is 4 a factor of j?
False
Suppose -16*l + 14 = -14*l. Suppose l*h - 75 = -19. Is h a multiple of 4?
True
Let r = 134 - -130. Is 47 a factor of r?
False
Suppose -3*a + 1838 = 3*p - a, -p + 636 = -4*a. Is 18 a factor of p?
False
Let s be (-2 - -2) + -1 + (5 - 1). Suppose s*c - 6*c = -93. Is c a multiple of 16?
False
Let a(d) = -d**2 - 8*d - 10. Let y(o) = o**2 + 7*o + 9. Let s(l) = -3*a(l) - 2*y(l). Let f be s(-9). Let t = f + 18. Does 4 divide t?
False
Let j = 5 + 149. Does 11 divide j?
True
Suppose -10*v - 10*v + 3080 = 0. Is v a multiple of 14?
True
Let z be 4*(1 - 14/8). Let h be 44 + (-3)/z + 0. Suppose h = 3*j + f, -j - 2*f + 23 = f. Is 5 a factor of j?
False
Let g = 10 + -6. Suppose 0*j - 604 = -g*j. Let t = j - 96. Is 13 a factor of t?
False
Suppose 1 = -7*m - 6. Is m - 49/1*-1 a multiple of 16?
True
Suppose 3*i - 3*r = 7*i - 380, 4*r = i - 95. Suppose m = q + 95, -4*m + 285 = -5*q - i. Does 7 divide m?
False
Suppose 25*w - 97732 = -12307. Does 67 divide w?
True
Let s = -26 - -10. Does 18 divide 54/(-4)*s/12?
True
Let j = 63 + -24. Let p(i) = 11*i**2 - i. Let z be p(1). Let u = j - z. Is u a multiple of 8?
False
Let w = 39 + -51. Let r(i) = -i**3 - 14*i**2 - 25*i + 20. Does 16 divide r(w)?
True
Let s be 1*-152*9/(-18). Suppose -4*n - 12 + s = 0. Is n a multiple of 11?
False
Let p(i) = i**3 - 5*i**2 + 5*i - 6. Let k be p(4). Let u be (-1 - k) + 2 + -1. Suppose -u*r + 33 = -5*z - 11, -5*z = -3*r + 61. Is 17 a factor of r?
True
Suppose 5*i + 0 + 10 = 0. Let b = 45 + i. Suppose -4*o = -57 - b. Is 25 a factor of o?
True
Let g(c) = -2*c**3 - c**2 - c - 1. Let p(s) = -s - 14. Let b be p(-10). Is g(b) a multiple of 17?
False
Suppose 0 = 2*l - 2. Let s be (-1 - -3)/(4/(-8)). Is 260/16 + l/s a multiple of 8?
True
Let h = 556 + -134. Is h a multiple of 2?
True
Suppose -5*p + 2538 = 13*p. Is p a multiple of 9?
False
Suppose -5*t + 0*t - 161 = 4*k, 3*t - k = -83. Let r = 139 - t. Is r a multiple of 30?
False
Let w be -4 + 21*8/(-12). Let r = w - -23. Suppose -r*t + 397 = 3*p, -t + 5*p + 61 = p. Is t a multiple of 11?
True
Suppose 59*a = 60*a - 4*q - 830, -2*a + 1654 = -5*q. Does 7 divide a?
False
Let w be 70 + 3 + 1/1. Let s = w - 38. Suppose 0 = -4*f + s + 60. Is 6 a factor of f?
True
Let u(i) = i + 5. Let o be u(-5). Suppose -8 + o = -f. Does 8 divide f/20 - (-236)/10?
True
Let u = 1110 + -585. Is u a multiple of 86?
False
Let w be 8/((-5)/15 + (-14)/(-6)). Suppose 570 = 3*v + 2*v + w*c, -5*v + 3*c = -535. Is v a multiple of 21?
False
Let l(k) = -7*k - 6. Let i be l(-2). Suppose -u + i = -2*u. Is 42 - 4/u*2 a multiple of 13?
False
Suppose -3*z = 2 - 8. Suppose -281 = -z*r + 247. Does 33 divide r?
True
Let c(s) = 16*s + 3. Let t be c(9). Let w = t - 105. Is 8 a factor of w?
False
Suppose -3*h = 2*h - 5*n - 775, 4*n + 16 = 0. Is h a multiple of 16?
False
Let m(w) = 1340*w - 31. Is 13 a factor of m(4)?
False
Suppose 0 = -k - 4*k + 75. Suppose 0 = 5*h + k, -2*a - 3*h + 2*h + 47 = 0. Is 5 a factor of a?
True
Is 25 a factor of (-6160)/(-6) + 5 + (-20)/3?
True
Suppose -15*p + 11*p = -496. Suppose 3*c = 5*c - p. Is 22 a factor of c?
False
Let p = 884 - -182. Is p a multiple of 23?
False
Let w be 1219/115 + (-6)/10. Let a(h) be the first derivative of h**4/4 - 10*h**3/3 + h**2/2 + 9*h - 1. Is a(w) a multiple of 8?
False
Let t = -31 + 33. Suppose -3*z + 167 = -t*o, 2*o - 305 = -8*z + 3*z. Let h = -41 + z. Is h a multiple of 18?
True
Is 13343/8 + (-1)/(-8) a multiple of 84?
False
Let h(i) = 6*i**2 + i - 6. Let t(r) = -r**2 + r + 1. Let l = -6 + 7. Let k(c) = l*h(c) + 5*t(c). Is k(-9) a multiple of 22?
False
Let o = 2604 + -229. Does 10 divide o?
False
Let m(y) = 2*y**2 + 2*y + 11. Let n be m(-3). Suppose 26*g - 27 = n*g. Is g even?
False
Let k(n) = -13*n**3 - 3*n**2 - 7*n - 8. Is k(-3) a multiple of 15?
False
Let o(y) = -3*y**3 + y**2 + y. Suppose -5*m + 48 = -m. Let r be 6/m*2*-1. Is 2 a factor of o(r)?
False
Let j be (0 - -1)/(((-6)/(-5445))/(-2)). Is 2/(-5*6/j) a multiple of 11?
True
Let y(c) = -c**3 + 13*c**2 - 12*c + 4. Let b be y(12). Is 31 a factor of (-8 + 4 + 35)*b?
True
Let d(n) = -4*n - 4. Let y be d(-3). Let o = y - 7. Let g = o - -9. Is 3 a factor of g?
False
Let r(y) = 2*y**3 - 7*y**2 - 3*y + 13. Suppose -3 = -5*v + 22. Is 10 a factor of r(v)?
False
Does 51 divide (-5 + -2)*(-2 + -151)?
True
Suppose -5*t + 2 + 18 = 0. Let r(z) = 26*z - 33. Is 17 a factor of r(t)?
False
Suppose -78*o + 430 = -76*o. Let z = -57 + o. Does 28 divide z?
False
Let t = 2 + 0. Suppose 5*w - 8 = k, 0 = -2*w + 6*w - 3*k - t. Suppose g - 465 = -3*g - 3*o, w*o - 350 = -3*g. Does 30 divide g?
True
Suppose -10*u + 177 = -7*u. Let s = u - 47. Is 6 a factor of s?
True
Let f(y) = 4*y**3 - 4*y**2 + 2*y. Let u(q) = 3*q - q - q + 11. Let z be u(-9). Does 10 divide f(z)?
True
Does 83 divide (7553/14)/((-13)/(-52))?
True
Let y(b) = -b**2 - 8*b. Let s be y(-8). Suppose -7*p + 5*p + 88 = s. Is p a multiple of 5?
False
Let h be ((-30)/25)/(6/(-20)). Suppose -h*a = -5*o + 792 - 300, -504 = -5*o - 2*a. Is 15 a factor of o?
False
Does 50 divide (1 - 10/18) + (-14272)/(-288)?
True
Suppose 3*q - 1 = 11. Suppose 5*s - q*s = 55. Is s a multiple of 11?
True
Let l(o) = 55*o - 75*o - 97*o + 1 - 26*o. Let q be l(-1). Suppose -t + 3*t = q. Does 29 divide t?
False
Is 1076/4 - (2 + -2 + -2) a multiple of 3?
False
Let k(q) = q**3 - 14*q**2 + 2*q + 6. Let h be k(7). Let y = -35 - h. Does 12 divide y?
True
Let b = -17 - -22. Let s be (b + -11)/(3/(-15)). Suppose s + 80 = 5*o. Is 13 a factor of o?
False
Let a be (4 + -5 - -25) + 1. Suppose -a*q = -22*q. Suppose -4*x - 8 = q, 255 + 77 = 4*g - 4*x. Is g a multiple of 27?
True
Let z = 245 + -101. Suppose -2*k + 3*y = -123, -4*y = -0*k + 2*k - z. Is k a multiple of 11?
True
Let r = -119 - -110. Let n(h) = h**3 + 9*h**2 - 7*h + 3. Is 11 a factor of n(r)?
True
Suppose 0 = -3*i - 4*x + 377, 4*i - 3*x - 285 - 176 = 0. Is i a multiple of 8?
False
Let h = 33 + -18. Suppose -z + h = -39. Is z a multiple of 13?
False
Let o(m) = m**3 - m**2 - 3*m + 3. Let j be o(4). Let n = j + -22. Suppose -5*a - 3*l = -105, -2*a + 41 = -2*l - n. Is 10 a factor of a?
False
Let j(v) = -v**3 + v + 4. Let d(l) = -l**2 + 8*l - 3. Let w be d(7). Let b be j(w). Let k = 105 + b. Is k a multiple of 14?
False
Suppose 396 = 4*z + 3*y, 4*y = 6*y. Is 3 a factor of z?
True
Suppose 4*j - 1863 = -3*c, 5*c - 459 - 952 = -3*j. Does 39 divide j?
False
Let t(c) = c**3 + 6*c**2 - 2*c - 1. Let p(u) = 5*u**3 + u + 1. Let n be p(-1). Let z be t(n). Let m = z - 14. Is m a multiple of 10?
True
Let n be (-33)/2*(-40)/15. Suppose -35*f + n*f = 1305. Is f a multiple of 29?
True
Suppose 3*t = -t. Suppose 3*n - 336 + 108 = -5*a, a + 3*n - 48 = t. Is 15 a factor of a?
True
Let b(x) = 6*x**2 + 3*x - 528. Does 70 divide b(-22)?
True
Suppose -6*f + 7*f = -4*d + 961, 723 = 3*d + 3*f. Is 16 a factor of d?
True
Suppose -1275 = -19*v + 1461. Does 36 divide v?
True
Let p be (-4)/(-14) + (-182)/(-49). Suppose 0 = -5*b + 4*z + 126, 0 = p*b + 5*z - 56 - 12. Is 5 a factor of b?
False
Let m(b) = 15*b + 226. Does 11 divide m(44)?
False
Let z = 45 - 47. Does 