 -5*w - 38 = -l, -m*w = 2 + 3. Is l a multiple of 11?
True
Suppose 0*c + 68250 = 35*c. Is 13 a factor of c?
True
Let o(q) be the third derivative of -1/3*q**3 + 0 + 1/8*q**4 + 0*q + 2*q**2 + 1/20*q**5. Is 2 a factor of o(-2)?
True
Let z = 387 + -293. Is z a multiple of 4?
False
Suppose r + 3*c = 474, 2*c = -5*r - c + 2322. Is r a multiple of 11?
True
Let p = -28 - -36. Let x = p + 37. Is x a multiple of 13?
False
Suppose 2000 = -0*z + 4*z. Does 51 divide z?
False
Let i(y) = y**3 - 8*y**2 + 7*y - 1. Let u be i(7). Let f(z) = -294*z + 1. Let j be f(u). Suppose -w = -5*x + 208 + j, -2*w - 6 = 0. Is x a multiple of 23?
False
Does 10 divide 1348*(-4)/(-16) + 2?
False
Let f(k) = 8*k - 4. Let w = 21 - 21. Suppose 5 = -5*n - 2*j + 27, w = n - 2*j - 2. Is 17 a factor of f(n)?
False
Let z(t) = 3*t**3 - t. Let c be z(1). Is 16 a factor of (-1 + 5 + -24)/(c/(-15))?
False
Is 13 a factor of ((-30)/40)/((-3)/876)?
False
Let v(r) = -7*r - 2. Let c be v(6). Let b be c/(4*1/4). Let j = b - -81. Is 10 a factor of j?
False
Suppose 3*r + n - 8 = 0, 6*n - n = -2*r + 14. Suppose 4*m - 2*m = r*b + 120, -m - 5*b = -30. Is m a multiple of 19?
False
Let v(c) be the second derivative of c**4/3 + c**3/6 - c**2 - c. Is v(2) a multiple of 8?
True
Let f = -263 - -144. Let h = -51 - f. Is h a multiple of 12?
False
Let b(h) = 2*h**2 + 8*h - 5. Let r = -42 - -36. Is b(r) a multiple of 19?
True
Suppose 4*o = 5*s + 28, o + 2*s + 6 = -0. Suppose -o*k = -3*y - 103, 2*k - 5*y - 41 = k. Is k a multiple of 14?
True
Let o = -118 + 229. Is 7 a factor of o?
False
Suppose -2*w + 29 = -39. Let t = w - 11. Does 7 divide t?
False
Suppose -53 + 13 = -5*m. Suppose -m*y - 15 = -3*y, 5*r + 5*y = 1035. Let h = r + -103. Is h a multiple of 12?
False
Suppose -3*u + 285 = -0*u. Suppose -x + 4*w + u = 0, -3*x + 3*w - 11 = -278. Let q = x + -51. Does 8 divide q?
False
Let o(q) be the first derivative of q**3/3 + 3*q**2 - 10*q + 18. Does 15 divide o(-10)?
True
Let z(b) = 3*b**3 - 5*b + 2. Let f be z(-4). Let n = -541 - -816. Let g = n + f. Is g a multiple of 15?
True
Let w be (-6)/15*(-3 - 2). Suppose -w*j + 109 = -j. Suppose 3 = 3*u, 5*u + 16 = -2*p + j. Is p a multiple of 13?
False
Suppose 3*n = 2*n - 5. Let b = -3 - n. Is (-4)/b - 0 - -40 a multiple of 9?
False
Let q = -372 + 563. Does 4 divide q?
False
Is 76 a factor of 42/4*7560/147?
False
Is (-3 + (-3 - 6))/(6/(-20)) a multiple of 10?
True
Let a be ((-21)/12)/((-2)/8). Let z(c) = 4*c + c**2 - 2 + a*c - 7*c. Does 4 divide z(-7)?
False
Let a(g) = g + 23. Let m(u) = -u**2 + 10*u - 6. Let r be m(8). Suppose r - 39 = -3*c - 5*w, -2*c - 3*w = -20. Does 12 divide a(c)?
True
Suppose -5*k = 14 + 11, -2*k - 12 = -q. Suppose -10 = q*u - 7*u. Suppose -5*s - 4*t + 117 - 29 = 0, 0 = -t + u. Does 7 divide s?
False
Let z(c) be the second derivative of c**5/20 - 3*c**4/4 + c**3/3 - 7*c**2/2 - 7*c. Is z(9) a multiple of 2?
False
Does 9 divide 4/(-30) - (-106986)/495?
True
Is 24 a factor of (43 - 9)*(1 + 11)?
True
Let o(r) = -2*r - 19. Let m be o(-8). Let t(i) = -3*i**3 - 7*i**2 - 4*i - 2. Is t(m) a multiple of 7?
True
Is 13 a factor of (((-363)/(-4))/1)/(120/480)?
False
Suppose 182 = 21*u - 23*u. Let p be (-14)/u - 111/(-39). Suppose -p*g - 168 = -9*g. Is g a multiple of 14?
True
Let l be (-4)/12 - 3/(-9). Suppose l = -5*w + 54 + 91. Is 15 a factor of w?
False
Suppose b = 3*n + 6*b - 31, 4*n = -b + 13. Suppose a - 4*a + 427 = -5*u, -4*u = n*a - 292. Is a a multiple of 18?
True
Let m(t) = -2*t**2 + t + 3. Let o be m(2). Is (o + -11)*-1 + -1 a multiple of 13?
True
Let o(p) = -p + 1. Let r(b) = -30*b + 20. Let q(c) = 5*o(c) - r(c). Does 22 divide q(5)?
True
Suppose -4*l - 445 + 1117 = 0. Is 24 a factor of l?
True
Let x be (6 - 3) + 0 - -299. Let a = x + -177. Let j = a + -68. Is 19 a factor of j?
True
Let f(c) = 44*c**2 + c. Let w be f(-1). Suppose 0 = 2*x - 5*y + 5 + 20, x - y + 5 = 0. Suppose x = -5*b - 4*a + 137 + w, -2*a + 36 = b. Does 18 divide b?
True
Let d(j) be the first derivative of j**2 + 12*j - 5. Let o be d(-6). Suppose o*v - 98 = -2*v. Is v a multiple of 22?
False
Suppose -1 = -c - r + 1, r = -2*c + 4. Suppose -6*p + c*l + 174 = -4*p, 0 = p - 5*l - 75. Is p a multiple of 15?
True
Suppose 0 = -0*x - 2*x - 88. Let q be -1*6/4*x. Let g = -34 + q. Is 4 a factor of g?
True
Let k(d) = 7*d**2 + 4*d - 83. Is 3 a factor of k(7)?
True
Let t(j) = -256*j**3 - 4*j**2 - 2*j + 1. Let a be t(-1). Is ((-90)/25)/(-2 - (-507)/a) a multiple of 51?
True
Let m(q) = 20*q**3 - 2*q**2 + 2. Let j be m(2). Suppose 2*x = -0*x + 5*w + 148, 2*x - 2*w - j = 0. Is x a multiple of 18?
False
Suppose 5*c - 11240 = -2*s, 27*c + 2245 = 28*c + s. Does 25 divide c?
True
Suppose 10 = 5*j - 2*u, j - u - 2*u = 15. Suppose j = 4*h - 3*h - 44. Is h a multiple of 6?
False
Let k(m) = -m**3 + 17*m**2 + 6*m - 16. Is k(16) a multiple of 16?
True
Let i = -15 - -15. Suppose -2*k + 2*h + 250 = i, -h - h + 646 = 5*k. Is 32 a factor of k?
True
Let z(j) = 2*j**2 + 29*j + 1. Is z(-16) a multiple of 7?
True
Suppose t = 3*c - 19 - 75, -14 = -c - 4*t. Let o = c + 112. Is 6 a factor of o?
False
Suppose 5*y = -0*y - 5. Let i(l) = -32*l + 2. Is i(y) a multiple of 16?
False
Let f = 32 - 25. Suppose 0 = 5*o - f*o + 22. Is 5 a factor of o?
False
Let p be (5/(-3))/(2/(-6)). Suppose -2*i - 2*u + 180 = 0, 27 + 243 = 3*i + 4*u. Suppose 2*m + i = p*m. Does 6 divide m?
True
Is (-2)/((-36996)/(-64890) - (-12)/(-21)) a multiple of 15?
True
Is -24 + 15 + (-14)/(-2) - -2094 a multiple of 64?
False
Let b(k) = -k**2 - 9*k - 13. Let z be b(-6). Suppose -d + 118 = z*y, y + 564 = 5*d - 0*y. Is 4 a factor of d?
False
Let r(o) = -o**3 + 9*o**2 + 28*o - 20. Is 13 a factor of r(11)?
False
Let t(i) = 4*i**3 + 2*i**2 + 2*i + 1. Let m be t(-1). Let c(f) = f**3 + f**2 - 10*f - 11. Let j be c(4). Let w = m + j. Is w a multiple of 17?
False
Let r(q) = q**2 + 3*q. Suppose -2*y - y - 3 = 5*u, 0 = -2*y - 4*u. Let k be r(y). Does 13 divide (156/k)/(6/45)?
True
Let x be (3*2)/(-3 + 4). Suppose -2*s = -0 - x. Suppose s*p = 421 - 88. Is 13 a factor of p?
False
Suppose -t + 16 = 4*b + 3*t, -t - 26 = -4*b. Suppose m - b*m + 200 = 0. Is m a multiple of 7?
False
Suppose -2*x - 2*x - 2 = 3*j, -3*j - 3*x = 0. Suppose -10 = 2*o, 3*r + r - 26 = j*o. Let q = 16 - r. Does 6 divide q?
True
Let i = -99 - -102. Suppose -4*c + i*d + 300 = c, 0 = 2*d - 10. Is 9 a factor of c?
True
Let o(i) be the second derivative of -i**3/6 - i**2/2 + 18*i. Is o(-12) a multiple of 11?
True
Suppose -50*h = -110*h + 243540. Does 33 divide h?
True
Let v be 6/12 + 138/(-4). Let w = v + 22. Let a = -6 - w. Is a a multiple of 2?
True
Let s be 12/(-16)*(-8)/(-1). Let c(u) = 2*u**2 + 12*u + 28. Does 4 divide c(s)?
True
Let g(j) = 4*j - 1. Let n be g(-19). Let s = n - -132. Is 11 a factor of s?
True
Let i(l) = 8*l**2 - 2*l + 1. Let z be i(1). Let n = 11 - z. Suppose -70 = -n*r - r. Does 14 divide r?
True
Let m(i) be the second derivative of 5*i**3/6 + 3*i**2/2 + i. Suppose 3*a = -2*a + 20. Is m(a) a multiple of 9?
False
Let j be ((-19)/(-57))/((-561)/279 + 2). Suppose s - 72 = 4*s. Let w = s - j. Is w a multiple of 7?
True
Suppose -10*u = -8*u + 3*b + 262, -5*u = -4*b + 609. Let o = 166 + u. Does 3 divide o?
False
Is 37 a factor of (1184/12)/((-5)/((-75)/10))?
True
Let s(n) = n**2 - 22. Suppose 3*p + 5 = p + 3*i, -5*p - 65 = 3*i. Is s(p) a multiple of 39?
True
Let x be (-17 - -19)/(1/(-5)). Let o(z) = z**2 + 5. Is 10 a factor of o(x)?
False
Let h be (4/6)/(3/(-63)). Let g = h + 14. Suppose -5*n = -5*b - 0*b - 230, -5*b = g. Is n a multiple of 15?
False
Let u(y) = 0*y + 6*y - 3*y + 11 - 5*y. Let p be u(6). Is p/((-192)/188 + 1) a multiple of 18?
False
Suppose -226 = -3*l - 5*y, 2*y + 343 = 5*l - 13. Let s = 168 - l. Is 17 a factor of s?
False
Let c = 1291 + -772. Does 17 divide c?
False
Let h = -15 - -20. Suppose h*d - 4*b - 35 = -b, 5*b = -4*d + 65. Suppose -7*w + d*w - 72 = 0. Does 12 divide w?
True
Let x be (3/2)/((-2)/92). Let n be ((-1332)/10 - -8) + (-1)/(-5). Let d = x - n. Is d a multiple of 14?
True
Let o(a) = 142*a**3 + 4*a**2 - a - 3. Does 4 divide o(1)?
False
Let f(p) = p - 13. Let s be f(9). Let d be s/2 + 48 + -1. Suppose 0 = -6*r + 11*r - d. Is 3 a factor of r?
True
Suppose 2*i = -4*m + 8, m = -5*i - 2 + 13. Let z be i/3 + (-1442)/(-42). Is 7 a factor of (-2 + (-12)/(-