c) = -11*c**2 - 4*c + 3. Let u(o) = -7*f(o) - 6*y(o). Let z be u(-4). Let q = 85 + z. Is 12 a factor of q?
False
Suppose 0 = o - 3 + 6. Let w be (-52)/(-12) - (-1)/o. Suppose 0 = -r - w*r + 240. Is r a multiple of 12?
True
Suppose -3*f - 5*i = -i - 3644, -3*f = -3*i - 3651. Does 86 divide f?
False
Let x(f) = 1 - 25*f**2 - 4*f + 0 + 26*f**2. Is 22 a factor of x(-10)?
False
Is 7 a factor of 14*(5/(-20) + (-6)/(-8))?
True
Let v = -18 + 16. Let b be ((-2)/6)/(v/30). Suppose b*x = 21 + 39. Is 10 a factor of x?
False
Let w(a) = 15*a - 2. Suppose -3*h + 6*y + 49 = 4*y, 5*h + 5*y = 40. Let v = -7 + h. Is 20 a factor of w(v)?
False
Let i be ((-54)/45)/((-6)/20). Suppose 3*x - 4*o = 247 + 5, -336 = -i*x - 4*o. Does 12 divide 0 - 1*x/(-4)?
False
Let z = 1123 - 610. Is 27 a factor of z?
True
Let i(j) = j**3 + 21*j**2 - 10*j - 3. Is 9 a factor of i(-21)?
True
Suppose 2*j = 3*s - 32, 17 = -4*j - s - 19. Let b(v) be the third derivative of -v**6/120 - 11*v**5/60 - 2*v**4/3 - 5*v**3/2 - 2*v**2. Is 15 a factor of b(j)?
True
Is 357174/378 + 4/42 a multiple of 21?
True
Suppose -4*l + 1520 = -5*f, -5*f = -2*l - 10*f + 790. Is 77 a factor of l?
True
Suppose 461 = 2*r + 4*v + 85, 0 = 5*r - 3*v - 979. Does 33 divide r?
False
Let z(v) = -576*v + 38. Is z(-2) a multiple of 17?
True
Suppose 2*m + r + 8 = 0, 4*m - 4*r + 10 = -9*r. Let l = -1 - m. Suppose l*i + i - 220 = 0. Does 18 divide i?
False
Is -3*2568/(-36) + 14/(-2) a multiple of 3?
True
Let z(p) = 4*p**3 - 8*p**2 + 33*p - 4. Is 55 a factor of z(6)?
True
Suppose 1007 = -4*z - 625. Let d be z/(-56) - (-4)/(-14). Suppose -3*f + d*u + 111 = 2*u, 2*f = -4*u + 96. Is f a multiple of 8?
False
Let n(b) = 16*b**2 - 18*b + 4. Let v be ((-35)/14)/(1*2/(-4)). Is n(v) a multiple of 60?
False
Let l(a) = a**3 + 21*a**2 + 18*a - 2. Is l(-18) a multiple of 46?
False
Let o = -66 - -109. Let x be 232/(-12) + 2/6. Let s = o + x. Does 12 divide s?
True
Let v(c) be the third derivative of c**6/120 + 11*c**5/60 + c**4/3 + 5*c**3/3 + 2*c**2. Let h be v(-7). Suppose -h = -3*d + 9. Is d a multiple of 13?
False
Suppose -5778 = -5*s + 3*j, 50*s - 4*j = 53*s - 3461. Does 21 divide s?
True
Let j(v) = 37*v**2 + v + 2. Suppose 10*q - 7*q = 6. Let f(u) = u**3 - 2*u**2 - u + 1. Let b be f(q). Is j(b) a multiple of 19?
True
Let t = -129 + 497. Suppose t = 4*f + 8. Suppose 0 = -p + 3*u + 63, p - 2*u + 29 - f = 0. Is p a multiple of 16?
False
Let h(y) = -y**2 - 14*y - 4. Let n be ((4 + -40)/(-2))/(-2). Is 11 a factor of h(n)?
False
Suppose 2*c = -5*i - 14, 2*c = 5*c - 5*i - 4. Let w be c/9 + (-1832)/18. Does 17 divide (2 + -1)/((-6)/w)?
True
Let j(r) = 30*r + 7 + 26*r - 29*r + 17*r. Does 12 divide j(1)?
False
Let p be (6*2)/(-3) + 4 + 12. Suppose w + 1067 = p*w. Is 8 a factor of w?
False
Let x be (-8)/28 - 122/14. Let g be x/(-1)*28/(-6). Is 6 a factor of g/(-3) - 0 - 3?
False
Suppose 2 = p - 4. Let l be -4*(3 - p/4). Does 22 divide ((-4)/l)/((-3)/(-198))?
True
Let n(w) = 3*w**2 + 5*w + 1. Let j be 0 + 2 + (-12)/(-3). Is n(j) a multiple of 31?
False
Let f = 239 + -149. Suppose -2*q = 3*q - 2*c - 150, 2*c + f = 3*q. Does 10 divide q?
True
Suppose -2*q + 18 + 4 = 0. Let x(j) = j - 9. Let b be x(q). Suppose z = 2*t - 74, -2*t - b*z = -20 - 48. Is 18 a factor of t?
True
Is ((-1462)/(-136))/((-1)/(-4)) a multiple of 20?
False
Suppose 4 = 2*o, 4*o = 2*p - 2223 + 733. Is 23 a factor of p?
False
Let p(h) = -h + 4. Let a be p(-6). Let c = -71 - -71. Suppose 5*v + c = a. Is v a multiple of 2?
True
Let z = 28 - 26. Suppose z*b + 3*k = 143, -2*b = b + 5*k - 213. Does 19 divide b?
True
Suppose -2*i - 4*w + 44 = -2*w, -4*i + w = -83. Let o = -7 + i. Is 3 a factor of o?
False
Suppose -3*l + 5*w - 33 = 3*w, 0 = 5*l + 4*w + 33. Let k = 54 + l. Does 15 divide k?
True
Let y = 74 - 198. Let r = -30 - y. Does 35 divide r?
False
Suppose -3*j = -6*j - 5*b + 18, 2*b = 6. Suppose j = y + 2*k + 8, 3*y = -4*k - 11. Suppose 0 = -2*t + 3*o + 108, t = y*o + 6 + 45. Is t a multiple of 19?
True
Let k = -310 - -835. Suppose -q + k = 5*a + 4*q, -555 = -5*a + 5*q. Does 27 divide a?
True
Let r be (-16)/(-2) + -4 + -16. Is (-4)/r + 1765/15 a multiple of 12?
False
Let n = 51 - 9. Does 6 divide (-4)/(-14) + 450/n?
False
Let y be -1*18 + (-3 - -2). Let v = y + 27. Is 8 a factor of v?
True
Let m = 29 + -31. Is 5 a factor of (-21)/(-2) + (-6)/(-4) + m?
True
Is 18 a factor of 756 - -5*-5*(-4)/(-50)?
False
Suppose -2509 = -15*h + 641. Is h a multiple of 5?
True
Suppose 12 = -2*g - 4*y - 8, -y = 4*g + 5. Suppose g = 15*c - 7*c - 1232. Is 16 a factor of c?
False
Is 0 - 763/(-14)*14 a multiple of 14?
False
Suppose 7*j + 12 = 10*j. Is 18 a factor of 4/16 + 343/j?
False
Let h = -41 - 30. Let w = 137 - h. Is w a multiple of 24?
False
Let b(r) = 2*r**2 - 5*r + 7. Let c(k) = 1. Let w(h) = b(h) - 2*c(h). Let u be w(5). Suppose 2*l + 2*z = u, -z + 6*z - 20 = 0. Is l a multiple of 8?
False
Suppose 0 = -3*a - 2*p + 3*p + 60, 4*p + 93 = 5*a. Suppose -24 - a = -3*o. Does 5 divide o?
True
Let f be 1 + (-6)/(-3) - 6. Let z = -7 + f. Is 5 a factor of (-286)/z - (-2)/5?
False
Let x(s) = s + 2. Let j be x(7). Suppose 410 = -4*g + j*g. Suppose -g = -3*v - m, 0 = 2*v + v - 2*m - 70. Is 4 a factor of v?
False
Let f(l) be the third derivative of l**7/5040 - l**6/240 + l**5/30 - 3*l**2. Let h(t) be the third derivative of f(t). Is h(8) even?
False
Suppose -10*j = -7*j - 90. Suppose 5*s = 8*s - j. Is s a multiple of 3?
False
Suppose -5*p - j - 3 = -11, 5*p = -5*j. Suppose 7 - 1 = -2*a, p*k - 4*a = 306. Is k a multiple of 7?
True
Suppose a + 4 - 26 = -4*z, 2*a + 21 = 5*z. Suppose -z*s - 355 = -5*u, 7*u = 2*u + 4*s + 353. Is u a multiple of 8?
False
Suppose 3*p = -5*t + 24, 2*t - 21 - 1 = 5*p. Let o(u) = -5*u**3 + 4*u**2 + 3*u. Let k be o(-2). Let v = k - t. Is v a multiple of 21?
False
Let q be (4/14)/(14/196). Suppose -2*z = -8 - 2. Suppose z*j + 65 = 2*l, q*j = -3*l + j + 66. Is 11 a factor of l?
False
Let t = -396 - -480. Is 26 a factor of t?
False
Let w be 18/4*(-16)/(-6). Suppose -2*h + 12 = 2*h. Suppose -h*f = -27 - w. Does 6 divide f?
False
Suppose 8 = 3*v - q, 2*v - 16 - 8 = -4*q. Let f(o) = o**2 - o - 4. Let d be f(v). Does 13 divide ((-26)/d)/((-2)/16)?
True
Suppose 3*z - z = 6. Suppose 276 = z*r - 0*r. Let g = r - 10. Is g a multiple of 17?
False
Let j = 947 - 652. Is j a multiple of 21?
False
Let d = -450 + 564. Does 57 divide d?
True
Let h = -28 + 33. Suppose 0 = -r - 3*r, 0 = 5*f + h*r - 2055. Suppose -4*y - 2*c = 3*c - 327, -5*y + f = 4*c. Does 14 divide y?
False
Let n(d) = -d**2 + 23*d - 2. Let x be n(23). Let g = x + 32. Does 3 divide g?
True
Suppose 2*y + 104 = -2*y. Let z be -6*5/2 + -3. Let t = z - y. Is 3 a factor of t?
False
Suppose -2*l + 19 + 1 = 0. Suppose -85 = -l*h + 475. Is h a multiple of 24?
False
Let q be -7*(2 + 6/(-2)). Suppose 0 = -q*k + 6*k + 31. Let x = k - 3. Is x a multiple of 7?
True
Let d = -273 - -258. Let v(t) = -t**3 + t**2 - t + 1. Let i(o) = -2*o**3 + 17*o**2 - 18*o - 6. Let a(l) = -i(l) + 3*v(l). Is a(d) a multiple of 3?
True
Let k(t) = -101*t**3 - 2*t**2 + 3. Is k(-1) a multiple of 17?
True
Let y = -84 + 405. Does 28 divide y?
False
Suppose 4*z = -3*a + 3524, -4707 = 7*a - 11*a + 3*z. Is a a multiple of 21?
True
Let i be (2/(-6))/((-2)/24) - 3. Let n(o) = 138*o**3 + 3*o**2 - 2*o. Is n(i) a multiple of 7?
False
Let j = 4 - 1. Let t = j - 14. Let z = t - -14. Does 2 divide z?
False
Let n be -1*((-5)/(-5) - 74). Suppose 3*z + n = 400. Is 22 a factor of z?
False
Let r be -2*(-1 + 5/10). Let s(z) be the third derivative of 13*z**6/30 - z**5/30 + z**4/12 - z**3/6 + 2*z**2. Does 14 divide s(r)?
False
Suppose 5*m - 5191 = 4169. Suppose m = -t + 10*t. Does 58 divide t?
False
Let p = 777 - 757. Does 6 divide p?
False
Suppose -g = g + 44. Let h = 40 + g. Is h a multiple of 4?
False
Let a = 38 - 14. Suppose 6 = -z + a. Is 12 a factor of (z - -3) + 2 + -2?
False
Let h = -20 + -279. Let m = -149 - h. Is m a multiple of 50?
True
Let k(f) = -10*f. Let p be 15/10 - (-5)/2. Suppose -p*d - 3 = -3*d. Does 15 divide k(d)?
True
Let t(c) = -2*c - 9. Let u be t(-8). Let m = u - 1. Let h = 51 - m. Does 16 divide h?
False
Suppose -j - 2*j + 1249 = -4*y, -5*j + 2076 = -y. Suppose -o = 4*o - j. Is 29 a factor of o?
False
Does 2 divide ((-116)/8)/((-2)/4)?
False
Let x = 19 + -11. Suppose -4*o +