 -29. Is j a multiple of 3?
False
Let t(u) = u**2 + 13*u + 18. Let h be t(-12). Suppose -2*v = -h*v - 88. Is (-4)/v - 1218/(-77) a multiple of 8?
True
Let l be (-2)/(-11) - (-5229)/(-297)*-3. Let h = -38 + l. Is 5 a factor of h?
True
Let m = 214 - 112. Suppose 30 = 4*z - m. Is z a multiple of 2?
False
Let f(p) = -p**3 + 7*p**2 - 15*p - 15. Let t(z) = 2*z**3 - 7*z**2 + 16*z + 16. Let c(s) = 3*f(s) + 2*t(s). Is 7 a factor of c(-7)?
False
Let d = -86 - -98. Is d a multiple of 2?
True
Let y(f) be the second derivative of f**5/20 - 11*f**4/12 + 7*f**3/3 + f**2 + f. Let n be (-8)/112*-7*20. Is y(n) a multiple of 16?
False
Let o be 6/(-4)*(-3)/(3/2). Suppose -7*k - o*k + 450 = 0. Is k a multiple of 6?
False
Let a(d) = 8 + d**3 - d + 7*d**2 - 2 + 0*d + 10*d. Let t be a(-6). Let n = -7 - t. Is n a multiple of 2?
False
Let i be -3 + 7/(28/(-156)). Let l be 4/(-6) + (-112)/i. Suppose 4*z = -c + 16, -14 = -0*z + l*z - 5*c. Does 2 divide z?
False
Suppose 0*l = -3*l + 2*c + 1529, -515 = -l + 2*c. Is 23 a factor of l?
False
Let s(t) = t**3 + 3*t**2 - t. Let c be s(-3). Let n(a) be the second derivative of a**5/10 - a**4/6 - a**3/2 + a**2/2 + a. Is n(c) a multiple of 14?
True
Suppose 5*l + 1048 = 2593. Is (-1)/(1/l*-3) a multiple of 34?
False
Is (-2)/22 + (-30212)/(-308) a multiple of 3?
False
Let y(i) = i**2 - 5*i + 6. Let j = 24 + -20. Let k be y(j). Suppose 4*t - 432 = -k*t. Is 24 a factor of t?
True
Let n(m) = m**2 + 11*m + 3. Let u be n(-11). Suppose 0*k + u = k. Suppose -4*o + t = -100, -3*t + 2*t = k*o - 82. Is 26 a factor of o?
True
Suppose 2*y - 3*y = 3*y. Suppose -2 = 2*i - y, 4*v - 172 = 4*i. Is v a multiple of 7?
True
Let p(r) = r**3 - 7*r**2 - 5*r - 15. Let w(n) = -1. Let d(f) = f - 18. Let x(u) = -d(u) + 4*w(u). Let v be x(6). Is 9 a factor of p(v)?
True
Suppose 4495 = 5*q - 4*l, 5*q + 1798 = 7*q + 3*l. Is 29 a factor of q?
True
Suppose 0 = -5*p + 3*p + 104. Is (p/(-12) + 1)*-21 a multiple of 7?
True
Let x be (-8 - -9) + (1 - -2). Suppose -x*g - 7 + 28 = -z, -5*z = 4*g + 9. Suppose 0 = -c - g*c + 210. Is c a multiple of 14?
True
Suppose 36 = -3*a + 3. Let y = a - -14. Is 39/2 + y/6 a multiple of 20?
True
Suppose t = -2*m + 1224, -17 + 5 = 3*m. Is t a multiple of 11?
True
Let w = 186 + -126. Suppose w = k + k. Is 11 a factor of k?
False
Let q(o) = -2*o**3 - o**2 + o. Let w be q(-2). Let t(i) = i**3 - 11*i**2 + 5*i + 5. Let j be t(w). Is ((-25)/(-3))/((-5)/j) a multiple of 25?
True
Suppose 0 = 3*c - 15 - 3. Let o(w) = -1 - 2 + c*w + w**2 + 9. Does 6 divide o(-6)?
True
Suppose -4*b - 8 = 0, -2*o = -6*o - 5*b + 26. Let p(s) = 7*s + 14. Is 6 a factor of p(o)?
False
Does 46 divide -9 - -14 - (-735 - -4)?
True
Let h(t) = t**3 - 4*t**2 - 8*t - 9. Let n be h(6). Suppose n = -5*g, -3*b + 5*g - 289 = -7*b. Is b a multiple of 21?
False
Let w = 228 - 220. Is 4 a factor of w?
True
Suppose -v - 2*v + 15 = 0. Suppose v - 7 = -j. Does 23 divide -2 + j - 4 - -93?
False
Let u(k) = -20 + 14 - k + 19. Let s be u(9). Suppose -5*b + 159 = s. Is 12 a factor of b?
False
Suppose -g + 59 = h - 134, 0 = -3*h + 3*g + 561. Suppose 127*l = 132*l - h. Is l a multiple of 8?
False
Let x be (16/(-6))/((-22)/(-66)). Let o(n) = 2*n**3 + 17*n**2 + 7*n + 2. Is o(x) a multiple of 10?
True
Let k(q) = 27*q**2 + q + 6. Suppose 3*n = -2*p - 4, 8 = -4*p - 0*n + 5*n. Does 28 divide k(p)?
True
Let l(u) = -94*u - 17. Let m(j) = 47*j + 8. Let w(b) = -4*l(b) - 9*m(b). Does 26 divide w(-2)?
False
Suppose 4*a + 890 = 2*y, -3*y + 1436 = -4*a + 95. Does 28 divide y?
False
Let m(l) = 111*l**2 - 4*l + 5. Let c be m(3). Is (-6)/30 + c/10 a multiple of 9?
True
Let b(j) = -104*j + 208. Let s(g) = 8*g - 16. Let t(o) = -5*b(o) - 64*s(o). Is t(7) a multiple of 7?
False
Suppose 2*j - 446 = -3*j - 3*q, q = 4*j - 367. Let n = j + -25. Is 6 a factor of n?
True
Is 28 a factor of (1 + 3/6)/(6/3284)?
False
Let q(u) = 6*u - 24. Let s be q(19). Suppose 3*h + 2*w + 0*w - 95 = 0, 0 = -3*h + 3*w + s. Is 31 a factor of h?
True
Let u be 144/66 + (-2)/11. Let i = -12 + 17. Suppose 26 = i*d - 4*x + u, -5 = 5*x. Is d a multiple of 4?
True
Let d be (-2)/((-2)/114*-1). Let z be ((-24)/18)/((-4)/d). Is 6 a factor of 3/((-3)/(z - -2))?
True
Let t be (-5)/10 - (-14)/4. Let g = t + -5. Does 8 divide 3/g + (-555)/(-10)?
False
Suppose 0 = -7*s + 342 + 99. Is 3 a factor of s?
True
Let f(z) be the third derivative of z**4/4 - 2*z**3/3 - 16*z**2. Does 4 divide f(2)?
True
Suppose -8710 = -23*y + 7643. Does 79 divide y?
True
Let s = 95 - 31. Suppose 4 + s = 2*n. Does 10 divide n?
False
Let g = 13 + 76. Is g a multiple of 38?
False
Let w(x) = 50*x - 40. Let u be w(15). Suppose 0 = -2*g - 8*g + u. Is 30 a factor of g?
False
Let a = -54 + 154. Suppose 3*o = 92 + a. Suppose -2*q + o = -148. Does 37 divide q?
False
Let z be (-3)/9 + (-16)/(-12). Let h(d) = 14*d + 5*d - 3 + z. Does 17 divide h(3)?
False
Let f(u) be the third derivative of -7*u**4/24 - u**3/3 - 6*u**2. Let z be f(4). Let m = 71 + z. Is m a multiple of 12?
False
Suppose -2*o = 3*o - 240. Suppose -5*u + o = -107. Does 13 divide u?
False
Let k be (-20)/(-110) + 57/(-11). Is 2*(-2 + 0) - 110/k a multiple of 14?
False
Is (56/112)/((-2)/(-92) + 0) a multiple of 3?
False
Let m be 188/60*1 + 2/(-15). Let d be (76/6)/(4/6). Let i = d - m. Is i a multiple of 8?
True
Let l = 510 - 745. Let y = -160 - l. Does 15 divide y?
True
Suppose -2*x = -4*y + 8 + 4, 2*y - 10 = 3*x. Let h be (-3 - x)/(1/(-5)). Suppose h + 5 = p. Is p a multiple of 10?
True
Suppose 3*q + 5 = -1. Is 4 a factor of 46/6 + q/(-6)?
True
Suppose 18 = 5*h + 78. Let k(u) = -u**3 - 11*u**2 + 11*u + 13. Does 25 divide k(h)?
True
Let v(t) = t**2 + 12*t + 59. Is v(8) a multiple of 3?
True
Let k(u) = u**3 + 22*u**2 + 10*u - 22. Is k(-21) a multiple of 12?
False
Let m be (8 - 4) + -3 - -2. Let u(s) = -s**3 + 4*s**2 - s - 3. Let x be u(3). Does 10 divide 88/(7 - x) + m?
False
Let b(j) be the second derivative of -1/20*j**5 - 11/12*j**4 - 1/6*j**3 + 0*j**2 + 3*j + 0. Does 2 divide b(-11)?
False
Suppose -4*z - 2244 = -4*j, 0 = -4*j + 8*j + 3*z - 2265. Does 12 divide j?
True
Let x = 706 - -722. Is 34 a factor of x?
True
Does 26 divide -4 + 604 + (-1)/((-1)/(-2))?
True
Let x(k) = k**3 + 11*k**2 - 11*k + 16. Let v be x(-12). Suppose 191 = v*n - s, 3*n + 2*n = -5*s + 245. Is n a multiple of 16?
True
Suppose -15*i - 20 - 25 = 0. Let d(f) = -4*f**3 - f**2 - f - 4. Does 14 divide d(i)?
True
Let l(o) = -o**2 + 20*o + 36. Suppose 9*s - 178 = -43. Is l(s) a multiple of 37?
True
Let u = 29 - 36. Let d(y) = -6*y - 12. Is d(u) a multiple of 19?
False
Suppose 0 = -11*h + 6*h + 900. Suppose -4*d - d + h = 0. Let y = d + -4. Does 8 divide y?
True
Let x(w) = w - 4. Let q be x(10). Let o be (q/(-18))/(1/(-15)). Suppose 2*i = -5*h + 53, -o*i + 0*h + 2*h = -118. Is i a multiple of 5?
False
Suppose 2*a = -2*a + 92. Suppose -2*s - 5*x + 29 = 0, -a = -4*s - 0*s - 3*x. Suppose s*f - 180 = -2*f. Does 15 divide f?
True
Does 28 divide 2453 + 2 - 135/(-15)?
True
Is 18 a factor of 70 + 1 + (-1 + -1 - -3)?
True
Suppose -2 = 3*w - 8. Suppose -5*r - 2*o + 7*o + 130 = 0, w*o + 82 = 3*r. Is r a multiple of 15?
True
Let t(i) = -i**3 + 15*i**2 - 6*i + 72. Is t(14) a multiple of 7?
False
Let j(o) = -2*o**2 + 10*o + 3. Let w be j(5). Let a(r) = -r**3 + r + 7*r**2 + 4 + 2*r**3 + 3*r**3 - 3*r**w. Is a(-6) a multiple of 34?
True
Let s = 3 + 57. Suppose -s = h - 116. Is h a multiple of 8?
True
Let p = 1020 + -300. Is p a multiple of 40?
True
Let p(b) = -9*b - 37. Is 14 a factor of p(-13)?
False
Let j(y) be the third derivative of 0 + 7*y**2 + 0*y - 1/3*y**3 + 2/3*y**4. Is j(6) a multiple of 18?
False
Suppose m - 2*n = 11, -6 = -4*m + n + 10. Let o be m + 4 - (-2 - -4). Suppose o*r - 135 = -2*k, -k + 5*r = -16 - 29. Is k a multiple of 20?
True
Let l(h) = 4 + 2 + 4*h**2 - 2*h**2 + 3*h. Is l(-8) a multiple of 36?
False
Suppose 15*c = 20*c - 345. Let x = c - 46. Is x a multiple of 5?
False
Is 25 a factor of (-855)/2*1200/(-360)?
True
Let p(k) = k - 16. Let a be p(19). Suppose 2*b - 106 = y - 3*y, 0 = 2*y + a*b - 105. Is 8 a factor of y?
False
Suppose 48*z - 18658 = -82. Is 19 a factor of z?
False
Suppose 0 = 3*j + 19 - 85. Does 20 divide -4 + 2 + j/1?
True
Suppose 46 = 4*a - 50. Let w = 54 - a. Is w a multiple of 10?
True
Let g(w) = -w + 27*w**2 + 11*w**2 + 0*w + 7. Is g(2)