2)/((-8)/(-6))). Let x(j) = 3*j**2 + 23*j + 31. Let t be x(-5). Does 11 divide 6/t*(-498)/n?
False
Is 14 a factor of 1 + -8 + 581/1?
True
Let l = -22 - -41. Let z = 23 - l. Suppose -z*o = 4*d - 180, 3*d - o = -0*o + 155. Is 17 a factor of d?
False
Let o = 414 - 270. Is o a multiple of 4?
True
Suppose 0*i = 5*i - 2*q - 10, 0 = -i - 2*q + 14. Suppose 5*z + i*z = 216. Is 2 a factor of z?
True
Let v = 11 - 25. Let j be (-6)/v + 224/49. Suppose 1 = j*o - 9. Is o a multiple of 2?
True
Let a be -1*1/(4/(-156)). Let p = a + 13. Let n = p + -21. Does 13 divide n?
False
Let w(f) = 76*f**2 - 38*f - 156. Is 108 a factor of w(-6)?
True
Suppose -6*l + 2*l - 2*x = -16, -3*l = -4*x - 12. Suppose k + 1 = -0*k, 0 = -3*t + l*k + 781. Is 10 a factor of t?
False
Suppose 2*h = b - 0*b - 190, -4*b + 4*h + 740 = 0. Let g be 2/(-4) + 15/2. Suppose 10*v - g*v = b. Is v a multiple of 15?
True
Let s(o) = -o**2 + 6*o + 420. Is 30 a factor of s(0)?
True
Suppose -3*x - 3*f + 810 = 0, -4*x - 5*f + 388 + 692 = 0. Does 14 divide x?
False
Let u(t) = 11*t + 3. Let h = -23 + 14. Let a(d) = d**3 + 9*d**2 + 6. Let w be a(h). Is u(w) a multiple of 23?
True
Suppose 6*l = 4*l, 0 = -5*c + 2*l + 630. Let a = -118 - -314. Let i = a - c. Does 13 divide i?
False
Suppose 3*l - 16 = -3*q - l, 4*q - 14 = 2*l. Suppose 4*r = 5*p - r - 65, -3 = -p - q*r. Let n = p + -3. Is n even?
True
Let l = 36 + -48. Let j = l + 32. Is j a multiple of 10?
True
Let t(q) = 20*q. Let c be ((-2)/12)/(1/(-6)). Is 4 a factor of t(c)?
True
Does 93 divide 3/(-12) + (-4 - 40505/(-20))?
False
Let h(p) = -15*p**3 + 22*p + 63. Does 48 divide h(-5)?
False
Suppose 0 = 7*n - 4*n + 18. Let m be -4*(-3)/n - 8. Does 8 divide (112/(-70))/(1/m)?
True
Suppose -6*b = -1067 - 877. Is b a multiple of 54?
True
Let i be (-4)/(-18) - (-6936)/(-108). Let n = i - -93. Does 7 divide n?
False
Suppose 0*v - o = -v + 4, -2*v = -o - 6. Suppose -9*h + 2*m + 50 = -8*h, -v*m = h - 46. Does 12 divide h?
True
Let o(j) = -2*j**2 + 3*j + 3*j**2 + j - j - 7. Let x be o(-5). Suppose x*d + 3*d - 228 = 0. Does 9 divide d?
False
Let i(v) = 45*v**2. Let c be i(-1). Suppose -2*o + 203 = 73. Let w = o - c. Is w a multiple of 10?
True
Let w(d) = -2*d - 2*d**3 - 30*d**2 + 41*d**2 + 0*d**3 - 1 + 4. Let r be w(9). Is 6/21 + r/(-21) a multiple of 14?
True
Suppose 0 = -4*z - 0*z. Let u be -1 - ((z - 1) + -29). Let t = 42 + u. Is t a multiple of 12?
False
Is (1 - 0) + -284*15/(-20) a multiple of 23?
False
Let b be (154/35)/(2/340). Suppose 3*q = -q + b. Is q a multiple of 17?
True
Let t be 0/(((-2)/4)/((-3)/6)). Let f(w) = w**3 + 3*w**3 + w - 5*w**3 - w**2 + 104. Does 13 divide f(t)?
True
Let c(g) = g**2 - 7*g + 15. Let p be c(19). Let k = p + -162. Does 27 divide k?
True
Suppose -r = -2*k + 3, -k = -2*k - 2*r + 4. Suppose 0 = -4*h + 8, k*h = g - h - 3. Suppose 0 = 2*t + y - 0*y - g, -y = 1. Is 2 a factor of t?
False
Let r(o) be the first derivative of -o**3/3 + 13*o**2/2 - 4*o + 4. Suppose 8 = -2*b + 3*b. Is 22 a factor of r(b)?
False
Let r = -369 - -565. Is r a multiple of 14?
True
Let m(z) be the third derivative of z**5/60 - 3*z**4/8 + z**3/3 - 2*z**2. Suppose 5*s + 12 = 2*p, -4*p - 2*s - 7 = -55. Is m(p) a multiple of 21?
False
Suppose -3*b + 12 = 0, -b + 572 = 4*h + b. Suppose -l = -5*k + 318, 4*k + 2*l - 105 = h. Is 12 a factor of k?
False
Is 6 a factor of ((-29854)/(-177))/((-2)/(-3))?
False
Suppose -40*d + 5 = -35*d. Suppose -3*x - 21 - 14 = 2*l, -5*l = -3*x - 7. Is 6 a factor of 7 + d/((-3)/x)?
False
Let g(t) = 6*t**2 + t + 2. Suppose -2*z + 0*z = 0. Suppose 2 = -y - z. Does 8 divide g(y)?
True
Let x(l) = 421*l + 5. Let z be x(-5). Suppose -16*a + 22*a + 18 = 0. Is (a/4)/(21/z) a multiple of 16?
False
Let x be (36/(-10))/(4/(-50)). Suppose -42*o + x = -39*o. Is 3 a factor of o?
True
Suppose -14 = -4*a + 2*x - 0, 4*x - 37 = -5*a. Suppose 0 = -8*g + a*g. Suppose 0 = m - g*m - 24. Does 4 divide m?
True
Let y(l) = 11*l**2 - l + 2. Let g be y(-4). Let b = -62 + g. Is b a multiple of 40?
True
Let r be 13*(0/(-3) - 1). Let a = r + 14. Is 2 - a - 11*-1 a multiple of 4?
True
Let u(c) = -c**2 + 28*c. Let w be u(6). Suppose w = 2*b + 4*b. Does 7 divide b?
False
Suppose -4*z = 16, -4*l = 7*z - 6*z - 240. Is 3 a factor of l?
False
Let w(v) = -2*v - 11 - 71*v**2 + 73*v**2 + 10*v. Is w(6) a multiple of 15?
False
Let f(z) = 5*z**2 - 16*z + 98. Is f(9) a multiple of 6?
False
Suppose -2*k = 0, 4*j - 2*k + 168 = 2*k. Let l be 306/4 - -6*1/(-4). Let f = l + j. Is f a multiple of 11?
True
Suppose 8 = -2*g, 0 = 5*k + 4*g - 1768 + 589. Is k a multiple of 48?
False
Let w(q) be the third derivative of -q**6/120 - q**5/10 + 3*q**4/4 - 11*q**3/6 + 6*q**2 + 4*q. Is w(-10) a multiple of 10?
False
Let x be ((-70)/(-8))/(2/16). Suppose 5*o - 28 = -18. Suppose -o*v + 5*v = -5*c + x, -5*c - 5*v = -70. Does 14 divide c?
True
Let s = -29 - -34. Is 910/(-25)*s/(-2) a multiple of 11?
False
Let k(v) = 76*v + 7. Let f be k(-7). Is f/(-14) + 3/(-6) a multiple of 4?
False
Suppose -5*q + 378 = x, 451 - 83 = x - 5*q. Is x a multiple of 62?
False
Suppose n - 184 = -i, 2*n + 3*n = 3*i + 912. Suppose 4*a = -2*m - m + n, 3*m = -9. Is 8 a factor of a?
True
Suppose 3*p - 3 = 3*k + 18, 5*p + k - 11 = 0. Is (24/(-9))/((-1)/p) even?
True
Let h(v) = -v**3 + 7*v**2 - 6*v + 2. Let y be h(6). Let l = -23 - -23. Suppose l = y*x + 3*x - 225. Is x a multiple of 15?
True
Let h(a) = 5*a**2 + 6*a + 47. Does 25 divide h(-14)?
False
Suppose -2730*d + 2735*d = 13050. Does 18 divide d?
True
Suppose 172 + 283 = 5*i. Let m = i - 3. Does 8 divide m?
True
Let q(r) = 264*r**2 + 2*r + 1. Let i be 3/9 + 8/(-6). Let n be q(i). Suppose 0 = -5*o + n + 72. Is 24 a factor of o?
False
Let p(l) = -3*l**2 - 7*l + 6. Let y(h) = h**2. Let f(t) = -p(t) - 5*y(t). Let c be f(4). Is (16/20)/((-1)/c) a multiple of 8?
True
Let w(b) = b**2 + b - 5. Does 4 divide w(8)?
False
Suppose -4*j + 16 + 28 = 0. Let z(q) = 5*q**2 + j*q - 11*q**2 + 12 + 5*q**2. Is 10 a factor of z(9)?
True
Suppose -55*c + 58*c = 1680. Is 8 a factor of c?
True
Let t(d) = -28*d**3 + 3*d**2 + 23*d + 69. Does 23 divide t(-4)?
True
Let u(w) = 2*w - 3*w - 2 + 12. Let j be u(7). Let k(d) = 12*d - 4. Is 16 a factor of k(j)?
True
Let b = 1406 + -884. Is b a multiple of 58?
True
Suppose -x - 3*x = 16, -4*a + 540 = -2*x. Suppose q - 51 = 3*c, 4*c = q + 2*q - a. Let o = q + 14. Is o a multiple of 25?
False
Let l be 54/12*4/(-3). Is 20 a factor of l/30 + 201/5?
True
Let j(w) = -w**3 + 10*w**2 - 6*w - 22. Let p be j(9). Suppose -p*i = -2*i - 396. Does 16 divide i?
False
Suppose o = 475 + 561. Does 28 divide o?
True
Suppose 5*c + 334 = 3*p, -2*c = -7*c + 20. Suppose -3*o - 6 + 122 = 5*y, -5*y + p = 4*o. Is 12 a factor of y?
False
Suppose 8*a = 5*a + 3, 5*a = 2*r - 683. Does 4 divide r?
True
Let h(s) = -s**2 + s + 665. Does 6 divide h(0)?
False
Is 12 a factor of 9029/4 + 155/(-124)?
True
Suppose 0 = -4*d + a + 482, 0 = 2*a + 3 + 1. Let q = 180 - d. Is 12 a factor of q?
True
Suppose 0 = 2*t - 5 + 1. Suppose -t*m - 2*k = -56, 2*k - k = -5*m + 132. Does 8 divide m?
False
Let l(s) be the first derivative of -s**6/120 + 2*s**5/15 + 5*s**4/12 + 2*s**2 - 8. Let v(z) be the second derivative of l(z). Is v(9) a multiple of 3?
True
Suppose 0 = 2*r - 2, -r + 3*r - 482 = -2*h. Is h a multiple of 40?
True
Suppose -4*b = 5*v, -13 + 2 = -4*v - b. Let r be v/8 - 155/(-2). Is 8 a factor of r/5 + 6/15?
True
Let p be 2 - 39/15 - 69/(-15). Suppose 0 = -4*x - 0*i - p*i + 444, -2*x + 213 = -i. Does 12 divide x?
True
Suppose 3*u + 3*k = 9, u + 4*k = -u - 4. Let c = u + -8. Suppose 3*z - 45 - 87 = c. Does 19 divide z?
False
Let n = -91 + 46. Let c be -835*3/(n/6). Suppose s - c = -5*b + 2*s, s + 268 = 4*b. Is 17 a factor of b?
False
Suppose x - 17 = 6. Suppose 0*o - x = -o + 3*v, 59 = 3*o + v. Does 4 divide o?
True
Let o = -312 - -218. Let a = 182 + o. Is 23 a factor of a?
False
Suppose 2*i + 60 = t - 2, 15 = -5*i. Suppose -2*r = 5*x - 122, -r - 4*x + 5 = -t. Is r a multiple of 9?
False
Suppose 3*w = -3*o + 738, o + 6 = 4*o. Is 38 a factor of w?
False
Let b(i) be the third derivative of -i**6/120 + i**5/20 + i**4/6 + i**3/6 + 5*i**2 - 4. Let g(t) = -t**3 - t**2 + 2*t + 3. Let s be g(-2). Does 13 divide b(s)?
True
Let x(j) = -2*j**2 + j - 6. Suppose -2*g - 24 = 4*g. Let r be x(g). Let q = -21 - r. Is 17 a 