*2. Does 2 divide p(-7)?
True
Let w be 18/1 - (-1 + -1). Suppose 0 = -4*k + 10 - 50. Let y = w + k. Is y a multiple of 10?
True
Let r = 8 - 7. Let n(t) = 24*t - 7. Let x(c) = -48*c + 13. Let j(p) = -11*n(p) - 6*x(p). Is j(r) a multiple of 8?
False
Let i(c) = -c**2 - 14*c - 8. Let p be i(-6). Suppose -k + 5*k = p. Is 5 a factor of k?
True
Let m = 6 - -12. Let t = m + -9. Is t a multiple of 3?
True
Suppose -2*a = -3*c - 20, -2*a + 4*c + 29 = 5. Suppose 11 = o + a. Is 6 a factor of o?
False
Suppose -3*h + 5*w - 110 = 0, 2*w = 4*h - 3*w + 145. Let s = 60 + h. Is 16 a factor of s?
False
Let m = -10 - -43. Is m a multiple of 31?
False
Suppose 3*d = -3*z, -15 = -d + 4*z - 0*z. Suppose -d*b - 106 = 5*i, -5*b + 0 = i + 8. Let r = -16 - i. Does 7 divide r?
True
Suppose 6*r - 117 = -27. Is 5 a factor of r?
True
Suppose 4*u = 4*c + 496, -284 = -2*u + c - 34. Is 18 a factor of u?
True
Let t(p) = 2 + 11*p + 1 - 2*p + 2*p. Is 28 a factor of t(8)?
False
Suppose -4*v - 5*m + 220 = 0, m = 2*v - 55 - 55. Is v a multiple of 11?
True
Is 9 a factor of 20 + -1 + -3 + (-12)/(-6)?
True
Suppose 8*i - 7*i = 170. Is i a multiple of 10?
True
Let s(v) = -v**2 - 4*v + 5. Let w be s(-4). Suppose 0*x - 145 = -w*x. Is 16 a factor of x?
False
Is 1/((-336)/339 - -1) a multiple of 38?
False
Suppose 5*f - 518 - 362 = 0. Is 11 a factor of f?
True
Suppose -656 = -14*j + 254. Is j a multiple of 25?
False
Suppose -3 = -a - 0. Suppose -5*k = 2*x - 178 + 64, -2*k + 39 = 3*x. Suppose -o - a*o = -k. Is 6 a factor of o?
True
Suppose -3*g + 7*u = 2*u - 560, g = 3*u + 180. Does 12 divide g?
False
Let w = 35 - -67. Does 21 divide w?
False
Suppose 8*a - 192 = 5*a. Is a a multiple of 8?
True
Let c be 4/14 - (-26)/7. Suppose 2*p = m + 35, -c*m + 33 = p + 2. Is 6 a factor of p?
False
Let g = 0 - -2. Suppose -7*k = -g*k - 90. Is k a multiple of 6?
True
Let p(o) = 2*o**3 + o**2. Let n be p(1). Suppose n*v - 84 = -0*v. Is 28 a factor of v?
True
Let a(f) = 3*f**2 + 6*f + 25. Is 5 a factor of a(-3)?
False
Let u = 35 - -13. Suppose 3*b - u = b. Does 8 divide b?
True
Suppose 0 = 4*y + 3*j + 5, -4*j + 9 = -2*y + j. Let x(n) = -2*n**3 + 2*n**2 + 3*n + 3. Does 21 divide x(y)?
True
Is 11 a factor of ((-12)/(-4) - 1)/(6/165)?
True
Let h(q) = 2*q**2 - 12*q + 3. Suppose -3*d = -u - 27, 4*d + 5*u = 2 + 15. Does 5 divide h(d)?
True
Is 9 a factor of 1 + (2/4)/(1/106)?
True
Suppose 0 = 3*g - 15*g + 1872. Is 12 a factor of g?
True
Suppose 3*j - 96 = j. Suppose 6 = -g + j. Is g a multiple of 14?
True
Suppose -5*s - 1530 = -2*l, -4*s - 746 = -l + 475. Does 7 divide s/(-22) - 6/(-33)?
True
Let y be (-104)/(-6) + 4/6. Suppose 5*k - 3*g - 175 = 0, -k = -3*g - g - y. Let v = k - 6. Is 20 a factor of v?
False
Let c(f) = 25*f**3 + f. Let m be c(1). Let r be (-1)/2 - m/(-4). Let z = r - -6. Does 6 divide z?
True
Suppose -19*i + 931 = -12*i. Does 19 divide i?
True
Suppose -3*k + k + 52 = 0. Is 9 a factor of k?
False
Suppose 2*r = 4*r. Suppose 3*n - 34 = -u - 0*n, 3*n + 66 = 3*u. Suppose 3*d - 2*g = u, 3*d - 20 = -r*d + g. Is 5 a factor of d?
True
Let t(k) = 12*k - 17. Let s be t(-17). Let h = -117 - s. Is 19 a factor of h?
False
Is (24/(-10))/(-1*4/220) a multiple of 33?
True
Let s(x) = x**2 - 4*x - 8. Let n be s(6). Let t be n/(-6)*(-3)/1. Suppose t*r + 6 = f - 9, -r = -2*f + 30. Is f a multiple of 5?
True
Let p(s) = 17*s**2 - s - 3. Does 25 divide p(-2)?
False
Suppose -5*r = 199 + 311. Let l = -55 - r. Suppose 2*j + 5*c = l, 0 = 4*j - 8*j + 4*c + 52. Is j a multiple of 8?
True
Let d(n) = n**3 + 5*n**2 - 7*n + 1. Let k be d(-6). Let l(o) = -o**2 + 4*o - 2. Let q be l(k). Let w = q + 43. Is w a multiple of 10?
True
Let b(f) be the second derivative of f**4/6 - f**3/3 + 3*f**2/2 - f. Suppose -4 = -2*t + 2. Is b(t) a multiple of 6?
False
Let y(u) = 2*u + 132. Let o be y(0). Let p = -74 + o. Does 23 divide p?
False
Does 5 divide (135/4 - -1) + (-46)/(-184)?
True
Let j(l) = l**3 + 10*l**2 - 3*l + 2. Is 20 a factor of j(-10)?
False
Suppose -6*m - m + 238 = 0. Does 17 divide m?
True
Suppose 4*z - 190 = -670. Is z/(-4) + (-2 - -1) a multiple of 10?
False
Suppose 2*x = 5*c - 1670, 4*c - 6*c + 687 = 3*x. Is 48 a factor of c?
True
Let d be 0 + 1 + (-3 - -4). Suppose -17 - 37 = -n. Suppose d*y = -y + n. Is 11 a factor of y?
False
Let d be -1 - (-2 - (0 - -1)). Suppose 0*s + d*s = 298. Let b = s - 96. Is b a multiple of 20?
False
Suppose -6*q + 2*q + 120 = 0. Does 6 divide q?
True
Let l be ((-3)/(-6))/((-3)/(-30)). Suppose f - 5*p - 36 = 0, l*p - 35 = -3*f + 113. Is 20 a factor of f?
False
Suppose 3*y - 2 = 4. Suppose -c + y*c - 6 = 0. Suppose c = 3*j - 39. Is 12 a factor of j?
False
Let y = -68 - -212. Is 16 a factor of y?
True
Suppose 49 = 2*k + i, 12 = k - 3*i - 16. Does 25 divide k?
True
Let b = 77 - 24. Let h = -31 + b. Is 8 a factor of h?
False
Is 34 a factor of 62/279 - 2858/(-18)?
False
Suppose 2*l - 330 = -5*o, -o + 66 = -0*o + l. Suppose 2*x + x = o. Is x a multiple of 11?
True
Let a be 4/(-6) + 10/15. Let o = a + 22. Does 11 divide o?
True
Let k(w) = 16*w - 5. Does 14 divide k(6)?
False
Let a = 6 + 50. Does 8 divide a?
True
Let p(j) be the third derivative of 13*j**6/120 - j**5/60 - 6*j**2. Is 3 a factor of p(1)?
True
Let n be (-2)/4 - (-15)/(-2). Does 2 divide (-4)/((-3)/((-12)/n))?
True
Suppose -4*m + 3*y + 29 = 0, m - 4*y + 3 = 20. Let g = 0 + 2. Suppose -239 = -m*a - 2*s, g*a - 26 - 62 = 3*s. Does 16 divide a?
False
Suppose 0 = 2*q + 3*t - 8, 2*t + 0*t = -3*q + 12. Suppose q*v - 3*v = 17. Is 3 a factor of v?
False
Suppose -14 = 3*t + r - 3*r, 0 = 2*t + 3*r + 31. Is 5 a factor of ((-6)/t)/((-5)/(-60))?
False
Let x(n) = -n + 21. Does 3 divide x(12)?
True
Let x be (-1 + -4)*16/(-10). Suppose 0 = x*u - 3*u + 35. Let f(i) = i**2 + 6*i + 3. Does 5 divide f(u)?
True
Suppose 3*p = -12, -4*p = -q + 3*q + 14. Let s be (-134)/(-10) - (-8)/(-20). Suppose 2*i + q = s. Is 6 a factor of i?
True
Suppose -5*y + 84 = -21. Is y a multiple of 7?
True
Let p = -126 - -189. Does 8 divide p?
False
Let c(p) = 2*p**2 - 2*p - 1. Let k be c(-1). Suppose r - k*r = -42. Suppose a + 7 = r. Does 6 divide a?
False
Suppose 2*z = -5*l + 2*l + 12, -2*l = -z - 8. Let d = l - 4. Suppose -h = -d*h - 5. Is h a multiple of 5?
True
Let k(p) = p**3 - 3*p**2 - 4*p + 5. Let o be k(4). Suppose o*n = 20, -d - n = 2*n - 14. Suppose 0 = s + 2*w - 30, d*s - 3*w = 38 + 36. Is 17 a factor of s?
True
Let l be (3 - 2)*0 - 4. Let k be ((-304)/(-10))/l*-5. Suppose 5*o - 12 = k. Does 5 divide o?
True
Suppose -4*q + 4*k - 162 + 578 = 0, k = 5*q - 500. Suppose 0 = 5*p - 26 - q. Is 25 a factor of p?
True
Suppose -390 = -71*d + 68*d. Is d a multiple of 7?
False
Suppose -19 = -3*r - 1. Suppose -2*v + 4 = r, 41 = 2*f - 3*v. Suppose 0 = -3*w - f + 91. Is 12 a factor of w?
True
Suppose 4*i - 64 = -4*m, 0 = 6*i - 3*i - 4*m - 48. Does 16 divide i?
True
Let z(d) = -5*d**3 - 2*d**2 + d. Does 17 divide z(-2)?
False
Suppose 64 + 120 = 2*x + 3*s, s = -5*x + 434. Is x a multiple of 15?
False
Suppose 3*h - 45 = -3*k, -h = -k + 1 + 6. Does 3 divide k?
False
Let n be (-7)/((-14)/(-12)) + 2. Let z(t) = -6*t - 6. Is z(n) a multiple of 9?
True
Let v(t) be the third derivative of -t**6/120 - t**5/20 - t**4/8 + t**3/2 + 4*t**2. Is 8 a factor of v(-4)?
False
Let j = 90 - 73. Is 5 a factor of j?
False
Suppose -10*n + 104 = -9*n. Does 4 divide n?
True
Let c = -2 + 3. Is 6 a factor of c/(1*2/22)?
False
Let g(f) = 33*f - 2. Suppose -2*b = 4*i - 2, 3*i + 9 = -4*b + 3. Let r be g(i). Suppose -3*u = -r + 25. Is 13 a factor of u?
True
Let v = -16 + 25. Let m(b) = -b**2 + 15*b - 9. Is 14 a factor of m(v)?
False
Is 40 - (0 + -4 + 2) a multiple of 14?
True
Let t(r) = 3*r + 4. Let c(b) = -3*b**3 + 8*b**2 + 13*b + 1. Let l(g) = -g**3 - g**2 + g - 1. Let s(v) = c(v) - 2*l(v). Let i be s(11). Is 5 a factor of t(i)?
False
Suppose 215 = 2*y + 49. Is 11 a factor of y?
False
Let f be (6 + -4)/(2/(-245)). Let b = f + 345. Does 25 divide b?
True
Let x be (-45)/(-12) - 1/(-4). Suppose 0 = x*r - 8*r + 120. Does 5 divide r?
True
Suppose -5*h + 4*h - 2*s = 3, -2*s + 9 = 5*h. Suppose 2*n - 5*w - 4 = -2*n, h*w = 2*n - 4. Does 22 divide 43 + (-1)/((-2)/n)?
False
Let u(k) = k**3 + 4*k**2 + 3*k + 3. Let y be u(-3). Suppose 22 + 47 = y*j. Is j a multiple of 9?
False
Suppose -2*y + g + 156 = -303, 0 = -y + 2*g + 228. Is y a mult