 3 divide i?
True
Let b = 699 + -229. Does 17 divide b?
False
Suppose -74*z + 54*z + 21480 = 0. Does 22 divide z?
False
Let j be (1/(-2))/(-2 - (-9455)/4730). Suppose 0 = 4*n + 7*n - j. Does 13 divide n?
False
Let j = -676 - -1363. Is 74 a factor of j?
False
Let w = -15 - -17. Suppose w*q - 3*r + 2 = 6, -17 = -5*q + 4*r. Suppose -2*f - q = -f, 2*f = 3*u - 67. Does 19 divide u?
True
Suppose -2*v - 4*i - 252 + 1214 = 0, 4*v = 2*i + 1884. Suppose b = -5*s + 93, -4*b = -5*s - v + 26. Is 18 a factor of b?
True
Let p = 58 - 54. Suppose 5*n = p*d - 81, 2*d + 3*n - 58 = -1. Is 24 a factor of d?
True
Let b(s) = -s**2 - 4*s + 3. Let u be b(0). Suppose -446 = -2*m - k - k, -u*k = -4*m + 878. Is m a multiple of 17?
True
Let k(d) = 37*d**3 + 3*d**2 + d - 2. Does 3 divide k(1)?
True
Let w = -31 + 31. Suppose 5*p - 3*k + w*k = 258, k = p - 52. Does 7 divide p?
False
Suppose -5 = -h, -110 = -4*q + 3*h - 5*h. Does 5 divide q?
True
Let w(v) be the third derivative of 1/120*v**6 - 8*v**2 - 7/60*v**5 + 5/6*v**3 + 0*v**4 + 0*v + 0. Is 5 a factor of w(7)?
True
Let g(v) = v**3 + 18*v**2 - 20*v + 5. Let j be ((-6)/4 + 1)*38. Is g(j) a multiple of 6?
True
Suppose -177*s = -168*s - 5994. Is 37 a factor of s?
True
Let r(w) = 3*w**3 + 2*w**2 + w - 4. Let b = 54 - 108. Let k be 12/b - 20/(-9). Is r(k) a multiple of 10?
True
Let k(d) = 7*d - 24. Let z be k(4). Suppose 0 = 4*j - 36 - z. Is 8 a factor of j?
False
Suppose 3*g + 5*q = -12727, -2*g = -4*q - 903 + 9395. Is 14 a factor of (-6)/(-8) + g/(-16)?
True
Let b = 532 + -300. Is b a multiple of 38?
False
Suppose -4*s - 9 = m, 6*s + 18 = 2*s + 2*m. Let y(w) = 8*w + 2. Let t(x) = -x. Let q(p) = 6*t(p) - y(p). Is 8 a factor of q(s)?
True
Let l(r) = r - 2. Let h(t) = t**2 - 5*t + 1. Let p be h(5). Suppose -p = -u + 6. Is 4 a factor of l(u)?
False
Suppose 4*m + 5 = 21. Let q = m + -1. Suppose 0 = g - q*g - 4*a + 36, g = -4*a + 20. Does 10 divide g?
False
Suppose 3*p + 12 = 24. Suppose 352 = -0*n + p*n. Does 11 divide n?
True
Let r(u) = -10*u**3 + 3*u**2 - 24*u - 63. Does 9 divide r(-3)?
True
Let o(n) = 3*n**3 + n**2 + 3*n - 4. Let t be o(2). Suppose t = -0*a + 5*a. Does 6 divide a?
True
Let s be 42/15 - (-1)/5. Let i(d) = 3*d - 22. Let f be i(8). Suppose 0 = f*n + n - s*c - 138, 3*c + 240 = 5*n. Is n a multiple of 22?
False
Let t(z) = 8*z - 35. Let p be t(5). Suppose 0 = p*o + 5*v - 1365, 4*v - 9*v = -o + 255. Does 15 divide o?
True
Let k(a) = -a**3 + 3*a**2 + 31*a - 8. Is 65 a factor of k(-6)?
True
Is 5 a factor of 7 + 59 + (-12)/(-2)?
False
Let y = 29 + -36. Let v = -9 - y. Is -4 + (-14)/v + 2 a multiple of 3?
False
Suppose 4*j + 957 = 3985. Suppose -7*f + j = 85. Is f a multiple of 24?
True
Let n = 833 + -491. Does 43 divide n?
False
Let m = -10 + -9. Let w = m - -32. Is 8 a factor of w?
False
Let h = 57 - 37. Suppose -h = p - 22. Is p a multiple of 2?
True
Let n(i) be the second derivative of 44*i**3/3 - 7*i**2/2 - 25*i. Is 16 a factor of n(2)?
False
Let y(w) = 13*w**2 + 4*w + 4. Suppose 0*q = -q - 9. Let j = -11 - q. Is y(j) a multiple of 24?
True
Let t be (-2)/8 - (-276)/(-32)*-18. Let s = 174 - t. Does 19 divide s?
True
Let g be 5/(-2)*(0 + 2). Let q be (g/3 - -2)*3. Is 22 a factor of (-3 - (q + -2))*-22?
True
Let w(h) = 9*h**2 - 12*h + 4. Is w(8) a multiple of 11?
True
Let a = 2100 - 1358. Is 13 a factor of a?
False
Let g = 3660 - 2455. Is g a multiple of 13?
False
Let l = 13 + -16. Let v be (l - -3 - 1)*-3. Suppose -x - x = -v*h + 128, 4*h = 3*x + 171. Is 21 a factor of h?
True
Is -406*5/(60/(-6)) a multiple of 11?
False
Suppose 0 = 8*b - 3*b - 50. Is 1/1 + (b - -159) a multiple of 17?
True
Let m be 3 - (-2 + (0 - -1)). Let s(x) = x**2 - 16*x + 79. Let c be s(13). Suppose w + 2*h = c, -166 = -m*w + h - 3*h. Does 21 divide w?
True
Let g be (-4)/(-3) + (-4)/(-6). Let z be (125/20)/(g/16). Let k = -36 + z. Is 5 a factor of k?
False
Let q(h) = 2*h**2 + 15*h + 18. Does 77 divide q(15)?
True
Let r(l) = -l**3 - 9*l**2 + 12*l + 20. Let d be r(-10). Suppose y - 5*j - 7 = d, 2*j + 31 + 27 = 5*y. Does 4 divide y?
True
Let f = 1969 - 1646. Is 21 a factor of f?
False
Suppose 57*h + 9200 - 93560 = 0. Is h a multiple of 32?
False
Let u(y) = y**3 - 25*y**2 + 24*y - 50. Does 22 divide u(25)?
True
Is (-4 + 9/3)*(-732 - -4) a multiple of 56?
True
Let z(w) = -w**3 - 8*w**2 - 7*w - 11. Let h be z(-7). Let f(u) = -12*u - 22. Does 22 divide f(h)?
True
Suppose -g + 5*g = -3*v + 1633, 0 = -5*g + 3*v + 2075. Let b = g + -288. Is b a multiple of 31?
True
Let x(s) = -s**3 + 11*s**2 + 3*s - 14. Let r be x(10). Suppose -3*g + 290 = 2*g + f, 0 = 2*g + 5*f - r. Is g a multiple of 10?
False
Let u(l) = -l**3 + 3 - 7 - 7*l**2 + 5*l - 4. Let j = 169 + -177. Is 6 a factor of u(j)?
False
Suppose -3*k + 58 = 4*y - 5*k, 3*k - 25 = -2*y. Let a be 4/y - (-68)/7. Let h = 16 + a. Does 9 divide h?
False
Suppose 22 = 3*r - 17. Suppose 5*f + 0*o - o + 39 = 0, -3*f = 2*o + r. Let g(i) = i**2 + 4*i - 1. Does 10 divide g(f)?
True
Let c(r) = 5*r**2 + 7*r - 12. Suppose 17 + 19 = -6*d. Let j be c(d). Let y = j - 82. Is 11 a factor of y?
True
Let r(b) = 1 + 0 - 14*b - b**2 - 3 + 5. Let a be r(-13). Suppose 3*v - a - 38 = 0. Is 15 a factor of v?
False
Let i(t) = -t - 50. Let f be i(-23). Let g = 34 + f. Is g a multiple of 2?
False
Let x(f) be the third derivative of -4*f**2 + 0*f**3 + 0*f - 1/30*f**5 + 1/24*f**6 + 1/8*f**4 + 0. Does 27 divide x(2)?
False
Suppose 0*g - 5*g + 3*o + 20 = 0, o = 5. Suppose -4*i - 45 = -g*i. Is i a multiple of 15?
True
Suppose -346 = 2*f - 1264. Is f a multiple of 17?
True
Suppose 2*b - 6 = 2. Suppose -5*a + 3590 - 768 = -h, 0 = -5*a + b*h + 2813. Suppose 4*d + 5*k - 450 = -0*k, -5*d + a = 5*k. Is d a multiple of 37?
False
Suppose 0 = -10*q - 5 + 15. Let i(v) = 24*v**2 - 2*v + 2. Is 12 a factor of i(q)?
True
Let g = 126 - 124. Suppose 96 = 5*f - g*j, 6*f - 108 = f - 4*j. Is 20 a factor of f?
True
Suppose 5*a - 324 - 111 = 0. Let n = -8 + a. Is n a multiple of 10?
False
Let n = -22 + 26. Suppose 5*p - n*r = 129, -30 = 2*p - 3*p + 5*r. Does 5 divide p?
True
Let x = 75 + 350. Is x a multiple of 17?
True
Suppose -3*v + w - 79 = 1, 3*v + 50 = -5*w. Does 22 divide (40/v)/((-2)/30)?
False
Let u(j) be the second derivative of j**4/12 - j**3/6 - 3*j**2 + 6*j. Let l be u(5). Is 12 a factor of (-3)/(-7) - (-582)/l?
False
Is 6/(-18) - ((-16996)/12 - 1) a multiple of 11?
False
Let j(f) = 2*f**2 + 15*f - 12. Is j(10) a multiple of 3?
False
Suppose -207 = -3*c + 33. Does 10 divide (c/1)/(-4)*-2?
True
Suppose -3*o + 7*o - 12 = 0. Suppose -4*j = -2*g - 12, -5*j + 3*g = -o - 12. Suppose -15 = -j*y - 0*y, -y = -4*u + 63. Is u a multiple of 4?
False
Let x = -60 - -134. Is ((-102)/12)/(-17) - x/(-4) a multiple of 2?
False
Suppose 41 = 5*w - 9. Let b = 16 - w. Is 6 a factor of b?
True
Let f(g) = g**3 - 11*g**2 - 4*g + 18. Let r be f(11). Let q = 54 + r. Is q a multiple of 7?
True
Suppose 12*s + 460 = 8*s. Is 340/6*(-276)/s a multiple of 10?
False
Let m(k) = -2 - k + 2 + 5. Let v be m(7). Is 8 a factor of 25 + 2 - (5 + v)?
True
Let i = -706 - -962. Is 2 a factor of i?
True
Let b(j) = -j**2 - 67*j + 54. Does 28 divide b(-25)?
False
Let s = -4 - -3. Let c be (-7)/(s/4 + 0). Let z = -12 + c. Is z a multiple of 16?
True
Let m(l) = l**2 + 2*l + 1. Let p be m(-1). Let s(d) = d**2 + d - 10. Let g be s(p). Does 15 divide (-188)/g - (-2)/10?
False
Suppose -3*p = -5*r + 5434 - 763, -1863 = -2*r + 3*p. Is 37 a factor of r?
False
Suppose 0 = -3*i + 11*i - 832. Suppose 4*g - i = -4*z, 5*z - g = z + 109. Does 7 divide z?
False
Let o = 1210 - 444. Is 19 a factor of o?
False
Suppose -3*r - 1325 = -4631. Suppose r = -10*z + 4212. Does 30 divide z?
False
Let s(p) = 9*p + 3. Let d be s(-5). Let o = -29 - -31. Let j = o - d. Is 11 a factor of j?
True
Let s(y) = y**2 - 3*y - 7. Let r be s(5). Suppose 4*g = -o - 4*o - 8, -3*g = -r*o + 6. Suppose o*p = -3*p + 27. Is p a multiple of 3?
True
Let x(f) = 474*f**2 + 20*f - 2. Is 4 a factor of x(1)?
True
Suppose b = 5*p + 106, -5*b + 9*b - 496 = -4*p. Is 7 a factor of b?
False
Let k(g) = -g**3 - 3*g**2 + 6. Let r be k(-6). Let l = r + -57. Does 6 divide l?
False
Suppose -3*k + 4*s = s + 30, 2*k - 4*s = -14. Suppose -2*j - j - 161 = 2*f, j + 71 = -5*f. Let b = k - j. Is b a multiple of 19?
True
Let g = 6 - 12. Let b = g + 15. Let v = b - -2