t n be (-104)/(-40) + (-6)/10. Let t be -63 - 1 - (1 - n). Let x = -15 - t. Is 14 a factor of x?
False
Let m(i) = 99*i**3 + i**2 - i + 1. Let f(u) = -u**3 + 8*u**2 - 9*u + 15. Let y be f(7). Does 25 divide m(y)?
True
Let n(h) = 2*h**3 + 30*h**2 - 2*h - 26. Does 4 divide n(-14)?
False
Let l(p) = 3*p**2 + 80*p + 15 - 100*p - 4*p**2. Is l(-11) a multiple of 19?
True
Suppose 0 = -p + 2*a + 1270, -p + 703 = -5*a - 561. Does 14 divide p?
True
Let a(v) = v**2 + 17*v + 16. Does 5 divide a(-20)?
False
Let q(a) = -a**2 + 10*a - 7. Suppose 17 + 19 = 4*v. Let l be q(v). Suppose 0 = 2*t - 2*y - 154, -3*y = -l*t + 2*y + 169. Is 14 a factor of t?
False
Let x be (-1*9)/(4 - 5). Is ((-8)/(-12))/(2/x) a multiple of 2?
False
Suppose 2*i = 106 + 56. Suppose 2*z = 6, f + 5*z - i = 39. Does 17 divide f?
False
Let d(i) be the third derivative of -i**4/8 - 5*i**3/6 - i**2. Let c be d(-4). Is 10 a factor of 1 - 0 - (-133)/c?
True
Let v(s) = 5. Let w(h) = h - 6. Let n(y) = -4*v(y) - 3*w(y). Let f be n(-5). Let i = f + 11. Is i a multiple of 7?
False
Suppose 0 = 6*i - 0*i - 2868. Does 52 divide i?
False
Let b(m) = 2*m + 22*m**2 + 6*m - 7*m**2 + 33 - m**3. Does 18 divide b(15)?
False
Let s(k) = k**3 - 10*k**2 - 2*k + 23. Let g be s(10). Suppose 0 = 2*d + g*d - 270. Is 27 a factor of d?
True
Let l(c) = 98*c + 14. Is 30 a factor of l(3)?
False
Let t be (6/15)/(1/5). Let f be 1*(-1 + t + -1). Let n(r) = r**3 - r**2 + r + 26. Is 24 a factor of n(f)?
False
Let b(n) = 2*n**3 - 4*n**2 - 8. Suppose 3*z = -5*c - 3, -z - c = 4*c + 11. Is 8 a factor of b(z)?
True
Let a(c) = -c**2 - 8*c + 12. Let m be a(-9). Suppose 4*f - 5*b + 68 = 0, -m*f - 49 + 9 = -b. Let o = f - -18. Is o a multiple of 2?
True
Let z(q) = 787*q**2 - 35*q + 34. Does 16 divide z(1)?
False
Suppose 4*b + p + 2*p - 17 = 0, 2*b + 4*p - 16 = 0. Suppose 0*m + b*m - 164 = -4*h, 137 = 3*h - 2*m. Is 12 a factor of h?
False
Does 17 divide (1 - 1255/10)/((-3)/68)?
True
Let w(r) be the first derivative of r**4/4 - 2*r**3/3 + r**2/2 - 2*r - 16. Is w(4) a multiple of 8?
False
Does 31 divide -2*((-97864)/16)/13?
False
Suppose -1530 = -9*u - 25*u. Is u a multiple of 9?
True
Let s be (-1)/(-6) - (0 + (-1037)/6). Let c = s - -7. Does 18 divide c?
True
Suppose -4*c + 30 = 46. Let w = 11 - c. Is 5 a factor of w?
True
Suppose 2*r + 160 = 7*r. Suppose -5*w = r - 352. Is 17 a factor of w?
False
Let w be -10*((-9)/6 - -1). Suppose x + 5*y - 63 = 0, -w*x - 5*y + 590 = 195. Suppose x = 4*f + 35. Is 4 a factor of f?
True
Is 59 a factor of (30100/(-3))/(-5) - (-50)/(-75)?
True
Let q be (-4)/(-10) - 32/5. Let r be (76/(-6))/((-4)/q). Let u = 33 + r. Does 6 divide u?
False
Let y(f) = -f - 7. Let v be y(-5). Let g be v/15 + (-274)/(-30). Suppose k = r + g, -3*r - 33 = -4*k + 7. Is 4 a factor of k?
False
Let m = 21 + 5. Let n = -18 + m. Suppose 227 + n = 5*z. Is 17 a factor of z?
False
Suppose 11*r - 31 = 10*r. Is 6 a factor of r?
False
Let y = -1545 + 2241. Is 58 a factor of y?
True
Let j be -3 + 10/4 - (-1452)/8. Let i = j - 90. Does 13 divide i?
True
Suppose 0 = -5*b - 2*u + 4715, -3*b - 17*u + 12*u + 2829 = 0. Does 15 divide b?
False
Is 2 a factor of (-315)/(-9)*(-3 - -4)?
False
Is ((-2)/4)/((-8)/5312) a multiple of 4?
True
Suppose 2*h = -2*q + 7*h + 42, -2*h + 44 = 3*q. Suppose 4*t - 6*t = -q. Suppose t = -5*w + 113. Does 21 divide w?
True
Let n(h) = -h. Let q be n(-6). Let i(x) = -x**3 - 2*x + 2. Let d be i(2). Is 29 a factor of -1 - -1 - q*d?
False
Suppose -1992 = 5*k - 11*k. Does 41 divide k?
False
Is 7 a factor of (-124)/(-93)*19*6?
False
Let p = -3375 - -4992. Does 33 divide p?
True
Suppose -1325 = -b + 3*r, -15*b = -12*b + 5*r - 3919. Does 13 divide b?
True
Let d = -33 - -36. Let a(b) = 13*b**2 - b**d - 13 - 9 + 6*b + 4. Is 11 a factor of a(13)?
False
Let q(p) = p**2 - 18*p + 242. Is q(38) a multiple of 111?
False
Suppose -13*r = -14670 + 2385. Is r a multiple of 63?
True
Suppose 0 = -w + 3 - 1. Suppose -w*s - 5*l - 2 = -10, -5*s = 3*l - 20. Suppose a = 5*v + 4*a - 128, -2*v + 54 = s*a. Is v a multiple of 5?
True
Let u = 7 - 8. Is 10 a factor of u + (3 - -92)/5?
False
Let r = 348 - -44. Let m = -57 + r. Is m a multiple of 14?
False
Suppose -3*m - 6*t + t + 18 = 0, -4*t = 5*m - 30. Let i(w) = w**3 - 6*w**2 - w + 2. Let a be i(m). Let k(s) = -s**3 - s**2 + 5*s - 2. Is k(a) a multiple of 13?
True
Suppose 0 = -3*j + 9*j - 3960. Is 5 a factor of j?
True
Let b be (-3)/(-1 + (-30)/(-31)). Suppose -m + 15 = -0*m - 3*h, 5*m + 3*h = b. Is (m/24)/((-2)/(-24)) a multiple of 9?
True
Suppose 614 = 4*y - 946. Suppose -5*z = -3*w + 20, 2*w = -4*z + z - 12. Suppose 0*u - 5*u + y = w. Is 26 a factor of u?
True
Let b = 325 + 180. Is 7 a factor of b?
False
Let w = -2 - -24. Suppose -5*f - w = 53. Let s = f + 75. Does 20 divide s?
True
Suppose -5*p - 8*m + 4*m + 3152 = 0, -1241 = -2*p + 5*m. Is 42 a factor of p?
False
Suppose -4 = -3*j + 5*j - 2*c, 20 = -4*j - 2*c. Is 44 a factor of (-2812)/(-16) - 1/j?
True
Let n(c) = c**3 + 62*c**2 - 8*c - 60. Is n(-62) a multiple of 5?
False
Suppose 5*a + o - 3422 = 334, 3*o = -2*a + 1492. Is a a multiple of 47?
True
Suppose -4*d - 34 - 10 = 0. Let i(g) = g**3 + 12*g**2 + 10*g - 6. Let a be i(d). Suppose 0*m = a*m - 2*w - 52, w = 4. Is 12 a factor of m?
True
Let t(j) = -8*j - 14. Let d = -1 + 4. Suppose 4*f + 27 = -q, -d*q - 76 = 5*f - 30. Is 21 a factor of t(q)?
True
Suppose 27*x = 31*x + 496. Let r = x + 234. Is 22 a factor of r?
True
Let d(s) be the first derivative of -1/4*s**4 + s**2 + 2 + 0*s**3 + 2*s. Is d(-2) a multiple of 4?
False
Suppose 8*y + 83 = 1419. Does 25 divide y?
False
Suppose -3*p - 7*p = -30. Suppose 4*s - p*s = 87. Does 15 divide s?
False
Suppose -16*n + 9*n + 2352 = 0. Let z = n + -76. Is 52 a factor of z?
True
Suppose 4*r = -4*q + 56, 0 = 5*r + 4*q - 18 - 50. Suppose r + 4 = 4*d. Suppose 2*c = d*f - 134, -5*f + 7*c - 2*c + 160 = 0. Does 12 divide f?
False
Suppose 2*w + s - 78 = -11, -w + 3*s + 30 = 0. Is w a multiple of 5?
False
Let b(z) = 25*z**2 - 2*z + 11. Does 47 divide b(7)?
True
Let d be -9*((-56)/12 - -4). Suppose -508 = -d*w - 130. Is 7 a factor of w?
True
Let p be (-3)/((-12)/8) - -86. Suppose x - p = 86. Does 22 divide x?
False
Let x(b) = 3*b + 260. Let w be x(0). Is (-8)/w*-5 + 1428/13 a multiple of 16?
False
Let b be 0*(3/(-2) - -1). Suppose 2*n + n - 6 = b. Suppose 5*m + 570 = 5*t, -3 = -m - n. Is t a multiple of 28?
False
Let t be 12/30 + (-1697)/5. Let u = -187 - t. Is u a multiple of 33?
False
Suppose u + 853 = 4*j, -2*j + 4*j + 3*u - 423 = 0. Suppose 2*s - j = -2*t - t, 0 = 3*t - 3*s - 213. Does 28 divide t?
False
Suppose 47*w = 65*w - 13824. Is w a multiple of 46?
False
Is (-4)/3 + (-3791)/(-51) a multiple of 73?
True
Does 16 divide 8/(-36) + 74742/27?
True
Let j(g) be the first derivative of 13*g**2/2 - 17*g - 2. Suppose 29*f - 13*f - 112 = 0. Does 32 divide j(f)?
False
Suppose 3*s + 2*q - 95 = 0, -18*q = -13*q + 25. Does 2 divide s?
False
Suppose 5*i - 9 = 3*d, -3*i - 5 = -5*d - 20. Suppose 4*q + i*q = h - 21, -q = 4*h - 50. Does 3 divide h?
False
Suppose 3*q + j = -218, -3 = 3*j + 12. Let a = q + 82. Is 2 a factor of a?
False
Let s = -1 + 6. Does 38 divide (0 - -682)/(7 - s)?
False
Let s = 30 + -27. Is 7 a factor of s/(9/48) - 2?
True
Let i = -77 - -49. Let b = i - -91. Is 9 a factor of b?
True
Suppose 1 = -3*d + 3*b - b, 5 = -d + 3*b. Let g be 236/(-12) + d/(-3). Is 4 a factor of (-2 - -17)*g/(-25)?
True
Suppose -w + y = -863, -4*w - y + 2982 = -480. Is w a multiple of 30?
False
Suppose 5*o = -5*y + 38 + 37, 4*o - 3*y = 88. Suppose u - 9 = -2*u, -u + o = 2*s. Is s a multiple of 8?
True
Suppose -43*n = -52*n + 189. Is 5 a factor of n?
False
Let n be (-90)/(-25) - 2/(-5). Suppose 0 = -5*j + 14 - n. Suppose 0 = j*k + 4*f - 44, -4*f = -k + 4*k - 60. Is k a multiple of 8?
True
Let k(g) = -383*g**2 + 12*g + 9. Let o(v) = -255*v**2 + 8*v + 6. Let d(t) = -5*k(t) + 7*o(t). Is 37 a factor of d(-1)?
False
Suppose -2*r - 91 = 3*d, 4*d + 7 = -13. Let q = 86 + r. Is q a multiple of 22?
False
Let p = -618 - -1215. Let a = p + -345. Is a a multiple of 27?
False
Let g = 210 + -68. Does 32 divide g?
False
Suppose 4*c = -177 - 39. Is (-2742)/c - 6/(-27) a multiple of 17?
True
Let a(m) = -21*m**2 - 5*m + 1. Let c(q) = q. Let j(b) = -a(b) - 3*c(b). Is j(1) a multiple of 22?
True
Let p = 4 