 = -7*q. Let n = -2 + q. Suppose 60 = 2*j - n*m, m - 7 - 45 = -2*j. Does 12 divide j?
False
Let k(w) = 9*w**2 + 2*w. Let f(p) = p**2 - 4*p - 2. Let c be f(4). Is 19 a factor of k(c)?
False
Suppose 3*q + 34 = 7*q - 2*y, 3*q = -2*y + 29. Is q a multiple of 3?
True
Is 57 + (-1)/((-3)/9) a multiple of 15?
True
Let g(c) = -2*c + 3. Does 11 divide g(-4)?
True
Let g(s) = 25*s**2 - s - 1. Let n be g(-1). Let j = 14 + -9. Let h = n + j. Does 11 divide h?
False
Suppose 7*v - 520 = 355. Is 25 a factor of v?
True
Let p be 144/(-30) - 4/(-5). Let u(k) = -4 - 2*k - 6*k**2 - 2*k**3 + 3 - 3. Is u(p) a multiple of 13?
False
Suppose -w = -0*w - 28. Does 7 divide w?
True
Suppose -a - 262 = -4*a - 5*j, 0 = 3*a - j - 250. Suppose 66 = 4*s + 2*f, -4*s - 3*f = s - a. Does 5 divide s?
True
Let w = 25 + -33. Does 5 divide 23/4 + (-2)/w?
False
Is 6 a factor of (4/10)/(1/(2 - -368))?
False
Let h(w) be the third derivative of -7*w**6/60 + w**5/60 - w**4/24 - w**3/6 - w**2. Let v be 2/1 + (-4 - -1). Does 12 divide h(v)?
False
Suppose 45 = 4*a - a. Suppose 0 = 4*h - a - 225. Does 20 divide h?
True
Suppose 5*d = 7 + 23. Suppose 3*f = -d + 54. Suppose 3*g = -2*y, -4*y + 3*g - 5*g = -f. Does 6 divide y?
True
Let x be -5*1*-3*1. Let d(u) = -10*u + 5. Let b be d(-5). Suppose -p - b = -4*v, 2*p + x = 2*v - p. Does 8 divide v?
False
Let m(x) = x**3 - 4*x**2 + 2*x + 1. Let a be m(4). Suppose -144 = -5*h + 3*r, 4*r = 2*h + 2*r - 56. Let q = h - a. Is q a multiple of 16?
False
Let r = -18 - -36. Is 9 a factor of r/((-1)/((-3)/2))?
True
Let y(k) = k**2 + 9*k + 20. Does 26 divide y(-17)?
True
Let h(x) = -x - 4. Let a(c) = -c - 1. Let j(p) = 2*a(p) + h(p). Let n be (-4)/(-14) + 37/(-7). Does 9 divide j(n)?
True
Let o be -2 + (1 + -1 - 6). Let c(d) = -3*d**2 + 8*d - 10. Let q(f) = f**2 - f. Let r(n) = c(n) + 4*q(n). Does 22 divide r(o)?
True
Suppose 5*z + 12 = -4*b + z, -5*b + z + 15 = 0. Suppose -b*s = s - 3*o - 12, -s - 2*o = -7. Suppose -96 = -s*c + c. Is c a multiple of 9?
False
Suppose 3*b = 338 - 44. Let k = -65 + b. Let c = k + -17. Does 16 divide c?
True
Let n be (4/6)/(8/36). Suppose 5*m + 2*d - 22 = 0, 0*m - d = n*m - 13. Suppose 5*c - 72 = 2*q, -5*q - 28 = -m*c + c. Does 16 divide c?
True
Suppose -2*l + 3*l = 4. Suppose 60 = p + l*p. Suppose 42 = n - 5*i, p = -n - i + 30. Is 11 a factor of n?
True
Let d = 41 - -3. Does 13 divide d?
False
Let r = 8 + -3. Is (2 - 1) + (46 - r) a multiple of 21?
True
Let c = 1 + -2. Suppose -m - 4*l - 1 + 0 = 0, -m - 2*l = 5. Is (-300)/m + c/3 a multiple of 10?
False
Suppose 0 = 3*h + h - 28. Does 7 divide (-8)/(-28) + 96/h?
True
Let f(y) = -y**2 - 2*y. Let m be f(-2). Suppose 2*g - 96 + 40 = m. Is g a multiple of 28?
True
Suppose 0 = -w - 3*w + 48. Is w a multiple of 4?
True
Let d = -7 + 10. Suppose 0*n - d*n = -6, -10 = -4*o + 5*n. Let z(r) = r**2 - 3*r - 3. Does 7 divide z(o)?
True
Suppose -3*r + 2*f + 6 = 0, -3*r = -0*f - 5*f + 3. Is 2 a factor of r?
True
Let m = -69 + 199. Is 18 a factor of m?
False
Suppose -2*q = -4*k - 4*q + 8, 0 = -5*k + q + 24. Let u(w) = w**2 + w + 4. Is 4 a factor of u(k)?
True
Let j = -15 + 41. Suppose 2*x - j = -4*l, l - 6*l + 31 = 2*x. Let y(q) = -q**2 + 6*q + 4. Is 9 a factor of y(l)?
True
Let k(j) = j**2 - 9*j - 5. Let s be k(9). Let w(v) = v**3 + 5*v**2 + 2*v + 3. Let l be w(s). Let d(t) = -2*t + 7. Is 21 a factor of d(l)?
True
Let d(x) = -3*x - 3. Let b be d(5). Let c be (-1 - 28) + (-5 - -7). Let a = b - c. Is a a multiple of 9?
True
Is 31 a factor of ((-28)/(-4))/(3/42)?
False
Let d = -24 + 24. Let g be ((-112)/(-6) - 2)*3. Suppose -4*i = -d - 8, -2*x - 2*i = -g. Does 13 divide x?
False
Suppose 5*w + 15 = 0, 2*w = 2*f - 7 + 1. Suppose h + 3*h - 100 = f. Is h a multiple of 25?
True
Let c(h) = 2*h**2 - 3*h + 3. Suppose 0 = -2*q + q + 2. Let k be c(q). Suppose k*n = -3*u + 108, -3*u + 15 = n + 3. Does 12 divide n?
True
Let r = 169 - 15. Is r a multiple of 7?
True
Let i = 115 - 70. Is i a multiple of 9?
True
Is 1185/9 - -1*(-5)/(-15) a multiple of 12?
True
Suppose 0 = -x + 10 - 2. Let i = 7 - 7. Suppose 5*m - 12 - x = i. Is 4 a factor of m?
True
Suppose 0 = 5*f - 10*f + 195. Does 12 divide f?
False
Suppose -d - 84 + 187 = 0. Does 10 divide d?
False
Let y = 111 - 30. Is y a multiple of 27?
True
Let f(v) = 3*v**2 - 3*v - 19. Is f(6) a multiple of 15?
False
Suppose -5*k + 4*k = -19. Is k even?
False
Suppose -5*q + 304 = -241. Is q a multiple of 18?
False
Let p(d) = -d**3 - 3*d**2 + 7*d - 6. Let n be p(4). Let u be n/(-21) - (-2)/(-7). Suppose l + 95 = 5*h, 0 = 4*h - u*l - 27 - 65. Is 18 a factor of h?
True
Let x(t) = 2*t - 3. Let r be x(3). Is -1 + (24 - 0)/r a multiple of 7?
True
Suppose -4*v - y - 2 - 1 = 0, 0 = 2*v - 4*y - 12. Suppose -n - 2 + 16 = v. Is n a multiple of 7?
True
Suppose -99 = -2*n - 3*a + 6*a, 5*a = -4*n + 143. Suppose 2*d - n = -0*d - 4*s, 5*s = 4*d - 97. Is d a multiple of 16?
False
Let a(q) = 2*q - 5. Let d be a(6). Let b(v) be the first derivative of v**3/3 - 5*v**2/2 - 2*v + 2. Does 5 divide b(d)?
False
Let w = -33 - -54. Suppose w = 3*h - 2*h. Let i = h + -10. Is i a multiple of 11?
True
Suppose m = -m - g - 2, -21 = -5*m + 4*g. Suppose 4*f - 134 = -2*c - 0*c, c + m = 0. Does 10 divide f?
False
Suppose -4*y + 40 = y. Is y a multiple of 5?
False
Let h(s) = 2*s**2 - 8*s + 12. Is h(6) a multiple of 18?
True
Let a = 6 - 0. Let m be (6/4)/(a/16). Is (7 + 65)*2/m a multiple of 18?
True
Let k(w) = -w**3 + 4*w**2 - w + 1. Is k(3) a multiple of 7?
True
Suppose -5*p - 5*o - 16 + 326 = 0, 3*o = 5*p - 326. Let u = p - 40. Suppose u = -0*m + 3*m. Does 8 divide m?
True
Is 17 a factor of (-46)/(-3)*(-6)/(-4)?
False
Let n = -70 + 28. Let t = n - -70. Does 15 divide t?
False
Let v be ((-20)/6)/((-2)/3). Let i = 6 + v. Does 4 divide i?
False
Is -4 + (0 - -118) - -3 a multiple of 39?
True
Suppose -5*k + 693 = -2*k. Does 21 divide k?
True
Suppose 6*y = 2*y + 228. Suppose y = 4*h - 3*h. Is 19 a factor of h?
True
Suppose 5*p + g + 166 = 743, 4*g - 8 = 0. Suppose r - 20 = 12. Suppose -6*c + 2*c - 3*l = -p, 0 = -c - 4*l + r. Does 14 divide c?
True
Let d(y) be the third derivative of y**5/6 - y**4/8 - 2*y**3/3 - 3*y**2. Is d(-2) a multiple of 14?
True
Let q = -169 + 369. Suppose -q = t - 3*t. Suppose 5*v - 2*l - 3*l = t, v = -l + 26. Is 13 a factor of v?
False
Suppose 3*r = -0*r + 93. Let i = -25 + r. Is 3 a factor of i?
True
Let f(o) = 7*o - 3*o - o**2 + 2*o**2 + 4. Let q = -17 + 13. Does 4 divide f(q)?
True
Suppose 0 = -2*y + 4*b + 160, 0*y + 5*y - 325 = -5*b. Let j = y + -48. Does 22 divide j?
True
Let c(j) = -5*j - 6. Let g = -2 - 2. Does 14 divide c(g)?
True
Let t(p) = p - 12. Suppose -y + 9 = -0*y. Let l be t(y). Is (40 - (2 - 3)) + l a multiple of 19?
True
Let r = 74 - 62. Does 4 divide r?
True
Let n = -37 + 79. Suppose -22 = -2*o + n. Does 16 divide o?
True
Let k(p) = 7*p**2 - 2*p - 2. Let z be k(3). Suppose 5*g - 4*i - z = 0, 33 = 3*g - i + 3*i. Is 4 a factor of 0 - (-3 - -2)*g?
False
Suppose 2*i - 21 = 61. Is i a multiple of 10?
False
Suppose 4*a - 638 = -3*v, -2*v - 5*a - 410 = -4*v. Is 31 a factor of v?
False
Let x = -12 + 21. Is x a multiple of 3?
True
Does 13 divide 6/9*(-2 + 41)?
True
Let q be (-1)/(((-14)/(-12))/7). Let f(s) = s**2 + 6*s + 2. Let u be f(q). Is 12 a factor of (u + -3)/(1/(-16))?
False
Let u(n) be the third derivative of -n**4/12 - n**3/2 - 3*n**2. Is u(-10) a multiple of 9?
False
Let l(y) = 13*y**2 + 2*y + 1. Let n be l(-1). Is 93/n*(2 + 2) a multiple of 14?
False
Let i = -1226 + 334. Let h be i/(-36) + 4/18. Let j = h - 11. Is j a multiple of 14?
True
Suppose 3*z + 23 = -2*s - 2*z, -s = z + 7. Let a = 3 - s. Suppose 0 = c - a - 32. Is c a multiple of 13?
True
Suppose 12 + 42 = 2*y. Is 4 a factor of y?
False
Let q(a) = -a**2 + a + 1. Let i(b) = 4*b**2 + 7*b + 8. Let k(z) = -z**2 - z - 1. Let f(l) = -i(l) - 3*k(l). Let t(g) = -f(g) - q(g). Is t(-3) a multiple of 5?
False
Let g(v) = v**2 - 3*v + 4. Let c(b) = -b + 8. Let w be c(5). Let o be g(w). Suppose -4*q = o*l + q - 64, 0 = -2*q + 8. Does 3 divide l?
False
Let y(v) = -v**3 + 12*v**2 - 7*v - 23. Does 7 divide y(11)?
True
Is 15 a factor of (-40)/(-100)*(-2 + 1)*-150?
True
Let j(z) = 4*z - 3. Does 18 divide j(7)?
False
Let j(f) = 2*f - 4. Let c be j(3). Suppose -2*y + 20 = c*y. Suppose -2*h + 4*t + 26 = -h, -y*h - 5*t = -105. Is 