4)/12). Let w = f + -18. Is 4 a factor of ((-4)/w)/(14/483)?
False
Let b(s) = 21*s + 77. Is b(12) a multiple of 14?
False
Suppose -20 = -4*t - 12. Let b(k) = -3*k**t + 32 - k + 5*k**2 - 34. Does 10 divide b(3)?
False
Let j(v) = v**3 - 2*v**2 - 5*v - 5. Let c be 9/2 - (-15)/30. Is j(c) a multiple of 9?
True
Let x = 20 - -4. Is 9 a factor of (30/(-8))/((-9)/x)?
False
Let p(v) = 8*v**2 + 24*v - 3. Is p(-4) a multiple of 3?
False
Let d(j) = -11 + 4*j + 7*j**2 + 5 - 8*j**2 + 6*j. Let t be ((-9)/5)/((-2)/10). Is 3 a factor of d(t)?
True
Let s(j) = -88*j - 5. Let l = 62 + -63. Is 19 a factor of s(l)?
False
Suppose -15 = -2*p - 5, p - 35 = -5*u. Suppose -u*h - 9 = -81. Suppose h = 3*a - a. Does 2 divide a?
True
Let n(l) be the third derivative of l**6/120 + l**5/10 - l**4/24 - 4*l**3/3 + 4*l**2. Let f be n(-6). Does 10 divide -1*f/((-4)/(-50))?
False
Suppose 0 = -l - l - 252. Let b = -24 - l. Is b a multiple of 15?
False
Let l(u) = -u**3 + 13*u**2 + 17*u + 30. Let k(r) = -4*r - 42. Let y be k(-14). Does 7 divide l(y)?
False
Let j(f) = 3*f + 9. Let z be j(0). Let b(t) = t - 7. Let v be b(5). Let y = z - v. Is y a multiple of 3?
False
Let s(a) = 12*a - 7. Is 3 a factor of s(7)?
False
Suppose -3*z = 2*a - 918, 4*z + 2070 + 202 = 5*a. Does 12 divide a?
True
Suppose -13 - 23 = -4*g. Is ((-3)/g - 3)*-24*1 a multiple of 16?
True
Let y(x) = x**2 - x - 3. Let h = 50 - 55. Does 9 divide y(h)?
True
Suppose -4*j - 1 = -3*j. Let b be 1 - j*(-2 - -1). Suppose 248 = 3*o - 2*s - 19, -3*o + 3*s + 264 = b. Is o a multiple of 23?
False
Is (-3)/(-3*(-8)/(-21864)) a multiple of 9?
False
Suppose -2*x - l - 719 = -4*x, -2*x = -4*l - 710. Is x a multiple of 79?
False
Let g be (63/(-14) + 3)*16/6. Let k = g - -136. Does 17 divide k?
False
Suppose 18 = -r + 346. Does 8 divide r?
True
Let n(o) = o**3 + 3*o**2 - 7*o + 8. Let t be n(-5). Is t/14 - 217/(-2) a multiple of 10?
False
Suppose -5*l - n + 3762 + 1312 = 0, -2*l + 2033 = -3*n. Does 30 divide l?
False
Let v = -45 + 45. Suppose 0 = -v*d - 2*d + 2*f + 116, -d = -2*f - 61. Is 11 a factor of d?
True
Suppose -945 = -41*r + 14*r. Suppose 3 = -4*p + 15. Let m = p + r. Is m a multiple of 8?
False
Let y(h) = -3*h - 8. Let o be y(-9). Suppose g + 1 = -o. Is 12/((-3)/g*2) a multiple of 8?
True
Let g be 4/1 + (6 - 5). Suppose 2*a + 17 = -g. Let q = 50 + a. Does 11 divide q?
False
Suppose 0 = 11*z - 8*z + 3. Let l(t) = 37*t - 5. Let m(w) = 74*w - 9. Let o(k) = 11*l(k) - 6*m(k). Does 12 divide o(z)?
True
Suppose -4*c + 2*t + 2370 = -710, 0 = -c - 5*t + 759. Does 50 divide c?
False
Is 6 a factor of 5 + (-2471)/(-5 - 2)?
False
Is 41820/36 - (-2)/(-3) a multiple of 56?
False
Let d = 76 - 74. Suppose 14 - 34 = -d*m. Is m a multiple of 5?
True
Suppose 2 = -q - 8. Let l = -8 - q. Suppose -5*m = -f - 25, l*f = -0*f - 10. Is m a multiple of 2?
True
Suppose 0 = -4*r + b + 2715, 0 = 7*r - 2*r - 4*b - 3391. Is r a multiple of 6?
False
Let z = -4678 - -6871. Is 19 a factor of z?
False
Suppose 0 = -29*b + 35*b - 972. Is b a multiple of 10?
False
Let b be (-2 + -1 + 2)*(-5)/(-1). Does 14 divide (52 - -2) + (0 - (b + 3))?
True
Suppose 2*s - 166 = 248. Does 31 divide s?
False
Suppose -2835 - 7343 = -7*n. Is n a multiple of 17?
False
Let m(o) = -o**3 + 9*o**2 - 8*o + 4. Let i be m(8). Suppose -q + p - 4*p = 2, -i*p - 20 = 0. Does 3 divide q?
False
Suppose 9 + 1 = -5*o, -4*d + 12 = 2*o. Suppose -2*u = -d*s + 5*s - 44, -3*u - 2*s = -64. Is u a multiple of 12?
True
Suppose 7 = 3*h - 14. Suppose -2*v = -4*z + 134, 4*v + 3 = h. Is z a multiple of 3?
False
Suppose 340 = m + 4*u, 3*m - 2*m - 345 = -5*u. Is 16 a factor of m?
True
Let p(n) = 6*n + 3. Let t be p(-1). Is (t - 2)*102/(-5) a multiple of 22?
False
Is 2/4*(1350 - -4) a multiple of 27?
False
Let f(v) = v**3 + 7*v**2 - 11*v - 15. Let t be f(-8). Suppose 5*i - 12*l - 586 = -t*l, 0 = 3*i - 4*l - 356. Does 44 divide i?
False
Suppose a = -11*a + 2652. Is 13 a factor of a?
True
Suppose 100*h - 132*h = -33984. Is 6 a factor of h?
True
Let n(g) = 3*g - 55. Let o be n(17). Let a(p) = -2*p**3 + p**2 + 6*p. Is 15 a factor of a(o)?
True
Does 105 divide ((-1120)/(-15))/(-8)*(-270)/4?
True
Suppose 41*n = 36*n. Suppose -4*a + n*a = -z - 220, 4*a - 212 = 3*z. Is a a multiple of 13?
False
Does 53 divide (4 + -6)*(-3757)/34?
False
Let u(n) be the second derivative of 1/3*n**3 + 2/3*n**4 + 3*n - 1/20*n**5 + 0*n**2 + 0. Does 24 divide u(4)?
True
Suppose 101*i - 90*i - 2981 = 0. Is 4 a factor of i?
False
Suppose 21*q + 390 = 1944. Is q a multiple of 46?
False
Is (88/32 - -6)*52 a multiple of 5?
True
Let j(k) = k**2 - 8*k. Let y be j(8). Suppose 8*v - 746 + 50 = y. Is 21 a factor of v?
False
Let a = -641 + 1919. Suppose -25*k = -19*k - a. Is k a multiple of 14?
False
Let z(d) = 7*d**2 - 21*d - 151. Is z(-12) a multiple of 59?
False
Let v(y) = y**2 + 5*y - 8. Let z(f) = f - 14. Let t be z(8). Let k be v(t). Is 4 a factor of 0/3 + 10 - k?
True
Let w(g) = g**3 + 1. Let z(q) = 5*q**2 - 3*q - 5. Let m(j) = w(j) + z(j). Let y be ((-18)/(-15))/(4/(-10)). Is 17 a factor of m(y)?
False
Let o(w) = 62*w**2 + w - 1. Let z be o(1). Let u = z + -10. Is u a multiple of 11?
False
Suppose 2*a + 2*v = 4372, -5*v = -2*a - 3*v + 4364. Is a a multiple of 84?
True
Let a = -6 + 11. Let u(o) = -o + 38. Let n be u(23). Let k = n - a. Does 10 divide k?
True
Suppose -26040 = 303*z - 324*z. Does 10 divide z?
True
Let n(a) be the third derivative of -a**4/4 + 4*a**3/3 - 18*a**2. Is 17 a factor of n(-10)?
True
Suppose p + 4*x = -16, -3*x - 20 = -5*p - 8. Suppose t - 1 = p, q - 2 = 2*t + 8. Let d(f) = f**2 - f + 3. Does 27 divide d(q)?
True
Suppose 10*b - 531 = 1519. Is b a multiple of 15?
False
Let x(a) = -12*a + 11952 - 11949 + 21*a - 62*a. Suppose 4*b = -0*b - 4. Is x(b) a multiple of 14?
True
Suppose u = r, 0 = -5*u - 0*r - 4*r + 27. Suppose 792 = u*a + 3*a. Does 12 divide a?
True
Let c(t) = t**3 - 14*t**2 - 8*t + 7. Let x(q) = -q**3 + 14*q**2 + 7*q - 6. Let w(g) = 3*c(g) + 2*x(g). Does 42 divide w(15)?
True
Suppose -5*g - 3*j - j = -52, 3*g = -5*j + 39. Let k = 14 + 2. Let q = k + g. Does 8 divide q?
True
Is 12 a factor of ((-2400)/(-350))/((-2)/(-7))?
True
Let y be 12/(-42) + 23/7. Suppose -3*u - 24 = -y*f, 0 = -8*f + 3*f + 15. Let a(i) = 2*i**2 + 8*i + 2. Is 9 a factor of a(u)?
False
Let l(i) = -51*i + 13. Let m be l(-5). Suppose -5*u + 0*u = 5*c - 300, -5*c = -3*u - m. Is c a multiple of 13?
False
Let p(q) be the third derivative of q**7/2520 - q**6/720 - q**5/10 + 11*q**4/24 - 9*q**2. Let f(l) be the second derivative of p(l). Does 9 divide f(6)?
True
Is 6 a factor of 10 - ((-6 - 364) + 8)?
True
Let m(g) = 9*g**3 - 4*g**2 + 6*g - 8. Does 24 divide m(4)?
True
Let m(j) = 45*j**2 + 7*j - 3. Let n be m(-4). Suppose 2*a + y = 627, y + n - 56 = 2*a. Does 35 divide a?
True
Suppose g + 13 = 15. Suppose g*c = -5*h + 58, -c + 22 = c - 4*h. Does 19 divide c?
True
Let t(g) = -g**3 + g**2 - g - 4. Let k be t(0). Let m = 39 - k. Is 27 a factor of m?
False
Let v be 1*(-1 + (0 - 1)). Suppose -3*d - 2*w + 136 = 9, -2*d + 2*w + 98 = 0. Is 5 a factor of (-60)/d*51/v?
False
Let f(a) = 2*a**3 + 4*a**2 + 3*a + 4. Is 13 a factor of f(4)?
True
Let i be 2 + (1 - 940)/(-3). Let a = i - 132. Suppose 5*s - a = 367. Does 30 divide s?
False
Let z(s) = -s**3 + 3*s**2 + 3*s + 9. Let j be z(4). Let r be (30/8)/(j/180). Is 13 a factor of (-4)/(-18) - (-5235)/r?
True
Let k be -21*5*(-72)/30. Suppose -33*z = -36*z + k. Is 14 a factor of z?
True
Suppose 3*r - 2 - 10 = 0. Let i(u) = 3*u**3 - 2*u**2 - u + 4. Is i(r) a multiple of 40?
True
Suppose -3*l + 1567 = 4*v, -3*l = -5*v - 1364 - 248. Does 23 divide l?
True
Let o(z) = 8*z - 2. Let i be o(7). Let d = 41 + i. Is d a multiple of 16?
False
Let r be 1 + 2 + (-1 - 35). Let w = r - -65. Is w a multiple of 8?
True
Let s = -1629 + 3254. Is 65 a factor of s?
True
Let i = 32 - 15. Suppose -i = 4*x - 233. Is x a multiple of 5?
False
Does 3 divide 172/(-1118) + (-6114)/(-26)?
False
Suppose 23*a = 24*a - 120. Is 23 a factor of a?
False
Let y = -1455 + 2124. Does 9 divide y?
False
Suppose -11 = -3*q - 2*d, 2*q = 2*d + 7 + 7. Suppose 19 = -k - s + 6*s, -5*s = -5*k + q. Suppose 7 = u - k. Is u a multiple of 10?
False
Let v be 34/85 - 346/(-10). Let z = 37 - v. Suppose 5*o - 271 = -z*f - 63, -f - o = -107. Does 24 divide f?
False
Let i(c) =