q(b) = -4*b - 36. Let c be q(-15). Suppose t = c - 14. Suppose 9*s + 208 = t*s. Is 52 a factor of s?
True
Suppose 42*w - 44*w + 74359 = -5*b, 148676 = 4*w - 4*b. Does 16 divide w?
False
Suppose 4*b = -5*y + 37, -46 = -5*y - 2*b - 15. Let t = 172 + y. Is t a multiple of 3?
True
Suppose 7*u = 35 - 14. Suppose d - 196 = -u*k, -184 + 544 = 2*d - 2*k. Does 8 divide d?
True
Let q be 177/(((-1)/(-2))/(6/(-12))). Let p = -62 - q. Let s = p + 16. Does 24 divide s?
False
Let m(n) = -n**2 + 3*n - 2. Let z be m(1). Suppose 4*t + c + 270 = z, 6 = 5*c - 4. Let k = t - -242. Does 27 divide k?
False
Suppose -11*x - 41 = 410. Let r = x + 40. Does 8 divide (-4)/3*(r + 244/(-8))?
False
Does 4 divide (-14)/(-42)*35220 + 21?
False
Is 18 a factor of (0 + (-78462)/63)*-7?
False
Suppose 15*k + 110 = 4*k. Let o(i) = -52*i + 26. Does 52 divide o(k)?
False
Is 1176/(-18)*(-6 - -7 - 70) a multiple of 7?
True
Let a(q) = -q**2 - 5 - 30*q - 12*q**3 + 68*q - 45*q. Is 13 a factor of a(-1)?
True
Let n(l) = -l**2 + 6*l + 5*l**2 - 1 - 9*l + 50*l**2. Is 19 a factor of n(2)?
True
Let b be (4 - -16)*((-408)/10)/(-3). Let x = b + -38. Is 78 a factor of x?
True
Let z(n) = -n**3 - 23*n**2 - 42*n - 1140. Is z(-27) a multiple of 29?
False
Let q(d) = d**3 + 46*d**2 + 84*d + 196. Is 22 a factor of q(-44)?
False
Let s be 2/8 - ((-66)/24 + 6). Does 12 divide (-36 - 3)/s - (0 - -1)?
True
Suppose 39*p - 738067 = 191342. Is p a multiple of 48?
False
Suppose 0 = -5*c - 5*u, -4*c = -3*c - 3*u. Let v be (c - (-2)/8)*0. Suppose v = -j + 6 + 30. Is 12 a factor of j?
True
Let h(s) = s**3 + 8*s**2 - s - 3. Let b be (-3 + -3)/(3/4). Let l be h(b). Let i = l - -93. Is i a multiple of 22?
False
Does 13 divide (2 - 42)/8 + 63272/8?
True
Let x = 15786 + -13689. Is 9 a factor of x?
True
Let b(q) be the first derivative of q**6/360 + 2*q**5/15 + q**4/24 - 13*q**3/3 - 11. Let t(u) be the third derivative of b(u). Is t(-17) a multiple of 3?
True
Let v = -6 + 3. Let a(u) = u**3 - u**2 - 1. Let d(f) = 4*f**3 - 8*f**2 + 9*f - 10. Let c(r) = v*a(r) + d(r). Does 13 divide c(5)?
False
Let t = -340 - -871. Suppose t + 414 = 3*i. Does 9 divide i?
True
Suppose -c + 2*b + 13829 - 4166 = 0, -5*c + 4*b = -48333. Does 64 divide c?
False
Suppose -17 = -5*u + 13. Let r(v) = 11*v**3 - 12 + 15*v - 9*v**3 + 5*v**2 - v**3 - 11*v**2. Does 19 divide r(u)?
False
Suppose -5*a + 3*w + 88191 = 0, 5*a + 58*w = 53*w + 88215. Is a a multiple of 98?
True
Is (-1003275)/(-910)*(-32)/(-30)*(-9)/(-12) a multiple of 9?
True
Suppose 2*q = 5*y + 33, 3*q + 3*y - 5*y - 22 = 0. Let t(r) = 7*r + 7. Let s be t(q). Does 7 divide 4/(1*2 + (-56)/s)?
False
Let f(a) = -4605*a**3 + 21*a**2 + 29*a + 61. Is f(-2) a multiple of 99?
True
Let z(l) = 1. Let m(f) = -34*f + 26. Let s(d) = -m(d) + 6*z(d). Let c be s(5). Let n = c + -85. Is n a multiple of 13?
True
Let t(v) = -13 - 25*v**2 - 4*v + 0 - 4*v + 24*v**2. Let u be t(-5). Suppose 0 = -w + 1, 2*w = 4*r - u*w - 44. Is r a multiple of 3?
True
Let w = 4505 - -1298. Suppose 4*a - 3*y = w, 0*y - 2*y - 5806 = -4*a. Is a a multiple of 52?
False
Let v(u) be the third derivative of u**5/60 - 7*u**3/3 + 134*u**2. Does 31 divide v(-13)?
True
Is 37 a factor of (-139)/1*(1665/9)/(-5)?
True
Let b(j) = -67*j - 29 + 18 - 6*j - 6 + j**3 - 5 + 34*j**2. Does 2 divide b(-36)?
True
Let r(p) = -3*p**2 - 5*p - 6. Let u be r(-3). Let n = -17 - u. Does 13 divide (78/24)/(n/20)?
True
Let y be -2 + -3 + 3 + 0 + 1. Suppose c = -c + 2*d + 6, 6 = 2*c + 3*d. Is 13 a factor of (-43)/(1 - y/(-2)*c)?
False
Let g be 2 - (2296/(-36) + (-2)/9). Suppose f - 70 + g = 0. Suppose 11 = -4*o + f*u + 27, -4*o + 16 = 2*u. Is o a multiple of 4?
True
Is -4*-8781*(-6)/(-72) a multiple of 47?
False
Let x be (-1 + 63 - 2)*-3. Suppose 3*r - 18*r - 5040 = 0. Let k = x - r. Is k a multiple of 21?
False
Let n be 4/8*3*2. Does 13 divide (n/(-2))/((-12)/176)?
False
Let u(v) = 17*v - 336. Is 38 a factor of u(83)?
False
Let p(c) = c**2 - 3*c - 31. Let d be p(7). Let u(n) = 8*n**2 + 10*n + 6. Let z be u(d). Let s = 84 - z. Is s a multiple of 15?
False
Let m = 57842 - 41277. Does 269 divide m?
False
Let x(w) = w**3 - 13*w**2 - 4*w + 54. Let p be (-1)/5 + 66/5. Let k be x(p). Suppose 195 = o + k*o. Is 25 a factor of o?
False
Suppose 5*d + 3*x - 8863 = 0, -2*d + 490*x + 3540 = 486*x. Is d a multiple of 2?
True
Let n = 83 + -85. Let p be (1*(-52)/(-8) - 1)*n. Let y(k) = -k**3 - 10*k**2 + 4*k + 14. Does 7 divide y(p)?
True
Suppose 0 = -4*w + 9 + 11. Let n(d) = 7*d**2 + 36*d + 23. Let i be n(-5). Suppose -w*y = i - 858. Is y a multiple of 42?
True
Let r(s) = 3 + 45*s**2 + 47*s**2 + 9*s - 122*s**2 + 8 + 38*s**2. Is 19 a factor of r(-3)?
False
Suppose 7*v - 5*v - 220 = 0. Is 5 a factor of 13442/v + 18/(-15)?
False
Let f = -19 - -22. Let y be (-22 + 20)*(f/(-2) + -1). Let d(j) = -j**3 + 6*j**2 + 10*j + 5. Is 16 a factor of d(y)?
True
Let p(f) = -2*f**3 - f**2 + 20. Let y be p(0). Suppose -j = -0 - 4. Is y + (-4 - (0 - j)) a multiple of 5?
True
Let q be (-5)/45*-3*9. Suppose 2*v - 3*w = 194, -q*w = v - 0*w - 115. Is v a multiple of 5?
False
Let j(p) = 47*p + 17. Let y be j(10). Suppose h - 124 = k, -4*h - 4*k + 5*k = -y. Is h a multiple of 29?
False
Suppose 0 = -4*i + 2*d + 181980, d - 30289 - 60693 = -2*i. Is 97 a factor of i?
True
Let k = -118 - -48. Let g = k - -113. Is 7 a factor of g?
False
Suppose 3*i + 2*d = 15970, 10*i - d = 14892 + 38395. Does 74 divide i?
True
Let s(b) = b**3 + 13*b**2 + 18*b + 12. Let x = 85 + -94. Let h be s(x). Suppose -y = 2*y - h. Is 29 a factor of y?
True
Let r(w) = 5*w - 58. Let i be r(13). Suppose i*c = 71 + 279. Is 12 a factor of c?
False
Let c(p) = -3*p**3 - 89*p**2 + 10*p - 119. Is c(-30) even?
False
Let g = 983 + -1797. Let y = g + 1626. Is 29 a factor of y?
True
Suppose 2*c - 896 = -2*c. Let r be (-2)/6 + c/24. Suppose 86 - 1292 = -r*g. Is 23 a factor of g?
False
Let b = -42 + 44. Let h be (-1)/b - 1/(-2). Suppose h = 7*o - 6*o - 31. Does 13 divide o?
False
Suppose 1068 = -9*h + 12*h. Let o(x) = x**3 + 11*x**2 - 17*x - 62. Let s be o(-12). Does 23 divide (-6)/(s + h/184)?
True
Let x(d) = d**2 + 34. Suppose 241 - 259 = -2*z. Is x(z) a multiple of 20?
False
Let f(k) = 140*k**2 - 72*k + 356. Does 7 divide f(-12)?
False
Let r(v) = 0*v - 13*v + 350 - 5*v**2 - 356 + 41*v**2. Is 19 a factor of r(3)?
False
Suppose 728 = -3*a - 5*r, 4*a - 3*r = -4*r - 948. Let d = a - -676. Suppose 202 + d = 6*s. Is s a multiple of 53?
False
Does 13 divide (0 - 4/((-16)/60))/((-116)/(-52780))?
True
Let c(h) = -3*h - 12. Let y be c(-8). Let k(x) = -x + 91. Let m be k(5). Let v = m + y. Does 15 divide v?
False
Let h be -12*(-117)/144*104/6. Does 26 divide ((-56)/98*-14)/(1/h)?
True
Let a be (-10)/15*6936/(-16). Suppose -3*z + 416 + a = 0. Does 10 divide z?
False
Let a = 135 + -84. Let i = 27 + a. Let o = 95 + i. Is o a multiple of 33?
False
Suppose x + 3*b = 11583, -140*b + 46360 = 4*x - 135*b. Is 68 a factor of x?
False
Let w be (-440)/(-16)*(-28)/(-35). Suppose -9*g + w*g - 3120 = 0. Does 11 divide g?
False
Let q be 6962/(-6)*102/(-34). Suppose 5*z - 25 = 0, 5*f - z = 2*f + q. Is f a multiple of 14?
True
Let n(h) = -12*h**3 - 38*h - 477. Is 46 a factor of n(-9)?
False
Let v(c) = -38 - c**3 - 2 - 30*c**2 + 16 + 28*c - 32. Is 12 a factor of v(-31)?
False
Suppose -55 = d - 11. Let n = d + 45. Suppose 0 = h + n + 2, -3*h = -3*u + 63. Is 5 a factor of u?
False
Let i(y) = -y**3 + 49*y**2 - 40*y - 112. Let z(q) = -q**3 + 19*q**2 + 42*q + 48. Let h be z(21). Does 23 divide i(h)?
False
Let l = 56 + -50. Suppose l*h + 0*h + 66 = 0. Let u = h - -23. Is u a multiple of 6?
True
Suppose -2*x - 5*u - 22 + 93 = 0, -2*x + 41 = -5*u. Suppose 0*v = -4*v + x. Is v a multiple of 4?
False
Suppose -440 = -4*k - k. Let a be 33/k + 29/8. Suppose 30 = a*f - 58. Is 3 a factor of f?
False
Let a(c) = c**3 + 32*c**2 + 37*c - 30. Let j(h) = -4*h + 6. Let g be j(9). Is 20 a factor of a(g)?
True
Let z = 9040 + -2967. Is 60 a factor of z?
False
Let f be 9/2*(-6)/(-9). Suppose 6*d = f*d - 237. Let u = -35 - d. Does 8 divide u?
False
Suppose -3*t + 16197 = v + 6423, -3*v + 2*t + 29344 = 0. Is v a multiple of 34?
False
Let w be (2 - 2)*(-5)/(-15)*-3. Suppose 4*q + 12 = -v, v + q = -w*v. Suppose -5*x + 94 = v*h - 2*h, 0 = 3*x + 3*h - 51. Does 20 divide x?
True
Let p(t) = t**3 - 66*t**2 - 137*t