 (-46)/(0 + 8/(-20)). Suppose -2*k + x = -4*u - 69, k = 5*u + 101. Let j = -31 + k. Is j a multiple of 17?
False
Suppose -23 = -4*x - 3*p + 6*p, 15 = 5*x - p. Let b = -41 + 41. Suppose -4*o + 24 = 5*r, -x*o - 18 = -5*r - b*o. Is 4 a factor of r?
True
Let t(q) = 7*q**2 + 3*q - 2. Let l be t(1). Let u(a) = a**2 - 6*a - 10. Is u(l) a multiple of 4?
False
Let o = 54 + 6. Is 20 a factor of o?
True
Suppose 11*h - 51869 = 13119. Is 14 a factor of h?
True
Suppose s + 2 = 4. Suppose -s*c + 185 = 3*g, 5*g - 2*c - 99 = 220. Is g a multiple of 9?
True
Let b(q) be the first derivative of -q**4/4 + 7*q**2/2 - 3*q + 4. Is 7 a factor of b(-4)?
False
Suppose 3*o + 541 = 5*c, -135 = 3*c + 3*o - 474. Does 11 divide c?
True
Let u(s) be the second derivative of -3*s**6/40 - s**3/6 + 3*s**2/2 + 7*s. Let i(p) be the first derivative of u(p). Is i(-1) a multiple of 8?
True
Let c = 383 + -273. Is c a multiple of 22?
True
Is 47 a factor of 377 - -1 - (-60)/(-30)?
True
Let p = -19 - -30. Let o = 10 - p. Let w = o - -13. Does 6 divide w?
True
Suppose -631 = -3*n + 1019. Does 22 divide n?
True
Suppose 3*d - 8*d + 25 = 0. Let v = d + 0. Suppose 0 = v*i - i - 96. Does 8 divide i?
True
Suppose 16*j - 14*j - 298 = 0. Let m = -69 + j. Let w = m - 10. Is 13 a factor of w?
False
Suppose -32 = -4*a - 5*u, 3*a + 11 + 0 = 5*u. Let b(l) = l**3 - 2*l**2 - l - 2. Let s be b(a). Suppose -104 = -0*d - s*d. Does 5 divide d?
False
Is 13 a factor of (-3)/99*6 - (-3621)/11?
False
Let w(k) = -k - k**2 + 47 - 7 + 22 + 0*k. Let p be w(0). Suppose -o = -2*h + p + 10, -3*h - 4*o = -97. Does 7 divide h?
True
Let v(s) be the first derivative of s**3/3 - 9*s**2/2 + 25*s + 4. Is v(11) a multiple of 24?
False
Is 3 a factor of -2*(479/(-14) + 20/(-70))?
True
Suppose -18*m = -35*m. Let v(l) = -l**3 - 8*l**2 + 4*l + 10. Let p be v(-8). Let x = m - p. Does 11 divide x?
True
Let a(l) = -l**2 - 7*l + 2. Let w be a(-7). Does 41 divide w/(-10) - (-3)/(30/1952)?
False
Let a(m) be the first derivative of m**4 + 5*m**3/6 - 7*m**2/2 + 9. Let h(b) be the second derivative of a(b). Is 31 a factor of h(6)?
False
Let k(s) = -s**3 + 8*s**2 + 13*s - 12. Suppose 3*v = 2*t - 0*t - 3, 3*t - v - 22 = 0. Is k(t) a multiple of 12?
True
Let c = -8 - -9. Does 21 divide (c + ((-68)/3)/4)*-18?
True
Is 10 a factor of (0 + -6)/6 - (-2 - 119)?
True
Suppose -u - h - 5 = -29, 28 = u - h. Is 3 a factor of u?
False
Let h be ((-12)/11)/6 + (-48)/(-22). Suppose 0 = -6*t + h*t + 548. Does 19 divide t?
False
Let z be (-5)/(-10) - (-33)/(-6). Let q(t) = t**3 + 15*t**2 + 2*t - 6. Is q(z) a multiple of 26?
True
Is 25 a factor of 400/(-7)*266/(-76)?
True
Suppose -28*r + 26*r + 168 = 0. Is (216/r)/((-45)/(-42) - 1) a multiple of 3?
True
Let m = 346 + 266. Is m a multiple of 4?
True
Suppose -1 = -k + 7. Let c = -4 + k. Suppose 4 = -3*t - 11, 44 = c*w + 4*t. Is w a multiple of 16?
True
Let p(v) = v**2 + 7*v + 4. Let g be p(-6). Let q be 3 - g/(-1)*-32. Let b = q + -40. Is b a multiple of 10?
False
Let h(g) = -2*g - 16. Let d(c) = 3*c + 17. Let o(q) = 5*d(q) + 6*h(q). Let f be (-4)/((-1)/2*1). Does 5 divide o(f)?
False
Let q = 904 + -459. Is q a multiple of 18?
False
Let d = -1228 + 1471. Is d a multiple of 27?
True
Let i be 8/6*(1 - -2). Let d(t) = -12*t + 2 + 7*t + 4*t + 7. Is d(i) a multiple of 5?
True
Let u(y) be the third derivative of y**6/120 - y**5/15 + 7*y**4/24 - 2*y**3/3 - y**2. Let r = -637 + 642. Does 14 divide u(r)?
True
Let y = 15 + -60. Is 18 a factor of y*(3 - (-38)/(-10))?
True
Suppose -4*k - 5*l = 278, 0 = -2*k - l + 3*l - 148. Let s = k - -153. Is 12 a factor of s?
False
Let t = 7 + -6. Suppose 4*h - 2*i = 3*h - t, 3*i + 30 = 5*h. Let b = 9 + h. Is b a multiple of 6?
True
Let s(o) = 5*o + 39. Let w be s(-6). Suppose w*k - 86 = 85. Is 8 a factor of k?
False
Suppose -5*u - 3*x = -789, -u = 5*x - 0*x - 149. Does 3 divide u?
True
Let a(r) = 3*r - 106. Let k be a(36). Let m(j) = 30*j - 21. Let c(u) = 3*u - 2. Let f(s) = 21*c(s) - 2*m(s). Does 3 divide f(k)?
True
Is 26 a factor of (-2)/(-17) - (-274014)/221?
False
Let r be 1/2 - (-573)/6. Let v be (-3 - 0)/((-9)/60). Is 23 a factor of (-45)/v*r/(-9)?
False
Let f(u) be the third derivative of u**5/30 - 5*u**4/24 - 7*u**3/3 - 8*u**2. Is f(6) a multiple of 14?
True
Let y(h) = -2*h + 20. Let g be y(9). Suppose -5 + 17 = g*u. Suppose u*o - 23 = 43. Is o a multiple of 11?
True
Let y = -4 - 1. Let f be (y + 1)*(0 + -1). Suppose -f*n + 2*j + 94 = 0, 3*n - 6 - 37 = -4*j. Is n a multiple of 12?
False
Let l(f) = 8*f + 18 - 7*f + 18 - 2*f. Does 6 divide l(14)?
False
Suppose 10*q = 5*q + 7350. Suppose -2*j + q = 3*j - 4*y, -845 = -3*j - 5*y. Is j a multiple of 10?
True
Suppose -3*i - 125 = -443. Is i a multiple of 2?
True
Suppose -1 = -4*v + 39. Suppose -2*h - v = -7*h. Suppose -42 = -h*x + 14. Is 14 a factor of x?
True
Let i be 104/(-6) - 4/6. Let z(d) = -9 - 6*d**2 + 12*d**3 - 10*d**2 - 18*d**3 + 17*d + 5*d**3 - d**2. Is 9 a factor of z(i)?
True
Let r(a) = -4*a - 15. Let x be r(-5). Suppose -123 = -y + x*h, -3*y + 381 + 36 = -3*h. Does 15 divide y?
False
Suppose 10*g - 4905 = -35*g. Is g a multiple of 15?
False
Let r(u) = -3*u - 9. Let x be r(-7). Let f be (x/(-10))/((-24)/80). Does 12 divide 57 + f/((-12)/9)?
False
Let v be 6/21 + (-68)/(-7). Is 11 a factor of 22*(-4 - (-45)/v)?
True
Is -6 - ((-2)/(-2))/(3/(-1218)) a multiple of 80?
True
Let l(g) = -3*g - 26. Let n be l(-10). Suppose 2*h + 75 = 5*r - 3, 0 = n*r + 4*h - 40. Is 7 a factor of r?
True
Suppose 828 + 2442 = 6*r. Is 43 a factor of r?
False
Suppose -3*v - v = 4, 3*h + v = 158. Let c = h + -40. Is c a multiple of 10?
False
Let f be (((-4)/6)/((-4)/(-636)))/2. Let c(k) = -80*k**2 - k. Let i be c(1). Let r = f - i. Does 15 divide r?
False
Suppose 369 = 5*r - 6. Let t be 10/r - 167/15. Let q = 5 - t. Is q a multiple of 3?
False
Suppose 1056 = 4*o + 5*l, -135 = -o + l + 120. Does 36 divide o?
False
Let v(q) = q**3 + 22*q**2 - 5*q - 108. Does 68 divide v(-20)?
False
Suppose 2*s - 524 - 6945 = -b, 0 = -2*b + 6. Is 40 a factor of s?
False
Suppose -3*p - 1407 = -3*c, 1235 = 3*c + 4*p - 165. Does 26 divide c?
True
Let s(b) = 7*b**2 + 3*b - 1. Suppose -3*m + 5*m = 6. Suppose -2*k - m + 16 = 3*f, 15 = 3*k + 3*f. Is 17 a factor of s(k)?
False
Let v be 4224/84 - 4/14. Let i = v + -39. Is i a multiple of 4?
False
Suppose 0 = -13*s - 33*s + 11224. Is 4 a factor of s?
True
Suppose 0 = -5*m - j - 64, 4*m - 2*j + 52 = -m. Let l = -27 - m. Let y = 13 - l. Is y a multiple of 8?
False
Let o(l) = -594*l - 20. Is o(-1) a multiple of 14?
True
Let q(j) be the third derivative of j**4/3 + 5*j**3/6 - 27*j**2. Does 9 divide q(5)?
True
Let s = 81 - 47. Suppose 5*t = z + 65, -5*z = 5*t - 31 - s. Is t a multiple of 3?
False
Suppose 0 = 6*p - 32 - 10. Suppose -j - 5*g + p = 0, -59 = -5*j - 3*g + 2*g. Is 12 a factor of j?
True
Let h = 106 + -830. Is 10 a factor of 6 - (-140)/(-21) - h/6?
True
Let p(t) = 18*t**3 + 4*t**2 + 3*t - 6. Let j(w) = -17*w**3 - 3*w**2 - 2*w + 5. Let n(y) = 4*j(y) + 3*p(y). Is n(-1) a multiple of 2?
False
Let s = 4800 - 3312. Is 69 a factor of s?
False
Let u(f) = 3*f - 6. Let l be u(-9). Let n = 15 - l. Let p = 76 - n. Does 6 divide p?
False
Suppose -k = -8 + 23. Is 1/(-1) - 3/(k/340) a multiple of 12?
False
Let a(z) = -14*z + 3. Let o be (10/15)/((-4)/18). Let r be 7/o - 3/(-9). Is 6 a factor of a(r)?
False
Let m = 4435 - 2990. Does 18 divide m?
False
Let g = 248 + -224. Is 3 a factor of g?
True
Let l be (-1)/(-6) + (-4)/24. Let x(r) = -r + 2. Let o be x(l). Suppose 0 = -o*i - 5*u + 113, 0*u = -i + 2*u + 43. Is 20 a factor of i?
False
Let f(i) = 92*i + 19. Is f(11) a multiple of 74?
False
Let y = 41 + -21. Suppose 6*g - y = 10. Suppose -3*m - t + 16 = 3*t, -5*t + 25 = g*m. Does 4 divide m?
True
Suppose 5*h + 468 = 18*h. Does 9 divide h?
True
Suppose 5*q = -4*l + 12379, 5*q = 3*l + l + 12371. Is 15 a factor of q?
True
Suppose -45*x + 11961 + 37539 = 0. Is 44 a factor of x?
True
Let m(i) = -i**2 + 4. Let t be m(0). Suppose -5*u = -11 - t. Suppose 0*b + 27 = u*b. Is 9 a factor of b?
True
Let h(q) = 10*q**2 + 15*q + 29. Is 3 a factor of h(-6)?
False
Is 3/(-5) + 327225/375 a multiple of 8?
True
Let b(q) = -73*q - 15. Is 16 a factor of b(-7)?
True
Let i be (-1)/(1/(-2) + 1). Let u(x) = 26*x + 3. Let q be u(i). Let f = -13 - q. Is 12 a factor o