3. Does 14 divide c?
False
Let u(j) be the first derivative of j**2 + j + 3. Is u(3) a multiple of 2?
False
Let f(c) = c + 2. Let k be f(2). Suppose -2*x + 4*s = -k*x + 54, -3*s = 3*x - 72. Let b = x + 8. Is b a multiple of 11?
False
Let w = 112 - 12. Does 21 divide w?
False
Suppose -4*s + 564 = 3*j, 2*s + j = 246 + 38. Let f = 209 - s. Does 22 divide f?
False
Let y(m) = m**2 + 6*m + 7. Let c be y(-7). Let p = c - 4. Is 10 a factor of p?
True
Suppose 0 = -2*m + 25 + 15. Is 10 a factor of m?
True
Does 20 divide 59/3 + 1/3?
True
Let i(n) = -n**2 - 12*n - 4. Let r = 53 + -31. Suppose 2*l + 3*p + 3 = 0, 3*l + 0*p = -p - r. Is 11 a factor of i(l)?
False
Let q = -1 - -15. Does 7 divide q?
True
Suppose -3*n - 80 = -2*n. Suppose -3*v - 20 = 2*v. Does 4 divide (-6)/v*n/(-15)?
True
Suppose -2*z + 0*z + 54 = 0. Let c = -1 + z. Is 13 a factor of c?
True
Suppose 0*r = 4*r. Suppose 6*m - 3*m - 21 = r. Is 6 a factor of m?
False
Let z(a) = -a - 18. Let i be z(-12). Let u = 15 + i. Is 3 a factor of u?
True
Suppose 200 = -4*d + 536. Does 21 divide d?
True
Is (-10)/(2/(-2)) + -3 a multiple of 6?
False
Let l = 11 + -8. Let u(m) = -7*m**2 - 3*m - 2. Let v(j) = -15*j**2 - 6*j - 5. Let q(k) = l*v(k) - 7*u(k). Does 13 divide q(-3)?
True
Let b be (-6)/(-18) + (-362)/6. Does 19 divide (-3924)/b - (-4)/(-10)?
False
Let a = 3 + 69. Is 24 a factor of 20/(-3)*a/(-10)?
True
Let y be ((-6)/(-9))/(4/(-78)). Let g = 18 + y. Is 3 a factor of g?
False
Suppose 0 = 3*s - 5*k + 7, -3 = 5*k + 2. Let h be (s/(-6))/((-2)/(-12)). Suppose -h*b - x = -94, -2*x - 44 = -2*b + 8. Is 12 a factor of b?
True
Let x be (4 + -2)/(-2)*21. Let s = -7 - x. Let y = s - 10. Is 4 a factor of y?
True
Let s(t) = 3*t**2 + 3*t - 2. Let k = -6 - -13. Let q = 10 - k. Is s(q) a multiple of 17?
True
Let z = 201 - 101. Let w = 19 - 81. Let l = z + w. Is 19 a factor of l?
True
Let s = 36 - 24. Is s a multiple of 2?
True
Let v(k) be the second derivative of -k**4/12 + 5*k**3/6 - k**2 - 2*k. Let j be v(4). Suppose -j*x = -6*x + 56. Is x a multiple of 14?
True
Suppose -3*x = -2*s - 21, -3*s + 2*x - 26 = 3*x. Is 17 a factor of (-12)/s*(-153)/(-6)?
True
Let t(u) = -11*u - 3. Suppose r = -0*r - 5. Does 26 divide t(r)?
True
Suppose -2*r = r + 5*v - 92, 0 = 2*r + 2*v - 56. Let b = r + 1. Is 7 a factor of b?
False
Let p = 123 + -53. Is p a multiple of 16?
False
Let o be (-1)/(-4) + (-9)/36. Suppose o*n + 3*n - 6 = 0. Is n even?
True
Suppose -68 - 187 = 3*h. Does 3 divide h/(-25) + 2/(-5)?
True
Let v be (13 - 3)*(-2)/5. Let n(s) = -4*s**2 + 2*s + 7*s**2 + 4*s + 3. Is n(v) a multiple of 13?
False
Let s(u) be the first derivative of -u**4/4 + 17*u**3/3 - 8*u**2 + 8*u + 8. Does 4 divide s(16)?
True
Let v = 10 + -19. Let h be ((-22)/3)/(6/v). Let r = 5 + h. Is r a multiple of 8?
True
Suppose -5 = -3*x + c, 3*x + 3 = -0*c + 3*c. Suppose -x*r + 0*r = 0. Suppose r*h + 80 = 4*h. Does 10 divide h?
True
Let f = -277 - -449. Is 14 a factor of f?
False
Let b = -39 + 90. Let s = -23 + b. Is 7 a factor of s?
True
Let n(i) = 4*i + i**2 - 3*i + 7 - i + 2*i. Is n(-5) a multiple of 11?
True
Let v(z) = -18*z - 8. Let u be v(5). Is (-1)/2 - u/4 a multiple of 6?
True
Suppose -2*s = -2*l - 8, -2 = -2*s - 0*l - 4*l. Let g be 2/s*(-2 - 1). Does 10 divide 30/(-4)*g + 1?
False
Let p = -3 - 4. Let f(s) = -s + 1. Let q be f(0). Let g = q - p. Does 3 divide g?
False
Suppose -438 + 153 = -5*v. Is v a multiple of 27?
False
Suppose 0 = 3*t - 2*w + 3, -5*t - 3 - 18 = 2*w. Is (1752/(-36))/(2/t) a multiple of 27?
False
Let r be -2 - -7*3 - 0. Let p = r + -15. Is 2 a factor of p?
True
Let d(u) = u**2 - 4*u - 2. Let z be d(5). Let n(b) be the third derivative of b**6/120 - b**5/30 + 5*b**4/24 - b**3/3 - 3*b**2. Does 11 divide n(z)?
True
Suppose 4 = -2*t + 10. Suppose t*k = -g - 115, -450 = 4*g + 3*k - k. Does 14 divide (2/(-4))/(2/g)?
True
Let u(v) = 2*v + 6. Let c be u(-5). Let n(w) = -10*w + 5. Is n(c) a multiple of 15?
True
Suppose 4*l + 71 + 5 = 0. Is 3 a factor of l/(-6) - (-2)/(-12)?
True
Does 16 divide -2 - ((-6)/2 - 212/2)?
False
Let x be 37/4 - (-10)/(-40). Suppose -4*g - 63 = -4*d + x, 0 = d - 3*g - 8. Does 8 divide d?
False
Let w(l) = l**3 + 10*l**2 + 2. Let j be w(-10). Suppose 4*o = -n - 109, 9 = 5*n - j*n. Does 21 divide (-8)/o + (-850)/(-14)?
False
Suppose 194 + 261 = 5*k. Let m = k + -55. Suppose z - m = -3*w, 4*w - z - 38 = 3. Is w a multiple of 11?
True
Suppose 31 = -5*g + 451. Does 28 divide g?
True
Let r(d) = 2*d - 5. Let u be r(4). Suppose 2*q - 26 = 2*v + u*q, -q = -4*v - 64. Let x = v - -23. Does 8 divide x?
True
Let y(c) = -2*c + 1. Let k be y(1). Let t be 7 - 4 - (-1)/k. Is 11 a factor of (-1)/2 - (-37)/t?
False
Let z(s) = 4*s**3 - 4*s**2 + 2*s - 3. Does 18 divide z(3)?
False
Suppose -h - 3*h = 0. Let g(i) = i**2 - i + 2. Is g(h) even?
True
Suppose 0 = -i + 70 - 22. Is 9 a factor of i?
False
Suppose -4*v - 2*l = -68, -41 = -4*v + l + 15. Suppose -5*r = -v, 3*j + 0*r - 45 = -2*r. Is 7 a factor of j?
False
Let a be 148/(-8) - 2/(-4). Let k = 21 - a. Does 12 divide k?
False
Let f = -1 - -6. Suppose 3*g + 4*w - 3 - f = 0, -24 = -g + 4*w. Is 10 a factor of (22/g)/((-3)/(-12))?
False
Let x be (-20)/5*1/(-2). Suppose -3*i + 8*i + 20 = 5*t, -3*t = x*i - 32. Does 8 divide t?
True
Suppose 4*u - 8 = 0, -3*d - 4*u + 303 = 2*d. Is d a multiple of 7?
False
Let u be (-34)/(-5) + (-4)/(-20). Let w(r) = -r**2 + 8*r + 7. Is 7 a factor of w(u)?
True
Suppose 2*h + 6*u - 3*u = 1, 31 = 5*h - 2*u. Suppose 16 = -4*c, -5*z + c = h*c - 424. Is z a multiple of 22?
True
Suppose -6 = 3*x + 5*n - 10*n, -3*x + 4*n - 3 = 0. Is x even?
False
Suppose -2*j + 0*j = -5*v + 295, -v + 59 = 5*j. Is v a multiple of 14?
False
Does 21 divide (1 + -65)*((-3)/(-6))/(-1)?
False
Let s = -18 - -28. Suppose 0*w - s = -2*w. Is 7 a factor of (56/20)/(1/w)?
True
Let u be -3 - (0 + 0/2). Let z = u - -6. Suppose 0 = 3*w - z*b - 16 - 53, -2*w + 4*b = -48. Is 17 a factor of w?
False
Suppose 24 - 144 = -3*w. Is 10 a factor of w?
True
Suppose 22 = z + 4*r, 0 = 5*z - 5*r - 23 - 37. Is z a multiple of 13?
False
Let b = 69 + -18. Is 17 a factor of b?
True
Let d(l) = 25*l - 5. Let x be d(9). Is (-12)/18 - x/(-6) a multiple of 18?
True
Let l(k) = k**2. Suppose 0 = m + c - 2*c + 4, -20 = -4*c. Let x be l(m). Suppose 3*v - 3*t - 169 = 2*t, -t = -x. Is v a multiple of 20?
False
Suppose -3*t + 305 = -5*m, -45 + 141 = t + 4*m. Is t a multiple of 4?
True
Suppose 2*n - 51 = 15. Let x = n + -14. Is x a multiple of 19?
True
Let l(f) = 2*f**3 + 5*f - 2. Is l(4) a multiple of 17?
False
Let w = 48 - 22. Is 16 a factor of w?
False
Let c = 176 + -51. Is c a multiple of 14?
False
Suppose -p - 3*p + 84 = 0. Does 7 divide p?
True
Let b = -2 - -14. Suppose -3*g - 20 = -2*v, g + 0*g = -2*v + b. Is 6 a factor of v?
False
Let h be 4/18 + (-266)/(-18). Let p be h/9 + (-2)/3. Suppose 41 = 2*f + 3*d, -f = 2*d + p - 19. Is 11 a factor of f?
False
Let p(a) = a**3 - 6*a**2 + 7*a - 1. Suppose 0 = v + 4*d + 3, 2*d + 20 = 2*v - 3*d. Is p(v) a multiple of 3?
True
Suppose 2*u + 3*v - 79 = 0, 0*v = u - v - 27. Does 16 divide u?
True
Let d(v) = -v**2 - 6*v. Let s be d(-6). Suppose -4*x + 3*x + 69 = 2*w, s = 5*x - 2*w - 345. Does 14 divide x?
False
Let f = 119 + 45. Suppose -3*k = 5*y - 0*k - 222, -4*y + f = -k. Is y a multiple of 14?
True
Let o(t) be the third derivative of -t**5/60 - 11*t**4/24 - 4*t**3/3 + 2*t**2. Is o(-7) a multiple of 10?
True
Let u(w) = 3*w - 4. Let t be u(3). Suppose -3*n + j = -5 + 10, -t*n - 2*j = -10. Suppose n = 5*q - 58 - 57. Does 11 divide q?
False
Let y(w) = 20*w**3 - w**2. Suppose 17*f - 21*f = -4. Is 17 a factor of y(f)?
False
Suppose -3*v + 72 = v. Let f be 4/v - (-2)/(-9). Suppose f = -2*m + 5*a - 2 - 15, 0 = -m + 5*a - 21. Is m a multiple of 4?
True
Let y = 9 - -4. Let s = 46 - y. Is 15 a factor of s?
False
Suppose -31 + 11 = -5*f. Does 15 divide 16/(-20)*(-190)/f?
False
Let j = -15 - -27. Does 6 divide j?
True
Let g = 0 + -1. Let f be (g - 2/2)/1. Does 13 divide (-2)/f*(12 - -1)?
True
Suppose 0 = -t + 10 + 95. Does 15 divide t?
True
Suppose -s + 4*s = -4*p + 195, 4*s - 200 = -4*p. Is 17 a factor of p?
False
Let f = -328 + 503. Is f a multiple of 35?
True
Is 3 a factor of 1 + -1 + 1 + 0 + 8?
True
Let h(d) = d - 1. Let t be h(4). Suppose c - 8 = -3, 3*z - t*c - 174 = 0. Is 16 a factor of z?