 9?
False
Suppose 585*v = 578*v + 1960. Does 5 divide v?
True
Let i = 348 - 339. Let l(p) be the first derivative of p**3/3 - 7*p**2/2 + 8*p - 1. Is 9 a factor of l(i)?
False
Suppose -3*m = y - 37799, 2*m - 25199 = 2*y - 3*y. Is (-4)/22 + m/88 a multiple of 11?
True
Let v be -2 - (4 - 3 - 51). Suppose 5*w - v = -f + w, 3*f = -3*w + 117. Does 10 divide f?
False
Suppose 0 = -282*d + 275*d + 63. Does 4 divide d?
False
Let v = -10 + 12. Let k(w) = -8*w**2 + 13*w**2 + 7*w + 8 - 3*w**3 + v*w**3. Is 11 a factor of k(6)?
False
Suppose 0 = 14*p - 912 - 2028. Is p a multiple of 19?
False
Let f be (-42)/(-21) + 1 + 2. Let m(i) = 14*i**2 - 16*i + 57. Is 29 a factor of m(f)?
False
Let p be -1*2/6 + (-60)/(-18). Suppose p*v = 4*f - f + 114, 74 = 2*v - 4*f. Is 39 a factor of v?
True
Let v(n) be the first derivative of n**2/2 + 4*n + 4. Let m be v(-8). Is 9 a factor of (18/m)/(13/(-52))?
True
Let r be 114/38 + -1 + 647. Suppose -3*p - 872 = -4*o - p, r = 3*o + p. Does 16 divide o?
False
Let b(c) = -2*c**3 - c - c**2 + 2*c - 3*c**2. Let j be ((1 - 0)*(-48)/(-12))/(-1). Does 13 divide b(j)?
False
Let y(u) = 2*u + 12. Let x be y(0). Let s = x + 1. Suppose -s*m = -11*m - 36. Is m a multiple of 6?
True
Let o = -780 + 1198. Is 22 a factor of o?
True
Let y = -204 - -1219. Is 5 a factor of y?
True
Let a = 20 - 18. Suppose -j = -3*u + 4, -a*u = 2*j + j + 12. Is 12 a factor of ((-6)/j)/(3/60)?
False
Suppose 3*b + 494 = -4*t, 0 = -3*t + 2*b + b - 381. Let v = t - -197. Does 18 divide v?
True
Let y = -89 - -88. Is 38 a factor of (10/15*-19)/(y/3)?
True
Suppose 7147 = 3*f + i + 2256, 2*i + 1628 = f. Does 40 divide f?
False
Let o(r) = -3*r**3 - r**2 + 7*r + 115. Let c(k) = 5*k**3 + 2*k**2 - 11*k - 172. Let n(t) = 5*c(t) + 8*o(t). Is 20 a factor of n(0)?
True
Let j(u) = -17*u. Let h be j(-1). Suppose 0*f = 3*x - 2*f + h, 4*f - 16 = 0. Is 3 a factor of x/6*-3*2?
True
Is ((-12)/(-8))/(2 + 973/(-488)) a multiple of 6?
False
Suppose 3*d + 59 - 413 = 0. Is 31 a factor of d?
False
Suppose -73*w - 13243 + 149972 = 0. Does 13 divide w?
False
Let g be 226*(12/8)/(-3). Is 14 a factor of -2 - (3 + g) - -4?
True
Does 15 divide 43666/91 - 22/(-143)?
True
Suppose -5*d + 45 = 5*z, d - z - 2*z = -11. Is 6 a factor of (-38)/d*(-30)/15?
False
Is (209 - 0) + (8 - 8/4) a multiple of 13?
False
Let g = -34 + 39. Suppose c - 48 = 2*f + 68, -20 = g*f. Is c a multiple of 18?
True
Let i = -90 + 91. Let k(q) = 94*q**2 - q. Is k(i) a multiple of 21?
False
Let j(y) = -y**2 + 8*y + 11. Let b be j(8). Let g = 4 - -16. Let l = g - b. Is l a multiple of 3?
True
Let b = 2119 - 2088. Does 3 divide b?
False
Let s = 1 - -33. Does 25 divide s?
False
Suppose 2*f = 89 - 17. Suppose -l = -60 - f. Does 24 divide l?
True
Is (-288)/(-1344) - (-24987)/14 a multiple of 35?
True
Suppose 0*p - 5*k - 11 = -3*p, 0 = -5*p - 2*k + 8. Suppose -p*a - 4*a = -60. Is 8 a factor of a?
False
Let v(a) = -5*a**2 - a + 6. Let t(o) = 10*o**2 + 2*o - 11. Let h(r) = 6*t(r) + 11*v(r). Let w be h(-2). Does 9 divide (2 - 2) + -2 + w?
False
Let y(u) = 8*u**3 + 4*u**2 - 5*u - 13. Let b be y(-3). Let o = -114 - b. Is 4 a factor of o?
True
Let h(l) = l. Let s be h(1). Let c be (s - 4)/(12/(-8)). Suppose -2*y + c*g + 78 = 0, 20 = -3*g - g. Is y a multiple of 17?
True
Suppose -33 = -2*s - s. Suppose 290 - 214 = 19*b. Suppose -s = -o + b. Is 5 a factor of o?
True
Let u be ((-12)/8)/3*-956. Suppose -203 - 35 = -2*t + 2*m, 3*m = 4*t - u. Let r = t + -58. Is r a multiple of 14?
False
Let q be (4 + -1)*(3 - (-30)/9). Suppose q*g = 13*g + 402. Is 17 a factor of g?
False
Suppose 15 = 6*p - 3*p. Suppose -3*z - 2*z - p = 0, -5*r - z = -14. Is 3 a factor of r?
True
Suppose 2727 + 4033 = 5*c + f, 0 = 4*c + 2*f - 5408. Suppose -2*k - 2*k + c = 0. Let s = k - 240. Does 14 divide s?
True
Let j be 12/9*(4 - 1 - 0). Suppose 0 = -8*k - j*k + 2508. Is k a multiple of 12?
False
Let m(z) = -8 + 9 - 3*z + 23 - 1. Let h be m(7). Is 5 a factor of 21/h - (-1)/(-2)?
True
Suppose 0 = -61*i + 70*i - 2196. Does 4 divide i?
True
Let j(i) = -i**3 - 27*i**2 - 14*i + 12. Is 30 a factor of j(-27)?
True
Suppose 3110 = 30*s - 28*s - 4*g, 0 = -4*s + g + 6206. Is s a multiple of 84?
False
Suppose -f + 22 = 3*s, -141 + 40 = -4*f + s. Let k be (44/20 + -3)*f. Is 1 + k/(1 + -3) a multiple of 3?
False
Suppose 5*s + 5*f = 180, 5*s - 100 = 2*s - f. Let z = s + -5. Is z a multiple of 24?
False
Let k(j) = j**2 - 7*j + 5. Let h be k(6). Is (-243)/(-12) + h/4 a multiple of 10?
True
Let b = -4 + 6. Does 9 divide (0 + b)*18*15/12?
True
Let s(j) = 2*j**3 - 26*j**2 - 9*j - 77. Is s(15) a multiple of 43?
True
Let x = 9 + -7. Let m(l) = -4*l + x - l**2 + 1 - 6*l + 18*l. Is 5 a factor of m(6)?
True
Let r(h) = h**3 + 14*h**2 + 24*h + 10. Is 10 a factor of r(-10)?
True
Let b(n) = -n**2 + 7*n + 7. Let o be b(10). Let r(u) = -6*u**2 - 7*u - 4. Let i be r(-5). Let l = o - i. Is l a multiple of 32?
True
Let w = -50 + 50. Does 10 divide (-11)/(w - 1/2)?
False
Suppose 5*i = 3*i - 4. Let h be (0/(-2) - i) + 4. Does 4 divide (25 - 1)*3/h?
True
Suppose 22*t - 17*t + 5*r - 1055 = 0, 0 = 3*t - 4*r - 619. Does 14 divide t?
False
Let s be 26/4*(6 + -4). Let q = -11 + s. Suppose 53 - 7 = q*h. Is h a multiple of 7?
False
Suppose 3*p + 12 - 108 = 0. Suppose -k + 114 = p. Is k a multiple of 13?
False
Let k be -5 + 8 - -1*1. Let p be k/30 - (-6)/(-45). Suppose p = -0*w + 5*w - 100. Does 20 divide w?
True
Is (-3 + -1)*(-16)/(-40)*-185 a multiple of 24?
False
Let j = 7 - 29. Let f = j + 104. Is f a multiple of 12?
False
Let n(y) = y**2 + 2*y - 12. Let s be n(-5). Suppose -u + 19 = s*o + u, 7 = 3*o - 4*u. Suppose 4*j = o*d + 106, 5*j + 0*j + 5*d - 110 = 0. Is j a multiple of 24?
True
Let y be 1 - -2 - -1 - -9. Suppose 41 - y = f. Does 15 divide 2/7 + 412/f?
True
Let f(l) be the third derivative of -l**4/2 + 5*l**3/6 + 6*l**2. Let n be f(-2). Suppose z - 5 = n. Is 17 a factor of z?
True
Is 42 a factor of (-1)/(-8) + 40770/240?
False
Let w = 1235 - -2097. Is w a multiple of 17?
True
Let i(u) = u**2 - 5*u. Let n be i(5). Suppose 3*k = -n*k. Suppose -143 = -3*b - 2*z - k*z, -2*z = 5*b - 233. Is 20 a factor of b?
False
Let m = -316 - -821. Is 23 a factor of m?
False
Suppose 2*c = l + 3222, -3216 = -2*c - 32*l + 30*l. Does 51 divide c?
False
Suppose -5*k - 5*r + 95 = 0, -5*k + 2*r + 52 = -2*k. Is 0 + 1 - (k/(-6) + -265) a multiple of 13?
False
Suppose 0 = -4*o + 20, -2*c + 69 = 7*o - 2*o. Is 11 a factor of c?
True
Let a be (-28)/(-16) + (-3)/(-12). Suppose 27 = 3*h + a*q - 41, 60 = 4*h - 5*q. Let x = h - 6. Is 7 a factor of x?
True
Suppose -6*p = 5*k - 5*p - 1358, -2*k = 5*p - 557. Suppose 0 = -n - 5*r + 33 + 113, 2*n = -3*r + k. Is n a multiple of 26?
False
Let l(s) = 3*s**2 + 14*s - 29. Does 24 divide l(7)?
True
Let j = -20 - -19. Is 152/9 - j/9 a multiple of 17?
True
Let n(z) = -47*z**3 + 5*z**2 + 8*z - 2. Is n(-2) a multiple of 42?
True
Let m be 4*-4*(-4)/32. Suppose 3*d - 105 = -v + 171, m*d + 276 = v. Suppose 4*s = -0*s + v. Is s a multiple of 14?
False
Let h be (2 + 0)*((-315)/14)/(-3). Suppose -5*k = 4*u - h - 665, -u - k + 169 = 0. Is 33 a factor of u?
True
Suppose -3*c - z + 261 = -6*z, -9 = -3*z. Let s(p) = p + 15. Let o be s(-13). Suppose -c = -2*r - 4*l, -o*l = 2*r + 3*r - 262. Does 15 divide r?
False
Suppose -420*t - 7790 = -430*t. Is 41 a factor of t?
True
Suppose -2*c + 19 = o + 3*c, -o - 2*c + 10 = 0. Suppose o*w - 4*a - 438 = -34, 0 = -4*w - 5*a + 449. Does 9 divide w?
False
Suppose -231 + 13 = 3*v + 5*j, 5*v = -3*j - 358. Is v/(-2) + (-33)/(-22) a multiple of 5?
False
Let o = 352 - 202. Is o a multiple of 25?
True
Suppose 15*x - 100 = -4*c + 19*x, -5*c - x = -155. Is 6 a factor of c?
True
Suppose 2*u - b + 30 - 1 = 0, u = -2*b - 27. Let y = u - -29. Does 11 divide y?
False
Suppose 52 = -24*f + 28*f. Let a = -14 + f. Is 25/((5 - 3) + a) a multiple of 13?
False
Suppose 3*t + 3*i = 6, 2*t - i = -t + 22. Let z(d) = d**2 + 25*d - 16. Let x be z(-26). Suppose 276 = -t*c + x*c. Is 26 a factor of c?
False
Let a(d) be the second derivative of 11*d**3/6 - 11*d**2/2 - 14*d. Is 22 a factor of a(7)?
True
Let u = -21 + 22. Is 10 a factor of (32/(-40))/(u/(-25))?
True
Suppose -21*c + 11869 = -584. Does 10 divide c?
False
Suppose -2*h - 2*k = -3*h + 24, -h + 15 = k. Suppose -31 = x - 18. Let l = h + x. Is l a multiple o