16/(-2))/((-7)/(-7)). Let b = q + 10. Suppose 0 = -3*v - x + 102 + b, 3*v + 5*x = 112. Is v a multiple of 16?
False
Let i = 0 - 0. Suppose 0 = -2*s - 3*b + 5 + 12, i = 3*s - b - 31. Does 4 divide s?
False
Let o(a) be the second derivative of -a**4/12 - 2*a**3/3 - a. Let s be o(-4). Suppose 0 = -5*k - 2*n + 48, s = 4*k - 4*n + 8*n - 48. Is 6 a factor of k?
False
Let x = 70 - 17. Is x a multiple of 7?
False
Let o(n) be the third derivative of 1/3*n**3 + 2*n**2 + 0 - 1/8*n**4 - 1/12*n**5 - 1/120*n**6 + 0*n. Does 14 divide o(-5)?
False
Let r(f) = f - 2. Let y be r(7). Let b(z) = 4*z - 8. Does 12 divide b(y)?
True
Suppose 0 = 3*y + 9, -4*n - n + 4*y + 77 = 0. Suppose -34 = -i + n. Does 30 divide i?
False
Is 19 a factor of ((-306)/(-4) + -2)*-2*-2?
False
Suppose 253 = 7*s - 13. Is s a multiple of 27?
False
Let m(l) = 6*l**3 - l**2 + 2*l - 1. Let k be (-1)/2*(-2 - 0). Is m(k) a multiple of 3?
True
Suppose 4*b + 3*j - 2*j - 185 = 0, -25 = -5*j. Let m be 3 - (6 + -3)/3. Suppose -2*n - b = -5*v + 105, -m*n = -3*v + 94. Is v a multiple of 14?
True
Suppose 0 = 5*r - 20 - 30. Is 10 a factor of r?
True
Let b = 10 + -8. Is 14 a factor of (-56)/(-3 + b) + 0?
True
Let k(t) = -t**3 - 2*t**2 + t + 2. Let y be k(-3). Let p be -11*(2 + -1) + 2. Does 2 divide p/6*y/(-6)?
True
Let a be 232/4 + 2 + 1. Let i = a - 28. Is 14 a factor of i?
False
Let f(p) = 6*p - 86. Is 5 a factor of f(24)?
False
Suppose -5*o = 4*s + 14 - 74, 0 = 2*s + 10. Does 8 divide o?
True
Let i be (1 + 61)*(2 - 3). Let w = 128 + i. Does 19 divide w?
False
Does 4 divide (-56)/21*6/(-4)?
True
Suppose -4 = 2*v - 38. Suppose v = -g - 1. Is 7 a factor of g*(-5 + 2 + 2)?
False
Suppose 4*q - 11*q + 294 = 0. Is 14 a factor of q?
True
Let p = -7 - -2. Let x(u) = -u**3 - 3*u**2 + 7*u + 4. Is x(p) a multiple of 19?
True
Let y be ((-2)/(-6))/((-1)/(-9)). Suppose -k + 2*o + 30 = 0, 10*k - 5*k - 98 = -y*o. Does 5 divide k?
False
Let f(j) = 4*j**2 + 11*j - 4. Does 17 divide f(-6)?
False
Suppose 412 = 2*u - 4*y, 71 = 3*u + 2*y - 579. Is u a multiple of 12?
False
Let k = -47 + 32. Is 10 a factor of 5/(k/(-24)) + 2?
True
Suppose 85 = 6*c - c. Suppose m - 25 = -5*z + 6*m, -2*m = -3*z + c. Does 6 divide z?
False
Let i = -1 - 1. Is 8 a factor of (-3 - (-1 - 34)) + i?
False
Suppose -3*l + 7 = -2, 2*d = 3*l + 145. Let p = d - 34. Let v = -31 + p. Does 5 divide v?
False
Is 11 a factor of (-115)/(-10)*(-1 - (-7 - 0))?
False
Let j = 4 - -6. Suppose -5*c + j + 100 = 0. Is c a multiple of 12?
False
Suppose 4*q + 50 = 2. Is ((-32)/12)/(1/q) a multiple of 16?
True
Suppose 4 = 2*r + 2. Let c(z) = 0 - 4 + 4*z + r. Does 2 divide c(2)?
False
Let i(a) = -a**3 + 6*a**2 - 3*a + 2. Let b be i(4). Suppose -7*o - b = -2*w - 3*o, -w = 4*o + 7. Suppose -45 = -w*k + 45. Does 9 divide k?
True
Suppose 282 = 2*j + 2*k - 66, -514 = -3*j + 5*k. Is 15 a factor of j?
False
Let a be (1*6)/(15/10). Suppose a*w + 0*w = 96. Does 8 divide w?
True
Let k(j) = j**3 - 4*j**2 - 2*j + 5. Is 5 a factor of k(5)?
True
Let l(z) = -2*z - 1. Let h be l(2). Does 7 divide h*(24/(-15) + 0)?
False
Let x(b) = -b**2 + 10*b - 4. Let s be x(8). Suppose -n + 16 = -2*i, 4*n - 4*i + 13 - 57 = 0. Suppose 2*r - n*r = -s. Is 2 a factor of r?
False
Suppose p - 128 = 3*i, -2*p - 162 = 4*i + p. Let g = 11 + i. Let s = -21 - g. Is 10 a factor of s?
True
Suppose 3*u + 5*n = 136, 3*u + 172 = 6*u - 4*n. Does 13 divide u?
True
Let z be (-6)/(-18) + (-76)/(-6). Let d = -9 + z. Is d even?
True
Is 3 a factor of (4/6)/((-12)/(-126))?
False
Suppose v = 2*v - 2. Suppose v*t + 7 = 63. Does 14 divide t?
True
Suppose -3*p + 12 = -0. Suppose -p*l = -0*l. Let r = l - -17. Is 12 a factor of r?
False
Suppose 4*a + z + 10 = 0, -4*a + 2 = -2*z + 6. Let h be (-1)/a*-2*-2. Suppose 0 = h*k + 1 - 47. Does 8 divide k?
False
Let x(t) = 2*t**3 - 2*t**2 + 3*t + 1. Does 18 divide x(3)?
False
Suppose 0 + 5 = -j. Let g = j + 13. Is g a multiple of 8?
True
Suppose 3*f - f - 8 = 0. Suppose 2*q + s - 4*s - 32 = 0, 104 = f*q + 4*s. Is q a multiple of 11?
True
Suppose -18 = -20*q + 18*q. Is q even?
False
Let z = -2 - -4. Let a be ((-48)/(-20))/(z/(-10)). Let b = -1 - a. Is b a multiple of 5?
False
Let v = 12 - 1. Suppose -i + 48 = -v. Is i a multiple of 23?
False
Let v = -21 - -51. Is v a multiple of 26?
False
Let j(b) = b**2 - 9*b - 4. Let u be j(10). Let l(z) = -z**3 + 8*z**2 - 8*z + 1. Is 12 a factor of l(u)?
False
Suppose 4 + 12 = 2*q. Let o = q - -11. Does 14 divide o?
False
Suppose -2*n - 10*n + 2436 = 0. Is 29 a factor of n?
True
Is 11 a factor of 4/14 - (-7)/(49/166)?
False
Let s be (-3)/2*(-4)/3. Suppose -r = s*a - 84, -a + r - 42 = -2*a. Does 12 divide a?
False
Let u(w) = -8 + 16 + 2*w + 1 + 0*w. Suppose 3*g + 0*s - s - 26 = 0, 0 = 3*g + s - 16. Is 6 a factor of u(g)?
False
Let g(k) = k**3 + 3*k + 1. Let m be g(3). Let p(t) = 4*t. Let h be p(-1). Let x = m + h. Is 15 a factor of x?
False
Does 19 divide 10*11 + 20 + -16?
True
Let b(a) = -12*a. Let u = -4 - -3. Is 8 a factor of b(u)?
False
Suppose 2 = -d - 4. Is d/9 + (-268)/(-6) a multiple of 11?
True
Suppose 5*u - 16 = 2*o, o + o + 12 = 4*u. Suppose -4 = 3*g - 6*g - 4*v, -u*g + 14 = v. Does 4 divide g?
True
Suppose 52 = 3*l - 2*r - 46, -r = -2*l + 64. Is l a multiple of 15?
True
Let s = -35 + 27. Let u = 51 - s. Is 13 a factor of u?
False
Suppose 0*u = -2*u. Suppose u*h - 30 = -5*h. Does 9 divide h/27 - (-291)/27?
False
Let n(s) = 6*s - 4. Let k(c) = -19*c + 13. Let w(z) = -2*k(z) - 7*n(z). Is 6 a factor of w(-4)?
True
Does 8 divide 8/(-12)*(-1 + -11)?
True
Let r(d) = d + 7. Let c be 18/(-4) + 4/(-8). Let y be r(c). Suppose -18 - 46 = -y*b. Is 15 a factor of b?
False
Let z be (22/(-2))/1*-3. Let l be (-38)/(-6) + 1/(-3). Suppose l*c + 5 = c, d = 5*c + z. Is d a multiple of 14?
True
Let r = 5 + -2. Suppose -r*n + 4*y = 27, -9 = -6*y + 3*y. Is 6 a factor of 1 - (-5)/(n/(-12))?
False
Suppose -2*i - 5*f = 76, 0*f - 2*f + 133 = -3*i. Let k = 62 - i. Does 32 divide k?
False
Let q(f) be the first derivative of f**3 - 4*f**2 - 3*f - 2. Is 19 a factor of q(6)?
True
Suppose 0 = l + 3 + 1. Is 23 a factor of (-3 - 5/l)*-20?
False
Let n be (-2)/(((-4)/(-6))/2). Let f(a) = -2*a + 3*a + a - 4*a + 1. Does 7 divide f(n)?
False
Suppose 5*u - 38 = 4*f - 0*f, -2*u + 2*f + 14 = 0. Is 5 a factor of u?
True
Suppose 3*j = -0*j + 12. Let y(p) = p**3 - p**2 - 4*p + 4. Is y(j) a multiple of 12?
True
Let c(x) be the first derivative of 6*x**2 - 1/4*x**4 + 10/3*x**3 - 3*x - 3. Is c(11) a multiple of 5?
False
Is 8 a factor of (-5 - 12/(-3)) + 64?
False
Let h = 20 - 15. Suppose h*p - 45 = -4*n, 4*n - 24 - 19 = -3*p. Is n a multiple of 5?
True
Suppose 0*x = 2*z + 2*x - 24, -5*z + 36 = -3*x. Let q(u) = 2*u**3 + 2*u**2 - 3*u - 2. Let j be q(-2). Let g = j + z. Is g a multiple of 2?
False
Let a = 19 - 9. Suppose 4*w + 5*x + 10 = 0, -2*w + w + 5*x + a = 0. Is 4 - -1*(2 + w) a multiple of 3?
True
Suppose -4*w - 8 = 0, 4*k - 3*w + w - 12 = 0. Suppose 0 = k*d - d - g - 48, -2*d + g + 91 = 0. Does 20 divide d?
False
Suppose 5*l - l = 4. Suppose d - l = 4. Let u(n) = n**3 - 4*n**2 - 2*n + 2. Does 14 divide u(d)?
False
Suppose 5*q + 181 = -159. Suppose 0 = -z - 2*z - 123. Let a = z - q. Is a a multiple of 8?
False
Suppose 8*j - 81 = 5*j. Is j a multiple of 11?
False
Suppose -4*l - 3*x - 19 = 0, 2*l + l - 4*x = 17. Let c be (-3)/1*l + -2. Let f(u) = 4*u**3 + u**2 - 1. Is 4 a factor of f(c)?
True
Let t(c) = 2*c - 1. Let g be t(3). Suppose 0 = -4*s - 0*s. Suppose 0*x - 5*x - 5*f + 35 = s, -g*x - 3*f + 41 = 0. Is x a multiple of 5?
True
Suppose 2 = -4*r - 2*w + 16, 3*r - 3 = w. Suppose x - 6 + 1 = 3*o, -25 = -r*o - 5*x. Suppose 12 = s - o. Is 6 a factor of s?
True
Let u(h) = h**3 + 8*h**2 + 6*h + 4. Let l be u(-6). Suppose -f - l = -5*f. Is 5 a factor of f?
True
Let w(v) = -6*v**3 - 13*v**2 + 14*v + 3. Let m(i) = 5*i**3 + 12*i**2 - 13*i - 2. Let g(a) = 7*m(a) + 6*w(a). Let t be g(5). Does 8 divide ((-30)/(-9))/((-2)/t)?
False
Let r be 5*2/(2/1). Suppose -v - r*k - 8 = -8*k, v = -5*k + 32. Let j(a) = a**2 - 7*a + 7. Does 3 divide j(v)?
False
Let l be ((-2)/3)/(2/(-3)). Let b = -5 + 12. Suppose -b*q + 2*q = -3*o + 97, -l = -q. Is o a multiple of 12?
False
Suppose -c + 2*c = 10. Suppose 2*h + 2*x = -3*x + 69, -c = -2*x. Let r = -9 + h. Is 5 a factor of r?
False
Let m(i) = 16*i**3 - 3*i**2 + 3*i - 2