3. Let m(g) = 11*d(g) + 2*t(g). Is 66 a factor of m(-17)?
True
Let o(d) = -28*d + 12. Suppose -4 = 2*r, -3*r - 27 = 3*w - 0*r. Let n be o(w). Let j = -115 + n. Is j a multiple of 31?
True
Let p = 67 + -72. Let t be (0 + p - -3)*42. Let h = t + 367. Is h a multiple of 33?
False
Let i(t) = -9*t + 8. Let g be i(-9). Suppose -5*x + 155 = -7*x + j, -j = 3. Let c = g - x. Does 14 divide c?
True
Let m = 8523 + -5644. Does 9 divide m?
False
Let v(s) = 38*s - 62. Let j(i) = -11*i - 319. Let m be j(-31). Does 86 divide v(m)?
True
Let q be (1096/10 - 1)/(8/40). Suppose -2*s = 4, -3*u - s + q = 2*s. Suppose 9*v - u = 33. Is v a multiple of 15?
False
Suppose -3246 = -3*b - 2*y + 2744, 3996 = 2*b + 4*y. Suppose -5*h - 4*z = -b, -2*h + 784 = -0*h - 2*z. Does 66 divide h?
True
Let z = 6165 + -2997. Is 33 a factor of z?
True
Let y(o) = -5*o**2 - 11*o - 4. Let v be y(-2). Is 82 a factor of (-41)/(201/102 + v)?
True
Let r be (-7 - 27/(-3))/((-1)/131). Let v = r - -802. Suppose -3*b - 2*d = -328, -5*b - d - d + v = 0. Is b a multiple of 27?
False
Suppose 0 = -22*z + 26*z + y - 1356, z = 3*y + 326. Does 26 divide z?
True
Suppose 0 = 3*z - 71 + 56. Let a = z + -2. Suppose 0*q + a*q = 408. Is 15 a factor of q?
False
Let y be 275/10*8/(-5). Let p = y + 44. Suppose 9*s - 4*s - 495 = p. Is 33 a factor of s?
True
Let u(w) = 22 - 19*w - 6 + 8*w + 4*w. Does 9 divide u(-2)?
False
Let l(v) = 11*v**3 - 16*v**2 - 26*v - 31. Let n(d) = 20*d**3 - 27*d**2 - 50*d - 60. Let i(w) = 11*l(w) - 6*n(w). Suppose -u - 6 = -19. Is i(u) a multiple of 9?
False
Suppose -12*b + 2*m = -16*b - 6, -2*m = -b + 6. Suppose -4*s = 3*y - 1029, b = -s + 3*y + 231 + 15. Does 6 divide s?
False
Suppose 0 = -2*x - 3*k + 54 + 74, 0 = -2*x + 4*k + 100. Let t = x - 54. Suppose -8 = 2*u, t*u - 285 - 19 = -5*r. Is r a multiple of 14?
False
Is (5070/15)/((-15)/(-45)) a multiple of 4?
False
Suppose -4*i = i + 2*u - 392, -3*u - 231 = -3*i. Suppose -i*c - 38 = -79*c. Suppose c*v - 36*v = 56. Is v a multiple of 14?
True
Let l = -180 - -3400. Does 14 divide l?
True
Let h = 9713 - 6644. Is h a multiple of 8?
False
Let c be 20*(1 + -6) + 2 + -2. Does 17 divide (340/c)/(2/(-190))?
True
Let l be (-8)/(-36) - (-392)/18. Suppose l - 30 = -k. Is 16 a factor of (12/k - 1)/((-2)/(-324))?
False
Suppose -90 = -3*c - 801. Let x(s) = 3*s**2 + 26*s + 29. Let f be x(-17). Let h = f + c. Is 33 a factor of h?
False
Let j(z) = -186*z**3 - 101*z**2 - 520*z - 12. Does 24 divide j(-5)?
False
Let m = -2103 + 2698. Is m a multiple of 3?
False
Let l(x) = 13*x + 6. Let j be l(4). Let w = 60 - j. Suppose d = -w*n + 57, d + 0*d - 55 = -3*n. Is 13 a factor of d?
False
Suppose -8*b + 678 = 526. Suppose -3998 = -4*u - 3*f, -5001 = -5*u + 17*f - b*f. Does 14 divide u?
False
Suppose -8 = -4*d, 99*u - 11224 = 98*u - 5*d. Is u a multiple of 9?
True
Let i(o) = 2*o**2 - 58*o + 20. Let z be 630/(-12)*(32/12)/(-4). Does 8 divide i(z)?
True
Suppose 3*b = 5*j + 64027, 14*j - 8*j + 48 = 0. Does 15 divide b?
False
Suppose 0 = -278*n + 120*n - 365*n + 2494710. Is 116 a factor of n?
False
Let d(o) be the second derivative of -140*o**3/3 - 3*o**2/2 + 67*o - 1. Does 40 divide d(-3)?
False
Suppose -2*w = a - 81, 0 = -a - 3*w + 47 + 30. Suppose 0 = -2*g - 6*r + 3*r - 85, -4*g - 169 = 5*r. Let n = g + a. Is 37 a factor of n?
False
Suppose 74*o + 65295 = w + 76*o, w - 65263 = 2*o. Is w a multiple of 20?
False
Suppose 3*o + 4*i + 33 = -31, -5*o = 3*i + 92. Let t be 2/o - 300/(-96). Suppose -2*j + 110 = 2*s, t*s + 2*j = -3*j + 175. Does 5 divide s?
True
Let u(m) = -3647*m - 47. Does 26 divide u(-3)?
True
Let k = 294 + -264. Is 8 a factor of (-96)/((72/32)/(k/(-4)))?
True
Let i be 171/33 + 2/(-11). Let l be -1 + -2 + 5 + -16 + 16. Suppose i*k - 3*q = 1155, -l*q - 871 = -5*k + 289. Is k a multiple of 26?
True
Suppose 632*n = 649*n - 65076. Is n a multiple of 11?
True
Let o = 8714 - 8030. Does 36 divide o?
True
Let t(i) = 30*i**2 + 11*i + 146. Is t(-10) a multiple of 46?
True
Let l(f) = f**2 + 174*f + 4937. Is l(-26) a multiple of 10?
False
Let v(y) = -7*y - 5. Let u(p) = -15*p - 11. Let t(b) = -2*u(b) + 5*v(b). Let h be t(-7). Let k = h - -2. Is k a multiple of 12?
False
Suppose 2504*o = 2568*o - 557952. Does 21 divide o?
False
Suppose 603 + 753 = 6*l. Suppose 154 = k - l. Does 19 divide k?
True
Is 5920/25*145/58 a multiple of 8?
True
Suppose -p - 25 + 32 = 0. Suppose v = 4*l - p, 0 = 2*v + l - 5*l + 14. Let q(w) = w**3 + 8*w**2 - 8*w + 17. Is 15 a factor of q(v)?
False
Let u = 13725 - 7308. Is u a multiple of 69?
True
Suppose 3*d + 6 = 2*b - 18, d + 21 = 5*b. Is 3 a factor of 5/(10/148) + d + 2?
False
Let h(u) = -2*u**3 + u**2 + 95*u + 72. Does 10 divide h(-13)?
True
Let j be (0 + 6)/(-3 + 3 + 2). Suppose 0 = 5*a - w - 82, w + 8 = -j*w. Suppose 18*h - 184 = a*h. Does 7 divide h?
False
Suppose 0 = 2*d + 2*b + 14, -d + 2*b = 4*d + 42. Let v be 5/(-20)*d + 1 + 14. Let o = v + 71. Does 16 divide o?
False
Let u = 10474 + -1414. Is u a multiple of 6?
True
Let p = -50 - -16. Let u = p + 229. Is u a multiple of 52?
False
Let g(v) = -v**2 - 7*v - 4. Suppose -x - 4*x - 25 = 0. Let t be g(x). Is 3 a factor of 135/t - 1/(-2)?
False
Let y = -54 + -12. Let v be -2 + 40/18 + 22638/189. Let i = v + y. Is i a multiple of 10?
False
Is 2 + (316 - -4) + 8/(-4) a multiple of 32?
True
Let k be 3294/8 + (-26)/(-104). Suppose -3*g = -k - 338. Is g a multiple of 12?
False
Let x(h) = 10*h - 30. Let d(c) = -31*c + 90. Let f(z) = -2*d(z) - 7*x(z). Does 32 divide f(-19)?
False
Let w be 1032/86 - (-64)/2. Let h = 1 - -1. Is -1 + 0 + h + w a multiple of 27?
False
Let k(j) = -j**2 + 11*j - 18. Let v be k(9). Suppose v*x + 4*z + 788 = 3*x, -5*z + 288 = x. Is x a multiple of 19?
False
Let w(x) = 37*x + 262. Let b be w(-7). Let h = -1 - -1. Is 18 a factor of b*(-42)/(-1 - h)?
True
Let w(q) = -2*q + 33. Let z be w(10). Suppose -12*x + z*x = 14. Does 7 divide x?
True
Let r be 70/9 + 2/9. Let a(x) = 3*x**2 - 8 - 6644*x - 6618*x + 13255*x. Does 36 divide a(r)?
False
Let j(x) = -150*x**3 - 14*x**2 + 30*x + 149. Does 15 divide j(-4)?
True
Let o(k) = -9*k**2 + 418*k + 105. Does 8 divide o(43)?
False
Let c(x) = 3*x**2 - 27*x + 887. Is c(-26) a multiple of 21?
False
Let i(r) = -8*r**3 - 9*r**2 - 21*r - 132. Does 17 divide i(-5)?
True
Let q = -79 + 85. Let d be (-8)/q - (-416)/24. Let w(a) = a + 55. Is w(d) a multiple of 17?
False
Let a(k) = 3*k**2 + 25*k + 209. Is a(-23) a multiple of 3?
True
Let m(t) = -5*t**3 + 2*t**2 + 3*t - 159. Does 18 divide m(-12)?
False
Let o = -305 - -278. Is o + 23 - (-22 + 1) a multiple of 17?
True
Let o = -7308 + 15076. Is 24 a factor of o?
False
Does 72 divide ((-6)/8)/((-8)/180768*3)?
False
Let x = 5920 + 2003. Does 139 divide x?
True
Suppose -r - 1465 + 3768 = 0. Is r a multiple of 32?
False
Suppose -4*j - 3*j + 1792 = 0. Suppose -x + 102 = -2*b, -5*x + j = -2*x + 4*b. Is x a multiple of 23?
True
Let q(a) = a**2 + 26*a - 23. Let i be q(-27). Suppose -6*z = 8 + i. Is 29 a factor of ((17/z)/(-1))/(1/6)?
False
Suppose 10 = 4*h + 2*u - 0*u, -3*h = 5*u + 3. Let r(b) = 36*b + 20. Is 18 a factor of r(h)?
False
Let y be (-60)/(-48) - (21/(-4))/3. Suppose y*j + 3*a = 1755, -4*a + 230 = j - 364. Is 19 a factor of j?
False
Suppose -5*s + 23*c - 24*c = -32089, -2*c - 12838 = -2*s. Is s a multiple of 14?
False
Suppose b - 114 = 20*b. Does 59 divide (3/((-27)/b))/(58/5133)?
True
Suppose 63*z = -3*z + 858. Is z a multiple of 9?
False
Let i be -7*(20/28 - 1). Suppose 2*h - 14 = -4*k, k - 2*h + 2 = -i. Suppose 241 = 5*f - k*f - 2*j, -4*f + 318 = -2*j. Does 18 divide f?
False
Let o = -168 - -769. Suppose -8*l = -o - 1271. Is l a multiple of 6?
True
Let o(p) = p**2 + 18*p + 48. Let z be o(-32). Suppose -z = -s + 3*u, -3*s + 4*u = 3*u - 1528. Is s a multiple of 33?
False
Suppose -2*j = -k - 16, 6*j = 4*j + 2*k + 12. Let f(r) = 2*r**2 - 21*r + 9. Let s be f(j). Is (146 - (s - 1))/(4/6) a multiple of 51?
False
Is -4 + 0 - (-1004 + (-19 - -46)) a multiple of 7?
True
Let w(t) = -t**2 - 10. Let u be w(-6). Let b = u - -42. Is 15 a factor of b/(-6)*((-561)/(-2))/11?
False
Suppose -38 = -4*n + 90. Suppose 0 = -5*z + v - 25, 5*z + 4*v - 7 + n = 0. Let b(x) = -18*x. Does 15 divide b(z)?
True
Suppose -3*w + 9 = 12. Let k be (-160)/w + 2 + 0. Suppose -g + 217 = p + 49, -p = -g - k. Is 11 a factor of p?
Tr