6 - 206. Let b(i) = i**3 + 34*i**2 - 4*i + 100. Is b(p) a multiple of 4?
True
Let w(d) = -182*d + 12. Let u be w(-5). Let f = u - 485. Is f a multiple of 16?
False
Let b = -12294 - -12694. Is 16 a factor of b?
True
Let n(q) be the second derivative of q**5/20 + 2*q**4/3 + q**3/6 - 7*q**2/2 - 120*q + 2. Does 3 divide n(-5)?
True
Suppose 363*u = 228*u + 1539000. Does 30 divide u?
True
Let k(q) = 39*q + 6. Let a be 5/(23 + -3) + 94/8. Let u = -8 + a. Is 18 a factor of k(u)?
True
Let t(d) = -d**3 - 23*d**2 + 10*d - 140. Is 22 a factor of t(-27)?
False
Suppose 7*t - 70 = -3*t. Suppose 0 = 3*y - 3*j - 8 - t, 4*y - 3*j - 15 = 0. Suppose -3*z - 2*z + 940 = y. Is z a multiple of 47?
True
Let r(s) be the third derivative of 11*s**4/4 - 5*s**3/6 - 15*s**2 + 1. Is r(2) a multiple of 12?
False
Suppose 522 = -7*y + 508. Is (-1)/y*(-10 + 1250) a multiple of 57?
False
Let o(i) = 2*i**2 - 7*i - 7. Let w be o(5). Let j = w - 8. Suppose q + 0 - 2 = j, -q = 2*n - 114. Is n a multiple of 9?
False
Suppose 29*j = 23*j + 18546. Is j a multiple of 32?
False
Let c(x) = -x**3 + 6*x**2 + x - 4. Let p be c(6). Suppose -p*l + 3*l = 19. Suppose l*k = 15*k + 364. Is k a multiple of 13?
True
Suppose 14*d = -2*d + 48. Suppose 2*r - 64 = -b, -r + 4*r - 192 = -d*b. Does 32 divide b?
True
Suppose 63*u = 18*u + 14985. Does 42 divide u?
False
Let f = 42635 - 21055. Is 4 a factor of f?
True
Suppose 0 = -h - 9*n + 4*n + 803, 4*n = h - 812. Suppose -h = -i + 5*j, -j + 3142 = 4*i - 3*j. Does 27 divide i?
True
Let x = -157 - -170. Suppose 19*n = x*n + 138. Is 3 a factor of n?
False
Suppose -111*a = 140*a - 3606368. Is 32 a factor of a?
True
Let g(d) = 2*d**2 + 71*d - 2185. Is g(26) a multiple of 33?
False
Let q(o) = -o**2 - 21*o - 95. Let b(z) = 2*z + 2. Let m(g) = -3*b(g) - q(g). Is 25 a factor of m(-27)?
False
Let n(z) = 88*z**2 + 13*z - 11. Let c be 8/(-6)*(-603)/268. Is n(c) a multiple of 10?
True
Let z(j) = 5*j**2 - j - 46. Let h be z(6). Let i(f) = 2*f - 2. Let s be i(2). Suppose -s*q + 4*q - 4*c = h, 5*q + c = 265. Is 7 a factor of q?
False
Suppose 59*n + 23348 - 57330 = 198950. Does 152 divide n?
False
Let d be (-120)/((-15)/(-3)) + 4/(-2). Let w(v) = 2*v**2 + 33*v - 42. Let t be w(d). Let f = t + -232. Does 20 divide f?
True
Is 80 a factor of 7*10/(-105)*-6*7219/4?
False
Suppose -3*q + 2*r + 79 = 0, 10*q + r + 52 = 12*q. Is 36 a factor of (q - -2)/((-1)/(-56)*2)?
True
Suppose -3*n + 6812 = -w, -58*w + 56*w + 6806 = 3*n. Is n a multiple of 227?
True
Suppose -2*u - 35 = -3*q, 50 = 7*u - 10*u + 4*q. Let l be u/(0 - 5) + 8. Is 354/4 + l/(-20) a multiple of 27?
False
Suppose 5*c - k - 20935 = 0, 5*c + 2*k - 13213 - 7707 = 0. Is 26 a factor of c?
True
Does 35 divide ((-98115)/30)/31*(-282)/3?
False
Suppose 0 = 3*c + 3 - 0, -27 = 4*k + 3*c. Let d be (k/4)/((-4)/(-64)*-6). Does 12 divide d/((-8)/(-34)) - 1?
False
Let f be 2/3*(18 + 255). Suppose 6*i - 220 - f = 0. Suppose -r + i = 2*j, -2*r + 159 - 1 = -2*j. Is 15 a factor of r?
True
Suppose 316*t - 517*t + 259*t - 219936 = 0. Is t a multiple of 16?
True
Let f(n) = 15*n + 70. Suppose 0 = 2*u - 11 - 23. Is f(u) a multiple of 25?
True
Let u(k) = -8*k**2 + k - 4. Let c(y) = -9*y**2 + y - 3. Let i(x) = 3*c(x) - 4*u(x). Let r be 30/36 - 53/6. Does 46 divide i(r)?
False
Suppose 0 = -2*h + 37 - 9. Let p be h/(-35) + (-1452)/(-5). Let z = -4 + p. Does 13 divide z?
True
Suppose -56*s + 313614 + 111426 = 0. Is s a multiple of 230?
True
Let o(u) = -u**3 + 29*u**2 - 4. Let m be o(29). Does 4 divide (-407)/m + 90/72?
False
Let i = -126 + 122. Does 15 divide (i/8)/((-6)/360)?
True
Suppose 4*d = -3*u + 27, -3*u - d + 5*d = -3. Suppose 2402 = 2*k - 0*k + c, -u*k + 3*c = -5994. Does 50 divide k?
True
Let k(u) = -3*u - 8. Let t be k(-4). Suppose 2*m = v + m, t*v = -2*m + 24. Is 9 a factor of -1 + 4 - (-6 + (-468)/v)?
True
Let l(a) = -4*a**3 - 9*a - 9. Let h be l(-1). Suppose 0 = o + 5 - 3, -h*m = o - 894. Does 28 divide m?
True
Let n(z) = -87*z**2 - 3662*z + 12. Does 172 divide n(-36)?
True
Let g be (-917)/(-8) - 114/(-304). Let q = 202 - g. Is 6 a factor of q?
False
Let a(c) = -c**3 + 37*c**2 + 43*c + 75. Let r be (18/15)/(1*(-9)/(-285)). Does 55 divide a(r)?
False
Suppose -2*v + 8*q + 47160 = 0, 10*v + 118047 = 15*v + q. Is 7 a factor of v?
False
Let o(y) = -y**2 + 9*y - 9. Let h be o(7). Suppose 2318*g + 2376 = 2327*g. Suppose -39 + g = h*b. Is 44 a factor of b?
False
Suppose 0 = -207*m - 114*m + 4031118. Is m a multiple of 23?
True
Let z = 10 - 6. Let o(g) = g**3 + 12*g**2 + 37*g + 14. Let n be o(-7). Suppose n = -5*d + 9 - z, -3*d - 30 = -3*w. Does 10 divide w?
False
Let v = -8 - -12. Suppose -3*u + 2*q + 8 = 4*q, 0 = -2*q - v. Suppose o + u - 29 = 0. Is o a multiple of 3?
False
Suppose 23*t + 181620 - 933474 = -64*t. Is t a multiple of 58?
True
Let d be (-177)/12 - (-15)/40*2. Let n(r) = -r + 84. Does 24 divide n(d)?
False
Let f(z) = 10*z + 93. Let v(c) = 12*c + 93. Let g(m) = 4*f(m) - 3*v(m). Is g(-18) a multiple of 2?
False
Let l = 98 + -95. Let b be 2*10*2/8. Suppose 538 = b*s - l*k - 90, k = -1. Does 34 divide s?
False
Let j(u) = -1 - 5 - 41*u + 3 + 2 + 5*u**2 - 3*u**2. Does 12 divide j(29)?
True
Let o = 2472 - 1810. Does 16 divide o?
False
Let t(i) be the first derivative of 8*i**3/3 + 5*i**2 + 13*i + 108. Is t(-3) a multiple of 11?
True
Does 7 divide 1890/(-12)*-4*12/40?
True
Let o = -6618 + 27659. Does 17 divide o?
False
Suppose 0 = -21*g + 16*g + 285. Suppose 2*s = -5*u + g, -7*s + 90 = -4*s + 3*u. Is s a multiple of 5?
False
Let s be (-9)/(63/(-14))*3/(-6). Is 32 a factor of 3408/12 + 1 + s?
False
Let r(b) = 10*b**2 - 96*b + 61. Is 65 a factor of r(28)?
False
Let p be 7/((-21)/(-360)) - 0. Suppose -4*g = 3*d - 180, -4*g - 5*d = -172 - 16. Let u = p - g. Is u a multiple of 39?
True
Suppose 0 = -10*w + 13*w + 9. Is 13 a factor of (-70)/21*43*w?
False
Let j(m) = -9*m**2 - m + m + 3*m - 5*m**3 - 1 + 7. Let k be j(-4). Suppose 0*o - o = -k. Is 34 a factor of o?
True
Let t be -2 - (-8 + 7)*14. Suppose 3*x + 0*x + 4*k - 43 = 0, k = -2*x + 32. Suppose x*m - t*m = 115. Is m a multiple of 5?
False
Let d be 30/195 + (-4)/26. Suppose -5*z + 8 - 37 = 2*w, d = 5*z + 25. Let y(b) = -3*b**3 - 2*b**2 + b - 1. Is y(w) a multiple of 6?
False
Let i(z) = 13*z**2 - 7*z + 2. Let w(n) = 40*n**2 - 22*n + 7. Let o(a) = -11*i(a) + 4*w(a). Does 24 divide o(6)?
True
Suppose -168 = 8*h + 280. Let v = 437 - h. Is 17 a factor of v?
True
Let g(b) = 2*b**2 + 10*b - 23. Let i be g(-7). Suppose 2*d - 566 = -i*z, 0*d = 4*z - 5*d - 466. Does 38 divide z?
True
Suppose -234*y + 15 = -231*y. Suppose 0 = 2*o - 5*d - 1036, y*o - 2*d - 2628 = d. Is o a multiple of 24?
True
Suppose -4*i + 9212 = -5*u - 7736, -4*u + 8474 = 2*i. Does 9 divide i?
False
Suppose -9 = 4*u - 5. Suppose i = 5*i - 8. Is (i/u)/((3 + 0)/(-48)) a multiple of 16?
True
Suppose 101*d - 8400039 = -644047. Is 29 a factor of d?
True
Let r(y) be the first derivative of -37*y**2 - 32*y + 6. Is r(-4) a multiple of 8?
True
Suppose -98*l + 90*l + 40 = 0. Suppose -3004 = -l*w - 4*y, 3*y + 1469 - 249 = 2*w. Does 27 divide w?
False
Let f = -373 - -382. Suppose -f*h + 643 + 7844 = 0. Does 74 divide h?
False
Suppose 4*y = 3*w - 4514 + 1348, -3*w = -y - 3163. Is 21 a factor of w?
False
Suppose -13*s + 10*s + 5087 = 5*f, 3*f - 3 = 0. Is 22 a factor of s?
True
Let j be -6 - 162/(24/(-4)). Suppose 66 = -j*p + 23*p. Is p a multiple of 5?
False
Does 25 divide (-350649)/(-63) - (1 - 24/21)?
False
Let o = 31203 + -13195. Is 16 a factor of o?
False
Is ((-147)/(-63) - 581/42)*(-425 - 1) a multiple of 71?
True
Let y = -53887 - -78131. Is 29 a factor of y?
True
Suppose 3*q - 7838 = 23*w - 27*w, -w - 5240 = -2*q. Is q a multiple of 154?
True
Let h(z) be the second derivative of z**5/20 + 5*z**4/6 - 7*z**3/3 - 37*z**2/2 + 23*z. Is h(-9) a multiple of 21?
False
Suppose -11*t - 6*t = -238. Suppose -t*g + 15*g + 18 = 0. Does 34 divide g/(-6)*10*2?
False
Let h(g) = -2*g**2 + 19*g - 6. Let j be h(4). Suppose -2200 = -j*d + 33*d. Is d a multiple of 11?
True
Let i(p) = 5*p**2 - 5*p - 6. Let y be i(4). Let b be (-1)/(-2) + (-2)/4. Suppose j - 36 = -2*h, 3*h + b*j = 3*j + y. Does 6 divide h?
True
Let a(g) = -8*g + 6. Let w be a(-2). Is w/(-77) - ((-6108)/14 - 1) a multiple of 19?
True
Let d(f) = 2*f**2 + 8*f + 2. Let n be d(-4). Suppose 1422 = 