iple of 9?
False
Let i(f) = -59*f + 13. Let k(n) = -30*n + 7. Let l(t) = -6*i(t) + 11*k(t). Is l(2) a multiple of 12?
False
Is 32 a factor of (-1)/((-5 + 0)/345)?
False
Let u = 4 + -4. Suppose u - 4 = -k. Suppose k*h = 3*y - 105, -y - 3*h = -4*h - 34. Is y a multiple of 14?
False
Suppose -4*m + 2*x = -40, m + 3*x - 13 = 2*x. Does 11 divide m?
True
Is (2 + 5)/((-9)/(-189)) a multiple of 15?
False
Suppose o = 35 + 70. Is 21 a factor of o?
True
Let h be 1*2 + 0/4. Let b be (h - 124)/((-2)/1). Suppose 0 = 4*g - b - 19. Is g a multiple of 10?
True
Suppose 15*n = 20*n - 120. Is 8 a factor of n?
True
Suppose 5*n - 791 = -3*m, -3*n + 4*n - 539 = -2*m. Does 68 divide m?
True
Let i = 53 + 31. Is i a multiple of 21?
True
Let z(h) = -h**3 + 11*h**2 + 3*h - 2. Is z(11) a multiple of 31?
True
Let y(o) = -o**3 - 5*o**2 + o - 4. Let z be y(-5). Let v be ((-6)/4)/((-3)/(-12)). Does 13 divide v/z*-13*-3?
True
Let s be (-102)/27 + 4/(-18). Let r be 142/4 - s/(-8). Let a = r + -16. Does 19 divide a?
True
Does 13 divide ((-124)/(-10) - 2)/((-4)/(-50))?
True
Suppose -3*d = 12, -l + 2*d + 124 = -52. Suppose 3*q - 6*q = -l. Is 8 a factor of q?
True
Let y = -3 + 5. Suppose y*f + f = 153. Suppose -3 = -3*s + f. Is 8 a factor of s?
False
Suppose 0 = 5*x + 5*z + 20, 9 = -x + 2*z - 7. Let i = -3 + x. Let b = i + 40. Does 18 divide b?
False
Suppose -l + 50 = -5*c, -l - 2*l + 5*c + 100 = 0. Is l a multiple of 9?
False
Let r(c) = 2*c + 8. Let u be r(5). Suppose 3*m - u = 39. Is m a multiple of 13?
False
Suppose 0 = -3*u - 0*u + 12. Suppose u*t = h - 49, 5*t + 66 = -5*h - 14. Let a = 34 + t. Is a a multiple of 21?
True
Let m = 34 + -14. Is 4 a factor of m?
True
Let y be (114/(-8))/((-9)/24). Let m be 0 + 0 + (-5 - -5). Suppose 5*x + y - 138 = m. Does 10 divide x?
True
Let q(t) = -9*t - 12. Does 9 divide q(-6)?
False
Let z be 1/(-1) + 1 + 3. Suppose -41 - 55 = -z*t. Does 16 divide t?
True
Let p be 0 + 6 + 0/(-1). Suppose -3*z + p = -0*z. Suppose 0 = v - 2*c - 10, -z*c = -5*v - 5 + 71. Is 7 a factor of v?
True
Let p be (-1704)/(-66) + 4/22. Suppose 3*v = v + p. Does 6 divide v?
False
Suppose -6*k + k + 35 = 0. Suppose 2*c = k*c - 70. Is 6 a factor of c?
False
Suppose -17 = -2*a + a. Let s = -9 + a. Is 3 a factor of s?
False
Let p = 9 + 31. Is 20 a factor of p?
True
Suppose -5*u = 8 - 28. Let j(r) = u*r + 4 + r**3 + r**3 - 2*r - 5*r**2. Does 7 divide j(3)?
False
Suppose -b = 5*k - 100 + 35, -5*b + 296 = -4*k. Does 20 divide b?
True
Suppose -4*p - 11 = -5*q, 2*q = 3 + 3. Is 11 a factor of (3 + -4)*-38 + p?
False
Suppose -3*f + 90 = 2*f. Is f a multiple of 18?
True
Suppose -5*f + 331 + 794 = 0. Is 9 a factor of f?
True
Let f be (-44)/(-6) - (-1)/(-3). Let y(i) = -i + 13. Does 3 divide y(f)?
True
Let p = -3 + 5. Suppose -4 - 6 = -p*k. Suppose 2*n = -k*s - 13, -5 = s - 0. Is 3 a factor of n?
True
Let d(r) be the first derivative of 25*r**2/2 - r - 2. Is d(1) a multiple of 12?
True
Suppose -3*g - 75 = -4*g. Is 25 a factor of g?
True
Let v = 0 - -116. Suppose 2*k = -2*k + v. Let c = -10 + k. Is 8 a factor of c?
False
Let p be 42*2*(-2)/(-8). Let i = p + -3. Does 9 divide i?
True
Let c be 70/(-6) + (-2)/6. Let u be (-3)/c - 18/8. Let h(g) = g**2 + g + 1. Does 3 divide h(u)?
True
Is 2/6 - 329/(-21) a multiple of 4?
True
Suppose -4*g = -2*u - 104, 10*g - 5*g - 5*u - 135 = 0. Is g a multiple of 25?
True
Let o = 91 - -14. Is 15 a factor of o?
True
Suppose 0*w = 4*f + 5*w - 209, 2*f - 4*w = 124. Is f a multiple of 14?
True
Let a(d) = -d**2 - 10*d - 9. Let p be a(-9). Suppose p = -3*n - n + 16. Suppose 3*f + n*c + 2 = 0, 3*c + 14 = -f - c. Is 2 a factor of f?
True
Suppose -2*u + 63 + 51 = 0. Let h = 103 - u. Does 23 divide h?
True
Suppose 0 = 3*m - 32 + 2. Let w = 3 - 1. Does 10 divide w/(-5) + 164/m?
False
Suppose d = 5*d. Suppose d*q = 4*q. Suppose h + q*h = 8. Does 4 divide h?
True
Let m(a) = 10*a + 2. Let z be m(6). Let l = -16 + z. Is l a multiple of 12?
False
Does 5 divide 258/15 + (-4)/20?
False
Let n(y) = -54*y + 8. Does 17 divide n(-2)?
False
Let s = 562 - 355. Is s a multiple of 17?
False
Let l(j) = 3*j**2 - j + 2. Is l(6) a multiple of 24?
False
Let l = -6 + 13. Let m(t) = 2*t**2 - 9*t + 9. Is m(l) a multiple of 11?
True
Suppose 2*h + 4*x - x = -5, 4*h - x - 25 = 0. Is h even?
False
Suppose -q - q = -34. Suppose -27 = -4*f + q. Is f a multiple of 11?
True
Suppose -a - 279 = -4*a. Let m = a - 58. Is m a multiple of 17?
False
Suppose 2*q - 191 = -5*d - 65, 0 = d + q - 27. Suppose -v + d = 2*v. Does 8 divide v?
True
Let t(m) = 5*m + 1. Let h be t(1). Let n(s) = s**3 - 5*s**2 + 2*s. Is n(h) a multiple of 15?
False
Let v = 451 - 275. Is v a multiple of 18?
False
Let t be (5/2)/((-1)/(-2)). Let k be (-242)/(-10) + (64/(-20) - -4). Suppose 215 + k = t*v. Is 19 a factor of v?
False
Let g(w) = 71*w + 3. Does 10 divide g(1)?
False
Let y(f) = 9*f**2 + 2*f + 3. Let h be y(-2). Does 17 divide 0 + h - (-3)/(-3)?
True
Let p(n) = n**2 + n - 9. Is 33 a factor of p(-7)?
True
Does 14 divide (-12)/(-32) + (-346)/(-16)?
False
Let j(f) = -f**3 + 6*f**2 - 4*f - 3. Let r be j(5). Suppose -2*n - k = 2*n - 140, 3*n - 116 = r*k. Is 9 a factor of n?
True
Let g be ((-1)/(-1))/(1/6). Let m(p) = -p**2 + 6*p + 3. Let y be m(g). Suppose y*k - 15 = 2*h - 5*h, 0 = 2*h - 5*k - 31. Does 7 divide h?
False
Let f(d) = -4 + 4*d - 1 - 1. Let o be f(7). Suppose 3*n - o = 56. Is n a multiple of 12?
False
Suppose 2*k + 6 = -k. Let q be -1 + (k - -4)/(-2). Is 9 + (q - (-5 + 1)) a multiple of 11?
True
Let a(b) = -5*b**2 - 6*b - 1. Let g(j) = -6*j**2 - 7*j - 1. Let f(w) = -4*a(w) + 3*g(w). Is 2 a factor of f(-2)?
False
Let k = 3 + 0. Let u(r) = -4*r + 2. Let d be u(-6). Suppose -k*m - m = l - 24, 3*l = 2*m - d. Is 5 a factor of m?
False
Suppose 0 = -4*q + 6*q - 58. Let f = q + 14. Is 16 a factor of f?
False
Suppose 4*n = -0*n + 16. Suppose 4*y - 3*j = 24 + 94, 54 = 2*y - n*j. Does 13 divide y?
False
Let s(p) = 23*p**2 + 2*p + 1. Let y be s(2). Let r be (-2)/((-2)/y) - -2. Suppose -5*f = -2*f - r. Does 12 divide f?
False
Is (23 - -81)*(-6)/(-8) a multiple of 13?
True
Suppose -22 = -2*v - 3*k, 3*v - 2*k = -3*k + 47. Suppose -v = -5*z + 163. Is 12 a factor of z?
True
Suppose a + 3*a + 160 = 0. Let q = a - -62. Suppose -4*l = -q - 2. Is l a multiple of 3?
True
Let t = 21 + -13. Let f(h) = h**3 - 7*h**2 - 7*h + 11. Is 6 a factor of f(t)?
False
Let b(x) = 7*x - 50. Is b(18) a multiple of 12?
False
Let v(x) = -x**2 - 6*x. Let z be v(-6). Suppose -2*k = p - 2*p - 38, z = 2*k - 5*p - 30. Is k a multiple of 10?
True
Let c = -8 - -13. Let r(n) be the second derivative of n**4/12 - 2*n**3/3 + 7*n**2/2 - 2*n. Does 6 divide r(c)?
True
Suppose 3*w + 2*x - 237 = -0*w, x + 316 = 4*w. Suppose 3*y + 4*t = w, y - 5*t - 126 = -3*y. Is 29 a factor of y?
True
Let u(j) = -j**2 + 8*j - 5. Let q be 0 - (-1*3 + 1). Suppose 5 = -2*v - 3*g, 10 = -q*v - 2*g - 2*g. Does 9 divide u(v)?
False
Let l be (-4 + 1)*(-5)/3. Let g(r) = 5*r**3 - 5*r**2 + 4*r - 5. Let n be g(l). Suppose -4*h - 5*b = -290, -5*b + 130 = -5*h + n. Does 27 divide h?
False
Let n(c) be the second derivative of c**6/120 - c**5/60 + c**4/6 - 2*c. Let o(k) be the third derivative of n(k). Is 8 a factor of o(3)?
True
Let k be (-10)/(-4)*4/5. Let g(c) = c**2 + 2*c + 7. Let s be g(-6). Suppose -3*i + s = -k*i. Is i a multiple of 17?
False
Let y = -4 + 51. Does 30 divide y?
False
Suppose 3*i - 56 = 25. Suppose 3*b - i = 15. Is b a multiple of 14?
True
Suppose -l - 2*y = -31, -3*l = 7*y - 2*y - 93. Is 19 a factor of l?
False
Let k(g) = 157*g. Does 22 divide k(1)?
False
Suppose 4*g = -4*v - 4 - 8, v + 9 = 2*g. Let b be g/6*57*1. Suppose -4*p - 44 = -2*o, 2*o = -0*p - p + b. Does 6 divide o?
True
Suppose -s - 2 = -2*s. Is 6 a factor of 2 - (2 - s - 6)?
False
Let j(t) be the third derivative of -t**6/120 - t**5/20 - t**3/3 + 8*t**2. Is 13 a factor of j(-4)?
False
Let v(m) = -2*m + 2. Let u(c) = -c**2 - 2*c + c**3 + 0*c**3 + 5 + 11*c + 10*c**2. Let n be u(-8). Does 8 divide v(n)?
True
Suppose -4*g = -2*x + 12, 0*x = x + g + 6. Suppose -3 = -m - 4. Is 20 - 1*x*m a multiple of 11?
False
Let t be 1/3 + 16/6. Let c = 10 - -55. Suppose -2*k + c = t*k. Does 13 divide k?
True
Suppose 35 + 309 = 4*k. Is 11 a factor of k?
False
Let m = 2 + 1. Let k(u) = 2*u**2 - u - 3. Is 8 a factor of k(m)?
False
Suppose 6