/(-6). Suppose p*v - 212 = -3*r, 3*r + 90 = 5*v - 98. Does 11 divide v?
False
Let y(u) = -u**2 - 6*u - 7. Let f be y(-3). Suppose c - 129 = -f*c. Suppose -c = -5*j - 3. Does 2 divide j?
True
Let q(r) = -r**2 - 9*r + 13. Let m be q(-10). Suppose 5*f = -3*v + 8*v - 35, 4*f + m*v + 35 = 0. Let c(l) = l**2 - l - 5. Is 17 a factor of c(f)?
False
Suppose -4*a - 22 = -5*m, 4*m = -m + 2*a + 26. Suppose 4*o - o = -m. Is 3 a factor of (o - 4)*6/(-4)?
True
Let n(f) be the second derivative of -f**3/6 - 3*f**2 + 8*f. Let q be n(-3). Is 24 a factor of (q/6 - 2)*-48?
True
Let r(v) = 6*v - 66. Is 24 a factor of r(19)?
True
Let l be -136 - 0/(-6 - -4). Let v be 16/l - (-2)/17. Suppose v = 5*p - 3 + 18, 2*d + p - 131 = 0. Does 10 divide d?
False
Let v(a) = a - 11. Let i be v(5). Is 8 a factor of (-139)/(-2) + (-3)/i?
False
Suppose -b = 2*g - 3, -2*g + b = 2*g - 15. Let f(k) = -50*k - 1 - 2 + g. Is f(-1) a multiple of 25?
True
Suppose 9383 = 16*i - 7145. Does 57 divide i?
False
Let j(b) = -9*b**3 - 3*b**2 - 2. Let u be -3 + -2 + 12/4. Does 29 divide j(u)?
True
Suppose -s + 13 = 4*w, -w + 6 = 1. Let m = -3 - s. Suppose 5*v - 3*y - 225 = 0, v = -2*v - m*y + 135. Does 15 divide v?
True
Let w(r) = 2*r**3 + 5*r**2 - 2*r + 306. Is 2 a factor of w(0)?
True
Suppose 12*j - 1761 - 903 = 0. Is j a multiple of 74?
True
Let w = -35 + 15. Let q = 16 + 24. Let v = w + q. Does 4 divide v?
True
Let t(i) = -i**2 + 4*i. Let h be t(2). Suppose -u + h*u - 63 = 0. Suppose 3*c - 3*l - u = -6*l, -3*l + 3 = 0. Is 5 a factor of c?
False
Suppose 5*s - 2*s = 9. Suppose 0 = z - s*z - 2, 4*z = -y + 22. Does 5 divide y?
False
Let f = 110 + 65. Suppose -11*y + 6*y = -f. Suppose y = -19*m + 24*m. Does 2 divide m?
False
Let g = -184 - -383. Is 8 a factor of g?
False
Suppose -2*i - 3*i = 5*c - 5, i + 3 = 0. Suppose -t - c = -2*t. Suppose 40 = l + t. Does 12 divide l?
True
Let o = -140 + -21. Suppose 4*m - 270 = -730. Let g = m - o. Is 23 a factor of g?
True
Suppose -3*p + 416 + 262 = 0. Is p a multiple of 19?
False
Suppose -12 = -2*r - 4*r. Suppose -12 = a - r*a - 2*i, -5*i = 15. Does 9 divide a?
True
Let r be (1 - -1)/(3 + -5). Let n be (3/6)/(r/6). Is 11 a factor of (-2)/(4/n)*8?
False
Suppose -i + 21 - 6 = 4*p, -27 = -5*i - 4*p. Suppose -7*u + 705 = -2*u - i*a, -5*a = -25. Let n = -83 + u. Is 22 a factor of n?
False
Let m = -131 - -124. Let d be (-4)/14 - 176/(-28). Is 8/(m/((-105)/d)) a multiple of 4?
True
Let w = -144 + 153. Is 17 a factor of 104/6 + 3 + (-30)/w?
True
Let c(q) = q**3 - 17*q**2 - 28*q + 30. Suppose 4*l - 6 = 70. Is c(l) a multiple of 10?
True
Let l(j) = -271*j - 446. Is l(-8) a multiple of 11?
False
Suppose q - 4*q = -6. Let w be -4*(-1 + q)*-1. Suppose -5*y + 5*f + 115 = -160, -w*f - 160 = -3*y. Does 20 divide y?
True
Suppose 1131 = 8*j - 581. Is 15 a factor of j?
False
Let c be (18 - -3)*(-88)/(-12). Let b = -103 + c. Is 28 a factor of b?
False
Suppose 0 = 5*m - 0*m - 80. Let a = -14 + m. Suppose u + 5*y - 13 = 0, -a*u - 3 = -3*u + 5*y. Is u a multiple of 4?
True
Suppose r - 2*t = 267, -11*r + 5*t + 530 = -9*r. Does 5 divide r?
True
Suppose 34*q - 969 = 32*q - s, -q + s + 486 = 0. Does 25 divide q?
False
Let u(i) = -2*i + 2. Let d be u(0). Suppose 5*r - 5*h - 75 = 4*r, 183 = d*r + h. Is 10 a factor of r?
True
Does 20 divide -20*(27/36 - 94/8)?
True
Let f = 20 - 17. Suppose 4*c - f*j + 52 = j, -5*j + 38 = -2*c. Does 16 divide (11 + 4)*(-15)/c?
False
Is 10 + 51/(-3) - -417 a multiple of 6?
False
Let j be (2/(-4))/((-1)/(-2)). Let d(n) = n**3 - 3*n**2 - 2*n + 3. Let p be d(2). Is 29 a factor of (p - j)/(2/(-41))?
False
Suppose -k + 3*p - 165 = -0*k, k + 167 = 2*p. Let a = k + 249. Is a a multiple of 14?
False
Suppose 3*r - 5*r = -24. Suppose -y - y - r = 0. Is 24 a factor of (-4)/y + (-284)/(-6)?
True
Suppose w = 3*u - 264, -229 = -3*u + 5*w + 35. Let a = u + -49. Is a a multiple of 11?
False
Suppose 5*o - 39 = -159. Suppose 0*q + 441 = 7*q. Let b = o + q. Is b a multiple of 13?
True
Suppose 8*a - 5*h - 5 = 3*a, -11 = -3*a - h. Let m = 1 + a. Suppose 3 = -m*j + 2*o + 383, 0 = 3*o + 12. Is 33 a factor of j?
False
Suppose 1292 = -4*t + 5*b, 2*t + 4*b + 514 + 106 = 0. Is 5 a factor of t/(-7) - (-45)/(-105)?
True
Does 10 divide (-3864)/(-48)*(-88)/(-7)?
False
Does 52 divide ((32/(-20))/(-2))/(2/1600)?
False
Let v be -1 - 0 - 12 - 3. Let g be (4/v)/((-2)/8). Is 5 a factor of 202/10 - g/5?
True
Suppose -5*n + 9 + 16 = 0. Let u(m) = -4 - 2*m**3 + 2*m**3 - m**2 - 2*m**2 + m**3. Does 12 divide u(n)?
False
Let z = -12 - -88. Is 2/(-19) - (-388)/z a multiple of 4?
False
Let a be (-179)/(-3) + (-4)/(-3). Let z = -25 + a. Is z a multiple of 12?
True
Suppose -1178 = -6*a + 166. Does 4 divide a?
True
Let p be (9/(-3) - -2)*-4. Suppose 4*a = -4*j + 264, 312 = p*a + 3*j + 50. Is 574/8 - (-16)/a a multiple of 24?
True
Let w = 627 + -537. Is w a multiple of 20?
False
Let t(k) = -k**3 - 5*k**2 + k - 2. Let j be t(-6). Suppose -5*c + 2 = 2*r + j, -99 = 5*r + 4*c. Is 7 a factor of (-5 + 3)/(-2) - r?
False
Suppose -r + 2*r = -20. Does 3 divide ((-90)/r)/(6/8)?
True
Let s = -148 + 105. Let g = 23 + s. Is 3 a factor of ((-30)/g)/((-6)/(-28))?
False
Does 22 divide 9456/10 - ((-224)/(-40) + -6)?
True
Let i(v) be the first derivative of -v**2 + 85*v + 28. Is 17 a factor of i(0)?
True
Let c(p) = 1 + 4*p - 10*p - 2. Is c(-3) a multiple of 4?
False
Let o(a) = -3*a**3 - 7*a**2 - 5*a - 16. Let g be o(-7). Suppose 3*r - 5*j + 564 = 7*r, -5*r + 2*j = -g. Is 47 a factor of r?
True
Suppose -4*n + 9 = 1. Let r be ((-18)/48)/(n/(-16)). Suppose 2*q = 5*j + 36, 0*j = r*j. Does 6 divide q?
True
Let x(f) = 56*f + 27. Let w be x(5). Suppose -2*c + w = 3*u, 0 = 3*c - 12 - 3. Is 33 a factor of u?
True
Let o = 107 - 115. Let c(a) = a**3 + 7*a**2 - 8*a + 18. Is 9 a factor of c(o)?
True
Let i(y) = -5 + 5 - 3 - 6*y + 7*y. Let o be i(8). Does 18 divide (3 - 33/o)*-10?
True
Let u(l) = -10*l - 15. Let h be u(-12). Suppose -4*w + h = -19. Is 31 a factor of w?
True
Let c = 47 - 55. Suppose 0 = 4*s - 5*o - 35, 4*s + 2*o - 17 = o. Let v = s - c. Is 4 a factor of v?
False
Suppose -2*z = 5*d - z - 26, 2*d - 15 = -5*z. Suppose -d*s - 2*h - 136 = 0, 5*s + 3*h = -154 + 15. Let m = s - -43. Is m a multiple of 7?
False
Suppose 0 = -2*t - 2*t - n - 301, 5*t = n - 383. Let f be t/(-2*(4 + -3)). Suppose -3*g = -2*g - f. Is 12 a factor of g?
False
Suppose -n + 3 = -3. Suppose p = -n - 5. Let j = 28 - p. Is 13 a factor of j?
True
Is 24 a factor of 882 + 35/((-35)/(-6))?
True
Let h(u) = -u - 6. Let c(w) be the third derivative of w**4/12 + 7*w**3/6 + 5*w**2. Let b(d) = -2*c(d) - 3*h(d). Does 3 divide b(-4)?
False
Let y = 75 - 26. Suppose -84 = 2*f - j + 4*j, y = -f - 5*j. Let l = 68 + f. Is l a multiple of 5?
False
Let i(g) = -4*g**3 - 26*g**2 - 36*g - 23. Is 26 a factor of i(-10)?
False
Let w(n) = n**3 - 5*n**2 + 7*n - 4. Let d be w(4). Suppose -2*a = -2*g + 16, 3*a + d = g - 2*g. Let t(s) = -2*s + 5. Is t(a) a multiple of 9?
False
Let k = 16 - 14. Is 5 a factor of 5*((k - -1) + -1)?
True
Suppose 81*p - 2476 = 77*p. Is 10 a factor of p?
False
Let j be 1 - -1 - -5*13. Let x be 12/8*(-62)/3. Let h = x + j. Is 12 a factor of h?
True
Let s(r) = -r - 1. Let h be s(2). Is 140/4 - (2 + h) a multiple of 12?
True
Let g be (-100)/(-8) + (7/(-2) - -3). Does 22 divide g/(-42) + 326/14?
False
Suppose -17*p + 1547 = -4*p. Is 9 a factor of p?
False
Let s = 9 - 25. Let k = -12 - s. Suppose -k*v + 130 - 14 = 0. Is v a multiple of 10?
False
Suppose -2 + 10 = -p. Let b = 22 + 13. Let x = b + p. Is x a multiple of 7?
False
Let d = -8 + -2. Let j be 1*(2 - 6) - 0. Let z = j - d. Is 2 a factor of z?
True
Let v = -17 + 6. Let h = v + 10. Is (h + 0)/((-1)/67) a multiple of 20?
False
Let y(w) be the third derivative of 1/6*w**4 - 1/3*w**3 - w**2 + 0*w + 0. Is 10 a factor of y(8)?
True
Let a(u) = 8*u**2 - 2*u + 2. Let f be a(1). Let k be 26/f + (-18)/(-24). Let o = k + -1. Is 2 a factor of o?
False
Let b(n) = 11 + 16 - 42 + 4*n. Let w = 36 + -23. Is 17 a factor of b(w)?
False
Let i be (-5 - -5) + 1 + 283. Let m = i - 94. Is 19 a factor of m?
True
Let y(j) = j**2 - 7*j + 10. Let p(d) = -d**2 + 2*d + 7. Let x be p(0). Does 4 divide y(x)?
False
Let b(v) = -2*v**3 + v**3 + 6*v**2 + 9*v + 0*v**3 - 10. Let s be b(7). Suppose 15 = s*r - 25. Does 10 divide r?
True
Suppose