s 5 a factor of k?
False
Let t be ((-3)/(-9))/((-9)/(-108)). Does 22 divide (-90)/t*(3 + (-159)/9)?
True
Is (12/10*-5 + 5)*-69*65 a multiple of 23?
True
Suppose r - 82 = -3*u - 2, -3*u - 2*r = -79. Suppose -u*s = -1665 - 2871. Is 30 a factor of s?
False
Let u be 48477/565 + (1 - 2)/(-5). Let h = 218 - u. Is 3 a factor of h?
True
Let b(d) = 58*d**2 + 4*d + 2. Is b(3) a multiple of 19?
False
Let d(m) = -11418*m - 67. Is 4 a factor of d(-1)?
False
Suppose 4*i = 195 + 325. Suppose 5*p - 5*z + i = -0*z, 4*z = 4. Let w = 70 + p. Is w a multiple of 9?
True
Let s = 1808 + -1696. Is s a multiple of 3?
False
Suppose 50*h - 91*h + 70*h = 34684. Is h a multiple of 49?
False
Is -1362*((-2)/(-18) + ((-415415)/234)/55) a multiple of 24?
False
Does 307 divide (-1149240)/100*(-30)/12?
False
Suppose -5*w = -2*n + 14, 3*n = -w - 2*w. Let g(s) = -2*s**2 - 4*s + 4. Let d be g(n). Is (-204)/(-9) - 4/d a multiple of 7?
False
Let h(t) = -46*t + 434. Is h(-8) a multiple of 17?
False
Is (-6 - 46236/(-18)) + (-19)/(-57) a multiple of 184?
False
Let r(a) be the third derivative of 89*a**5/60 + a**3/6 + a**2. Let v = 2836 + -2837. Does 30 divide r(v)?
True
Let p = 39334 + -30773. Is 8 a factor of p?
False
Let d(r) = 3*r**3 + 79*r**2 + 36*r - 37. Does 31 divide d(-24)?
True
Let n = 19 + -28. Let g be -12 + 6/n*-6. Does 4 divide (37/(-2))/(4/g)?
False
Is (-26)/195*5*-10998 a multiple of 26?
True
Suppose 0 = 9*g + 259233 + 14655. Is 12/18 + (g/9)/(-4) a multiple of 47?
True
Let k(r) be the second derivative of -5*r**3/6 - 5*r**2/2 + r. Suppose 9*s = 43*s + 68. Does 5 divide k(s)?
True
Suppose -5*a = -19 + 4. Suppose -n = h - 2, 2 + a = 4*n + 3*h. Is 5 a factor of 21 + 8/(-2)*n?
True
Let h = 2 - -2. Suppose h*k - 87 = k. Let c = k - -4. Is 9 a factor of c?
False
Let m = 62 - 32. Suppose 11 = 4*j - 85. Suppose 3*w = m + j. Is w a multiple of 18?
True
Is -192*52/39*-2 a multiple of 8?
True
Suppose 0 = 5*o + 6 - 1, -4*t + 3*o + 11 = 0. Let c(k) = 16*k**2 - 5*k + 4. Let a(l) = 47*l**2 - 15*l + 12. Let b(s) = 4*a(s) - 11*c(s). Does 14 divide b(t)?
True
Let v = -273 - -243. Is (-4)/24 + (-1145)/v a multiple of 4?
False
Let a(r) = -r**2 + 2*r - 4. Let f be a(0). Is (-6)/(3 - (-6)/f) + 60 a multiple of 4?
True
Suppose -71 = -4*f + 5*x + 11, -3*f = 2*x - 73. Let r be (-54 + 57)/((0 + -1)/(-11)). Suppose -i + f = -r. Does 20 divide i?
False
Suppose 0 = 2*i + 3*i + b + 120, -3*b = -4*i - 96. Does 13 divide ((-25)/(-30))/(-5) + (-1252)/i?
True
Let h(p) = -p**3 + 6*p + 218. Let s = -184 + 184. Is h(s) a multiple of 17?
False
Let l be (-8 + 1125/120)/(3/24). Let t(z) = -z**2 - 6*z - 3. Let n be t(-4). Suppose n*f + 600 = l*f. Is f a multiple of 49?
False
Let l(w) = w + 26. Let o be l(-20). Does 13 divide (-3 + o)*1 - -279 - 4?
False
Let f(q) = 37*q**2 - 93*q - 20. Does 13 divide f(6)?
True
Let i be -665*3*2/(-6). Let u = i + -389. Is u a multiple of 69?
True
Suppose -4*q + 0*q + 136 = 0. Let y = -31 + q. Suppose -74 = -4*c + y*t + 228, -150 = -2*c + 2*t. Is c a multiple of 22?
False
Let d = -60 - -60. Suppose d = b + 81. Let n = -32 - b. Is 11 a factor of n?
False
Suppose -b = -10*b - 1080. Suppose -70 = 2*w + 150. Let y = w - b. Is 3 a factor of y?
False
Suppose -84 = -7*u + 651. Let o be 3080/u*1/((-8)/18). Does 14 divide (112/(-48))/(1/o)?
True
Suppose -3*b + 6 = -15. Suppose -244 = -b*a + 5*a. Let c = -78 + a. Is 11 a factor of c?
True
Suppose 0 = -c + 9*r - 8*r + 9038, 0 = -2*c - 3*r + 18086. Suppose 7*y - 585 = c. Does 12 divide y?
False
Let f be ((-30)/(-25))/(-2) - 22/5. Let k(h) = 24*h**2 + 4*h - 6. Is k(f) a multiple of 10?
False
Let z(o) = -2*o**2 - 9*o - 23. Let k(d) = 3*d**2 + 9*d + 24. Let g(t) = -3*k(t) - 4*z(t). Let f be g(8). Let y = 5 + f. Is 33 a factor of y?
True
Does 35 divide (12 + -11 + -876)*-2?
True
Let k = 43 - 39. Suppose w + k = -0*w. Is w/6*183*-1 a multiple of 23?
False
Let y(x) = -1218*x + 80. Does 118 divide y(-1)?
True
Suppose 2*l + 228 = 4*s, 0 = -s - 4*l + 8*l + 50. Suppose -46*g - 1260 = -s*g. Is 21 a factor of g?
True
Suppose 0 = -4*d + 2*a + 338, -3*d - 4*a + 164 = -d. Let g(z) = -5*z**3 - 16*z**2 - 5*z - 15. Let f be g(-4). Suppose 67*n = f*n - d. Does 14 divide n?
True
Suppose -x + 5*x + 1226 = -2*c, 2*x + 2428 = -4*c. Let h = c + 1109. Is 38 a factor of h?
False
Let s = -6858 - -36554. Is 36 a factor of s?
False
Suppose 2*i - 3*i = 5*i. Suppose 2*t - 4*t = -3*m + 874, i = 3*m + 2*t - 854. Does 18 divide m?
True
Suppose -u = 5*w - 9238, -6*w = 4*u - 9*w - 37067. Is 38 a factor of u?
False
Let g(v) = -35*v - 41. Let i(z) = -9*z - 10. Let r = -50 + 41. Let f(j) = r*i(j) + 2*g(j). Is 21 a factor of f(5)?
True
Let r = -987 + 1398. Let h = -771 + r. Is h/(-16)*(-60)/(-9) a multiple of 30?
True
Let f(m) = -898*m + 743. Is 2 a factor of f(-4)?
False
Is 150 a factor of -3 + 26259 - 4 - (-61 + 68)?
False
Suppose 8*y - 5*y = 495. Let p = y - 89. Suppose -r + p = 1. Is r a multiple of 25?
True
Let o(k) = -3*k + 5 + 11*k + 11*k. Let q be ((-9)/(-18))/((-58)/(-28) - 2). Does 23 divide o(q)?
True
Let z(h) = -63*h + 723. Let f be z(-19). Suppose 3*o - 7*o + 40 = 0. Suppose -o*q = -18*q + f. Is q a multiple of 48?
True
Let n(a) = 282*a + 251. Let c be n(8). Suppose 29*w - c = 6*w. Does 2 divide w?
False
Suppose 0 = -4*v + 9*v - 20. Suppose -v*y = m - 526, 0 = 6*y - y + 25. Does 7 divide m?
True
Let t(a) = 76*a + 752. Is t(28) a multiple of 18?
True
Suppose 51 = -202*k + 189*k - 1197. Let l(q) = q**3 - 2*q**2 - 4*q + 3. Let z be l(-6). Let w = k - z. Is w a multiple of 12?
False
Let n(a) = a**3 - 9*a**2 - 45*a + 16. Let p be n(12). Is 16 a factor of (p + (-3)/6*8)*-1?
True
Let r = -133 - -136. Suppose 0 = 4*z - 5*g + 51 + 196, g - r = 0. Is 29 a factor of (z/3)/(38/(-57))?
True
Let g = 42 + -25. Suppose 4*a - g - 23 = -3*z, -85 = -5*a + 5*z. Suppose -1050 = a*c - 18*c. Is c a multiple of 14?
True
Suppose -4*i + 3*f = -663, 0 = -i - 4*f - 19 + 161. Is 9 a factor of i/(-15)*(-600)/36?
True
Let q(p) = -59*p**2 - 24 + 84*p**2 - 15*p + 5*p. Is q(7) a multiple of 29?
True
Suppose 0 = -19*v + 83 - 7. Is v - (-8 - 633)*1 a multiple of 23?
False
Let m = -163 - -224. Let f = m - -79. Is f a multiple of 14?
True
Let r(h) = -23*h + 3. Let p(a) = a**3 + 9*a**2 + 8*a - 1. Let j be p(-8). Let g be r(j). Let t = g - -21. Does 47 divide t?
True
Let o(f) = -6*f**2 + 30*f + 1. Let j be o(-3). Let t = j - -377. Is 9 a factor of t?
True
Let i = -17548 + 47400. Does 17 divide i?
True
Let v(r) be the first derivative of r**4/4 + 7*r**3/3 - r**2/2 - 6*r - 20. Let d be v(6). Suppose 0 = -0*j + j - h - 109, 4*j + h = d. Is j a multiple of 21?
False
Let r be (-9)/(-21)*1*7. Suppose 3*f = -4*z - 90, -r*f + 5*z = 2*f + 115. Is (13/(f/(-12)))/(1/12) a multiple of 8?
True
Let k(c) be the third derivative of -c**7/840 + c**6/45 - c**5/40 - 3*c**4/8 - 7*c**3/3 - c**2. Let a(y) be the first derivative of k(y). Does 5 divide a(7)?
False
Let l(x) = 2*x**2 - 3*x - 14. Let h be (-8 + 5)*(65/15 + -1). Is 12 a factor of l(h)?
True
Let p = 116 + -108. Suppose -p*d + 4365 = 7*d. Is d a multiple of 28?
False
Let n = 618 + -417. Suppose -n = 8*o + 71. Let h = o - -38. Is h a multiple of 4?
True
Let w be ((-45)/12)/((-4)/64). Suppose -w = -6*p - 0*p. Suppose 189 = p*l - 201. Does 13 divide l?
True
Does 35 divide (45/18)/(((-76)/17640)/(-19))?
True
Suppose 0 = -11*o - 6 + 17. Is (-11 + o - -58)*11/3 a multiple of 11?
True
Let v = 62 - 45. Suppose -v*p + 132 - 30 = 0. Does 2 divide p?
True
Let z be ((-5)/(15/(-9)))/(9/183). Let v = 275 + -212. Suppose z*f - v*f = -186. Is 56 a factor of f?
False
Suppose 4*q + 8*q = 0. Suppose q = -3*b - 4*n + 112, b + 3*n = 5*n + 54. Is 22 a factor of b?
True
Let b be 1*8/(-12) - (-27610)/15. Suppose -2*x = 0, 2*g - 6*g - 4*x = -b. Does 26 divide g?
False
Let p be 4/((2 - 1)/2). Let g(a) = -2*a**2 + 16*a + 6. Let q be g(p). Suppose -5*m - 3*i = -q*i - 565, -2*m - 4*i = -252. Is m a multiple of 16?
False
Suppose 2*y = -13 + 17. Let o be (y/4)/(2/(-4)). Is -17*(4 - 5) + o a multiple of 16?
True
Suppose -21 = -3*d + 3*t, -t + 2*t + 2 = 0. Let l be ((-2)/(-4))/((-2)/(-304)). Suppose 4*o - 599 = -d*m, m - 4*o - 215 = -l. Is m a multiple of 41?
True
Let b be 0 - (1 + 12/(-8))*2. Let a be (-316)/4 + 1 - 4. Is 17 a factor of b/(-2 - 166/a)?
False
Let i be 10/25 + (-2748)/20. Is 29 a