*f - 1091, -f - 5*n = -556. Is f a multiple of 7?
False
Is (-2 + 6 + -5)/(2/(-112)) a multiple of 56?
True
Let o(h) = 6*h**2 - 2*h**2 - 2*h**2 - 12 - h**2 + 11*h. Let w be o(-11). Is 24 a factor of (22/(-2))/(3/w)?
False
Let n = -3 + 8. Let w(t) = 13 - n - t - 6. Does 4 divide w(-8)?
False
Suppose 0 = 21*t - 22*t + 245. Does 7 divide t?
True
Suppose -33 = 3*q - 8*q - 2*k, 0 = -2*q + 3*k - 2. Suppose 604 = 5*r + 3*j, -q*j - 498 = -4*r - 0*r. Is 46 a factor of r?
False
Let o = 5096 - 3008. Does 16 divide o?
False
Let l(y) = y**2 + 6*y + 30. Let h be l(-17). Let x = h - 117. Is 22 a factor of x?
False
Let x = 72 + -116. Let i = 0 - x. Is 22 a factor of i?
True
Is 7 a factor of -20*(2 - (-636)/(-60))?
False
Let l(j) = -j**3 + 6*j**2 - 5*j + 6. Suppose -q + 4*w - 15 = 0, -3*w + 4*w - 15 = -2*q. Suppose g = q*g + 3*t - 13, g + t = 3. Is 6 a factor of l(g)?
True
Let d(t) = -9*t + 17. Suppose -37 + 4 = 3*q. Does 29 divide d(q)?
True
Let l(r) = 13*r**3 - 3*r**2 + r + 1. Is l(3) a multiple of 16?
False
Let h = 1521 - 356. Is h a multiple of 12?
False
Suppose -t - 2*s + 4 = -3*s, 5*s = 2*t - 14. Suppose b - 208 = -4*o, -t*b - 69 = -o + 2*b. Does 24 divide o?
False
Suppose -30*x = -26*x - 3800. Suppose -u + x = 4*u. Is u a multiple of 19?
True
Suppose -2*i - 3*i - 10 = 0. Let y be (-40)/(-70)*(-7)/i. Suppose -3*l - 2*l + g = -18, l + y*g - 8 = 0. Is l a multiple of 4?
True
Suppose -2*f - 6 + 4 = 0, 2*b + 69 = 3*f. Let g = b - -240. Is g a multiple of 17?
True
Let f(r) = r**3 + 3*r**2 - 10*r + 4. Let m be f(-5). Is m/(4/3) + 161 a multiple of 39?
False
Suppose 441*c = 446*c - 970. Does 11 divide c?
False
Let c(g) = g + 26. Suppose -15 = f + 4*i, 4*f - 5*f - i - 12 = 0. Is 5 a factor of c(f)?
True
Is (-6 + (-363)/(-12))*1*4 a multiple of 3?
False
Let l = -9 + 7. Let h be (-7)/l + 16/(-32). Suppose -h*m + 3*o + 261 = 0, o = 4*m - 2*m - 172. Does 15 divide m?
False
Suppose 5*y - 340 = -12*y. Does 4 divide y?
True
Let k(p) = -393*p + 40. Is 69 a factor of k(-3)?
False
Let i(q) = -5*q**2 + 2*q + 1. Let b(n) = n**3 - 1. Let u(r) = b(r) + i(r). Does 8 divide u(6)?
True
Let j be 0 - (-2 - -3 - 6). Suppose -2*u - 4 = -5*r - 9, 5*r + 5*u = -j. Is (16 - 1/r)*1 a multiple of 13?
False
Suppose 0 = -5*n - 5*m + 4280, -5*n + 3*n = 5*m - 1700. Is 12 a factor of n?
False
Let i = 108 + 78. Let l = -24 + i. Does 18 divide l?
True
Suppose 80*g - 103713 = 9807. Does 132 divide g?
False
Let n(y) = 7*y - 9. Suppose 2*i - 3 = -1. Let c = i - -2. Is 3 a factor of n(c)?
True
Let h be (-253)/(-44) - (-1)/4. Suppose k - h = -15. Let x = k - -25. Does 7 divide x?
False
Let n(c) = c**2 - 6*c + 9. Let y be n(7). Suppose -2*d = -3*d + y. Is (-5)/((-5)/d) - -2 a multiple of 6?
True
Suppose 4 = -2*j, 5*w - 3*j - 287 = 1084. Is 17 a factor of w?
False
Let n = 55 - 82. Let c(o) = 2*o**2 + 10*o - 7. Let h be c(-5). Is n/15*(h - -2) a multiple of 9?
True
Suppose x - 2*x = -101. Let a = x - 68. Is 28 a factor of a?
False
Suppose -2*s - 4*n + 234 = 0, s + 5*n + 24 = 138. Is 4 a factor of s?
False
Suppose 2*x = h - 2, 2*h + 4*x - 7 = 5. Suppose i - 140 = -h*s, -5*s + 2*i - 3*i + 175 = 0. Suppose 2*n = -3*t + 98, -t = -0*t + 3*n - s. Does 8 divide t?
True
Let l = -141 + 761. Suppose l = -0*a + 4*a. Does 31 divide a?
True
Let b be 30/20 + (-1)/2. Let m be (16 - 14)/(b - -1). Let l(n) = 28*n + 2. Does 12 divide l(m)?
False
Let x(z) = -z**2 - 25*z + 17. Is 12 a factor of x(-13)?
False
Suppose -25*w + 29*w = 8. Is 5 a factor of 15 - (w + -3 - 3)?
False
Suppose 0 = -4*i + i + 5*x + 53, 5*i - 5*x = 75. Suppose 5*a = i + 19. Suppose -r + 43 + a = 0. Is 14 a factor of r?
False
Let p be (2 - (21 + -1))/(-2). Let a(o) = o - 7. Let i be a(p). Suppose 0 = -6*w + i*w + 88. Does 11 divide w?
True
Suppose 6*d + 1080 = -0*d. Let b = d + 282. Does 17 divide b?
True
Suppose -o + 144 = -661. Is 6 a factor of o/25 + 8/10?
False
Suppose -5*o + 160*p - 165*p + 7990 = 0, -5*p - 3217 = -2*o. Does 53 divide o?
False
Is 5 a factor of (-8)/(-44) + (-8)/(176/(-546))?
True
Let k be ((-3124)/12)/(2/(-6)). Suppose -3*x - 3*c + 771 = 0, 0 = 3*x + c - 3*c - k. Suppose -x = -4*g + 5*y, 2*g + y + 4*y = 137. Is 15 a factor of g?
False
Let r(u) = 3*u**2 + 8*u + 15. Let v be r(-10). Suppose -5*z = 3*q + 2*q - v, 10 = 2*q. Is 15 a factor of z?
False
Suppose 7 = 6*h - 89. Does 16 divide (-2136)/h*4/(-6)?
False
Let n(s) = -5*s - 13 + 4*s + 6*s. Let l(i) = -60*i + 155. Let f(q) = 2*l(q) + 25*n(q). Is 5 a factor of f(6)?
True
Suppose 24*h + 20911 = 54871. Is 5 a factor of h?
True
Suppose 136 + 116 = 7*m. Suppose 2*v - m = -h, -5*h = -h + v - 137. Is h a multiple of 17?
True
Suppose 2*d + 4*w = 5*w + 454, -4*d = 4*w - 908. Let q = d - 112. Does 12 divide q?
False
Let q(b) = b**3 - 8*b**2 + 4*b - 10. Suppose -2*s + 10 = 0, -2*v - 2*s = -6*v + 22. Is q(v) a multiple of 5?
False
Suppose 0 = -u + 2*u - 436. Let m = u + -268. Suppose -m = 2*w - 6*w. Is 18 a factor of w?
False
Let n(i) = 2*i**2 + i + 2*i**3 + 2*i**2 - 10 - 7*i**2. Is n(4) a multiple of 15?
False
Let z be (4/12)/((-2)/(-12)). Suppose -3*n - 32 = -z. Does 27 divide 1/(-5) + (-542)/n?
True
Let n = -2 + -14. Let p(r) = r**3 + 12*r**2 - 2*r + 15. Let j be p(-12). Let g = n + j. Does 19 divide g?
False
Let b(n) = 4*n**2 + 2*n + 6. Let h be b(10). Suppose 0 = 7*f - 295 - h. Is f a multiple of 14?
False
Suppose -2*o - 4 = 5*l - 4*l, -5*l + 3*o = -32. Let b be (-254)/(-1) + 1/1. Suppose b = l*r + r. Is r a multiple of 21?
False
Let y = 193 + 262. Does 13 divide y?
True
Let i(n) = 3*n**3 - n**2 - 5. Suppose -11*w - 175 = -6*w. Let o be (-119)/w - 2/5. Is 18 a factor of i(o)?
False
Let p(n) = 125*n + 800. Is 30 a factor of p(-4)?
True
Let s be -3 - -68 - (-5 - -2)/(-1). Suppose 0 = 4*o - d - s, 33 = 4*o - 3*d - 25. Is o a multiple of 5?
False
Let c(s) = -4*s**3 + s**2 + 1 - 3*s - 3*s**2 + 3*s**3. Let w be c(-3). Suppose w = 4*i - 17. Is i a multiple of 3?
True
Let t(p) = 286*p**3 - p**2 + 3*p - 3. Is t(1) a multiple of 19?
True
Let m(p) = 399*p - 35. Does 26 divide m(1)?
True
Let c be 36/(-16) - (-6)/(-8). Let a(f) = f**3 - 3*f**2 - 4*f - 3. Let l be a(c). Let i = -18 - l. Is 14 a factor of i?
False
Let j = -845 + 1579. Is 47 a factor of j?
False
Let v(q) = q**2 - 11*q + 13. Let z be v(10). Suppose 0 = -3*s, 4*f + 64 = -s - z*s. Does 3 divide 33 + f + -3 + 1?
True
Let m be 2/(-5) + 0 + 64/10. Suppose m - 4 = g. Is g a multiple of 2?
True
Let p = -149 - -242. Suppose -c + 3 = -p. Does 16 divide c?
True
Let f = 80 + 213. Does 5 divide f?
False
Suppose -2*g + 1385 = -3*m - 817, -4*m - 4400 = -4*g. Is 16 a factor of g?
False
Let m = -308 + 1765. Suppose -m = -8*j + 599. Does 37 divide j?
False
Let x be 2/4*12/3. Suppose 0 = -2*g - x, k - 63 = -0*g - g. Does 9 divide k?
False
Suppose -9*l = h - 6*l - 172, 316 = 2*h - l. Is 4 a factor of h?
True
Let k = 1606 + -1379. Is 43 a factor of k?
False
Is 13 a factor of (-1305)/(-1)*(132/(-18) + 8)?
False
Let a(d) be the third derivative of d**4/3 - 2*d**3/3 + 42*d**2. Let o be (-2)/4 - (-11)/2. Is a(o) a multiple of 18?
True
Let z be ((-198)/(-8) - -2)/(4/(-16)). Let x = 163 + z. Is x a multiple of 7?
True
Suppose d + 2*b = -0*d - 2, 3*d - 4*b = 24. Suppose d = 5*v - 51. Is v a multiple of 3?
False
Let g(p) = 263*p + 79. Does 57 divide g(1)?
True
Let k be ((-72)/3 + 4)/(-2). Suppose -5*q + 3*r + r + 46 = 0, 0 = -5*q - 5*r + k. Is q a multiple of 6?
True
Suppose -36*t + 34*t + 4200 = 0. Suppose t = 11*p - p. Does 29 divide p?
False
Let b = -402 - -581. Is b a multiple of 65?
False
Let f(a) = 4*a + 1. Let p(j) = -3*j - 1. Let m(o) = 4*f(o) + 5*p(o). Let i be m(5). Suppose -i*d - 4*b + 27 = -9, 5*d = -4*b + 50. Is d a multiple of 10?
False
Let y(k) = 2*k**3 - 9*k**2 + k. Let c(o) = o**3 - 5*o**2. Let z(h) = -5*c(h) + 2*y(h). Is z(7) a multiple of 14?
True
Let o(a) = -a**2 - 48*a + 21. Does 11 divide o(-41)?
True
Let b(m) = -m**3 - 8*m**2 - 7*m. Let g be b(-7). Suppose 0*v - v - 28 = g. Let r = v - -41. Does 11 divide r?
False
Let u = 46 - 4. Suppose 3*j = 7*r - 3*r - 43, u = 4*r - 2*j. Is 4 a factor of r?
False
Suppose -26*c + 13*c = -1885. Is 5 a factor of c?
True
Let b be -1 - -6 - (8 + -7). Let g(z) = -z**2 + 5*z - 1. Let o be g(b). Suppose -8 = -o*w + 4*h, h = -5*w - h + 48. Is 8 a factor of w?
True
Suppose -2*g - 103 - 75 = 0. Let s = -65 - g. Is 