actor of g?
False
Let y be 5 + (-115 - (-5 - 0)). Let a = y - -197. Does 9 divide a?
False
Let b = 71481 - 49134. Does 134 divide b?
False
Let u(k) = -2*k**2 - 26*k + 26. Let r be u(-19). Is 6/((-2)/r*2) a multiple of 12?
False
Suppose 38*u + 6450 = 68162. Does 14 divide u?
True
Suppose -11*t + 29 = -26. Suppose 4*v + t*d - 1229 = -114, 1396 = 5*v + 4*d. Does 28 divide v?
True
Suppose -25*z = -28*z - 4*a + 16, 2 = 2*a. Suppose 4*c - 1799 = b, -z*c + 2*b = -1680 - 122. Does 15 divide c?
False
Let u be (-10)/(-15)*(-5 - -56). Is ((-51)/u)/((2/(-2))/500) a multiple of 30?
True
Let x(z) = 39*z**2 - 76*z + 326. Is x(27) a multiple of 49?
True
Let u(c) be the second derivative of -c**4/12 - 17*c**3/3 + 2*c**2 + 28*c. Let m be u(-29). Suppose 0 = -6*k + 1769 - m. Is k a multiple of 30?
True
Suppose 13*o = 5*o - 3064. Let v = o - -617. Is v a multiple of 12?
False
Let r = 61 + -57. Suppose 6*a - 24 = r*a - 5*i, -3*i + 60 = 5*a. Is 11 a factor of (-198)/a*(-8)/6?
True
Let t = 381 + -766. Let l = t + 844. Does 27 divide l?
True
Let q = -837 - -1847. Let d = 1802 - q. Is 24 a factor of d?
True
Does 114 divide 2*-10*(-16416)/72?
True
Suppose 2*l - 29326 = -2*o, 183*l - o = 179*l + 58637. Is 97 a factor of l?
False
Suppose -5*z + 190 + 230 = -3*p, 268 = 3*z - 5*p. Let c = -2357 - -2306. Let m = z - c. Is 36 a factor of m?
False
Let b(k) = -177*k - 19. Suppose -4*m + 2*y = 14 + 2, -24 = 2*m + 3*y. Is 46 a factor of b(m)?
False
Let j be (-3 - 933/(-3))/(4 + -3). Let a be (1 + 5)/((-33)/j). Let t = a + 62. Does 3 divide t?
True
Let p(r) = -r**2 - 9*r + 40. Let t be p(16). Is (t/(-63))/((-1)/(-14)) a multiple of 20?
True
Suppose -5*x - 4 = 2*g, -2*g - 2 = -g + 3*x. Is 13 a factor of g + (5 - -2) - -301?
False
Let l(z) = -1049*z + 1883. Is 17 a factor of l(-6)?
True
Is 10 a factor of 4/(-6) + 0 + 39/(2106/363456)?
True
Suppose 4*d - 4*h = 0, -3*d + h - 15 = -25. Suppose -2524 = -5*p + 2*q, -4*p = -5*p - d*q + 494. Does 12 divide p?
True
Suppose 5*x = -3*i + 65748, -250*i = 4*x - 252*i - 52594. Is 9 a factor of x?
True
Suppose 11*k + 433 = 1918. Suppose 92*g - k = 91*g. Does 9 divide g?
True
Let s(w) = -w**2 - 15*w + 13. Let j be s(-15). Suppose j*i = 12*i + 219. Suppose -3*p = -99 - i. Is p a multiple of 8?
False
Let g be 130/(-4) + (-5)/2 + 3. Let j = g - -19. Let a = 0 - j. Is a a multiple of 13?
True
Let q = 30 - -125. Suppose 7*c = 8*c - q. Does 12 divide c?
False
Let f = 681 + -824. Is 0*(-2 - (-7)/3) - f a multiple of 13?
True
Suppose 2*o = 5*f + 188, 5*o - 4*f = 423 + 81. Is 9 a factor of o?
False
Let r = 117 - 117. Suppose t - l - 33 - 34 = r, -t + 2*l + 65 = 0. Does 2 divide t?
False
Let p = -1094 - -18419. Is p a multiple of 13?
False
Suppose 8*j - 74399 + 16341 = -3*j. Is 116 a factor of j?
False
Is ((8897317/(-44))/13)/(85/(-20) + 4) a multiple of 277?
False
Suppose 55024 = 3*f + 2*q, 2*f = -9*q + 8*q + 36683. Is f a multiple of 18?
True
Suppose 4*r + 17 - 81 = 0. Suppose -2*u + 108 = 4*l, -r = -l - u + 6*u. Is l a multiple of 6?
False
Is 6 a factor of 14 + 563616/112 - (-4)/(-14)?
True
Let g = -797 + 1587. Let r = g - 430. Is 36 a factor of r?
True
Suppose -26*p - 12683 = -15*p. Let k = p + 1981. Is 69 a factor of k?
True
Let y(n) = 7*n + 7. Let o(k) = k**2 + 12*k + 7. Suppose -3*t = 4*h - 5*t + 48, 0 = 4*h + 5*t + 48. Let f be o(h). Is y(f) a multiple of 18?
False
Suppose -z + 5402 = -4*u, 5*z - 350*u + 354*u = 26938. Is 16 a factor of z?
False
Let r(k) = -5*k**3 - 2*k**2 - k. Let t be r(-1). Suppose 0 = -11*l + 112 - 90. Suppose t*a - 2*g = 884, 113 = l*a + 3*g - 329. Is 13 a factor of a?
True
Let m(v) = -12391*v + 2458. Is 13 a factor of m(-2)?
False
Suppose 5*u - 14008 = 2*k, 4*u + k - 6959 = 4250. Does 6 divide u?
True
Let l(w) = w + 10. Let u be l(-7). Suppose 2*h = 4*h + u*j - 1540, 2*j = 2*h - 1540. Suppose 66*f - h = 61*f. Is f a multiple of 13?
False
Let p(c) = -c**2 + 16*c - 21. Suppose -5*j + 32 = 3*w, -3*w + j - 40 = -6*w. Let s be p(w). Suppose 8*k - 131 = s*k. Is k a multiple of 10?
False
Let v(a) = -a**3 + 9*a**2 - 9*a - 4. Let c(w) = -2*w**3 + 18*w**2 - 19*w - 7. Let s(o) = -2*c(o) + 5*v(o). Suppose 3*k - k - 8 = 0. Is 4 a factor of s(k)?
False
Let u = -223 + 225. Suppose -4*d - 24*i + 1386 = -26*i, -2*d + u*i = -696. Is d a multiple of 15?
True
Let j(t) = -t + 918. Is 6 a factor of j(-7)?
False
Let a = -24382 - -36328. Is a a multiple of 132?
False
Let d(k) = -k**2 - 8*k + 27. Let b be d(-10). Suppose -1410 = -b*x - 3*x. Let c = x - 95. Is c a multiple of 7?
False
Let w = -28902 - -38952. Is 75 a factor of w?
True
Let x(u) = 5*u - 70. Let o be x(-5). Let n = -55 - o. Is 10 a factor of n?
True
Let g = 9411 - 13251. Is (-1 - 1)/(24/g) a multiple of 10?
True
Let s(a) = -68*a - 1. Let d be s(-1). Suppose -w = r - d, 0 = -2*w + 1 + 1. Let i = r - 38. Is 14 a factor of i?
True
Is 36 a factor of (2/4*4)/(5 - 339729/67951)?
False
Suppose 5*t + 102 = 4*z, 60 = -2*t - 3*z + 10. Is (11/(t/(-8)))/((-2)/(-26)) a multiple of 2?
True
Suppose -14 = v - 6. Let f = 8 + v. Suppose -4*m + 11 + 9 = f. Does 5 divide m?
True
Suppose 5*q - 4*x - 139076 - 162461 = 0, q - 60333 = 4*x. Does 16 divide q?
False
Suppose 3*v + 5*a - 35 = 0, -5*v - 3*a + 69 = -0*a. Suppose 7*z + v*z = 1408. Is z a multiple of 3?
False
Does 33 divide ((-80)/(-320))/(2/51864)?
False
Suppose 10*z = 12*z + 368. Does 5 divide (z/(-16) + -11)/((-1)/(-640))?
True
Let m = -33526 + 76206. Is m a multiple of 40?
True
Suppose -232 - 599 = -2*q + h, -4*h = q - 420. Let v = q + -38. Does 50 divide v?
False
Suppose -8*y = -31 + 7. Suppose 7*c + 277 = q + 2*c, -4*c + 831 = y*q. Is 7 a factor of q?
False
Let y(z) = 296*z**2 + 9*z + 2. Let j(w) = -99*w**2 - 3*w - 1. Let r(l) = 17*j(l) + 6*y(l). Is r(1) a multiple of 13?
True
Let o = 177 - 172. Is (-182)/o*(-15)/6 a multiple of 20?
False
Let b = 3795 + -1803. Does 9 divide b?
False
Suppose -16016 = -5*s - s + 2*s. Is 14 a factor of s?
True
Suppose -4*c = 10 - 34. Let n = 34 + -21. Suppose n + 107 = c*q. Is q a multiple of 10?
True
Let d = 27370 + -14236. Does 66 divide d?
True
Is 27 a factor of (-13 - -46487) + 1 - -19?
True
Let t be (-6)/4*((-258)/18 + 9). Suppose 13*h = -t*h + 1638. Is h a multiple of 61?
False
Let z = 21 + 2199. Does 20 divide z?
True
Suppose -415986 - 16782 = -56*f. Is f a multiple of 23?
True
Let a(f) = 330*f - 230. Let g be a(7). Suppose 0 = -4*q + 24*q - g. Does 11 divide q?
False
Suppose b + 3 = 5. Let d = -2 + b. Suppose d = -5*r + 10 + 50. Is 12 a factor of r?
True
Is (87/29)/(6/18130) a multiple of 210?
False
Let y(r) = 127*r**3 - 2*r**2 + r. Let s be y(1). Suppose 5*j - 64 = s. Suppose 5*t - 22 - j = 0. Does 6 divide t?
True
Suppose -8*c + 161 = -935. Suppose 145 - c = 4*b. Suppose -b*q = -5*t - 753, -8*t + 7*t = -3*q + 1097. Is 52 a factor of q?
True
Let t = -97 - -118. Let p = t + -21. Suppose -9 - 7 = 4*h, -5*k - 5*h + 640 = p. Does 12 divide k?
True
Suppose 8*j - 7*j = -66. Let d be j/(-24) + 2/8. Does 17 divide (-2)/10 + d/((-75)/(-2305))?
False
Suppose 13*o + 44804 = 15*o - 4*c, 0 = -o + 3*c + 22400. Is o a multiple of 34?
True
Let v(z) be the third derivative of -z**4/6 + 19*z**3/3 - 6*z**2 + 10. Is v(-9) a multiple of 29?
False
Let h(v) = 471*v + 18. Let m be h(-6). Is 3 a factor of (m/60)/(6/(-15))?
True
Suppose 0 = 1068*w - 1049*w - 75715. Is 22 a factor of w?
False
Suppose 0 = -918*f + 915*f + 6819. Does 86 divide f?
False
Let n(c) be the third derivative of -3/10*c**5 + 0*c + 1/8*c**4 + 1/120*c**6 - 7/2*c**3 + 0 - 16*c**2. Does 11 divide n(18)?
True
Let d be 1*(38 + (-1 - 0)). Suppose -44*p = 44*p - 84*p + 28. Let y = d - p. Is 9 a factor of y?
False
Suppose 37*u - 96*u + 299832 = -20*u. Does 21 divide u?
False
Let f(s) = 47*s**2 + 6*s + 8. Let t(k) = 48*k**2 + 6*k + 8. Let x(d) = -3*f(d) + 4*t(d). Does 14 divide x(-3)?
False
Suppose 0 = 4*s - 4, 3*x + 4*s - 7833 = 21760. Does 57 divide x?
False
Let i(g) = 29*g - 154. Let j be i(5). Does 8 divide (-10)/((-490)/50547) - j/21?
True
Let j = 9 - 6. Is -486*(10/j)/(-10) a multiple of 27?
True
Let f(d) = -5*d**3 - 7*d**2 + 5*d + 1. Let m be f(-2). Let k(c) = 49*c + 105. Is k(m) a multiple of 38?
False
Let d(b) = -110*b**3 - 21*b**2 + 13*b + 14. Is d(-8) a multiple of 15?
False
Let f(x) = 142*x**2 - 16. Let n be f(-4). Suppose 0 = 3*d + 3*t - n, 4*t - 20 = -