+ 91, d*g + 5*a = 102 + 10. Does 11 divide g?
True
Let n(o) = o**3 - 17*o**2 + 4*o + 231. Is n(0) a multiple of 3?
True
Let g = -29 - -52. Suppose 5*u - g = -4*s - 1, 0 = 3*u - 2*s. Suppose 3*l + u*q = 44, 2*l + l - 56 = -5*q. Does 12 divide l?
True
Let z be -4*3/(-8)*2. Let n be (1 + -7)*(-1 - (-110)/(-10)). Suppose -5*x + n - 8 = -q, q = z*x - 38. Is x a multiple of 5?
False
Let d(y) = y**3 - 34*y**2 - 84*y - 189. Is 137 a factor of d(39)?
False
Let c = 345 - 225. Is 10 a factor of c?
True
Let h(b) = -587 + 0*b**2 - 11*b + 590 + 2*b**2. Is h(8) a multiple of 12?
False
Suppose 0 = -w + 5*r - 15, 2*w + r + 2 = -6. Let p be 1 + (0 - w) - 2. Suppose 4*b = -5*j + 5, -p*j + 28 = -5*b - 17. Is 5 a factor of j?
True
Let x(s) = -30*s - 31. Let b be x(-5). Suppose u + 11 = b. Is u a multiple of 27?
True
Suppose 4*m = -h + 5238, 38*m + 4*h - 5232 = 34*m. Is 10 a factor of m?
True
Let a = -11 + 26. Let z(f) = -a + 3*f - 4*f + 3 - 2*f. Is z(-10) a multiple of 9?
True
Let g(l) = 9*l - 12. Let j(z) = -4*z + 6. Let d(x) = 3*g(x) + 5*j(x). Is 8 a factor of d(10)?
True
Let p = 24 - -13. Does 5 divide p?
False
Let s(n) = n**3 + 17*n**2 + 16*n + 2. Let m be s(-16). Suppose 0 = -3*h, m*v + 0*v + 4*h = 82. Suppose -v = -b + 2. Is 10 a factor of b?
False
Let u(v) = -135*v + 106. Does 32 divide u(-9)?
False
Suppose -5*w + 4 = -11. Suppose -5*i = -2*u + 15, -w*i + 2*u - 3 = 2. Let d = i + 15. Is 7 a factor of d?
False
Let r = -114 - -522. Is 12 a factor of r?
True
Let n(b) = 41*b**2 + b + 5. Let r be n(3). Suppose 5*p = 133 + r. Is 17 a factor of p?
True
Let f = 347 - -9. Is 8 a factor of f?
False
Let l(d) = d**3 + 11*d**2 + 26*d + 20. Is 16 a factor of l(-6)?
False
Let n = 97 + -97. Suppose n = -4*t - 54 + 246. Is 6 a factor of t?
True
Suppose 0 = -6*g + 34 - 166. Let v = g + 19. Is 18 a factor of v + (15*15)/3?
True
Let w(n) = 8 - 3 + 3*n + 10*n - 2*n. Let l be w(4). Suppose 5*r + p - 70 = 0, -3*r - p + l = 5. Is 13 a factor of r?
True
Let b = -1106 - -1756. Is b a multiple of 10?
True
Suppose -r + 3 + 1 = 0. Suppose -r*d - 206 + 1022 = 0. Is d a multiple of 17?
True
Let f(h) be the second derivative of -13*h**3/6 - 35*h**2/2 - 47*h. Is 23 a factor of f(-8)?
True
Let h be (1 - (-3 + 1)) + 24. Suppose -2 = -2*q + 4. Suppose -c = j - 45, -h + 102 = 2*j - q*c. Does 14 divide j?
True
Let o(f) = -9*f. Let g be o(-1). Let a(m) = m**2 - g*m + 5*m - 3 + 0*m. Is a(6) a multiple of 9?
True
Let i = 13 - 13. Suppose -4*b - 5*f + 29 = i, -b + f = 3*b - 23. Suppose -6 = -w + b. Is 11 a factor of w?
False
Let u be 5 - (-1 - 0)/(-1). Suppose u*q = -24 - 44. Let w = q + 30. Is w a multiple of 13?
True
Suppose 2*w - 61 - 173 = r, -4*w + 468 = r. Is w a multiple of 39?
True
Let l(o) = -6*o**3 + 2*o**2 + 5*o + 2. Let x(r) = 7*r**3 - 3*r**2 - 6*r - 2. Let g(u) = -6*l(u) - 5*x(u). Is g(2) a multiple of 18?
True
Suppose 4*w = -o + 464, 5*w = 2*o + 2*w - 939. Is o a multiple of 36?
True
Suppose 37*v = 34*v + 18. Suppose 3*y + 4*s = 11, -y - 2*y = -5*s + 7. Suppose 0 = -t - y, -f = -4*t - 11 - v. Is 13 a factor of f?
True
Let k(i) = 3*i**2 - i - 5. Let p(f) = -4*f**2 + f + 5. Let n(l) = -3*k(l) - 4*p(l). Does 3 divide n(-2)?
False
Suppose 503 = 2*u + 5*w, -2*w - 51 - 187 = -u. Is 19 a factor of u?
False
Let u = 56 + -19. Does 6 divide u?
False
Suppose -y = -0*t - 2*t + 193, -201 = y + 2*t. Let b = -100 - y. Let d = b + -63. Is 17 a factor of d?
True
Suppose 11*w - 12*w - v + 493 = 0, -w + 493 = -5*v. Is w a multiple of 16?
False
Let h(q) = q**2 + 2*q - 17. Let i be h(-6). Suppose -9 = -u - 3*d + i, 3*d - 28 = -4*u. Suppose -u*c + 5*y = -39 - 46, 5*c = 4*y + 113. Is 7 a factor of c?
False
Suppose 0 = 2*a - 5*r - 10 + 1, -5*a + 5*r + 15 = 0. Suppose 0 = a*j + 23 - 257. Is j a multiple of 31?
False
Let q be 2/6*(13 - 1). Suppose -23 = -4*l + 3*j - 8, -20 = 2*l + q*j. Suppose l*d + 2*d = s + 48, -5*s = 0. Does 6 divide d?
True
Let y be (-21)/(-30)*-2 - (-12)/(-20). Does 32 divide 1/y*-2 + 101 + -6?
True
Let t be 4/(-6) - (-120)/18. Let l(u) = -u**3 + 7*u**2 + 2*u + 13. Is l(t) a multiple of 10?
False
Let w(o) be the first derivative of o**4/4 + 3*o + 4. Suppose -a - 5*b = 0, -a = -0*b + b. Is 2 a factor of w(a)?
False
Let c = -836 - -1504. Is 8 a factor of c?
False
Let a be (-12)/(-30) - 1239/(-15). Let o = 18 + a. Is 8 a factor of o?
False
Let k be ((-36)/8)/(6/(-8)). Let r(o) = -o**2 - 9*o + 4. Let g be r(-8). Does 10 divide g/((-2)/(k/(-3)))?
False
Let n = 35 - 31. Does 10 divide (n - (-56)/6)/((-1)/(-3))?
True
Let q(p) = -3*p - 19. Let w be q(-9). Let g(f) = f**3 - 7*f**2 + 11. Does 15 divide g(w)?
True
Suppose 162 = 3*v - 3*u, -3*v + 4*v + u = 46. Is v a multiple of 50?
True
Let g(y) = -13 - y + 9 + 5 + 11. Let b(f) = -f**2 - 5*f + 2. Let t be b(-6). Is g(t) a multiple of 5?
False
Suppose 2*j - 125 = 4*w + 79, -2*w = -3*j + 310. Is j a multiple of 26?
True
Let s be (160/48)/(4/6). Suppose 3*m - 2*r = -r + 76, s*r + 16 = m. Is 21 a factor of m?
False
Suppose 2*a + 913 = -4*c + 2711, 2*a = 3*c + 1791. Is a a multiple of 23?
True
Suppose 3*y - 3 = 10*h - 7*h, 5 = 2*y - 3*h. Does 21 divide 565/2 + y/(-4)?
False
Let l(g) = g**3 + 6*g**2 - 10*g - 7. Let w be l(-7). Suppose 5*x - 9 - 161 = 0. Let j = x - w. Is j a multiple of 8?
False
Let s(n) be the second derivative of -n**5/20 + 57*n**2 + 2*n - 2. Does 57 divide s(0)?
True
Is 3 + (-39)/(2 - 92/44) a multiple of 12?
True
Suppose -5*a + 44 - 9 = 0. Let l(g) = -a*g + 0 + 2*g - 3*g**3 - 6*g**2 - 3. Is 13 a factor of l(-3)?
True
Suppose -19*g - 651 = -112*g. Is g a multiple of 4?
False
Let w(h) = -13 - 18*h + 0 - 6 + 3. Is 46 a factor of w(-6)?
True
Let y = 107 - 104. Suppose 6*t - 3*t = y*p + 36, 0 = 3*p. Is 6 a factor of t?
True
Suppose 6 - 18 = -2*h. Suppose h*o - 10*o + 140 = 0. Suppose 5*j - o = 105. Does 14 divide j?
True
Suppose 8*y + 24 = 4*y. Does 22 divide (-4)/12 - 626/y?
False
Let h(j) = -j**3 - 18*j**2 - 39*j - 9. Let x be h(-16). Let c = -97 + x. Is 3 a factor of c?
True
Does 42 divide (3 + 0)*8/(-96)*-3908?
False
Let p be (-4)/2*6/12. Let u be 0/(p - -4) - -30. Let s = 3 + u. Does 13 divide s?
False
Let o be (-2)/((16/20)/(-2 - 0)). Suppose 5*l + c - 119 = -22, -2*l + 48 = o*c. Does 6 divide l?
False
Suppose -5*r + 3*k - k + 1301 = 0, 0 = 2*r - 2*k - 524. Let d = r - 176. Is 19 a factor of d?
False
Let s = 20 - 8. Suppose -b = 8 - s. Suppose 0 = 3*r - 4*k - 94, 0*k + 146 = 5*r - b*k. Does 13 divide r?
True
Let s(y) = y**3 + 16*y**2 - 17*y + 2. Let r be s(-17). Let x be (-146 + 0)*1/r. Let m = x - -133. Does 30 divide m?
True
Let p(o) = 19*o - 10. Let b be p(11). Suppose 5*r - z + 0*z = b, 0 = r + 2*z - 31. Is 13 a factor of r?
True
Let n(l) = l**3 - l**2. Let r = 20 + -10. Suppose 3*g + 1 - r = 0. Is 18 a factor of n(g)?
True
Suppose -g - 7 = -0*g - 4*u, 3*g + 2*u = 49. Let h = -11 + g. Suppose -41 = -h*o + 51. Is 23 a factor of o?
True
Suppose 3840 - 1104 = 4*k. Does 60 divide k?
False
Let u(x) = 2*x - 14. Let t be u(-11). Is 36 a factor of t/(5/(-18) - (-4)/(-18))?
True
Suppose -v + 7 = -4. Suppose -16*y = -19*y + 87. Let o = y + v. Does 10 divide o?
True
Let p(f) = -f**2 - 29*f + 159. Does 11 divide p(-28)?
True
Suppose 0 = -5*a, -2*a + 2288 = 7*z - 3*z. Does 11 divide z?
True
Let i(g) = 6*g**3 + 23*g**2 + 6*g + 2. Does 73 divide i(7)?
False
Suppose -13*v = -10*v - 447. Let t = v - -27. Does 33 divide t?
False
Suppose -20 = -5*s, h - 300 = 9*s - 6*s. Is 26 a factor of h?
True
Suppose -3*o = -733 + 220. Is 9 a factor of o?
True
Let n = 278 + -206. Is 21 a factor of n?
False
Let a(x) = -2*x - 7. Let z be a(-4). Let k be -18 - (z - (-2 + 5)). Does 10 divide 579/12 + (-12)/k?
False
Suppose -4*b = 5*s - 11352, s + 3*b - 2265 = 4*b. Is 43 a factor of s?
False
Let j be (-1 - -3)*(-1 + -11). Let w = 9 - j. Suppose -u = -4*u + w. Does 10 divide u?
False
Let i = 1591 + -1123. Suppose -3*p - 156 = -v - 4*p, 3*v - i = 2*p. Is v a multiple of 26?
True
Suppose -3*h - 18 = 3*p, 2*p + 3*h + 16 - 1 = 0. Let a be 1/(8/p + 3). Suppose 3*w + a - 96 = 0. Is 16 a factor of w?
False
Let v(w) = 17 + 24 + 10*w - 5*w**2 + 5*w**2 - w**2. Is 30 a factor of v(8)?
False
Let g be ((-6)/4)/((-3)/150) - 1. Suppose 4*m = g + 110. Is 17 a factor of m?
False
Suppose 4*y - 69 = 15. Let b = y - 55. Let u = b + 64. Is 5 a factor of u?
True
Suppose 0 = -x - 4*h +