 l*g - 17 = -0. Does 5 divide s?
False
Suppose -52 = -2*i + 2. Is 6 a factor of i?
False
Suppose -x = -0*l + 2*l - 100, -45 = -l + 2*x. Is 13 a factor of l?
False
Suppose 0*k + k = 3*o + 2, -8 = -4*k - 3*o. Suppose -k*d + 25 = 3*d. Is d a multiple of 2?
False
Let g(q) = q**2 - 2*q + 4. Is 13 a factor of g(7)?
True
Suppose -2*q + 60 = -q. Does 20 divide q?
True
Let y(l) = l**2 - 4*l - 3. Let a be y(5). Suppose 0*k = -a*k + 14. Is 3 a factor of k?
False
Suppose -3*v - 3 = 3*q, -v + 5*q - 35 = 2*v. Is 36 + 0 + (v - -3) a multiple of 17?
True
Suppose -327 = -3*w - 3*k, 2*w - k = -w + 311. Does 35 divide w?
True
Let w = 126 - 35. Is w a multiple of 25?
False
Suppose -5*d + 218 = 2*m, -2*d - d + 109 = m. Does 24 divide m?
False
Suppose -7*c = -12*c + 100. Does 20 divide c?
True
Suppose -5 = s - 2*s. Suppose -s*b = -138 - 102. Is b a multiple of 17?
False
Suppose -60*q = -65*q + 555. Is 10 a factor of q?
False
Let o(c) = 13*c + 3. Let y be o(4). Suppose 2*p = 3*x + y, -2*p - 2*x = 2*p - 102. Does 9 divide p?
False
Let i be 2/6 - (-444)/18. Let u = -55 + i. Let o = u - -69. Is o a multiple of 19?
False
Let q(r) = 25*r - 22. Does 5 divide q(2)?
False
Suppose r + 32 = 6*r - 4*j, 3*r + 3*j - 30 = 0. Suppose -m = -4*n + 2, -r*m + 4 = -4*m - 4*n. Is m even?
True
Let y be 1/2 - (-38)/4. Let u(h) = -h**2 + 12*h - 13. Is u(y) a multiple of 6?
False
Suppose -x + 98 = -26. Does 4 divide x?
True
Let d(i) = 4*i - 4. Let o be d(5). Suppose 5*b = -o + 66. Does 5 divide b?
True
Suppose -130 - 2 = -4*v. Let l(b) = 31*b - 1. Let r be l(2). Let n = r - v. Does 14 divide n?
True
Let q(p) = p**2 + 1. Let o be q(-2). Suppose 0 = -5*d + f + 3, -2*d = -5*f + o + 3. Is d/2*(2 - -12) a multiple of 7?
True
Is (-423)/(-33) - 4/(-22) a multiple of 10?
False
Suppose 3*h - 13 = -1. Suppose w - 2*w = -f - 8, h*w - 3*f - 37 = 0. Is w a multiple of 13?
True
Let x = -13 + 35. Is (-8 + -4)*x/(-4) a multiple of 22?
True
Suppose 0 = g - 8*g + 189. Is g a multiple of 8?
False
Is 27 a factor of 6/27 + 5286/27?
False
Let s be 9/12*4*1. Let m be (14/(-4))/(s/24). Does 9 divide (-8)/m + (-124)/(-7)?
True
Is -1*(-35)/1 + -3 a multiple of 11?
False
Let t be 1 + -2 - (-4)/(-4). Let o be (t + 0)/((-2)/(-3)). Is 3*-11*1/o a multiple of 11?
True
Let h(n) = 5*n**2 + 3*n - 1. Suppose 5*j - 1 = -2*q - 10, -5*q + 15 = 0. Is h(j) a multiple of 13?
False
Is 3 a factor of ((-4)/(-6))/((-4)/(-42))?
False
Suppose -2*i + 15 = 3*i. Does 4 divide 13 - (i + -1 + -2)?
False
Let z = 34 - -25. Is 8 a factor of z?
False
Suppose 2*y = 12 + 6. Does 13 divide (-1 - 1) + y + 32?
True
Let z(n) = n**2 + 9*n - 13. Does 2 divide z(-12)?
False
Suppose 15 = 5*m - 10. Suppose -m = 5*l - 35. Suppose -2*n - 4*s = -42, -l - 14 = -4*s. Is 7 a factor of n?
False
Let q(i) = -52*i - 20. Is q(-2) a multiple of 18?
False
Suppose 2*p - 5*z = 167, 4*z + 173 = -4*p + 437. Is 7 a factor of p?
False
Suppose c + 3 = -3*f, 4*c - 5*f + 4*f = 1. Let t(a) = -a**3 + a**2 + 2. Let x be t(c). Suppose -5*n + 33 = 4*i, 4*i - x*n - 54 = -0. Is 6 a factor of i?
True
Suppose 0*a + 152 = 4*a. Is a a multiple of 19?
True
Let q(s) = s**2 - 10*s - 3. Is 2 a factor of q(11)?
True
Let l = 51 + -29. Is 22 a factor of l?
True
Suppose -5*s + 3 = -8*s. Let q = 47 - s. Suppose 5*u - 2*z = z + 182, 2*u = -5*z + q. Is 12 a factor of u?
False
Let i(s) be the second derivative of s**5/20 - 3*s**4/4 + s**3/6 - s**2/2 + 2*s. Is i(9) a multiple of 3?
False
Suppose -2*g + 142 = 4*n - 0, -5*n - 10 = 0. Let j be 2/(-1) + 4 - -2. Suppose x + j*x - g = -5*a, -x + 2 = 0. Is a a multiple of 13?
True
Let j(x) = x**2 - 12*x - 8. Let s be j(12). Let l = s - -17. Is 3 a factor of l?
True
Does 69 divide (-2)/13 + 23044/52?
False
Suppose g + 0*g = -1. Does 9 divide 1/(2/(-20))*g?
False
Suppose 5*h - 2*h - 100 = -2*m, 5*m + 5 = h. Is 30 a factor of h?
True
Let g be 86/10 + 2/5. Let l = g - 7. Is 14 a factor of l - (-52)/(0 - -2)?
True
Let w(a) be the first derivative of -3*a**2 + a + 1. Suppose 3*k = 2*k + 5*s + 7, -3*s = 2*k + 12. Does 8 divide w(k)?
False
Let u = 0 - -8. Let r = u - -10. Is 6 a factor of r?
True
Suppose -i - 2*g = 2*g - 243, 0 = -4*i + 5*g + 930. Does 13 divide 2/2*i/5?
False
Let a = 15 - 1. Let b be 4/(-18) - 3408/(-27). Suppose -5*p + a + b = 0. Is p a multiple of 14?
True
Let z(m) = -m**3 - 3*m**2 - 6*m - 5. Let l be (-6 - -3) + (-1)/1. Is z(l) a multiple of 12?
False
Suppose 17 = -2*j + 3*j. Does 14 divide j?
False
Let j(b) = -b**2. Let c be j(0). Let y be c + -3 + 6/1. Suppose -y*q = -8*q + 50. Is q a multiple of 3?
False
Suppose 0*m - m + 12 = 0. Suppose -8*l - 64 = -m*l. Is l a multiple of 16?
True
Suppose -5*b - 60 = -4*j + j, 2*j - 5*b - 40 = 0. Does 10 divide j?
True
Suppose 0 = v - 5*l - 30, -25 + 85 = 4*v - 5*l. Suppose s - r = -1 + 8, -2*s + v = 2*r. Does 2 divide s?
True
Suppose -2*v + 64 = 4*s, 4*v - 140 - 24 = 4*s. Let g = -48 - -21. Let a = v + g. Is a a multiple of 8?
False
Let d(r) = -9*r + 6. Let p(a) = a - 3. Let u be p(0). Does 11 divide d(u)?
True
Let w(o) = -o + 4. Let u(y) = -1. Let g(h) = -3*u(h) - w(h). Is 3 a factor of g(7)?
True
Let p be 2/9*-1 - 1406/(-171). Let t(c) be the second derivative of -c**5/20 + 2*c**4/3 + c**3 - 9*c**2/2 + c. Is t(p) a multiple of 13?
True
Suppose 3*r - 4*r = 0. Suppose r = -3*c + 11 + 4. Suppose 8 + 17 = c*w. Does 4 divide w?
False
Let t = -21 - -37. Is 16 a factor of t?
True
Does 31 divide 6530/35 + ((-3)/(-7) - 1)?
True
Suppose 4*g + 126 = k, -g + 0*g - 114 = -k. Suppose u = -4*u - k. Let t = u + 38. Is 16 a factor of t?
True
Let k be (-46)/((-3)/(-9)*3). Let x be k/(-6) + 2/(-3). Suppose -87 = 4*b - x*b + 3*j, -31 = -b + 2*j. Is 10 a factor of b?
False
Suppose -b + 3*i = -199, b - 199 = -2*i + 7*i. Is 22 a factor of b?
False
Let s = 0 + 2. Suppose -s*l = -5*x - 14, 2*x - 35 = -l - 4*l. Suppose -5*p + 67 = 2*q - l, 0 = 4*q - 2*p - 172. Is q a multiple of 21?
True
Suppose 2*s = 29 + 7. Does 4 divide s?
False
Let h = -179 - -420. Let b = -146 + h. Let y = b + -40. Does 20 divide y?
False
Let y(n) = n**2 + n + 1. Let q(c) = -26*c**2 + 5*c + 2. Let u(d) = -q(d) + 3*y(d). Does 14 divide u(1)?
True
Let d(s) be the third derivative of s**7/2520 - s**6/144 - s**5/40 + s**4/24 - s**2. Let p(c) be the second derivative of d(c). Does 11 divide p(9)?
True
Let z be ((-3)/(-2))/(-3)*-42. Suppose 3*g + 21 = -3*f, 5*g + 2*f = 2*g - 24. Let n = g + z. Is 3 a factor of n?
False
Let h be (-132)/(4 - 2) + -3. Does 19 divide (-2)/4*(h + 5)?
False
Suppose -4*q - 134 = 30. Let v = 80 + q. Is 7 a factor of v?
False
Suppose -3*p - 296 = -5*h - 51, -147 = -3*h + 3*p. Let r = 73 - h. Is 8 a factor of r?
True
Let j(a) = a**2 + 8*a - 7. Is 15 a factor of j(5)?
False
Let v(y) = y**3 - y**2 - y. Let r be v(2). Suppose -n + 3 = -3*p, -r*p + 15 = 5*n - 4*p. Suppose -n*w + 34 = -w. Is 12 a factor of w?
False
Let c = -36 + 125. Does 14 divide c?
False
Let g = -7 + 11. Let l(v) = v**2 - 2*v + 5. Does 13 divide l(g)?
True
Let r be (-4)/(-10) + 52/20. Suppose -w + j + 25 = 0, r*w - 59 - 2 = -4*j. Is w a multiple of 23?
True
Let b(z) be the second derivative of z**4 + 3*z. Does 12 divide b(-1)?
True
Suppose -k = -0*k - 6. Suppose -12 = 4*s - k*s. Does 2 divide s?
True
Let x be (3/(-4))/((-1)/4). Let g be (-1)/(-3) - (-353)/x. Suppose -w - w - 42 = -k, 0 = 3*k - 4*w - g. Is 17 a factor of k?
True
Is 3 a factor of 8*((-28)/(-16) - 1)?
True
Let v(k) be the first derivative of 2*k**3/3 + 7*k**2/2 + 8*k + 4. Does 13 divide v(-6)?
False
Let i = 256 - 142. Is i a multiple of 38?
True
Let z be ((-4)/(-5))/(2/10). Suppose 3*v - 33 = 3*u, -2*v + z = u - 9. Does 7 divide v?
False
Is 458*(-2)/(-10) + (-2)/(-5) a multiple of 14?
False
Suppose 0 = -2*q + 49 + 25. Let o = q - 2. Is 31 a factor of o?
False
Is 4 a factor of 1 + 4/(-12)*-21?
True
Let y = -16 + 42. Does 17 divide y?
False
Suppose -3*f - 13 = -61. Is 13 a factor of f?
False
Suppose -30*j + 32*j = 196. Does 34 divide j?
False
Suppose g = -3*g - 16. Is 10 a factor of 8/(-4)*118/g?
False
Let k be (24/20)/((-2)/(-10)). Let n(a) = 2*a**2 - 8. Let c be n(k). Suppose 7*j - 3*j = c. Is 11 a factor of j?
False
Let z = -61 + 157. Suppose -15*q - z = -17*q. Is q a multiple of 16?
True
Let h(o) = o**2 + 2*o + 1. Is h(8) a multiple of 27?
True
Let k be 7/2*(-2 + 4). Suppose i - 6 = m + k, 3*i - 21 = m. L