 Does 16 divide f?
False
Suppose 6*x = -38*x + 49764. Does 11 divide x?
False
Let y(c) = 77*c - 5. Let q(n) = 307*n - 21. Let v(f) = -2*q(f) + 9*y(f). Does 19 divide v(1)?
True
Let h = 13 - 9. Suppose 7*u = h*u - 840. Is 4 a factor of u/(-25) + (-2)/10?
False
Let w(u) = 1 + u**3 - u - 6*u + 2 + 2*u**2 + 4*u**2. Let a be w(-7). Suppose -y = l - 3, -a*y - l = y - 18. Does 5 divide y?
True
Let g(k) be the second derivative of 5*k**3/6 - 15*k**2/2 + 16*k. Does 25 divide g(13)?
True
Let k = 376 - -474. Does 28 divide k?
False
Is 38 a factor of (3500/(-21))/((-8)/12)?
False
Suppose -474 - 84 = -i. Is i a multiple of 18?
True
Let v be (-5)/20 + 10/8. Let r(u) = 0*u + 4*u - u + 2*u + v - 2*u**2 - u**3. Does 11 divide r(-4)?
False
Suppose 0 = 8*k + 9 - 1. Does 20 divide k/1 - 305/(-5)?
True
Suppose 3 = 3*p - 9, -3*i + 4*p = -122. Let n = i + 46. Does 10 divide n?
False
Suppose 0 = -5*b + 167*s - 172*s + 730, -5*b + 5*s = -720. Does 29 divide b?
True
Let o(k) = -11*k + 8. Let d = 56 - 37. Let i = d - 23. Is o(i) a multiple of 28?
False
Let m = -249 - -169. Let y be 4 - ((-160)/(-4) - -2). Let n = y - m. Is n a multiple of 14?
True
Suppose 5*d + 14 + 46 = 0. Let j(n) = n**3 - n**2 + n + 21. Let l be j(0). Let q = d + l. Is 4 a factor of q?
False
Let z(v) = -3*v + 120. Let h be -3 + 1 + -2 + 4. Let w be z(h). Suppose 4*m - w = -i - i, 4*m - 2*i - 128 = 0. Is m a multiple of 12?
False
Let d = 24 + -21. Suppose 0 = -2*g + d*g - 56. Is 30 a factor of g?
False
Let n(y) = y**3 - y**2 + y - 1. Let s(v) = 5*v**3 - 10*v**2 - v - 39. Let o(l) = -6*n(l) + s(l). Is 47 a factor of o(-7)?
False
Let v(j) be the third derivative of -j**6/120 - j**5/30 + 5*j**4/24 + j**3/2 - 5*j**2. Is 3 a factor of v(-4)?
True
Suppose 3*w + f + 3*f = 36, -2*f = -w + 12. Suppose -30 = w*c - 14*c. Is 17 a factor of (-603)/6*(-10)/c?
False
Let g(l) = 6*l**2 - 21*l + 105. Is g(7) a multiple of 36?
True
Let o(j) = -j**3 + 18*j**2 + 81*j + 64. Does 48 divide o(21)?
False
Let k(s) be the second derivative of -3*s**5/20 + s**4/6 - 2*s**2 + 39*s. Does 20 divide k(-4)?
True
Let r(l) = -5*l**3 + 4*l + 4. Let d be r(-3). Suppose 5*m + 2*k - 76 = 3*m, 4*m - d = k. Is m a multiple of 4?
False
Let a(n) be the first derivative of -5*n**3/3 - 6*n + 2. Let p(z) be the first derivative of a(z). Is 10 a factor of p(-1)?
True
Let s(j) be the third derivative of -j**5/60 - 5*j**4/24 + 5*j**3/6 - 59*j**2. Let f be ((-3)/(-6))/((-1)/10). Does 2 divide s(f)?
False
Suppose u = -3*u + 20. Let p be 0 - u/(15/(-18)). Suppose -d + p*d = 420. Is d a multiple of 24?
False
Let j = -11 - -5. Let y be ((-2)/j)/((-7)/(-126)). Suppose -2*w = y, g + w - 30 = 4*w. Is 7 a factor of g?
True
Let b(w) be the third derivative of -w**6/120 - 2*w**5/15 - 3*w**4/8 + 5*w**3/3 - 2*w**2 - 5*w. Does 8 divide b(-7)?
True
Let w(t) = 3*t. Let v be w(-4). Let b be ((-136)/v)/((-2)/3). Let x = -9 - b. Is x a multiple of 6?
False
Let m = 3688 - -509. Is m a multiple of 28?
False
Suppose 0*p - 4*g = -p - 10, 5*p = -3*g + 42. Suppose 0 = -5*j + 2*j + p. Suppose 3*v + 25 = 4*k, -j*v - 3*v - 15 = 0. Is k a multiple of 4?
True
Is (555*1)/3 - (55 - 57) a multiple of 17?
True
Let v(d) = 12*d + 9. Let z(b) = -b + 12. Let k be z(-3). Does 16 divide v(k)?
False
Is 36 a factor of 8095/4 - (-2 + -8)/40?
False
Let j = 12 - 13. Let d = j - -6. Suppose 377 = d*q - 13. Is q a multiple of 26?
True
Suppose 4*i = -i + 1085. Suppose 0*q = 3*h - 5*q - i, 73 = h - 2*q. Is h a multiple of 13?
False
Suppose -3*d = 5*m - 85 - 3, -5*d = -2*m + 29. Is m a multiple of 3?
False
Suppose 11*q = 714 + 2520. Is 147 a factor of q?
True
Let y(a) = 5*a**2 + 48*a + 9. Does 33 divide y(-24)?
False
Let p = -940 - -2365. Does 19 divide p?
True
Suppose r - 473 = 3*w, -1878 = -2*r - 2*r - 2*w. Does 29 divide r?
False
Is (-172)/16*(7 + -219) a multiple of 53?
True
Suppose 0 = 3*o + 17 - 188. Let r = o - 21. Suppose -4*i + i + r = 0. Is i a multiple of 6?
True
Let f(z) = 15*z**2 + 51*z - 10. Let h(q) = 10*q**2 + 34*q - 7. Let m(r) = -5*f(r) + 8*h(r). Is 10 a factor of m(-5)?
False
Let a(m) = 138*m**2 + 20*m - 6. Is a(-3) a multiple of 12?
True
Suppose 606*b - 592*b = 57652. Is b a multiple of 58?
True
Let o(d) = -3*d**3 - 3*d**2. Let k be o(-3). Suppose 4*w - 3*g = -133, -k = 2*w + g - 5*g. Let z = -17 - w. Does 7 divide z?
False
Let w(c) = -c**3 + 3*c**2 - 19*c - 58. Does 28 divide w(-7)?
False
Suppose 42*h - 10*h - 7168 = 0. Does 5 divide h?
False
Does 15 divide (58 + 2)/(12/(-1350)*-5)?
True
Let m be -33 - (-2 + 3 + -5). Let u = m + 29. Suppose u = -2*r + 78 + 44. Is 16 a factor of r?
False
Let v(z) = 138*z**3 - 3*z**2 + 5*z - 3. Let i(x) = -2*x**3 - 6*x**2 + 8*x + 1. Let n be i(-4). Is v(n) a multiple of 24?
False
Does 61 divide (4/6)/((-8)/(-17484)) + 7?
True
Let g be (272/85)/((-2)/(-245)). Suppose -3*f + 10*f - g = 0. Is 17 a factor of f?
False
Let n(m) = 0 + 3*m + 9*m**2 - 1 + 7*m. Let o be n(4). Suppose 0 = -5*p - 3*a + o, -74 = -p - p - 2*a. Is p a multiple of 7?
False
Let i = 835 + -648. Is 3 a factor of i?
False
Suppose -3*p - 2*u + 20 = 0, 2*p + u = 19 - 7. Let c = -5 + 7. Suppose 4*o - p*m = -o + 21, 0 = -2*o - c*m + 12. Does 5 divide o?
True
Suppose 0 = 10*u - 6*u - 3*f - 572, -2*u + 308 = 4*f. Is u a multiple of 29?
False
Let f(d) = -1510*d - 1. Let o be f(-1). Suppose o + 1191 = 15*g. Is 12 a factor of g?
True
Suppose -3*k + 45 + 747 = 2*w, 5*w = 3*k + 1980. Does 12 divide w?
True
Let v be ((-5)/(15/12))/(-1). Suppose v*q - 17 - 3 = 0. Suppose -465 = -q*s - 195. Is 18 a factor of s?
True
Let j be ((-4)/10)/((-5)/200). Suppose -j - 8 = -2*a. Is 11 a factor of a?
False
Let n(z) = 4*z + 6. Suppose 5*u + 0*x - 64 = -2*x, 4*x = -5*u + 58. Let w(y) = -y**2 + 13*y + 20. Let l be w(u). Is 11 a factor of n(l)?
False
Suppose -8*y - 21 = -2757. Does 18 divide y?
True
Let p be ((-3)/2)/((-30)/100). Suppose 47 = -3*z - 2*c, -p = c + 4*c. Let g = z - -26. Is 11 a factor of g?
True
Let g(n) = n**3 + 4*n**2 - 6*n - 7. Let f be g(-5). Is 8 a factor of (3 + -2 + 0)*(f - -34)?
True
Let n = 2893 - 8815. Does 26 divide n/(-57) - 4/(-38)?
True
Let v(u) = u**3 - 2*u**2 - 18*u - 1. Let r = 13 - 7. Is 3 a factor of v(r)?
False
Suppose 5*l - 2 = 13, 0 = -6*h - 3*l + 129. Is h a multiple of 12?
False
Let x = 54 + -18. Suppose -6*t + 84 + x = 0. Is t a multiple of 5?
True
Let s(f) = 4*f**3 + f**2 - f. Let a be s(1). Suppose 0 = 5*g - 2*o - 55, 5*g - a*o - 58 = 7. Suppose -g*w = -6*w - 390. Is w a multiple of 23?
False
Suppose 0 = 5*d - 3*g - 155, 13 + 49 = 2*d + g. Suppose p = d - 1. Is p a multiple of 15?
True
Let w(z) = 10*z - 50. Let y(i) = -2*i + 2. Let c be y(-9). Is w(c) a multiple of 18?
False
Suppose 5*v - 100 = -0*v. Suppose 140 = v*u - 18*u. Does 7 divide u?
True
Let f(y) = 11*y**2 - 8*y**2 + 4 + 2 + 5*y. Is f(-9) a multiple of 26?
False
Let b(y) = -y**2 - 3*y + 64. Let w(o) = -o**3 - 9*o**2 - 14*o. Let m be w(-7). Is 16 a factor of b(m)?
True
Let h be 1/(9/(-138)) - 2/3. Let y = 20 - h. Does 18 divide y?
True
Let y(n) = -46*n - 372. Is 8 a factor of y(-14)?
True
Suppose 4*o = -0 + 8. Let a(r) = 3*r - o*r - 10 + 11. Does 3 divide a(4)?
False
Let g(u) = -u**3 - 8*u**2 - 3*u - 8. Let w be g(-7). Let n = 102 + w. Is 27 a factor of n?
False
Let d(i) be the first derivative of -109*i**2/2 - i + 5. Let m be d(1). Is 16 a factor of (4 + -3)/((-2)/m)?
False
Suppose -f + 525 = -0*f - 3*j, j + 1551 = 3*f. Is 43 a factor of f?
True
Suppose 4*g + 286 = -3*h, -g = -h - 2*g - 94. Is 27 a factor of h/(-20)*18/1?
True
Let w = -61 + 98. Suppose w*p = 28*p + 126. Does 7 divide p?
True
Let g = 1 + 3. Suppose 5*o + g*p = 24, 3*o - 5*p - 4 = 3. Is 2 a factor of o?
True
Let y be ((-42)/35)/(4/(-10)). Suppose -2*r = y*r + 390. Does 13 divide r/4*6/(-9)?
True
Let k(z) = -z**2 - 10*z + 14. Let a be k(-11). Suppose -4*b + 649 = a*r, 0*r + 5*r + 657 = 4*b. Does 38 divide b?
False
Let t(a) = -2*a - 2. Let v be t(-7). Let i = v - 20. Does 2 divide (-18)/(-12)*i/(-6)?
True
Let q = 346 - 152. Is q a multiple of 5?
False
Let l(h) = h**2 + 6*h - 7. Let c be l(-7). Let j(z) = z**3 - z**2 + 7. Let o be j(c). Let a(r) = r**3 - 4*r**2 - 10*r. Is a(o) a multiple of 16?
False
Suppose 3*n = -l, -2*l - 3*n - 4 = -13. Does 27 divide l/3*(-28)/(-1)?
False
Suppose -20*b + 15 = -17*b. Suppose 603 = 3*t + p, -b*t + 688 = -2*p 