ivide g?
True
Let p(n) be the third derivative of -n**4/24 + 25*n**3/3 + 53*n**2. Is p(16) a multiple of 7?
False
Is 10972/(-13)*(18/(-8) + 2) a multiple of 6?
False
Let m(o) = -o**3 - 3*o**2 - 2*o + 5. Let g be m(-4). Suppose -g = -5*r - 3*s, 4*r + 12 = -3*s + 34. Let w(z) = z - 3. Does 2 divide w(r)?
True
Let w be 26/10 + 6/15. Suppose 0 = 2*o + 5*o - 35. Suppose -w*g = -o*l - 21, 2*g + 0*l - 27 = -l. Is g a multiple of 4?
True
Suppose -36 = -2*s + 4*a - a, s = 3*a + 18. Suppose 0 = -3*g + s + 87. Is g a multiple of 12?
False
Let v be (-10)/3 + (-3)/(-9). Let n be -2 + 6 + v + 66. Is (-2 - 0 - -1) + n a multiple of 22?
True
Let r(x) = -35 - 54 + x + 5. Let u be r(0). Is 7 a factor of (u/10)/((-39)/130)?
True
Let c(h) be the third derivative of h**5/60 - h**4/3 - 4*h**3 - 5*h**2. Is c(12) a multiple of 3?
True
Let q(y) = y**3 + 17*y**2 - 19*y + 11. Let w be q(-18). Suppose -v + w = 5. Does 12 divide v?
True
Let p(o) = 36*o**2 - 2*o. Is 15 a factor of p(3)?
False
Let f be -2 - -5 - 0 - (-6)/6. Suppose x = -f*x + 180. Is 9 a factor of x?
True
Let g = 32 - 17. Let u(p) = p**3 - 15*p**2 + 3. Does 2 divide u(g)?
False
Suppose -2*t + 6 = -2*o + 516, 5*o + 3*t - 1275 = 0. Does 2 divide o?
False
Suppose -5*g + o - 124 = -2*g, -5*o + 20 = 0. Let h = g + 48. Is 8 a factor of h?
True
Let w(f) = 5*f**2 - 9*f + 1. Let k be w(5). Suppose -t + 4*t = 5*o - k, 3*t - 39 = -3*o. Is 4 a factor of o?
False
Is ((-801)/(-36))/(1555/(-780) - -2) a multiple of 10?
False
Suppose -2*p - 1188 = -20*p. Is 3 a factor of p?
True
Let f = -31 - -34. Suppose f*n = 5*z + n - 26, -5*z = 4*n - 38. Does 3 divide z?
True
Let z(i) = 319*i**2 + 3*i - 2. Let m be z(1). Suppose 20 + m = 5*o. Suppose 0*f - f + o = 5*u, f + 2*u = 56. Does 12 divide f?
True
Let v(a) = a**2 + 7*a - 3. Let h be v(-8). Suppose 0 = 3*s - h*s + 58. Is 13 a factor of 0 - (s/(-1) - 3)?
False
Suppose 10 = -5*y, 2*s + 3*y - 8 = -2. Let b(l) = l + 1 + 1 + 10. Is 6 a factor of b(s)?
True
Let o(j) = j**2 + 10*j + 10. Let u be o(-9). Does 5 divide 0 - (0 + (-30 - u))?
False
Let w(n) = 3*n**3 - 17*n**2 + 18*n - 16. Is 36 a factor of w(8)?
True
Let r be ((-27)/45)/((-6)/20). Suppose 2*p + 0*p = 2*l + 74, -r*p = -5*l - 89. Is p a multiple of 16?
True
Let n = 656 + -581. Is n a multiple of 4?
False
Suppose 4*r = q - 0*q + 2285, -5*q + 545 = r. Suppose 0 = -16*a + 19*a - r. Is a a multiple of 38?
True
Is 3 - 1 - -56 - (-5 - -3) a multiple of 15?
True
Let h = 13 + -13. Suppose h = -0*c + c - 35. Is c a multiple of 20?
False
Let l(s) = -28*s - 25. Does 8 divide l(-3)?
False
Let m = 97 + -50. Let r = m - 15. Is r a multiple of 10?
False
Suppose 2647 = 6*l - 5579. Does 97 divide l?
False
Let n(a) = 7 - 16 - 5*a + 5. Let v be n(-2). Suppose x - v = 2. Is x a multiple of 6?
False
Suppose 3499 + 4061 = 9*a. Does 10 divide a?
True
Suppose -5*f + 195 = 5*z - 185, z - 82 = f. Suppose -k = 5*u + z, 2*u + 106 + 60 = -2*k. Let g = k - -148. Is g a multiple of 18?
False
Suppose 3*r + 11*c - 4796 = 9*c, -5*r = -5*c - 7985. Is r a multiple of 17?
True
Suppose 5*m + 5*f = 3*f + 6411, -3*f = -9. Is 45 a factor of m?
False
Let k(d) = -3*d**3 - 8*d**2 - 4*d + 18. Let g(i) = -2*i**3 - 8*i**2 - 4*i + 17. Let s(x) = 5*g(x) - 4*k(x). Is 25 a factor of s(6)?
False
Suppose 0 = 582*l - 576*l - 8784. Is l a multiple of 64?
False
Let q(b) = 47*b**2 + 5*b - 22. Is 22 a factor of q(-5)?
False
Let r = -387 + 1269. Does 18 divide r?
True
Let d be -4 + (14/(-4))/((-7)/28). Let x(j) = -10*j + 13 - j**2 - 2*j**2 + 4*j**2. Is x(d) a multiple of 13?
True
Let d = -75 + 83. Is 3/6*d - -20 a multiple of 12?
True
Let k be (-9)/6*-32*(-2)/(-6). Suppose 0 = k*o - 13*o - 165. Is 11 a factor of o?
True
Suppose 0*n + 3*n = 36. Is (n/(-8))/(3/(-34)) a multiple of 4?
False
Is 4726*(-14)/4*20/(-140) a multiple of 16?
False
Let v(f) = -f**2 + 14*f. Let j be v(14). Let g(t) = 2 + 8*t + 3*t + 4 + j*t. Is g(3) a multiple of 19?
False
Let m be 114/(-7) + (-24)/(-84). Let n = -12 - m. Suppose c + n*c = 360. Is 12 a factor of c?
True
Let w be 32/(-6) - (-4)/(-6). Let h be (-4)/w*(-153)/34. Does 19 divide h/12 - (-1359)/12?
False
Suppose -7*o + 2401 = 4*y - 6*o, 2*y + 3*o = 1203. Is 50 a factor of y?
True
Suppose -112 = -4*i + 12*i. Suppose -2*y = -f + 4*f + 82, -4*f + 30 = -y. Let b = i - y. Is 12 a factor of b?
True
Let c(l) = 48*l - 240. Is c(19) a multiple of 32?
True
Let j = 24 + -42. Let y be (-1256)/j + 2/9. Suppose -y = -2*o + 70. Is 19 a factor of o?
False
Let r(y) = -999*y + 27. Is 75 a factor of r(-2)?
True
Let m = 341 - 152. Does 21 divide m?
True
Suppose g - 20 = 3*g + 4*w, w = -4*g - 19. Is 2 a factor of g/(-18) - 224/(-126)?
True
Let a(m) = -m + 60. Let l be (3 - 0) + -6 - -3. Is 10 a factor of a(l)?
True
Let f be (24/10)/((-2)/(-10)). Let v be (f/(-2))/((-42)/28). Suppose -v*h - c + 156 = 0, 30 = -5*h + 3*c + 225. Is h a multiple of 13?
True
Let r(m) = 3*m**2 + 3*m. Let y be r(-4). Suppose -2*d - d + 54 = 4*j, -y = -3*d + 2*j. Does 7 divide (0 - 1/(-2))*d?
True
Suppose 852 = -7*f + 3337. Is f a multiple of 4?
False
Let s = -88 + 169. Suppose -4*a + 23 + s = 0. Is a a multiple of 7?
False
Let s(t) = 6*t - 50. Let x be s(18). Suppose 5*c - 552 = x. Does 12 divide c?
False
Suppose -3*m + 0*m - 5*t = 61, 69 = -3*m + 3*t. Let r = m - -30. Does 5 divide r?
False
Suppose 2*c = -2*b + 4, -2*b + 4*b - 5*c = 32. Suppose 15*v - 351 = b*v. Is v a multiple of 4?
False
Suppose -2*c = 3 + 3. Does 29 divide (-2 + 2)/(-4 - c) + 70?
False
Suppose -161*m + 153*m + 104 = 0. Is m even?
False
Let j be 4/(-30) + 47/15 + 1. Suppose 3*n + 117 = u, 3*n = 4*n + j. Is 23 a factor of u?
False
Suppose 0 = 5*k - 0*k + 4*y - 8310, 2*y + 5008 = 3*k. Does 34 divide k?
True
Suppose g - 181 = 294. Suppose -z + 4*z = 3*p - 354, -4*p + g = -z. Does 20 divide p?
False
Suppose 0 = -3*w - r + 4872, 2*w = -2*r - 111 + 3355. Is w a multiple of 39?
False
Let i(o) = 3*o**2 + 7*o - 1. Let m be i(-3). Does 3 divide 5/(-4)*(-60)/m?
True
Let i = 25 - -41. Is 4 a factor of i?
False
Let k(r) = 16*r - 342. Does 36 divide k(37)?
False
Let i = 153 - -8. Suppose 3*q - 1 = j + i, 4*q - 2*j = 218. Let u = q + -15. Is u a multiple of 11?
False
Let s be 6/(3/(-2)*1). Let r be s/24 + (-1)/(-6). Let m = r - -27. Does 6 divide m?
False
Suppose 2*a - 4*u - 40 = -3*a, 0 = -a + 4*u + 24. Suppose c - w = 55, -w - 226 = -a*c + w. Suppose c = t + 3*n, 97 = -5*t + 3*n + 297. Is 16 a factor of t?
False
Let v(z) = z**3 + 17*z**2 - 7*z + 7. Is v(-17) a multiple of 14?
True
Suppose -2*u + 1094 = -7*o + 9*o, -2*u + 4*o = -1094. Does 42 divide u?
False
Is 25 a factor of 4*-10*(-39)/12?
False
Suppose -3*a = -2*u - 0*u - 961, 0 = -u - 2. Is a a multiple of 29?
True
Let j(w) = -84*w**3 - 2*w**2 - 2*w. Is j(-1) a multiple of 7?
True
Let v = 2395 - 989. Is v a multiple of 74?
True
Let h = 1 - -3. Suppose h*r - 17 - 35 = 0. Is r even?
False
Suppose -5*x + 5*f = -25, -6 = -3*x - f + 9. Suppose 2*c - 8 = 0, 5*c - 32 = -x*m + 2*m. Is 3 a factor of m?
False
Suppose -3*t + 7*t - 60 = 0. Is 5/(t/(-21))*-8 a multiple of 14?
True
Let h(b) be the first derivative of b**4/4 - 2*b**3/3 - 2*b**2 + 11*b + 3. Let s be h(8). Suppose -10 = 3*x - 1, -5*z - 4*x = -s. Is z a multiple of 15?
True
Let h = 1705 - 995. Is 10 a factor of h?
True
Let a be ((-3570)/(-4))/(-7)*(-4 - -2). Is a/11 - 14/77 even?
False
Let j = -170 + 264. Is 5 a factor of j?
False
Let g(k) = -k**2 - 17*k - 24. Suppose -52*w = -57*w - 40. Does 8 divide g(w)?
True
Let d(r) = -14*r + 166. Is 9 a factor of d(0)?
False
Let a = -18 + 22. Suppose 0 = -a*h - 1 + 17, 4*q + 3*h = 320. Is q a multiple of 11?
True
Let u be -1 + -1 + 2 + 2. Suppose 4*y = -t + 6439, u*t + 1290 = y - 322. Is 12 a factor of 2/9 - y/(-45)?
True
Let v(u) = 5*u**2 - 13*u + 8. Let b be v(5). Suppose 220 = 8*n - b. Is 15 a factor of n?
False
Let v = 1087 - 380. Does 40 divide v?
False
Let m be (-2)/15 - 248/(-60). Suppose 3*k = m*n - 51, 4*n + 4*k = 76 - 4. Suppose 2*x - 71 = n. Is x a multiple of 11?
False
Let v(h) = h**3 + 7*h**2 - 7*h + 16. Let d be v(-8). Let w(i) = -i**2 + 13*i - 8. Is 9 a factor of w(d)?
False
Let f(p) = -7*p. Let g(s) = -90*s. Let v(i) = 27*f(i) - 2*g(i). Let n be v(-5). Suppose -c + 4*z = -n, -c + 2*c - 49 = 2*z. Is c a multiple of 17?
False
Let p be (-1 + 0)/((-20)/40). Suppose 0 = v - 28 + p. Is