
Let b be 2/(-6) - 7/(-3). Suppose 0 = 4*k - 5*k + 78. Suppose -b*d + 5*d = k. Is 13 a factor of d?
True
Suppose 4*l = -12, -10 = -x - l + 3*l. Suppose 2*d + 12 = 6*d, 0 = x*z + d - 327. Is 9 a factor of z?
True
Suppose -l = -4*s - 18, 0*l + 6 = -5*l - 4*s. Let u(o) = 3*o**3 + 2*o**2 - o - 2. Let t be u(l). Suppose t = 2*n - 46. Is n a multiple of 22?
False
Suppose -3*w - 57 = -1074. Does 60 divide w?
False
Suppose -24*o + 7350 = 11*o. Does 35 divide o?
True
Let k(w) be the third derivative of w**5/30 + 5*w**4/24 - 4*w**3/3 - 15*w**2. Let p(r) = -5*r**3 + 2*r + 1. Let l be p(-1). Does 11 divide k(l)?
True
Suppose -14873 + 1917 = -41*z. Is 4 a factor of z?
True
Let h(g) = 29*g**3 + 2*g**2 + g - 5. Let q be h(2). Let k = q - 150. Is 20 a factor of k?
False
Suppose 9309 + 467 = 26*h. Does 47 divide h?
True
Let j(f) = 87*f**3 + f. Let m = 21 - 20. Suppose 3*i = 3, -m = 3*u - 4*i - 0. Does 22 divide j(u)?
True
Suppose -51 - 51 = -2*n. Suppose -5*k + n + 19 = 0. Is 8 a factor of k?
False
Suppose -3*d + 60 = 7*d. Suppose 3*r + 9 = d*r. Does 3 divide r?
True
Suppose -f - 2 = -0. Suppose 5*s + 270 = 4*g, 3*g + 2*g = -3*s + 356. Is (g/(-8) - f)*-4 a multiple of 9?
True
Suppose -119*i + 5215 = -112*i. Is i a multiple of 95?
False
Let m = 280 + 134. Is 46 a factor of m?
True
Let y = 21 + -5. Suppose -p - y = 3*p, 5*p - 320 = -4*t. Is t a multiple of 5?
True
Let t = 444 - 212. Does 8 divide t?
True
Let y = 29 - 34. Let p(i) = -i**3 - 4*i**2 + 5*i + 2. Let o be p(y). Is (-1 + -1)/(o/(-110)) a multiple of 20?
False
Suppose -n - 5*j + 891 = -399, 4*n + 3*j - 5177 = 0. Is n a multiple of 86?
False
Suppose -48*j - 5*o + 308 = -44*j, -3*o = 0. Does 20 divide j?
False
Suppose -3 = -2*u + u. Let l(k) = -5*k - k**u + 2*k + 10*k**2 + 7 + 0*k**2 + 15*k. Is 10 a factor of l(11)?
False
Suppose 4*a = -4*j + 2*a, -5*j = 5*a. Suppose j = -4*v - r + 20, 5*v + r - 4 - 22 = 0. Does 17 divide 1 + (-134)/v*-3?
True
Is 7 a factor of (-5 - 40/(-5))*197?
False
Suppose l = o - 3, 5*l - 6*l = 5*o - 27. Suppose m + 214 = 2*g, -2*m = -1 + o. Is g a multiple of 11?
False
Let y(i) = -i**2 + 5*i - 1. Let x be y(8). Let m = x + 25. Suppose u = 0, 3*t + u = -m*t + 24. Is t a multiple of 6?
False
Suppose k + 6*f = f + 193, 4*k = -4*f + 820. Suppose 32 = -2*x + k. Is 11 a factor of x?
True
Let m = 1756 - 1169. Is 24 a factor of m?
False
Let o = -181 + 349. Suppose -o - 273 = -3*x. Is 22 a factor of x?
False
Let g(u) = 37*u - 229. Is g(7) a multiple of 4?
False
Suppose -7*r - 113 = -3*r - q, -r - 17 = 2*q. Let n be ((-2)/3 - 0)*r. Is n*(63/6)/7 a multiple of 9?
True
Let l = 2771 - -140. Is 49 a factor of l?
False
Suppose -3*q - 2*c + 1649 = 0, -3*c = 4*q - 6*c - 2193. Is 33 a factor of q?
False
Let f be 4 + (-3)/(1 + -2). Let x be (4 - (f + -4))*3. Suppose 144 = 4*s - 5*u - 71, 4*u = -x*s + 200. Does 15 divide s?
True
Let c(h) = 64*h**3 - h**2 + h - 1. Suppose -3*g - 5 = 1. Let n be 2/4 - g/4. Is c(n) a multiple of 12?
False
Suppose -4*z + 10 = 2*s - 6, -z - 3*s + 14 = 0. Let h(g) = -3*g**3 + g**2 - 4*g**2 + z*g - 2 + 4*g**3. Is 20 a factor of h(4)?
False
Let p be 1683/(-6)*((-8)/(-6))/(-2). Let x = p + -128. Does 17 divide x?
False
Let k = 551 + -299. Does 84 divide k?
True
Let b(u) = -24*u + 30. Does 30 divide b(-5)?
True
Is 1*(-7)/((-28)/1828) a multiple of 12?
False
Let m = 8 + -11. Let q = m - -3. Suppose q = -2*c - 2*g + 5*g + 64, 4*g - 113 = -3*c. Is c a multiple of 14?
False
Suppose 39*v - 58773 = 6*v. Does 11 divide v?
False
Suppose 4*i = -3*q - 74, -82 = 3*q - 0*i - 4*i. Is q*((-1)/2 - 3) a multiple of 10?
False
Is -8*((-108)/8 - 2) a multiple of 62?
True
Suppose -z + 2*v - 20 = z, 2*z + 16 = 4*v. Let a be (-44)/z - 2/(-6). Suppose -b - a*b + 475 = 0. Is 36 a factor of b?
False
Let m = 1818 + -774. Is 105 a factor of m?
False
Let v(z) = 2*z**2 - 9*z + 4. Let o(b) = 2*b**3 - b + 1. Let y be o(1). Let h be -21*y/12*-2. Does 13 divide v(h)?
True
Suppose 4*r - r - 7 = 5*h, 5*r + 55 = -5*h. Let o be r/9 - (-68)/12. Suppose -5*l - 11 - 59 = -d, -5*d - o*l = -260. Is 13 a factor of d?
False
Let b = 406 - 291. Does 14 divide b?
False
Let b = -98 + 103. Suppose p + b*p - 294 = 0. Is p a multiple of 5?
False
Let k = -72 - -154. Let x = -131 + k. Let t = -30 - x. Is t a multiple of 19?
True
Suppose 76 = -5*l + 4*l. Let y be 2/4 - (-2190)/20. Let g = l + y. Is g a multiple of 17?
True
Let w(v) = 14*v - 2. Let s(i) = i + 3. Let a be s(-4). Let g be w(a). Is (-4)/32 + (-354)/g a multiple of 9?
False
Suppose -3*m = -9*m + 3384. Suppose 7*p = p + m. Does 20 divide p?
False
Suppose 11 = -2*x + 5. Let i(j) = -2*j - 3. Let w be i(x). Suppose 3*f - 227 = -4*a, 5*a - w*f - 130 = 174. Is 18 a factor of a?
False
Let v = 77 - 31. Suppose -44 = -5*b + v. Is 12 a factor of b*(-3)/((-6)/4)?
True
Does 11 divide (42/35)/((-2)/(-830))?
False
Let r = 12544 + -8512. Suppose 4*c = -10*c + r. Is 48 a factor of c?
True
Let g(t) = 22*t**2 - 2*t + 3. Let o be g(4). Suppose 5*h + 47 = o. Is h a multiple of 6?
True
Let p(y) = -y**3 + 10*y**2 + 9. Let s(o) = -o**3 + 5*o**2 + 4*o + 21. Let h be s(6). Is p(h) a multiple of 18?
True
Let h(l) = 539*l - 75. Does 34 divide h(2)?
False
Let g = 273 + -643. Suppose 2*z = -2, -2*k - 2*z + 5*z + 1 = 0. Is g/(-25) + k/(-5) a multiple of 3?
True
Suppose 2*l = 12 - 4. Suppose -l*k - 4*a = 20, 2*k + a - 4 = 6*a. Is (-9 + k/3)*-2 a multiple of 10?
True
Let t(k) = k**2 + k + 103. Let a be t(0). Suppose -4*j = 3*d - 101, 9*j - 4*d - a = 4*j. Is j a multiple of 23?
True
Let q(k) = -k**3 - 5*k**2 + 9*k + 8. Does 14 divide q(-8)?
False
Let l(m) = 3*m**3 + 6*m**2 - 2*m. Is l(3) a multiple of 4?
False
Let a = -32 - -32. Let d = a - -12. Is d a multiple of 7?
False
Suppose 2*z = -q - 2, -2*z = -4*q + 2*z + 16. Suppose 0*c + 3 = 3*c, -q*m + 155 = -3*c. Is m a multiple of 9?
False
Let m(s) = 1339*s**2 - s + 3. Does 74 divide m(-1)?
False
Suppose -4*n = -g + 1, 4 = -g + n - 1. Let d(l) = 3*l**3 + 24*l**2 + 6*l - 1. Is 11 a factor of d(g)?
False
Let s be 0 + 3/(-3) + -137. Let u = 270 + s. Is u a multiple of 33?
True
Suppose -j + 2*w = -93, -5*j = 10*w - 8*w - 429. Does 29 divide j?
True
Let i be (4 - 6) + 12*1. Does 18 divide 352/i + 16/20?
True
Suppose -8*l + 3633 + 1007 = 0. Does 29 divide l?
True
Suppose 36*k = -300 + 7500. Does 18 divide k?
False
Does 12 divide (936/585)/((-4)/(-3510))?
True
Suppose 3*z = -z - 4. Is 6 a factor of z*3/3 + 19?
True
Let u be (-17 - -5)/(((-3)/(-28))/(-1)). Let w = 123 - u. Is 8 a factor of w?
False
Let f = 4130 + -691. Is 67 a factor of f?
False
Let u = 42 - 39. Suppose 4*g - 3*s - 195 = 0, 161 = u*g - 5*s + 12. Is 8 a factor of g?
True
Suppose -125*g + 81*g + 48576 = 0. Is 92 a factor of g?
True
Suppose 5 = -5*r, 4*r - 380 = -4*f - 0*f. Let c be (f/15)/(1/10). Suppose -66 = -5*u + c. Is 9 a factor of u?
False
Let u(s) = 8*s - 34. Is 6 a factor of u(11)?
True
Is (326 - 25)*-2*3/(-6) a multiple of 11?
False
Suppose 0 = -3*q - 4*h + 3854, 4*q = 3*q + 4*h + 1258. Is 65 a factor of q?
False
Let m(h) be the first derivative of h**4/4 + 8*h**3/3 + 3*h**2/2 - 3*h - 1. Let d(t) = -5*t - 71. Let g be d(-13). Is m(g) a multiple of 17?
True
Suppose d - 7*d = -66. Suppose -29 - d = -5*w. Is 5 a factor of -3 + w*(6 - 0)?
True
Let d be ((-33)/(-9) - 3)*3. Let y be ((-5)/d)/(3/(-6)). Suppose y*a + 0*q - q - 56 = 0, 2*q = -3*a + 31. Is 3 a factor of a?
False
Suppose 0 = -2*f - 0 - 2. Let d = f + 14. Let a = d + -4. Is a a multiple of 9?
True
Let y(c) = 48*c - 10 + 13 - 4. Suppose 5*o + 0*n - 3*n + 1 = 0, 11 = 3*o + 4*n. Is 11 a factor of y(o)?
False
Let l(q) = -2*q**3 + q**2 - 3*q - 5. Let k be 6/33 + (-168)/77. Does 12 divide l(k)?
False
Let s(n) = -4*n - 1. Let f(t) = -t - 1. Let k(o) = 6*f(o) - 2*s(o). Let p be k(3). Is 19 a factor of (-2)/(1/(-57)*p)?
True
Suppose -148 = o + 3*x, o - 3*x = -0*x - 166. Let b = o - -230. Is 22 a factor of b?
False
Suppose 378 = 3*d + 204. Is (-2)/(6/9*(-6)/d) a multiple of 17?
False
Is (-6*(-18)/(-81))/((-4)/174) a multiple of 58?
True
Let b(a) = 9*a**3 - 3*a**2 + a - 9. Does 4 divide b(3)?
False
Let y(a) = a**2 - 9*a + 10. Let l be y(8). Suppose -3*c + 62 = -2*v - 7*c, -2*v - 32 = -l*c. Let b = 41 + v. Does 10 divide b?
True
Let a(b) = b + 10. Let f be a(-10). Suppose f = -2*m + m + 4*r + 113, 294 = 3*m - 3*r. Suppose 5*w = 3*z - m, 4*w 