 3*k - f = -i*f + 64, 0 = -3*k - 5*f + 76. Does 10 divide k?
False
Let k be (-18)/5*(-50)/(-15). Is 10 a factor of (-12*2)/(18/k)?
False
Let r(d) = -d**2 - 13*d + 18. Is 6 a factor of r(-13)?
True
Let o(h) = 4*h - 2. Let k(c) = -8*c + 5. Let r(s) = 2*k(s) + 5*o(s). Let w be r(3). Let q = 14 + w. Does 13 divide q?
True
Let g(a) = -a**3 - 7*a**2 - 5*a + 6. Let r be g(-6). Suppose -4*s + 49 + 135 = r. Suppose u + u = s. Is 10 a factor of u?
False
Suppose 0 = -c + 5 - 2. Let k be 21 + 1 + 3/c. Is 12 a factor of (k/2)/(5/10)?
False
Let b = 156 - 108. Suppose v + 0*v - b = 0. Is v a multiple of 24?
True
Suppose -2*c + 0*c = 22. Let k = 25 - c. Is k a multiple of 10?
False
Let m(u) = -8*u + u - 32*u. Is 13 a factor of m(-2)?
True
Suppose -2*t - 3*q + 6 = -7*t, -4 = -3*t - 2*q. Let r(k) = k + 5. Let m be r(t). Suppose 2*a = 2*g - 5*g + 118, -20 = m*a. Is 14 a factor of g?
True
Let s(w) = -29*w - 5. Let u be s(-4). Suppose -3*k + u = 3*v, 3*k - k - 74 = -v. Is k a multiple of 14?
False
Let d(y) = -y**3 + 5*y**2 + 5*y - 5. Is 20 a factor of d(-5)?
True
Suppose -8 = 4*i + 2*s, -i - 1 - 8 = -3*s. Let a(y) = -3*y + 2. Is 4 a factor of a(i)?
False
Let w(s) be the third derivative of s**6/60 - s**5/20 + s**4/12 + 7*s**3/6 + 9*s**2. Does 6 divide w(3)?
False
Does 3 divide 94/6 + (-4)/6?
True
Suppose -2*o = -4*o - 6. Does 12 divide 0 + o - 8*-2?
False
Does 2 divide ((-63)/18)/(1/(-2))?
False
Let b(l) = -17*l - 1. Let x be b(1). Let a = x + 53. Is 14 a factor of a?
False
Let u(z) = -30 + 24 - 2*z - 2*z. Does 15 divide u(-10)?
False
Let c = -59 + 99. Is 17 a factor of c?
False
Suppose 6*q = 2*q - c + 134, q = -4*c + 41. Let b = q - 12. Is b a multiple of 20?
False
Let r = 587 - 337. Suppose 3*m = m + r. Let k = -68 + m. Does 20 divide k?
False
Let r = -1 + 11. Is 5 a factor of r?
True
Let y = -8 + 104. Is y a multiple of 12?
True
Let b = 106 + -70. Is 6 a factor of b?
True
Let t(d) = -d**2 + 18*d + 9. Does 14 divide t(11)?
False
Suppose 4*w - 2*t = -300, -5*w + 3*t - 374 = -0*w. Let m = -35 - -51. Is 19 a factor of (w/m)/((-1)/4)?
True
Let b(f) = -7*f**3 - f**2 + 9*f + 3. Let z(x) = 15*x**3 + 2*x**2 - 19*x - 7. Let g(r) = 13*b(r) + 6*z(r). Let v be g(-3). Let m = v - 0. Is 6 a factor of m?
True
Suppose 4*h = -2*g + 72, -g + 0*h + 38 = 4*h. Is 17 a factor of g?
True
Let u(s) = -s**2 - 12*s - 5. Let d be u(-6). Suppose 1 = -3*o + d. Does 10 divide o?
True
Suppose w + 12 = 2*h, 3*h - 5*w - 28 = h. Suppose -t = 3*z + 3*t - 26, h*t = -5*z + 38. Does 6 divide z?
True
Suppose 228 = 2*g + 2*b, 3*b - 22 = 4*g - 499. Does 18 divide g?
False
Let t be (-3)/(-2) + 156/(-8). Let l = 29 + t. Does 10 divide (1 - l)/(2/(-4))?
True
Let j be 4/14 - (-12)/7. Let t(i) = 2*i**2 - i - 1. Let n be t(j). Suppose 6*y = 3*s + y - 86, 0 = -4*s - n*y + 68. Does 11 divide s?
True
Let o = 6 + 29. Suppose m = o + 68. Let b = m + -58. Is 12 a factor of b?
False
Let v(k) = k**3 - 6*k**2 - 7*k + 1. Let u be v(6). Let w = u + 69. Is w a multiple of 7?
True
Let p(x) = 2*x**2 - x - 2. Let f be p(2). Suppose h + f*b - 53 = 0, -h + 3*b = -33 + 1. Is h a multiple of 15?
False
Let n = -5 - -8. Suppose -n = 4*l - 11. Does 2 divide l?
True
Let h = -9 - -7. Let k = h + -1. Is (2*24/k)/(-1) a multiple of 8?
True
Is 6*(925/(-10))/(-5) a multiple of 16?
False
Suppose 4*o - 3*o = -4, -3*b - 26 = -o. Let w = b + 3. Let y(c) = c**2 + 4*c - 1. Is 10 a factor of y(w)?
True
Let q be 1 - -2*(-2 - -3). Suppose 0 = -q*u + 21 + 15. Let g = u - -1. Is g a multiple of 11?
False
Let a(d) = 10*d + 3. Is 13 a factor of a(3)?
False
Suppose -5*v - 15 = -0*v - 5*w, 4*w - 24 = -2*v. Suppose -140 = -v*j - 3*j. Suppose j + 14 = 2*s. Is s a multiple of 15?
False
Let j(r) = -r**3 - 3*r**2 + 6*r - 2. Let o be 6 + (-6 - (-3)/1). Suppose -5*f = -2*g + 29, o*f + 8 = f - g. Is j(f) a multiple of 7?
False
Let k(t) = 2*t**2 - 3*t + 37. Does 17 divide k(12)?
True
Let k(g) = 5*g**2 - 1. Let s be (3 - -1)*1/2. Let u = s - 3. Is 2 a factor of k(u)?
True
Let y(v) = -v**2 + 14*v + 8. Let p be -33*(-3)/9*1. Is 11 a factor of y(p)?
False
Suppose 3*o = -2*y + 2*o + 138, 3*o = y - 62. Suppose 34 = 3*v - y. Is v a multiple of 10?
False
Let w be ((-2)/3)/(4/(-18)). Let u(z) = -z**3 - 5*z**3 - z**2 - z - 18*z**w. Does 12 divide u(-1)?
True
Is 285 - (6 + -2 - 5) a multiple of 22?
True
Let u(p) = -p**3 - 8*p**2 - 10*p - 8. Let r be u(-6). Let q = r - -48. Does 6 divide q?
False
Suppose -l + 27 = 2*l. Suppose 2*o + i = 79, -o + l = -2*i - 38. Is 17 a factor of o?
False
Let r(k) = -k**2 + k. Let t be r(2). Does 2 divide -2*t/4 + 3?
True
Suppose -164 = 4*o - 5*o. Let a = o + -89. Is 22 a factor of a?
False
Let x be 0 - (-2 + (3 - 0)). Let z be (x/(-1))/((-1)/(-105)). Suppose -4*t - z = -9*t. Is 21 a factor of t?
True
Suppose -u - 3*q + 70 = q, -5*u = -2*q - 328. Suppose -5*t = -9 - 11. Suppose -86 = -t*x + u. Is 19 a factor of x?
True
Let d(y) = y - 1. Is 10 a factor of d(20)?
False
Suppose -3*y + 106 = z, 2*y + 84 + 47 = z. Does 52 divide z?
False
Suppose -6*c + 186 = -0*c. Does 7 divide c?
False
Let u(n) = 2*n - 9. Let v be ((-2)/3)/(1/(-9)). Is u(v) a multiple of 3?
True
Does 6 divide -1 + (28 - 1)/1?
False
Suppose 2*k + 8 + 2 = 0. Let z = -1 - k. Is 3 a factor of z?
False
Suppose z - 13 = -4. Is 18 a factor of 656/36 - 2/z?
True
Let v = -133 + 24. Let s = v + 181. Is 24 a factor of s?
True
Suppose -v = -3*v + 4. Suppose -6*q + 8 = -v*q. Suppose 4*o + 0*o - 50 = -b, -5*b + 178 = q*o. Is b a multiple of 17?
True
Suppose -6*w + 2 = -4*w. Let o(f) = -f + 1. Let x be o(w). Suppose 2*q - 4*s - 28 = x, 4*q - 2*q - 3*s = 31. Is 10 a factor of q?
True
Suppose 2*o - 2*u = -o + 30, -2*u - 6 = -o. Let y be 21/12*(o + -4). Suppose -y + 178 = 4*s. Is s a multiple of 20?
False
Let s(p) be the second derivative of p**4/24 + 17*p**3/6 - 3*p**2/2 - p. Let y(h) be the first derivative of s(h). Does 7 divide y(0)?
False
Suppose -4*s - 4*s + 160 = 0. Is s a multiple of 18?
False
Suppose -3*f - 4*m = 252, -5*f - 635 = -3*m - 215. Let w = f + 123. Does 16 divide w?
False
Let h(w) = -w**3 + 2*w**2 + 6*w + 2. Let f be h(-4). Suppose -5*a - 2*r - 2*r + f = 0, -4*a = -2*r - 80. Does 6 divide a?
True
Suppose 6*s - n = s + 223, 0 = -2*s + 2*n + 94. Is s a multiple of 11?
True
Is 13 a factor of (-12)/(-18) + 61/3?
False
Let p(k) = 6*k**3 - k**2 + k. Let f be p(1). Suppose -4*w = -f*w + 8. Suppose -43 = -u + 5*d, 9*u + 4*d - 99 = w*u. Is u a multiple of 15?
False
Suppose 0 = -3*j + j + 22. Does 11 divide j?
True
Does 23 divide 8/36 + (-1652)/(-18)?
True
Let g be (-7 - -4 - -3)/2. Let w = 13 + g. Does 13 divide w?
True
Let h(q) be the second derivative of q**4/12 + q**3/2 - 3*q**2/2 + 2*q. Let z be h(-3). Is 2/z - (-100)/15 a multiple of 6?
True
Does 32 divide -64*((-3 - 2) + 4)?
True
Let s(o) be the first derivative of o**4/4 - o**3/3 - 3*o**2 + o + 2. Does 10 divide s(4)?
False
Let t(b) = 2*b**2 - b. Let z be t(4). Let m be (-2)/(-2) + 0 + 2. Suppose m*d = -d + z. Is d a multiple of 3?
False
Let f(c) = -7*c - 32. Does 2 divide f(-8)?
True
Suppose m - 5 = -0*m. Suppose 0 = -m*x + 26 + 19. Suppose -3*o = -x - 21. Does 6 divide o?
False
Let n(m) = 3*m + 1. Suppose -o + 3 = 2*w + 3*w, -3*o - 51 = -5*w. Let a be 3/12 + (-45)/o. Is n(a) a multiple of 13?
True
Let t = -107 - -170. Does 9 divide t?
True
Let c = 21 + 39. Let t = 123 - c. Suppose -2*q = q - t. Is q a multiple of 15?
False
Suppose -2*v + 3*n + 4 = 0, 2*v + 0*n - 4 = -4*n. Let l(h) = 7*h + 4 - 7*h + 5*h**2 - 4*h**v. Is l(-4) a multiple of 20?
True
Let g(u) = -4*u**2 + 5*u - 1. Let c(z) = 3*z**2 - 5*z + 1. Let i(o) = -5*c(o) - 4*g(o). Does 29 divide i(5)?
False
Let u(j) = 4*j**3 - 4*j**2 + 2*j + 1. Let l be u(3). Let h be 1764/(-35) + (-3)/5. Let y = l + h. Is y a multiple of 13?
False
Suppose 5*s - 31 = -d, -5*s + 6*s - 2 = 4*d. Suppose 3*n - s*n = -72. Is n a multiple of 14?
False
Suppose -90 = -2*l + 5*s, s + s - 116 = -3*l. Does 7 divide l?
False
Is 23 a factor of ((-3)/(-9)*3)/(2/102)?
False
Let c be (-2)/2 + (-2)/(-1). Suppose 0 = a - c - 2. Suppose y = -4*u + 128, 0 = a*u - u - y - 58. Is u a multiple of 13?
False
Let d = 569 + -350. Does 20 divide d?
False
Let r(f) be the first derivative of f**3 - f**2 - 5*f - 1. Let d be 66/15 - (-1 - (-21)/15). Does 13 divide r(d)?
False
Let o = -49 + 73. Suppose -2*n + 5*l - o 