et x = 252 - 80. Let h = 38 + x. Is 14 a factor of h?
True
Let w be -4 + 2/(-3) + 358/6. Let m(s) = -s**3 - s**2 + 3*s - 4. Let y be m(-3). Suppose 450 + w = y*t. Is 11 a factor of t?
False
Is 12 a factor of -159 + 1683 + 0 + 5 + 0?
False
Let x = -225 - -1535. Does 22 divide x?
False
Let j(q) = -q**2 + 25*q + 55. Let g be j(27). Does 13 divide (99*g)/((315/40)/21)?
False
Let c be 6 - (-5 + 7 + (-24)/(-3)). Is (-3)/c - 371/(-28) a multiple of 6?
False
Let r be -3 + (-6)/2 - 189. Let v = r + 413. Is 25 a factor of v?
False
Suppose -59*u + 58*u = f - 11821, -f = -u - 11823. Does 27 divide f?
False
Suppose 0 = 4*d - 8, 40*d - 38*d = -2*z + 7420. Does 12 divide z?
True
Suppose -a - 159 = -7058. Is a a multiple of 29?
False
Suppose -7584 - 36952 = -8*d. Does 19 divide d?
True
Suppose 11*c = 6*c + 240. Suppose 47*l + 367 = c*l. Does 13 divide l?
False
Let h be -6*(1 + (-5)/(-15)). Let p be (-76)/(-10) + h/(-20). Is (-88)/(-4) + -6 + p a multiple of 8?
True
Let p(v) = 8*v + 417. Let b be p(-53). Let f(y) = -6*y - 24 - 3*y - 8*y. Is 19 a factor of f(b)?
True
Let b = 493 - 484. Suppose 34*o + b*o = 3870. Is o a multiple of 10?
True
Suppose -u + 19 = 5*t, 3*t + 2*u = 4*t + 5. Suppose -t*j - 6 = -18. Let d(z) = z**3 - 3*z**2 + 7*z - 3. Is 30 a factor of d(j)?
False
Let d = -328 + 330. Is (-302)/(d + -4) - (0 + 4) a multiple of 21?
True
Let u be -75*(-2)/6*4. Let m(i) = 2*i**2 - 7*i - 1. Let c be m(4). Suppose -3*w + c = 0, 4*y + 4*w - u = -0*y. Is 13 a factor of y?
False
Let y be (-9 + (-118)/(-10))*1*-10. Is (3 - 45/6)*y a multiple of 9?
True
Let w be (5 - 57/6)/(1/14). Let j = -21 - w. Suppose -2*u = 5*k - 339, -18 = -k - 3*u + j. Is 20 a factor of k?
False
Let k be (2 - 1)/(5*(-3)/(-315)). Let y be 6/k - ((-6096)/28 + -3). Suppose -5*v = -y + 21. Does 11 divide v?
False
Suppose -168*a = -50*a - 1632176. Is a a multiple of 76?
True
Suppose -l = -6*l + 3*m + 96, 4*m - 64 = -4*l. Suppose l*k = k + 408. Is k a multiple of 15?
False
Let q(s) be the third derivative of -13*s**2 + 13/3*s**3 + 0 - 13/24*s**4 - 1/5*s**5 + 0*s - 1/120*s**6. Does 8 divide q(-11)?
True
Let d(j) = 2*j**2 + 3*j + 2. Let u be d(-3). Let s(k) = -k**3 + 11*k**2 - 5*k + 1. Let f be s(u). Is 4 a factor of -4 + 2 - f/2?
False
Let f = 108 - 101. Let m(w) = 40*w + 80. Is 18 a factor of m(f)?
True
Let m(k) = k**3 + 6*k**2 + 6*k + 24. Let y be m(-6). Let h = -13 - y. Is 2 a factor of (-1 - (-16)/4) + h?
True
Suppose u + 24 = 2*l + 20, -4*u = -l - 5. Is 4 a factor of (0 - 1)/(u/(-202))?
False
Let c = -5 + 3543. Does 15 divide c?
False
Let a(p) = -21*p + 56. Let x be 10/(-3)*18/4. Is a(x) a multiple of 32?
False
Let c be -17*(-10)/(-1) + -2. Let p = 244 + c. Suppose -2*i + p = -0*i. Is i a multiple of 6?
True
Let n(h) = -427*h**2 + 2*h - 2. Let a(t) be the first derivative of 71*t**3 - t**2/2 + t - 27. Let z(u) = 13*a(u) + 6*n(u). Is z(1) a multiple of 35?
False
Suppose -3*k - 12957 + 49022 = 5*f, 0 = 2*f + 3*k - 14417. Is f a multiple of 16?
True
Suppose 123 = -3*j - 36. Let a = -36 - j. Suppose 40 = 3*z - a. Is 4 a factor of z?
False
Suppose 0 = -v + 2*o + 12, 3*o = -4*v - 5 - 2. Suppose v*h + 752 = 4*b, -2*b = 4*h - 58 - 298. Does 51 divide b?
False
Let y = 5804 - -3788. Is 44 a factor of y?
True
Let p(m) = 655*m**2 + 438*m - 1307. Is p(3) even?
True
Suppose 4*p - 7117 = -3*k, 0 = 2*k + 146*p - 151*p - 4783. Is 39 a factor of k?
True
Suppose 5*p + 53606 = 3*l, -71452 = -97*l + 93*l + p. Does 86 divide l?
False
Suppose -5*c + 19*c = -42. Let d(b) = 4*b**2 + 15*b + 27. Does 6 divide d(c)?
True
Let w be (-10402)/182 - (-2)/13. Let x = w + 629. Is x a multiple of 44?
True
Let c(k) = 2*k**2 - 58*k + 60. Let d be c(28). Suppose 12*p - 140 = -d*m + 11*p, 3*m - 104 = -p. Does 3 divide m?
True
Suppose -2*o + o + 772 = -1522. Is o a multiple of 75?
False
Let u = -11484 - -17624. Does 68 divide u?
False
Suppose 5*q + 21107 = 8*r - 7*r, 4*r - 84295 = q. Does 48 divide r?
True
Let r = 36 - -15. Let t(j) = 69 - 3*j**2 - j + 2*j**2 + j**3 - r. Is 8 a factor of t(0)?
False
Let g = 3981 + 8255. Does 12 divide g?
False
Let x = 107 + -53. Let f = 56 - x. Suppose 0 = -0*l - f*l - 2*t + 68, -5*l + 2*t + 191 = 0. Does 4 divide l?
False
Let s(b) = -b - 3. Let w be s(-6). Suppose -w*c + 3*d = -110 + 38, -5*d = 2*c - 76. Suppose -5*m = -p + 22, c = 4*p + m - 60. Is p a multiple of 11?
True
Let n(f) = f**3 + 86*f**2 + 130*f + 161. Is n(-77) a multiple of 14?
True
Suppose 3*j - 32483 - 8362 = a, 2*j = 4*a + 27240. Is j a multiple of 58?
False
Let t(s) = -2*s - 3. Let b be t(-7). Suppose 3*q + 3*y = -33, 8*y - 3 = q + b*y. Is -1 + (-9)/(-6)*(-530)/q a multiple of 27?
False
Suppose 0 = -169*x + 218*x - 227017. Is x a multiple of 41?
True
Suppose -z + 5*r + 10 = 4*z, -z - 3*r = -22. Suppose 3*g - z*g = 0. Suppose g*a + 2*u = 3*a - 44, 67 = 4*a - u. Is a a multiple of 6?
True
Let j(h) = 8*h + 83. Let n be j(-10). Suppose -r = -n*r + 100. Does 14 divide r?
False
Suppose 0 = 17*t + 37*t + 28*t - 72078. Is t a multiple of 10?
False
Let d(u) = u**3 + 16*u**2 + 13*u - 23. Let k(s) = -4*s - 44. Let y be k(-8). Is 12 a factor of d(y)?
False
Suppose -5*o = -3*p + 45605, 2*p - 30406 = o + 5*o. Is 20 a factor of p?
True
Suppose 8*d = 33 + 39. Suppose -10850 = -d*j - 16*j. Is 7 a factor of j?
True
Let t(v) = -34*v**3 - 6*v**2 - 64*v - 161. Is t(-4) a multiple of 17?
False
Let m(u) = -43*u + 272. Let c be m(7). Let a(b) = -34*b - 143. Is 12 a factor of a(c)?
False
Let g(p) = 1190 + 14*p + 18*p - 1138. Is 20 a factor of g(9)?
True
Let i(g) be the third derivative of -g**6/60 + 2*g**5/15 + g**4/6 - 5*g**3/3 - 59*g**2 - g. Is i(-5) a multiple of 21?
True
Let d(c) = -3*c**3 - 9*c**2 + 14*c - 9. Let q(h) = 5*h**3 + 18*h**2 - 27*h + 19. Suppose 4*t = 8*t - 28. Let g(n) = t*d(n) + 4*q(n). Does 14 divide g(6)?
False
Let f(l) = -l**3 - 10*l**2 - 8*l + 9. Let t be f(-9). Suppose -y - y = -t*y. Suppose 5*m = -0*m + 5*i + 55, 4*i + 20 = y. Does 6 divide m?
True
Let b = 1702 - 913. Is b a multiple of 24?
False
Let b = 334 - 329. Let d(t) = t**3 - 2*t**2 - t - 11. Is d(b) a multiple of 28?
False
Let x be 2/(-5) + ((-90)/25 - -9). Suppose -x*y - 17*y + 3344 = 0. Is 8 a factor of y?
True
Suppose -7*b - 4*b = 19096. Does 6 divide b/(-36) - (-2)/(-9)?
True
Let b = -25158 - -37701. Is 104 a factor of b?
False
Let p = 514 - 516. Is 20 a factor of (5 - 5226/(-12))*p/(-1)?
False
Let l = -336 + 355. Suppose l*n = 23*n - 800. Is n a multiple of 4?
True
Suppose 76*c = 166644 + 159548. Does 148 divide c?
True
Let f = -251 - -1037. Is f a multiple of 131?
True
Suppose -5*q = 304*i - 301*i - 54529, 4*i + 3*q - 72709 = 0. Is i a multiple of 61?
True
Let r(d) = -d**3 + 39*d**2 - 41*d + 23. Let l be r(36). Suppose -4*a - 3*j + 3216 = -2*j, -5*j = -3*a + l. Does 23 divide a?
True
Let s = 4 - 7. Suppose 114*w = 106*w. Is 29/2*(7 + s + w) a multiple of 58?
True
Let x = -117 - -288. Suppose 165*g - x*g = -3252. Is 38 a factor of g?
False
Does 2 divide (-17)/(476/(-259805)) + 2/8 + 0?
False
Suppose 2*p + 0*o + 3*o - 465 = 0, -4*p - 3*o = -921. Suppose p = -27*i + 768. Is i a multiple of 2?
True
Suppose -5*b + 50 = 5*f, -7*b = -5*f - 5*b + 29. Suppose f*r = 2*r + 5050. Does 25 divide r?
False
Suppose -2*g + 12 = v, -3*g - 1 = -5*v - 6. Suppose -5*u + 4*q = -2, 3*u + 3*q = 5*q + v. Does 25 divide u - -96 - 2/(-1)?
True
Let l(r) = 209*r**2 + 298*r - 17. Is l(-4) a multiple of 61?
True
Suppose 3773 + 2181 = 4*z - 12478. Is 24 a factor of z?
True
Suppose -26339 + 359349 = -27*d + 37*d. Is d a multiple of 13?
False
Let i be -67 - -72 - (-1 - 5). Let u(z) = z**3 - 11*z**2 + 8*z - 13. Is u(i) a multiple of 15?
True
Let z(t) be the first derivative of -4*t**2 + 133*t - 199. Does 4 divide z(0)?
False
Let u be 28790/3 - 4/(-12). Is 12 a factor of (-4)/8 + u/6?
False
Let w(p) = p**2 + p. Let q(o) = -17*o**2 - 5*o. Let l(x) = -q(x) - 4*w(x). Does 3 divide l(1)?
False
Suppose 0 = -4*a + 3*g + 1 + 38, 3*a - 42 = -2*g. Suppose 8*z + 16 = a*z. Suppose -4 = -2*d, i + z*i - 4*d - 82 = 0. Does 18 divide i?
True
Let n(r) = r**3 + 15*r**2 + r + 16. Let j be n(-15). Let x be j/(5*(-4)/(-10860)). Suppose -5*u - 123 = -x. Is u a multiple of 28?
True
Let g(y) = -129*y**3 + 4*y**2 - 79*y - 293. Is 27 a factor of g(-4)?
True
Let i(n) = n. Let o(a) = -11*a - 30*a**3 + 13*a**2 - 4*a**2 + 29*a*