0*f. Let b(h) = -10 + 3*h**3 + f + 2*h - 2*h**3 - 1 - 15*h**2. Is b(15) a multiple of 6?
False
Let s(d) = 3*d**3 - 11*d**2 + 8*d + 4. Is 3 a factor of s(4)?
False
Let k(f) = 2*f - 9. Let d be k(-10). Let t be 1 + -43 + 8 + -7. Let h = d - t. Does 4 divide h?
True
Let w(j) = 300*j**3 + j**2. Let k be w(1). Let g = -203 + k. Suppose 0 = -0*a + 2*a - g. Does 14 divide a?
False
Let u be 12/18 + (-96)/9. Is 9 a factor of 1/u - (-3787)/70?
True
Let a = -12 + 15. Let q be (-2)/a + (-3920)/42. Let p = q - -184. Is p a multiple of 18?
True
Let c = -284 + 466. Suppose -5*h - 4*q + 454 = 0, 2*h + 3*q - q - c = 0. Is h a multiple of 32?
False
Suppose -9*r = -5*r - 16. Suppose 0 = r*h - 6*l + 2*l - 180, 245 = 5*h - l. Is 10 a factor of h?
True
Is ((-810)/35)/(13/14 + -1) a multiple of 131?
False
Let j = 6 + -6. Let x be ((-2)/(-1))/((-1)/(-2)). Suppose y - x*y + 5*u + 262 = j, 3*y = -5*u + 212. Does 24 divide y?
False
Is (-34)/119 + 33270/21 a multiple of 33?
True
Let r(b) be the first derivative of 3*b**2 + 25. Is r(6) a multiple of 9?
True
Let l(o) = -o**3 + 16*o**2 - 16*o + 17. Let d be l(15). Suppose -4*b + 206 = d*f, f + 48 + 2 = b. Is 15 a factor of 4*3*136/b?
False
Suppose 3*y - 15 = 4*m, 4*y = -m + 1 + 19. Suppose -t = y*j - 21, -3*j + 33 = t + 3*t. Suppose -t*f + 105 = -f. Does 12 divide f?
False
Suppose 2*x + 3268 = 3*o + 7*x, -3*x + 1084 = o. Is o a multiple of 7?
False
Let n be (-3)/(12/(-128))*26/8. Let k be (-2)/(0 + 2)*-3. Suppose -k*p = -p - n. Is 14 a factor of p?
False
Let t = -321 - -761. Is t a multiple of 44?
True
Is 7 a factor of 1*2/(-6) + (-59204)/(-492)?
False
Suppose n + 32 = 3*n. Let t be ((-204)/(-6) - (1 + 2))*1. Let a = t + n. Is 12 a factor of a?
False
Let w(y) = -y**2 - 2*y. Let q be (1/3)/((-3)/(-18)). Let c be w(q). Let j(f) = f + 12. Does 3 divide j(c)?
False
Suppose 5*j - 483 = 4*j. Suppose 6*k - j - 279 = 0. Does 21 divide k?
False
Let o(u) = -23*u + 16 + 65*u**2 + 20 - 64*u**2. Is 30 a factor of o(29)?
True
Let c(v) = -v**3 - v**2 - v + 3. Let s be c(0). Does 18 divide -16*(-3)/2*s?
True
Let i be (60/16)/((-2)/16). Is (i/(-7))/((-2 - -5)/42) a multiple of 5?
True
Let g(o) be the third derivative of 3*o**6/8 + o**5/60 - o**4/8 + o**3/3 - 11*o**2. Is g(1) a multiple of 11?
False
Let f = 423 - 195. Does 19 divide f?
True
Suppose -2*s - 2 = -3*s. Let u(j) = 0*j**3 - j**3 + 2 + 19*j + 3 + 14*j**s - 2. Is u(15) a multiple of 21?
True
Is 36 a factor of 18/63 - (-7556)/14?
True
Is 17 a factor of (-8)/22 - 27501/(-33)?
True
Let d = -3 + 4. Suppose s + 1 = -d. Is (154/35)/(s/(-20)) a multiple of 9?
False
Let x(p) = 5*p**2 + 2*p + 8. Does 3 divide x(-2)?
True
Let o = 15 + -22. Let k = o + 151. Does 36 divide k?
True
Let g(t) = 17*t + 20*t - 47*t - 44. Does 19 divide g(-15)?
False
Suppose 3*j - 2*j = -4*a - 36, -2*j - 18 = 2*a. Let h(g) = g**3 + 11*g**2 + 16*g - 2. Is 16 a factor of h(a)?
True
Let u be 17/4 + (3 - (-78)/(-24)). Does 8 divide (-9)/(-27) + 184*u/6?
False
Let j be (373 - 3)*(-6)/(-15). Let y = j + -95. Is y a multiple of 23?
False
Let f(z) be the second derivative of -1/12*z**4 - 11*z**2 + 0 - 7/2*z**3 + z. Does 30 divide f(-15)?
False
Let a(x) = -x**3 + 7*x - 4. Let s(k) = k**2 + k - 1. Let y(r) = -a(r) + 6*s(r). Let z be y(-6). Suppose -8 = -z*l + 104. Is 4 a factor of l?
True
Let h = -427 + 2625. Is h a multiple of 11?
False
Suppose v - 6 = 2*q, -4*v - q = v - 19. Suppose -5*b = 25, -2*y - v*b + 172 = 2*y. Is y a multiple of 10?
False
Suppose -5*o = -5*w + 40, -2*w - o = w - 4. Suppose b - w = c - 0, 3*b = -2*c + 9. Suppose 0 = x - 4*x - 2*n + 186, 3*x + b*n - 186 = 0. Is x a multiple of 19?
False
Let l(u) = u**2 + 5*u + 5. Let z be l(-6). Let n = -8 + z. Is 25 a factor of -10*(n + -3 + -5)?
True
Let a = -13 - -7. Let s be ((-30)/25)/(a/15). Suppose -c - s = -m - 17, 2*m = 3*c - 43. Is c a multiple of 5?
True
Let t(w) = -w**3 + 10*w**2 + 2*w - 2. Let h(u) = -u + 3. Let v be h(-7). Let c be t(v). Suppose -7*q + c = -5*q. Is q a multiple of 5?
False
Let f be (10/(-6))/(15/(-18)). Let b be (-4)/(-12)*(f - -391). Let v = b + -71. Does 20 divide v?
True
Let h(w) = -2*w**2 - 3*w + 2. Let k be h(-3). Let y be k/((-42)/(-4))*-3. Suppose y*r - 120 = z, 3*r - 121 = -5*z + 33. Does 14 divide r?
False
Let t = 9 - 9. Suppose t = -7*w - 4*w + 1078. Is 23 a factor of w?
False
Let s(f) = -f**3 - 2*f**2 - 2*f - 13. Does 9 divide s(-5)?
True
Suppose w - 3*m - 2195 = -0*w, 0 = w - 2*m - 2193. Is 21 a factor of w?
False
Let j = 375 - 258. Let q = j - 7. Is 8 a factor of q?
False
Let v(a) = 2*a**2 - 3*a - 5. Suppose -2*l + 0*y + 6 = -2*y, 2*y = -l + 6. Suppose -l*b - 4 + 20 = 0. Is v(b) a multiple of 15?
True
Let a = 196 - 162. Does 8 divide a?
False
Is (-64)/6*2184/(-224) a multiple of 9?
False
Let v be (106/(-4))/((-3)/6). Let w be v*(-4)/6*6. Let f = w + 300. Is 13 a factor of f?
False
Let f = 191 - 127. Let w be -3 - 4/(8/(-6)). Suppose w = -2*d + d + 2*t + f, 2*d - 133 = 5*t. Is d a multiple of 18?
True
Let d be 4/(-30) - 546/(-45). Let y(o) = o**3 - 11*o**2 - o + 17. Does 10 divide y(d)?
False
Let j be -2 + 6 + 1 + -1. Let v(h) = -2*h**3 + 24*h**2 + 2*h + 12. Let f be v(12). Is 11 a factor of (2 + j/(-8))*f?
False
Let b = -5 - -7. Suppose -b*k = -2*a - 288, -k + 2*a = 3*a - 140. Let o = k + -80. Is 20 a factor of o?
False
Let z = 8576 - 5352. Is z a multiple of 8?
True
Let k(r) = -8*r**3 + 9*r**3 - 15 + 8*r - 14 + r + 22*r**2. Does 43 divide k(-21)?
False
Let t(b) = -12*b**3 + 7*b + 8*b**3 + 5*b**3 + 7*b**2. Let r be t(-5). Suppose -35 = -r*z + 10*z. Is z a multiple of 4?
False
Suppose 0 = -88*u + 80*u + 7680. Does 10 divide u?
True
Let o = -1475 - -2573. Is 65 a factor of o?
False
Let m(b) = -129*b**3 + 2*b**2 - 1. Is m(-1) a multiple of 10?
True
Let l(z) = z**2 - 5*z - 3. Let j = 3 - -4. Let h be l(j). Let o = 25 - h. Is 7 a factor of o?
True
Let l = -247 + 648. Is 3 a factor of l?
False
Let j(c) = c**2 + 5*c - 4. Let m be j(-6). Suppose -2*b + 65 = 5*y - 93, 160 = m*b + 4*y. Does 25 divide b?
False
Let z(m) = -4*m + 78. Is z(-15) a multiple of 45?
False
Let n be 2/(-10) + 96/30. Let f be (1 - -1 - 2) + n. Suppose -5*m + 5*q + 30 = -60, 5*m = -f*q + 114. Is 7 a factor of m?
True
Suppose -5204 = -14*c - 920. Suppose c = -r + 4*r - 2*t, 0 = r - 2*t - 102. Is r a multiple of 6?
True
Let l = 146 + -148. Is l*(6 + -3 - 2) - -171 a multiple of 13?
True
Suppose -a - 3*u = 449, -3*a - 4*u + 868 = -5*a. Is a/12*288/(-40) a multiple of 17?
False
Suppose 0 = -5*z - 17 - 13. Let w(l) = -1. Let h(m) = 4*m + 10. Let p(u) = -h(u) - w(u). Is p(z) a multiple of 5?
True
Let p(s) be the third derivative of -s**5/60 - 5*s**4/12 + s**3/2 - s**2. Let l(k) = -k + 4. Let a be l(10). Does 10 divide p(a)?
False
Let i(c) = 7*c**2 + 4*c + 3. Suppose -10 + 2 = 4*n. Does 9 divide i(n)?
False
Let l be (3 + 20/(-8))/((-3)/1434). Is l/(-7) - 6/42 a multiple of 16?
False
Suppose f - 11*k + 6*k = 756, 5*k = -4*f + 3024. Does 24 divide f?
False
Let v = 216 - -300. Is v a multiple of 12?
True
Is (-4712)/57*30/(-8) a multiple of 46?
False
Suppose -3*w = 5 - 80. Let u = w + 56. Is u a multiple of 9?
True
Let n = -198 - -302. Does 5 divide n?
False
Let c(k) = -2*k**2 + 51*k - 42. Is 56 a factor of c(23)?
False
Let r(k) = k**2 + 2*k - 19. Let f be r(8). Let t = f + -21. Does 8 divide t?
True
Suppose -35*i - 4056 = -22326. Is 27 a factor of i?
False
Let c = 51 - 77. Let p be (-134)/c - 10/65. Suppose h = p*h - 16. Is 4 a factor of h?
True
Let k(z) = -z**3 - 2*z**2 + 2*z + 1. Let i(p) = 3*p. Let b be i(-2). Let u = b - -3. Does 4 divide k(u)?
True
Let i be ((-42)/49)/((-6)/28). Suppose 47 = i*m - 57. Is 2*(2 + -2 + m) a multiple of 16?
False
Does 14 divide (-13404)/(-45) + 10/75?
False
Let q be (4 - 531) + -2*(-4)/(-8). Is 2/(-10) + 4 + q/(-15) even?
False
Let l = 170 + -35. Does 16 divide l?
False
Let v = 7 + -17. Let m(t) = t**2 + 9*t - 10. Let a be m(v). Suppose -58 = -3*p + s - a*s, 0 = 3*p - 4*s - 43. Is 5 a factor of p?
False
Does 16 divide (-85548)/(-66) - (-8)/(-44)?
True
Let q(c) = -c**3 + 3*c + 7. Let z = 17 - 21. Let i be q(z). Suppose -4*v - 4*r = -36, 4*v - i = -2*r - 13. Is 7 a factor of v?
True
Let f(l) = 15*l**2 - 16*l + 16. Is 31 a factor of f(12)?
True
Suppose 3*o + 411 - 10434 = -3*h, 3345 = h + 3*o. Is h a multiple of 71?
False
Let s be 435/(-2