*v + 5, 0 = -v + 2. Is 15 a factor of k(y)?
True
Let o(h) = -11*h + 1. Suppose 1 = -4*j - 3, 2*x - j - 3 = 0. Suppose x = z + 3. Does 9 divide o(z)?
False
Let z be (1 + 2)*(3 - 2). Let b be 44 + -1 + (-12)/4. Suppose -z*u = u - b. Does 10 divide u?
True
Suppose -2*n = 2*q - 10, 2*q + 4*n + 4 = 4*q. Suppose 0 = -i + w + 90, -2*w + 0*w = q*i - 342. Suppose -4*v + i = -v. Is 18 a factor of v?
False
Is 16 a factor of ((-1476)/(-5))/4 - 2/(-10)?
False
Let k be 3 + -3 - (-4)/2. Suppose 0 = -5*q + k*q + 108. Does 9 divide q?
True
Let o(c) = c**3 - c**2 - c + 1. Let k be o(1). Suppose k*m = -m. Suppose -w = -4*w + 4*a + 19, -3*w + 2*a + 17 = m. Is 2 a factor of w?
False
Does 9 divide 44/198 + -1 + (-1726)/(-9)?
False
Is 35 + 0 - (3 + -4 + 2) a multiple of 4?
False
Let d = -90 + 86. Let v = -9 + 6. Is v/2 + (-114)/d a multiple of 13?
False
Does 17 divide 6/(-21) + (-898)/(-7)?
False
Let y(k) = -17*k + 2. Let p be y(2). Let l = p - -60. Is l a multiple of 7?
True
Suppose 0 = -2*t - 4*t + 432. Suppose -14*p - t = -18*p. Does 9 divide p?
True
Let u(w) = -25*w - 3. Let f be u(-3). Suppose -6*k + 3*k = 5*d - f, 2*d = 0. Is 11 a factor of k?
False
Let o be (9/(-6))/(6/(-8)). Suppose -w + o + 24 = 0. Is 23 a factor of w?
False
Let r = 27 + -8. Let a(k) = k**2 - k - 6. Let l be a(0). Let c = r + l. Does 13 divide c?
True
Does 7 divide 69 - 4/(-2)*(13 - 11)?
False
Let t(q) = 51*q**3 + q**2 + q. Let m(u) = u**3 + u**2 - 1. Let f = -9 + 8. Let x(c) = f*t(c) + m(c). Is x(-1) a multiple of 18?
False
Let w = -7 + 5. Is (-92)/w - (1 - 1) a multiple of 16?
False
Let h = 17 - 30. Let b = h + 22. Is 9 a factor of b?
True
Let x = -94 - -388. Does 42 divide x?
True
Suppose -4*d - 18 = -d. Suppose 5 - 44 = 3*l. Let b = d - l. Is b a multiple of 7?
True
Let f(x) be the third derivative of -x**4/24 + x**3/3 - 3*x**2. Let a be f(-7). Is 1*-2*a/(-2) a multiple of 6?
False
Suppose 0 + 1 = n. Is 34 - n/(-1 + 2) a multiple of 11?
True
Let d(n) = n**3 - 4*n**2. Let s be d(4). Suppose -5*m + s*m = -5*u + 460, -4*m = 3*u - 255. Let h = -56 + u. Is 13 a factor of h?
False
Let f = -1 - -4. Suppose -7*n - 8 = -f*n. Does 13 divide (n - 0) + -5 + 33?
True
Let g = 49 - 1. Does 7 divide g?
False
Let w = -141 + 383. Is 11 a factor of w?
True
Suppose -106 = -3*u + u + y, 4*u - 4*y - 208 = 0. Is u a multiple of 13?
False
Let j be 17/3 - (-14)/(-21). Suppose -4*s + 87 = -3*d - 66, -5*s - j*d + 165 = 0. Is 12 a factor of s?
True
Let b = 14 - 10. Suppose -4*v = -3*v - b. Suppose 3*g - 31 = r, -6 = -2*g - v*r + 38. Is g a multiple of 6?
True
Suppose 5*o = 172 + 88. Does 15 divide o?
False
Suppose -w + 75 = 2*w. Suppose -4*x + 4*z + 88 = 0, x - w = -3*z + 5*z. Is x a multiple of 10?
False
Let w(h) = -2*h**2 - 5 - h + 2*h**2 + h**2. Is 5 a factor of w(-4)?
True
Let i(g) = -g - 8. Let w be i(-7). Let b be w/(0 + 1/3). Let l(s) = -16*s + 2. Is 20 a factor of l(b)?
False
Suppose 3*m + 4*l = 3266, -2*l - 2 = -0. Is m/55 - 4/(-22) a multiple of 5?
True
Let j(x) = -x + 9. Let c be j(6). Suppose -n + 16 = -c*w, 5*n + 4*w - 18 - 5 = 0. Let t = n - -3. Does 10 divide t?
True
Suppose -2*m - 3*d = -9, -2*d = -7*m + 4*m + 7. Let o(s) = 21*s**2 - 4*s + 20*s**2 + 4 - 38*s**2. Is o(m) a multiple of 17?
False
Let g(b) = b**2 + 2*b - 10. Suppose -3 - 24 = 3*o. Let x be g(o). Suppose 5*d = 3*t - x, 5*t - 3*d = d + 110. Does 13 divide t?
True
Let k(n) = n**2 + 5*n - 3. Let q be k(-6). Suppose -q*f + 83 = 17. Does 7 divide f?
False
Suppose o - 2 = 2. Suppose -549 = -2*h - 223. Suppose -h = -2*k - o*s + 3*s, 0 = k - 5*s - 54. Is k a multiple of 24?
False
Let j(z) = -6*z**3 + 7*z**2 + 3*z + 8. Is j(-3) a multiple of 15?
False
Let i be (-8)/12 + 53/3. Is (-2)/3 - i/(-3) a multiple of 2?
False
Let c(f) be the first derivative of -f**4/4 + f**3 - 5*f**2/2 - 4*f + 2. Let v be c(-3). Let p = -43 + v. Does 8 divide p?
False
Let r(w) = 2*w**2 + 13*w + 14. Does 30 divide r(-11)?
False
Suppose 10 = 6*w - w. Let d(y) = -5*y - 4 + y**3 - w*y**3 - 2*y**2 + 8*y**2. Is 4 a factor of d(4)?
True
Let p be (-326)/(-6) - 2/6. Suppose -r = 4*o - p, 0*r - 32 = -2*o - 3*r. Suppose -3*f - o = -67. Is f a multiple of 12?
False
Let a = -3 - -3. Suppose 2*b + b - 81 = a. Suppose -4*c + 18 = 2*h, 0 = -3*h - 4*c + b. Does 9 divide h?
True
Does 10 divide 2/((-18)/(-15))*30?
True
Let y = -42 + 30. Let z be y + 2/((-4)/6). Is -2 - (z + -3) - -1 a multiple of 6?
False
Let b be 14/4 - 1/2. Suppose -b*i + 4 = -2. Suppose 0 = i*f - f - 16. Is 10 a factor of f?
False
Suppose -3*q + 4 = -23. Let n = q + -5. Is n/12 - 178/(-6) a multiple of 10?
True
Let x = 135 - 83. Is x a multiple of 26?
True
Is 11 a factor of -11*(3 - (-4 + 12))?
True
Let f(q) = -2*q**2 - 5*q + 4. Let n(d) = -6*d**2 - 16*d + 13. Let a(u) = -7*f(u) + 2*n(u). Is a(-5) a multiple of 12?
False
Suppose 3*d + 10 + 10 = 4*x, x - 5 = -3*d. Suppose 0*s = 2*s - 6, -x*p + 162 = 4*s. Is 10 a factor of p?
True
Let h = 8 + 12. Is 4 a factor of h?
True
Suppose -3 - 3 = 2*d. Let l = d - 5. Is 11 a factor of (-4)/6*3*l?
False
Suppose -2*j - 22 = -2*l, j + 41 = 4*l - 4*j. Suppose 3*t - l = -2. Is t a multiple of 3?
False
Let a(f) = 2*f + 14. Let l(u) = -2. Let b(g) = 2*a(g) + 14*l(g). Let v be b(1). Suppose 9 = v*r - 11. Is r a multiple of 3?
False
Suppose 6*n + 16 = 2*n. Let j = n + 12. Suppose 3*u - j*u = -30. Does 4 divide u?
False
Let g(u) = -3*u - 16. Let h be g(-7). Suppose 3*l + 5*c = 146, 2*l + h*c - 99 = -0*c. Is 11 a factor of l?
False
Let r(z) be the first derivative of z**6/360 - z**5/30 + z**3 + 1. Let a(p) be the third derivative of r(p). Is a(-4) a multiple of 12?
False
Let x = 2 + 0. Suppose 4 = -o + x*o. Does 2 divide o?
True
Let d = 0 - -4. Suppose -22 = -d*m - c - c, 5*m = -c + 26. Suppose -2*y - z - 4*z + 36 = 0, -2*y + m*z - 4 = 0. Is 8 a factor of y?
True
Suppose 0 = -13*c + 2*c + 990. Is c a multiple of 12?
False
Let w be ((-96)/(-5))/((-15)/(-50)). Let k = w - 29. Is k a multiple of 13?
False
Suppose 4 = 4*w + 4*i, 0*w + i = 3*w - 7. Suppose 4*u - w*u - 24 = 0. Is u a multiple of 4?
True
Let l = -2 - -5. Suppose l*h + 4 = 4*h. Suppose h*f - k - 75 = 0, 0*f - 39 = -2*f + k. Is 18 a factor of f?
True
Suppose 5*w + 2*z = 5*z + 63, 5*w - 64 = 4*z. Let g = -52 + w. Let j = g - -91. Is 15 a factor of j?
False
Let n(t) = t**3 - 2*t**2 + 2*t - 1. Let k be n(2). Suppose -8*f + 330 = -k*f. Does 11 divide f?
True
Let v be 3/6 + 50/4. Let p = v - 6. Is 7 a factor of p?
True
Suppose 2*z = 6 - 0. Suppose 6 - 87 = -z*f. Does 7 divide f?
False
Let c = -5 + 8. Let u be c*1 - (8 - 5). Does 11 divide (u - (-19 + -3))/2?
True
Suppose -7*a + 4 = -3*a. Is 20 a factor of ((-7)/(-2))/(a/28)?
False
Let n be (-55)/(-2)*48/60. Suppose -3*i = -n + 4. Is 6 a factor of i?
True
Let i = 7 + 94. Does 31 divide i?
False
Suppose -5*w = 4*y - 469, 4*y - y - 3 = 0. Is 37 a factor of w?
False
Let o(t) = -t**3 - 7*t**2 - 2*t. Is o(-7) a multiple of 14?
True
Suppose 0 = 3*w - 5 - 4. Suppose w*i = 3 + 6. Does 8 divide 2 + 18/(0 + i)?
True
Let q be (-6)/(-9) - 1086/(-18). Suppose q = m - 3*g, 2*g = -m - 3*g + 21. Is m a multiple of 23?
True
Let y be (-2)/9 - (-120)/54. Suppose 0*u = -y*u - 14. Let w = u + 17. Does 8 divide w?
False
Suppose -4*v - v - 4*p = 20, 2*v + 2*p + 10 = 0. Suppose -2*h + v*h = -138. Is h a multiple of 23?
True
Let t = 4 - -5. Suppose -4*j + 63 = -t. Is 18 a factor of j?
True
Suppose 0 = 4*s - 5 + 13. Let q be (1 + s/4)*10. Does 2 divide 0 - (2 - q - 0)?
False
Let k(w) be the first derivative of -w**3/3 - 17*w**2/2 + 16*w + 1. Does 6 divide k(-16)?
False
Suppose -61 = -2*c - 5. Is c a multiple of 14?
True
Let g(l) = l**2 - 8*l - 15. Does 5 divide g(10)?
True
Let w(n) = n - 7. Let j be w(6). Let z be j + (-1 - -2) - -27. Suppose z = 2*t - 25. Is 13 a factor of t?
True
Does 30 divide (-1)/(543/(-270) + 2)?
True
Let q(m) = -m**3 - 15*m**2 - 2*m - 22. Does 4 divide q(-15)?
True
Suppose -2*n - j + 178 = -14, 5*n + 3*j = 480. Is n a multiple of 32?
True
Let g be 5/(15/2)*27. Suppose 0*q - 2*q + 4*i = -g, 3*q = -5*i + 60. Does 4 divide q?
False
Suppose -2*m - m = -2*i + 72, 4*i = 3*m + 132. Suppose 2*x = w - i, -x = -5*w - 3*x + 138. Does 14 divide w?
True
Suppose -5*y = 2*g + 272, y = 3*y - g + 107. Let m(b) = -b**2 - 5*b - 4. Let w be m(-5). Is (w/12)/(2/y) a multiple of 8?
False
Let a(r) be the seco