**5/60 + r**4/24 + 3*r**3 + 25*r**2. Let f be c(-17). Is 27 a factor of f - 0 - (-124 - 10)?
True
Suppose 17*a - 80*a + 87696 = 0. Is 16 a factor of a?
True
Let g be (0 - 0/3) + -6*21. Let l = -119 - g. Is 12 a factor of l + -8 + (-318)/(-2)?
False
Let d(f) = f**2 - 3*f - 2. Let y be d(-1). Suppose y*z + 59 = 253. Is 14 a factor of z?
False
Suppose -29*s - 14 = -36*s. Is 38 a factor of 19/((-8)/(-640)*5/s)?
True
Let p(f) = -f**3 + f**2 - 2*f - 4. Let m be p(5). Let o = m + 119. Suppose o*h + h - 36 = 0. Does 6 divide h?
True
Let c = 149 - 253. Let s = c - -161. Is s a multiple of 3?
True
Suppose 5*c + 760 - 2955 = 0. Does 152 divide c?
False
Suppose 24*d - 25*d = 17. Let f = d + 2. Is 10 a factor of -4*100/f*(-45)/(-24)?
True
Let j = -19 + 14. Is (2 + (-74)/5)*j a multiple of 32?
True
Suppose -3*l + 2*l = 4. Let o be (l - -4) + (3 - 5). Let p = 38 - o. Is p a multiple of 8?
True
Suppose 99 = 6*f - 15*f. Let l(o) = o**3 + 15*o**2 + 26*o + 11. Is l(f) a multiple of 11?
True
Let v be (108/15)/(6/240). Let j = 379 - v. Is 8 a factor of j?
False
Suppose 43 = 5*q + 33. Suppose q*g - 2 = -10. Does 21 divide 2/g + (-1041)/(-6)?
False
Suppose 5*m + 5*w - 50 = 0, -2*m = m + 2*w - 31. Suppose -m = -s - 10, -4*c = -2*s - 2842. Does 85 divide c?
False
Suppose -6452 = -4*h - 4*b, 2*b + 25 = -3*b. Suppose 10*n - 8*n + h = 3*f, 0 = -4*f + n + 2154. Is f a multiple of 29?
False
Suppose 1 + 1 = v. Suppose v*o - 5 = 1. Suppose o*z = -z + 60. Does 2 divide z?
False
Is 15 a factor of (16 + -1)/(44/9284)?
True
Suppose 8616 = 23*j - 11*j. Suppose 0 = 9*c - 2428 + j. Is c a multiple of 71?
False
Suppose 0 = 3*t - s - s - 20, -4*t + 4*s = -32. Suppose -y - 3*v + 42 = 2*y, t*y - 28 = 3*v. Let a = y - -8. Is a a multiple of 6?
True
Let l be 244/10*50/4. Suppose -2*r + 760 = 5*t, -t - r + l = t. Is t a multiple of 8?
False
Suppose -i = 4*z - 59108, 0*z + 2*z = -3*i + 29534. Is z a multiple of 7?
False
Let p(i) = -6*i + 18. Let f be p(-9). Suppose 96 = 2*a - 4*y + 3*y, -a - 4*y = -39. Let m = f - a. Does 5 divide m?
True
Suppose 0 = 400*i - 394*i - 17622. Is 7 a factor of i?
False
Suppose 2*h = 5*f - h + 22, 4*f - 12 = -5*h. Let a be -3 + 0/(-3) - -45. Let r = a + f. Is 8 a factor of r?
True
Does 17 divide 119/(2015/2400 - (-15)/(-18))?
True
Let n = 415 + -195. Let g = n - 14. Is 11 a factor of g?
False
Let n(m) = -87*m**3 - m**2 + 3*m - 2. Let z be n(1). Let x = z + 138. Is 6 a factor of x?
False
Let l(k) = -k**2 + 12*k - 33. Let o be l(5). Suppose o - 30 = 7*y. Does 5 divide (-50)/y + 6/(-12)?
False
Suppose -9 = 5*p - 2*c + 20, 5*p + 5*c + 50 = 0. Is 5 - 9 - p/(14/596) a multiple of 31?
False
Let z = 31375 + -17638. Is 19 a factor of z?
True
Let b be (-416)/(-39) + 0 + (-3)/(-9). Suppose 0 = 2*x + b + 11. Let i(y) = -12*y + 50. Is 14 a factor of i(x)?
True
Suppose 0*s + 3*x + 609 = -2*s, 0 = -2*s + 5*x - 649. Let o = -187 - s. Is o a multiple of 11?
False
Let w(l) = 6*l + 33. Let t be w(20). Let k = -123 + t. Does 5 divide k?
True
Let q(b) be the second derivative of -b**6/720 + 29*b**5/120 - 17*b**4/12 + 5*b. Let x(k) be the third derivative of q(k). Does 6 divide x(16)?
False
Suppose 0 = 17*k - 12476 - 33390. Let d = 3828 - k. Does 10 divide d?
True
Let v = 476 + -410. Is 20 a factor of (25 + -3)*v/12?
False
Let k = 13 - 48. Is 100/14*(0 - k) a multiple of 29?
False
Let z = -52142 + 77522. Is z a multiple of 141?
True
Let f(n) = 9*n + 7. Let p be f(-1). Does 16 divide (96/(-18))/(4/528*p)?
True
Suppose 0 = i - 21*i + 23520. Let m be (-2)/(4/2 + i/(-574)). Suppose -4*k = 5*r - 230, -75 - m = -2*k - 3*r. Does 7 divide k?
False
Let c be -5 - ((6 - 6) + -66). Let s = c - 28. Does 20 divide s?
False
Let l = 298 - 300. Suppose 6*i + 600 = i. Is 5 a factor of (2 - l/(-4))*i/(-9)?
True
Suppose -2*r = -0*s + s - 25378, r - 5*s - 12645 = 0. Is r a multiple of 215?
True
Suppose -5*t + b - 5 = -6*t, -5*t + 9 = -3*b. Let j(s) = 12*s**3 + 4*s**2 - 4*s - 10. Is 26 a factor of j(t)?
True
Let r(q) = q**3 + 2*q**2 + 20*q - 2. Let x(y) = -3*y**3 - 6*y**2 - 60*y + 6. Let i(j) = -17*r(j) - 6*x(j). Does 21 divide i(5)?
True
Suppose 5*f - 125 - 15 = -5*s, -f = -s - 26. Let y = 25 - f. Is 19 a factor of y/(-11) + (-6250)/(-110)?
True
Suppose 75*f - 10881 = 44*f. Suppose 2*r - 37 = f. Is 21 a factor of r?
False
Suppose 0 = 142*s - 153*s + 5027. Let w = 704 - s. Is 19 a factor of w?
True
Suppose -3*m - 4*f = -9 - 4, -14 = -5*m + f. Suppose -m*n + 186 = 5*x - 3*x, 4*n - 368 = -4*x. Is x a multiple of 45?
True
Suppose 3 = -4*v - 9. Let l(f) = f**2 + 87*f + 1727. Let g be l(-64). Let h = g + v. Does 28 divide h?
True
Is 62 a factor of (146 - 18)*(-14*(-365)/40 - -1)?
False
Let m = -88504 + 124219. Is m a multiple of 35?
False
Suppose -4*d - y - 50 = y, -1 = y. Let c(g) = -33*g + 17*g + 27*g + 27 + g**2. Is c(d) a multiple of 8?
False
Let y be -8*-3*(-5)/(-30). Suppose -2*q = 5*f + y - 19, 0 = 2*q + f - 19. Suppose -3*i = 2*g - 3*g - 58, -5*g = -q. Does 4 divide i?
True
Is (-2691)/276*(-14024)/3 a multiple of 351?
False
Let z be (777/74)/((-6)/8). Does 11 divide ((-4)/z + (-15)/(-21))*176?
True
Let r(h) = -h**3 - 7*h**2 - 6*h - 3. Let u be r(-6). Let k(z) = 4*z**3 + 3*z**2 - z. Let y be k(1). Is 32 a factor of (y + -5 + -37)*8/u?
True
Let j(n) = 15*n**2 - 35*n + 33. Let x(q) = 7*q**2 - 17*q + 16. Let c(f) = -6*j(f) + 13*x(f). Is c(-6) a multiple of 7?
True
Let s(y) = 8*y**3 - 4*y**2 - 14*y - 23. Let l(c) = 8*c**3 - 3*c**2 - 13*c - 22. Let k(i) = -4*l(i) + 3*s(i). Is k(-4) a multiple of 9?
False
Let w(f) be the first derivative of 13*f**4/12 - 13*f**3/6 - 17*f**2/2 + 33. Let p(l) be the second derivative of w(l). Is 13 a factor of p(9)?
True
Let d(b) be the first derivative of b**4 + b**3 + b**2 + b + 16. Let c be d(-1). Does 22 divide -44*(-2 + (-28)/(-8) + c)?
True
Suppose 13*b - 59074 = -22024. Is b a multiple of 8?
False
Let k = -391 + 143. Let l = k - -425. Is l a multiple of 18?
False
Let s be -2*(-4)/(-8)*0. Suppose 13*h - 14*h = s. Suppose 3*z + 9 - 45 = h. Does 4 divide z?
True
Suppose -k + 5*n + 307592 = 0, -4*k - 33*n + 1230368 = -37*n. Is 76 a factor of 2/21 - (-10)/(1680/k)?
False
Let a(t) = t**3 + 17*t**2 + 22*t + 5. Let c be a(-9). Let u = c - 169. Suppose 4*o + 2*y - u = 0, -3*o = -5*y + 3*y - 218. Is o a multiple of 12?
True
Let c(r) = -643*r + 1021. Is c(-3) a multiple of 8?
False
Let k(b) = b**3 + 7*b**2 - b + 1. Let z(p) = 2*p + 22. Let y be z(-11). Suppose 5*c = 4*u - 6*u - 26, y = c + 4. Is k(u) a multiple of 20?
True
Suppose 12 + 9 = t. Let f = t + -9. Suppose 0 = -4*j + f*j - 840. Is 21 a factor of j?
True
Suppose 5*b - 29 = -579. Let j be (-31 + -4)*(-115)/25. Let c = b + j. Is c a multiple of 21?
False
Let f = -2164 - -3804. Does 11 divide f?
False
Suppose -2*y = -4*y + 198. Suppose 8*c - y = -11. Let l = c - -76. Does 18 divide l?
False
Let z be 0 + 62972/(-12) - (-6)/9. Does 3 divide ((z/6)/11)/(21/(-14))?
False
Suppose 10*f = 6*f. Let m = -85 - -93. Suppose f = 16*o - m*o - 144. Does 17 divide o?
False
Let b be ((-120)/(-36))/((-2)/(-9)). Suppose -h = -b*h + 588. Does 42 divide h?
True
Let p(r) = -83*r - 19. Let v be p(9). Let q = v + 1086. Is q a multiple of 10?
True
Suppose -6*d = 2 - 8. Suppose 0 = 5*b + 12 - 42. Is 24 a factor of (d/(-2))/((-4)/(1018 + b))?
False
Let j(s) = 36*s**2 - 15*s + 398. Is j(14) a multiple of 88?
False
Suppose -7*q + 4*q - 213 = 0. Let v = 104 + q. Let y = v + 31. Does 8 divide y?
True
Let n(s) = s**2 - s + 22. Suppose -4*a + 6*a = -156. Let y = a - -86. Is n(y) a multiple of 13?
True
Let g = 147 + -23. Let y = g - -165. Does 17 divide y?
True
Let p(g) = 2*g**2 + 42*g - 26. Let r be p(-28). Let q = r + -246. Is 40 a factor of q?
True
Let f(u) be the third derivative of 0 - 1/60*u**5 + 169/6*u**3 + 5*u**2 + 0*u - 1/12*u**4. Is f(0) a multiple of 10?
False
Let t(b) = -1897*b**3 - 12*b - 34. Is t(-2) a multiple of 13?
False
Is 2/((-10)/(730*-47)) a multiple of 47?
True
Suppose 0 = -4*d + 3 + 1, -d = -5*r + 899. Suppose -3*t + 3*q = r, t - 2*q + 51 = 2*q. Is -2*6/3 - t a multiple of 22?
False
Let x be 1*(1*-6 + 0)/(-1). Let k(a) = 32*a**2 + 5*a + 8. Let r(q) = -11*q**2 - 2*q - 3. Let d(o) = x*k(o) + 17*r(o). Does 26 divide d(-3)?
False
Let t = 197 - 192. Suppose 4*r + 4 = 5*r, -5*c + t*r + 1070 = 0. Does 11 divide c?
False
Suppose 4*f = 3*