 - 605 = f. Is q a multiple of 7?
True
Let h = 141 + -111. Suppose 0 = 20*c - h*c + 9450. Is 23 a factor of c?
False
Suppose -838 = -4*u + 2. Is 4 a factor of u/(7 - 1) + 5?
True
Let l be 1 + 5 + -1 + -2. Suppose -3*g + 8 = -g + 4*d, -5*d - 56 = -l*g. Suppose g*f - 19*f = -1239. Is 14 a factor of f?
False
Suppose -66674 + 583089 = 60*s - 30905. Is s a multiple of 7?
False
Let f(m) = 7*m**2 - 3*m + 8. Let c be ((7 - 0) + -8)/((-1)/3). Is f(c) a multiple of 12?
False
Let z(q) = q**3 - 6*q**2 + 9*q - 5. Let m = -26 + 32. Suppose 4*h - 26 = -m. Is z(h) even?
False
Does 100 divide 20/450*15*2685?
False
Suppose -494*c + 502*c - 26752 = 0. Is c a multiple of 19?
True
Let k = -87 - -105. Suppose a - 3*a - 5*r = -3, 0 = -2*a + 2*r - k. Let u = a + 38. Is 5 a factor of u?
False
Suppose -5*j = -m - 23, -3 = 5*m - 3*j + 2. Does 32 divide (-49 - -1)*m/(-6)*10?
True
Let m(g) = -11 - 37 + 451*g + 102 + 11 + 41. Is 36 a factor of m(2)?
True
Let d(g) = 3*g**3 + g**2 + 15*g - 30. Let j be d(2). Is 5 a factor of ((-56)/j)/((-4)/130)?
True
Let a = -136 + 108. Is -3*((-1212)/11 - a/154) a multiple of 8?
False
Let m(s) = 2*s**3 + 12*s**2 + 6*s - 5. Let c(g) be the third derivative of g**5/60 - 7*g**4/24 - 5*g**3/6 + 13*g**2. Let x be c(7). Does 5 divide m(x)?
True
Let q = -172 + 174. Suppose 4*h + 29 = 9, 87 = q*o - h. Does 9 divide o?
False
Let l = 33705 + -28364. Is l a multiple of 92?
False
Suppose -970 = -3*k - v + 73, -k + 339 = -4*v. Let b = -215 + k. Suppose -4*f + 484 = b. Is 8 a factor of f?
True
Let w = -754 + 1294. Suppose 0 = -52*n + 49*n + w. Is n a multiple of 25?
False
Does 5 divide 435693/33 + ((-6560)/220 - -30)?
False
Suppose 102*n = 107*n - 34225. Is n a multiple of 7?
False
Let j(i) = -36*i**3 + 28*i + 26. Is 8 a factor of j(-3)?
False
Is 82 a factor of (6 - (35834/(-17) - 6)) + 6/51?
False
Suppose -4*m + 16*m - 444 = 0. Suppose -2*z = -229 - m. Is 5 a factor of z?
False
Let o(q) = -78*q + 1663. Does 146 divide o(-83)?
False
Let b(v) = -v - 20. Let j be b(-10). Let p be (-44)/j + ((-54)/(-30))/3. Suppose 0*l - 4*l + p*z = -180, 4*l - 4*z - 184 = 0. Is l a multiple of 25?
True
Suppose 426 = 2*z - 5*o, -2*z - 2*o + 415 = 3. Suppose -6*c - z = 2312. Does 6 divide ((-4)/10)/(4/c) + 3?
False
Let y = 8 + -17. Let t be 7/(-2)*234/y. Let a = t + -11. Does 8 divide a?
True
Let u(r) = 6527*r**3 + 17*r**2 + r + 1. Does 47 divide u(1)?
False
Suppose -3618*y + 2304 = -3615*y. Is y a multiple of 15?
False
Let q = 6536 - 4112. Does 24 divide q?
True
Suppose -4*w + 10*w = 3024. Is w a multiple of 8?
True
Let a(i) = i**2 - 49*i - 2571. Is a(93) a multiple of 3?
True
Let g(y) = 6*y**3 + y**2 - 5*y + 3. Let p be g(1). Is 11 a factor of 348/(30/p) - -6?
False
Suppose 0 = -3*d - 3*r + 63 + 39, 81 = 3*d - 4*r. Let s(q) = 32 + 7*q + d - 61. Is s(3) a multiple of 23?
True
Let z = -815 + 818. Suppose 3*b - 3489 = -5*m, 2079 = m + 2*m - z*b. Is 12 a factor of m?
True
Let y(a) = -a**3 - 11*a**2 + 22*a + 8. Let h be y(-13). Suppose 69*s - 729 = h*s. Does 27 divide s?
True
Let t(f) = -f**3 - 6*f**2 - 7*f - 6. Suppose 2*r - 11 = -2*l - l, 3*r + 9 = 4*l. Suppose 4*c + 6 = -l*g, 4*g + 22*c = 18*c - 12. Does 6 divide t(g)?
True
Let r be 0/(-2 + -3) - (0 - 4). Let f(h) = 218*h - 209. Does 20 divide f(r)?
False
Suppose 3*i + 219*z - 222*z = 176580, -4*z + 353200 = 6*i. Is i a multiple of 14?
False
Let r = -20 + 18. Let c(o) = -64*o - 23. Does 13 divide c(r)?
False
Let f be (-2)/(-6) + ((-26)/6 - 4). Is 20 a factor of (2 + 234/(-12))*f?
True
Is 60 a factor of (-8)/(-18) - (19684874/(-171))/22?
False
Let u(p) = -p**2 + 8*p + 8. Let k be u(7). Suppose 6*g = 3*g + k. Suppose 0 = 2*w, 3*o + o + g*w - 120 = 0. Does 5 divide o?
True
Let k(p) = 148*p**2 + 312*p - 8. Is 224 a factor of k(-8)?
False
Let c = -283 - 1729. Let j = c - -3212. Does 75 divide j?
True
Suppose 32*w = 30*w + 2*g + 15934, w - 5*g = 7963. Is 32 a factor of w?
True
Let m(l) = 3*l**2 + l + 1. Let p be m(6). Suppose 5*v = -3*k + 111, -p = -5*v - 0*v - 5*k. Does 13 divide ((-52)/(-3))/(14/v)?
True
Suppose 194991 + 250985 = 69*a + 69788. Is 47 a factor of a?
True
Suppose -q = 57 - 18. Let t = q + 44. Suppose 4*z - 1128 = -t*f + f, 4*z = -2*f + 560. Is 41 a factor of f?
False
Suppose 4*z + z = 3495. Let d = 1293 - z. Suppose 4*p - 5*j = 694 + 105, -3*p + 2*j + d = 0. Is p a multiple of 38?
False
Suppose -44131 + 157153 = 26*f. Does 63 divide f?
True
Suppose -4*a + j = -9*a + 26, 20 = 4*a + j. Let i be (1 + 0 - -32)/(a/4). Let h = i + -5. Is 3 a factor of h?
False
Let i be (-1)/(-4) + 2585/44. Let d = -108 - i. Does 24 divide 0/11 - (d - 1/1)?
True
Let s be (-3)/(2 - (-15)/(-6)). Suppose 0*x + 4*x = 12. Suppose -x*u + 90 = s. Does 4 divide u?
True
Suppose 4*f + 2*j - 498 = 6*f, f - 3*j = -249. Let z = -236 - f. Is z a multiple of 13?
True
Suppose o = -0*o - 35. Let j be (-7)/o + (-239)/(-5). Suppose 7*f - j = 6*f. Is 7 a factor of f?
False
Let m(b) = b**3 + 6*b**2 + 4*b - 4. Let y be m(-7). Let u = 96 + -99. Is 14 a factor of (0 - y/(-2))*4/u?
False
Suppose 19 + 17 = 9*x. Suppose 5*r = 3*a - 205 - 447, -x*r = -16. Is 56 a factor of a?
True
Let b(o) = 2*o - 2. Let s be b(3). Let i be s/6 - (-4)/(-6) - -78. Suppose -x + 130 = 5*k - 5*x, -3*k + i = 2*x. Is 26 a factor of k?
True
Suppose -18*l = -38*l + 170460. Is l a multiple of 17?
False
Let z(c) = 44*c + 161. Let b(u) = -22*u - 81. Let x(k) = 9*b(k) + 4*z(k). Is x(-21) a multiple of 17?
False
Let t be (-7)/(-7)*(-2 - 5). Does 20 divide (t + 603/(-18))*34/(-3)?
False
Suppose 9 = -b + 38. Suppose -5 = 6*h - b. Let i(p) = 9*p - 3. Is i(h) a multiple of 3?
True
Let p(k) = 28*k**2 + 132*k - 3264. Is p(33) a multiple of 112?
True
Let c = 5961 - -11229. Is 9 a factor of c?
True
Is (19 + 2)*(17 + (-2581)/(-7)) a multiple of 45?
True
Let n = -262 + 265. Does 20 divide ((-198)/(-15))/(n/250)?
True
Let k(f) = 142*f - 6027. Does 27 divide k(78)?
True
Let x(n) = 3*n**3 - 12*n**2 - n - 2. Let u be x(4). Is 5 a factor of (-363)/(-9) + 2/u?
True
Suppose 377*b = -4*n + 372*b + 19172, 0 = -5*b + 20. Is n a multiple of 63?
True
Let z = -264 + 4665. Is z a multiple of 27?
True
Let q = 219 + -220. Does 19 divide (-60)/45 + (460/3 - q)?
False
Suppose 32400 = 2*r + d, 1131*r - 2*d = 1136*r - 81000. Is r a multiple of 180?
True
Suppose 26*i = 8*i + 5832. Suppose 0 = -5*v + 2*a + i, -3*a + 144 = 2*v + a. Is 33 a factor of v?
True
Suppose 49*k = 53*k + 124. Let t = -30 - k. Does 28 divide (t + 194/4)/(1/2)?
False
Let b(g) = -13*g - 363. Is 4 a factor of b(-34)?
False
Let p(k) = 68*k**3 - k**2 + 9*k - 10. Let q be p(2). Let a = q + -40. Let v = a + -269. Does 17 divide v?
False
Let k(r) = 5 + 3 + 14 - 8*r. Is 2 a factor of k(0)?
True
Let b be 70/5*(3 - -1). Suppose 114 = 2*f - b. Suppose 0 = z + 4*y + y - f, 2*z + 3*y - 198 = 0. Is z a multiple of 21?
True
Let v be 20241/(-52) - 6/8. Let u = -100 - v. Is 29 a factor of u?
True
Suppose 0 = 22*y - 50202 - 62130. Does 78 divide y?
False
Suppose -4*l - 4*q = 0, 29 = 5*l - q - 1. Suppose 1434 + 2396 = l*j. Is j a multiple of 13?
False
Suppose 10 = -2*y, -11*c - 5*y = -16*c + 765. Let d = 328 - c. Is d a multiple of 20?
True
Let u be 1/4 + 336/192. Suppose -u*z = 3*b - 194, -3*b = -3*z - 2*z + 443. Is z a multiple of 7?
True
Let l(p) = 2163 - 8*p - 1090 - 1086. Suppose 2*j = -0*j - 16. Is 17 a factor of l(j)?
True
Suppose -444*x + 3300069 + 1116399 = 0. Is x a multiple of 7?
True
Let q(t) be the third derivative of 5*t**5/12 + t**4/4 + 35*t**3/6 - 51*t**2. Does 45 divide q(-5)?
True
Let h = 4318 + 26602. Is h a multiple of 20?
True
Is 4 a factor of (-3 + 4)*-8 + 140?
True
Suppose t - 52 = -12*t. Let d(a) = a - 2. Let i be d(t). Suppose -c + 26 - i = 0. Is c a multiple of 12?
True
Let z = -371 - -252. Let h = -23 - z. Does 6 divide h?
True
Let y(c) = -c**3 - 5*c**2 + 6*c + 8. Let b be y(-6). Let d(u) = -u**3 + 2*u**2 + 16 - b*u**2 - 6*u**2 - 9*u**2. Is d(-21) a multiple of 13?
False
Suppose -x = -4*g + 2709 + 67061, x + 34886 = 2*g. Is 19 a factor of g?
True
Let r = -1692 + 2578. Suppose 0 = 29*h + r - 13066. Is h a multiple of 60?
True
Suppose 13*g - 24 = 5*g. Suppose -5020 = -5*q - 2*s, 0 = 3*q + 5*s - g*s - 3008. Is q a multiple of 9?
False
Let c(r) = r**2 - 9*r + 20. Let i be c(6). Suppose 26 - 22 = i*j. Suppose f - 5*f = j*s - 284, -139 = -s - 5*f.