Let y be ((-26)/(-14) - 2) + (-3550)/(-350). Is 7 a factor of o(y)?
True
Is 2/(-10) - (-6671)/(-3)*(-1170)/325 a multiple of 56?
False
Let t(i) = -i**2 - 11*i - 18. Suppose 8*a - 5*a - 3*w = -36, 2*w - 6 = 0. Let g be t(a). Suppose 5*p - 796 = -3*o, -p + 5*o + 176 = -g*p. Is 13 a factor of p?
False
Suppose 7 = -4*w + n, 4*w - n + 4 = 3*n. Let l be 19/(-2) + 7/14 - w. Does 11 divide (-1)/l + (14768/28)/4?
True
Suppose -3*g - 2*n = -7*g - 76, -n = 4. Let m(w) = 2*w**2 + 33*w - 12. Let z be m(g). Suppose -3*p - o = -524, p - 2*p + 2*o + z = 0. Is p a multiple of 25?
True
Suppose 5*o + 5273 = 98*g - 97*g, -10535 = -2*g - o. Is g a multiple of 12?
True
Let v be 26*42/8 + (-6)/4. Suppose -5*p + 1025 = 3*r, v = r + 2*p - 206. Is 69 a factor of r?
True
Let k = 44085 + -31029. Is k a multiple of 51?
True
Let m = 167 - 87. Let r = 68 - m. Does 6 divide (r/(-3))/((-6)/(-18))?
True
Let h(d) be the second derivative of 0 + 8/3*d**3 - 22*d - 13*d**2. Is 35 a factor of h(11)?
False
Let i(a) = a**2 + 3*a - 2. Let x be i(1). Let w be (x - (3 - -18)) + 1. Is 29 a factor of ((-232)/(-16))/((-3)/w)?
True
Let s(n) = 13*n - 37. Let c be s(13). Suppose -53*j = -47*j - c. Does 22 divide j?
True
Suppose 10*l - 9*l = -9. Let t be 1 + l/3 - -2. Suppose t = -5*q + 218 + 57. Is 44 a factor of q?
False
Suppose -3*r = 5*z + 1 + 16, 4*r = -4*z - 20. Is 4 a factor of (-38)/z + (-4 - (7 - 13))?
True
Let y = -229 - -238. Is 88 - y - -4 - -1*5 a multiple of 8?
True
Let j be (5 + -14)/(-3)*(-32)/(-6). Suppose -11*s - 770 = -j*s. Is s a multiple of 7?
True
Is (1 + 2)*(-16478)/(-28)*2 a multiple of 107?
True
Let p(x) = -393*x - 2696. Is 3 a factor of p(-11)?
False
Let b = 1021 - -235. Suppose 2*s = 6*s - b. Suppose -2*h + 4*g = -s, -4*h + g = -4*g - 622. Is 9 a factor of h?
True
Does 13 divide 1327*3 + (-350)/25?
False
Let l(z) = -110*z + 166. Is l(-27) a multiple of 14?
True
Suppose t + 3*d + 9 = -t, 3 = -d. Is -1*t*(-4)/(-20) + 758 a multiple of 66?
False
Let v(t) = t**3 - 10*t**2 + 3*t - 20. Let m be v(10). Suppose -2*p + 44 = -m. Suppose -2*y + 165 = -p. Is 12 a factor of y?
True
Suppose -9632 - 14837 = -2*a - 3*y, 3*y - 48959 = -4*a. Is a a multiple of 31?
True
Does 11 divide 2/(-27)*3 - (1042326/(-81) - 0)?
False
Let v = 9 + 9. Let w be (-13)/(-3) - (-5 + 96/v). Suppose 3*s = -0*s - w*x + 218, 0 = 4*s - x - 278. Is 23 a factor of s?
False
Suppose 2*l + 5*a = -5530 + 54801, 0 = -l - 5*a + 24643. Is l a multiple of 47?
True
Let g = -7860 - -13936. Is g a multiple of 49?
True
Suppose z - 17 = 38. Let l = 57 - z. Suppose -l*o = -b - 4*o + 6, b - 24 = 4*o. Does 12 divide b?
True
Suppose 0 = -5*p + 2*f + 9322, -2*p + 3731 = -7*f + 4*f. Is 9 a factor of p?
False
Let l(s) = 28*s**2 + 46*s - 142. Let d be l(3). Suppose 255*h = d*h + 3248. Is 71 a factor of h?
False
Let g(n) = -18*n + 3. Let l(j) = 1. Let d(m) = 3*g(m) - 6*l(m). Let a be d(3). Is 20 a factor of (-28)/(-56) - (a/2 + 0)?
True
Suppose -32 - 16 = 4*r. Let g be 3/(-6) - 21/r*2. Suppose 2*z - 129 = 3*k, 69 = g*z - 2*z + 3*k. Does 22 divide z?
True
Let t(o) = 1. Let s(h) = 8*h + 1. Let n(l) = -s(l) - 6*t(l). Let p(j) = -j**3 + 3*j**2 - 4*j + 2. Let w be p(2). Is 3 a factor of n(w)?
True
Suppose 67*o = 2*a + 68*o - 2512, 4*a - 5052 = 5*o. Does 17 divide a?
True
Let l(k) be the first derivative of -2*k**2 - 10*k - 14. Let x be l(-5). Suppose 5*w = 3*w + x. Does 4 divide w?
False
Let m(p) = p**3 + 99*p**2 - 166*p - 278. Does 8 divide m(-100)?
False
Let v(b) = -470*b**3 - 7*b**2 + 255*b + 763. Does 125 divide v(-3)?
True
Suppose -5*i + 199 - 664 = 0. Let o = 96 + i. Suppose 4*b - 20 = o*b. Does 5 divide b?
True
Let s = 8 - 5. Let z = 914 + -909. Suppose -3*v = z*x - 120, -s*x - 5 = 5*v - 77. Does 11 divide x?
False
Is -3603*((-36)/198 + 0 + 5/(-33)) a multiple of 56?
False
Suppose -4*z + 3*x = -27686, 0*z = -2*z - 5*x + 13830. Is z a multiple of 27?
False
Let h be ((-5940)/693)/(4/2478). Is (-6)/(-12)*1 - h/4 a multiple of 28?
False
Suppose -b + 414 + 1188 = b. Is 89 a factor of b?
True
Let l be (-1 - -5) + 0 - 0. Let j be 410/24 - (40/(-5))/(-96). Suppose l*z - 7 = j. Does 3 divide z?
True
Suppose -d = -36431 + 24559. Does 200 divide d?
False
Suppose -25 - 27 = -13*r. Suppose -5 = -x - 0. Suppose u - 517 = -x*b, r*b + 6*u = 3*u + 407. Does 13 divide b?
True
Let c(f) = 4*f - 3. Let v be c(1). Suppose -6 = -d - 2*i, 1 = 2*i - v. Suppose -8 - 168 = -d*j. Does 21 divide j?
False
Suppose 396 - 18909 = -9*q. Suppose 12*b + 293 = q. Is b a multiple of 7?
True
Let m(y) be the third derivative of y**5/15 + 29*y**4/24 + 4*y**3/3 - 41*y**2. Let x be m(-8). Does 24 divide (13 + (1 - -1))*(-9 + x)?
False
Let h be (-7 - -4) + -1 + 5. Is (h - (-6 - 7))*6 a multiple of 12?
True
Suppose 2*z - 11800 = 2*d + 19764, -3*z - 5*d + 47394 = 0. Is 149 a factor of z?
False
Let n(q) = 847*q**2 - 32*q - 36. Does 86 divide n(-6)?
False
Let y(i) = 17*i + 192. Let u be y(-14). Let g = u - -110. Is g a multiple of 33?
False
Let b be 3/(-4) - (-1363)/4. Suppose 26*t = 28*t - b. Suppose t = 4*m - 2*c, 4*m = 3*c + 151 + 24. Does 23 divide m?
False
Is 2173 - (-8 + 15) - -19 a multiple of 19?
True
Let k be 6 + (-9)/((-45)/10). Suppose 0 = k*l + 807 - 4191. Does 32 divide l?
False
Let n(a) = -a**2 + 62*a - 632. Is 20 a factor of n(14)?
True
Let o(l) = l**2 + 12*l - 10. Let g(c) = -c**3 + 24*c**2 + 49*c + 59. Let t be g(26). Is 19 a factor of o(t)?
False
Let n(u) = 1292*u**2 - 776*u - 2. Is n(2) a multiple of 13?
True
Let w(h) = 36 - 126 + 124*h + 60 + 14*h. Does 11 divide w(5)?
True
Let l(y) = -y**3 + 36*y**2 - 108*y + 261. Does 8 divide l(21)?
True
Let l(b) = -b**3 + 4*b**2 - 2*b - 4. Let z be l(3). Let q(n) = 50*n**2 + 3*n + 1. Is q(z) a multiple of 3?
True
Suppose 5*c - 2840 + 680 = 0. Does 8 divide (c/(-63))/(2/(-7))?
True
Suppose -6*m = -4*m - 3*z - 42, 0 = 4*m + z - 112. Suppose r - o + 8 = -5*o, -5*r - 5*o - 85 = 0. Let q = r + m. Is 7 a factor of q?
True
Suppose 3*x + 7 = 31. Let q be (46/115)/((-3)/(-30)). Suppose -q*u - x*v + 90 = -6*v, -3*u + v = -65. Does 5 divide u?
False
Suppose 0 = 100*n - 2468922 - 737778. Is 63 a factor of n?
True
Suppose -7*z - 8 = -1. Let b be z + (0 - -5)*21/35. Suppose -2*p - 321 = -5*v, 2*v - 140 = -b*p - 3*p. Does 11 divide v?
False
Suppose 463 = h + 5*r, -h - 2*r - 974 = -3*h. Let d = -205 + h. Does 7 divide d?
False
Let h be (-6)/(-39) - 2/13*-129. Suppose -9*t - h = -13*t. Suppose -t = x - 23. Is x a multiple of 6?
True
Suppose -11517 = -4*s - 2341. Is 16 a factor of s?
False
Let y = -3294 - -3531. Does 15 divide y?
False
Let t be 3/1 - (22 - 4). Let m = t - -20. Is ((-80)/12)/m*-75 a multiple of 20?
True
Let j(r) = r**3 + 3*r**2 - 3*r - 3. Let l be j(-4). Is l/((-98)/(-77))*-202 a multiple of 11?
True
Does 18 divide 12/198 - 1010376/(-297)?
True
Suppose -4*j = -7*j + 3. Let d be 17/(-17) + 4*j. Suppose -v + 107 = -d*g, -5*v + 455 = 2*g + 3*g. Is 19 a factor of v?
True
Let i = -165 + 186. Suppose i*w - 127 = 20*w. Does 27 divide w?
False
Let r(w) = 2*w**2 - 3*w - 5. Let a = 40 - 36. Let n be r(a). Suppose -2*y + 35 = 3*v, -v + n = -3*y + 2*y. Does 3 divide v?
False
Let g be 24/(-9)*(-12)/16. Suppose 4*h + 0*c - 16 = g*c, -h = -3*c - 4. Suppose 9*s + 45 = 2*z + h*s, z - 5*s - 25 = 0. Is 10 a factor of z?
True
Suppose -5*z - l + 18596 = 0, 2136*z - 2137*z + 4*l + 3694 = 0. Does 13 divide z?
True
Let r be ((-1261)/11)/(-13) + (-2)/(-11). Suppose 7*s + 372 = r*s. Is 10 a factor of s?
False
Let u = -966 + 1014. Is (5/((-50)/(-516)))/(u/160) a multiple of 43?
True
Suppose -2*t + 4*t - d - 105 = 0, t = -5*d + 36. Suppose -t*g + 46*g = 2*q - 3052, 4*q = 2*g - 1240. Is 94 a factor of g?
False
Let i(v) = 48*v**2 + 8*v - 16. Is 114 a factor of i(-7)?
True
Let j(u) = -u**3 + 13*u**2 + 2*u - 22. Let q be j(13). Is 45 a factor of (5/q)/(10/2160)?
True
Let z(s) = -42*s - 1. Let o(j) = j**2 - 6*j + 7. Let r be o(5). Let f(w) = w**2 - 2*w - 3. Let a be f(r). Is z(a) a multiple of 25?
True
Is 97 a factor of (-3)/(-7) + 4*(-1211994)/(-196)?
True
Let r = 53 - 59. Let w(v) = -v**3 - 6*v**2 - 11*v - 2. Let z be w(r). Suppose -2*c - 4*k + z = 0, -4*k = 5*c - 238 + 60. Is c a multiple of 7?
False
Suppose -1700*o = -1677*o - 53406. Does 43 divide o?
True
Suppose 6*x = 5*d + x - 11465, 12 = 3*x. Suppose -d = 24*r - 5753. Is r a multiple of 8?
T