t(n) = g(n) + v(n). Let h = -4 + 7. Is 3 a factor of t(h)?
False
Does 15 divide -2 + (-20)/8*-12?
False
Suppose 3*r = -3*r + 432. Is 9 a factor of r?
True
Let f be -4*41*1/(-2). Let g(w) = 3*w**2 + 2*w + 1. Let d be g(-1). Suppose d = -4*b + f. Is 10 a factor of b?
True
Suppose r + 6 = 9. Suppose 5*a - r*u = 235, -u + 11 = -3*a + 148. Is a a multiple of 33?
False
Suppose 3*r - 75 - 105 = 0. Let b = r - 32. Is 14 a factor of b?
True
Let a = 11 + -8. Suppose -14 = -2*f + 4*o + 14, -a*f = 4*o - 12. Does 3 divide f?
False
Let u = 30 - 5. Is u a multiple of 7?
False
Let c be 1 + 1*-7 + -2. Let i = c + 11. Suppose i*v + 17 = 5*q, -3*q - v = -10 - 3. Does 2 divide q?
True
Let f(q) = q + 1. Let p(y) = -2*y + 3. Let d(u) = 6*f(u) + 2*p(u). Let z be d(-10). Is 11 a factor of (-31)/(-3) + z/(-12)?
True
Let m(x) = 41*x**2 - 3*x - 2. Is 6 a factor of m(-1)?
True
Let y(r) = -2*r**2 + 1. Let j(h) = h**3 - h**2 + 1. Let f be j(-1). Let d be y(f). Is 22/2 - (-1 - d) a multiple of 6?
False
Let b = 0 - -2. Suppose 3*p = -b*p + 10. Suppose 5*o + 2*u = 220, -p*o + 19 = 3*u - 58. Is 23 a factor of o?
True
Suppose 0 = -u - u - 54. Let x = u - -17. Is 19 a factor of (-15)/6*76/x?
True
Suppose k = v - 2*v + 21, -68 = -3*k - 4*v. Is 13 a factor of k?
False
Suppose -5 + 3 = -s. Suppose 4*f = -s*l + 96, 84 = 4*f - l - 0*l. Is f a multiple of 18?
False
Suppose -4*y = -5*z + 27, 0 = 2*z - 4*y - 3 - 3. Suppose 0 = 4*n + 3*x - 17, 5*x + 18 = -z. Is n a multiple of 7?
False
Is 11 a factor of 2*(31 + (-1 - 2))?
False
Suppose 3*g + 169 + 26 = 3*o, -295 = -5*o - g. Does 30 divide o?
True
Is ((-3)/((-30)/4))/((-1)/(-45)) a multiple of 8?
False
Let k(x) = -x**2 - 14*x - 4. Is 12 a factor of k(-7)?
False
Suppose 5*h + 3*v - 4*v - 397 = 0, 403 = 5*h + v. Is h a multiple of 16?
True
Let h(d) = 2*d**2 + d + 2. Suppose 4*l + 7 + 9 = 0. Is 10 a factor of h(l)?
True
Suppose 86 = 5*n - u, 2*n - 3*n + 21 = -4*u. Let l = n + -11. Is 5 a factor of 64/l - 2/3?
True
Suppose -2 = -2*k, u - 11*k + 6*k - 138 = 0. Does 11 divide u?
True
Let f = 115 - 43. Let m = -42 + f. Is m a multiple of 15?
True
Let k = 21 - -8. Let r = k - 5. Suppose 4*a - 1 = -i + 47, 4*i - r = -2*a. Is 12 a factor of a?
True
Let s = -68 + 130. Does 31 divide s?
True
Suppose 0 = -3*d + 144 - 27. Is d a multiple of 12?
False
Let c = 4 + -1. Suppose -2*b = -3*s - 4, c*b - 3*s + 1 = 10. Let g(y) = 2*y + 6. Does 8 divide g(b)?
True
Suppose 0 = -0*b + 2*b - 6. Suppose -b*h = -2*h - 2. Suppose -3*v - h*v = -130. Is 13 a factor of v?
True
Let d = 76 + -36. Is 10 a factor of d?
True
Let a(r) = 3*r**2 + 14*r + 11. Does 21 divide a(-8)?
False
Suppose 0 = 3*a - 15 - 3. Suppose -3*o + 2*o = -6. Does 3 divide o/5*40/a?
False
Suppose -4*r - h + 61 = 0, -4*h = -4*r - 0*r + 36. Is r a multiple of 14?
True
Suppose 10 + 6 = -2*f. Is (4/f)/((-1)/36) a multiple of 6?
True
Let o(z) = -30*z + 7. Is o(-3) a multiple of 22?
False
Let z = -6 + 54. Is z a multiple of 16?
True
Let v be (5 + -2)/(-3)*1. Let s be v*(-2 - -2)/(-2). Suppose -5*w - x + 28 = s, x = -4*w + 5*x + 32. Does 6 divide w?
True
Let a = 128 - -39. Does 11 divide a?
False
Suppose 0 = -2*t - 2*t + 20. Suppose -4*j + 4*a - 16 = -40, t*j + 2*a = 51. Does 5 divide ((-30)/(-4))/(j/12)?
True
Suppose -5*w - 3*g = g - 10, 15 = -5*w + g. Is (w/6)/((-2)/96) a multiple of 16?
True
Let s be (-8)/40 - (-86)/5. Suppose -s*z + 17 = -16*z. Does 12 divide z?
False
Suppose 0*i = -i. Suppose 5 = 5*a, -3*o + 2*a = -i*o - 4. Is 2 a factor of o?
True
Let w = 122 - 69. Suppose 3*f - 16 - w = 0. Is 11 a factor of f?
False
Suppose -4*t - 3*q - 13 = 0, -2*t - 5*q + 5 = 22. Is 18 a factor of (-1)/(t/72) - 2?
False
Is 5896/24 + 6/(-9) a multiple of 35?
True
Suppose -4*g + 18 = -r, -2*g + 10 = -0*g. Let p(y) = -y**3 + 2*y**2 + 2*y**2 - 7 + 2*y**r + 3*y. Does 10 divide p(6)?
False
Suppose 2*k + 0*k - 42 = 0. Suppose -2*x + k = -51. Suppose 3*s - x = -5*w + 4*s, -s = 3*w - 28. Is w a multiple of 4?
True
Suppose 0 = -q + 4*q + 18. Let z = 11 + q. Is 2 a factor of z?
False
Let n = -3 + 19. Suppose -6*l + 2*l + n = 2*w, -3 = l - 3*w. Suppose 2*p + l*p = 160. Does 16 divide p?
True
Suppose -2*y + 27 = 5*b - 25, 78 = 3*y - 3*b. Suppose 0*n + 5*n - 67 = x, -n - 4*x + y = 0. Is n a multiple of 6?
False
Let g(i) = i**3 - 9*i**2 + 8*i + 4. Let o(n) = 2*n - 11. Let k be o(8). Suppose 0 = k*s + 28 - 68. Does 2 divide g(s)?
True
Let q be (-35)/(-14)*(-12)/(-10). Suppose q*k = -6, -5*k + k = 5*b - 92. Does 10 divide b?
True
Let r(m) = 4*m**2 - 4*m + 3. Let s be r(6). Let y = s - 64. Does 15 divide y?
False
Let g = -41 + 59. Does 2 divide (5/15)/(2/g)?
False
Is 40 a factor of 101/3*(3 + 6)?
False
Let k(n) = -n**2 - 2 + n**3 + n**3 + 0 + 3*n - n**3. Does 7 divide k(2)?
False
Suppose 2 = -i - 5*t - 0, -3*i + 50 = t. Is 18 a factor of i?
True
Let w = 137 + -93. Let u = -17 + w. Is u a multiple of 27?
True
Let c(t) = 2*t**3 + 3*t**2 + 2*t + 3. Let m be c(-5). Let y = 122 + m. Let o = y + 110. Is 14 a factor of o?
False
Let j(m) = m**2 + 2. Let v be j(0). Suppose 3*y - 220 = 14. Suppose y = u + v*u. Is u a multiple of 13?
True
Suppose 0 = -2*v - 5*r + 93, 181 = 4*v + 2*r + 3*r. Is 10 a factor of v?
False
Let w be (-24)/6*(-3)/(-2). Let d(a) = a**2 + a + 3. Is d(w) a multiple of 11?
True
Let p be 210/66 + (-4)/22. Is p/(-12) + 98/8 a multiple of 12?
True
Let o be (7 - (-1 - -3)) + -2. Suppose -b - 14 = -5*b - 2*f, b = o*f + 7. Let q = b - -13. Is q a multiple of 17?
True
Let y(x) = 32*x**2. Let c be y(-1). Suppose -k - c = -3. Let b = 4 - k. Is b a multiple of 15?
False
Suppose -5*l + 2 = -3. Is 6*l + 0/(-2) a multiple of 3?
True
Let s(r) = -r**3 + 9*r**2 + 2*r - 8. Let m be s(9). Let z = m + 7. Does 6 divide z?
False
Let k = 300 + -105. Is k a multiple of 28?
False
Let s = 7 - 3. Suppose -s + 1 = -l. Does 12 divide 1/(-2*l/(-126))?
False
Let f(w) = -3*w - 6. Let d be f(-4). Let o be 176/6 - (-4)/d. Suppose 18 = 3*u - o. Is 8 a factor of u?
True
Let l = 99 + -31. Does 16 divide l?
False
Suppose -3*j + 0*j + 87 = 0. Suppose -3 = -4*b + 3*h + 22, -4*b + j = h. Is 2 a factor of b?
False
Let h = 43 - 22. Does 14 divide -10*6/(-45)*h?
True
Let l(a) = -4*a + 9. Is 5 a factor of l(-4)?
True
Does 3 divide 18 + -1*(4 - 1) + -1?
False
Let d be (-13 - -2)*-4 + 3. Suppose 4*b = 6 + 2. Suppose 1 - d = -b*r. Does 10 divide r?
False
Suppose -10 = -5*f + 15. Suppose 6*d - d + o = 377, 3*d = -f*o + 235. Suppose -4*a = a - d. Does 7 divide a?
False
Let q be 6/(-27) - 76/(-18). Suppose 0 = q*i - 46 - 14. Is i a multiple of 15?
True
Let d(i) = 4*i**2 + 3*i - 1. Suppose -6*j - 15 = -j. Is d(j) a multiple of 13?
True
Suppose -3*y = -8*y - 2*x - 10, 3*x = -15. Suppose 2*b - 5*m = 9 + 38, -m - 3 = y. Is 7 a factor of b?
False
Let b = 7 + -5. Suppose -2*p + 60 = b*p. Suppose -4*l + p = l. Is l a multiple of 2?
False
Is (-6)/9*51*-5 a multiple of 10?
True
Let n be (2 - (6 + -3)) + 1. Suppose -t = -n*t - 3. Is t even?
False
Suppose -p + 0 + 9 = -3*j, 3 = p + 3*j. Is 11 a factor of 12 + (2 - p) + 3?
True
Let t(k) = k**2 + 11*k - 19. Let l(p) = -p**3 + 5*p**2 + 13*p - 6. Let f be l(7). Does 2 divide t(f)?
False
Let c be (4/5)/((-4)/(-10)). Let m(d) = 11*d - d**3 + 3*d**2 + 4*d**2 - d**c - 9. Is m(7) a multiple of 19?
True
Suppose -528 = -4*t - 5*j, j + j = 5*t - 660. Is 10 a factor of t?
False
Suppose -2*t + 59 = y, -t + 2 + 15 = 3*y. Let u = 56 - t. Does 13 divide u?
False
Let b(c) be the second derivative of c**3/6 - c**2/2 - c. Is b(8) a multiple of 4?
False
Let j(l) = 5*l**2 - 3*l - 4. Let w be j(5). Suppose -2*b + w = -0*b. Suppose 11 = -3*n + b. Is 14 a factor of n?
True
Let u(n) = n**2 + 2. Let i be (-2)/(-2)*(-2 - -2). Let p be u(i). Is (-15)/(1/p*-2) a multiple of 15?
True
Suppose 4*l = -2*t + 28, -4*t + 20 = 3*l - 3*t. Suppose 14 = o + l. Is 8 a factor of o?
True
Let z = 115 + -75. Does 12 divide z?
False
Let t(u) = -2*u**3 + 3*u**2 + 15*u + 2. Is t(-5) a multiple of 14?
True
Suppose -6*w + w = 0. Let u be (w + -2)/(-3 + 1). Does 10 divide (-63)/(-6) + u/(-2)?
True
Let c(v) = v**2 - v + 4. Is c(-6) a multiple of 4?
False
Let o be -1 - 1*-4 - -27. Let m = o + -12. Is m a multiple of 6?
True
Let k = -178 - -346. Suppose -4*o + k = 4*p, -4*o + 5*p + 150 = 3*p. Is 15 a factor of o?
False
Suppose 5*f = 117 + 38. Suppose 93 + f = 4*u. Does 9 divide u?
Fa