3*g + 499 = 4*d, d + d = -4*g + 662. Suppose 0 = -4*y - y - 2*k + g, p = 5*y + k. Does 12 divide y?
False
Suppose -10*n - 48 = -14*n. Let h(f) be the first derivative of -f**2/2 + 26*f - 5. Is h(n) a multiple of 14?
True
Let a be (-1)/(5/2870*-2). Let p = a - 49. Is 22 a factor of p?
False
Suppose 11*h + 359 = 1052. Does 17 divide h?
False
Suppose 69*d - 112405 = -1177. Is 26 a factor of d?
True
Let q be (36/15 - 2)*100. Let i = q - 32. Does 8 divide i?
True
Suppose 4 = 4*a, -2*r + 792 = -7*a + 3*a. Is 16 a factor of r?
False
Let c(s) = 4*s**2 - 3*s - 8. Let a = -11 + 8. Is 15 a factor of c(a)?
False
Let m(i) = -3*i - 31. Let d(w) = -3 - w - 10 + 5. Let z(s) = -9*d(s) + 2*m(s). Does 9 divide z(5)?
False
Does 6 divide (0 - -1)*(-6 - -11) - -2317?
True
Suppose -5*z - 4*k + 123 + 1429 = 0, -2*k = -6. Suppose 2*l - 234 = z. Is l a multiple of 12?
False
Let a(v) = -2*v - 7. Let d be a(-6). Suppose 2*t + 4 = 3*t + d*p, 5*p = 0. Suppose -27 = -t*b + 77. Is 13 a factor of b?
True
Suppose -2*o + 3*f = -324, o - 819 = -4*o + 3*f. Suppose 255 = 6*x - o. Is x a multiple of 14?
True
Let y be 6/(-9) - (-24)/9. Suppose 3*n = -y*n + 3*z + 218, 3*z = 2*n - 89. Suppose -17 = -3*k + n. Does 20 divide k?
True
Let d = 737 + -15. Is d a multiple of 68?
False
Suppose 4*x - 4 = 0, 5*t - 3*x + 17 - 4 = 0. Let c be 0*(-5 - t)/(-3). Is 7 a factor of -1*(-1 + c + -20)?
True
Suppose 4*i - 808 = 4*a - 8*a, 15 = -5*i. Does 41 divide a?
True
Let x be 2/(-4) + 45/10. Suppose -2*c - 5*m + 4 = -11, 5*c + 12 = x*m. Suppose -d - d + 40 = c. Does 20 divide d?
True
Let g be 2 - (3 - (-3 + 2)). Let m be (-17 + 15)/(1/g). Does 31 divide (62/(-4))/((-2)/m)?
True
Suppose -1 = 4*a - 9. Let c be 4/(7 - 3) + a. Suppose -5*n - 5*g = -75, 2*n + c*g - 6*g - 55 = 0. Is n a multiple of 4?
True
Let o(b) = b + 1. Let i be o(0). Let x be ((-74 + 3)*i)/(-1). Suppose 19 + x = 5*z. Is 6 a factor of z?
True
Let t(m) = 3*m**3 + m**2 + m - 1. Let d be (6/30)/(1/5) + 1. Is t(d) a multiple of 15?
False
Let v be ((-18)/6*-3)/((-2)/(-66)). Suppose 0*n + v = 3*n. Is 16 a factor of n?
False
Suppose 0 = -23*w + 36*w - 2340. Does 6 divide w?
True
Suppose -3*t - 18 = -204. Suppose -t = -u - 27. Is 5 a factor of u?
True
Let p = -2 - 18. Let d = p + 56. Does 11 divide d?
False
Let k = -176 - -200. Is k a multiple of 19?
False
Let t(p) be the second derivative of -p**5/20 + p**4 + p**3/3 - 4*p**2 - 3*p. Let b be t(12). Let w = -10 + b. Is w a multiple of 5?
False
Suppose 0 = -14*o + 2*o + 12. Is (3 - o - 3)/(1/(-75)) a multiple of 25?
True
Is 400/2 + (-2)/(15 - 17) a multiple of 2?
False
Let u(b) = 3*b + 3. Let w be u(2). Let m(g) = -g**2 + 12*g. Does 3 divide m(w)?
True
Let m = -8133 - -12133. Is m a multiple of 50?
True
Let u(r) = -12*r**2 - 1. Let k be u(1). Let i = k - -17. Suppose 192 = i*v - 0*v. Is v a multiple of 18?
False
Let j = 1695 - 1007. Does 25 divide j?
False
Let t(q) = 9*q + 1. Let x be t(-1). Let d = -23 + x. Let l = -2 - d. Does 9 divide l?
False
Let s = -11 + 4. Is 5 a factor of s/(-28) + 422/8?
False
Let m = -12 + 57. Is m a multiple of 45?
True
Suppose -3*q = w - 23, 61 = q + 4*q - 4*w. Suppose -q*z + 4*z = -270. Is 14 a factor of z?
False
Let y(w) be the first derivative of 6*w**2 - 17*w + 12. Does 11 divide y(6)?
True
Suppose 11*x = 8*x + 30. Suppose -x*b + 11*b = 17. Is 5 a factor of b?
False
Let n be ((-6)/(-10))/((-2)/(-30)). Suppose -n*l + 490 = -4*l. Suppose -5*i = -2*g + 26, -3*i + l = 5*g + i. Is 9 a factor of g?
True
Let x = 4990 - 2848. Does 21 divide x?
True
Let u(g) = 2 - 12 - 6*g + 23*g + 24*g. Does 39 divide u(5)?
True
Let c = -8 + 25. Let i be c - ((2 - 0) + -1). Let t = 25 - i. Is t a multiple of 7?
False
Let q = 122 + -17. Is q a multiple of 30?
False
Suppose v - 7*h - 403 = -6*h, 16 = -4*h. Is 3 a factor of v?
True
Let k(m) be the second derivative of -m**6/360 - m**5/60 - 5*m**4/12 - 3*m. Let h(g) be the third derivative of k(g). Does 3 divide h(-4)?
True
Suppose -10*f + 8*f + 34 = 0. Suppose 4*i + 32 = 2*q, 0 = 2*i - 2*q + 4 + 8. Let d = f + i. Does 4 divide d?
False
Let y = 301 - 41. Is y a multiple of 9?
False
Suppose 27*p - 919 = 26*p + 4*m, -p + 2*m + 927 = 0. Is p a multiple of 4?
False
Let j be 52*((-5)/(-2) + -4). Is (j/12)/((-3)/36) a multiple of 13?
True
Let b(s) = 6*s**2 - 2*s + 1. Suppose -2*j = 14 + 42. Let a be (-6)/(-21) + (-48)/j. Does 6 divide b(a)?
False
Let f be (-23)/(-4) + (-1)/(-4). Let w = 13 - f. Suppose 0 = 2*a - 3*t - 72, w*t = -4*a + 2*t + 188. Is 14 a factor of a?
True
Let a(d) = -3*d - 11. Let l be a(-5). Is 9 a factor of -1*(l - -17)*-1?
False
Let y be -1*1*(-3 + -80). Let g = y - 18. Is 13 a factor of g?
True
Suppose 0*p - 1 = -3*j + 5*p, -5*j = p - 11. Does 8 divide (7 + j + -41)/((-2)/4)?
True
Let a = 14 + -10. Is 8 a factor of a/(-5*(-5)/125)?
False
Is 29 a factor of (660/(-44))/((-6)/1078)?
False
Let m(h) = h + 7. Let c be m(-3). Let p = 7 + -4. Suppose p*v = c*v - 4. Is 4 a factor of v?
True
Suppose -32 - 28 = -20*g. Suppose -2 = t - 5. Is g + (12 - -1)*t a multiple of 17?
False
Does 2 divide (5 - 22/4)/((-2)/324)?
False
Let d be (-270)/38 - (-6)/57. Is d/21 - 1686/(-9) a multiple of 17?
True
Suppose -21 = -5*w + 4*v, -2*w + 4*v + 10 = 4. Does 7 divide -3 - w/(5/(-38))?
True
Suppose 5*u = 5*o - 9 + 34, o = -2*u + 7. Let g(t) = 3*t**2 + t + 1. Let m be g(o). Is 11 a factor of -6*(-20)/m + 1?
False
Suppose -4*u - 4*y = 260, 305 = -5*u + 4*y - 5*y. Let l = u + 90. Does 30 divide l?
True
Is 13 a factor of 26/7 + -4 + (-8012)/(-14)?
True
Let d be (-3)/(1*-2*12/64). Let r(k) = 3*k**2 + 8*k + 29. Is 19 a factor of r(d)?
True
Let c be (-240)/32*2/(-5). Let p = c + 17. Is p a multiple of 10?
True
Let s(q) = 62*q - 820. Is 23 a factor of s(33)?
False
Let r(z) = 5*z**3 - 2*z - 1. Let p be (-4 + 1)/((-21)/14). Let h be r(p). Suppose o + 4*o = h. Is o a multiple of 4?
False
Suppose 5*p = 8 + 12. Suppose 2*h - 24 = p*f, h = -3*f + 10 + 17. Does 5 divide h?
False
Suppose 3*c + c = 16, -4*c - 319 = -5*l. Let p = l - 58. Is p a multiple of 9?
True
Let u be 2/(-2) + 0 - -1. Suppose 3*d + 4*g - 117 = -0*d, -3*d + 3*g + 138 = u. Let s = d - 30. Does 8 divide s?
False
Let q = -488 + 908. Let u = q + -125. Suppose -4*j + u = 83. Is j a multiple of 11?
False
Suppose 3*w + b - 1108 = 0, 2*w - 3*b - 736 = -b. Does 9 divide w?
True
Suppose 23*g - 18366 = -6498. Is 7 a factor of g?
False
Let w(r) = r**3 - 5*r**2 - 4*r - 2. Is w(8) a multiple of 4?
False
Let k(f) = -f**3 - 2*f**2 - 26*f - 13. Is 18 a factor of k(-6)?
False
Suppose -2*l + 10 = 0, n + 8*l = 3*l + 22. Let u(s) = 2*s**2 + 2*s + 3. Does 3 divide u(n)?
True
Suppose -3*u - 2*z + 340 + 576 = 0, -600 = -2*u - 4*z. Is 2 a factor of u?
True
Let g be 187/33*(0 + 5 - -1). Suppose -g = 3*h - 118. Is h a multiple of 4?
True
Suppose -2*q - 4*w + 4 = 0, 0 = -5*q + 5*w - 1 - 4. Suppose -5*b = -s + 52, q*b - b + 34 = s. Does 6 divide s?
False
Let r(l) = 136*l**2 + 7*l + 10. Is 15 a factor of r(-2)?
True
Let m(v) = 227*v**2 + 6*v - 5. Let z = -63 + 64. Is m(z) a multiple of 19?
True
Suppose 0 = -3*o - 2*o. Suppose -36 - 41 = -5*d + 3*t, o = -d - 3*t + 19. Is d a multiple of 16?
True
Suppose 0 = -13*o + 3*o + 490. Suppose -4*h = -0*h - 284. Let q = h - o. Is q a multiple of 7?
False
Suppose k = 3*z + 5*k - 11, 0 = 2*z - 4*k - 14. Does 13 divide 65*(z/35)/((-1)/(-7))?
True
Let q(b) = -b**2 + 6*b - 5. Let j be q(4). Suppose 2*h + x + 3*x = 148, j*h - 230 = 2*x. Is 9 a factor of h?
False
Suppose -22*g = -21*g. Suppose -2*q + g*q + 90 = 0. Is 15 a factor of q?
True
Let q be 89 - ((-10)/(-2) + -2). Suppose 3*v - v = -q. Let p = 100 + v. Is 22 a factor of p?
False
Let n(l) = 2*l**2 + 17*l + 11. Let w be n(-8). Is 10 a factor of ((-12)/(-8))/(w/80)?
True
Suppose 24*d - 46*d + 5104 = 0. Is 7 a factor of d?
False
Suppose 4*c = -9 + 129. Is 31 a factor of 310/(-3)*(-45)/c?
True
Let u(s) = s**2 - 6*s + 1. Let h(p) = p + 15. Let y be h(-8). Let r be u(y). Suppose -12 = -v + r. Is 20 a factor of v?
True
Suppose -19*r = r - 5060. Let o be 1/(5/(-2))*-45. Suppose 5*z = r - o. Is z a multiple of 33?
False
Is 16 a factor of (-13 - 18/(-2))/((-1)/28)?
True
Suppose r = 3*j - 17, -5*j + r = -3*r - 40. Suppose j*z - 47 - 113 = 0. Is z a multiple of 10?
True
Let q(d) = -2*d**3 - 19*d**2 - 14*d - 11. Let b(t) = -3*t**3 - 28*t**2 - 21*t 