 Does 20 divide l(14)?
False
Let q = 7 + -3. Suppose 0*y + q = y. Is 2 a factor of y?
True
Suppose -5*x - 72 = -222. Let m = 42 - x. Is 10 a factor of m?
False
Does 8 divide (-3)/12 - 205/(-4)?
False
Suppose k = 5*k - 12. Let m be 6/4 - 3/(-6). Suppose -18 = -m*x - 5*p + 16, -x - k*p = -19. Is x a multiple of 2?
False
Suppose 4*t = -3*b - 2, -b - 3*b + 2*t = -12. Suppose -b*m = 2*m - 8. Suppose -m*z = -12 - 4. Is 6 a factor of z?
False
Let j(l) = l**3 - 4 - 3*l + 3 + 4*l**2 - 4. Does 5 divide j(-4)?
False
Let g(j) = 3*j + 7. Let d be g(-5). Let f(m) = -m**2 - 9*m - 11. Let n be f(d). Is 15 a factor of ((-1)/n)/(1/75)?
False
Let m(u) = 4*u + 3. Let n(z) = z**2 - 7*z + 9. Let y be n(6). Is 8 a factor of m(y)?
False
Let l be 10 + (-1 - (1 + -1)). Let z be (-2)/(17/l - 2). Let g = 7 + z. Is g a multiple of 9?
False
Let r be (-5)/(0 - 3/3). Suppose 3 = -p, -r = -b + p + 3. Is b a multiple of 4?
False
Suppose -21 = -3*l + k, 0 = l + l + 2*k - 22. Let c = 4 + l. Is 3 a factor of c?
True
Let c = 566 - 336. Let m = 327 - c. Suppose -8 = -s + 2*j + 13, -5*s + 2*j + m = 0. Does 7 divide s?
False
Let l = -27 - -62. Suppose v + 0 = l. Suppose -57 = -4*d + v. Is d a multiple of 9?
False
Let l(p) = -8*p**2 + 1 + 3*p**3 - 2*p**3 + 0*p**3 - 7 + 2*p. Is 6 a factor of l(8)?
False
Let i = -11 - -16. Suppose 50 = i*t - 85. Is t a multiple of 27?
True
Let d be (-2)/(4 + (-28)/6). Suppose 3*r + 51 = 6*r + 5*h, 5*r + d*h = 69. Does 4 divide r?
True
Let c = -2 - -82. Is 14 a factor of c?
False
Let n = 28 - -64. Suppose 3*p - n = 13. Is 19 a factor of p?
False
Let w(n) = -n. Let r be w(6). Is (-2)/r - (-606)/18 a multiple of 8?
False
Suppose z = -f + 6*z + 73, 0 = 4*z + 8. Is f a multiple of 17?
False
Let h be ((-30)/35)/((-1)/7). Let p(w) = -w + 8. Let s be p(h). Suppose y = -2*x + 32, -s*x + 3*x - y = 19. Is 17 a factor of x?
True
Let v = 10 + -4. Does 6 divide v?
True
Suppose -t + 21 = 2*v - 0*v, 3*v - 64 = -4*t. Is t a multiple of 13?
True
Let l = -202 + 379. Does 27 divide l?
False
Suppose -14 - 4 = -3*k. Is 5 a factor of 3*3 + 18/k?
False
Suppose -w + 11 = -l + 1, 4*l = -20. Let d(u) = 0*u + 0*u - w + u**2. Does 7 divide d(4)?
False
Let t(f) = -4*f - 12. Let n(o) = -o. Let u(a) = 3*n(a) - t(a). Does 16 divide u(11)?
False
Let h(r) = r**3 - 9*r**2 - 10*r + 5. Let c(v) = v**3 - 10*v**2 - 11*v + 5. Let j(s) = 5*c(s) - 6*h(s). Does 10 divide j(4)?
False
Let c = 46 - -35. Suppose -2*i = 5*w - 115, -5*i - c = 2*w - 358. Is i a multiple of 14?
False
Suppose s + 3*z + 1 = 0, 2*s - 4*z = -3*s + 14. Suppose -f - 5*i + 14 = s*f, -5*f + i + 42 = 0. Let n(y) = y**3 - 9*y**2 + 9*y. Does 3 divide n(f)?
False
Let x be (-1 + 3)*-1 - -11. Let s be 2/10 + x/5. Suppose 4*i + 169 = 5*y + s*i, 0 = -y + 2*i + 29. Is y a multiple of 12?
False
Let l be (-4)/(-2)*(-1)/(-2). Let y = l + -7. Let j(a) = a**2 + 6*a + 2. Is j(y) a multiple of 2?
True
Let j(a) = -a**2 - 11*a + 16. Does 9 divide j(-11)?
False
Suppose -3*l - 62 = -4*l - 3*r, -5*l - 5*r + 290 = 0. Suppose b = -3*b + l. Is 14 a factor of b?
True
Let b = -12 - -21. Let r = b + 53. Suppose -4*a - 28 = -2*i, 0 = -5*i + i + 5*a + r. Does 10 divide i?
False
Let v = 1 + 2. Suppose -4*c + 77 + 107 = 0. Suppose -5*y - 5*t + 120 = 0, -2*y + c = -0*t + v*t. Is y a multiple of 13?
True
Suppose 5*z = 191 - 21. Let q(u) = 2*u - 7. Let x be q(6). Suppose 4*y = g + z, x*y - 3*g = 2*g + 50. Is 4 a factor of y?
True
Suppose 0*v - 95 = -5*v. Suppose b - v = j - 5, j - 22 = -b. Does 9 divide b?
True
Let w(b) = b + 1. Let f(i) = -11*i - 7. Let q(h) = -f(h) - 6*w(h). Suppose 0 = -3*d + 1 + 5. Is q(d) a multiple of 11?
True
Let b(y) = -y**3 - 4*y - 3. Suppose 34 - 3 = 3*l - 4*w, -4*l = -5*w - 40. Let d be (1 - 2)*(-2 + l). Does 17 divide b(d)?
False
Suppose -83 - 49 = -3*a. Is 11 a factor of a?
True
Let m be (-18)/(-14) - (329/(-49) - -7). Let z(p) = -9*p + 6. Let d be z(4). Is (6/(-4))/(m/d) a multiple of 15?
True
Let d be 96/44 - 4/22. Suppose -a = 4*g + 7, 2*g - 19 = d*a + 5*g. Is 2 a factor of 3/9 + a/(-3)?
True
Let k(c) = c + 250. Suppose -5*a = -4*a. Let j be k(a). Suppose 0 = 2*t + 3*t - j. Is 17 a factor of t?
False
Let g(l) = l - 9. Let c be g(9). Suppose -5*f + 57 + 48 = c. Is f a multiple of 21?
True
Let y = -6 - -10. Let t be 162/24 - (-2)/8. Let i = t - y. Is i a multiple of 3?
True
Let w(t) = t**3 + t**2 + 5*t - 1. Does 33 divide w(4)?
True
Suppose 4*y - 150 = -46. Does 3 divide y?
False
Suppose 0 = -2*l + 4*l - 20. Is 4 a factor of l?
False
Let o = -115 - -189. Let i be o + (3 - (0 + 1)). Let c = i - 38. Does 16 divide c?
False
Let a be (24/9)/((-2)/(-3)). Suppose 0 = -a*i + 9*i - 350. Is 15 a factor of i?
False
Let g(f) = f - 13. Let s be g(10). Does 28 divide ((-16)/s)/((-6)/(-63))?
True
Suppose -3*v - 3 = 9. Let n = v - -13. Is 3 a factor of n?
True
Suppose -2*o - 3279 = -5*h + 1726, 4*h - 5*o - 4004 = 0. Suppose -4*y - 364 = -2*q, -4*q = -4*y + 285 - h. Suppose 4*f - q = -44. Is 11 a factor of f?
True
Suppose 0 = -x - 2*u - u + 38, 4*x = -5*u + 124. Suppose 2*i + 76 = 5*r - i, i - x = -2*r. Does 4 divide r?
False
Suppose 90 = -2*m + 3*m. Suppose 0 = -3*x + m + 6. Does 16 divide x?
True
Let a(x) = -x**3 - 11*x**2 + 4*x - 7. Let i(k) = 2*k**3 + 23*k**2 - 9*k + 15. Let b(l) = -7*a(l) - 3*i(l). Is b(-7) a multiple of 20?
True
Let m(o) = -3*o**3 + 2*o**2 + 2*o. Does 28 divide m(-2)?
True
Let b(r) = 2*r - 2. Let a be b(5). Suppose -2*g = -a*g + 162. Is g a multiple of 9?
True
Let u be (-3 + (-16)/(-6))*-9. Suppose 5*r - 96 = 2*g, -33 - u = -2*r + 2*g. Does 10 divide r?
True
Suppose -5*w + 3*c + 29 = c, 2 = -c. Suppose -w*u + u = -28. Is u a multiple of 3?
False
Suppose -45 = -2*a - 2*u + 31, 4*a - 180 = 3*u. Is 6 a factor of a?
True
Let r be ((-24)/(-3))/(5 + -3). Suppose -r*u - 3*u + 21 = 0. Is 3 a factor of u?
True
Let q(x) = -x**2 + x. Let i(o) = -o**3 + 13*o**2 - 7*o + 11. Let g(n) = -i(n) - 6*q(n). Let k be 0 + 1/((-4)/(-32)). Is 21 a factor of g(k)?
False
Suppose 4*t + 5*b = 8, b = 2*t + t - 6. Suppose -t*h = h - 126. Suppose 2*k - k - h = 0. Is 14 a factor of k?
True
Let n(z) = z**2 - 3*z + 7. Does 17 divide n(-6)?
False
Let y = 88 + -51. Does 33 divide y?
False
Let m(w) = 5*w**2 + 2*w - 1. Let t be m(1). Suppose -y = -t*p + p - 68, p = 0. Is 17 a factor of y?
True
Suppose 10*j - 720 = 6*j. Does 45 divide j?
True
Suppose 0 = -x + 3*x - 30. Let c = x - 0. Is c a multiple of 6?
False
Let t be 4/14 + 12/7. Suppose -o + t = 3*n - 4*n, -o + 2 = -5*n. Suppose -4*s - 2 = 3*j - 6, o*s + 20 = 4*j. Is 2 a factor of j?
True
Let m be 42/7 + 1*-1. Suppose 0*t + m*t + 25 = 0, 2*k = -4*t + 24. Does 11 divide k?
True
Suppose -2*t + 2*h - 4*h + 14 = 0, 0 = -3*t - 4*h + 23. Suppose t*j - 5*d - 20 = -2*d, 5*d = -2*j - 23. Is (0/2 + 9)/j a multiple of 5?
False
Suppose 2*f = 3*f - 3. Suppose -i = f - 0. Is 3/((i/(-1))/6) a multiple of 3?
True
Does 12 divide -21*((-6)/2 - -2)?
False
Let w(n) be the second derivative of n**5/20 + n**4/6 + n**3/2 - 3*n**2/2 + n. Does 12 divide w(2)?
False
Let s(w) = -7*w - 7. Let k be s(-9). Suppose 2*z - k = 46. Is z a multiple of 13?
False
Suppose 6*i = 125 + 211. Is 33 a factor of i?
False
Let h(n) be the second derivative of n**3/2 + 4*n**2 - 3*n. Is 9 a factor of h(6)?
False
Suppose 25*j - 633 = 22*j. Is j a multiple of 8?
False
Let v = 57 + -38. Let g(o) = -9*o - 3. Let n be g(1). Let q = v + n. Is q a multiple of 4?
False
Does 30 divide ((-6 - -43) + -2)/(2/12)?
True
Let d(s) = -11*s**2 - 2*s + 1. Let v(j) = 12*j**2 + 3*j - 1. Let y(k) = -5*d(k) - 4*v(k). Is y(3) a multiple of 16?
False
Let b(h) be the second derivative of -5/2*h**2 - 1/12*h**4 - 7/6*h**3 - 2*h + 0. Is b(-5) a multiple of 4?
False
Suppose -1 = 3*y - 2*s + 3, 0 = -y + s. Is 9 a factor of -4*(y - 2/4)?
True
Suppose -5*p = 2*v - 73, v - p + 11 = 30. Suppose -w - 2*w + v = 0. Is 5 a factor of w?
False
Let z(t) = -t**3 - t**2 + t + 12. Is z(0) a multiple of 4?
True
Let i be 9/12 + (-1)/(-4). Does 12 divide ((-18)/(-24))/(i/16)?
True
Let g(z) = 4*z**2 + 3*z + 2. Is g(-1) a multiple of 3?
True
Suppose 4*h - 5*h + 24 = 0. Is h a multiple of 12?
True
Let a = 6 + -6. Suppose a*y - 20 = -5*y. Suppose 0 = -y*b + 160 - 48. Is 14 a factor of b?
True
Let p be 2/6 + 116/12. Let f(d) = 6*d - 6. Let y(s) = 1. Let j(t) = p*y(t) + 2*f(t). Is j(2) a multiple of 22?
