-8). Let j be (-9 - -11) + c/(-1). Does 2 divide (j/(-7))/(2/14)?
True
Let d(y) be the second derivative of 4*y**2 + 1/20*y**5 + 0 + 2/3*y**4 + 3*y + 5/3*y**3. Is 12 a factor of d(-6)?
False
Suppose -4*v = -4*z - 28, 4*v + 12 = -2*z - 2*z. Is 24 a factor of 1090/15 + v/(-3)?
True
Let x(z) = -4*z**2 + 21*z + 48. Let j(w) = 2*w**2 - 11*w - 24. Let a(k) = -11*j(k) - 6*x(k). Is a(7) a multiple of 8?
False
Suppose -1482*d + 1481*d = -2670. Is 15 a factor of d?
True
Let b be 42/147 - -1*(-850)/(-14). Suppose -2*o = -4, 195 = j + 4*o + b. Does 21 divide j?
True
Suppose u = -5*g - 0*u + 9, -g + u = -3. Suppose -50 + g = -6*i. Is i a multiple of 8?
True
Let t be 5*(-2)/8 + 2/8. Is 2 - t - (-16)/((-2)/(-2)) a multiple of 4?
False
Does 49 divide (4/10)/(27/59130)?
False
Suppose -11*u = -39*u + 10948. Is 13 a factor of u?
False
Suppose -10*q + 12*q - 746 = 0. Let x = -207 + q. Is x a multiple of 12?
False
Let i(d) = 273*d - 580. Is i(5) a multiple of 22?
False
Let k(x) = 196*x**2 + 5*x - 1. Is 40 a factor of k(1)?
True
Let q = -3 - -1. Let g be (0/2)/(-4 - q). Suppose -j + 27 = -g*j - 3*o, 4*j - 108 = -o. Is j a multiple of 9?
True
Let v = -118 - -199. Let b = 121 - v. Does 34 divide b?
False
Let n = -41 + 65. Suppose h - 5*i = n, -2*h + 5*i - 7 + 35 = 0. Suppose 0 = 2*v - 0*l - l - 33, -5*v + h*l + 78 = 0. Is v a multiple of 17?
False
Let b = 158 + -135. Is -3 + (10 + -4)*b a multiple of 15?
True
Does 19 divide (-904 - -11)/(0 + -1)?
True
Suppose -8 = 3*t + 2*p, 2 = -p - 2. Suppose 4*o + o - 680 = t. Suppose h + 3*h = o. Is h a multiple of 9?
False
Let m(i) = 26*i**2 + 9 + 23*i**2 - 45*i**2 + 7*i. Is 14 a factor of m(-10)?
False
Let h(q) = -56*q**3 + 2*q**2 + 14*q + 32. Does 4 divide h(-3)?
True
Let p(y) = y**2 - 25. Let q be p(0). Let i = 9 - 7. Let m = i - q. Is 10 a factor of m?
False
Let f(z) = -z**3 + 10*z**2 + 9*z - 43. Is f(5) a multiple of 2?
False
Is (258/4)/(192/1280) a multiple of 43?
True
Suppose 6442 = 15*n + 1672. Is 38 a factor of n?
False
Let u = -6 + 8. Is 12 a factor of 3*u/6 + 83?
True
Suppose -29*y - 2700 = -39*y. Does 6 divide y?
True
Suppose 2*q - 166 = -4*n, 18*q = 19*q + 3. Is n a multiple of 6?
False
Suppose 0 = 8*a - 29 - 35. Is 16 a factor of 250 + (-4 - -2) + a + -6?
False
Suppose 0 = -i - 29 - 47. Let u be (-16)/((-4)/i*-2). Suppose w - 4*w - 76 = -2*r, 4*w + u = 4*r. Does 19 divide r?
True
Does 38 divide -15 - -8 - (-5607)/3?
True
Suppose 0 = -0*s - s + 148. Suppose -w + 2*w - 4*p = 52, -3*p = 2*w - s. Is 17 a factor of w?
True
Let a(x) = 3*x**2 + 6*x - 5. Let q = 20 + -13. Suppose 3 = -p + q. Is a(p) a multiple of 25?
False
Is 12 a factor of 1/(-3)*-15 + 410 + -7?
True
Suppose -30*m + 25*m - 1000 = 0. Does 35 divide ((-168)/20)/(6/m)?
True
Suppose -3*p = -20 - 40. Let y = -12 + p. Is 8 a factor of y?
True
Suppose 6*u + 19208 = 14*u. Is u a multiple of 48?
False
Let u(q) be the second derivative of -q**6/80 + q**5/20 - 5*q**4/12 - 6*q. Let o(f) be the third derivative of u(f). Is 21 a factor of o(-4)?
True
Let q = 37 - 31. Suppose -q*l = -l. Suppose -2*z + 168 = -l*z. Is 21 a factor of z?
True
Suppose -11*h + 12*h - 22 = 0. Suppose -h*n + 400 = -17*n. Is n a multiple of 41?
False
Is 53 a factor of (-1743)/(-11) + 108/198?
True
Let g be (2/4)/((-1566)/(-312) - 5). Suppose g = 7*s - 198. Is 20 a factor of s?
False
Suppose 4*g + 1419 = 3*t, 473 = 38*t - 37*t - 5*g. Is t a multiple of 11?
True
Suppose -7*v + 3*v + 8 = 0. Suppose v*d = -2*d. Suppose d = y - 33 + 11. Does 11 divide y?
True
Let m be ((-106)/(-8))/((-6)/24). Let o = 132 - m. Is o a multiple of 34?
False
Suppose -924 - 1460 = -8*q. Does 13 divide q?
False
Does 117 divide (2607/9)/(-2*4/(-24))?
False
Let p(d) = d**2 - 2*d + 2. Let k be p(0). Suppose -k*w + 130 = 5*n, 0 = -4*n - w + 4*w + 104. Is 19 a factor of n?
False
Let m(v) = -23*v**3 - 2*v**2 + 3*v - 2. Let w be m(1). Is -4*(-1)/w + 1118/12 a multiple of 31?
True
Let o = 19 - 44. Let d = o - -27. Suppose -48 = -d*z - 18. Does 8 divide z?
False
Let l be (-1)/(7 + -5)*-1172. Suppose -61 + l = 5*k - 4*h, 2*h = -2*k + 228. Does 13 divide k?
False
Suppose 5*k = 4*q - 490, 4*q - 230 = k + 252. Let w = 138 - q. Does 6 divide w?
True
Suppose 0 = n - 5*r + 136 - 564, -823 = -2*n - r. Let d = n - 273. Does 35 divide d?
True
Suppose 15 = -2*r + 5*p - 0*p, 4*r - 25 = -p. Suppose 0 = -5*w + r*a + 275, w = -0*w + 4*a + 46. Is 5 a factor of w?
False
Is 34 a factor of 6/4*((-68)/(-3))/1?
True
Let b = 6009 - 3187. Is 34 a factor of b?
True
Let l = -604 + 740. Does 32 divide l?
False
Is 15 a factor of (-1 + (-36207)/(-18))/((-2)/(-4))?
False
Does 31 divide 4*(-1770)/(-52) + 36/(-234)?
False
Let y be ((-40)/30 - (-4 - -1))*9. Suppose 2*u - 66 = -3*u - 2*a, a - y = -u. Is u a multiple of 6?
True
Let m = 41 - 30. Suppose -3*c + m + 22 = n, -71 = -3*n - 2*c. Does 10 divide n?
False
Let i(j) = 9 + 5 - 2 - 35*j - 5. Does 4 divide i(-1)?
False
Suppose 21*z + 85 = 22*z. Is z a multiple of 15?
False
Suppose 5*o - 3 = -r + 2*o, -2*r + 4*o + 16 = 0. Let q be ((-8)/r)/((-1)/27). Suppose 0 = -t + 3*t - q. Is t a multiple of 9?
True
Suppose 5*g + 5 = -j, g + 2*j = -3*g - 4. Let a = g - -8. Does 3 divide a?
False
Suppose -l = -5*z - 23, -3*l = -6*l + 4*z + 36. Is l a multiple of 2?
True
Suppose 15*s = 7*s + 2560. Does 20 divide s?
True
Let c = -61 - -83. Is 11 a factor of c/4*12/(4/2)?
True
Let h(q) = -q**3 - 13*q**2 + 14*q + 4. Let r be h(-14). Suppose -5*u + 132 = 4*y, r*u - 4*y + 33 = 117. Is u a multiple of 12?
True
Suppose 0 = 4*z + 5*l - 14, -z - 1 = 2*l - 6. Does 9 divide ((-93)/(-12) - 2)/(z/8)?
False
Let l be 49 - 4*3/6. Suppose 3*c - 38 - l = 5*s, 0 = -4*c - s + 121. Is c a multiple of 5?
True
Is 44 a factor of (1 - 2/6)/((-123)/(-89298))?
True
Let t(q) be the second derivative of q**4/12 - 2*q**3 - 14*q**2 - 10*q. Let d be t(19). Suppose -4*g - g = -d. Is 12 a factor of g?
False
Let c(o) = -8*o**2 + 10*o - 9. Let p(j) = -j**2. Let q(d) = -c(d) + 6*p(d). Is q(6) a multiple of 12?
False
Let q(h) = -5*h + 6*h - 12 + 20. Let y be q(0). Let t = 18 - y. Does 3 divide t?
False
Suppose 3*t + 4*p - 74 = 0, -2*t - t = -4*p - 58. Suppose t = -a - 1. Let j = -16 - a. Does 7 divide j?
True
Let g(l) be the first derivative of l**2/2 - 12*l + 13. Let m be g(17). Suppose -r - 2*f = -4*f - 58, -m*f = -r + 55. Is 20 a factor of r?
True
Let t(o) = o + 3. Let g(c) = -c - 2. Let m(i) = 4*g(i) + 5*t(i). Let z be m(-4). Suppose 20 = 5*v - z*v. Is 3 a factor of v?
False
Let v(j) be the third derivative of 1/6*j**4 - 2/3*j**3 + 0*j + 4*j**2 + 0. Is v(4) a multiple of 4?
True
Suppose 4*w - 4883 = -3*h, 2*w - h - 2458 = 3*h. Is w a multiple of 16?
False
Suppose -7*f + 10*f = 60. Suppose -30 = -d + f. Is 25 a factor of d?
True
Let g = -140 - -259. Suppose 5*f + g + 161 = 4*j, -j + f + 70 = 0. Is j a multiple of 4?
False
Let w(v) = -v**2 + 9*v + 6. Let s be w(9). Suppose -2*b + 8 = 4*r - 14, 2*b = -s. Is 2 a factor of r?
False
Let f(x) = 57*x**3 + 2*x**2 + 6*x - 6. Let c(p) = -29*p**3 - p**2 - 3*p + 3. Let q(o) = 5*c(o) + 3*f(o). Is 44 a factor of q(2)?
False
Let l = -5820 + 8893. Does 13 divide l?
False
Is 10 a factor of -2*(-37 - 2)*2?
False
Let w = -1310 + 1982. Is w a multiple of 12?
True
Let r(f) = -f**3 + 6*f**2 + 13*f - 15. Let p be 20/(-10) - (-8 - 0). Is 9 a factor of r(p)?
True
Let m(c) = 539*c - 143. Does 11 divide m(5)?
True
Suppose -2*h - 79 = -5*c, c - 3*h - 7 = 14. Let v = c - 11. Does 26 divide 48/(-2)*(-14)/v?
False
Suppose -71*c + 54*c + 19992 = 0. Does 98 divide c?
True
Let a(x) = -x**3 + 5*x**2 + 9*x - 1. Let v = 37 + -32. Does 22 divide a(v)?
True
Let y(q) = 7*q - 32. Let a be y(9). Is (1 + a)*1*(-12)/(-16) a multiple of 5?
False
Suppose -3*l = l. Let y = l + 5. Suppose -2*w + y*m = -84, 5*w - 196 = w + 3*m. Is 22 a factor of w?
False
Let n(s) = s**3 - 11*s**2 + 4*s + 1. Suppose -4*w + 0*p + p = -5, -5*p + 11 = -2*w. Suppose 2*b = -3*y + 29, w*b = 2*y - 0*y - 26. Is 18 a factor of n(y)?
False
Let j be -1*4895/(-45) - (-2)/9. Let s = j - -17. Does 21 divide s?
True
Let t(h) = -h**2 + 13*h + 0*h**2 - 2 - 5*h. Suppose -5*y = r - 5*r, 3*y - 5*r + 13 = 0. Is t(y) a multiple of 14?
True
Suppose -r = 3*r - 48. Suppose -r*j + 59 = -85. Is j a multiple of 8?
False
Suppose 6 = -3*z - 5*f, 0*f - 2*f - 12 = -2*z. Suppose 128 = w + z*r, 3*w + 200 = 5