 366*b. Let c(d) = 6 - 3*d**3 + 11*d + 4*d**3 - 9*d**2 + d. Is 19 a factor of c(b)?
True
Let q = 3939 - 1098. Is q a multiple of 3?
True
Let p be -21 + 0 - (4 - -1 - 2). Let g = -31 + 15. Is 8 a factor of ((-52)/(-2))/(g/p)?
False
Let s(v) = -2*v**2 - 119*v + 349. Is s(-39) a multiple of 4?
True
Let q = 977 - 653. Suppose -q = 2*l - 4*l - w, w = -4*l + 648. Is l a multiple of 12?
False
Suppose 0*j + 200 = -5*j. Let r = j + 69. Let h(q) = 7*q - 23. Is h(r) a multiple of 9?
True
Let s = 313 - 167. Let t = s + -113. Suppose -5*d + 140 = 3*k - t, 2*d - 2*k = 82. Is d a multiple of 8?
False
Let w(o) = 31*o**2 - 78*o + 407. Is 23 a factor of w(30)?
True
Let w(z) = -z**2 + 24*z + 23. Let h(j) = -j**3 + 16*j**2 + 18*j + 6. Let m be h(17). Let i be w(m). Suppose i*k - 156 = 44*k. Is k a multiple of 26?
True
Let x(r) = -3*r**2 - 71*r + 27. Let p be x(-24). Suppose 0 = 4*b + 8, p*b = -0*k - 4*k + 1182. Is k a multiple of 27?
True
Let t(h) = -5*h**2 + 2*h**2 + 2*h**2 + 2*h**2. Let w(i) = -5*i**2 + 2*i + 10. Let d(o) = 6*t(o) + w(o). Does 40 divide d(9)?
False
Suppose 4*u + 132388 - 43172 = 2*d, -5*d = -5*u - 223030. Is 54 a factor of d?
True
Suppose 0 = -3*o - 3*v + 42444, 15*o + 4*v = 14*o + 14163. Does 123 divide o?
False
Let z(x) = 6*x**3 + 19*x**2 - 25*x + 1. Let u(c) = 3*c**3 + 10*c**2 - 13*c + 1. Let h(m) = 7*u(m) - 4*z(m). Is h(-5) a multiple of 10?
False
Let r = 330 + -328. Suppose 2*s - 3570 = -3*s + 5*g, 4*g = -r*s + 1410. Is 12 a factor of s?
False
Let p = -668 - -972. Suppose 20*x - p = 4*x. Does 19 divide x?
True
Suppose 2081484 = 43*g + 307519. Does 37 divide g?
True
Let p(w) = -12 - 13 - 9*w + 7. Let s be p(6). Let o = -12 - s. Is 6 a factor of o?
True
Let m(n) = 31*n**2 + 19*n - 12. Let l be m(-9). Suppose -9*f = -3*f - l. Let i = f + -270. Does 28 divide i?
False
Suppose -2*w + 9 = -1. Suppose -4*g + 24 = 2*i, 4*i + 0*i - 5*g = -17. Suppose -w*r + 288 = m, 6*r - 2*m - 236 = i*r. Is r a multiple of 4?
False
Let j = -12059 - -30203. Does 12 divide j?
True
Suppose 5*k = 2*w + 24792, 10732 = -5*k + 5*w + 35512. Is 20 a factor of k?
True
Let f = 10 - 8. Suppose 0 = -10*h - f*h + 6516. Is h a multiple of 36?
False
Suppose -89*i + 116424 = -62*i. Is i a multiple of 11?
True
Let b(w) = -3*w**3 - 43*w**2 - 46*w - 441. Is b(-23) a multiple of 128?
False
Suppose -4 - 9 = -l. Let f be (-4 + (-13)/(-4))/(6/(-56)). Let d = f + l. Does 10 divide d?
True
Suppose -45111 + 2013 - 53709 = -23*n. Does 183 divide n?
True
Suppose 3*m - 2 = -i, -4*i - 2*m = -m - 8. Let o(f) = f + 18*f - 15 + i*f. Does 22 divide o(7)?
True
Let r(w) = w**2 + 10*w + 19. Let i be r(-2). Is 11 a factor of (i - (3 + 3))*5*-11?
True
Suppose -14*y - 12 = -82. Suppose -z + 46 = 8. Does 6 divide (z - y) + (3 - 0)?
True
Suppose -22490 = -24*u + 38422. Does 54 divide u?
True
Let b(y) = -y**3 + 18*y**2 + 2*y - 1. Let r(a) = 16*a**2 - 1. Let g be r(1). Suppose -g*d = -9*d - 108. Is 5 a factor of b(d)?
True
Suppose -2*t - 87 = u, -2*t - 11*u = -12*u + 81. Is 4 a factor of ((-189)/t)/((-6)/(-28))?
False
Suppose -98 = -x - 98. Suppose 2*g - 2*u + x*u = 4, 5*u - 15 = 0. Suppose w - g*w + 388 = 0. Is 21 a factor of w?
False
Let l = -18 + 11. Let n(z) = -2*z**3 - 19*z**2 + 12*z + 22. Let f be n(-10). Is 27 a factor of 54*((-7)/f)/l?
True
Suppose h - 6*h - 2*f = -36, -24 = -4*h - 4*f. Let x(n) = 58*n - 86. Does 27 divide x(h)?
True
Is 91 a factor of (-11109)/(-2) - 4 - 4/(-8)?
True
Suppose -4*a = 5*p - 3700, -4*p - 3*a + 3705 = p. Let x be (-273)/65*5/(-3). Suppose 0 = -x*b + b + p. Is 31 a factor of b?
True
Let h be (-999)/(-189) - 2/7. Let f be ((-496)/(-7) - -1) + h/35. Does 2 divide 1/(6/f*6)?
True
Suppose 3*t = -41*o + 42*o + 72652, 4*o = 20. Is 26 a factor of t?
False
Let b(s) = 12*s. Let g(v) = -v**3 + 2*v**2 + v + 1. Let a be g(2). Suppose 0 = -3*z - 0*f - f + 20, 2*f = a*z - 5. Is 20 a factor of b(z)?
True
Suppose 0 = -4*j + 4*p + 5076, 2230 + 1572 = 3*j - 4*p. Does 8 divide j?
False
Suppose -3*q - 141 = -c + 107, -c - 3*q + 224 = 0. Does 30 divide c?
False
Let i = -298 + 3887. Does 97 divide i?
True
Let r = -734 - -1074. Let j = -128 + r. Does 14 divide j?
False
Suppose -5*a + 0*v + 105 = 2*v, 3*a - 3*v - 63 = 0. Does 79 divide (-6)/(-36)*a*158?
True
Let a(l) be the third derivative of l**6/60 + 31*l**5/60 + 11*l**4/24 - 23*l**3/6 - 8*l**2 + 6. Does 6 divide a(-15)?
False
Let n(f) = -f**3 + 33*f**2 + 21*f - 37. Is n(32) a multiple of 49?
False
Suppose -4*z + 21 + 8 = h, -4*z = 2*h - 42. Suppose h*o = 17*o - 984. Is 51 a factor of o?
False
Let a(t) = 1998*t**2 + 4*t + 48. Let v be a(-4). Suppose -2*r - v = -27*r. Is 80 a factor of r?
True
Suppose 0 = -237*u - 43*u + 2664302 + 561298. Does 64 divide u?
True
Let k = 4092 - 1763. Is 4 a factor of k?
False
Let z = -220 + 224. Does 42 divide (155 - -5 - 4) + z + -2?
False
Let a be 4*(-1 + (-20)/(-15))*3. Does 25 divide -1 + 382/a - (-111)/(-74)?
False
Let k(a) = a**3 - 13*a**2 + 3. Let u be k(13). Let o be (-9)/u*((-256)/12 - 3). Suppose 70*i + 231 = o*i. Is 11 a factor of i?
True
Let t(p) = 2*p + 10. Let j(s) = -s**2 + 12*s - 29. Let z be j(9). Let w be t(z). Suppose -2*d - 63 = -0*l - l, w = 2*d. Is l a multiple of 7?
False
Suppose -5*t + 34 - 4 = 0. Suppose -12*c - t = -14*c. Suppose c*y + 148 = 385. Is 17 a factor of y?
False
Let u(l) = 47*l**3 - 4*l**2 + l + 2. Let h be u(2). Let d = -253 + h. Does 14 divide d?
False
Suppose 0 = 3*i + 12, 2*s - 3*i = s + 156. Suppose 3*l = q - 58, -3*q + 0*l = -3*l - s. Suppose -q = -b - 0*o - 2*o, 2*b = 3*o + 114. Does 3 divide b?
True
Suppose -75*z + 69069 = -64*z. Is z a multiple of 39?
True
Suppose -2*r - 5*n = -2*n + 51, -104 = 4*r + 4*n. Let d be 1*7*(r - -29). Let x(z) = 15*z + 20. Is x(d) a multiple of 44?
False
Let k(b) = 499*b**2 + 2*b + 222. Is 78 a factor of k(9)?
False
Let j(c) = -840*c + 3224. Is 3 a factor of j(1)?
False
Suppose 3*g + 10105 = z, g + 2*z + 5393 = 2013. Is g/(-6) - (-154)/66 a multiple of 13?
False
Let y = 1437 + -1448. Suppose 2*f - 5*j + 100 = 0, -2*f + f = 3*j + 28. Let z = y - f. Is 13 a factor of z?
False
Suppose 2*o - 6 + 0 = 0. Suppose 6*m + 560 = 5*w + m, -m - 336 = -o*w. Does 11 divide w?
False
Suppose -3*y = o - 4 - 1, -4*y + 10 = 3*o. Let z be ((-1)/(-1))/((-1)/4). Is 19 a factor of 70 - (z - 1) - (-2 + o)?
False
Suppose 0 = b - 8568 - 10491. Is 180 a factor of b?
False
Let p(l) = -7*l + 14. Let h be p(-10). Let c = h - -330. Suppose -j - j - o + c = 0, 3*o = 6. Does 25 divide j?
False
Let x(f) = -13*f**3 - 3*f**2 - 10*f - 9. Let o be x(-4). Suppose 907 - o = u. Is u a multiple of 20?
False
Let r = -416 + 422. Let u be 2/(-8) - (-1108)/16. Suppose 9*v - r*v = u. Is 6 a factor of v?
False
Let n(x) = 2*x**3 + 19*x**2 - x - 90. Let y be n(-9). Suppose -7*d + 14*d - 8631 = y. Is d a multiple of 77?
False
Let u(c) = 7*c**2 + 26*c + 46. Let l be u(-2). Suppose l*s = 31904 - 4162. Is 52 a factor of s?
False
Suppose -2*u = -10, q + 3*q + 2*u = 26. Suppose q*z - 84 = 96. Suppose -49*p + z*p + 324 = 0. Does 22 divide p?
False
Suppose -3*t + 194 = 65. Let h = t + 45. Is 27 a factor of h?
False
Suppose 3*i - 7*i = -64. Suppose -5*b - i*b + 3822 = 0. Does 13 divide b?
True
Suppose 0 = -2*v + i + 5440 - 1444, 0 = 2*v - 4*i - 3990. Is 17 a factor of v?
False
Suppose 0 = 165*a - 8596461 + 3461001. Is 109 a factor of a?
False
Suppose -10260 = -782*m + 776*m. Is m a multiple of 30?
True
Suppose -3*a - a = 5*s - 25, -2*s + 7 = a. Suppose 0 = -3*h + 2*h + 4*x - 21, 3*x - 105 = a*h. Let k = 28 - h. Does 7 divide k?
True
Let r(z) = 2. Let y(h) = 2*h - 41. Let g(w) = -3*r(w) - y(w). Let q(b) = -b**3 - 13*b**2 - 12*b - 17. Let o be q(-12). Is 13 a factor of g(o)?
False
Suppose 28032 = 6*n + 4*q, 4*n = n + q + 13998. Does 217 divide n?
False
Let t(y) = y**2 - 8*y + 14. Let x be t(6). Suppose -h = -x*h - 46. Let z = 67 + h. Is 4 a factor of z?
False
Suppose 124271 = 27*g + 52*g - 102222. Is 2 a factor of g?
False
Suppose 8*l + 5*j = 98755, -2*j = l - 3*j - 12333. Is l a multiple of 20?
True
Suppose 0 = -17*u + 89 - 21. Suppose u*d - 52 = -q + 849, 5*d - 1130 = -2*q. Does 7 divide d?
True
Does 226 divide 78/117*(-81)/(-6) + 34569?
True
Suppose -3*h + 4*d + 4 = 0, 3*d = 4*h - 2*d - 6. Suppose -12 = c + 2*q, 9*q - 22 = h*c + 4*q. Is (c/(-6) - 2)*-39 a multiple of 13?
True
Suppose -z + 5*v 