14. Suppose -q = -3*o + o + 22, -z*q = -c*o + 6. Is 9 a factor of o?
False
Let l = 30 - 14. Suppose 0 = -5*h + l - 1. Is 2 a factor of h?
False
Let d(c) = c**2 + 2*c - 1. Let n be d(-4). Suppose -i = 2*z - 4*z + n, i = -3*z + 8. Let w = 5 + i. Is w a multiple of 3?
False
Is 1/4 - 5*(-124)/16 a multiple of 17?
False
Suppose -2*b + 5*q = -3*b + 172, -2*q = 8. Suppose -3*x = x - b. Suppose 5*s = -2*p + x, 5*s = -p + 13 + 11. Does 8 divide p?
True
Suppose -822 = -8*c + 242. Is 7 a factor of c?
True
Suppose 28 = y + 7. Suppose 0 = 2*f - s - 2*s - 27, 2*f = s + y. Is 9 a factor of f?
True
Is 14 a factor of 507/18 - (-2)/(-12)?
True
Suppose -2*o + 3*o = 25. Suppose -5*h = 2*m + 14 + o, 2*h = 3*m + 106. Let p = m + 45. Is 7 a factor of p?
False
Suppose 120 = 4*y - 2*q, -5*q + 0*q = -4*y + 108. Does 3 divide y?
False
Suppose 22*n + 6 = 23*n. Is 3 a factor of n?
True
Suppose 0*l + 15 = -5*l. Let u(z) = -11*z + 3. Does 12 divide u(l)?
True
Suppose 53 - 341 = -6*s. Is 16 a factor of s?
True
Suppose 2*m = m + b + 3, -2*b + 14 = 3*m. Suppose 5*i + h + 2*h + 3 = 0, 4*h + m = -i. Suppose k - 4*p + 2 - 10 = i, 2*k = 4*p + 32. Is 12 a factor of k?
True
Suppose -2*j = -2*a - 0 - 2, -3*j = -4*a - 1. Suppose a*d + 0*d = -548. Is 6/(-27) - d/18 a multiple of 9?
False
Suppose 0 = -5*t + 4*t + 23. Is t a multiple of 5?
False
Let c(o) = -o**2 + o + 10. Let v be 4/(-6) + 17/3. Suppose 2*n + v*s = -20, -4*n - 3*s + 4 = -4*s. Is 5 a factor of c(n)?
True
Let r = -89 - -98. Does 2 divide r?
False
Suppose 0 = -d - 4*d. Suppose 0 = -5*f - 0*f + 20. Suppose 0*q + 4*p = -q + 30, 2*q + f*p - 40 = d. Is q a multiple of 10?
True
Let d(s) = 17*s - 12. Does 23 divide d(4)?
False
Suppose 2*l = -3*l + 290. Is 16 a factor of l?
False
Suppose -6*s + 187 = -17. Suppose 4*n - 126 = -s. Is 6 a factor of n?
False
Suppose -6*u + 2*u = -2*p + 8, 3*u + 2*p = 1. Is 12 a factor of -24*(u - 0)*1?
True
Let d = 1 + 1. Let s(u) = 1 + 3*u + 1 + 7*u. Does 12 divide s(d)?
False
Let n(s) = -s**3 + 4*s**3 - 2*s**3 - 2 + 4 - s. Is 12 a factor of n(3)?
False
Let m = -66 - -169. Let r = -63 + m. Is 13 a factor of r?
False
Let x(u) = -u**3 - 11*u**2 - 14*u - 10. Does 3 divide x(-10)?
True
Let j be 22/33 - 26/(-6). Suppose -j*d + 50 = -30. Is 16 a factor of d?
True
Suppose 4*v - u = 17, 3 = 2*v - 2*u - 7. Suppose v*h - 5*h = -25. Does 14 divide h?
False
Let r(n) = -23*n**2 + n + 1. Let h(j) = -68*j**2 + 3*j + 3. Let x(w) = -3*h(w) + 8*r(w). Is x(-1) a multiple of 16?
False
Suppose -104 = -4*s + 8. Does 7 divide s?
True
Let q(j) = j**2 - 3*j + 97. Does 10 divide q(0)?
False
Suppose -r + p - 4*p + 3 = 0, 0 = -3*r + 4*p + 9. Suppose -r*w + 0*w = -63. Does 6 divide w?
False
Is (64/(-5))/((-3)/15) a multiple of 32?
True
Suppose 4*g + 3*a + 19 = 0, -4*g - 25 = -0*g + a. Let c(p) = -2*p - 10. Does 3 divide c(g)?
False
Suppose 0 = -4*k - 5*o + 535 + 8, -4*k - o + 531 = 0. Is 33 a factor of k?
True
Suppose 2*h = 5*h. Suppose h*f = 3*f - 195. Does 14 divide f?
False
Suppose 5*u + 3*n = 37, -u - 4*n + 11 = -2*u. Suppose 0 = 2*m - u*m + 18. Does 5 divide m?
False
Let v be 6 + (0/(-3))/2. Let a = 8 - v. Suppose 3*i - a*i + 2 = 4*r, 4*r - 44 = -2*i. Is 6 a factor of i?
False
Let j = -16 + 31. Is j even?
False
Let a(f) = -f**3 + 10*f**2 + 2*f - 4. Is a(10) a multiple of 9?
False
Suppose -3*g + 166 + 66 = 2*z, 0 = -2*z + g + 216. Is 22 a factor of z?
True
Let i be (8 - 1) + -1 + -2. Suppose 3*c - 11 = i. Suppose -c*m = 20, -2*d + 5*d = 4*m + 43. Is d a multiple of 3?
True
Suppose -3 + 0 = -m. Let y = 13 - m. Is 10 a factor of y?
True
Suppose -5*h - 3*n - 1 = -209, -2*n + 84 = 2*h. Is h a multiple of 7?
False
Let o be 2782/14 + 2/7. Suppose c = -3*v + 187, -5*v + c + o = -110. Does 21 divide v?
False
Let t be (-8)/20 + 62/5. Suppose -2*s + t = -2. Is 5 a factor of s?
False
Suppose -5 = n - 21. Is n a multiple of 9?
False
Suppose 3 = -u - 3*b + 8*b, -3*u = -4*b - 2. Is (50/(-20))/(u/(-4)) a multiple of 2?
False
Suppose -6*s + 76 + 284 = 0. Is s a multiple of 21?
False
Suppose -115 = -0*i - 5*i. Let n = i - 12. Does 7 divide n?
False
Let m be 1/5 - (-28)/10. Is 0/(m - 1) - -8 a multiple of 3?
False
Suppose -5*j = -2*c + 131 + 200, 2*c + 5*j = 321. Suppose -2*t - 103 = g - 4*g, 5*g - c = -t. Does 19 divide g?
False
Let y(c) = c**3 + 5*c**2 + 5 - 3 + c + 4*c + 1. Let k be y(-4). Is (-1)/(-1)*14 + k a multiple of 4?
False
Let d be (-5 - -2 - 0) + 6. Suppose 3*i = -4*x + 265, d*x - i - 43 - 159 = 0. Is 18 a factor of x?
False
Suppose -4*z + 9 = 25. Let k be (0 - -1)/((-2)/z). Suppose 0 = 2*y + k*y - 32. Does 8 divide y?
True
Suppose 0 = 4*q + 3*x - 58, 5*q + 3*x = 6*x + 86. Is q a multiple of 8?
True
Let k(x) = 4*x + 10. Let s be k(-13). Suppose 3*v = -13 - 29. Let l = v - s. Is l a multiple of 14?
True
Let n(p) = 9*p + 27. Let b be n(-3). Suppose 0*m + 5*m = 355. Suppose -3*h - 4*r = -86, b = -h - 2*h - r + m. Is h a multiple of 6?
False
Let u = 104 - 84. Does 20 divide u?
True
Suppose 2*s + 4*b + 66 = 0, -2*s - 26 = -b - 3*b. Let q = s + 84. Let w = q - 37. Does 24 divide w?
True
Suppose -108 = -5*y - 8. Is 20 a factor of y?
True
Let j be (8/12)/(1/69). Let a = j - 7. Is 39 a factor of a?
True
Let r be ((-1)/(-2))/(2/144). Let j(c) = -c**3 - 8*c**2 - 4. Let u be j(-8). Let d = r - u. Is 13 a factor of d?
False
Let m(p) = p**2 - 9*p + 11. Let z be m(8). Suppose z*a - 6 - 6 = 0. Is a a multiple of 4?
True
Suppose -3*f = -9, -3*o - 3 = -5*f - 0. Suppose -2*w = -5*a + 296, -a + 275 = o*a + 5*w. Is 21 a factor of a?
False
Suppose -14*v + 12*v = -108. Suppose 5*a + v = 2*g + 19, 10 = -2*a. Is 3 a factor of g?
False
Let v = 16 - 29. Let h = 44 + v. Is 11 a factor of h?
False
Let p be ((-14)/(-3))/((-1)/(-3)). Suppose f - 3 - p = 0. Does 13 divide f?
False
Let o = -103 + 163. Is o a multiple of 8?
False
Let v(i) be the first derivative of -i**3/3 - 5*i**2/2 - 4*i - 2. Let d be v(-3). Suppose 65 = 7*x - d*x + 4*h, 0 = -h + 5. Does 5 divide x?
False
Let w = 10 + -8. Suppose 4*v + v = w*i - 172, -5*i - 5*v = -360. Suppose -i = -2*o - 2*o. Is o a multiple of 5?
False
Let v(z) = z**3 - 10*z**2 - 11*z + 2. Let p be v(11). Is p/(-2) + (-10)/(-2) a multiple of 4?
True
Suppose 5*n = -j + 635, -5*j + 249 = 2*n + 18. Is 16 a factor of n?
True
Let n(v) = -v + 8. Let r be n(6). Suppose -o + r*i = -50, -2*o + 5*i - 175 = -7*o. Does 10 divide o?
True
Let o be 0/(-2) - (-1 - 5). Suppose 90 = -w + o*w. Does 9 divide w?
True
Suppose -g = -0*g + 2. Let r be (-1)/g + (-35)/(-10). Suppose -d = r*f - 107, -2*f - 3*f - 3*d = -139. Does 11 divide f?
False
Let c = 11 + -7. Suppose -2*v + c = h, v - 7 = -5*h + 4. Suppose -k + 10 = 2*j - h, 3*j = 2*k + 11. Is j a multiple of 3?
False
Let h = -85 + 121. Is h a multiple of 18?
True
Let u = -6 - -3. Let q be 25 - (18/3)/u. Suppose 185 = 5*o + 5*l, 2*o + 5*l - 32 = q. Does 21 divide o?
True
Let l be (1 - 2) + 96/4. Suppose 5*n - l - 157 = 0. Let t = n - 2. Does 16 divide t?
False
Let x(j) = 2*j + 22. Does 4 divide x(-7)?
True
Let a(x) = x**3 + 16*x**2 + 6*x - 23. Is a(-15) a multiple of 16?
True
Let v = 6 - 6. Is 10 a factor of -30*(v + -2)/6?
True
Suppose 5*x - 113 = o + 3*o, -3*o + 78 = 4*x. Suppose 5*l - 61 = -2*k, 0 = 4*l - x + 1. Does 9 divide k?
True
Suppose m = -2*u + 34, -3*m + 7*m = u + 163. Does 20 divide m?
True
Let t(o) = o**2 - 2*o - 12. Let y be t(12). Suppose -c - y = -5*c. Is 9 a factor of c?
True
Suppose r + 11 = -3*n, 10*r + 4*n = 5*r. Is 4 a factor of (r/(-1))/((-1)/1)?
True
Let p(n) = 6*n**2 + 9*n - 13. Does 22 divide p(6)?
False
Let q(i) be the second derivative of i**8/6720 - i**7/420 + i**6/144 + i**5/24 - i**4/4 + i. Let f(y) be the third derivative of q(y). Is f(5) a multiple of 4?
False
Suppose -d + 0 = -3. Suppose -d*g - 44 - 21 = -5*k, 3*k + 2*g = 58. Is k a multiple of 16?
True
Let s = 76 + -13. Is s a multiple of 9?
True
Let s(z) = -z + 8. Let r be s(5). Suppose -r*v + 164 = 26. Does 9 divide v?
False
Let a = 10 - 6. Suppose 0 = 2*i - a*i + 108. Is 19 a factor of i?
False
Suppose 4*o = -62 + 270. Does 19 divide o?
False
Suppose -3*y + 15 = 2*c - 14, 3*y - 9 = 0. Does 3 divide c?
False
Suppose 0 = 2*k - 43 + 13. Suppose -2*b - k = 17. Let a = b + 25. Is a a multiple of 9?
True
Suppose 40 - 16 = -3*a. Let x(k) = 2*k**2 + 12*k + 6. Does 16 divide x(a)?
False
Let c(i) = -3 + 4*i**2 - 4*