 (2*4)/v + (18 - 19). Suppose -81 = -5*u - y*i - i, -4*u = -3*i - 40. Does 3 divide u?
False
Let c(x) = 6*x**3 - 37*x**2 - 80*x + 740. Is c(9) a multiple of 11?
True
Suppose 12*a - 26180 - 20440 = 0. Does 21 divide a?
True
Let t = -7495 - -13815. Is 79 a factor of t?
True
Let q(o) = -2*o - 2. Let d be q(-1). Suppose 0*x + 10*x - 560 = d. Let c = x - 46. Is 10 a factor of c?
True
Does 6 divide (-16)/48*(531/2)/3*-108?
True
Let f be ((-3)/4)/(4/864*3). Let x = -59 - f. Let w(a) = a**3 + 7*a**2 - 6*a + 5. Is w(x) a multiple of 11?
False
Let j = 9678 + -1322. Does 17 divide j?
False
Is 42 a factor of (-1)/((319/(-118734))/29)?
True
Is (752388/(-35))/(86/(-215)) a multiple of 78?
True
Is (1502 - (2 + -8)) + 11 a multiple of 3?
False
Is 17 a factor of (446/(-4))/((-270)/88560)?
False
Let l(d) = -d**2 + d + 142. Let b be l(0). Let j = 170 - b. Does 11 divide j?
False
Let w = 2 - 5. Let i be 0*(w - -1)/6. Suppose -5*f + g - 3*g + 125 = i, 5 = g. Does 5 divide f?
False
Let m(l) = 9*l**2 - 8*l + 42. Let g be m(5). Let c = g - 179. Is c a multiple of 24?
True
Suppose 2*o - 35*o + 3729 = 0. Is (-132)/(-48) + -3 + o/4 a multiple of 2?
True
Let w(p) = 20*p**2 + 3*p + 9. Let f be w(-3). Let b = f - -48. Does 19 divide b?
True
Let x = -38371 - -83452. Is 11 a factor of x?
False
Is 22415/25 + (-38)/(-95) a multiple of 39?
True
Let s be (42/35)/((-1)/(-10)). Suppose 4*y - 2*w = 0, -4*w + s = -w. Does 14 divide 0/(-14) + 56/y*1?
True
Let u(v) = v**3 - 15*v**2 + v - 3. Suppose -24*h - 54 = -27*h. Does 47 divide u(h)?
True
Let v(y) = 9*y**2 + 3*y - 4. Let b be (9/(-45))/(5/(-50)). Is 19 a factor of v(b)?
True
Let q = 4488 + -2941. Does 7 divide q?
True
Let i(a) = 2*a**2 - 81*a + 121. Let j be i(39). Let m = -2977 + 5266. Suppose -1247 = -j*p - 5*w, -743 = 5*p + 2*w - m. Is 28 a factor of p?
True
Suppose -7*n + 2*n - 25 = 0, -p = -n - 9. Suppose 0 = 2*b - p*b + 30. Does 10 divide -4*(2 + b/(-9))*-18?
False
Let p = 20710 - -5456. Is 294 a factor of p?
True
Let x(r) be the third derivative of -37*r**4/6 - 193*r**3/6 - 127*r**2. Is 11 a factor of x(-10)?
True
Let n(g) be the first derivative of g**4/4 + g**3 + g**2/2 - 2*g - 5. Let o be n(-3). Let j(c) = -2*c**3 - 7*c**2 - 7. Does 17 divide j(o)?
True
Let g(w) = -5*w + 10. Let v(x) = -70*x + 140. Let b(l) = -85*g(l) + 6*v(l). Let k(y) = 28*y + 173. Let r be k(-6). Is b(r) a multiple of 10?
False
Let b(s) = -2*s**3 - 12*s**2 + 11*s - 11. Let v be b(-11). Suppose -11*n - 11*n = -v. Does 3 divide n?
False
Let c be 26/(-117) + 40/18. Suppose 0 = -13*y + 67 - 15. Suppose 3*j = 2*h - 261, 0 = -y*h - c*j + 122 + 376. Is 21 a factor of h?
True
Suppose 6*l - 2282 = -3*x + 10*l, 5*l - 1483 = -2*x. Does 32 divide x?
False
Is 42 a factor of 3/((195/99780)/13)?
False
Let r = -1585 - -30186. Does 37 divide r?
True
Let a = -216 - -218. Let v(m) = m**3 + m**2 + m. Let d(y) = -8*y**3 + 6*y**2 + 7*y - 4. Let r(u) = -d(u) + 4*v(u). Does 43 divide r(a)?
True
Let s be 4/(-1) - (2 - -309). Let y(z) = z**2 - 6*z + 2. Let v be y(2). Is -12*v/27*s/(-28) a multiple of 10?
True
Let x = -84 + 90. Suppose -x*o = 5*o - 55. Suppose -2*z + 715 = 3*z - 2*w, 2*z - 265 = o*w. Is 28 a factor of z?
False
Suppose 126*y - 175*y + 239561 = 0. Is 5 a factor of y?
False
Let y be ((-1 - -1)/(-3 + 1))/(-1). Suppose y*j - 380 = 5*j. Let z = -58 - j. Does 6 divide z?
True
Let u(j) be the third derivative of j**5/60 - 5*j**4/24 + 141*j**3/2 - 66*j**2. Does 13 divide u(0)?
False
Suppose 0 = -0*a - 3*a + 63. Suppose 7*i = -0*i + a. Suppose -4*h = 3*w - i*h - 160, -3*h - 50 = -w. Is w a multiple of 23?
False
Let y(o) = 2*o + 8*o + 8*o - 3 - 17*o. Let k be y(6). Suppose -k*c - c = -500. Is c a multiple of 25?
True
Suppose -4*u - 2520 = -21672. Is u a multiple of 42?
True
Let s = 83 + -80. Let b(k) = -21*k**3 + 0*k + 22*k**s - 27 - k + 9*k**2. Is b(-8) a multiple of 28?
False
Let h(c) = -111*c - 295. Is h(-13) a multiple of 28?
True
Let p(y) = y**3 - 3*y**2 + 37. Let n be p(0). Suppose 14*o + n = -19. Let r(c) = c**3 + 4*c**2 - 4*c + 3. Is r(o) a multiple of 4?
False
Let x(s) be the first derivative of -4*s**2 + 62*s - 5. Is 65 a factor of x(-41)?
True
Let m(n) = -n**3 + 16*n**2 + 24*n + 4. Is 17 a factor of m(-10)?
False
Suppose -6*q + 75913 + 28853 = 0. Is 268 a factor of q?
False
Suppose -46*a - 5 = -45*a. Let u be (a/(-3))/((-32)/(-6) - 5). Suppose m + u*o - 49 = 0, 4*m - 5*o - 221 = -0*m. Does 18 divide m?
True
Let i(w) = -w**3 + 13*w**2 - 16*w. Let g be i(12). Let m = g + 50. Suppose -3*t + 3*l + m*l = -96, -3*t - 4*l + 123 = 0. Is t a multiple of 11?
False
Suppose -18371 = -2*o + p + 18503, -2*o = -2*p - 36874. Does 103 divide o?
True
Let b(v) = 430*v**2 + 429*v**2 + 433*v**2 + 10 - 1290*v**2 + 8*v - v**3. Is 37 a factor of b(-6)?
False
Let x be (8/10 + (-7)/15)*15. Suppose 3553 = 12*j + x*j. Does 12 divide j?
False
Let z(a) = -310*a - 8. Let r(m) = 128*m - 1. Let p(i) = -i + 1. Let w(t) = -4*p(t) - r(t). Let c(v) = 12*w(v) - 5*z(v). Is c(2) a multiple of 42?
False
Let s = -13 + 21. Let i be 1*(s - 4/4). Suppose -8 = i*d - 211. Is 5 a factor of d?
False
Let w be 4/(-14) + (-10200)/119. Let u = w - -294. Is u a multiple of 35?
False
Let g be 2*(6/10 + (-6259)/(-110)). Let j = 547 - g. Is j a multiple of 63?
False
Suppose 3*p = 2*d - 64246, p - 157401 + 28853 = -4*d. Is 16 a factor of d?
False
Suppose -a = 4*p - 14548, 0 = 3*a - 2*p - 28902 - 14784. Does 10 divide (3/(30/a))/1?
False
Is (12319/4)/((-237)/158*(-1)/6) a multiple of 8?
False
Suppose -3*v + 289 = r - 60, 0 = -r - v + 353. Is r a multiple of 15?
False
Suppose 4*a + a = -100. Let i = 38 - a. Suppose -f - 2*g = -30, -106 = -5*f + 4*g + i. Is 16 a factor of f?
True
Let h(y) = -2*y**2 + 17*y + 1. Let q(o) = o**2 - 2*o - 9. Let k be q(-3). Is 8 a factor of h(k)?
False
Is 12 a factor of 14 + 855/(-63) - (-37125)/7?
True
Let r be (1 - 4) + -57 + 11. Let x = r - -44. Let p(u) = -u**2 - 5*u + 6. Does 6 divide p(x)?
True
Let r = -23475 - -23403. Let k be (-1)/((2 + 0)/(-236)). Let h = r + k. Is h a multiple of 7?
False
Let y(t) = -t + 12. Let b be y(7). Let a(g) = -g**3 + 5*g**2 + 2*g - 1. Let q be a(b). Let m(h) = 2*h - 3. Is 15 a factor of m(q)?
True
Suppose 43417 = -36*l + 1554 + 928507. Does 30 divide l?
False
Let u be ((-12)/(-3))/(0/2 - -2). Suppose k - u*p = -4*p + 10, 0 = -p + 5. Suppose 0*r - 2*r + 42 = k. Is 7 a factor of r?
True
Let o = -1425 - -12596. Is 14 a factor of o?
False
Let f be (3 - 93/6)*(-8)/10. Let v be ((-244)/f)/(3/15). Let b = 239 + v. Is b a multiple of 13?
True
Let v be (-9 + 0)*(-4)/(-12)*-1. Suppose 6 = 3*g + 3, 4*d + v*g - 591 = 0. Is (1 + 1)*d/14 a multiple of 7?
True
Suppose 3*h = -8*h + 22. Let x(v) = 2*v**2 - 2*v - 2. Let p be x(2). Suppose z = -5*w + 17 + 31, -p*w - 108 = -h*z. Does 11 divide z?
False
Suppose 3*w + w + v + 553 = 0, v + 415 = -3*w. Is 42 a factor of 283/3 + (-92)/w?
False
Suppose -p = -5*q + 28, 34 = -p - 0*q + 2*q. Let w(x) = -x**3 - 40*x**2 - 78*x + 12. Does 44 divide w(p)?
True
Let f be 131 + (0 - (8 - 4)). Suppose -f = -w + 3*u + 126, -2*u + 970 = 4*w. Let j = 436 - w. Does 26 divide j?
False
Is 6 a factor of (186 - (-1)/(10/40)) + 6?
False
Suppose -10*a + 17470 + 18190 = 0. Is 6 a factor of a?
False
Let g(c) = 49*c - 279. Let n be g(6). Suppose -17*b = -5*d - n*b + 1221, -d = -2*b - 249. Is d a multiple of 50?
False
Suppose -5*k - 2*c = 2*c - 5098, 0 = 2*k + 5*c - 2029. Suppose -71 = 4*x + 3*i - k, -5*x + 1206 = -2*i. Is x a multiple of 14?
False
Let x(i) = -i**3 - 10*i - 2*i - 94*i**2 + 89*i**2 + 9. Is x(-6) a multiple of 13?
True
Let h be 8 + 11/(-1) + (-20)/2. Let s(l) = -28*l + 106. Is 10 a factor of s(h)?
True
Let z(m) = 52*m**2 - 57*m + 252. Does 33 divide z(26)?
False
Suppose 2*f + 2*f + 2*q + 10 = 0, 0 = -3*f + 4*q + 9. Let s be f - ((1 - 3) + -3). Suppose -s*d - 3*d + 112 = 0. Is 8 a factor of d?
True
Suppose -205 = -2*j + 135. Suppose 0 = 3*t - 5*s - j, 2*s = 4*s - 4. Is 5 a factor of t?
True
Let p = 720 + -135. Suppose w - 383 = -2*l, 3*l + 7*w = 2*w + p. Is l a multiple of 5?
True
Suppose x + 4*x = -30. Let a = 9 + x. Suppose 4*l - 78 = a*o + 68, 173 = 5*l + o. Does 5 divide l?
True
Let n(y) be the third derivative of y**6/120 - 7*y**5/12 - 4*y**4/3 + 34*y**3/3 - 134*y**2. Does 81 divide n(36)?
False
Let n(m) = -3*m**3 - 6*m**2 - 3*m + 11