 2*v. Suppose 4*b - a = 3581, b - o*a = 3*b - 1785. Is b a multiple of 39?
False
Let s(u) = 84*u - 49. Let l(d) = -d**3 - 10*d**2 - 25*d - 2. Let b be l(-6). Does 41 divide s(b)?
True
Suppose 904*d - 940*d = -33120. Is d a multiple of 23?
True
Suppose 7*k - 21 - 7 = 0. Suppose -i + 3*g = 8*g - 490, -1984 = -4*i + k*g. Is 11 a factor of i?
True
Let t be 1*(2 + -1)*(1 - 1). Let x be (t - 2) + 38 - (-10 - -11). Let v = x - -10. Does 9 divide v?
True
Let s(q) = 5*q + 812 - 3*q**2 - 3*q**2 - 11*q**3 + 5*q**2 - 807. Does 28 divide s(-3)?
False
Suppose -113*h = -115*h + p + 21, 2*h + 5*p = -9. Is 3 a factor of h?
False
Let h(d) = 109*d + 647. Does 106 divide h(-4)?
False
Suppose -8*s = 3 + 21. Let b be 6/s*6/(-4). Suppose -105 = -b*m + 3*g, -3*g = m + 2*m - 129. Is m a multiple of 13?
True
Let v(c) = -15*c + 2042. Is v(-91) a multiple of 154?
False
Let c(p) = -48*p + 2408. Is 8 a factor of c(5)?
True
Let v = -343 - -510. Suppose -v*n = -168*n + 513. Is 14 a factor of n?
False
Let c(q) = 3*q**2 + 29*q + 2. Let s be c(-13). Let m = s - 6. Is m a multiple of 18?
True
Suppose -4*p + 12023 + 29249 = 4*x, 4*p - x - 41282 = 0. Is 16 a factor of p?
True
Let u(i) = -91*i + 5353. Does 31 divide u(54)?
False
Suppose 0 = -b - 7*b + 3*i + 4342, -4*i - 550 = -b. Is b a multiple of 4?
False
Is 155/3 + -14*(-8)/336 a multiple of 9?
False
Let d be -3*(2 + (-256)/6)*3. Let o = d + -248. Is o a multiple of 6?
False
Let i be (-10)/(-3 + 4/4). Suppose -l - 6 = -2*l + 3*x, -i*x = -3*l + 10. Suppose 2*v + 2*t - 47 + 1 = l, -4*v + t = -87. Is v a multiple of 10?
False
Let v(k) = 10*k - 3. Let o be v(1). Suppose -12*f = -o*f - 680. Suppose f = i - 5*n, -2*i - 101 + 418 = -n. Is 12 a factor of i?
False
Let r = 101 - 111. Let d(k) = -25*k - 11. Is 39 a factor of d(r)?
False
Suppose -10*x - 293 - 37 = 0. Let c be 85/2 + x/(-6) + -6. Suppose 0 = i - 0*i - c. Does 6 divide i?
True
Let s(a) = -6*a + 115. Let p be s(18). Is 23 a factor of p/(-49)*-7*943?
True
Suppose 5*h - 507 = 2*d, -3*h + 527 = -2*d - 2*h. Let i = d - -430. Does 2 divide i/14 - (-2)/7?
True
Let b = -19398 + 35806. Is 20 a factor of b?
False
Suppose 4*z = -t + 583, -5*z - 228 = -5*t - 988. Suppose 0 = 3*n - 2031 - z. Is 66 a factor of n?
True
Let j(n) = n**3 + 10*n**2 - 1608*n + 185. Is j(48) a multiple of 369?
False
Let a(r) = -r**3 - 3*r**2 - 3*r - 2. Let p be a(-2). Suppose 10*g - 2*g - 240 = p. Suppose 4*f - 90 - g = 0. Is 10 a factor of f?
True
Suppose 5*p + 0*p - 162 = -2*d, -3*d = 5*p - 233. Let k = d - 67. Suppose -k = -10*b + 1426. Is 11 a factor of b?
True
Let x(a) be the third derivative of 35*a**4/12 - 10*a**3 + 123*a**2. Does 15 divide x(12)?
True
Suppose 27*u + 245616 = 15*u. Is 11 a factor of (u/30)/(-2) + 2/(-15)?
True
Suppose -3*z - 3 = 5*d - 9, 0 = 5*z - 10. Suppose -r + 84 + 257 = d. Is r a multiple of 11?
True
Let o(k) = 81*k + 3 - 28*k + 2 + 45*k. Let z be o(3). Suppose -4*b = g - z, -b + g - 4*g = -83. Is b a multiple of 8?
False
Let r = 444 + -438. Is (234/r)/(6/20) a multiple of 10?
True
Let g be 1 + -2 - 3/(-9)*3. Suppose 3*b + g*b - 39 = 0. Suppose -b*k = -710 - 772. Is k a multiple of 25?
False
Let c(g) = -2*g + 29. Let b be c(14). Let f be ((-21)/b)/(21/(-98)). Suppose -2*m = 4*r - f, -3*r + 70 = -0*r - 2*m. Is 12 a factor of r?
True
Let s(i) = -i**2 + 20*i - 11. Let z = 12 + -8. Suppose q = z*q - 51. Does 16 divide s(q)?
False
Let p = -42525 - -72270. Does 15 divide p?
True
Suppose -4*n = -39*n + 210. Is (3 - -260) + n - 5 a multiple of 22?
True
Let a be -15*(-16)/(-280) - 838/(-14). Let k(c) = 12*c**3 + 3*c**2 - 2*c + 1. Let o be k(2). Let f = o - a. Is 4 a factor of f?
False
Suppose -4*p + 568 = -1564. Does 7 divide -1 + 1 + p - -6?
True
Let p(t) = -38*t + 17. Let a be p(-10). Let w = a + 1. Let g = -277 + w. Is 11 a factor of g?
True
Let i(g) = 8*g - 48. Let k be i(14). Let b = k - 61. Suppose -41 - 247 = -b*z. Does 6 divide z?
True
Let f(c) = -431*c**3 + 31 + 3*c + 433*c**3 - 28*c**2 - 2. Is 5 a factor of f(14)?
False
Let f = 72240 + -38755. Is 158 a factor of f?
False
Let u be 112/(-21)*351/(-4). Suppose -15*z + 1407 = -u. Does 11 divide z?
False
Let p(y) = 23*y**2 - 2*y - 10. Let s be p(-2). Suppose -2*b = x + 2*x - 143, -4*b - 204 = -4*x. Let j = s + x. Is j a multiple of 25?
False
Suppose -6248 = -241*u + 252*u. Let v = u + 736. Is 12 a factor of v?
True
Let c be (22/(-4))/(4/64*8). Let w(r) = -10*r - 78. Is w(c) a multiple of 5?
False
Let k(v) be the first derivative of v**3/3 - 3*v**2/2 - 2*v + 1. Let l be (-42)/(-8) - (-4)/(-16). Is k(l) a multiple of 8?
True
Let a = 21091 + -13171. Does 45 divide a?
True
Let b = 6102 + -2871. Does 9 divide b?
True
Suppose -5*i - 2*m = -i - 22, -2*i + 21 = 3*m. Suppose -408 = -9*d - i*d. Does 17 divide d?
True
Let c = 40648 + -26348. Is c a multiple of 13?
True
Let g = -28700 - -34004. Is 102 a factor of g?
True
Is (((-4)/(-10))/(165/(-275)))/(2/(-22791)) a multiple of 60?
False
Suppose 58*f - 4*f + 5*f = 1242717. Does 59 divide f?
True
Suppose 3*x + 4*s - 87 = 1237, -2*s + 2188 = 5*x. Let r = x + 187. Is 35 a factor of r?
False
Let p(i) = i**2 + 5*i + 8. Let u(o) = -o**2 + 5*o + 4. Let m be u(4). Let y be p(m). Suppose f = 5*f - y. Does 7 divide f?
True
Let v(p) = -p**2 - 5*p - 7. Let l be v(-3). Does 13 divide (32/80)/(-2*l/660)?
False
Let g = 6385 + -2152. Is g a multiple of 6?
False
Suppose -14*b - 8*b = -7*b - 61155. Does 9 divide b?
True
Let g = 13 + -17. Let y be (-2 - (g + 4)) + 12. Is 25 a factor of (-1 + -24)/(y/(-40))?
True
Let m(f) = -92*f**3 - 33*f**2 - 5*f - 9. Is m(-6) a multiple of 29?
True
Suppose -15*f + 7*f = -66136. Does 73 divide f?
False
Let h(w) = -2*w**3 + 4*w**2 + 2*w + 11. Let q be h(-3). Suppose -2*a + q = -5*n - 174, 0 = -n - 5. Is 10 a factor of a?
False
Suppose -4*q + 183 = -0*q - 3*l, -3*q = 5*l - 130. Suppose -61*y + 155 = -66*y. Let n = y + q. Is n a multiple of 8?
False
Let r be -126*(4*1 + -7 + 4). Let v = -82 - r. Is 22 a factor of v?
True
Let j be (4 + 12/(-8))*(-32)/10. Let q(n) = 21*n**2 + 15*n - 16. Is q(j) a multiple of 19?
False
Let c(s) = -2*s - 190. Let y be c(-23). Let a = y + 360. Is a a multiple of 5?
False
Suppose -2*u - 39 = u - 3*j, j + 71 = -5*u. Let d(w) = -w**3 - 12*w**2 + 31*w + 78. Is d(u) a multiple of 3?
True
Suppose -4*n - 3*v + 25392 = -6*v, 31740 = 5*n + 4*v. Is 12 a factor of n?
True
Let z = -4515 + 4635. Is z a multiple of 6?
True
Let v(y) = y**2 + 5*y - 36. Let h be v(-8). Let x(f) = 2*f**2 + 16*f - 12. Is 20 a factor of x(h)?
False
Let h(g) = 315*g + 3372. Is 41 a factor of h(22)?
False
Let t = 147 - 95. Suppose -3*f + 220 - t = 0. Is f a multiple of 7?
True
Let z(y) = 7*y**3 - 1 + 20 + 2 + 17 - 12*y + 2*y**2. Is 5 a factor of z(3)?
False
Let y(g) = g**2 + 5*g - 18. Let u be y(-9). Suppose u*c - 904 = 16*c - 2*m, -4*m = 5*c - 2255. Let k = -236 + c. Is 10 a factor of k?
False
Suppose -504020 = -61*d - 55*d. Is d a multiple of 11?
True
Suppose 2*g + 0 = 8, 5*a - 4*g = -31. Does 6 divide 5 + (-2 - a)/(3/663)?
False
Let z be (-4)/10 - (-204)/60. Suppose -z*b + 4*l + 1114 = 0, 1456 = 5*b - b + 2*l. Suppose 0 = 5*x + x - b. Is x a multiple of 26?
False
Let r = 590 + -232. Suppose -21*u - r = -26*u + b, -12 = 4*b. Is u a multiple of 71?
True
Let a(t) = 2*t**3 - 3*t**2 - 9*t + 17. Let d be a(4). Suppose -d*m + 59*m = -326. Is 21 a factor of m?
False
Let l(d) = -d**3 - 3*d**2 + 2*d - 5. Suppose 4 = -5*h - 4*b, -3*h + 6*b - 32 = b. Let k be l(h). Suppose -128 - 1 = -k*m. Is m a multiple of 10?
False
Let m = -1937 - -2896. Suppose m - 77 = 14*t. Is t even?
False
Let x be (79 + -11)*(16 - 0). Suppose l - 2*y + x = 0, -5*l = -6*y + y + 5450. Does 4 divide l/(-504)*(-1 - 0 - -7)?
False
Let m be (-3)/(-12) + 27/4. Suppose -4*x + r = -9, -2*r - 3 = -4*x + m. Suppose 28 = x*p + 2*k - 108, -4*p = -4*k - 240. Is 16 a factor of p?
True
Let v(w) = w**3 + 11*w**2 + w + 6. Suppose 8*f - 7 - 9 = 0. Let c(y) = -6*y + 2. Let i be c(f). Is 32 a factor of v(i)?
True
Let s(j) = -j**3 - 8*j**2 - 15*j - 18. Let k = 57 + 6. Suppose -5*c - 4*c - k = 0. Is 4 a factor of s(c)?
False
Suppose 0 = -4*p + 3*m + 7633 + 15185, -4*m - 8 = 0. Does 53 divide p/9 + -2 + 28/12?
False
Suppose d + 0 = 4*w - 13, 2*d + 5 = w. Suppose -2*h = -5*q - 515, -w*h - 3*q + 786 = -6*q. Does 17 divide h?
False
Let p = -94 + 50. Let