 + 5*l, 16 = -8*l + 4*l. Does 7 divide s(m)?
True
Let u(w) = -169*w**2 - 39*w - 11. Let m(c) = -84*c**2 - 18*c - 5. Let l(j) = -13*m(j) + 6*u(j). Let k = -3 + 2. Does 11 divide l(k)?
True
Let p(j) = -j**3 + 14*j**2 - 25*j + 10. Let k be p(12). Is 10 a factor of (-3 + -7)/(k/16)?
True
Let r(n) = 5 + n**3 + 7 + 8*n**2 - 2*n + 7*n. Suppose 12*a = 16*a + 24. Is 26 a factor of r(a)?
False
Suppose -s + 3*o - 4*o = -408, -4*o - 433 = -s. Is 7 a factor of s?
True
Let m(w) = 115*w - 9. Let y(l) be the third derivative of 29*l**4/12 - 5*l**3/6 - 10*l**2. Let u(c) = -4*m(c) + 7*y(c). Does 14 divide u(-1)?
False
Let y = 7 - -9. Let b = y + -2. Is b a multiple of 4?
False
Suppose 1521 = -21*o + 5553. Is 48 a factor of o?
True
Suppose l + 74*b - 75*b = 1515, -3*l + b + 4551 = 0. Is 33 a factor of l?
True
Let x = 445 - 173. Is 16 a factor of x?
True
Let s(x) = -x**2 - 7*x - 10. Let i be s(-5). Let u be 4*(-1)/2 + i. Does 4 divide 72/(-21)*7/u?
True
Is 11 a factor of 3117 + (-36)/24*4?
False
Does 5 divide (-6)/(-84) - 2771/(-14)?
False
Suppose 4*t - t = 1179. Suppose -2*z = -27 - t. Does 15 divide z?
True
Let p(m) = -m**2 - 15*m - 30. Let a be p(-12). Suppose -3*f - 126 = -a*f. Is f a multiple of 14?
True
Suppose -9*h + 646 = 160. Is 6 a factor of h?
True
Suppose -5*q = u - 2225, 4*q - 11*u = -13*u + 1780. Is 7 a factor of q?
False
Let v = -21 + 5. Let j = v + 18. Is 4 + 0/j + 18 a multiple of 4?
False
Let l(o) = -3*o**2 - 3*o + 92. Is 23 a factor of l(0)?
True
Suppose 175*s = 21*s + 88396. Is 30 a factor of s?
False
Let d(j) = -43*j**2 - 5*j + 7. Let k(a) = -65*a**2 - 8*a + 10. Let o(r) = 7*d(r) - 5*k(r). Is 13 a factor of o(2)?
False
Let u(m) = 3*m**3 - m**2 + m - 2. Suppose p - 10 = -4*p. Is u(p) a multiple of 5?
True
Suppose m + 26 - 20 = 0. Let c(s) = -4*s + 2. Let b be c(-7). Let l = b - m. Is 12 a factor of l?
True
Let l = -27 - -17. Let y(p) = 2*p**2 + 588. Let u be y(0). Does 11 divide 2/l - u/(-15)?
False
Let m(h) = -3*h**2 - 3 - 2*h**2 - 8*h - 2 - h**3 - h**2. Is m(-6) a multiple of 13?
False
Suppose 4*j = 2*d + 1116, 0 = 2*j + 2*d - 657 + 93. Is j a multiple of 5?
True
Let f be (0 - (-5)/(-15))*-12. Suppose 0 = f*o - 4 - 80. Is 8 a factor of o?
False
Suppose 2948 + 10300 = 36*o. Is o a multiple of 46?
True
Let h be (2/2)/((-7)/(-28)). Suppose 0 = -h*g - 6 + 22. Let k = 38 + g. Is 12 a factor of k?
False
Suppose -x + 4*d + 565 = 4*x, -229 = -2*x + d. Suppose 3*q = -4*t + 2*q + 19, -4*t + 17 = 3*q. Suppose 0 = t*v - x + 32. Is 13 a factor of v?
False
Let l = 1542 + -918. Is l a multiple of 48?
True
Suppose 72 = -58*m + 62*m. Does 18 divide m?
True
Suppose -4*m + 3*c + 44 = -0*m, 0 = -2*m - 2*c + 8. Is 12/m*6*2/6 a multiple of 2?
False
Suppose 3*y - 49 = 11. Suppose -10 = -n + y. Is 10 a factor of n?
True
Suppose -2*z = 2*i - 20, 3*z - 8*z - 90 = -5*i. Is (i/3)/((-6)/(-81)) a multiple of 24?
False
Let t(g) = g - 2. Let m be t(4). Suppose 0*y + m*y = 4. Let k = 39 + y. Is 11 a factor of k?
False
Suppose -9*q = -4*q - 190. Suppose w + 0*w = q. Is w a multiple of 10?
False
Suppose 28*i + 5*m + 3657 = 31*i, -5*i = 4*m - 6095. Does 9 divide i?
False
Let i = 24 + -24. Suppose i = -3*m + 9 + 3. Suppose y = -m*j + 235, 4*j - 3*y - 75 = 3*j. Is j a multiple of 15?
True
Suppose 10*p = 2*p + 944. Suppose 3*d = -3*v + 4*v + p, 3*d + 2*v = 124. Let i = d + -22. Is i a multiple of 3?
True
Let y = 21 - -19. Let c be 1 - ((-3)/(-3) - 3). Suppose j + y = n + c*j, -4*n + 5*j = -212. Does 15 divide n?
False
Let h be -1*(1 - 6) + -3. Suppose -i - 3 = -4*j, 14 = 4*j + h. Does 5 divide i?
False
Let o(n) = -n**3 + 9*n**2 + 5*n + 11. Let c be o(9). Let d = 106 - c. Suppose 0 = -5*p - 5*r + d, -5*r + 7*r = -p + 11. Is 3 a factor of p?
True
Let f = -6 + 7. Let l be f/((-3 - -5)/4). Suppose l*j = j + 21. Is 21 a factor of j?
True
Is 16 a factor of ((-3684)/(-15))/(9/(180/8))?
False
Let i(v) = 14*v + 2. Let n be i(1). Let f = n - 12. Is (14/(-4) + f)*58 a multiple of 21?
False
Let a = -31 - -38. Suppose -a*o + 107 + 383 = 0. Does 10 divide o?
True
Suppose 0*z - 2*z + 26 = 0. Let b = -29 + 44. Let a = b - z. Is a even?
True
Let f be 226/3*18/3. Suppose -2*g + 2*i = -306, -f = -g - 2*g - 4*i. Is 19 a factor of g?
True
Let m = -257 - -149. Let y = -79 - m. Is 13 a factor of y?
False
Let k(z) = -z**3 + 6*z**2 - 6*z + 5. Let y be k(5). Suppose 2*a + 4 = -y*a. Is a/(-3) + (-4)/(-3) a multiple of 2?
True
Let u(s) = s**3 - s**2 + 4*s - 13. Is 5 a factor of u(7)?
False
Suppose -2*n + 1 = -n. Let d(q) = 32*q**3 + q**2 + 1. Does 5 divide d(n)?
False
Let o be (-3070)/(-8) + (-8)/(-32). Suppose 4*f = -f + 4*u + o, f - 76 = u. Is 16 a factor of f?
True
Suppose 185*w = 162*w + 38824. Is w a multiple of 8?
True
Suppose -2*h = -4*c + 690, -77 = -c - 5*h + 123. Does 6 divide c?
False
Suppose 2*z + 75 = 471. Does 66 divide z?
True
Let d = -8 + 13. Suppose -3*c = -d + 17. Is ((3 - 2)*c)/(-1) a multiple of 4?
True
Let w(p) = p**3 + 10*p**2 + 9*p + 12. Let r be w(-9). Suppose 120 = 4*q + r. Let f = -10 + q. Is f a multiple of 11?
False
Suppose 0 = -4*d + 16, -2*d - 36 = -4*s - d. Suppose -s*p + 7*p = -4*y + 66, 5*p = -3*y + 64. Does 10 divide y?
False
Does 16 divide (3 + -15)*(-1)/((-20)/(-245))?
False
Suppose -4*l = -878 - 330. Does 4 divide l?
False
Suppose 5*h - 18 - 2 = 0. Let j be 70/h*(-28)/(-49). Suppose -4*q - j = -478. Is 39 a factor of q?
True
Let v be (-267)/(-12) + 1/(-4). Let o = v + -33. Let x = o - -22. Is 7 a factor of x?
False
Suppose y + 2 = 5*i - 16, -30 = -5*i + 5*y. Suppose -5*m + i*l + 1070 = 0, 4*m + 427 = 6*m - l. Is m a multiple of 11?
False
Let g = -273 + 388. Is 5 a factor of g?
True
Is ((-15)/(-2))/(15/340) + -5 a multiple of 10?
False
Is (-174)/(-145)*375/9 a multiple of 5?
True
Let o be (0 - (1 - 1))/(-1). Let u = -52 + 55. Suppose p - u*c - 16 = o, 0*c - c + 28 = 3*p. Does 5 divide p?
True
Let d be -5 + 7 - (-42)/3. Suppose -d = -14*s + 10*s. Suppose 89 = s*w - 63. Does 29 divide w?
False
Let k(n) = n**2 + 10*n - 98. Is 12 a factor of k(8)?
False
Let x = 663 - 123. Is 18 a factor of x?
True
Is (-57 - 13)/(0 + (-1)/7) a multiple of 4?
False
Suppose 8*k - 60 - 20 = 0. Let t = 2 + k. Is 2 a factor of t?
True
Let b(l) = -l - 11. Let w be b(-15). Suppose w*x = -x + 5. Is x + (-192)/(-7 - -3) a multiple of 10?
False
Suppose 8*u + 107 + 69 = 0. Suppose 5*p = -3 - 2. Is 11 a factor of u*6/4*p?
True
Let s = 573 + -321. Let v(t) = -t**3 + 10*t**2 + 16*t - 11. Let r be v(10). Let x = s - r. Is 22 a factor of x?
False
Let q be ((-4)/(-6))/(1/(-9)). Let k = -4 - q. Suppose -k*i - 289 = -5*r, -3*r - r + i + 230 = 0. Does 21 divide r?
False
Suppose -4*o = 23 + 5. Is 286/5*(o - 48/(-4)) a multiple of 38?
False
Let v = 42 + -39. Is 16 a factor of ((-22)/8)/(v/(-60))?
False
Let o be (0/2)/(-2 + 6). Suppose -x - 4*v + 42 = o, 4*x - 4*v + 5 - 93 = 0. Does 2 divide x?
True
Suppose -5*q + 4*c = c - 296, -4*q + c + 234 = 0. Suppose 0 = 3*x - q + 16. Is 7 a factor of x?
True
Let w(c) = 18*c - 66. Is w(6) a multiple of 21?
True
Let x(b) = -b**3 - 3*b**2 + 14*b - 1. Let c be x(-5). Let r = 37 + c. Does 8 divide r?
True
Suppose -6*r = -2*r - 112. Let t = 46 - r. Suppose 4*f - 7*f + t = 0. Is f a multiple of 6?
True
Let k = 27 + -12. Does 6 divide (-6)/k*-44 - 8/(-20)?
True
Does 20 divide (-24)/(-32)*-4 + 1002?
False
Let s(b) = -3*b - 24. Let r be s(-16). Let u = -21 - r. Let d = -29 - u. Is 4 a factor of d?
True
Let m(q) = 5*q**2 - 3*q - 3. Let l = -20 + 28. Let g be l/(-2) - -1*2. Is 5 a factor of m(g)?
False
Suppose 4*i = n + 36 - 3, -75 = 5*n - 2*i. Is n/(273/(-1770)) - 2/7 a multiple of 21?
True
Let h = 2523 + -1363. Is 49 a factor of h?
False
Let f = -467 + 2155. Let q = -716 + f. Is 9 a factor of (2/(-6))/((-12)/q)?
True
Let d = 3412 + -2158. Is 38 a factor of d?
True
Suppose -215*a + 221*a - 294 = 0. Is 3 a factor of a?
False
Is 5/(-2) + 2115/94 a multiple of 20?
True
Suppose 3*a - 152 = 562. Let l = a - 115. Is 17 a factor of l?
False
Suppose 7 = 5*k - 163. Let x = 142 - k. Is 28 a factor of x?
False
Let j(h) = -4*h**3 - 5*h**2 - h + 1. Let c(s) = -12*s**3 - 14*s**2 - 2*s + 2. Let q(w) = -2*c(w) + 7*j(w). Does 12 divide q(-3)?
False
Let a(j) = -16*j + 7. Let z = -38 + 24. Is a(z) a multiple of 11?
True
Let r(x) = -4 - 1 + 58*x**2 - 56*x**2 - 1 - 3*x. Let d = 4 - 8. Is 12 a factor of