False
Let d = 310 + -159. Does 3 divide d?
False
Let y(g) be the third derivative of -g**5/60 + g**4/2 - 2*g**3/3 + 3*g**2. Let v be y(18). Is 64/v*(-98)/4 a multiple of 6?
False
Let s be 64/12 - (-1)/(-3). Suppose -4*h = i - 76, -4*h = s*i - 2*h - 308. Does 13 divide i?
False
Suppose 528 = 8*r - 2*r. Suppose -89*l + 8 = -r*l. Is 4 a factor of l?
True
Let k = 0 - -5. Let h = k - 26. Let v = h - -34. Does 13 divide v?
True
Let o(p) = -6*p + 3. Let i be o(-1). Suppose -4*d + i*d - 10 = 0. Suppose 0 = -y - d*y + 72. Is 12 a factor of y?
True
Suppose 3*h - 6 = -0*h. Let q = 22 + h. Is 24 a factor of (-27)/((-105)/q - -4)?
True
Suppose 57*g - 54*g = -5*o + 3138, -4*o + 2513 = 5*g. Is 33 a factor of o?
True
Let b(a) = -a**3 - 38*a**2 - 47*a - 90. Is 35 a factor of b(-37)?
True
Suppose 4*b = 2*k - k + 8, 3*k = 4*b - 8. Suppose -b*t = t - 495. Is 15 a factor of t?
True
Suppose 5*q = -5*s + 3455, -2*q - 3*s + 5*s + 1394 = 0. Does 98 divide q?
False
Let w = 36 - 42. Does 20 divide ((-52)/6 - -2)*w/2?
True
Let x(q) = -q**3 - 3*q**2 + 7*q - 1. Let k be x(-5). Let c(m) = -m**3 + 23*m**2 - 38*m - 8. Let o be c(21). Suppose -5*z + o = -k. Is 6 a factor of z?
True
Let t = 664 + -19. Is t a multiple of 15?
True
Let h = 2 - 9. Is (-1455)/(-12) - ((-28)/16)/h a multiple of 18?
False
Is 369 + (-1 - 4) + 1 - 1 a multiple of 13?
True
Let q be -1*((2 - -220)/(-2) + 0). Let t = q - 37. Is t a multiple of 13?
False
Suppose -5*r + 4*r = -54. Suppose 2*f - 5*i = 108, i + r = f - i. Does 6 divide f?
True
Suppose -4*j + 2360 = -312. Is j a multiple of 12?
False
Suppose 0 = -2*m + 5*u + 155, -3*u = -3*m + 308 - 62. Let k = m - 49. Is 36 a factor of k?
True
Suppose z = -0 - 5, -q + 52 = 3*z. Let x(h) = -h**2 + 9*h + 4. Let d be x(9). Suppose -d*v = -161 - q. Does 19 divide v?
True
Let f = 347 - 247. Is 18 a factor of f/(-6)*(135/(-2))/15?
False
Let i = -185 - -2797. Is i a multiple of 9?
False
Let m(a) = -1639*a**3 + a**2 + 1. Is 15 a factor of m(-1)?
False
Let q = -1432 - -2459. Is q a multiple of 23?
False
Let l(n) = n**2 + 14*n + 5. Let w be l(-14). Suppose -3*z - 18 = -4*o, -w*o + 9 = -2*z - 17. Is 4 a factor of o?
False
Let j(n) = 2*n**3 + 8*n**2 + 2*n - 22. Does 71 divide j(6)?
True
Suppose -368 + 1229 = 3*x. Is (-4)/(-32) + x/8 a multiple of 9?
True
Let j(s) = 3*s - 33. Let z be j(15). Suppose 891 = z*r - r. Is 7 a factor of r?
False
Suppose 4*k - 1344 = -4*k. Is k a multiple of 12?
True
Let y = -17 + 927. Does 42 divide y?
False
Let m = 71 - 75. Does 52 divide 2833/15 + 0 + m/(-30)?
False
Let o = 2337 - 816. Is o a multiple of 13?
True
Suppose 13*c - 2300 - 2679 = 0. Does 8 divide c?
False
Let y = 7914 + -2952. Is 43 a factor of y?
False
Let v = 116 - -24. Suppose 0 = 5*w + 2*l - 792, w = -3*l - 2*l + v. Is 16 a factor of w?
True
Let q(v) = v**3 + 14*v**2 - 10*v + 17. Let i be q(-9). Suppose -4*p = 172 - i. Is 17 a factor of p?
True
Suppose 0 = 4*l - 2010 - 122. Is l a multiple of 17?
False
Suppose 3*a = -4*t + 78, -119*a = -114*a - 10. Is t even?
True
Let o = -6 - -10. Suppose 0 = 4*x + 20, 392 = -3*h + o*x - 11. Does 25 divide 3 + 3*h/(-9)?
True
Let q(z) = 168*z**2 + 1. Is 13 a factor of q(1)?
True
Let q(c) be the third derivative of c**6/120 - c**5/6 + c**4/2 - c**3/3 + c**2. Suppose 2*l - 5*l = -27. Is 6 a factor of q(l)?
False
Suppose -u + g = 2*g - 12, 4*u = 3*g + 27. Let a = u + -19. Let m = a + 27. Is 6 a factor of m?
False
Is (-4)/(-8) + 445/(-10)*-1 a multiple of 23?
False
Let k = 22 + -20. Suppose 77 = 2*i + j, -3*i + 4*j - k*j + 98 = 0. Does 18 divide i?
True
Suppose 0 = 7*v + 984 - 3231. Is 3 a factor of v?
True
Suppose 5*q + 15 = 25, 5122 = 3*o - 4*q. Is 9 a factor of o?
True
Let w(n) = 2*n**3 - 3*n**2 - 11*n + 4. Let b be w(6). Let y = -187 + b. Is y a multiple of 12?
False
Suppose -4*q = 0, 2*l = -2*l + q + 24. Let f(u) = -4 - 3 + 0 + 3 + 3*u + 3. Is 17 a factor of f(l)?
True
Let q = 710 - 629. Is 2 a factor of q?
False
Suppose 234*f + 4*i = 229*f + 672, -5*f + 674 = 3*i. Is f a multiple of 8?
True
Let i(w) = 7*w**2 + 8*w + 36. Does 10 divide i(-8)?
True
Is 10 a factor of (-6312)/(-44) + 6 + (-18)/(-33)?
True
Let g(s) = s**3 - 7*s**2 + 6*s + 3. Let q(f) = f - 3. Let i(v) = 2*v + 9. Let d be i(0). Let l be q(d). Does 2 divide g(l)?
False
Let r(s) = 5*s**2 - 10*s - 18. Let v be r(-5). Suppose -5*c + 53 = -v. Is c a multiple of 10?
False
Suppose -38*i - 16744 = -46*i. Is i a multiple of 23?
True
Is ((-2)/(-12) - 4830/180)*-15 a multiple of 40?
True
Let x be (-2)/(-6) - (-4)/6. Let q(y) = -9*y**2 + 2*y + 7. Let z(n) = -8*n**2 + n + 6. Let v(w) = 4*q(w) - 5*z(w). Is v(x) a multiple of 2?
False
Suppose 4*u = 5*s - 0*s - 2363, -u = -3*s + 1422. Is 25 a factor of s?
True
Let c be 399/(-15) - 2/5. Let b = 949 - 943. Is b/c - 983/(-9) a multiple of 28?
False
Suppose -2*r + 6 - 18 = 0. Let v = r - -5. Let z(l) = 77*l**2 + 2*l + 2. Is 20 a factor of z(v)?
False
Let h = 135 - 130. Let y(n) = n**2 - 7*n + 28. Does 6 divide y(h)?
True
Suppose 8*y = -110 - 10. Is 12 a factor of (-10)/y*(-2364)/(-8)?
False
Let m(z) = 2*z + 16. Let p be m(5). Let b = -6 + p. Is 10 a factor of b?
True
Suppose u + 7 = 4*v - 2*u, -6 = -2*u. Suppose -15 = c - v*c - q, -4*c + 20 = -q. Suppose 3*l + 95 = 4*i - 113, -c*i = 5*l - 295. Is 22 a factor of i?
False
Let y = 36 + -76. Let b = -20 - y. Let k = 31 - b. Is k a multiple of 11?
True
Let s = -552 + 864. Does 13 divide s?
True
Let x = -16 - -36. Suppose -15*c - 315 = -x*c. Does 7 divide c?
True
Let p(c) = -c**2 + 10*c + 1. Let m be p(6). Let h = m - -4. Suppose -5*z + h = d, 4*d - 27 = 3*z + 204. Is d a multiple of 27?
True
Let j(k) be the second derivative of -13*k**3/6 + 3*k**2/2 + 2*k. Let w(x) = -12*x + 4. Let m(t) = 5*j(t) - 4*w(t). Is m(-1) a multiple of 8?
True
Suppose -2*d + 4 + 0 = 0. Let a be 24/(-44) + 364/143. Suppose 2*l - 59 = d*g + 153, a*g = -l + 121. Is 14 a factor of l?
False
Let p(h) = h**2 + 14*h. Let v be p(-14). Suppose v = 2*u - 0*u - 122. Is 13 a factor of u?
False
Suppose 5*o = q + q - 15, -5*o - 4*q + 15 = 0. Let u(m) = 7*m + 1. Let v(j) = -j + 1. Let s(a) = o*u(a) - 5*v(a). Does 2 divide s(-5)?
True
Suppose 2*s + 5*p = -0*s - 865, s = -p - 437. Let v = s - -762. Is v a multiple of 14?
True
Let o = 390 - -368. Is o a multiple of 14?
False
Let s be 6/(-14) + (-828)/28. Let k = s + 52. Is 22 a factor of k?
True
Let a(m) be the second derivative of -3*m**4/4 - m**3/6 - m**2 + 6*m. Let b be a(-1). Is 16 a factor of (32/b)/((-10)/100)?
True
Suppose -t = 4*o - 196, 5*o = 2*t - 107 - 246. Is 8 a factor of t?
True
Let w be 2/7 + 6856/14. Suppose -s + w = 4*s. Suppose 4*t - s = 110. Is 15 a factor of t?
False
Let z be 1/3 + 367/(-3). Is z/(-4) - (-3 + 10)/14 a multiple of 3?
True
Let r(u) = -u**2 - 9*u - 10. Let b be r(-5). Suppose 7*a = b*a - 819. Is 5 a factor of a/28 - (-2)/8?
True
Let m be 3/7 + (-462)/49. Let f(s) = s**2 + 9*s - 1. Let q be f(m). Is 4 a factor of (q + 3 + -3)*-9?
False
Suppose 3*q = 3*o + 1251, q + 5*o = -4*q + 2135. Suppose 5*a - 2*p - 307 = 119, -5*a = -4*p - q. Does 14 divide a?
False
Is 3 a factor of (14/(-49))/((-6)/7770)?
False
Let c(t) = t + 15. Let r be c(-11). Suppose 8 = -4*n, 0 = -4*a - r*n + n + 34. Is a a multiple of 5?
True
Let y be (5 + 0)/((-15)/(-6)). Suppose -7*w + 175 = -y*w. Suppose -5*p = -4*k + 147, 0*k + k = 3*p + w. Does 19 divide k?
True
Is (-134)/737 - 33664/(-22) a multiple of 34?
True
Suppose 2*s - 4 = 2*i - 6, -5*i + 17 = -s. Suppose -s*q = -5*d + 1037, -4*d - 2*q = -3*q - 824. Is 41 a factor of d?
True
Let b(s) = s + 37. Is 2 a factor of b(-6)?
False
Suppose -i + 0*i + 2 = 0. Let o(s) = 14*s - 4. Let c be o(1). Suppose -i*h - 65 + c = -3*t, 4*t - 5*h = 71. Is t a multiple of 11?
False
Suppose 4*d = -d - 290. Let j = d + 86. Suppose 2*w = 3*w - j. Is 14 a factor of w?
True
Is 12 a factor of (135/(-60))/(-2*(-4)/(-608))?
False
Suppose -4*d + 59 = 11. Let h be (d/(-8))/(2/(-4)). Suppose -h*r - 163 = -4*t, 4*t + 3*r + 0 = 157. Is t a multiple of 12?
False
Suppose 0 = -3*a - 3*s - 3, -1 = -3*a - s + 4. Let b be (-1 - a) + 56*-1. Is (b/7)/(4/(-28)) a multiple of 17?
False
Let i(n) = -25*n**3 - 3*n**2 - 7*n - 2. Is 19 a factor of i(-3)?
False
Suppose 5*f = u + 13700, 37*f + 3*u - 8220 = 34*f. Does 46 divide f?
False
Let s(c) = 29*c + 2. Let o(d) = 1. Let k(r) = -5*o(r) - s