b be g(0). Suppose b = 3*p - 481 - 32. Let j = p + -75. Does 24 divide j?
True
Suppose -3*s = -24*s + 9009. Is s a multiple of 11?
True
Let v(z) be the third derivative of -z**6/120 - z**5/60 - z**4/6 - 2*z**3/3 + 9*z**2. Let y be v(-2). Suppose -13*h + 75 = -y*h. Is 7 a factor of h?
False
Let b = 18 + -22. Let p(q) = -7*q + 8. Is 6 a factor of p(b)?
True
Let i(g) = -71*g + 1. Let t be i(-1). Suppose 2*u = -2*w + t, -u + 4*w + 49 = 8. Is u a multiple of 4?
False
Suppose 5*m - 177 = 128. Let t = m - 133. Let b = t + 111. Does 8 divide b?
False
Let x(t) = t**2 + 12*t - 5. Let q be x(-12). Let k(l) = -6*l + 1. Let o be k(q). Suppose -m + 1 = -p + 12, o = 2*p + m. Is 7 a factor of p?
True
Let i = 310 + -202. Let x = i - 50. Is x a multiple of 26?
False
Suppose -4*m - 2 + 16 = -d, -3*d = 6. Let g(l) = 12*l - 3 - 1 - 9*l + 8*l. Does 7 divide g(m)?
False
Is 10 a factor of (4/8)/(-1 + (-401)/(-400))?
True
Let x(k) = 2*k**2 - k - 2*k + 9*k - 5. Let i be -2 + 4/((-8)/6). Is 15 a factor of x(i)?
True
Suppose 5*k + 11 = -4*c, c = -k + 4*k + 10. Let p(n) = n. Let s(l) = -3*l - 2. Let z(t) = -6*p(t) - s(t). Is z(k) a multiple of 4?
False
Suppose -5 = 5*k + 3*f, 3*f + 33 = 4*k - 2*f. Let r be 4/3*3 - k. Is 15 a factor of (10/4)/(r/24)?
True
Suppose -4*m + 3*m = 2. Let a(c) = -37*c + 4. Is 26 a factor of a(m)?
True
Suppose -3*b - s + 30 = 3*s, 3*s = -4*b + 33. Suppose -j + 244 = -b*l + 5*l, 3*j = -5*l + 716. Is 11 a factor of j?
True
Let n = -28 + 24. Does 15 divide (-4)/(-4) + n - -93?
True
Let h(s) = -s**3 - 9*s**2 + 13*s - 3. Let d be h(-13). Suppose 0 = u + 3*u - d. Is 18 a factor of u?
True
Suppose -1561 - 2759 = -15*d. Does 21 divide d?
False
Let u(g) = g + 11. Let t be u(-5). Suppose 12 = t*v - 12. Suppose -4*n - 58 = -5*r, -5*n + 4*n + 38 = v*r. Is 10 a factor of r?
True
Let a(q) be the third derivative of q**4/24 - q**3/3 - 3*q**2. Let o be a(0). Does 2 divide -1*(o + 3) + 7?
True
Let y be (18/27)/((-4)/102). Let q = y + 17. Let j(o) = -o + 5. Is 4 a factor of j(q)?
False
Is (176 - -1) + (8 - (-4 - -14)) a multiple of 25?
True
Suppose -x + 4 = 0, -4*u + 2*x = 6*x - 96. Suppose -u = 4*p - 4*y, -y = 4*p - 0*y. Is (4 + -1 - -8) + p a multiple of 3?
False
Let n(s) = 55*s + 1. Suppose -5*l - 13 = -3*h, 4*h + 3*l - 3 = -5. Let x be n(h). Let z = 116 - x. Is 20 a factor of z?
True
Suppose 3*d - 2*i - 2371 = 0, 3*d + 3*i = 1593 + 783. Suppose n = 1, -3*h = h - n - d. Does 19 divide h?
False
Suppose 5*h = 9*f - 6*f + 1948, 5*f - 1980 = -5*h. Does 36 divide h?
False
Let f(b) = b**2 + 10*b + 34. Let m be f(-9). Suppose -2*k - 5*u + 200 = -k, -m = 5*u. Is k a multiple of 45?
True
Let o = -6 - -8. Suppose -6*m = m. Suppose m = -o*g + 6*g - 36. Is g a multiple of 9?
True
Let w(v) = 2*v**3 + 6*v**2 - 34*v - 6. Is w(5) a multiple of 4?
True
Suppose 4*o = 4*f + 140, 2*o - 2*f + 85 = 5*o. Is o a multiple of 4?
False
Let x be (-236)/6*(-6)/2. Let n = x - -18. Is 23 a factor of n?
False
Suppose 0*i + 3*i - 2*u - 158 = 0, 4*u - 224 = -4*i. Suppose -r + 2*m + 23 = 0, -2*m + 119 = 3*r + 2*m. Let p = i - r. Does 13 divide p?
False
Is 44 a factor of 33816/96 + (-2)/8?
True
Let d(n) = 51*n + 19. Let m be d(3). Suppose 2*s = m - 44. Is 8 a factor of s?
True
Let z(o) = o**3 + 7*o**2 + 4*o + 4. Let h be z(-7). Let r = 69 + h. Is r a multiple of 7?
False
Suppose 0 = 8*l - 1046 - 2450. Does 38 divide l?
False
Suppose 4*o = -5*f + 4680, -42*f + 43*f = 0. Is o a multiple of 26?
True
Let y(l) = -l**3 - 10*l**2 + 11*l + 12. Suppose 6*k + 4 = 4*k. Let n = -13 - k. Does 12 divide y(n)?
True
Suppose 4*a - a - 25 = -5*s, -2*s - 21 = -5*a. Is 6 a factor of ((-12 - 0)/(-3))/(s/53)?
False
Let c(j) = j**2 - 15*j - 153. Does 3 divide c(-15)?
True
Let i = 143 - 46. Let n = i - -207. Is 16 a factor of n?
True
Suppose 3*d - 4*q = 66, 0*q - q = -4*d + 101. Let i = d + -5. Is i a multiple of 7?
True
Let p(n) = -n**3 - 4*n**2 + 8*n - 5. Suppose 0 = -4*f - 2*d + 6, -5*f + 5*d - 14 = 1. Suppose 2*j - 3 + 15 = f. Is p(j) a multiple of 18?
False
Suppose -4*g - 120 - 604 = -2*h, 0 = -3*h + 3*g + 1095. Suppose 8*b - h = -8*b. Is b a multiple of 19?
False
Let q(v) = 3*v**2 - 2*v. Let j be q(2). Let s(w) = 2*w**2 - 3 - 34*w + 0 + 31*w - 5. Is 24 a factor of s(j)?
True
Suppose -7*a + 425 = -79. Is 24 a factor of a?
True
Let n = 2267 + -1324. Is 41 a factor of n?
True
Let u = 51 + 27. Let h = 6 + u. Suppose -m - m - r = -42, 2*r + h = 4*m. Is m a multiple of 7?
True
Suppose -a + 4*x = -398, 2*x + 2882 = 5*a + 802. Does 55 divide a?
False
Suppose 6108 - 26982 = -6*c. Is 12 a factor of c?
False
Let l(n) = n**3 + 30*n**2 - 30*n + 98. Does 2 divide l(-31)?
False
Let j(y) = 22*y**2 - 3*y - 3. Let g be j(-2). Let a = g + -174. Let f = a + 125. Is f a multiple of 15?
False
Let p(q) = 52*q**2 - 10*q + 42. Does 6 divide p(3)?
True
Let h(x) = -21*x + 298. Is h(-15) a multiple of 19?
False
Suppose -4*b + 2*b + 4*s = -378, 3*b - 4*s = 565. Is b a multiple of 9?
False
Suppose -23*g + 1163 = -953. Let w = 144 - g. Is w a multiple of 13?
True
Is ((-592)/12 + -2)/(1/(-3)) a multiple of 14?
True
Suppose 4*f + i - 256 - 2768 = 0, -5*f + 4*i + 3780 = 0. Does 84 divide f?
True
Let u be (-12)/(-18) - 32/(-6). Suppose 4*o = -20, -u*d + 3*d - 10 = 5*o. Suppose -174 + 65 = -4*t + d*r, r - 16 = -t. Is t a multiple of 21?
True
Let f = -15 + 12. Let s(y) = -3*y - 21. Let m(l) = -2*l - 11. Let j(z) = 7*m(z) - 4*s(z). Is 7 a factor of j(f)?
False
Let j(x) = 29*x**2 - x + 1. Let l(f) = f**2 - 8*f + 8. Let k = 6 - -1. Let z be l(k). Does 11 divide j(z)?
False
Let q be -3 + 1 + 3 - -2. Suppose 0 = w + 4*l - 13, -q*w - l + 0*l + 28 = 0. Let c = w - -42. Does 17 divide c?
True
Let j(t) = 422*t - 393. Is j(2) a multiple of 4?
False
Suppose 25*f = 22*f + 12. Suppose -6*y + 1280 = f*y. Does 23 divide y?
False
Suppose -4*x - 4*h = -0*x + 160, -118 = 3*x + 2*h. Is ((-893)/x)/(2/4) a multiple of 8?
False
Let m be (7/14)/((-1)/(-4)). Suppose 5*p - 66 = 5*t - 11, -t = m*p - 19. Suppose -4*j + 3*z = -p - 7, -5*j - 4*z = -60. Is j a multiple of 4?
True
Let f be (-3)/(-1) - 5 - -18. Suppose -21*t + 105 = -f*t. Is 21 a factor of t?
True
Suppose 0 = -5*y - 5*v - 15, -v = -2*y + v - 2. Let n(z) = z + 1. Let k(f) = -30*f - 7. Let t(o) = k(o) + 2*n(o). Is t(y) a multiple of 11?
False
Suppose 11*l = l + 1430. Is l a multiple of 11?
True
Suppose -2*u + 10 = 0, 7*u + 133 = 3*q + 3*u. Is q a multiple of 3?
True
Suppose 3*a - 338 - 355 = -3*y, 0 = -a + 3*y + 243. Is 26 a factor of a?
True
Is (-60)/(-120)*9498/3 a multiple of 105?
False
Let l = -4 - -13. Let b(v) = -v + 17. Let g be b(l). Is 292/g - 3/6 a multiple of 16?
False
Let o be (-6)/(-8) - (-194)/8. Suppose -v + 2*v = w + 6, -4*v + 5*w + o = 0. Suppose v*j + 11 = 71. Is j a multiple of 4?
True
Let w(u) = -u**2 - 9*u + 15. Let l be w(-10). Does 15 divide (1*l/(-3))/((-59)/531)?
True
Let q(c) = 44*c + 97. Does 18 divide q(18)?
False
Let i(y) = -y**3 + 20*y**2 - 15*y + 33. Is i(14) a multiple of 37?
True
Suppose -3*a - 870 = -2*d - 113, -4*d + 1529 = -a. Is d a multiple of 34?
False
Let n be (-33)/1*(8/12 - 1). Suppose 4*i - 176 = -2*g, -n*g + i = -8*g - 292. Is g a multiple of 12?
True
Let g = 87 + -84. Let h(l) = 6*l**2 + 6*l - 1. Is h(g) a multiple of 6?
False
Suppose 10 = 3*d - 5*w, -2*d - 2*w = d - 17. Suppose -3*a + 4*r = -317, a + r = d*r + 111. Is a a multiple of 6?
False
Let g(q) = q**3 - 4*q**2 + 6*q - 7. Let p be g(3). Does 4 divide 1*4*(0 + p)?
True
Suppose 3*b - 5*b = -4. Is 8 a factor of 7648/80 - b/(-5)?
True
Let a(p) = -16*p + 243. Is a(13) a multiple of 7?
True
Let o be (-3)/(-4) + (-79)/4. Let g = o - -38. Does 3 divide g?
False
Let t be 3/15 - (-34)/5. Let c = t + -4. Suppose -c*n = -51 - 24. Is n a multiple of 8?
False
Let j be 17/(-3 - (-10)/4). Let z = j - -28. Is 8 a factor of 24/(-30)*285/z?
False
Let n = 581 + -413. Does 14 divide n?
True
Suppose 4*v = 0, -5*w + 4*v = 2*v - 1600. Is 22 a factor of w?
False
Let q(t) = 33*t - 388. Is 83 a factor of q(35)?
False
Suppose -20*r - 2106 + 46026 = 0. Is r a multiple of 9?
True
Suppose 2*v - 10 = -3*v. Suppose -5*n = -m - 12, m + 0*n + 3 = v*n. Suppose 3*a + 5*j + 0 = 14, j = -m*a + 34. Is a a multiple of 13?
True
Let f(d) = 15*d - 1. Is 4 a factor of f(8)?
False
Let z be (16/(4 - 8))/(-2). Suppose -4*h = 5*y - 12, y + 6*h - 3*h + z = 0. 