6)?
True
Let k(x) = -26*x + 2. Is 11 a factor of k(-1)?
False
Suppose 0 = 4*l - 9 - 291. Is l a multiple of 25?
True
Let n = 19 - 28. Does 13 divide (-2 - n/(-6))*-6?
False
Suppose 3*z - 96 = -4*u - 269, -2*u + 5*z - 93 = 0. Let c = -30 - u. Does 6 divide c?
False
Suppose 5*m + 61 = 2*a + 563, -4*m + 403 = -3*a. Is m a multiple of 25?
True
Let b = 1 + 15. Is b a multiple of 3?
False
Let d(v) = -v + 1. Let h be d(1). Does 11 divide 24 - (-3 - -2 - h)?
False
Suppose 2*q - o - 7 = 14, 7 = q - 4*o. Does 10 divide q?
False
Suppose 371 - 103 = h. Does 37 divide h?
False
Let p(w) = w. Let d be p(0). Suppose -3*u + 99 = -d*u. Is u a multiple of 19?
False
Suppose 7 = 3*r - 23. Is 8 a factor of r?
False
Let d(q) = -q**2 + 8*q - 5. Let m be d(7). Let p(r) = 3 + 3*r**2 - 2*r**m - r - 4. Is p(-2) even?
False
Let v = 97 - 61. Let j = v + -21. Let i = j + -3. Does 6 divide i?
True
Let q = 101 + -70. Let o = -15 + q. Is 16 a factor of o?
True
Let o = 3 + -1. Suppose 5*a - 32 = -12. Suppose -7*h = w - 4*h - o, 4*w + a*h - 16 = 0. Is w even?
False
Let h = 248 + -160. Is 22 a factor of h?
True
Let a be 1444/6 - (-4)/(-6). Suppose 10*y + a = 14*y. Does 20 divide y?
True
Suppose 2*x - 142 + 12 = 0. Suppose 15 - x = n. Is 6/(-24) - n/8 a multiple of 6?
True
Let k(z) = z**3 - 6*z**2 - 7*z - 3. Let l be k(8). Does 8 divide 2/(-2 + 144/l)?
False
Let w = -32 - -60. Let t = w + -16. Is t a multiple of 4?
True
Let y = -1 - -3. Suppose 2*z = -4 - y. Is 16 a factor of (5 - z)*1*2?
True
Let v = 689 + -195. Is v a multiple of 64?
False
Suppose -5*l = 10, l + 4*l = -5*p + 160. Is 15 a factor of p?
False
Suppose 0 = -2*n - n - 9, 11 = t - 2*n. Suppose -4*h - 2*r + 26 = 0, 0 = -h + t*r - 10 - 11. Suppose 5*p + 11 = l, -h*p - 17 = -l - p. Is l a multiple of 19?
False
Does 15 divide -3*345/3*-1?
True
Let z be 0 + 2 - (-214)/2. Suppose 2*c = -4*r - 3*c + 215, -3*c = 2*r - z. Is r a multiple of 25?
True
Is 23 + 9/((-18)/(-8)) a multiple of 4?
False
Let n be 2/1*2 - 2. Let k be ((-30)/(-9))/(n/3). Suppose -4*s + 126 = k*g, 4*g - s - 3*s - 108 = 0. Is 10 a factor of g?
False
Let p(t) be the first derivative of t**3/3 - 3*t**2/2 + 10*t + 2. Is p(7) a multiple of 19?
True
Let d(g) be the third derivative of g**5/60 - g**4/6 - g**3/6 + 6*g**2. Does 11 divide d(6)?
True
Suppose p = -0*t + 3*t - 557, -t = 3*p - 189. Is 12 a factor of t?
False
Suppose -2*v = x - 13, -2*v + 17 = -0*v + 5*x. Let n = v - 13. Let d(b) = -b**3 - 8*b**2 - 11*b - 9. Does 5 divide d(n)?
False
Suppose 2*x - x + s = 31, 5*x + 4*s = 154. Is x a multiple of 2?
True
Let p(j) = -j + 11. Let q be p(11). Suppose -3*t + 5*t - 34 = q. Is t a multiple of 12?
False
Suppose 2 = 2*c - 0. Let y(i) = 3*i**2 - i + 1. Let f be y(c). Suppose 0*q + f*q = 42. Does 7 divide q?
True
Suppose 0 = 3*m - x - 3 - 32, 3*x - 39 = -3*m. Let j be (-8)/m - (-73)/(-3). Let i = j - -47. Does 11 divide i?
True
Suppose -48 - 108 = -2*c. Is 26 a factor of c?
True
Suppose 0 = 111*y - 106*y - 225. Does 5 divide y?
True
Let a(i) be the third derivative of i**4/6 - i**3/6 - 2*i**2. Let s be a(1). Suppose -25 = -3*u - s*j + 11, 0 = -3*u + 3*j + 12. Is 5 a factor of u?
False
Let y = 84 - 46. Suppose -3*z = -5*c + 20 + 8, -5*c = 3*z + y. Let u = z - -39. Is u a multiple of 13?
False
Let p(n) = 12*n**3 - n**2 - n + 2. Does 6 divide p(1)?
True
Is (-256)/(-3) - (-36)/54 a multiple of 16?
False
Let a(i) be the third derivative of i**6/120 - i**5/15 - i**4/24 + 7*i**3/6 + 11*i**2. Is 3 a factor of a(4)?
True
Suppose 2 = 5*h + 17. Let f be ((-1)/2)/(h/36). Let j = f + 18. Is 12 a factor of j?
True
Let v be ((-6)/9)/(4/6). Let g(w) = -1534*w**3 - w**2 - w - 1. Let q be g(v). Is 16 a factor of 2/(-7) + q/49?
False
Suppose 360 = 14*u - 8*u. Is 15 a factor of u?
True
Let h(q) = 2*q**2 + 8*q + 3. Is 9 a factor of h(-6)?
True
Suppose 3*n + 3 = 12. Suppose 2*w + 138 = n*x + 3*w, 4*x - 184 = -4*w. Is x a multiple of 23?
True
Suppose -3*u = -u - 124. Let n = -44 + u. Does 9 divide n?
True
Let b = -99 - -309. Is 42 a factor of b?
True
Let t(r) = 3*r**2. Let j be t(1). Let g = 0 + j. Let m(z) = 4*z**2 - 4*z + 2. Is m(g) a multiple of 13?
True
Let v(b) = 3*b - 7. Is 12 a factor of v(11)?
False
Suppose 4*q - 597 + 73 = 0. Suppose -5*f + 4*a = -q, -3*f + 3*a - a = -79. Does 9 divide f?
True
Suppose 2*j - 6*j - 2*a = 24, 3*a + 29 = -5*j. Is 2 a factor of (-8)/(-28) - 19/j?
False
Suppose -n - 5 = 0, 2*s + s - 187 = 5*n. Does 20 divide s?
False
Let p(i) = 5*i - 5*i**2 + 2 + 5*i**2 + i**2. Let h be p(-5). Suppose 3*o + 3*n - 48 = 0, h*o + 5*n = -0*o + 35. Does 7 divide o?
False
Suppose 3*q = -22 - 5. Let d = -1 - q. Is d a multiple of 5?
False
Suppose -4*m + 293 = 3*t, t + 4*t - 497 = 2*m. Is t a multiple of 15?
False
Let d be (-3)/3 + 7*-1. Let b = d + 5. Let r = b - -7. Is 3 a factor of r?
False
Let r(q) = 1 + 0*q**3 + 2*q**2 + q - q**3 - 3*q**2. Let j(u) = 8*u**3 + 2*u**2 - 5*u - 3. Let a(t) = -j(t) - 3*r(t). Is a(-2) a multiple of 20?
True
Suppose -4*g = g - 10. Let y be -2 - (0 + -5 + g). Let r = 2 + y. Is 3 a factor of r?
True
Let q = 12 + -9. Suppose -4*c + 88 = q*l, 0 = -0*l - l - 4*c + 16. Is 18 a factor of l?
True
Suppose -2*f - 69 = -171. Does 33 divide f?
False
Is 14 a factor of (-101)/(-3) - 8/12?
False
Let u = -25 - -39. Is u a multiple of 4?
False
Let q(c) = -c**2 - 10*c - 3. Does 7 divide q(-4)?
True
Let b(q) = q**3 - 2*q**2 - 4. Let x be 4*2 + (-2)/1. Let h = -3 + x. Is 3 a factor of b(h)?
False
Let i(c) = -c**2 + 10*c - 10. Let v be i(6). Is v + 2/2 + 2 a multiple of 6?
False
Let r(x) = -x + 9. Let d be -2 + 0/2 + 8. Let p be r(d). Suppose 2*f - 28 = 4*n, 12 - p = -3*n. Does 5 divide f?
False
Let c(t) = -t**2 - 6*t - 3. Let a(r) be the third derivative of r**6/120 + 2*r**5/15 - r**4/3 + 7*r**3/6 - 3*r**2. Let m be a(-9). Is 3 a factor of c(m)?
False
Suppose -3*l - 475 = -8*l. Let a = 36 - 90. Let w = a + l. Is 14 a factor of w?
False
Suppose 4*x + 129 = 21. Is 20 a factor of (x/(-15) + -1)*40?
False
Let j(i) be the first derivative of 13*i**3/3 + i**2/2 - i - 1. Is 4 a factor of j(1)?
False
Suppose -9 = 2*n - 45. Is 9 a factor of n?
True
Let s = 158 - 66. Does 22 divide s?
False
Let z(q) = q**3 + 2*q**2 - 3*q + 2. Let g be z(-3). Suppose 152 = 2*a + g*x, 2*a - 5*x = 82 + 70. Does 28 divide a?
False
Let m be (-15)/(-20)*(1 + -5). Is 12 a factor of (-4)/(-6) - 100/m?
False
Let t(u) = 15*u + 4. Let h be (15/(-10))/(1/(-2)). Does 19 divide t(h)?
False
Let m(s) = s**3 + 2*s**2 - 2*s - 1. Suppose g - 1 = -3. Let l be m(g). Suppose j - 2*x - 6 = -l*x, -5*j + 80 = -5*x. Is j a multiple of 11?
True
Let h(c) = c**2 - 4*c - 9. Let x be h(8). Suppose 4*s = 21 + x. Does 11 divide s?
True
Let m = -9 + 8. Is m*(-13)/1 + 1 a multiple of 8?
False
Suppose -5*k - 4 = -39. Does 4 divide k?
False
Suppose p + 3 = 2*u - 2*p, 0 = 5*u + 3*p - 18. Suppose u*y = -6, -4*m + 4*y + 37 - 5 = 0. Is 19 a factor of ((-2)/m)/((-4)/228)?
True
Let w(s) = -3*s**3 - 3*s**2 + 3*s + 7. Is 13 a factor of w(-3)?
True
Suppose 0 = 3*p - 0*p - 2*z - 155, -2*z = -2*p + 100. Is 11 a factor of p?
True
Let d(t) be the third derivative of 5*t**4/12 + t**3/6 - 2*t**2. Let s be d(7). Suppose 2*p = -5*f + p + 121, -3*f + p + s = 0. Does 12 divide f?
True
Let h = 6 + -3. Let v be h/(-2)*56/(-12). Suppose 4*w + 98 = 5*i, 106 + v = 5*i + w. Does 19 divide i?
False
Let b(i) = -6*i**3 + 5*i**2 + 8*i + 1. Is b(-2) a multiple of 14?
False
Let k be (-2 + 5)/(6/10). Suppose k*o - 46 = 44. Is 9 a factor of o?
True
Let d(s) = s**2 - 10*s + 16. Is d(12) a multiple of 8?
True
Let b(w) = -4*w**3 + 4*w**2 + 3*w. Let a be b(-2). Suppose -3*v + 0*v + a = 0. Does 7 divide v?
True
Does 19 divide (6/4)/((-2)/(-76))?
True
Suppose 5*d + 12 - 37 = 0. Let o(u) = u**2 + u + 3. Let b be o(d). Is 12 a factor of (2 + -1)*1*b?
False
Suppose 0*r + 2*r + 5*l = 64, 4*r - l = 84. Let y = -31 + r. Let q = 26 + y. Is 8 a factor of q?
False
Let k(n) = n**2 + 7*n - 4. Let b be k(-8). Suppose 5*d - d = 5*p + 8, -8 = -b*d + 4*p. Suppose -d*z = -24 - 8. Is z a multiple of 8?
True
Suppose 0 = 3*i - 4*a - 130, -87 = -2*i - 2*a + 5*a. Does 19 divide i?
False
Let v = -2 + 10. Let c(r) = -r**3 + 7*r**2 + 9*r + 2. Is c(v) a multiple of 5?
True
Is ((-15)/3 + 4)*-8 a multiple of 3?
False
Let a be ((-12)/10)/((-9)/60). Let x = a - 4. Suppose 5*g + 19 = x*s, g 