15 a factor of c?
True
Let m be ((-46)/4)/(4/8). Let a(l) = -6*l + 2*l**3 + 0*l**3 - 12 - l**3 + 30*l**2 - 7*l**2. Is 7 a factor of a(m)?
True
Suppose -2997 = -6*t + 5*p + 9456, -10368 = -5*t + p. Does 9 divide t?
False
Let b be (-837)/(-62)*(-2 + 20/6). Suppose -11*m - b = -128. Is m a multiple of 7?
False
Let k(o) = o**2 + 82. Let j be k(0). Suppose 0 = -56*n + 2615 - 319. Let x = j - n. Does 15 divide x?
False
Suppose 0*y + 4 = -2*y. Suppose 70 - 510 = 4*o + 2*r, 0 = -o - 5*r - 83. Is 22 a factor of (y/(-2) - o) + 20/(-5)?
True
Let w = 6493 - 2983. Is 12 a factor of w?
False
Suppose 12*t + 37*t = -6*t + 11935. Is t a multiple of 4?
False
Suppose 5*l = 236 - 11. Let f = 55 - l. Is (15/f)/((-6)/(-80)) a multiple of 7?
False
Let l = -6101 + 9566. Is 9 a factor of l?
True
Let h(k) = -k**3 + 23*k**2 + 6. Let y be h(23). Let q be (-2)/3 - 110/6. Is -2 + (y - 1)/1 - q even?
True
Let c = 10298 - 6624. Is 11 a factor of c?
True
Let v(u) = -637*u**3 - 4*u**2 - 10*u - 11. Does 242 divide v(-3)?
True
Let r(o) = -40*o + 14. Let z(q) = q**2 - 24*q + 76. Let x be z(20). Is 29 a factor of r(x)?
True
Suppose -3*y = -2 + 14, -110 = -o + 5*y. Suppose 0 = q - 4*d - o, 5*q + 3*d - 304 - 238 = 0. Let s = q + -22. Is s a multiple of 28?
True
Let g(q) = -247*q + 1578. Is g(4) a multiple of 11?
False
Let f(l) = -l**2 + 85*l + 4037. Is 9 a factor of f(118)?
False
Let m be (-2)/(-4 - 9/(-2)). Let j(f) = 13*f**2 + 14*f - 12. Is j(m) a multiple of 20?
True
Does 4 divide 49665/90 - 7/(-42)?
True
Let j(b) = 4*b**3 + 2*b**2 + 8*b + 166. Is 26 a factor of j(12)?
True
Let w = -494 + 1441. Suppose w = 2*v + 5*a, -29*v + 5*a + 1909 = -25*v. Is v a multiple of 17?
True
Let g(w) = 7*w - 1. Let z(p) = 13*p**2 - 3 - 4 + p**3 + 10*p - 7. Let r be z(-12). Does 23 divide g(r)?
True
Let i = -1215 - -2784. Is 3 a factor of i?
True
Suppose 13038 = 5*i - 4*i + 2*d, -3*d - 26118 = -2*i. Is 15 a factor of i?
True
Is 11 a factor of (29 + -35)*(-5095)/30?
False
Suppose -25 = -5*z + 5*l, -8 + 7 = 3*z + 5*l. Suppose -u + 463 = 4*r, -z*r - 463 = 11*u - 12*u. Is 27 a factor of u?
False
Let y(z) = -z**2 + 23*z - 90. Let t be y(6). Let j(v) = -6*v + 381. Does 6 divide j(t)?
False
Let g = 587 - -6304. Does 30 divide g?
False
Let w be ((-24)/(-4 - -1))/2. Suppose -w*q + 7 = -u + q, -u = -2*q - 8. Suppose -m + 10 = -4*j - u, 0 = 5*m + j - 119. Is 4 a factor of m?
True
Suppose 27*r = -23*r + 56*r - 110262. Is 47 a factor of r?
True
Let c be 2*(-4)/8 + -6 + -329. Let b = -239 - c. Does 13 divide b?
False
Let j be 26/6 - (8/(-12))/(-2). Let a(o) = 32 - j*o + 2*o**2 + 29 - 46. Does 17 divide a(7)?
True
Let r be (-3)/(-42)*-2 - 40/14. Let t = r + 10. Suppose -6*j - 26 = -t*j. Does 15 divide j?
False
Suppose -2*k + 3*w + 5274 = -1277, -w + 3278 = k. Does 14 divide k?
False
Let b = -9797 - -29873. Is 110 a factor of b?
False
Let b = -98 - -98. Let h(w) = 5*w. Let f be h(1). Suppose 5*o + b*u + f*u = 500, -3*u + 98 = o. Is 22 a factor of o?
False
Let w(d) = 1 - 2*d**2 + 3*d**2 + 0. Let q be w(2). Suppose -q*j + 12 = 2*p - 201, -5*j = -2*p + 203. Is p a multiple of 26?
True
Suppose 3*q - 4*i - 3 = 0, 5*q - i - 24 = -2. Suppose b - 49 = -4*f, q*b - 5*f = b + 91. Does 2 divide b?
False
Suppose -v + 2*z = -8, -2*v - 2*v + 3*z + 22 = 0. Suppose 3*r - 128 - 122 = -v*w, r = -4*w + 246. Is w a multiple of 20?
False
Let c = -65 - -70. Does 13 divide ((-104)/40)/(c/(-925))?
True
Let i = -11 - -58. Let g = 298 + i. Is g a multiple of 69?
True
Suppose 0 = z + 2*z - 9. Let u(c) = 546*c + 5. Let x be u(1). Suppose 7*k = 2*k - 4*n + 921, -4*n = z*k - x. Does 15 divide k?
False
Suppose -9*d - 33 = 39. Let b be (12/(-10))/(d/20 - 0). Suppose 2*l - 2*q - 256 = 0, -2*l + l - b*q + 116 = 0. Is l a multiple of 25?
True
Let n(j) = -5*j**3 + 2*j**2 + 3*j + 2. Let d be n(-4). Let g = d + -183. Suppose -4*i = 2*c - 3*c - 126, 5*i = 2*c + g. Is 31 a factor of i?
True
Let h(t) = -1057*t + 2150. Is 7 a factor of h(2)?
False
Suppose -11*w - 3899 - 1029 = 0. Let m = -416 - w. Does 32 divide m?
True
Let u be 309/1 + -7 + 10. Suppose 4*t + u = 3*f - 289, -227 = -f - 4*t. Does 9 divide f?
True
Let d(n) = -267*n + 1859. Is 20 a factor of d(-26)?
False
Let c(q) = -7*q**2 + 16*q. Let i(v) = 4*v**2 - 8*v - 1. Let h(o) = -3*c(o) - 5*i(o). Is h(16) a multiple of 7?
True
Let o = 30 + -25. Let x(k) = -70*k + 36*k - 50*k + o. Does 11 divide x(-1)?
False
Let s(c) = c**2 + 15*c - 6*c - 3 - 17 - 11*c. Let t be s(6). Suppose 9*j - t*j - 225 = 0. Is j a multiple of 9?
True
Suppose -2348 = -2*h + 1700*u - 1703*u, -4*u = -h + 1163. Is h a multiple of 9?
False
Let h be 6/(-42) - 12036/(-21). Suppose -3*a + h = -57. Does 15 divide a?
True
Does 282 divide (33421 + 2)/(4/10*(-120)/(-48))?
False
Let v(n) be the third derivative of n**4/24 + 95*n**3/6 - 11*n**2 - 2*n. Does 19 divide v(0)?
True
Suppose 67 = 32*k - 28*k + 5*b, -5*k = 3*b - 87. Is k a multiple of 6?
True
Suppose 8*p = -20*p - 336. Let q(y) = y**3 + 16*y**2 + 26*y - 6. Is 43 a factor of q(p)?
True
Suppose -2*w + 228 + 255 = 3*t, -3*t = -2*w + 489. Let g = w + 29. Is g a multiple of 16?
True
Let f be 1 + (-6 - -1) + 7. Suppose 5*a - 6*m - 3178 = -2*m, 1923 = f*a + 3*m. Is 58 a factor of a?
True
Let q(r) = 3*r - 6. Let g(y) = y. Let i(v) = -4*g(v) + q(v). Let o be i(-9). Is 43/o - 30/(-45) a multiple of 4?
False
Let m(c) = 6*c**2 + 6*c + 56. Let q be m(9). Suppose -1168 = -4*l + 27*a - 31*a, -5*a = 2*l - q. Is l a multiple of 16?
True
Let a be 14 - ((2 - 2) + -7). Is 26 a factor of (-8)/6*a/(-14) + 596?
True
Suppose 5*y - 4*y = 13. Let o(f) = -10*f - y*f + 10 - f**2 + 8*f. Does 32 divide o(-9)?
True
Suppose 3*c - f + 1162 = 0, -3*c - 3*f + 215 = 1373. Let x = -336 + 66. Let r = x - c. Is r a multiple of 31?
False
Let d = 13640 + 5613. Does 39 divide d?
False
Let d(f) be the first derivative of 17*f**4/4 + 2*f**3/3 - 3*f**2/2 - 4*f + 174. Is 3 a factor of d(2)?
False
Suppose 3*m + 2*m - 81809 = -8*m. Is m a multiple of 10?
False
Let n(w) be the third derivative of w**4/24 + w**3/6 - 4*w**2. Let r be n(3). Suppose r*l = -l + 400. Does 10 divide l?
True
Let v be 4/(-120)*26 - (-6)/(-45). Is 6 a factor of 320 - (-4 - (v - 5))/1?
True
Let i(k) = 2*k - 1. Let a(o) = -31*o - 4. Let c(j) = -a(j) - i(j). Is c(2) a multiple of 2?
False
Let q be 5/((-25)/(-1180)) - 2. Is (-75)/((q/(-12))/13) even?
True
Let t(h) = h**3 - 8*h**2 + 4*h. Let i be t(8). Let l = i - 29. Suppose 3*z = u + 65, -2*u = 2*z - l*z + 25. Is 7 a factor of z?
True
Suppose -3*h = 5*t - 7*h - 362, 58 = t + 4*h. Suppose 29*w = 24*w + t. Let p = 43 - w. Is p a multiple of 9?
False
Suppose 4*c + 14*k - 19*k - 12 = 0, 2*k - 6 = -2*c. Suppose 114 = p - 4*d, c*p = 2*d - 6*d + 294. Does 54 divide p?
False
Suppose -803*u = -844*u + 259120. Is u a multiple of 158?
True
Suppose 0 = -62*n - 72*n - 185389 + 3746439. Is n a multiple of 57?
False
Is (30459/55 - 7) + 1/(-5)*-1 a multiple of 22?
False
Suppose 7*v - 14*v = 567. Let g = v + 78. Is (-14)/(-3) + 2/g a multiple of 3?
False
Let m be (-1 - (-6)/4) + 150/4. Let t = 41 - m. Let z = t + 18. Is z a multiple of 13?
False
Let l = 2309 + -1745. Does 12 divide l?
True
Let x = -87632 - -132593. Does 7 divide x?
True
Let d(b) = -7*b - 4. Let h be d(-2). Suppose 87 + 553 = -8*z. Let y = h - z. Does 10 divide y?
True
Suppose -294 = -3*i - 918. Is 3 a factor of (-2)/((-2)/i*-4)?
False
Let q(l) be the third derivative of 67*l**5/60 + l**4/12 - 5*l**3/6 - 91*l**2. Does 15 divide q(-4)?
False
Suppose 29*d = 1541 + 2142. Suppose i - 2 = -6, d = q - 2*i. Is 7 a factor of q?
True
Suppose -5*g + 99 = 4*z - 6*g, -g = -3*z + 73. Suppose 5*j = -146 + z. Is 5 a factor of (j/14)/((-14)/147)?
False
Suppose -4*z = -t + 11, -4*t - 3*z = 12 - 18. Suppose 3*u = j + 14, u + t*j = -4*u. Is 16 a factor of (u/6)/(1/(-2))*-141?
False
Let h = -136 + 162. Let n = 26 - 41. Let u = h + n. Is 11 a factor of u?
True
Let n = 145 + -122. Let b(z) = -z**2 + 34*z + 2. Is 15 a factor of b(n)?
True
Suppose -1455 = -3*b - 2*d, 2*b = 7*b + 2*d - 2421. Let c = b - 219. Is c a multiple of 22?
True
Suppose x = -13 + 16, -5*x = -3*c + 30000. Is 23 a factor of c?
True
Let o(i) = 17*i + 143. Let n be o(-8). Suppose -n*d - 3*d = -1270. Is d a multiple of 42?
False
Let j(y) = y**2 - 4*y + 7. Let g be j(0). Suppose 5*d = g*d - 618. Suppose -6*u + d + 1