794 - 165. Let y be g/(-14) + (-6)/4. Suppose -3*h - m + y = -0*h, 5*h + m - 109 = 0. Is h a multiple of 17?
False
Let n = -287 - -980. Is 4 a factor of (-4)/30 + n/135?
False
Let s be ((-15)/(-6))/((-1)/(-2)). Suppose a = -s*q + 7, 0 = -3*a - 9. Suppose -2*t - 2*r = q*t - 50, 27 = 3*t - 2*r. Does 4 divide t?
False
Suppose 0 = 3*n - 2*c - 68, 2*n + 2*c + 3*c = 77. Let g = n + -9. Is g a multiple of 17?
True
Suppose 5 = -4*y - 19. Let w be (-27)/(-6)*(-4)/y. Suppose i - 85 = -4*v, w*i = 3*v + 2*v - 119. Does 19 divide v?
False
Suppose -2*d + z - 9 = -2*z, -3*z = 9. Let k(s) = -s**2 - 12*s + 6. Does 11 divide k(d)?
True
Suppose 0 = -5*i - 167 - 168. Let d = -48 - i. Does 8 divide d?
False
Let k be (2/6)/((-1)/(-69)). Suppose -2*a = -5*c - k, -a + 0 = 1. Let b(j) = j**3 + 4*j**2 - 7*j + 2. Does 12 divide b(c)?
True
Suppose -4*o + 5*t = -115, 0 = -4*o + t + 73 + 46. Suppose -c - 5*f + o = 4*c, 2*c + 4*f = 18. Suppose 0 = c*u - 0*u - 78. Is u a multiple of 14?
False
Let p = -1 - 0. Is (-3)/((-6)/(-8)*p) even?
True
Let q be (-14)/(-77) - (-42)/11. Is 6/q*3*2 a multiple of 9?
True
Suppose 0 = -v - v. Suppose v = 8*g - 3*g - 55. Does 3 divide g?
False
Let w(m) = 4*m**2 + m**3 - 4 + m**3 + m - m**3. Let u be w(-3). Is 0 + (4*u - 2) a multiple of 3?
True
Let w(m) = -m**3 - 3*m**2 - m + 4. Let l = -9 - -6. Is 3 a factor of w(l)?
False
Let w(p) = -p**3 - 8*p**2 - p + 7. Let a be w(-8). Let f = 35 - a. Is f a multiple of 6?
False
Let q(b) = -4*b**3 - 2*b**2 - 2*b - 1. Let v(i) = -i**3 + i**2 + i + 1. Let t(k) = q(k) - 3*v(k). Let n be t(-4). Is 2 a factor of n - 1 - -2 - -1?
True
Is 252/16 - 3/(-12) a multiple of 3?
False
Suppose r - 150 = -2*r - 3*b, -4*b = -4. Let j = r - 23. Does 10 divide j?
False
Suppose 6*p - 18*p + 948 = 0. Is p a multiple of 6?
False
Let v(k) = -k - k - 3 + 2. Let q be v(2). Is (q/4)/((-1)/12) a multiple of 15?
True
Let f(j) = -10*j - 13. Is 13 a factor of f(-4)?
False
Suppose 0 = 4*a - n - 71, 5*n - n = 2*a - 18. Is 13 a factor of a?
False
Suppose 4*p - 12 = p. Suppose -9 = -5*j + 21. Is 34/3 + p/j a multiple of 6?
True
Let q = -12 - -313. Suppose -3*t = -5*l - 5*t + q, 5*l - 307 = -4*t. Does 22 divide l?
False
Let i(t) be the third derivative of t**4/24 - t**3/6 + 2*t**2. Let z be i(2). Suppose -s = -2 - z. Is 3 a factor of s?
True
Suppose -5*q + 1946 = 2*q. Is 21 a factor of q?
False
Let u = 11 - 5. Does 18 divide (0 - u)*(-22)/3?
False
Let g(a) = a - 4. Let c be g(4). Suppose c*f = f - 29. Does 13 divide f?
False
Let p = -84 - -17. Let g = p + 96. Is 12 a factor of g?
False
Suppose 4*h - 3*l = 14, 4*h + 0*h - 28 = -4*l. Suppose 0 = 4*q - h*a + a + 16, -13 = 4*q - a. Is 14 a factor of 0 + 25 + q/(-1)?
True
Is (24/(-18))/((-4)/54) a multiple of 9?
True
Let m(f) = -96*f**2 + f - 1. Let b be m(1). Is 9 a factor of -1*3*b/18?
False
Is 9 a factor of 3*(-1 - (-22 + 4))?
False
Is 48*((-3)/(-9))/((-2)/(-10)) a multiple of 7?
False
Let d(w) = -5*w**2 - 7*w + 7. Let n be d(-6). Let c = n + 183. Suppose -z - 5*t + 6*t = -43, 0 = -z + 4*t + c. Does 14 divide z?
False
Let c(p) = -p**3 + 2*p**2 + 2*p. Let g be c(3). Does 11 divide (0 - g)/(3/26)?
False
Suppose t - 41 = -0*t. Let k = -26 + t. Does 6 divide k?
False
Suppose 4*t - 5*t = -153. Suppose -9*w + t = -6*w. Is 17 a factor of w?
True
Let v = -1 - -9. Suppose 3*d - v = -d. Is 5 a factor of d/6*0 - -10?
True
Suppose 6*h + 140 = 716. Is 24 a factor of h?
True
Suppose -3*r - 6 = -27. Suppose -r*k = -9*k + 64. Is 11 a factor of k?
False
Let k = 295 + -166. Is 23 a factor of k?
False
Suppose 3*k = -2*k + 150. Let m(a) = -3*a**3 - 2*a**2 + a. Let z be m(-3). Suppose -4*f - f - k = -h, -2*h + z = 2*f. Is 14 a factor of h?
False
Let f = 321 - 139. Is 33 a factor of f?
False
Suppose z - n = -3*z + 114, -2*n = 4. Let h = z + 0. Is 14 a factor of h?
True
Suppose -j = j - 22. Is j a multiple of 6?
False
Let w(j) be the third derivative of 13*j**7/5040 + j**6/720 + j**5/15 + 3*j**2. Let q(v) be the third derivative of w(v). Is 9 a factor of q(2)?
True
Let b be (-9)/6*(-4)/3. Let f = -4 + b. Let j(u) = -6*u**3 - 3*u - 3. Is 20 a factor of j(f)?
False
Suppose 2*k + v = 8, 3*k + 3*v - 16 = k. Suppose k*l = l. Let t(q) = q**2 + q + 8. Is 5 a factor of t(l)?
False
Let w(d) = d + 5. Is w(11) a multiple of 4?
True
Suppose 2*m - 385 = -3*m. Let z = m + -31. Is 23 a factor of z?
True
Let q(g) = 2*g**2 + 2*g + 1. Let c be q(-1). Let x = -2 + c. Is 17/(1 + x - -1) a multiple of 6?
False
Let f(z) = 2*z - 7. Let h be f(5). Let l = 277 - 155. Suppose l = 4*i - h*s, 3*s = -0*i + i - 26. Is 20 a factor of i?
False
Let n(c) = -18*c**3 + c**2 + c. Let a be n(-1). Suppose -p + a = 4*b, -16 = -2*p + 3*b + 9. Is p a multiple of 5?
False
Suppose 1070 = 3*q + 2*f, -q - 2*f + 281 = -69. Does 35 divide q?
False
Let x be 14/(-21)*(-9)/2. Suppose 4*c + c = t + 266, -x*c = -4*t - 146. Does 18 divide c?
True
Is 18/(-5)*(-20)/3 a multiple of 12?
True
Suppose 8 = k - 2*k. Let x(s) = s**2 - 7*s + 7. Is x(k) a multiple of 33?
False
Suppose 5*v + 7 = -2*l, 0*l - 3*v = 4*l - 7. Suppose 3*k - 5*j - 31 = 0, 5*j = -3*k - 15 - l. Is (k - 2/2)*8 a multiple of 4?
True
Let t(f) = -6*f**2 - 3 + f**3 + f**2 + 3*f**2. Let r be t(3). Let i = r + -1. Is i even?
False
Is 80 - ((-2)/6 + 42/18) a multiple of 6?
True
Let k(i) = 2*i**2 + 12*i + 14. Does 11 divide k(-7)?
False
Let w = -14 + 29. Let d(t) = -13*t. Let f be d(-1). Let j = w + f. Is 14 a factor of j?
True
Suppose -5*o = -5*g + 15, 2*o = -2*g - 0*o + 6. Suppose 2*i - 20 = -g*i. Suppose i*z - 3*d - 47 = -z, z + 3*d = -5. Is 6 a factor of z?
False
Let j be (1 + 0)*(-1 + -86). Does 9 divide 6/(-3) - j/3?
True
Let n(y) = -y**3 + 6*y**2 - 4*y + 1. Let b be n(5). Suppose v - b = -2*v. Suppose -26 - v = -4*x. Does 7 divide x?
True
Suppose -5*i = -3*i - 6, i = -4*t + 55. Suppose -g = t - 48. Does 9 divide g?
False
Suppose -179 = -5*s + 116. Is 11 a factor of s?
False
Let w(o) = o**3 - 9*o**2 + 3*o - 1. Is 13 a factor of w(9)?
True
Let y = 13 - -26. Is y a multiple of 11?
False
Suppose 3*k = 7*k - 12. Suppose k*h = -h + 56. Suppose -5*n + h = -51. Is n a multiple of 9?
False
Let j = 81 - 35. Is j a multiple of 13?
False
Let i(g) = g + 7. Let b be i(-5). Suppose b*q + q + 27 = 0. Let l = 27 + q. Is 9 a factor of l?
True
Suppose b + 80 = 6*b + 2*a, b - 4*a = -6. Is b a multiple of 14?
True
Let s(l) = 7*l**3 + 4*l**2 - 3*l - 2. Let f be s(2). Let p(d) = d**3 - d**2 + d - 28. Let m be p(0). Let q = f + m. Does 18 divide q?
True
Let z(l) = -3*l + 2. Suppose v = -5*o - 8, -3*o = -v + 3*v + 2. Let u be (-3)/6 + 7/o. Is 13 a factor of z(u)?
False
Let z(o) = o**3 + 2*o**2 - 3*o - 30. Let c(i) = -6*i**3 - 11*i**2 + 16*i + 150. Let u(x) = -2*c(x) - 11*z(x). Is u(0) a multiple of 11?
False
Let w = -83 + 137. Let x = w + -38. Does 16 divide x?
True
Let k = 0 - -3. Suppose 2 = k*v - 1. Is 4 a factor of 9*(0 - -1)*v?
False
Let x = 60 - 21. Is x a multiple of 4?
False
Let m(f) = 2*f**2 + 14*f - 3. Is m(-12) a multiple of 44?
False
Let t(x) = -31*x - 39. Is 11 a factor of t(-8)?
True
Let t = -10 - -58. Does 6 divide t?
True
Let d = -215 - -351. Does 34 divide d?
True
Let g(q) = -7*q**2 - 3*q - 3. Let m(s) = -s**2 - s - 1. Let z(c) = -g(c) + 5*m(c). Is 9 a factor of z(4)?
False
Suppose j = -2*x - 3*x - 30, 3*x + j = -18. Let k be x/(-2*1/2). Suppose -k - 6 = -4*v. Is v a multiple of 2?
False
Let a(s) = -2*s**2 + 4*s - 8. Let i be a(6). Let p = i - -102. Is 23 a factor of p?
True
Let m(p) = -p**3 - 3*p**2 - 3*p + 1. Let v be m(-3). Let o = 32 + v. Does 21 divide o?
True
Suppose -5*i + 4*v = 2*v + 356, 66 = -i + 3*v. Let w = -44 - i. Is 14 a factor of w?
True
Let i = 27 - -11. Is 12 a factor of i?
False
Let y = -103 + 62. Let o = 66 + y. Does 4 divide o?
False
Let w = 17 - 10. Let t = 6 + w. Let p = t - -4. Does 17 divide p?
True
Suppose -5*t - c + 2 - 5 = 0, 3 = -3*t - c. Suppose -4*h - 5*n = -193, t = 2*h - 2*n + n - 79. Is h a multiple of 15?
False
Let h(i) = -i + 1. Let l(k) = 5*k - 3. Let o(x) = 6*h(x) + l(x). Suppose 4*u + 8 = 3*g, 16 = -5*g + g. Is o(u) a multiple of 4?
True
Is 36/(-15)*((-1355)/15 - 3) a multiple of 14?
True
Suppose 0 = -26*b + 27*b - 16. Does 4 divide b?
True
Let v(a) = a**3 - a**2 - a + 1. Let l be v(0). Is 3 a factor of (13 - 7)/(2/l)?
True
Let u(a) be the second derivative of -a**3/6 +