se -4*o = -161 - x. Does 11 divide o?
True
Let g = -43 + 48. Suppose g*j - 2*m - 1178 = -m, -226 = -j + 5*m. Suppose u - j = -u. Is 13 a factor of u?
False
Let n = 1266 - 900. Suppose c + n = 4*c. Is 9/6*c/3 a multiple of 8?
False
Let l(q) = 7*q + 10. Let y be l(5). Let o = y - 42. Suppose -o*m = -m - 258. Is 15 a factor of m?
False
Let u(j) = -336*j - 1365. Is 13 a factor of u(-5)?
False
Suppose 0 = -11*i + 21*i + 150. Does 17 divide -4 + 84/20 + (-4077)/i?
True
Does 34 divide 128 + -2 - (128 + -133)?
False
Let c = -27 - 32. Let y = 654 - 661. Let p = y - c. Is 8 a factor of p?
False
Let z = -33 - -46. Suppose 0 = 6*b + z - 7. Is 12 a factor of -36*(0 - b/(-3))?
True
Let z be (4/4)/((-3)/15921*-3). Suppose 0*c + 4*c + t = z, 2*c = -3*t + 877. Is 56 a factor of c?
False
Let y = -47 + 68. Suppose 0 = -7*n - 0*n + y. Suppose 3*t - 4*x - 522 = -6*x, -522 = -n*t + 5*x. Is 17 a factor of t?
False
Let h(g) = -5*g. Let p be h(-2). Let q(y) = 0*y + 0*y + y - 5*y - p. Does 7 divide q(-12)?
False
Let u(v) = 3*v**2 - 3*v + 4. Suppose 2*l = -4*o + 24, -o + 9*l - 10*l = -6. Does 19 divide u(o)?
False
Suppose -205 - 559 = -4*y + 3*g, -y = 2*g - 202. Is y a multiple of 4?
False
Is 41 a factor of -3*(-1*8266)/(-2)*(-57)/171?
False
Let v(k) = -253*k - 8207. Is 4 a factor of v(-39)?
True
Let v be (-1684)/(1/(20/8)). Is 1 + v/(-8) + 18/24 a multiple of 22?
True
Let d(y) = 4*y - 33. Let j be d(10). Suppose -795 = -j*g + 2*g. Is 21 a factor of g?
False
Let t be (-1755)/(-260)*12/1. Let o = t - -953. Does 11 divide o?
True
Suppose -c - 6 = -0*c + 3*z, -5*c - z = -12. Does 13 divide (76/(-8)*c)/(1/(-4))?
False
Is 59 a factor of 1 + 7666 + (-78)/(-91)*(-21)/(-6)?
True
Let u(f) be the second derivative of f**5/60 + 17*f**4/24 + 13*f**3/3 - 11*f**2 - 11*f. Let w(o) be the first derivative of u(o). Is w(-23) a multiple of 33?
False
Suppose -2*d = -6*d - 2*t + 1238, -t = -2*d + 609. Suppose -2*k - 440 = 2*y, 2*y + 2*y + 12 = 0. Let p = d + k. Is 30 a factor of p?
True
Is (24/(-10))/(-4) - (-17342)/230 a multiple of 2?
True
Suppose 89*d - 42773 = 70*d - 14615. Is d a multiple of 19?
True
Is 496 - ((-400)/128 - (-1)/8) a multiple of 4?
False
Let d = 7568 + -4759. Is 38 a factor of d?
False
Suppose 4*k + 5*b = 11, b = k - 0*k - 5. Suppose 8*l - 48 = -k*l. Suppose 4*x = 2*w - 114, l*x = -3*w - 18 + 199. Does 5 divide w?
False
Let m = -116 + 128. Suppose -3280 = -4*f - m*f. Suppose 0 = -21*z + 16*z + f. Is 19 a factor of z?
False
Let t(l) be the first derivative of l**3/3 + 23*l**2/2 + 104*l - 21. Does 9 divide t(-26)?
False
Suppose 53*h - 16*h = 7807. Is 17 a factor of h?
False
Let y(a) = a**2 - 12*a - 186. Let q be y(21). Does 18 divide 2905/15*q - 5?
True
Suppose 4*h - 51406 = -v, -1104 = 2*h - 3*v - 26814. Does 37 divide h?
False
Let m(a) = -1 - 5 + 15*a - 21*a. Is m(-7) a multiple of 9?
True
Let c be (-32 - 116)/(1/2). Let m = c + 310. Is m a multiple of 12?
False
Let d(t) = t**3 + 5*t**2 - 24*t + 9. Let b(l) = l**2 - 1. Let v(q) = 6*b(q) - d(q). Is 19 a factor of v(-7)?
True
Let d(j) = -1840*j + 6. Does 13 divide d(-1)?
True
Suppose -154*n + 5939899 = -92743. Is n a multiple of 7?
False
Let m(y) = 2*y - 11 - 10*y + 7*y**2 + 0*y - 8*y**2. Let g be m(-3). Suppose -5*c - b = -95, -g*b + 20 + 72 = 4*c. Does 2 divide c?
True
Let z = 47 + -45. Suppose 2*v - 20 = 2*u, z*u - 4*v + 17 = -3*v. Let x = u - -17. Does 10 divide x?
True
Let l(p) = 5*p**2 - 30*p + 133. Does 3 divide l(-10)?
True
Suppose 8*s = 29 + 3. Suppose -416 = -7*r + 3*r. Suppose r + 20 = s*j. Is j a multiple of 6?
False
Suppose -6*o - 2*m = -6324, -3*o + 4*m + 3817 = 670. Does 39 divide o?
True
Suppose -23*k - 57506 = -181131. Does 43 divide k?
True
Suppose 0 - 6 = -2*t. Suppose t*r - 650 = 835. Suppose -c = 0, 0 = 5*j - 12*c + 10*c - r. Is 11 a factor of j?
True
Suppose -k + 5954 = -5*y - 1118, 7065 = k + 2*y. Does 74 divide k?
False
Let d be (-232)/(-4) + (-6 - -4). Suppose -d*i - 520 = -61*i. Is 5 a factor of i?
False
Let m(y) = 7*y + 13. Let x be m(5). Let o be x/(-6)*39/(-12). Suppose -r + 17 = -o. Is 9 a factor of r?
False
Is 3/(20/818040*18) a multiple of 2?
False
Suppose -2*m + 9 = 1. Suppose m*i = 2*i + 3*i. Let u(b) = b**2 - b + 18. Is u(i) a multiple of 3?
True
Suppose 3*g + 2*g - 18 = -3*k, 7 = 4*g - 5*k. Suppose -6*w + g = -3. Is 13 a factor of ((-18)/(-12))/w*(-784)/(-6)?
False
Suppose -4*y = d - 47, -d + 5 = -y + 18. Let b(v) = 4*v**2 + v. Let h(p) = -3*p**2 - 7*p - 24. Let n(a) = b(a) + h(a). Is n(y) a multiple of 6?
True
Suppose 4*w + 30 = 2*f, -5*f + 4 + 16 = w. Suppose 321 = 3*v + q - 0*q, q = -f*v + 537. Does 12 divide v?
True
Let u = -40 - -44. Suppose z + 4 = -u. Is z + -1 + 7 + (165 - 1) a multiple of 18?
True
Let h(g) = 68*g**2 - 5*g + 7. Let w be h(4). Suppose 0 = 14*d - 325 - w. Let v = d - -66. Is 13 a factor of v?
False
Suppose -3151 = -12*u - 367. Let m(g) = -88*g**3 - 1. Let l be m(1). Let y = u + l. Is y a multiple of 26?
False
Suppose -2*k - 1089 = -5*r, 2*r - 4*k - 254 = 188. Suppose r = 2*w - 521. Is w a multiple of 3?
True
Suppose -485785 = -32*b - 14303 + 90054. Is 15 a factor of b?
False
Let f = -38311 + 46044. Is 33 a factor of f?
False
Suppose -4*j - 65637 = -5*w + 17320, 0 = -2*w - 2*j + 33190. Is 62 a factor of w?
False
Let y(z) = z**3 - 111*z**2 + 19*z - 1265. Is y(112) a multiple of 109?
True
Let w(n) = -4*n**3 + 6*n**2 - n - 5. Let h be w(4). Let y be -3*(-2 - -2 - 29/(-3)). Let k = y - h. Does 15 divide k?
False
Is 10 a factor of -4 + ((-3)/(-6) - 88049/(-26))?
False
Let j(t) = -232*t**2 + 7*t + 13. Let x be j(-2). Let n = -635 - x. Is 14 a factor of n?
True
Let o(d) = 30*d**3 + 3*d**2 - d - 1. Suppose -5*i = -5*s, -s + 4 = 2*i + s. Let b be i/((-3)/(-3))*1. Is o(b) a multiple of 15?
False
Let n = 190 + -336. Let p = n + 164. Is 3 a factor of p?
True
Let a(f) = -f**2 - 13*f + 3. Let z be a(-12). Let u = z - 9. Suppose u*l = -12*l + 1584. Is l a multiple of 8?
True
Suppose -37*d = -2910 + 12271. Let i = 1133 + d. Is 40 a factor of i?
True
Suppose -x - 5 = 4*x. Let k be (2 - (1 - x))/(-2). Let a(f) = f**2 - 2*f + 40. Does 10 divide a(k)?
True
Let x(p) = 6*p**2 + 21*p - 29. Let g be x(-5). Suppose 5058 = g*d - 15198. Is d a multiple of 69?
False
Let h(u) = u**3 + 17*u**2 - 22*u + 85. Let t be h(-19). Let o = 366 - t. Does 9 divide o?
True
Let j(o) = -21*o - 10. Let s be j(2). Let t = s - -107. Is 55 a factor of t?
True
Let q(j) = -19*j + 24. Let b(r) = -r. Let y(d) = 6*b(d) - q(d). Let p be y(5). Suppose 3*l + c - p = 0, -4*l = -3*c - 58 - 14. Does 15 divide l?
True
Let k be 433 + 36 - (1 + -5). Suppose -23*p = -194 - k. Is 4 a factor of p?
False
Let f(v) = 791*v + 154. Does 45 divide f(1)?
True
Let b = 969 - 975. Let a(q) = q**2 - 11*q + 24. Does 7 divide a(b)?
True
Suppose 48*s + 43*s - 91368 = -17*s. Does 34 divide s?
False
Let k(g) = -8*g - 21. Suppose 0 = 4*t - n + 47, -13 = t - 7*n + 8*n. Is 3 a factor of k(t)?
True
Let m = 345 - 95. Is m/7 + 2*(-4)/(-28) a multiple of 6?
True
Let m be (-3)/9 + (-2)/(-6). Suppose 33*q - 40*q + 9877 = m. Does 111 divide q?
False
Suppose 9*c = 4*c - 205. Let i = c + 47. Suppose -4*v - 109 = 3*s - 319, 3*s + i = 0. Is 6 a factor of v?
True
Let y(l) = 7*l**2 + 51*l - 1638. Does 65 divide y(26)?
True
Let q be 26/(-78)*2*3/(-2). Let v(i) = -4*i + 29*i**2 + 32*i**2 + 3*i. Is 20 a factor of v(q)?
True
Suppose 12 = -2*a + 4*i, 8 = 2*a + 3*i - 1. Suppose f + 4*f + 4*o - 15 = a, -3*f = -o + 8. Let w = f + 11. Is 10 a factor of w?
True
Let x(t) = 25*t + 43. Let b = -118 - -125. Is x(b) a multiple of 11?
False
Suppose 2*l = w - 5*w - 50, 82 = -4*l - 2*w. Let i = l - 20. Does 24 divide (-4869)/i + 20/130?
False
Suppose z - 1055 = -2*c, 5*c - 3228 = 5*z - 628. Is 15 a factor of c?
True
Let y(i) = -2*i - 130. Let c be y(8). Let t = c - -244. Is t a multiple of 4?
False
Does 3 divide 1/2*-4 + -35*506/(-55)?
False
Let w = 11553 + -3303. Is 66 a factor of w?
True
Is (-60)/(-72) + (-311170)/(-60) a multiple of 57?
True
Suppose 71953 = 3*f - 4*g + 17729, 0 = 3*f - g - 54245. Is 59 a factor of f?
False
Let j = 140 - 139. Is 6 a factor of ((-45)/5 + 15)*j*3?
True
Let t = 93 - 94. Let d be t/((36/(-32))/9). Suppose d*z - 1012 = 4*z. Is z a multiple of 31?
False
Let i(r) = 97*r**2 + 13*r - 28. Let q be (-1056)/(-495) + 2/(-15). Is i(q) a multiple of 2