actor of g(5)?
False
Suppose 0 = 3*m + 2*m - 595. Does 17 divide m?
True
Let z(c) = c - 2. Let p be z(3). Is 6 a factor of (p + -2)*(3 + -16)?
False
Suppose 0 = -8*w + 13*w - 65. Is 13 a factor of w?
True
Is 380/3 + (-25)/(-75) a multiple of 9?
False
Let d = 3 - -11. Suppose w - d = 28. Does 21 divide w?
True
Suppose 192 = 4*u + u - 3*x, 4*u = x + 148. Is u a multiple of 6?
True
Suppose 2*k = 2 - 6. Let x be k/(-7) + 132/28. Suppose 3*o - 7 = x. Is 2 a factor of o?
True
Suppose -39 = 5*m + 2*q, -5*m - 4*q = -4*m + 15. Is 8 a factor of (2/4)/(m/(-336))?
True
Let r be (-220)/6*(0 + -3). Suppose 0*i + 5*i - r = 0. Is i a multiple of 11?
True
Let m(s) = s + 9. Let a be m(-7). Suppose 4*o - 5*b - 54 = 0, -4*b + b = -a*o + 26. Is o a multiple of 12?
False
Let y be (-3)/(-1) + 0 + 1. Suppose 5*n = 56 + y. Is n a multiple of 11?
False
Suppose -7*o + 6*o = -27. Does 8 divide o?
False
Suppose r - 3*n = -0*r + 101, -5*r = -3*n - 553. Let g = 207 - r. Suppose 4*l + 5*v = g, -2*l + 40 = -3*v + 2*v. Is 8 a factor of l?
False
Suppose 3*k = q + 3*q - 143, 4*k = 12. Does 7 divide q?
False
Let h(k) = -k**3 - 5*k**2 - 3*k - 9. Let g(i) = i**2 + i - 1. Let a(l) = -2*g(l) + h(l). Does 11 divide a(-7)?
False
Suppose 11*a = 14*a - 30. Is a a multiple of 3?
False
Let w(d) = 3*d**2 - 3*d + 4. Does 11 divide w(4)?
False
Let l(r) = -r**2 - 5*r + 3. Let v be l(-5). Suppose -z = -2, -3*z + 196 = v*n + 2*z. Does 31 divide n?
True
Suppose -5*r = -5, -4*m = -9*m + r + 9. Suppose 2*n - 30 = m*f, -3*n = 4*f - 28 + 4. Does 3 divide n?
True
Suppose -5*t + 8 = -t. Suppose 3 + 3 = c + 2*l, -l = t*c - 3. Suppose c*u + 5*u = 25. Is u a multiple of 5?
True
Let g(u) be the second derivative of 2*u**3/3 + u**2 + u. Is 11 a factor of g(5)?
True
Let m = 122 + -86. Is m a multiple of 12?
True
Suppose -4*u = -u - 12. Let l(v) = v**3 - 4*v**2 + 4*v - 1. Is l(u) a multiple of 15?
True
Suppose -5*q + 20 + 0 = 0. Suppose i + q*z - 3*z = 1, 2*i + 5*z = -4. Is 8 a factor of (-1 - -11)*(i + -2)?
False
Is 11 a factor of (-4)/18 + 303/27?
True
Suppose -2*h = 2*h + 72. Suppose 0 = -x - 3*m + 34, -3*m = -3*x + 34 + 32. Let a = h + x. Is 3 a factor of a?
False
Suppose -12*s + 632 + 280 = 0. Is 4 a factor of s?
True
Let o be (-39)/(2 - (5 + -2)). Suppose -p = 5*w + p - 195, p = -w + o. Suppose -2*s = -3*s + w. Is 14 a factor of s?
False
Suppose -4*k + 2*g = -1164, 3*k + 5*g - 1150 = -k. Suppose k = 3*l + 2. Is 28 a factor of l?
False
Suppose 5*f - 196 = 24. Does 22 divide f?
True
Let l = -3 + 15. Suppose -4*z - 23 = -3*c + l, 0 = -z + 1. Is c a multiple of 9?
False
Suppose -696 = 2*r - 10*r. Does 29 divide r?
True
Suppose 2*i + 17 = -l + 354, -4*i = 5*l - 677. Suppose -4*r = -4*q - i, 2*q + 0*q - 72 = -2*r. Is 11 a factor of r?
False
Let n be 0 - 0 - (0 + 27). Is 10 a factor of 0/8 - (0 + n)?
False
Suppose -2 = -w, 3*p + 5*w = 273 + 562. Is p a multiple of 25?
True
Let o = 11 - 7. Suppose -10 = 2*g - o*g. Let r(l) = l**3 - 5*l**2 + 2*l - 2. Is 8 a factor of r(g)?
True
Suppose -3*p + 192 = 5*p. Does 6 divide p?
True
Let u(m) = -3 - 3*m**3 + 6*m**2 + 12 + 3*m + 2*m**3 + m**2. Is 15 a factor of u(7)?
True
Suppose 3*o + 2*w = -o - 4, -3*w - 6 = 0. Let v be (o + 1)*-1 - -1. Suppose 3*g + 3*n + 2*n - 30 = v, 3*n = 0. Does 10 divide g?
True
Let t = -37 - -64. Let f = -19 + t. Let u = 28 - f. Is u a multiple of 10?
True
Let n(p) = 5*p**2 + 14*p + 10. Let g(z) = -11*z**2 - 29*z - 19. Let f(d) = 4*g(d) + 9*n(d). Is 11 a factor of f(-10)?
False
Suppose 0*z + 3*z + 165 = o, -5*z - 325 = -2*o. Does 25 divide o?
True
Let k(h) = h**3 + 4*h**2 + 4*h - 4. Let l = -9 + 4. Let f be k(l). Let t = f + 72. Is t a multiple of 12?
False
Let f(s) = -s**3 - 9*s**2. Let j be f(-9). Suppose 3 = a - j. Is a even?
False
Suppose 3*x - 5*h = 66, -25 + 3 = -x + h. Does 11 divide x?
True
Suppose -4*k + 3*v = -174, 2*v = 2*k + v - 86. Suppose 2 = 4*f - k. Is f a multiple of 3?
False
Let w(d) be the third derivative of 0*d**4 + 0*d**3 + 0*d**5 + 1/120*d**6 + 0*d + 0 + d**2. Is 8 a factor of w(2)?
True
Let g be 3/((-6)/4) + -8. Let p = 9 - g. Suppose -q + 3*r + p = 0, 0 = q - r - 11 - 12. Is 20 a factor of q?
False
Suppose 0 = -3*j, -4*c + 16 = 5*j - j. Suppose -c*n + 3*r = -n - 93, 2*n - 4*r - 56 = 0. Is n a multiple of 25?
False
Let t(p) = -12*p - 16. Is 25 a factor of t(-11)?
False
Let o(r) = 2*r**2 - 3*r + 4. Suppose 2*z + 4*u - 6 = 0, -2*z = -z - 2*u - 7. Suppose -5 - z = -3*t + 5*l, -l = -2*t + 9. Is o(t) a multiple of 14?
False
Suppose -2*r + 4*u + 124 = 0, -5*u + u - 180 = -3*r. Does 4 divide r?
True
Let c be (-20)/(-6) - (-24)/(-18). Suppose -c*q + 3*l + 13 = -1, 4 = l. Is q a multiple of 6?
False
Suppose -7*w + 3*w + 16 = 0. Suppose 4*g = -3*v + 50, -w*g = 3*v + v - 64. Is 12 a factor of (-192)/(-14) + 4/v?
False
Let d = -11 + 7. Let y be d/(-14) - (-12)/(-42). Suppose y = -3*m + 8*m - 2*j - 50, -3*m - j = -19. Does 3 divide m?
False
Let x = 105 - -35. Suppose -w - w + x = 0. Let g = w + -11. Is 15 a factor of g?
False
Let g = 99 + -165. Let u = g + 37. Let n = u + 66. Is n a multiple of 17?
False
Suppose -4*u = 2*a + 252, 2*u + 2*u + 224 = 5*a. Is -2*(u/2 - -1) a multiple of 17?
False
Let q(j) = j**3 - 5*j**2 + 3*j - 1. Let i be q(6). Let t = 7 + -4. Suppose -t*y - 2*y = l - i, 2*y + 3*l = 16. Is 9 a factor of y?
False
Let p = 10 - -30. Does 10 divide p?
True
Suppose 5*n - 48 = 3*n. Is 12 a factor of n?
True
Let w(k) = -k**3 - 5*k**2 - 3*k + 5. Let l be w(-5). Let c be 2/7 + 186/(-14). Let a = l - c. Does 12 divide a?
False
Let i(c) = c - 2. Suppose 5*x = -14 + 34. Let a be i(x). Suppose 5*f = f - a*s + 112, 3*s + 75 = 3*f. Is f a multiple of 19?
False
Let j(d) = -d**2 + 10. Is j(0) a multiple of 5?
True
Let q = -14 - 3. Let s = q - -69. Is s a multiple of 13?
True
Let j(m) = 4*m - 1. Let k be j(1). Let d(a) = -7 - 2*a**2 + 3*a + 4 + 5*a**3 - 4*a**k - 3*a**2. Is d(5) a multiple of 4?
True
Let t(k) = -k**3 - 6*k**2 - 9*k. Does 9 divide t(-6)?
True
Let w = -6 - -4. Let l(r) = -9*r. Is 9 a factor of l(w)?
True
Let w(m) = -m**2 + 2*m + 8. Suppose -3*b + 12 = -5*b. Let v be w(b). Let y = v + 69. Is 15 a factor of y?
False
Let q(p) = p**3. Let r(o) = 2*o**3 + 6*o**2 - 1. Let k(j) = -q(j) + r(j). Does 12 divide k(-5)?
True
Let h(c) = -c**3 + 3*c**2 - 2*c + 1. Let i be h(4). Let d = -7 - i. Is 5 a factor of d?
False
Is ((-12)/8)/((-6)/824) - -2 a multiple of 13?
True
Let s(n) = 10*n**2 - 2*n + 4. Does 8 divide s(2)?
True
Let o(d) = -d**3 + 7*d**2 + 10*d + 4. Let x be 1 + 1 + 8 + -2. Is o(x) a multiple of 9?
False
Suppose 109 = 2*a + 91. Is 3 a factor of a?
True
Suppose -18 - 102 = -6*s. Is s a multiple of 5?
True
Is (5/(-2))/(-5)*78 a multiple of 13?
True
Suppose -b = 4 + 4. Let g = b - -11. Suppose -t - g = -2*t. Is t a multiple of 3?
True
Let d be (-1)/((1 + 1)/(-2)). Let w be 0/((-6*1)/(-2)). Does 9 divide w + (1 - d) - -16?
False
Suppose 2*c = 135 + 85. Let o be (-1)/(c/37 + -3). Suppose -215 = -7*t + 2*t - 5*w, t + 3*w - o = 0. Does 14 divide t?
False
Let j = 9 + -5. Suppose -2*c + 2*d = j*d - 24, 4*c + 2*d = 56. Let q = c - 6. Does 5 divide q?
True
Let g = -58 - -38. Let x(m) = -m + 2. Let z be x(4). Let s = z - g. Does 9 divide s?
True
Let t(v) = -3*v**2 - 2*v + 6. Let j(s) = s. Let b(l) = 3*j(l) - t(l). Is b(3) a multiple of 12?
True
Let y be 12/(-66) - (-114)/22. Suppose 3*c + 45 = 3*s - s, 105 = y*s - 5*c. Does 18 divide s?
True
Suppose h - 6*h - 39 = -4*y, y = 3*h + 15. Let p(n) = n**2 - 4*n - 5. Is 7 a factor of p(y)?
True
Suppose 0 = c + h - 29, 2*c = -3*c - 2*h + 154. Is c a multiple of 16?
True
Let k(d) = -d + 127. Let r be k(0). Is 11 a factor of r/3 + 6/(-18)?
False
Suppose -4*w - 4*h = 20, 3*w - 5*h - 25 = 4*w. Suppose w = 2*q - 3*k + 9, 3*q + 14 = -0*k + 4*k. Let i = 24 + q. Is 18 a factor of i?
True
Suppose -4*a - 3*w - 18 = -4*w, -3*a - 8 = 2*w. Let j(y) = -3*y - 6. Is 2 a factor of j(a)?
True
Let d = 45 - -5. Is d a multiple of 10?
True
Let m = -8 - -12. Let v = -20 + 41. Suppose -m*r + v = -r. Is r a multiple of 3?
False
Suppose 5*l - 20 = -0*l. Suppose d - l = 2. Suppose 5*o - 6 = d*o - 5*v, 2*o = 5*v + 8. Does 7 divide o?
True
Let u(w) = -3*w**2 - 32*w - 35. Let h(g) = g**2 + 11*g + 12. Let t(i) = 8*h(i) + 3*u(i). Is t(-6) even?
False
Let t = 0 + -7. Let n = -5 - t. Is 2 a factor of n?
True
Let k(y) = y**3