 13*p(r). Let m be k(-2). Does 3 divide (3/m)/(1/(-5))?
True
Suppose 95 = 5*i - 4*c, 2*c - 5*c = i - 38. Is i a multiple of 12?
False
Is 50 a factor of (-6)/(-16) - 12307/(-248)?
True
Suppose -5*q = 3*z - 25, -3*z = -3*q - 2*q + 25. Is 4 a factor of q/(-10)*4*-2?
True
Let v(w) = 5*w + 1. Is 4 a factor of v(1)?
False
Suppose 19 = 5*d + 4. Let f be 0 + (d - 2)*-8. Is 4*2/f*-31 a multiple of 12?
False
Let b be 34/6 + (-1)/(-3). Suppose -3*y - 51 = -h, -b*y = -2*h - 5*y + 97. Is h a multiple of 16?
True
Let i = 2 - -22. Does 12 divide i?
True
Let h = 191 + -91. Is h a multiple of 50?
True
Let f(q) = q**2 + 10*q + 14. Does 26 divide f(-13)?
False
Suppose -24 = -4*i - 0*i. Is 25 a factor of 1*-60*i/(-8)?
False
Suppose -4*b = b - 20. Let n = 6 - b. Suppose -n*a = -5*r + 4*r - 36, -r - 4 = 0. Is 8 a factor of a?
True
Suppose 5*i - i = 8. Suppose j - 99 = -i*j. Let o = j - 15. Is 6 a factor of o?
True
Suppose -z + 220 = 4*z. Is z a multiple of 22?
True
Suppose -5*r - 231 + 26 = -3*b, 2*b - 4*r = 138. Is 28 a factor of b?
False
Suppose -j + 3*o = 41, 0 = 5*j - o - 3*o + 227. Let m = -23 - j. Does 12 divide m?
True
Let r(a) = -a**2 - 11*a - 3. Let k be r(-11). Let i = 52 + k. Is 13 a factor of i?
False
Suppose 0 = -4*r + 4*u + 1466 + 402, -899 = -2*r - 5*u. Does 13 divide r?
False
Suppose 0*f - 5*f + 280 = 0. Suppose -d = -3*d - f. Let y = d + 42. Is y a multiple of 14?
True
Suppose 4*u = o + 363, 3*u = -2*u - 4*o + 438. Does 15 divide u?
True
Suppose g = 31 + 25. Suppose -g = 4*y + 28. Let m = y + 39. Is 9 a factor of m?
True
Let w(b) = 7*b - 1. Let r be w(1). Let q(y) = 3*y**2 - 2*y - 12. Does 28 divide q(r)?
True
Let z(u) = -u**2 + 7*u + 8. Suppose 0*r - 18 = -3*r. Is 14 a factor of z(r)?
True
Let s = 1457 - -2232. Is 30 a factor of 4/(-14) - s/(-49)?
False
Let k be 3/(2 + 26/(-16)). Let b be (-251)/(-4) - (-2)/k. Let j = -43 + b. Does 10 divide j?
True
Let t(r) = 2*r + 6. Let z be t(-8). Let v = 32 - z. Is 15 a factor of v?
False
Let k = 6 - 4. Let r be (3/9)/(k/42). Suppose 4*n - r = 41. Does 8 divide n?
False
Let p(o) = 84*o**3 - o**2 + o. Is 42 a factor of p(1)?
True
Is 5 a factor of 2/(-4)*-11*4?
False
Let i be 2 + -2 + 10 + 2. Let g = 28 - 20. Let y = g + i. Does 10 divide y?
True
Suppose 5*d + 4 - 259 = 0. Is 17 a factor of d?
True
Let l(y) = -y**3 + 15*y**2 - 9*y + 2. Is 17 a factor of l(14)?
False
Does 31 divide 6*(-2 + (-56)/(-4))?
False
Suppose 16 = -3*w - 5*c, -5 = -3*c - 2. Let n = 17 + w. Does 5 divide n?
True
Let d = 99 - 87. Does 2 divide d?
True
Suppose 11*u - 6*u = 30. Let r be ((-4)/6)/((-4)/u). Is (2/r)/(3/12) a multiple of 4?
True
Let j = 134 + 62. Does 31 divide j?
False
Suppose -5*c - u - u + 6 = 0, -5*c + 4*u = -18. Suppose -2 + 6 = c*f. Let y(d) = 10*d**2 + 2*d. Is 29 a factor of y(f)?
False
Suppose -o = u - 129, -o + 4*u + 83 + 61 = 0. Does 6 divide o?
True
Suppose -32 = -s - s - 5*v, 2*s - 4*v = 50. Is 7 a factor of s?
True
Let i be ((-36)/(-15))/((-6)/(-100)). Suppose -6*j = -j - i. Does 3 divide j?
False
Suppose -4*a - a - 194 = -l, 2*l = -2. Let o be 1 - a/3*-1. Is o*((-4)/(-3))/(-2) a multiple of 6?
False
Let k(z) = 2*z**2 + z. Let g be k(1). Let m(t) = 4*t - 4. Let u be m(g). Is 14 a factor of u/(-12) + (-86)/(-3)?
True
Let b = 48 + -11. Suppose -105 - b = -2*f. Is f a multiple of 15?
False
Let v(d) = 8*d**3 - 6*d**2 + d + 11. Does 22 divide v(3)?
True
Suppose 153 = 8*v - 31. Does 2 divide v?
False
Let v be 1 - ((0 - 4) + 1). Suppose -2*p = -v*p + 36. Does 7 divide p?
False
Let u = 40 - 81. Let a = 95 + u. Suppose -a = -4*q + 10. Is 5 a factor of q?
False
Let b(f) = 3*f + 11. Is b(0) a multiple of 2?
False
Let b(l) be the third derivative of l**5/60 + l**4/8 - 7*l**3/6 - 3*l**2. Let x be b(-5). Is 9 a factor of 85/x - 2/(-3)?
False
Suppose 3*k + 8 = k. Let l = 2 + k. Is 4 a factor of 4*(3/(-3) - l)?
True
Let n be -3*4/(-24)*-10. Let s = n - -21. Does 7 divide s?
False
Let c(j) = -3*j**3 + 3*j**2 + 2*j + 2. Suppose -3*o = o. Let r = -2 + o. Is 17 a factor of c(r)?
True
Let h be 3/(-3) + (3 - 0). Suppose -2*i + h = 0, 5*z - 5*i = 27 - 7. Let a(q) = q**2 - 5. Does 10 divide a(z)?
True
Does 3 divide (-3 + 4)*(-11)/(-1)?
False
Suppose 5*i + 4 = w, -6 + 2 = 4*i - w. Let p(r) = r - 7. Let h be p(i). Let d = h + 10. Does 3 divide d?
True
Suppose 2*f + 2 = 5*n + 10, 4*n = -3*f - 11. Is (4/(-10))/(f/10) a multiple of 2?
True
Suppose 4*f = -g - g + 78, 0 = 2*f - g - 29. Is f a multiple of 17?
True
Let q = -18 - -30. Suppose q = 3*f - 24. Suppose -f = -0*r - 4*r. Does 2 divide r?
False
Suppose -5*g + 10*g = 15. Suppose g*f - 3*d - 93 = 2*d, 0 = -5*f + 3*d + 139. Is 22 a factor of f?
False
Let p(v) = v**2 - 7. Let t(u) = u**3 - 7*u**2 + 4*u + 7. Let m be t(6). Is p(m) a multiple of 9?
True
Let m(z) = 11*z**3 + z**2 - z + 1. Let q be m(1). Let b = q + -21. Let x = 26 + b. Is x a multiple of 17?
True
Suppose 3*j - 61 = 5*s, 4*j = -5*s + 173 - 45. Is 9 a factor of j?
True
Let u be (-36)/10*95/(-57). Let o(v) be the second derivative of v**4/6 - v**3/6 + 2*v. Is 17 a factor of o(u)?
False
Let q(p) = p**2 + 4*p - 18. Let y be 12/5*30/(-9). Is 14 a factor of q(y)?
True
Let d(i) = 2*i**2 - 3*i + 4. Let j be 2 + -2 + 3 + 0. Let t = 8 - j. Is d(t) a multiple of 20?
False
Let k(p) = 4*p + 0 - 4*p + 2 + 3*p + 6*p**2. Suppose -f + 4 - 1 = 0. Is 18 a factor of k(f)?
False
Suppose d - 4 = 3*q - 14, 0 = -2*q + 2*d + 12. Is q a multiple of 2?
True
Let s = -13 + 8. Let v = s + 8. Is 14 a factor of ((-126)/(-4))/(v/4)?
True
Suppose -5*k + 3*k = -3*s - 109, -4*k + 193 = -s. Is k a multiple of 10?
False
Suppose 0*i - 13 = -h + 2*i, -h + 5*i + 1 = 0. Let p = h - 3. Let n = 46 - p. Is 14 a factor of n?
True
Let d(p) = -p**2 + 3 - 2*p**2 + 2*p**2 - 5*p + 2*p**2. Is d(7) a multiple of 10?
False
Let y = 16 + -4. Let b = y + -7. Is 2 a factor of b?
False
Let c(r) = -r**2 + 6*r - 1. Let i be c(-6). Let a = i - -109. Is a a multiple of 16?
False
Let r(f) = -f + 47 + 2*f + 74. Let n be r(0). Suppose 4*m = x + n, 0*m + 3*x = 4*m - 115. Is m a multiple of 16?
False
Let t be 1/((-2)/(0 + 42)). Let f be ((-36)/t)/(1/7). Suppose 4*z - 128 = f. Is z a multiple of 11?
False
Let d = -41 + 58. Does 11 divide d?
False
Suppose -36*b = -37*b + 23. Is 8 a factor of b?
False
Suppose 0 = -4*l - 3*r + 177, -3*r = 5*l + r - 220. Is l a multiple of 16?
True
Let r(v) = v + 1. Suppose -7 = -c + 5*j, -3*c - j + 5 = -0*c. Let z be r(c). Suppose -9 = -3*x - z*u, -4*x + 0*u + 12 = -3*u. Is 3 a factor of x?
True
Suppose 5*l = 3*s - 12, -2*l - 1 = 3*s - 13. Let v = 3 + l. Suppose -3*m + 21 = v. Does 3 divide m?
True
Suppose -15*z = -17*z + 72. Does 14 divide z?
False
Let q(m) = -m + 5*m - 3*m - 5. Let p be q(8). Is 6 a factor of 5 + 1 + -3 + p?
True
Let x(p) = -10*p - 7. Does 11 divide x(-5)?
False
Does 8 divide 28 + -1 + 9/(-3)?
True
Let f(u) = -69*u + 1. Let d be (-3)/6 + (-1)/2. Let q be f(d). Suppose 24 = -2*x + q. Is 20 a factor of x?
False
Does 16 divide (-2 + 2/4)/(18/(-1416))?
False
Suppose -4*x + 209 + 239 = 0. Suppose x + 78 = 5*p. Suppose -5*s = 5*r - 70, -5*r + 2*r + p = 4*s. Does 8 divide r?
False
Is 3 a factor of (0/(-1))/3 + 9?
True
Let r be -21*7 + 1/1. Is r/(-10) + (-2)/(-5) a multiple of 7?
False
Suppose q + 18 - 45 = 0. Is 19 a factor of q?
False
Let r(w) = w**2 + 3. Let l be r(0). Let j be (-27)/l + 2 + 2. Let h = j - -43. Does 16 divide h?
False
Is 13 a factor of (354/(-24))/(2/(-8))?
False
Let w(z) = -z - 1. Let o be w(-8). Let n(p) = 2*p**2 + 2*p + 1. Let h be n(-1). Let m = h + o. Is m a multiple of 4?
True
Does 5 divide 6/2 + (22 - 6)?
False
Let p = 11 + -15. Is 2 a factor of (p/(-3))/((-2)/(-6))?
True
Let u(s) = -s**2 + 6*s + 1. Let f be (-30)/(-8) - 3/(-12). Let p be u(f). Suppose -137 = -4*n - p. Does 16 divide n?
True
Let v = 7 - 2. Suppose -4*o = -s - 3*s + 28, 3*s - v*o = 27. Does 3 divide s?
False
Let o be (-2 + 1)*(1 + -1). Suppose 4*w = 4*h - 12, -4*h = 4*w - o - 12. Suppose d = h, p - d = -6 + 19. Is p a multiple of 7?
False
Suppose -3*u - 6 = -24. Is u a multiple of 3?
True
Let d = 8 + -6. Suppose d*h = -h + 102. Is 19 a factor of h?
False
Let o = -22 + 37. Is 5 a factor of o?
True
Let u = 1 - -2. Let d = u - -2. Is 3 a factor of d?
False
Let x be (1 + -3)/(3/(-6)). Suppose -2*y = -x*y + 4. Suppose -3*j = -y*v + 54, 0 + 12 = 3*j. Does 11 divide v