37131 = -26*r - 13*r. Is r a multiple of 18?
False
Let h(k) = -k - 2. Let m be h(-5). Let o be 9*(m - (-8)/(-3)). Suppose o*q + 108 = 498. Is q a multiple of 26?
True
Suppose -5*g - 30 = -11*g. Let p(b) = 160*b + 160. Does 7 divide p(g)?
False
Let u(v) = v**3 + v**2 - v + 40. Let p be (-54)/126 + 52/7. Suppose -l = -p*l. Does 8 divide u(l)?
True
Let w(z) = z**2 + 4*z + 4. Suppose -2*k - 33 = -27. Let n be w(k). Is 19 a factor of -3 - 0 - (1 + -26 - n)?
False
Let n(o) = o - 1. Let t(p) = p - 21. Let k(v) = -6*n(v) + 2*t(v). Let i be k(-13). Suppose 0*m - 4*a + 536 = 5*m, 4*a = i. Is 26 a factor of m?
True
Suppose -141311 = -37*f + 56898. Is 9 a factor of f?
False
Suppose -4*w = -o - 120301 - 55095, 248*o = 243*o. Is w a multiple of 38?
False
Let r = 395 - 390. Suppose 75 = 3*j + 3*c, 41 = 4*j - 3*j + r*c. Does 21 divide j?
True
Let a = -6 + 13. Suppose -2 = a*h - 16. Let z(d) = 29*d**2 - 3*d + 6. Does 29 divide z(h)?
True
Let n = -17 + 27. Let a = -9 + n. Is (-11)/22 - (a - 75/2) a multiple of 6?
True
Let k = 15624 - 9585. Is 183 a factor of k?
True
Suppose 71*j = -399372 + 1206145. Is j a multiple of 8?
False
Let g = -411 - -245. Let j = 176 + g. Is j a multiple of 2?
True
Let z be 12 + -7 + 4 - 1*4. Suppose 4*f + z*f = -45. Is (-4)/(((-1)/f)/((-64)/20)) a multiple of 8?
True
Suppose 0 = 18*i - 975 - 15783. Suppose 0 = 4*n - 2*q - 1164, i = 5*n - 2*q - 523. Is n a multiple of 29?
True
Suppose -1302 = -5*l - b, 5*l - b + 6*b = 1290. Let y = 331 - l. Is y a multiple of 2?
True
Suppose -o - 31644 = -3*l, 15*o = -5*l + 11*o + 52740. Does 18 divide l?
True
Is 11 a factor of ((-17)/((-221)/31889))/((-1)/(-14))?
True
Let d = 1077 + -1071. Let k(p) = 2*p**3 - 8 - 3*p**3 - 9*p + 9*p**2 + 2. Does 8 divide k(d)?
True
Let o be -154*(-1)/(-1 + 6 - 3). Let t = o + -46. Is 3 a factor of t?
False
Let l be 354/295*50/4. Suppose 137 = l*u - 313. Is u a multiple of 7?
False
Suppose -49*z + 184 = -26*z. Suppose z*y = 145 + 87. Does 18 divide y?
False
Let k(b) = -4218*b + 4014. Does 27 divide k(-5)?
False
Let q(p) = -156*p + 1437. Is 2 a factor of q(7)?
False
Suppose 1974 = 6*g - 0*g. Let k(u) = u**3 - 16*u**2 + 14*u + 20. Let t be k(15). Suppose -54 + g = t*j. Is 22 a factor of j?
False
Let c(x) = -x**3 + 38*x**2 - 6*x - 63. Does 3 divide c(37)?
False
Let u(n) = -27*n**2 + 2*n - 7. Let t be u(3). Let x = t + 405. Does 7 divide x?
True
Let w(p) = p**2 - 11*p + 26. Let i be w(3). Suppose 5*n = -u + 318, -4*n - 2*u = i*u - 248. Does 8 divide n?
True
Is 87 a factor of 668402/34 + (-32)/68*25/(-100)?
False
Suppose -4*o + 3*h = 364, 364 = -0*o - 4*o - 3*h. Let z = 92 + o. Is 24 a factor of 200 + z + (-4)/2?
False
Suppose 49*z - 207666 - 5582 = 0. Is z a multiple of 4?
True
Let x(v) = 21*v**2 + 55*v - 609. Does 30 divide x(11)?
False
Suppose -110 = -2*b - 0. Let l(h) = -h**3 - 22*h**2 - 113*h - 15. Let z be l(-14). Let x = b + z. Is x a multiple of 8?
False
Let u(m) = 6*m**2 + 14*m - 96. Let o be u(8). Suppose o*z = 406*z - 936. Is z a multiple of 15?
False
Let r = 230 + -139. Let m = r - 6. Suppose -4*i = i - m. Is i a multiple of 6?
False
Is 23 a factor of (-150)/120 + (-265705)/(-20)?
False
Let t(i) = -3*i**2 + 2*i - 49. Let r be t(0). Let g = 119 + r. Is g a multiple of 10?
True
Suppose m - 8 + 4 = 0, -3*z + 4*m = 28. Is 22 a factor of 447/3 + z/(4/(-5))?
True
Let p(z) = z**2 - 7*z - 104. Let s = 78 + -97. Is 30 a factor of p(s)?
True
Let x be (2/4)/((-18)/36). Is 197/(x*(-4)/4) a multiple of 13?
False
Is 1449/(-1035) + (-339)/10*-326 a multiple of 65?
True
Suppose 560 = y + 6*b, -4*b + 342 + 818 = 2*y. Is 49 a factor of y?
False
Let w be 605 - 49/(-1 - 6). Suppose 2*u - w = 5*l - 13, -4*u - 3*l = -1263. Is u a multiple of 12?
True
Suppose 5*c + 20 = 9*c + 5*n, -2*c + 2*n + 28 = 0. Let x(s) = 2*s**3 - 17*s**2 + 2*s + 4. Is 6 a factor of x(c)?
True
Let z be 0 - (-1 + 4) - (19 + -20). Let c = -92 - z. Let m = -68 - c. Is 11 a factor of m?
True
Suppose 45 - 15 = 2*i. Suppose 0 = -0*y + 5*y + 5*q + i, 4*y - 28 = 4*q. Suppose 5*x + 14 = k, -4*k + 4*x = y*x - 74. Does 12 divide k?
False
Suppose 15*j + p = 18*j - 6937, -4*j + 9251 = -3*p. Is j a multiple of 95?
False
Let j be 14/(-8)*-50*(-12)/(-15). Let n be 8/(-28) - 5/(j/(-4)). Does 7 divide ((-4)/(-4) + 43 - n) + -2?
True
Let l(w) be the third derivative of 5*w**4/4 - w**3/2 - 3*w**2. Let y = 1075 + -1070. Is 38 a factor of l(y)?
False
Let a = -3980 - -9932. Does 186 divide a?
True
Is 13 a factor of (-6)/(-8) - 106977/104*-2?
False
Let n = 5190 + 17679. Is 15 a factor of n?
False
Let f(q) be the first derivative of q**4/4 + 9*q**3 + 43*q**2/2 - 25*q + 125. Is f(-23) a multiple of 58?
True
Suppose 11*f + 42134 = 112391. Does 48 divide f?
False
Let p(z) be the second derivative of 10/3*z**3 + 0 + 8*z + 6*z**2. Does 16 divide p(5)?
True
Let a be 0 - 148*(-2 + -6). Let q(t) = -2*t**3 + 64*t**2 - 62*t + 3. Let f be q(31). Suppose f*g = 11*g - a. Does 13 divide g?
False
Suppose -5*f + 6484 = -4*w, -6*w = 59*f - 63*f + 5190. Does 4 divide f?
True
Let o = -37444 + 57841. Does 12 divide o?
False
Let v be (-11810)/9 - (-60)/270. Does 35 divide ((v/(-6))/8)/((-2)/(-27))?
False
Let k(j) = -j**3 + 30*j**2 - 4*j - 69. Does 8 divide k(29)?
True
Let f(g) = g**3 + 39*g**2 - 3*g - 87. Let o be f(-39). Suppose 32*t - 480 = o*t. Does 8 divide t?
True
Suppose -3*h + 41 = 4*n - 4*h, -4 = -n - h. Suppose -n = 9*d - 27. Suppose 4*s - 394 = d*x, -3*s = -x - 0*x - 294. Is s a multiple of 25?
False
Suppose -24*i + 10 = -19*i. Let u be (-1)/3 + 3250/30. Suppose f - 2*f + 22 = -i*g, 4*f = -2*g + u. Is 10 a factor of f?
False
Suppose 14*b = 8*b - 12. Let c = 4 + b. Suppose c*l - 226 = 3*j, -l + 99 = 4*j - 2*j. Does 32 divide l?
False
Let t(o) = 20*o - 4. Suppose 5*i - c = 18, -4*i - 5*c - 6 = -8*i. Suppose 0 = -i*k + 2*a + 14, -3*a + 0*a = 2*k + 5. Does 12 divide t(k)?
True
Let y be 1/(3/5 + (-14)/40). Suppose y = 8*t - 12. Suppose t*i - 252 = u, 4*u = -2*i + 273 - 1. Is 16 a factor of i?
True
Let k = 100 + 16. Let w be (-1)/((-39)/(-12) + -3)*-59. Let h = w - k. Is h a multiple of 20?
True
Let u(h) = h + 24. Let j be u(-7). Let c be ((-2)/4)/(j/(-1938)). Let g = 73 - c. Does 4 divide g?
True
Does 19 divide (-6714)/(-1) + 13 + -32 + 12?
True
Suppose k + 68 = f, -3 - 5 = -4*k. Let r be (-220)/6 - (-4)/(-17 + 5). Let p = f - r. Is p a multiple of 40?
False
Suppose -23*i = z - 26*i - 218, 4*i + 679 = 3*z. Is 18 a factor of z?
False
Suppose 13 = 5*x + 28, 4*t - x - 15 = 0. Is 298 + 1/t*(-90)/(-15) a multiple of 50?
True
Suppose -3*c + 6 = 0, 30 = -3*p - 3*c - 108. Does 19 divide (-2490)/p + (-3)/(-24)?
False
Does 12 divide -15 + 7304/484 - (-129359)/11?
True
Let g(b) = -196*b + 37. Let j be g(3). Let z = j - -587. Is z a multiple of 9?
True
Suppose h - 24 = 66. Suppose 8*j = h + 86. Let b = 49 - j. Is 27 a factor of b?
True
Suppose 44*i - 479663 - 336194 = 74879. Does 16 divide i?
False
Let z be ((-9)/2)/(-1*15/(-100)). Let w be ((-14)/(-5))/((-1)/z). Let s = -48 + w. Is s a multiple of 9?
True
Let t = 43 + -7. Let s = 62 - t. Suppose -l - 10 = 3*i - s, -5*i = -2*l - 34. Does 3 divide i?
True
Suppose -35*i - 160*i + 4149600 = 0. Does 35 divide i?
True
Let f be (-2)/(-14) - (6/42 + 0). Suppose f = -2*z - 5*k, -9*k + 4*k = -2*z. Suppose 4*b + 0 - 380 = z. Is b a multiple of 19?
True
Let j(g) = 17*g**2 - 24*g - 125. Let t be -8 - ((-4)/(3 - 2) + 1). Does 21 divide j(t)?
True
Let t(a) = a**3 + 35*a**2 + 77*a + 54. Is t(-22) a multiple of 31?
False
Suppose 5*k + u = 73, 21 = 3*k - 2*k - 3*u. Let q(m) = m**2 - 1. Let f be q(0). Does 13 divide f + k/18 - 2774/(-12)?
False
Let w(s) = s**3 - 8*s**2 - 4*s - 10. Let t(b) = 3*b**3 - 16*b**2 - 8*b - 19. Let z(g) = -2*t(g) + 5*w(g). Suppose 13*o + 127 - 23 = 0. Is 5 a factor of z(o)?
True
Let v = 48 - 42. Let n(a) = 2*a + 2 + 22 - v*a + 3*a. Does 24 divide n(0)?
True
Is 53 a factor of 84*1 - (5 + -13)?
False
Suppose 185*o = 512822 + 357048. Is 100 a factor of o?
False
Let i(l) = l**3 + 7*l**2 - 21*l - 7. Let g(t) = -t**3 - 16*t**2 + 43*t + 13. Let y(a) = 2*g(a) + 5*i(a). Is y(6) a multiple of 16?
False
Suppose -5*h - a = 7200, -5*h = -3*h - 4*a + 2902. Let c = -968 - h. Is 19 a factor of c?
False
Let c = -28 + 37. Let m = 159 - c. Suppose -5*l + 252 = o, -3*l - o + m = -0*l. Does 17 divide l?
True
Let i(c) = -1