5. Let k be f(y). Suppose -k = a - 6*a. Does 13 divide a?
False
Let l = -3 + 6. Suppose -3 = 4*g + 4*f - f, -5*g = 5*f + 5. Suppose -4*r + l*r + 26 = g. Is 5 a factor of r?
False
Is (3 + 1)/4 + 1364 a multiple of 13?
True
Let y = -318 + 523. Let h = y - 132. Is 14 a factor of h?
False
Let m be -2 + (-2 + 0)*1. Is 18 a factor of ((-7 - m) + -267)*(-4)/10?
True
Let p = 1388 - 688. Is 25 a factor of p?
True
Let y(m) = m**3 - 5*m**2 - 5*m - 2. Let r be y(6). Suppose 0*j - 5*w + 2 = -j, j + 1 = r*w. Suppose -j*n = -115 - 116. Is n a multiple of 24?
False
Let t = 672 + -582. Is 9 a factor of t?
True
Let c(i) = -2*i**2 - 10*i - 1. Let p be c(-4). Suppose -21 - p = -u. Is u a multiple of 13?
False
Suppose 7*y - 3168 = -4*y. Is 24 a factor of y?
True
Let f = 18 - 24. Let h = 10 + f. Suppose h*v = 83 + 29. Is v a multiple of 7?
True
Let y(b) = -b**2 + 21. Let f be y(9). Let k = f - -170. Is k a multiple of 30?
False
Let m = -96 + 60. Does 14 divide 3 - ((-974)/9 - 8/m)?
False
Suppose -7 = -r - p, -2*p = 5*r - 16 - 4. Let b(o) = 14*o + 10 - 15 + 2*o**r - 7*o. Does 25 divide b(-6)?
True
Let m(p) = -2*p - 3. Let d(g) = g + 4. Let l(r) = 3*d(r) + 2*m(r). Let i be l(4). Suppose -h = i*h - 225. Is h a multiple of 25?
True
Let n(r) = r**3 + 24*r**2 - 35*r + 6. Is 18 a factor of n(-24)?
True
Suppose 4*x - 2*h - 1898 = 0, -2*x + 0*x - 5*h = -967. Is 32 a factor of x?
False
Let c = 945 + -345. Does 25 divide c?
True
Let f(x) = -19*x + 25. Let t(s) = -9*s + 13. Let p(w) = -2*f(w) + 5*t(w). Is p(-5) a multiple of 4?
False
Let a = 188 - -109. Suppose 2*u + a = 5*u. Is 11 a factor of u?
True
Let h be (1 - 4)/(-15)*25. Let r(d) = 8*d + 20. Is r(h) a multiple of 6?
True
Let r = 865 - 582. Is 16 a factor of r?
False
Let o = -9 + 15. Let i = o + 43. Suppose q = 4*v - i, q = 3*v - 4*q - 58. Does 11 divide v?
True
Let a = 2086 + -917. Suppose -a = -6*t + 199. Does 12 divide t?
True
Let d be 1/((-3)/(-2)) - (-354)/9. Is 20/4 + d/1 a multiple of 3?
True
Let f be 1/((-6 + 2)/(-16)). Suppose f*p = -4*o + 44, -3*p + o + 18 = -15. Does 9 divide p?
False
Let u be ((-18)/21)/(1/28). Let z be -1 + u*(-8)/3. Suppose -z = -0*a - 3*a. Is 7 a factor of a?
True
Suppose 4*o = 2*y - 4*y + 108, -2*y + 116 = -4*o. Let v = y - 52. Does 4 divide v?
True
Let p = 57 + 110. Is 7 a factor of p?
False
Suppose -3*q = 9*q - 6408. Suppose v - 4*b = 277, 3*v + 2*b - q = v. Is v a multiple of 47?
False
Let h = -643 - -689. Does 23 divide h?
True
Suppose -80 = -14*p + 4*p. Is 4 a factor of -3 + 24 + (3 - p)?
True
Suppose 0 = 3*r - 1 - 8. Suppose r*f = 105 - 3. Is f a multiple of 7?
False
Let l(v) = v**2. Let x be l(-1). Let y be -2 + 131*(0 + x). Suppose -2*b + 5*b - y = 0. Is b a multiple of 16?
False
Does 34 divide -5*((-12)/(-3) + (-4098)/15)?
False
Let l be (-2)/3 - 32/(-12). Suppose l*d - 295 - 45 = 0. Is d a multiple of 12?
False
Let f(w) = -56*w + 218. Does 45 divide f(-11)?
False
Let m(o) be the second derivative of o**4/12 + 51*o**2/2 + 4*o. Let i be m(0). Suppose 0 = 5*f - i - 59. Is f a multiple of 11?
True
Let f(a) = -a**3 - 5*a**2 + 6*a - 1. Let l be f(-6). Let h = -1 + l. Is 5 a factor of -3*28/(-6) - h?
False
Suppose 9*q = 7*q + 5*f + 885, 3*f + 3 = 0. Is 4 a factor of q?
True
Let o = 864 - -241. Does 74 divide o?
False
Suppose -4*a + a - 2*x + 20 = 0, -3*x = -3*a. Let w be a + (1 - 0) + 0. Suppose 7*p - 43 = 4*p + 4*g, w*g = 4*p - 56. Does 9 divide p?
True
Let a be (-4)/6*(0 - -12). Let l be (-1)/(36/a - -4). Suppose l*o + o = 4*z + 175, -4*o - z = -265. Is o a multiple of 14?
False
Suppose 0 = -2*w + 33 + 15. Let r = -19 + w. Does 9 divide 8*2 - (r + -6)?
False
Let b(y) = -y**3 - 3*y**2 + 4*y - 3. Suppose -8*k + 50 = -5*c - 3*k, -5*c + k = 30. Let t be b(c). Suppose z - t = -2*z. Does 9 divide z?
True
Let q(c) = c**2 + 6*c - 48. Is 2 a factor of q(6)?
True
Let m(u) = -u**2 + 10*u + 4. Let r be m(10). Suppose q = -r*q + 2125. Suppose 156 + 190 = 4*f + y, 5*y - q = -5*f. Is 29 a factor of f?
True
Let v be 3/6*(278 + (-2 - -4)). Let k = v + 154. Does 49 divide k?
True
Let m be 42/12 - 2/(-4). Suppose -m*a = -19 - 13. Does 4 divide a?
True
Let h(j) = 2*j**2 + 41*j - 40. Is 95 a factor of h(-25)?
False
Let n(i) = -i**3 + 19*i**2 - 32*i - 21. Let k be n(17). Suppose -k*c - 748 = -17*c. Is c a multiple of 30?
False
Let c(b) = -b**2 - 12*b + 104. Is 4 a factor of c(0)?
True
Let m(h) = 2*h - 2. Let c be m(2). Let t be (0/c)/(0 + -1). Suppose 5*n - 30 - 60 = t. Does 4 divide n?
False
Let i(j) = 156*j**2 - 6*j. Is i(2) a multiple of 18?
True
Suppose 4*y + w - 1144 + 25 = 0, -4*y + 4*w = -1104. Let t = y + -164. Let r = t + -10. Is 35 a factor of r?
True
Let l be ((-30)/8)/(27/(-72)). Suppose -l*z = 98 - 938. Is z a multiple of 14?
True
Let t = -17 + 23. Suppose -5*g = -t*g. Suppose g = -3*c - 3, -z = 3*z - 3*c - 351. Is 29 a factor of z?
True
Suppose 0 = -5*h - 2*h. Suppose a = -l + 161, -3*a + h*a - 4*l = -488. Is 21 a factor of a?
False
Let l(d) = -d**2 + 48*d + 412. Is l(45) a multiple of 11?
False
Let n(c) = c**3 - c**2 + 4*c - 5. Let q be n(2). Suppose v = -0*v + q. Suppose -3*o + 29 + v = 0. Is 5 a factor of o?
False
Suppose 0 = -3*c - 40*z + 38*z + 2238, -2*z + 3726 = 5*c. Is 81 a factor of c?
False
Let l = 5012 + -2996. Does 28 divide l?
True
Let t be 100/(-80) - (27/(-12) - -2). Let z(a) = 4*a - 3*a - 10*a - 1. Is 3 a factor of z(t)?
False
Let w(n) be the second derivative of n**5/20 + 5*n**4/12 + 7*n**2/2 - 17*n. Does 3 divide w(-4)?
False
Is (-28088)/(-104) - (-1)/(-13) a multiple of 2?
True
Suppose n = -4*s + 65, 5 - 2 = -n. Let k = s + -8. Is 28 a factor of 1295/15 + (-3)/k?
False
Let y be ((-3)/(-4))/((-3)/(-24)). Suppose 278 + 282 = 14*h. Suppose 0 = y*p - p - h. Is 4 a factor of p?
True
Let u(i) = 204*i**2 + 89*i - 3. Does 35 divide u(-4)?
True
Let m = -1852 - -3090. Does 9 divide m?
False
Let u(k) = -k**2 + 2*k. Let l be u(3). Suppose -111*d + 186 = -114*d. Is d/l - (-10)/30 a multiple of 11?
False
Let y = -5 - -6. Does 10 divide y/((-72)/74 + 1)?
False
Suppose 0 = -13*l + 2363 - 803. Is 7 a factor of l?
False
Let m = 11 + -9. Suppose m*n - 150 = -10. Does 14 divide n?
True
Suppose -j - 4*j + 4*l = 21, 4*j = -5*l + 16. Let i(g) = -105*g - 7. Does 14 divide i(j)?
True
Is 20 a factor of (381/(-2))/(18/(-24))?
False
Is 18 a factor of (60/7)/((-16)/(-1680))?
True
Let j(t) = -11*t - 4. Let g be j(-2). Suppose 5*p + g = 2*d, -p - 4*p - 10 = 0. Suppose -d*q + 3*x + 44 = 0, 0*q - 5*q + 2*x + 48 = 0. Is 2 a factor of q?
True
Let w be (-3)/((-7)/(14/3)). Suppose -w*b + 243 - 75 = 0. Is 31 a factor of b?
False
Let t(c) = -7*c**3 - 14*c**2 + 35*c - 10. Let s(p) = 3*p**3 + 7*p**2 - 17*p + 5. Let m(q) = -9*s(q) - 4*t(q). Does 10 divide m(5)?
True
Suppose -5*s + 7*s - 120 = 0. Let j = 190 - s. Is j a multiple of 26?
True
Is 19 a factor of (226/(-8))/((25/5)/(-40))?
False
Let l be (6 + 1)*24/84. Suppose 97 + 65 = l*a. Is 21 a factor of a?
False
Let t(y) = y**3 + 6*y**2 - 4. Let a(u) = -u**3 - 6*u**2 + u + 3. Let s(g) = -5*a(g) - 4*t(g). Let i be s(-7). Let j = i - -16. Is j even?
False
Suppose 0 = -9*o + o + 56. Suppose -j + o*j - 6 = 0. Does 26 divide (-125)/(-4 - (j + -4))?
False
Let n = -4 - -6. Let c be -6 + 2 - (-2)/((-6)/(-15)). Is -1 + (11 + n)/c a multiple of 4?
True
Let d = 4 - 4. Let v = 16 + -14. Suppose d*q - 3*l - 83 = -4*q, -2*l + 52 = v*q. Does 23 divide q?
True
Let h(u) = u**2 - 4*u + 3. Let k be h(3). Suppose k = 5*f + 25, -f = g - 0*g + 8. Let w = g + 9. Is w a multiple of 2?
True
Let k(x) = -x**2 - 456. Let z be k(0). Suppose 546 = 4*l + 266. Is z/(-10) + (-42)/l a multiple of 15?
True
Let b(n) = -304*n - 236. Is 38 a factor of b(-4)?
False
Let a be 4/(-2 + 6/1). Suppose 9*o = 8*o - a. Is (-5572)/(-98) - o/7 a multiple of 8?
False
Suppose p = -f + 3*p + 201, 0 = 2*f - 3*p - 407. Suppose -s + 2*s = 2*m - f, 4*m + 3*s = 417. Does 15 divide m?
True
Let w(q) = -q**3 - 2*q**2 + 5*q + 2. Let o be w(-3). Let g = 0 - 6. Does 8 divide ((-32)/g)/(o/(-12))?
True
Let c = 641 + -183. Is c a multiple of 13?
False
Suppose 0 = -4*g + 2*i + 22, 5*i + 27 = 4*g - g. Let w(q) = q**3 + q**2 - 9*q - 2. Is w(g) a multiple of 21?
True
Let u(m) = 30*m - 66. Does 12 divide u(11)?
True
Let g(s) = 28*s**3 + s**2. Suppose -t - 2 = -v - 1, -v - 4*t + 1 = 0. Does 14 divide g(v)?
False
Let c(l) = 0*l**2 