. Let m(q) = q**2 - 6*q + 9. Is m(n) a multiple of 7?
False
Suppose m + p + 2*p = 17, p = -1. Is m a multiple of 9?
False
Let v(w) = 14*w - 5. Is v(2) a multiple of 2?
False
Let v(n) = 7*n. Let d be v(5). Suppose -3*g - 63 = -3*h, -4*h = -g - 34 - d. Is 16 a factor of h?
True
Suppose 3*s - 5 = 13. Does 3 divide s?
True
Let q be (-50)/(-4)*(1 + 1). Let x be (-15)/q*(-15 - 0). Suppose -d + x = -8. Does 14 divide d?
False
Let z = -10 - -102. Does 23 divide z?
True
Let v(k) = k**3 + 2*k**2 - k. Let l be v(1). Suppose 86 = 2*b - 2*i, -l*b + 86 = -2*i + 7*i. Is 10 a factor of b?
False
Let r = -260 + 370. Does 10 divide r?
True
Suppose 0*y = 3*y - 5*x - 218, -145 = -2*y + 3*x. Is y a multiple of 17?
False
Let w be 0 + (-1 - 1) - -7. Let k be 9/(3 + 0) - 1. Suppose -4*s = -20, -w = -q + 3*s - k. Does 9 divide q?
True
Suppose 0*m + 3 = m. Suppose 3*q - 39 = m. Is q a multiple of 5?
False
Suppose 10*u = u + 1530. Does 47 divide u?
False
Suppose -j + 7 = -4. Is j a multiple of 3?
False
Let r(m) = m**2 + 9*m + 16. Let q(v) = v**3 + 5*v**2 + 6*v + 1. Let l be q(-4). Is r(l) a multiple of 2?
True
Let k(p) = p**3 - 3. Let x be k(0). Let f be x/18*2*-69. Does 14 divide f - (-5 - (-4 + 1))?
False
Let o(t) = -t**3 - 29*t**2 - 39*t - 14. Is 42 a factor of o(-28)?
True
Let x(p) = 9*p**3 + 2*p**2 - 2*p. Let m be x(-2). Let f = 88 + m. Is f a multiple of 16?
False
Let i = 70 + -47. Let b = 9 + i. Is b a multiple of 13?
False
Suppose 3*w = 57 + 129. Is 16 a factor of w?
False
Suppose 0 = 2*w - 8, 3*w - 2*w = -4*k + 12. Let b be k/3 + 2/(-3). Suppose -4*q + 24 + 44 = b. Is 17 a factor of q?
True
Let g(z) = -21*z - 13. Let o(y) = 52*y + 32. Let i(l) = 12*g(l) + 5*o(l). Is i(3) a multiple of 14?
True
Suppose -7*z = -3*z - 60. Does 5 divide z?
True
Suppose 20*h - 498 = 14*h. Is 6 a factor of h?
False
Let g = 11 + -14. Let w(i) = -7*i - 4. Let c be w(g). Suppose -2*k + 55 - c = 0. Is 12 a factor of k?
False
Suppose -17 = 3*s - 41. Let y(w) = w - 1. Let b be y(s). Is (-4)/(-14) + 250/b a multiple of 18?
True
Let t = 8 + -5. Suppose 2*p - t - 3 = 0. Suppose -4 - 122 = -p*o. Is o a multiple of 18?
False
Suppose -2*u + 2*x - 258 = -7*u, -x = 3*u - 154. Does 10 divide u?
True
Let t = 23 - -208. Is t a multiple of 17?
False
Is 19 a factor of 170/3 + 6/18?
True
Suppose -2*r - 2*r + 480 = 0. Let d = 10 + -6. Suppose c - r = -d*c. Is 8 a factor of c?
True
Let x(h) = h**2 - 9*h + 11. Let z be x(9). Let n = 22 - z. Is 11 a factor of n?
True
Does 20 divide 1/((-3)/(-120)) - 0/2?
True
Let m(q) = q**3 + 8*q**2 - 3*q - 10. Is m(-7) a multiple of 33?
False
Let p = -7 - -12. Suppose -2*u + 162 = 5*g + u, -p*g - 2*u + 158 = 0. Is 13 a factor of g?
False
Suppose 23*l = 27*l - 60. Does 3 divide l?
True
Let k(i) = i**3 + 5*i**2 + 4*i + 2. Let j be k(-3). Let g = j - -5. Does 7 divide g?
False
Suppose 0*w - w - 1 = 0. Let t = 49 - w. Does 10 divide t?
True
Suppose 93 = 4*t - 243. Is t a multiple of 7?
True
Suppose -3*c + 211 = 31. Let y = c - 35. Is y a multiple of 11?
False
Let v = -26 - -61. Is v a multiple of 4?
False
Let j(r) = 36*r**3 + 2*r**2 - 2*r. Suppose -9*l + 5*l + 4 = 0. Is 12 a factor of j(l)?
True
Let j = -28 + 49. Does 7 divide j?
True
Suppose -3*j - 18 = -5*j. Suppose -55 = 4*l + j. Let p = l + 37. Does 21 divide p?
True
Let f(x) = -x**3 + 4*x**2. Let q be f(4). Suppose -n + q = -12. Suppose -5*d - 5*m + 30 = 0, 0*m = -3*m - n. Is d a multiple of 10?
True
Let l be (-6)/(-4) - 185/(-10). Let u(y) = -y**2 + 6*y - 4. Let n be u(4). Let d = l - n. Is d a multiple of 11?
False
Let w = -17 - -67. Does 27 divide w?
False
Suppose 126 = 3*t - 231. Suppose -3 + t = 4*c. Suppose 0 = -5*s - 20, -s + c = 3*q - 57. Does 19 divide q?
False
Suppose -2*l + 17 = l + n, 2*l - 8 = n. Suppose -3*x - 4 + 79 = -3*j, -2*x - l*j + 64 = 0. Is x a multiple of 20?
False
Suppose 5*p = 585 - 130. Is 13 a factor of p?
True
Is 62 a factor of 307 + 1*(-12)/(-4)?
True
Let p = -11 + 10. Let a(w) = 8*w - 3. Let m(g) = -5*g + 2. Let d(c) = -5*a(c) - 7*m(c). Is d(p) a multiple of 6?
True
Suppose 2*s + s - 40 = -2*f, -2*f + 50 = 4*s. Suppose -3*x - 2*x = 5*l - s, -10 = -x + l. Does 3 divide x?
True
Is 13 a factor of (-12)/12 - (2 + (-633)/3)?
True
Suppose 3*t - t - 10 = 0. Suppose q - 70 = -3*q + t*k, -4*k = 2*q - 22. Does 15 divide q?
True
Let i = 18 + -13. Let b = -4 - i. Let r = b + 23. Is 13 a factor of r?
False
Suppose -4*x + 62 = -z + 16, 5*z - 34 = -4*x. Suppose -h + w = -13, -2*h + x = 2*w - 7*w. Does 5 divide h?
False
Suppose 4*p - 84 = -2*b + 166, 0 = -4*p + 8. Does 11 divide b?
True
Suppose 69 = -3*l - 3*u, -4*l - 4*u = -3*l + 8. Let r = -87 - l. Let m = -41 - r. Does 18 divide m?
True
Let h(k) = k**3 + 6*k**2 + 3*k + 2. Let y be h(-4). Let z = y - 10. Is z a multiple of 12?
True
Let y(l) = 26*l + 2. Is 15 a factor of y(1)?
False
Suppose -50 = -4*n - n. Let r be 16*(n/4)/(-5). Let b(l) = -6*l - 6. Is b(r) a multiple of 21?
True
Let q(d) = -d**2 - 2*d - 2. Let k be q(-3). Let h = -2 - k. Let o = h + 12. Is 8 a factor of o?
False
Let q(n) = -29*n - 3. Suppose 0*t - t - 3 = 0. Is q(t) a multiple of 26?
False
Suppose 4*v + 73 = 5*p + 7, -5*v = -5*p + 70. Let i = 36 - p. Is 6 a factor of i?
False
Let s be (-3)/(-12) + (-519)/(-4). Suppose 4*b - s = -b. Is 13 a factor of b?
True
Suppose 4 = m + m. Let i(u) = -6*u + 2 + m*u + u + u. Does 4 divide i(-4)?
False
Let f be ((-24)/10)/((-3)/10). Let l(c) = c**3 + 6*c**2 - 4*c - 2. Let w be l(-5). Suppose -p = -3*v + 29, -3*v + p = -f*v + w. Is v a multiple of 9?
True
Let y(r) = -r**2 + 10*r + 4. Let g be y(10). Let n(i) = -4*i + 2*i**2 + 1 + g*i + 0*i**2 + 2*i. Is 13 a factor of n(2)?
True
Suppose -3*m = -12, g - 4*m - 12 = -3*g. Suppose -f = g*c - 2*c - 241, c = 5*f + 43. Is c a multiple of 12?
True
Let h(i) = -i**2 + i + 4. Let g(p) = p**2 - 2*p - 3. Let y(t) = -3*g(t) - 2*h(t). Let k be y(-4). Let q = 55 + k. Is q a multiple of 12?
True
Let n(m) = -5*m. Let k(v) = 11*v - 1. Let j(p) = 4*k(p) + 9*n(p). Is 3 a factor of j(-7)?
True
Let o = 45 - 5. Is o a multiple of 11?
False
Let z = 216 + -127. Suppose -4*k + z = -3. Is k a multiple of 6?
False
Let p = 66 - 24. Is p a multiple of 11?
False
Let n(j) be the third derivative of j**5/60 - 5*j**4/12 + j**3/3 + j**2. Let w be n(9). Let y = w + 11. Is 3 a factor of y?
False
Suppose 4*i + 31 = 3*q, 24 = 4*q - 5*i + 4*i. Suppose -4*a - 4*h = -44, -4*a + 55 = q*h + 14. Is 12 a factor of a?
False
Let t(c) = -3*c - 13. Is 8 a factor of t(-10)?
False
Let q = 895 + -470. Is 65 a factor of q?
False
Let f(k) = -k**2 + 12*k + 3. Suppose 0 = 3*x + x - 24. Is 13 a factor of f(x)?
True
Let i(k) = -k**3 + k. Let r(m) = 5*m**3 + 8*m**2 - 4*m - 3. Let y(x) = -4*i(x) - r(x). Let u be y(-8). Is 6 a factor of 1/(u/(-1 - -64))?
False
Suppose 0 = -v - b - 23, 0*b - 2*b = -2*v - 54. Let w = -7 - v. Suppose -2*m + w = m. Is m a multiple of 6?
True
Let o be -30 + (4 + -2)/(-2). Let j = -15 - o. Does 16 divide j?
True
Let c(v) = -v**3 + 8. Is 8 a factor of c(0)?
True
Let n = -120 + 208. Is n a multiple of 11?
True
Let z(c) = c**2 - c + 297. Does 33 divide z(0)?
True
Let u(c) = 17*c - 22. Is 20 a factor of u(6)?
True
Suppose 0 = 3*d + 4*r - 0*r - 173, 0 = 5*r - 10. Suppose 41 + d = 4*j. Is 8 a factor of j?
True
Let n(x) = x**3 - 8*x**2 + 10*x - 11. Is 10 a factor of n(7)?
True
Suppose -2*l = -5*k - 193, -3*l - 5*k + 37 = -290. Suppose 9*x = 13*x - l. Is x a multiple of 13?
True
Is (2 + (-9 - -8))/(1/38) a multiple of 5?
False
Suppose 5*a = 4*a - 57. Let t = 105 + a. Is 16 a factor of t?
True
Suppose -14 - 1 = -d - w, 4*w + 24 = 2*d. Is 4 a factor of d?
False
Is 2/(-7) - (2 + 2360/(-28)) a multiple of 8?
False
Suppose 2*n + 3*u = n + 15, 3*u = 5*n - 129. Suppose 0*h + 3*h = n. Suppose -12 = -4*y, 36 = h*l - 3*l + 2*y. Is l a multiple of 3?
True
Let d(y) = y**3 + 5*y - 2. Is d(3) a multiple of 10?
True
Suppose -3*i - 86 = -2*t - i, 0 = -4*t - 4*i + 148. Suppose q = -q + 5*g + 25, 3*q - t = 5*g. Does 13 divide q?
False
Let t(o) = -o**2 - 5*o - 11. Let q(m) = -1. Let j(i) = 3*q(i) - t(i). Let r = 15 - 21. Does 5 divide j(r)?
False
Suppose 0 = -2*w + 4*p + 16, 4*w - 2*w + p = 16. Let f = w - -3. Does 11 divide f?
True
Let t be ((-3)/6)/((-2)/12). Let x be (-44)/7 - 10/(-35). Is 32 + t/x*2 a multiple of 14?
False
Let u = -4 + 3. Is 13 a factor of (