Let k be f(-4). Suppose -4*b + h - 317 = 0, 0 = 33*b - 32*b + 2*h + 77. Let a = b + k. Is a a multiple of 11?
True
Let g = -21183 + 32766. Is g a multiple of 27?
True
Suppose 0 = 5*b - 13*b - 32. Is 2 a factor of 46 + (b - 0) + 1?
False
Suppose -20*c + 492 = 2*g - 22*c, 0 = 5*g + 4*c - 1185. Let y be (-2)/6 + 20/6. Suppose d + y*d = -j + 52, -5*j - d + g = 0. Does 24 divide j?
True
Let x(f) = 2*f**2 - 4*f + 7. Let k be x(4). Suppose 9549 + 2871 = k*v. Is 18 a factor of v?
True
Let b(o) be the third derivative of 0 - 13*o**2 + 0*o + 7/12*o**4 + 5/2*o**3. Is b(5) a multiple of 9?
False
Suppose 985493 - 146543 = 119*x. Does 15 divide x?
True
Let p(q) = 163*q + 4062. Is p(93) a multiple of 18?
False
Let j(l) = 50*l**2 - 44*l - 390. Is j(-17) a multiple of 133?
False
Let m = -2064 - -1197. Let y = -600 - m. Is y a multiple of 18?
False
Let k(s) = 10*s**2 + 139*s - 24. Is 89 a factor of k(27)?
False
Let v be (7/6)/(-7) - (-2692)/24. Suppose g + v = -35. Let z = g - -211. Is z a multiple of 9?
False
Suppose -7*f + 117798 = 24243. Suppose -49*c = -22*c - f. Is 99 a factor of c?
True
Let g(b) = -b**3 - 52*b**2 - 35*b - 122. Is 38 a factor of g(-54)?
True
Suppose -192*b = -100*b - 1705680. Is 20 a factor of b?
True
Let d(s) = s**3 + 11*s**2 + 6*s + 2. Let k be d(-5). Suppose 3*c - 172 - k = 0. Does 25 divide (-7)/(63/c - (-4)/(-6))?
False
Let u(c) = 3*c + 392. Is u(46) a multiple of 10?
True
Suppose 6*o + 3*l - 2797 = o, 5*l = -5*o + 2795. Suppose 3*g = 5*j + o, -4 = -2*j - 0*j. Suppose 3*s + g = 5*s. Is s a multiple of 19?
True
Suppose 3221 + 247 = 3*q. Let k be (-3)/(-9) - q/(-6). Is 4 + (k - (-1 - 3)) a multiple of 39?
False
Suppose -15*n = 6*n + 27*n - 1091616. Is 166 a factor of n?
True
Suppose -15 + 105 = -5*u. Let r = u + 26. Suppose 5*f = -5*l + 100, -r*l + 3*l = 2*f - 91. Is 4 a factor of l?
False
Let t = 37125 + -16584. Does 41 divide t?
True
Is 18/10*175/(-525) + 69198/5 a multiple of 35?
False
Let g = 382 - 373. Is 10982/g + ((-58)/18 - -3) a multiple of 12?
False
Suppose h = 3*u - 6, 4*u = -5*h - u + 10. Suppose -3*n + 5*n + 28 = h. Let p(g) = -g**3 - 14*g**2 - g - 4. Is p(n) a multiple of 4?
False
Let p be 54/12*8/3. Suppose p*u + 288 = 21*u. Let s = -29 + u. Does 2 divide s?
False
Suppose -178*l + 181*l + 5*h - 215899 = 0, 3*l - 215927 = -h. Does 17 divide l?
True
Suppose d - 49 = 9*u - 8*u, u = 3. Suppose -b + 5*l = -86 - d, 5*l = -3*b + 494. Does 15 divide b?
False
Let p = -18439 + 28843. Is 36 a factor of p?
True
Let u(b) = -25*b + 85. Let y be u(-16). Suppose 0 = s - 3*h - h - 106, 5*s - y = 5*h. Is s a multiple of 9?
False
Does 141 divide 222492/15 + 1 + (-99)/55?
False
Let g(a) = a**3 + 6*a**2 - 3*a - 4. Let v(q) = q + 4. Let m be v(-1). Let c be g(m). Let y = c + 42. Does 18 divide y?
False
Suppose -4*w = -2*w - 16. Suppose -t + w*t = 476. Let q = -18 + t. Is 9 a factor of q?
False
Let r be ((-38)/(-3) + -2)*18. Suppose 2*q + 3*g = 96, -2*q + 5*g - r = -6*q. Let u = 74 - q. Is u a multiple of 3?
False
Suppose o - 696 = 4*o. Let r be o/(-3) + (-4)/(-18)*3. Let t = 90 - r. Is t a multiple of 12?
True
Suppose -2*k - 2968 = -6*k - 5*u, -2*u = 3*k - 2219. Does 40 divide k?
False
Let f = 5721 - 2955. Is f a multiple of 79?
False
Let a = 56 + -113. Let m(t) = t**3 + 5*t**2 - 9*t - 11. Let l be m(4). Let b = a + l. Is b a multiple of 3?
False
Let g(o) = 2*o**2 + 11*o + 5. Let s be g(-4). Is 32 a factor of 288 - (1 + s - -6)?
True
Is 1/4 - (1/14)/((-6)/227787) a multiple of 42?
False
Suppose 12 - 48 = -12*r. Is 2 a factor of r/18 + (-11)/(-6) + 1?
False
Let k(r) = -r**3 + 5*r**2 + 6*r + 4. Let v be k(5). Let q(d) = -35*d + 15 + 67*d - v*d. Does 3 divide q(3)?
True
Suppose -2*o + 0*o + 28 = 2*z, z + 4*o - 20 = 0. Let c(b) = b**2 + b - 21. Is 45 a factor of c(z)?
True
Suppose 0 = -b + 2*l - 5*l + 14380, 3*l - 28745 = -2*b. Is b a multiple of 221?
True
Let u be 6/(-30)*(-6)/(18/(-15)). Is 147/6*u/(63/(-180)) a multiple of 6?
False
Suppose -5*w + 3*w + 24 = -2*n, 0 = 4*w - 2*n - 44. Suppose -w*s = -4*s - 24. Suppose -1 = -s*o + 123. Does 10 divide o?
False
Suppose -2*i + 14 = k - 0*i, 3*k - 3*i = 15. Suppose -k*q = 3 - 251. Suppose -q = -5*v + 24. Is v even?
False
Suppose z = -3*y + 4053, -3*z = -y - 17878 + 5719. Suppose -5*c + 3*v = -4041, 0*v + z = 5*c + v. Does 30 divide c?
True
Let f(r) = -r**3 - 7*r**2 + 5*r - 18. Let w be f(-8). Suppose 5*k - w*i + 15 = -i, 0 = -3*k - 3*i + 15. Does 22 divide (56/6 - -6)/(k/3)?
False
Let j(p) = -p**3 + 13*p**2 + 48*p + 4. Let c be j(16). Suppose 0 = 2*v - c*n - 62, 0*v = 4*v - 3*n - 119. Is v a multiple of 2?
False
Suppose -430*c + 406*c = -86400. Is 30 a factor of c?
True
Suppose -3*v = k + 22, -k = 4*v - 6*v - 3. Let h(c) = 2*c**2 - 9*c - 41. Is 24 a factor of h(k)?
True
Suppose -2*o - 31 = o + x, 5*o - 5*x + 25 = 0. Is 9*6/o + (-8472)/(-12) a multiple of 35?
True
Is 3 a factor of (-9 + (5 - (-12)/(-6)))*(-2840)/16?
True
Let l(i) = i**3 + 10*i**2 + 2*i + 19. Let n be l(-10). Let g be (642/(-2))/3 - n. Let v = g + 154. Does 24 divide v?
True
Let c(s) be the second derivative of s**5/5 - 5*s**4/4 + 11*s**3/6 - 2*s**2 - 3*s. Is 10 a factor of c(7)?
True
Let q(f) = f**3 - 27*f**2 + 3*f + 19. Let k be q(28). Let p = k - 487. Does 16 divide p?
True
Suppose -5*i = f - 955 - 12050, i - 2587 = -3*f. Is 37 a factor of i?
False
Let w(u) = -u**3 + 11*u**2 - 12*u - 6. Let j be w(9). Is 16 a factor of j/32*(-64)/(-3)?
True
Let z = 22837 + -9298. Suppose z = 14*y - 3709. Is y a multiple of 9?
False
Let q(z) = 17*z**2 - 91*z - 199. Is q(-16) a multiple of 10?
False
Suppose 13*m - 14*m = -169. Suppose -4*a - m + 1819 = 5*t, -5*t = -4*a + 1670. Suppose -4*w - 158 = -2*v, -5*v + a = 4*w - 9*w. Does 29 divide v?
True
Let i be (2/6)/((-1)/(-27)). Suppose i*c = 13*c. Suppose c = j - 126 + 30. Is j a multiple of 22?
False
Let r be (4*(-5)/10)/(-1). Suppose -t = 3*o - 1089, r*t = -3*o + o + 722. Is o a multiple of 26?
True
Suppose -4*s - 32 = i - 2*s, -2*s = 2*i + 62. Let c be -7*(-7)/((-98)/(-24)). Is (108/(-16) - (-9)/c)*i a multiple of 15?
True
Let f(i) = -i**3 + 7*i**2 + 22*i - 12. Suppose -o + 6*o - 42 = -3*n, -5*n + 4*o = -33. Is 12 a factor of f(n)?
True
Suppose 12*y + 2696 - 20821 = 13339. Is y a multiple of 23?
True
Let s(d) = 2*d**2 - 8*d. Suppose f + 0 = 11. Suppose 0 = -6*w - 13 - f. Does 18 divide s(w)?
False
Suppose -16087 + 5759 = -22*p + 11540. Does 14 divide p?
True
Suppose b - 5*c - 24624 = 0, -4*c + 44978 + 53518 = 4*b. Does 72 divide b?
True
Let w(y) = -948*y + 216. Does 20 divide w(-6)?
False
Let a = 5010 - 3501. Suppose -8*v = -5589 + a. Is 34 a factor of v?
True
Let c = -124 + 32. Let z = c - -272. Is z a multiple of 15?
True
Let q(c) = c**3 + 103*c**2 + 271*c + 40. Is 19 a factor of q(-100)?
False
Suppose -4*r + 4*a = 1440, 2*a - 3*a - 1782 = 5*r. Let j = r - -669. Is j a multiple of 39?
True
Let h = -444 - -444. Suppose h = t + 11*g - 12*g - 582, -5*t + g + 2926 = 0. Is t a multiple of 33?
False
Let j(i) = -i**3 + 4*i**2 + 13*i - 6. Let l be j(6). Suppose l = -4*n + 2*w + 2 + 12, -5*n + 2*w = -18. Suppose -3*q + n*q = 48. Is 22 a factor of q?
False
Let s(z) = -z**3 - 10*z**2 - 8*z + 31. Let g be s(-12). Suppose 5*u - 349 = 4*b + g, -4*u - 2*b + 632 = 0. Is 12 a factor of u?
True
Suppose 1406 + 4264 = 30*h. Let j = -178 + h. Does 10 divide j?
False
Let p(i) = 209*i**2 + 18*i - 36. Is 31 a factor of p(2)?
False
Let r(x) be the third derivative of -7*x**4/4 - 7*x**3/3 + 160*x**2. Does 14 divide r(-15)?
True
Let l(u) = -u - 3. Let s be -2*4 - (3 + -5). Let o be l(s). Suppose -2*n - 98 = -4*n + o*f, 0 = -4*n - 4*f + 216. Is n a multiple of 13?
True
Suppose -12 = -2*o - 2*y, -5*o + y - 3*y + 27 = 0. Suppose 29*c = o*c + 12984. Is c a multiple of 72?
False
Suppose 356*p + 14231 = 363*p. Does 9 divide p?
False
Let y = -311 - -774. Let g be ((-30)/(-9))/((-2)/(-3)). Suppose -g*s - 3*b + y = 192, -s + 2*b = -62. Does 14 divide s?
True
Let s(m) = 22*m**2 - 29*m + 586. Does 123 divide s(-38)?
True
Let w be (-6)/8*(-54 + 42). Let u(y) = 48*y - 9. Let h be u(8). Suppose 174 = w*g - h. Is 14 a factor of g?
False
Let s = -5229 - -11087. Is 101 a factor of s?
True
Let h = 10218 - 5973. Is h a multiple of 32?
False
Suppose 4*c = 4*o - 16, -o + 18 = -4*c + 2. Let w(i) = -i**2 - i + 135. Is w(o) a multiple of 15?
Tr