6*g = -5*h + 34539, 5*h - 2*g = 34574. Does 48 divide h?
True
Suppose -h - 2 = s, 3*h + 2*h = -4*s - 12. Let v be ((-17)/(-51))/(s/18). Suppose 4*t = v*t + 175. Does 20 divide t?
False
Let k = -750 - -1674. Let c = k + -614. Is (-5 - c/(-6))*6/5 a multiple of 14?
True
Let m(g) = -5*g + 8. Let w be m(-8). Let h = w + -48. Suppose -4*x - x + 45 = h. Is 9 a factor of x?
True
Suppose -2*z - 32*z + 170 = 0. Suppose -6*h + 260 = 5*u - h, -z*u - 2*h + 272 = 0. Is 8 a factor of u?
True
Suppose 0*p = 5*p - 25. Let q(j) = 15*j + 4. Let n be q(p). Suppose 3*i + d = 209, -5*i + 434 = 3*d + n. Does 16 divide i?
False
Let n be -808 + ((-23)/4 - (-5)/(-20)). Let j = 1034 + n. Is j a multiple of 11?
True
Let g(k) be the first derivative of -k**7/840 + k**6/45 - k**5/30 - k**4/8 + 6*k**3 - 15. Let f(i) be the third derivative of g(i). Is f(7) a multiple of 9?
True
Let q(z) = -343*z**2 + 7*z - 7. Let n be q(1). Let d = n - -355. Is 6 a factor of d?
True
Let q(c) be the third derivative of c**5/12 + 5*c**4/12 + c**3/6 - c**2 - 11. Is q(-11) a multiple of 50?
False
Suppose 0 = -11*o + 9*o + 4*m + 14860, -o + m + 7425 = 0. Is 10 a factor of o?
True
Let n be (-8 - 8/2)*(-2)/6. Let z be 337/n + (-1)/4. Suppose 0 = -2*p - 56 + z. Does 14 divide p?
True
Suppose 5*j - 102*v - 18421 = -99*v, 0 = 5*j - v - 18437. Is 7 a factor of j?
True
Let a = 68857 - 30905. Does 64 divide a?
True
Suppose 11*u - 12*u + 50 = 0. Suppose 5*n + 22 = -i - u, 2*n = -5*i - 15. Let l(f) = -9*f - 6. Does 6 divide l(n)?
False
Let s be ((-2)/2 + 819)*(-6)/4. Let m = s + 1860. Does 10 divide m?
False
Let f = -27551 - -80771. Is f a multiple of 10?
True
Let i(g) = g**3 - g**2 + 3*g - 7. Let u = 0 + 30. Suppose -3*m - 5*b + u = -0*m, 0 = 2*m - 2*b - 4. Is i(m) a multiple of 54?
True
Let o(m) = 5*m - 38 + 9 + 6 - 10 + 4. Let g(q) = q**3 + q**2 + q - 1. Let j be g(2). Is o(j) a multiple of 12?
True
Suppose 13*g + 10*g - 79768 = -3*g. Is g a multiple of 26?
True
Let x(m) = -133*m + 1885. Is 7 a factor of x(13)?
False
Let i be (-61)/(-9) - (-84)/378. Is (-45)/((i/(-1))/126) a multiple of 6?
True
Let r be 0/(-2 - (0 + 1)) + -14. Does 35 divide r/4*(-137 + (7 - 4))?
False
Suppose -p - p = 2*c + 360, 900 = -5*c + p. Let z = 228 + c. Is z a multiple of 8?
True
Suppose -2*m - 2*u = -74, 2*u - 7*u + 5 = 0. Suppose g - 10*g + m = 0. Is g a multiple of 3?
False
Let k(n) = 3*n**3 + 6*n**2 + 59*n - 414. Is k(6) a multiple of 12?
True
Suppose -216*k + 212*k - 79170 = -g, g - k = 79170. Does 78 divide g?
True
Suppose -4*b = -2*a - 192, -2*a + 50 = b + 267. Let w = -50 - a. Suppose 10*j = w + 44. Is 2 a factor of j?
True
Let v(p) = -p + 17. Let t be v(0). Suppose t*z - 16*z - 23 = 0. Suppose -z + 110 = i. Is 29 a factor of i?
True
Suppose 0 + 4 = 2*z - b, 0 = -2*z - 2*b - 8. Let r(x) = -x**3 - x**2 + 3. Let h be r(z). Suppose 3*q = -p + 99, -3*p + h*q - 360 = -7*p. Is p a multiple of 34?
False
Suppose r - 4*m - 37054 = 0, -414*m - 74102 = -2*r - 412*m. Is 10 a factor of r?
True
Let t(m) = 10432*m + 7263. Does 16 divide t(3)?
False
Let y(s) be the second derivative of -s**5/20 - s**4/4 + s**3/3 + 2*s**2 + s. Let r be y(-3). Does 2 divide (-6)/r + (-1 - -3)?
False
Suppose -58*t + 115*t = 60*t - 84312. Does 102 divide t?
False
Suppose 220*s - 218*s - 26429 = 3*h, -2*s + 26464 = 2*h. Is 25 a factor of s?
True
Let r(d) = 7*d + 7*d**2 - 7*d - 8 + 21*d - d**3. Let q be r(9). Suppose 0 = -y + 5*v + 104 - q, -4*y + 4*v = -308. Is y a multiple of 25?
True
Let k = -97 - -209. Let s = -574 + 579. Suppose s*q + k = 9*q. Does 20 divide q?
False
Let s(a) = -170*a**3 + 2*a**2 - 10*a - 39. Is s(-4) a multiple of 4?
False
Let x = -2012 - -3866. Is x a multiple of 91?
False
Suppose 0 = 673*i - 680*i + 1526. Does 5 divide i?
False
Suppose 5*v - 3*m = 1904, 3*m - 8*m = -5*v + 1900. Suppose v = 14*z - 1508. Does 8 divide z?
False
Let w = 108 - 298. Let a = 85 - w. Is a a multiple of 12?
False
Let b(d) = 32*d - d**3 - 3*d**2 - 3 - 8*d**2 - 27*d. Let g(r) = -5*r**3 - 45*r**2 + 20*r - 11. Let q(s) = -9*b(s) + 2*g(s). Is 22 a factor of q(6)?
False
Let f = 30535 - 24242. Is 26 a factor of f?
False
Suppose 3*j + j = -3*h + 136, 4*j = 2*h - 64. Let m = h - 42. Is (-17 + -11)*m/6*6 a multiple of 4?
True
Suppose 14*r = 18*r - 208. Suppose -r*x = -47*x - 1100. Is 11 a factor of x?
True
Let k be 15 - (13 + -18 - -1*2). Is (1*3)/(k/90) a multiple of 4?
False
Suppose 5*g - 25825 = 5*m, -3*g + g + 3*m + 10335 = 0. Does 29 divide g?
False
Suppose d - 825 = 4*x, 2*d - 5*x - 1674 = -3*x. Suppose -165 = 2*g - 2*n - 727, 3*g - 2*n = d. Let o = -153 + g. Is 14 a factor of o?
True
Let g(c) = 31*c + 169. Is g(11) a multiple of 13?
False
Suppose -4*b + 4*b = 39*b - 13611. Is b a multiple of 9?
False
Let d = 13218 + -5388. Is 261 a factor of d?
True
Let w(g) = -3*g**2 - 6*g. Let d be w(-4). Let v be (-6)/(d/20) + 1/(-1). Suppose -3*y + 5 = 2*s, -v*y = 3*s - s. Is 7 a factor of s?
False
Let o = -21125 - -35244. Is o a multiple of 52?
False
Let j(h) = -10*h**3 - 4*h**2 - 4*h - 7. Suppose 5*a + 22 = -5*g + 4*a, a + 6 = -g. Let i be j(g). Suppose -f - i = -6*f. Is 9 a factor of f?
True
Let o(s) = 15*s + 91. Let d be o(-6). Is d/(-4) - (8519/(-28) - -1) a multiple of 9?
False
Suppose -3*y - j + 1329 = 2*j, 2*y - 4*j = 892. Suppose 0 = -3*o - 2*m + 757, 2*m = 3*o + 468 - 1229. Let b = y - o. Does 31 divide b?
False
Is 0 + 11/((-176)/40)*-4808 a multiple of 39?
False
Suppose 2*o + 171794 = 18*o + 33*o. Does 24 divide o?
False
Suppose -6801 - 1724 = -39*p + 8*p. Does 26 divide p?
False
Suppose 2*o - 30352 - 9988 = -3*b, 4*o - 26872 = -2*b. Is b a multiple of 38?
True
Let i be (4/6)/(14/399). Suppose 5*c - 1 = i. Suppose -2*x + c*u = -40, 4*x - 8*x + 3*u + 85 = 0. Is 22 a factor of x?
True
Let h be 48/(-56) + 3/(-21). Let f be ((-609)/63)/(h/(-9)*1). Let k = 114 + f. Does 26 divide k?
False
Let d be (4 + 0)/4*75. Suppose 0 = 3*k - 5*f - 476, 4*k - 701 = -2*f - d. Let z = -61 + k. Does 19 divide z?
False
Suppose 124 = 21*x + 10*x. Suppose -x*l - 12 = -144. Does 4 divide l?
False
Let n(v) = 1247*v**2 - 318*v + 973. Does 146 divide n(3)?
True
Suppose -y = -17*y - 15*y + 10*y. Suppose 5*f = -5*h + 35, 2*h - 1 - 5 = 2*f. Suppose y = -12*k + f*k + 2340. Does 13 divide k?
True
Let q(f) = 174*f - 186. Is q(6) a multiple of 129?
False
Let s(u) = u**3 - 7*u**2 + 6. Let j be s(7). Let o = j - 4. Suppose 2*z - 178 = o*v + v, 0 = -5*z - 4*v + 468. Is 52 a factor of z?
False
Let z = 919 - 955. Let l be -3*14 + -2 + 0. Let q = z - l. Does 2 divide q?
True
Let d be 4 + (0 + 30)/(-5) - 2. Let x(n) = 5*n**2 + 9*n - 2. Does 3 divide x(d)?
True
Suppose 456 = -s + 2612 + 1962. Does 7 divide s?
False
Suppose 6*t + 41 + 1015 = 0. Let i = 427 + t. Is 27 a factor of i?
False
Let w = -624 - -1864. Let l = w - 883. Is 19 a factor of l?
False
Let j be 216*(154/21 - 4). Suppose 0 = -12*f + 2*f + j. Is f a multiple of 12?
True
Suppose -5*k - 11*t + 12*t - 254430 = 0, 4*t = -k - 50886. Is 53 a factor of k/(-48) - ((-30)/16 + 2)?
True
Is 175 a factor of ((47 - 41) + -8 + 0)/((-2)/34539)?
False
Let c be (-4 - (2/(-2) - 7))/2. Suppose -165 = -d - c*d. Is 11 a factor of d?
True
Suppose -3*x = f - 12425, -5*x + 20734 = -12*f + 10*f. Does 11 divide x?
False
Does 9 divide 8*470478/180 - (-16)/(-120)?
False
Let t(i) = 95*i**2 + 15*i. Let p = 186 - 189. Does 9 divide t(p)?
True
Let h = -16390 + 25674. Suppose 0 = 18*o + h - 23054. Is o a multiple of 15?
True
Is 28 a factor of (-9380)/(-6)*(136/130 - (-4)/26)?
True
Suppose 2*u - 12 = 6*u, 3*u = -2*t + 44713. Suppose 2913 = -44*a + t. Is 13 a factor of a?
True
Does 25 divide (-143868)/285*(-4 + 485/(-10))?
False
Let n(u) = u**3 - 36*u**2 + 219*u + 15. Is n(37) a multiple of 9?
False
Suppose -5*m - 6*m = -3751. Suppose -2*l + 250 = -3*p, l - 4*l - 4*p = -m. Does 8 divide l?
False
Let n(m) = 407*m - 130. Does 48 divide n(14)?
True
Let o(b) = -b**3 - 41*b**2 - 53*b - 140. Suppose 46*h = 5*u + 44*h + 206, -185 = 5*u + 5*h. Is 4 a factor of o(u)?
True
Let l be (-1 + (-58)/(-10))/(2/10). Suppose -5*i - 7*i - l = 0. Is 45 a factor of ((-3)/i)/((-3)/(-248))?
False
Suppose -167*p - 24501 = -797544. Is p a multiple of 22?
False
Let x = -8592 - -16087. Does 97 divide x?
False
Suppose 4*s + 2*p = -s - 1141, 2*p = -2*s - 460. Let o = -3 - s. Is o a multiple of 34?
Fals