(-64 - 5)*(-88)/6. Let o = h - 528. Is o a multiple of 22?
True
Let z be (-40)/(-260) - (-3980)/(-13). Let y = z + 514. Is 13 a factor of y?
True
Let v = -11153 + 16378. Does 5 divide v?
True
Suppose 4*b - 9*n - 236 = -5*n, -2*b - 5*n + 125 = 0. Is b a multiple of 60?
True
Suppose -2*z + k = -256, 4*z - z + 5*k = 397. Suppose 35 - z = -2*a. Suppose 0 = g + 2*m - 39 - a, 3*g = -2*m + 270. Does 8 divide g?
False
Let l = 14626 - 7426. Does 90 divide l?
True
Suppose 2*h = 34 + 2. Let t = -16 + h. Suppose -3*d + 295 = 5*p, t*p + 2*d = d + 117. Is p a multiple of 14?
True
Let c(j) be the third derivative of 0 + 215/6*j**3 + 5*j**2 - 1/8*j**4 + 0*j. Is 21 a factor of c(0)?
False
Suppose 18 - 80 = -4*z + 5*c, -2*z + 42 = 3*c. Let m be (1/(-2))/(z/(-10260)). Suppose 0 = 4*p + 6*n - n - 228, 5*p = -4*n + m. Is p a multiple of 25?
False
Suppose 265 = -11*c - 197. Suppose f = 39 + 21. Let x = c + f. Is x a multiple of 6?
True
Let y(u) = -5*u - 40. Let n be y(-10). Suppose -1048 = -14*d + n*d. Is 37 a factor of d?
False
Let d(p) = 3*p**2 + 6*p + 2. Let j(y) = y**3 + 7*y**2 + 13*y + 4. Let k(n) = -13*d(n) + 6*j(n). Is 21 a factor of k(2)?
False
Suppose 29*m - 24*m - 75 = 0. Let h(z) = -z**2 + 14*z + 4. Let s be h(m). Does 5 divide (s/(-3))/(3/27)?
False
Suppose -2*o = -3*k + 160, 2*o - 2*k + 235 = 73. Let c = o + 88. Suppose 0 = -c*l + 24 + 326. Does 14 divide l?
True
Let m(b) = 5*b**2 + 138*b - 5391. Does 13 divide m(122)?
True
Let z(s) = -95*s**3 - s**2 + 2*s + 3. Let v be (0 + -6)*(14/(-3) - -4). Suppose 3*l = -v + 1. Is 22 a factor of z(l)?
False
Suppose 0 = 4*r - 4*i - 55497 + 729, -i + 4 = 0. Does 16 divide r?
True
Let s(v) = -5*v**3 - v**2 + 3*v + 2. Is 13 a factor of s(-2)?
False
Let n(w) be the third derivative of 7*w**5/60 - 5*w**4/12 - 2*w**3 - 8*w**2. Let x be n(-4). Suppose -2*v = 4*a - 306, 3*a = v - x - 23. Does 16 divide v?
False
Let f = -8 + 7. Let y = -5 - f. Does 39 divide (-670)/y + 2/4?
False
Let f(j) = 3429*j + 11514. Is f(14) a multiple of 30?
True
Suppose -3*c - g + 1 = 38, 2*g + 50 = -4*c. Let a(x) = 5*x + 54. Let t be a(c). Let p(q) = 3*q**2 + 11*q - 10. Does 16 divide p(t)?
True
Let a(i) = i**3 + 20*i**2 + 33*i - 27. Let f be a(-18). Suppose -26*o = f*o - 34026. Does 13 divide o?
False
Let m(n) = n**2 + 2*n + 155. Let x(b) = -b**2 - 5*b - 6. Let w be x(-3). Is 13 a factor of m(w)?
False
Let b be 961/6 - 7/42. Let m = 253 - b. Does 3 divide m?
True
Let x(v) = v**3 + 6*v**2 - 3*v + 2. Let o be x(5). Let l = o + -476. Let k = l + 401. Is k a multiple of 17?
True
Let l(v) = 4*v**2 - 122*v - 58. Does 104 divide l(61)?
True
Suppose 2*p - 7 = 3*p. Let t be 0/((-4)/(-1)*p/28). Suppose 2*k + t*k = -2*h + 98, 52 = k + 4*h. Is 7 a factor of k?
False
Let l be (-4 + (-110)/(-25))/(1/(-1060)). Let y = l + 875. Does 41 divide y?
True
Let f(v) = v**2 - 18*v + 7. Let d(i) = -i**2 + 17*i - 6. Let n(r) = -4*d(r) - 3*f(r). Let c be n(14). Suppose -13 = c*w - 64. Is 7 a factor of w?
False
Suppose -2 = -2*i + 4*d - 0, 0 = -i - 5*d - 20. Let j(l) = -35*l - 1. Let t be j(i). Suppose t = w + 2*w. Is 29 a factor of w?
True
Let z(j) = 3*j**3 - 18*j**2 + 7*j + 20. Let r be z(8). Does 16 divide r/6*(-360)/(-100)?
False
Let h be 2/(6 + (-9820)/1635). Is -12 - h - (-1 + -4) a multiple of 16?
True
Let x = -3396 - -10434. Is x a multiple of 23?
True
Let l = 455 + -244. Let c be 1*-3 + (-5488)/49. Let b = l + c. Is b a multiple of 16?
True
Let z(i) = 4*i + 86. Let u be z(14). Let m = 577 - u. Is 15 a factor of m?
True
Let x = 627 + -445. Let b = 312 - x. Does 16 divide b?
False
Suppose -14*f = 26*f - 480. Suppose -5*g - 6384 = -f*g. Does 19 divide g?
True
Suppose 3045 = 3*u - s - 2552, 4 = 4*s. Is 122 a factor of u?
False
Let v = -2982 - -10560. Is v a multiple of 9?
True
Let z = 2063 - 778. Is 49 a factor of z?
False
Let n = 4 + 0. Suppose s = -5*c - 4, 111*c = 3*s + 107*c - 64. Suppose 2*j - 104 = 4*v, j + n*v - s = 36. Is 13 a factor of j?
True
Let v(u) = 2*u**2 + 38*u + 38. Let m be v(-18). Suppose m*i + 533 = 3*i. Is i a multiple of 13?
True
Suppose 5*r + 25 = 0, 0*k - 3*k + 4*r + 38 = 0. Suppose -p + k = -y, 3*p + y + 19 = 53. Is 35 a factor of (-982)/(-7) + p/(-35)?
True
Suppose 11*o = 21*o - 50. Suppose -z - 16 = -o*i + 250, 0 = -2*z - 2. Is 3 a factor of i?
False
Let m(w) = -w**3 - 69*w**2 - 1449*w + 43. Does 33 divide m(-54)?
False
Let f(w) = 27*w - 25. Let v be f(-4). Let u = 139 - v. Is 17 a factor of u?
True
Let l(o) = -63*o + 811. Is 16 a factor of l(-32)?
False
Let j(c) = 16*c + 7. Let g(o) = 15*o + 8. Let x(w) = -4*g(w) + 5*j(w). Let v be x(4). Let d = -31 + v. Does 13 divide d?
True
Suppose 9*n - 4062 = 19419. Is n a multiple of 78?
False
Is ((-1675)/50)/(3 - 1655/550) a multiple of 22?
False
Let b(k) = 64*k**2 + 2*k - 8. Let f(d) = 127*d**2 + 5*d - 17. Let c(n) = 5*b(n) - 2*f(n). Is c(3) a multiple of 12?
True
Suppose 0 = -2*f - 213 + 83. Let l = f - -65. Suppose l*h = -3*t - 2*h + 94, 0 = 5*h + 5. Is 29 a factor of t?
False
Suppose -q + 5*i + 4639 = 0, 31*i + 13947 = 3*q + 26*i. Is 9 a factor of q?
False
Let n(j) = 3*j**2 - 18*j + 43. Let h be n(3). Suppose -h*m = 1873 - 6353. Is 14 a factor of m?
True
Is 2/(-14)*(-1450841)/203 a multiple of 13?
False
Let c(o) = -8*o + 3. Let x be c(-1). Suppose 4*b - 16 = -4*m, -3*b + m + x = 5*m. Suppose 3*f = -b*g + 35, 0 = 3*f - 2*g - g - 27. Is f a multiple of 3?
False
Let h(w) be the third derivative of 8*w**5/3 + w**4/12 - w**3/6 - 15*w**2. Let a be h(1). Suppose -6*v + 169 = -a. Does 11 divide v?
True
Suppose -4*w - 3 = -15. Suppose -1272 = -2*z + 3*v, -1898 = -w*z - 0*v + 2*v. Does 45 divide z?
True
Suppose 0 = -2*g + 322 - 100. Let p = g - 15. Is p a multiple of 24?
True
Does 4 divide 19905/45 - 10/(-15)?
False
Let j = 17 + -87. Let y = j - -67. Is y/(7 + -6 - 28/25) a multiple of 15?
False
Let n(t) = 24*t**2 - 2. Suppose 3*x - 2 = -4*z - 0, 5*z + 14 = -x. Suppose 11*b + 15 = x*b. Is n(b) a multiple of 14?
False
Suppose 168*b - 117078 = 319676 + 361582. Is 36 a factor of b?
True
Suppose -3*n - 3*z = -6, -n + 13 = -2*z - 1. Let y be -6 + 30/n - -2*2. Suppose y*u - 159 = 2*x + x, 100 = 2*u - 4*x. Is u a multiple of 7?
True
Let x(i) be the first derivative of -203*i**3/3 + 7*i**2/2 + 6*i - 9. Let d be x(-1). Does 15 divide (80/32)/((-2)/d)?
True
Let r = -26512 + 46374. Is r a multiple of 115?
False
Suppose 5 = -4*k + 29. Suppose -3*n + o - k = -23, o = -5*n + 15. Suppose -n*l = 4*y - 116, 7 - 1 = -2*y. Does 8 divide l?
True
Let j(t) = 24*t + 271. Let q = -349 + 340. Does 7 divide j(q)?
False
Suppose 1248*r - 1279*r = -410564. Does 127 divide r?
False
Suppose 5*c - 2*n = 6*c - 2940, 0 = -2*c + 5*n + 5880. Is c a multiple of 13?
False
Let h(k) = -k**3 + 22*k**2 + 33*k - 29. Is 66 a factor of h(17)?
False
Let b(m) = -2*m**3 + 29*m**2 + 200*m + 45. Is b(18) a multiple of 25?
False
Let o(m) = m**2 - 2. Let w be o(2). Does 22 divide 75/(-100) - (-323)/8*w?
False
Let o(z) = -z**3 + 7*z**2 - 9*z + 12. Let f be o(6). Let c(y) = -47*y - 184. Does 2 divide c(f)?
True
Let z = -9350 - -14502. Does 45 divide z?
False
Suppose 4*r - 2 = -38, k - 4*r = 27646. Is 10 a factor of k?
True
Let t = 9 + -5. Suppose 0 = -6*r - t + 28. Suppose -5*d = -6*d - i + 33, r*d - 126 = -2*i. Is 11 a factor of d?
False
Suppose 3*n = -0*f + 5*f + 11, 2*n + f = 16. Let a(d) = 2*d**2 + 4*d - 92. Does 6 divide a(n)?
False
Let p(m) = -m + 20. Let a be p(16). Suppose -15*b - 656 = -17*b + a*c, -5*b = 5*c - 1655. Does 55 divide b?
True
Let p(c) = c**3 + 13*c**2 - 11*c - 19. Let q be p(-14). Let y = 1458 + q. Is y a multiple of 12?
False
Suppose 0 = -3*q + 3*r + 954, -922 = -114*q + 111*q - r. Does 31 divide q?
True
Let i = -29548 + 41584. Does 7 divide i?
False
Suppose -28*d = -8*d + 3740. Let b = 294 - d. Is 54 a factor of b?
False
Let x = -10221 - -16271. Does 10 divide x?
True
Let x(t) = 15*t**2 + 2*t - 12. Let c(a) = 75*a**2 + 10*a - 59. Let q(z) = -2*c(z) + 11*x(z). Is 32 a factor of q(5)?
False
Let k = -124 - -237. Let f = -180 + k. Let o = 219 + f. Is 8 a factor of o?
True
Let t(w) = 84*w + 75. Let r be t(-10). Let j = r + 1287. Is 18 a factor of j?
True
Suppose 5*q - 348 = 6*u - 10*u, -q + 2*u = -78. Let i = q - 68. Suppose 4*h - 255 = -h + y, -i*y + 204 = 4*h. Does 3 divide h?
True
Is 13 a factor of ((-2)/6)/(34/510) - -4990?
False
L