
False
Suppose 5*n + 14 + 1 = 0, -5*p + 5*n + 590 = 0. Does 23 divide p?
True
Let r = 9 + -16. Is 24/(-10)*(r - -2) a multiple of 6?
True
Let y = 74 + -47. Is y a multiple of 13?
False
Let i = 522 - 349. Is i a multiple of 28?
False
Let w(i) = 7*i**2 - 2*i + 6. Does 15 divide w(-3)?
True
Let f(t) = -t**3 - 6*t**2 - 6*t + 5. Let v be f(-5). Suppose 0 = -3*k - 2*k + 5*r + 5, -5*k + r = -9. Suppose 1 = 3*h - x - 14, k*x - v = -2*h. Is h even?
False
Let c(p) = -2*p**2 - p + 2. Is c(0) even?
True
Let v(d) = d**2 + 12*d + 13. Let k be v(-11). Suppose 2*n + g - 25 = 22, -4*n + 114 = -k*g. Does 14 divide n?
False
Let d(l) = -l**2 + 3*l - 5. Let k(f) = f**2 - 3*f + 4. Let s(g) = 4*d(g) + 5*k(g). Is s(6) a multiple of 10?
False
Suppose -3*n = 4*k - 92, -2*n - 2*k - 3*k = -73. Is n a multiple of 6?
True
Let u(i) = i**2 + 6*i + 4. Let w be u(-6). Let y(n) = n**3 + n**2 - 5*n + 6. Let f be y(w). Let v = 92 - f. Is 13 a factor of v?
True
Suppose -2736 = -6*w - 3*w. Does 10 divide w?
False
Let c(f) = 40*f - 16. Is c(4) a multiple of 12?
True
Let g be (-17)/(-3) - 14/21. Suppose 28 = l - 2*i, 0 = 4*i - g*i - 2. Is 8 a factor of l?
True
Let u(y) = y**3 + 6*y**2 - 9*y - 6. Let i be u(-7). Let x(q) = 2*q**2 - 2*q**2 - i*q - q**2 - 4. Is x(-5) a multiple of 5?
False
Suppose 0 = -5*t - 0*t. Suppose 3*m + 3 = z - t*z, 13 = 2*z + m. Is 3 a factor of z?
True
Suppose 2*o - 3*z - 4 = -16, -2*z = -8. Suppose 100 + o = 5*i. Is i a multiple of 15?
False
Suppose 5*j = 309 - 39. Is 18 a factor of j?
True
Let i be (-466)/(-9) - 8/(-36). Suppose -5*d + d = -i. Does 13 divide d?
True
Let u(j) = j**3 + 14*j**2 - j - 12. Let m be u(-14). Is 4 a factor of 15/2 + 1/m?
True
Suppose -4*q = -q + 6. Let d be 1*(4/(-2) - q). Suppose -b + d = c - 12, 2*c = -5*b + 57. Is b a multiple of 11?
True
Let l = -7 + 7. Suppose 3*b - 2*t = -10 - l, 0 = 5*b + t - 5. Suppose -4*v = 2*r - 212, -v + r + b*r = -50. Does 19 divide v?
False
Let y(w) = 4*w**2 + 0*w**3 + 3*w**2 + 4*w + 2 - 4*w**3. Let l(s) = -5*s**3 + 8*s**2 + 5*s + 2. Let m(k) = -5*l(k) + 6*y(k). Does 16 divide m(2)?
True
Suppose -4*m - 35 = -4*i + 5, 0 = i + 4*m. Does 3 divide (0 - 0 - i)/(-1)?
False
Let p(h) = 15*h - 17. Is 12 a factor of p(5)?
False
Suppose -68 = -5*r + 112. Is 18 a factor of r?
True
Suppose 0 = -3*f + 46 + 5. Is 9 a factor of f?
False
Let u(x) = -2*x**3 - 6*x**2 - 4*x + 3. Let t be u(-4). Suppose -t = -p - 2*p. Does 13 divide p?
False
Let l(g) = -223*g**2 + 4*g - 3. Let s be l(1). Is 21 a factor of -5*(-2 - s/(-15))?
True
Suppose -6 = 2*m - s + 5*s, 5*m = -5*s. Suppose -71 + 14 = -m*a. Is 19 a factor of a?
True
Suppose -5*r + 82 = -38. Is 16 a factor of (-36)/r*164/(-6)?
False
Suppose 1 + 9 = 2*h, 3*h + 50 = 5*f. Does 3 divide f?
False
Let c = 10 + -6. Suppose 5 = c*a + 5*x, -2*a - 5*x = -5 + 10. Is 3 a factor of a?
False
Let m = 11 - -1. Is 3 a factor of (m/(-10))/2*-10?
True
Suppose -2*x + 8 = -j, 4*x + j + 2*j - 36 = 0. Is 3 a factor of x?
True
Suppose 2*h - 6 = 14. Suppose 7*s - h = 2*s. Suppose -3*t - s*i + 66 = 0, 2*t - 3*i - 63 = 2*i. Is 14 a factor of t?
False
Let n(f) = 25*f**2 - 2*f + 1. Let u(c) = c**2 - 7*c + 1. Let l be u(7). Let q = l + 0. Is n(q) a multiple of 8?
True
Let f = 15 - 10. Suppose -r = -f*r + 228. Is 19 a factor of r?
True
Suppose 4*z - 9 + 1 = 0. Suppose -z*d = -18 - 2. Does 10 divide d?
True
Suppose -3*h - 2*r = -167, -3*h - r = -134 - 35. Does 19 divide h?
True
Let m be 2*(-2 - 0 - -1). Is m + 5/(10/24) a multiple of 10?
True
Let r be 2/(-4) - 249/(-6). Suppose 0 = -2*d + r + 39. Is d a multiple of 15?
False
Suppose -3*p + 8 = -4. Let b(a) = 6*a - 6*a - 2 + p*a. Does 9 divide b(6)?
False
Let g = 10 - 6. Let s(o) = o + 1. Does 5 divide s(g)?
True
Suppose -n - 316 = 3*n + 4*a, a = -4*n - 310. Let q = n - -109. Is q a multiple of 8?
True
Let p(i) = i + 9. Does 18 divide p(9)?
True
Suppose 0 = -5*s + 41 - 11. Suppose 0 = -s*r + 3*r - 9. Let g(n) = 2*n**2 + n - 4. Is 4 a factor of g(r)?
False
Suppose -5*f = -2*d - 10*f, f = 5*d. Suppose 0*t - 3*t - 7 = -p, 4*t - 16 = d. Is 19 a factor of p?
True
Suppose 0 = -0*l - l - 49. Let s = -30 - l. Is s a multiple of 6?
False
Let b(v) = 3 + 12 - 1 - 2 - 2*v. Does 15 divide b(-14)?
False
Suppose 3*n - 5 = 1. Suppose 0 = n*x - 21 - 11. Is x a multiple of 16?
True
Let y(f) = 79*f**2 + 2*f + 2. Let u = -29 + 28. Does 18 divide y(u)?
False
Let i = -8 - -20. Let u be (i/(-3))/(6/(-9)). Suppose 2*r = -g + 33, -u*r = -5*r - 5*g. Is 15 a factor of r?
True
Let d be (-4)/(-8)*6 - 3. Suppose d = -2*m + 16 + 18. Is m a multiple of 4?
False
Let f be (2 - (-1 + 3))*-1. Suppose 5*w + 2*l - 138 = f, -4*w + 83 = -5*l - 1. Is w a multiple of 7?
False
Let x = 1 - -2. Let d = x - 0. Suppose 0 = -d*j + j + 52. Is j a multiple of 13?
True
Suppose 0 = -p + 49 + 383. Suppose -5*l = -3*l - p. Is 11 a factor of (-8)/(-20) + l/10?
True
Suppose -2200 = -17*q + 6*q. Does 20 divide q?
True
Let a(k) be the second derivative of k**4/6 - k**3 + 3*k**2 + 2*k. Is a(4) a multiple of 14?
True
Let n(p) = -5*p**2 - 1 + p**2 + 3 - 4*p**2. Let g be n(-3). Let r = -17 - g. Is r a multiple of 18?
False
Let r = 121 + -44. Is r a multiple of 7?
True
Let v(g) be the third derivative of -g**6/120 + g**5/10 + g**4/12 + g**3/2 - 6*g**2. Does 10 divide v(5)?
False
Let n(k) be the third derivative of k**4/8 - 7*k**3/6 - 3*k**2. Let c be n(6). Is c + (-1 - (0 - 3)) a multiple of 12?
False
Suppose -3*w - 15 = 0, -5*x + 2*w + 5 = w. Suppose 2*v - 23 = -x*v - 3*u, -v = -2*u - 8. Does 10 divide v?
True
Let k be (-2)/7 - 4/(-14). Let o(z) = 0*z**2 - 2*z**2 - z**3 + z**2 + 18. Is o(k) a multiple of 11?
False
Let v be 14/8 - 2/(-8). Suppose -4*l - 2*n + 128 = 0, 0*l = -v*l - 3*n + 68. Is 11 a factor of l?
False
Suppose -o - 2 = -12. Is 12 a factor of ((-56)/20)/((-2)/o)?
False
Suppose 5*m = 3*l + 167, m = -2*m - 3*l + 81. Does 8 divide m?
False
Let m(h) = 2*h**2 + 4*h - 8. Is 10 a factor of m(3)?
False
Let v be ((-30)/(-4))/(6/8). Suppose 4*f - v = 6. Is 2 a factor of f?
True
Is 7 a factor of 380/12 - (-1 - (-6)/9)?
False
Suppose 0 = 3*b + 17 - 5. Let f be ((-2)/b)/(4/16). Does 10 divide 21 + f*(-2)/4?
True
Suppose 4*j - 12 = p - 0, 12 = 4*p - j. Suppose -5*x + 0*b = p*b - 171, 2*x = -2*b + 68. Suppose 2*a - x = 5. Does 10 divide a?
True
Suppose 0 = 3*y - 1044 + 126. Is y a multiple of 34?
True
Let i(q) = 14*q**3 + q**2. Is i(1) a multiple of 7?
False
Let i(n) = 9*n + 5. Is i(2) a multiple of 13?
False
Let h be (-1 - 0)/((-1)/96). Suppose -4*c + h = -8. Does 13 divide c?
True
Let q(c) = 0 + 1 - 2*c - 2 + 0*c**2 + c**2. Does 11 divide q(-4)?
False
Let b(s) = -s + 1. Let p(n) be the first derivative of -7*n**2/2 + n - 1. Let w(i) = b(i) - p(i). Is 12 a factor of w(4)?
True
Let t = -28 - -33. Is t a multiple of 5?
True
Let k be -5*((-13)/5 + 1). Let m = k - 3. Let f = 17 - m. Is f a multiple of 9?
False
Let z = 41 - 24. Let d = 41 - z. Does 6 divide d?
True
Suppose -123 = -4*t + 5. Is 16 a factor of t?
True
Is 18 a factor of (-429)/(-7) - (-12)/(-42)?
False
Suppose -3*l = -0*k - 2*k + 33, -2 = 2*l. Is 9 a factor of (1 + (-2 - -2))*k?
False
Let q = 0 + 0. Suppose q = k + 3*k - 144. Is 12 a factor of k?
True
Let m be (-1)/(-4) - 65/20. Does 7 divide (m + 4)*3 + 4?
True
Let m = -7 - -2. Let w be ((-2)/m)/(1/10). Let a(d) = 2*d**3 - 5*d**2 - 4. Is 19 a factor of a(w)?
False
Let x = 72 - 20. Suppose -3*p - p = -x. Is p a multiple of 5?
False
Let n = -6 - -9. Suppose -n*h = -17 + 2. Is h a multiple of 5?
True
Let o(q) = 2*q**3 + q**2. Let s be o(-4). Let b = s - -164. Is 13 a factor of b?
True
Let l(i) = -i. Let f(b) = -17*b + 7. Let j(o) = -f(o) + 6*l(o). Is j(5) a multiple of 16?
True
Suppose 5*d + 5 = 4*d. Let z = 4 - d. Suppose 2*u + 3*i - z = 0, -4*u + 67 = -3*i + 22. Is 7 a factor of u?
False
Let q(a) = -a**3 - 14*a**2 - 14*a - 7. Is q(-13) a multiple of 4?
False
Let g(q) = -q**3 + 3*q - 2. Let v = 3 + -5. Let m(s) = -s**3 - 2*s**2 + s - 1. Let i be m(v). Does 10 divide g(i)?
False
Let y(o) = o**2 + 4*o - 33. Does 8 divide y(-10)?
False
Suppose 5*i - 150 = -3*w, -5*w + 3*i = -2*i - 210. Is w a multiple of 24?
False
Let v(i) = i**3 + 15*i**2 + 13*i + 9. Let h be v(-14). Let x = h + -5. Is x a multiple of 6?
True
Let h = 0 + 33. Let y = h + -18. Is y a multiple of 9?
False
Suppose -3*v + 2*k - 5*k = 6, -v = 2*k