) = 49*l**2. Is m(2) a multiple of 8?
False
Does 82 divide 8858/4 + (195/(-15))/26?
True
Suppose 2*j + 4*a - 124 + 24 = 0, 3*j - 4*a = 130. Is j a multiple of 3?
False
Let n be (-6)/4 + 2 - 1/(-2). Is 2 a factor of 7/n - (-10)/(-10)?
True
Let f(h) = -13*h + 4. Let x = 11 + -16. Does 11 divide f(x)?
False
Let a(t) = -2*t + 8. Let c be a(-7). Does 10 divide (c/4)/(8/16)*2?
False
Let f(j) = j**3 - 5*j**2 - 8*j + 12. Let y be f(6). Suppose 0 = p - y*p + 2*x - 124, -2*x - 596 = -5*p. Does 15 divide p?
True
Suppose 1950 = -19*n + 32*n. Is n a multiple of 50?
True
Let j be (-8)/44 + (-1064)/(-44). Let r = 20 + -10. Let d = r + j. Is 10 a factor of d?
False
Let o = -6 - -9. Let r be 53/(3 - 8/3). Suppose 0 = -2*n - o*i + r, 4*n + 3*i = 256 + 47. Is 19 a factor of n?
False
Let m(j) = -6*j**2 + 38*j + 14. Let u(v) = 4*v**2 - 25*v - 9. Let f(w) = 5*m(w) + 8*u(w). Does 10 divide f(6)?
True
Let s be -5*(-3 - -2) + -2. Suppose -d = 3*v + 14, -4*v - 14 = s*d - 2*v. Is 18 a factor of (-103)/d - 3/6?
False
Let o(n) be the third derivative of n**6/120 + 7*n**5/60 + 3*n**4/8 + 2*n**3 - 13*n**2. Does 6 divide o(-5)?
False
Suppose 1 = -2*c - n + 3, 0 = -5*c - 3*n + 6. Suppose c = -5*v + 20, 3*z - v + 52 = 4*z. Is 12 a factor of z?
True
Let n(z) = z**2 + z + 1. Let k be n(0). Suppose -2*v + 11 = k. Suppose -15 = -i + 4*o, -4*i - v*o + 102 = -0*i. Is 23 a factor of i?
True
Let o(i) = 10*i**3 - i**2 - 2*i + 3. Let v be o(2). Let w be v/12 + (-2)/8. Suppose -40 = -w*g + 4*g. Is 6 a factor of g?
False
Let v(h) = -h**3 - h**2 + 4*h. Let r be v(-3). Let c = 8 - 3. Suppose c*t + 33 = r*t. Is t a multiple of 11?
True
Suppose 0 = 3*f - 3 - 42. Let k be (-4081)/(-105) + 2/f. Suppose 61 = 5*t - k. Is t a multiple of 6?
False
Let k be (-5)/(-15)*(0 + 6). Suppose 0 = -5*i - l + 315, 0 = k*i - 3*i + 5*l + 63. Is 17 a factor of i?
False
Let n(a) = 20*a**3 - 51*a**2 - 3*a + 38. Let b(c) = -7*c**3 + 17*c**2 + c - 13. Let u(s) = -17*b(s) - 6*n(s). Is 5 a factor of u(17)?
True
Suppose -3*v + 4*g = -7, 3*v + 3 = -2*v + 3*g. Does 4 divide 23 + -3 - (-1 - v)?
False
Let x be ((-115)/2 + 2)/((-7)/70). Suppose c = 5*h - x, 68 = 4*h - c - 375. Is 28 a factor of h?
True
Let z(s) = 7*s**2 + 2*s - 3. Let p be z(1). Does 8 divide 57 + 6/4*p/(-9)?
True
Let f(w) = -16*w - 173. Is 15 a factor of f(-37)?
False
Let j(x) = -x**2 + 6*x + 12. Let n be j(6). Does 12 divide (33/n - 2)*68?
False
Let m = 9 - 7. Let v = 15 - 5. Suppose -3*y + 4*n = -v, 3*y - 2*n - m = 18. Is y a multiple of 5?
True
Suppose 15 = -5*k - 50. Let h = 73 + k. Suppose 0 = -4*l - 2*s + 86, 0 = 3*l + 2*s + s - h. Is l a multiple of 10?
False
Let s(x) = x**3 - 14*x**2 + 6. Let f be s(14). Suppose -6 = -3*q + f. Suppose -4*l + 28 = -q. Does 3 divide l?
False
Suppose 6 = -6*l + 18. Is (-2 - 0)/(l/(-59)) a multiple of 19?
False
Suppose 7*b = 12*b - 45. Let p be 3*(3 + (-12)/b). Suppose 3*f + 9 = 0, -4*c - p*f = -289 + 84. Is 10 a factor of c?
False
Let a(q) = q**2 - 2*q + 11. Let l be a(0). Let p(m) = 5*m - 20. Is 6 a factor of p(l)?
False
Let f(x) be the first derivative of 14*x**3/3 - x**2/2 + 3*x - 2. Let o be f(3). Suppose -2*a = -o - 52. Is a a multiple of 26?
False
Let w(d) = d**3 - 13*d**2 - 14*d + 5. Let v be (-304)/(-22) - 16/(-88). Let q be w(v). Let p(s) = -s**3 + 5*s**2 + 5*s - 5. Is 7 a factor of p(q)?
False
Suppose 2*r - 3994 = -5*g - 621, 3*r = -3*g + 2022. Is g a multiple of 18?
False
Let o be (-760)/57*204/(-5). Suppose 0 = 6*j - 338 - o. Is j a multiple of 21?
True
Suppose -5*q + 3*h + 2327 = -344, 5*h = 3*q - 1593. Is 20 a factor of q?
False
Suppose 7464 = -147*r + 151*r + i, -5*r - i + 9329 = 0. Is 36 a factor of r?
False
Suppose -12 = 4*r - 48. Let t(u) = 2*u**2 - 5*u + 11. Does 24 divide t(r)?
False
Let u be (-3)/1 + 5 + 0. Suppose 58 = u*q + 2*o, 5*q + 2*o - 137 = -o. Is 5 a factor of q?
True
Suppose 50 = -5*i - 50. Does 13 divide (-1)/(-4) + (-1295)/i?
True
Suppose 11 = 3*r - 7. Does 2 divide 1 + 27/r + (-1)/2?
False
Let t(u) = -u**3 + 9*u**2 + 16. Let s be t(9). Suppose -8*i = -s*i + 336. Is i a multiple of 21?
True
Let n(o) = 12*o - 100 + 11*o + 41. Is 8 a factor of n(5)?
True
Suppose -3*z + 2*z + 4*f + 20 = 0, 4*z = 4*f + 20. Suppose 4*s + 2*l - 84 = z, 2*s - 6*s - 3*l = -88. Does 19 divide s?
True
Let h = -560 - -692. Is 6 a factor of h?
True
Suppose -4*g + 19 + 9 = 0. Let m(c) = -2 - c + 8*c**2 - g*c**2 - c - 2*c. Does 3 divide m(5)?
True
Suppose 26*b = 24*b + 372. Does 9 divide b?
False
Does 14 divide 2867/122*(-1 + 15)?
False
Suppose 7*h - 336 = -2*z + 11*h, h + 672 = 4*z. Does 14 divide z?
True
Suppose t - 204 = 140. Does 29 divide t?
False
Let z(k) = k**2 + 2*k - 5. Let y be (-8)/4 - (5 - 4). Let m be -2 + -10*y/(-6). Is z(m) a multiple of 5?
True
Let t(w) = 57 - 21 - 19 - 19 + 16*w. Let g be t(3). Suppose 3*o - g - 44 = 0. Does 15 divide o?
True
Suppose 4*h + 4632 = 10*h. Is 24 a factor of h?
False
Let k(n) = n**2 + 10*n + 5. Let r be k(-12). Suppose -d = d - q - 31, d = -4*q + r. Is 3 a factor of d?
False
Suppose -2*f + 7*f - 20 = 0. Let i be 23504/91 + f/(-14). Suppose 0 = -3*q + 204 + i. Is 44 a factor of q?
False
Let i(n) = 9*n**3 - 2*n**2 - 2*n - 3. Let d(r) = 27*r**3 - 6*r**2 - 5*r - 8. Let c(b) = 3*d(b) - 8*i(b). Let m be c(1). Let s = 18 - m. Does 3 divide s?
False
Let z(h) = 5*h. Let l be z(-1). Let a(p) be the third derivative of -p**6/120 - p**5/30 + p**4/4 - p**3 + p**2. Is 13 a factor of a(l)?
True
Let m(l) = 3*l**2 + 29*l + 20*l - 55*l - 4. Is 34 a factor of m(8)?
False
Let b be ((-128)/(-96))/(-1 - 40/(-39)). Suppose -b*x + 56*x = 780. Does 17 divide x?
False
Is 4 a factor of 6/4*632/3?
True
Suppose -5*v + 956 = 356. Does 48 divide v?
False
Suppose 3*l + 1074 = 4*p, l = 5*l - 8. Let s = p + -85. Is s a multiple of 28?
False
Suppose -3*b - b = 272. Let g be (b/16)/((-2)/24). Let l = g + -24. Does 6 divide l?
False
Is -4*11/66 + 6548/3 a multiple of 57?
False
Suppose 0 = 3*h, r + 4*h + 0*h = 33. Let z be (-2)/(-11) + 2139/r. Suppose z = 5*q + 10. Is 10 a factor of q?
False
Let j(w) = 14*w**2 + 11*w - 23. Let v(x) = -x**3 - x**2 + x + 1. Let o(k) = -j(k) - v(k). Is o(14) a multiple of 28?
False
Let z be (-3)/(-3 - ((-888)/(-147))/(-2)). Let f = z - -291. Is f a multiple of 36?
True
Let t = -778 + 796. Is 2 a factor of t?
True
Let r be (-20)/(-50) - 207/5. Let f = r + 57. Let g = f - -14. Is g a multiple of 15?
True
Let z be (-1)/4 + (-5603)/52. Let p = 168 + z. Is 10 a factor of p?
True
Is (-8)/(-14) + 610444/707 a multiple of 15?
False
Suppose -4652 - 11845 = -27*p. Is 13 a factor of p?
True
Suppose 2269 = 2*o - u, -u + 4533 = 4*o + 2*u. Is o a multiple of 18?
True
Let r(i) = -4*i**3 - 8*i**2 + 9*i + 27. Is 59 a factor of r(-7)?
True
Is 40 a factor of (1 - -299)*(-17 + (-870)/(-50))?
True
Suppose -q + 760 = j - 3500, 0 = 2*j - 5*q - 8506. Does 17 divide j?
False
Suppose k - 15 = 20. Suppose 38*w - 288 = k*w. Does 38 divide w?
False
Let c = 22 - 15. Suppose -l + 39 = c. Is 6 a factor of l?
False
Let b = -21 - -19. Let j be (133/b)/(16/(-32)). Let l = -79 + j. Does 12 divide l?
False
Let u be 9*7/((-21)/81). Let i = -135 - u. Is i a multiple of 18?
True
Let r(s) = 60*s**2 + 39*s + 29. Does 46 divide r(-5)?
True
Does 7 divide 2152/12 - 16/(-6)?
True
Suppose -3*w - o + 141 = -4*o, w + 4*o = 32. Does 4 divide w?
True
Let x = 30 - 27. Suppose z - 8 = -x*n, -4*z - n + 17 = 7. Is z even?
True
Suppose -5*c = -5*m + 380, 0*m = -5*c + 4*m - 376. Let w be (4/6)/(2/c). Let n = 38 + w. Does 14 divide n?
True
Let d be 1/2*(67 - 61). Let j(h) = 3*h - h - h. Does 2 divide j(d)?
False
Suppose 0 = -5*t - p + 445, 0*t + 170 = 2*t + 2*p. Is 10 a factor of t?
True
Suppose -4*y - 5*x + 1873 = 0, -5*y + 16*x - 13*x = -2295. Is y a multiple of 33?
True
Let b be (4 - 16/2) + 8. Does 2 divide (2/b)/(13/52)?
True
Suppose 0 = 9*q + 1108 - 4816. Does 38 divide q?
False
Suppose 40*z - 28863 = 23777. Does 44 divide z?
False
Suppose -3*g = -2*g + 4*r - 1, 3*g + 4*r = 19. Let a(p) = p**3 - 9*p**2 + 9*p + 13. Let f be a(g). Let h = f - 66. Is h a multiple of 14?
True
Let y(f) = 538*f + 148. Is 12 a factor of y(8)?
True
Let m(z) = 0 + 17*z + 3 + 2 - 8. Is 24 a factor of m(3)?
True
Let o = -10 + 6. Suppose 0 = -17*v + 15*v + 14. Let u = v + o. Is 3 a factor of u?
True
Is 42 a factor of 273/(-4)*8/(-2)?
False
Let t(q) = 3