 882 = -28*p. Does 11 divide p?
False
Let f be -1*6/(-2) - -114. Is 20 a factor of (-7)/(-28)*12 + 0 + f?
True
Let v(k) = k**3 - 5*k**2 + 4*k + 4. Let m be v(5). Let y be 2/8 - (-1026)/m. Let n = 29 + y. Is n a multiple of 21?
False
Let j(s) = 3*s + 17. Let z(v) be the third derivative of v**4/6 + 8*v**3/3 + 2*v**2. Let q(l) = -3*j(l) + 4*z(l). Is 14 a factor of q(7)?
False
Let n(x) = -1179*x - 193. Does 44 divide n(-3)?
True
Suppose 1025 = 5*x + 5*m, 5*x + m + 205 = 6*x. Is 41 a factor of x?
True
Suppose -2*d + 17 = 7. Suppose d*q = -24 - 56. Let v = q + 28. Does 12 divide v?
True
Does 36 divide 3/18*147*22?
False
Let f(j) = 53*j**2 - 14*j - 46. Is f(-6) a multiple of 14?
True
Suppose -7*i + 273 + 70 = 0. Suppose 5*y - 304 + i = 0. Is y a multiple of 21?
False
Let r be -3 - (-6)/(30/65). Suppose -2*a = 2, 0*l + 5*a - 5 = 5*l. Is 9 a factor of (-1 + r)/(l/(-2))?
True
Suppose 3*s - 6*s - 9 = 2*k, 3*k = -5*s - 14. Let c = s + 62. Let d = c + -34. Does 27 divide d?
True
Let l(j) = 30*j - 231. Is 30 a factor of l(30)?
False
Let l(h) = -5*h + 16. Let z be l(-6). Suppose 2*x - z = 6. Does 6 divide x?
False
Let x(s) = -s. Let f(m) = -13*m**2 + 10*m + 9. Let h(a) = -f(a) - 6*x(a). Is h(-3) a multiple of 24?
True
Does 5 divide (-6046)/(-22) + (-1)/(121/(-22))?
True
Let a = 339 + -181. Does 2 divide a?
True
Is 11 a factor of 9/(-5)*1210/(-22)?
True
Does 11 divide 413/4 + (-5 + 8)/(-12)?
False
Let n(c) = -c**2 - 41*c + 6. Is 18 a factor of n(-17)?
True
Let o = -534 - -859. Suppose 3*u + o = 8*u. Does 19 divide u?
False
Let k(g) = -g**3 + g**2 - g + 1. Let h(c) be the third derivative of -c**6/24 - 7*c**4/24 + c**3 + 2*c**2. Let j(n) = -h(n) + 6*k(n). Is j(6) a multiple of 6?
True
Let q = -268 + 633. Let x = -40 + q. Does 40 divide x?
False
Let p(v) = 3*v**2 + 14*v + 46. Does 12 divide p(-3)?
False
Let r be 24 - (3 + 3 - 4). Suppose -4*b + 5*g + 26 = -r, 5*b - 4*g - 69 = 0. Does 15 divide b?
False
Let a(o) = 84*o**2 - 78*o + 3. Is 36 a factor of a(-5)?
False
Let z(a) = -a**2 - 4*a - 6. Let r be z(-5). Let q = r - -18. Suppose 6*m = q*m - 2. Does 2 divide m?
True
Let l(t) = -t**3 + 7*t**2 - 10*t - 6. Let j be l(5). Is 436/3 + (-4)/j a multiple of 35?
False
Let a = 68 - 192. Let n = -24 - a. Does 19 divide n?
False
Let v be 20/(-1)*(-5)/(-8)*4. Let p = -120 + 48. Let q = v - p. Is q a multiple of 14?
False
Let f(l) = l**2 - 14. Suppose 4 = -5*z - 26. Is 22 a factor of f(z)?
True
Let q(x) = -11*x - 35. Let l be q(-11). Suppose 0 = 7*g - 338 + l. Is g a multiple of 6?
True
Suppose -r + 3*r - 3*z - 1306 = 0, 4*r - 2606 = 3*z. Is 11 a factor of r/8 + (-12)/48?
False
Suppose 4*s - 3*g = 159, -4*s = g + 3*g - 152. Let q = 13 - s. Let d = 44 + q. Is d a multiple of 8?
False
Does 8 divide 430 + -2 + (1 - -3)?
True
Let b = 7 - 13. Does 9 divide 2/b - (-738)/27?
True
Let f be 12/(-2)*1/(-2). Suppose 5*b - 2*j - 70 = f*j, b - 24 = 3*j. Is b a multiple of 3?
True
Suppose 0 = 3*l - 5*b - 536, -2*l + 386 = 5*b + 12. Is l a multiple of 7?
True
Let v(i) = 40*i**2 + 13*i - 93. Is 18 a factor of v(5)?
True
Let h = 172 + 168. Does 10 divide h?
True
Suppose 2*q = -q. Suppose c + 0*c + 6 = q. Is 3 a factor of 9/c*2*-5?
True
Let h = 12 + 2. Suppose -1 = -3*q + h. Suppose 0 = -2*i + q*i - 27. Is 9 a factor of i?
True
Let w be 1/2 + (-485)/(-10). Let o = w - 112. Is 15 a factor of -3 - o/(2/2)?
True
Suppose 4*j = d - 35, d + 0*j = -5*j + 26. Is d a multiple of 7?
False
Suppose 2*v = -54 + 54. Suppose 3*q - 669 = -3*j - 132, v = 2*q. Does 17 divide j?
False
Let n = 205 - 183. Does 11 divide n?
True
Let k = -129 + 279. Suppose 0 = 3*o - 2*s - 105, 0 = 4*o + s - k + 10. Let v = -20 + o. Is v a multiple of 3?
True
Is 51 a factor of (1 + 0)/(60/95340)?
False
Suppose -3*v + 47 + 16 = 0. Let y = v - 16. Suppose -4*m = 3*q - 158, -y*q + 5*m = -0*q - 275. Is 9 a factor of q?
True
Suppose 107*c - 72 = 104*c. Suppose g = c + 32. Is g a multiple of 7?
True
Is (-16)/(-4) - ((-808)/4 - 4) a multiple of 15?
True
Suppose 0 = -2*k + 4*d + 444, 6*d + 885 = 4*k + d. Is 22 a factor of k?
True
Let w be (-2)/(-4)*-5*12/(-10). Suppose w*p + 2*s - 4*s - 53 = 0, -5*p + 84 = s. Is p a multiple of 2?
False
Let x(t) = 341*t - 865. Is 56 a factor of x(5)?
True
Let m(a) = -a**2 - a - 4. Let j be m(0). Let q(w) = 2*w**3 + 6*w**2 + 2*w + 2. Let u be q(j). Let s = u - -94. Is 14 a factor of s?
True
Let a(h) = 93*h + 66. Is a(5) a multiple of 20?
False
Let k = 5 - -4. Suppose 0 = -k*c + 8*c. Does 8 divide (11 + -9)*(12 - c)?
True
Let r(j) = j**3 - 20*j**2 + 20*j + 36. Let t be r(19). Suppose 4*n = -5*w + n + 127, -2*w + 3*n = -t. Is 22 a factor of w?
False
Suppose -2*l = y - 328, -l + 146 = -4*y - 0*y. Let h = l - 96. Does 25 divide h?
False
Suppose 315 - 1093 = -2*t. Is t a multiple of 80?
False
Does 14 divide (47259/(-236))/((-6)/104)?
False
Let r(u) = 24*u**2 - 9*u + 42. Is r(4) a multiple of 15?
True
Is 39 a factor of 1756/9 + 29/(-261)?
True
Suppose j + 632 + 168 = 3*f, -f = j - 272. Suppose 3*c - f = 335. Does 16 divide c?
False
Suppose 5*m - 40 = -2*y, -4*m - 4*y + 19 = -13. Let r = 43 + m. Does 3 divide r?
True
Let a(z) = z**3 + 15*z**2 - 9*z + 25. Let x(g) = -g**2 - g. Let j(i) = -a(i) - 6*x(i). Let m be j(-12). Suppose m = 4*b + 67. Is 10 a factor of b?
True
Let j(f) = -6*f + 3. Let a be j(4). Let x = a + 18. Is 124/3*x/(-2) a multiple of 19?
False
Let f(s) = -s**3 + 27*s**2 + 2*s + 53. Let r(c) = c**2 + c + 7. Let d be r(-5). Does 29 divide f(d)?
False
Does 25 divide 8/6 + (-23523)/(-9) + 6?
False
Does 22 divide (-9)/33 + (-21015)/(-99)?
False
Let f(l) = l**3 + 5*l**2 + 3*l - 5. Let b be f(-4). Let k be (-2 + (-3)/b)*3. Suppose -k*z + 98 = o, 0 = 4*z - o - 2*o - 122. Is z a multiple of 20?
False
Let f = 19 - 34. Let q = f + 34. Does 12 divide q?
False
Let i(q) = -q**3 + 13*q**2 - 12*q + 8. Let f be i(12). Let n be (-6*f/(-12))/2. Let o = n + 10. Is o a multiple of 12?
True
Let o(h) = 3*h**2 + 18*h + 54. Does 23 divide o(-3)?
False
Let h = -13 + 22. Let n be (21/(-2))/(h/(-24)). Let j = n - 10. Is j a multiple of 6?
True
Let s(t) = -46*t + 548. Is s(-28) a multiple of 13?
False
Let s(z) = -2*z**3 - 6*z**2 - 5*z - 4. Does 7 divide s(-4)?
False
Is 3 a factor of 542 - 4*40/16?
False
Suppose 4*o = 3*o + 5. Suppose -7*m = -o*m - 8. Suppose s - 4*s = w - 8, -m = -4*s. Is 2 a factor of w?
False
Let d(p) = 2*p**2 - 3*p. Let i = 15 - 13. Let j be d(i). Is (-11)/((-1 - j)/3) a multiple of 11?
True
Let s(i) be the third derivative of -i**6/120 + 4*i**5/15 + 5*i**4/24 + 13*i**3/2 + 20*i**2. Is s(16) a multiple of 16?
False
Suppose 4*b + 24 = 2*r, 3*r + 8*b - 6 = 4*b. Suppose -f - r = -9. Suppose 0 = -f*l + l + 22. Does 7 divide l?
False
Let j = -142 + 391. Is 32 a factor of j?
False
Let c(i) = i**3 + 20*i**2 + i + 38. Is c(-14) a multiple of 40?
True
Suppose -2*w + c + 1684 = w, -2*c = 5*w - 2792. Suppose 0 = 3*v - 5*v + w. Suppose v = -2*q + 7*q. Is 25 a factor of q?
False
Let b(m) = 2*m**2 - 13*m + 26. Let l be 3 + (2 - 4/(-1*4)). Does 5 divide b(l)?
True
Let a(x) = x**2 + 12*x + 3. Let k be a(-5). Let w = k + 41. Is w a multiple of 9?
True
Suppose 0 = -2*u + 5*f + 10, u - 3*f = -2*f + 8. Suppose 4*x + 354 = u*x. Is 29 a factor of x?
False
Let w = 420 - -1278. Is 27 a factor of w?
False
Let z = 2741 + 37. Is 35 a factor of (-4)/(-10) + z/30?
False
Let r(d) = 17*d + 4. Let y(z) be the second derivative of -z**2/2 - 13*z. Let c(w) = r(w) - 2*y(w). Does 30 divide c(7)?
False
Let z(x) = x**2 + 2*x - 3. Let k be z(3). Let w = k - 8. Is 4 a factor of 10/(-8)*-2*w?
False
Let w be (9/(-18))/((-2)/12). Let l = w + -14. Let d(q) = -3*q - 3. Is d(l) a multiple of 15?
True
Let h = 1129 - 1042. Is h a multiple of 9?
False
Let y be (17/(-34))/((-1)/(-24)). Let h(w) = -w**2 - 11*w + 26. Is 14 a factor of h(y)?
True
Let c be (-1668)/(-28) - 9/(-21). Let v = 44 + c. Does 26 divide v?
True
Is ((-16)/8)/(2 + 8624/(-4308)) a multiple of 13?
False
Suppose 0 = -5*s + 1042 - 37. Let b = -361 + s. Does 5 divide b/(-6) + (-6)/9?
False
Let v = 221 - 194. Is v a multiple of 13?
False
Suppose -2*f + 48 = 42. Does 15 divide f + (-34)/10 + 602/5?
True
Let k(p) = 15*p + 613. Is 10 a factor of k(0)?
False
Let y be 20/3 - 1/(-3). Suppose u + y = -0. Let z(p) = -p**3 - 6*p**2 - 2*p - 3. Is z(u) a multiple of 28?
False
Let z be -4 - ((0 - 7) +