 - 7. Let a be h(9). Let i = a + 8. Suppose 2*b - 6*b + 20 = 4*s, -2*s - b = -i. Is 2 a factor of s?
False
Let w(o) = o + 4. Let d be w(0). Let m = 3 - -3. Suppose -3*s = m, d*y - s = -47 + 125. Is y a multiple of 19?
True
Let w(c) = 6*c**2 - 2*c - 1. Let v be (-1 - -3)*1/(-2). Does 6 divide w(v)?
False
Let m(l) = -l**2 + 6*l + 4. Let k be m(6). Suppose -11 = 4*a + 5*w, 3*w + 21 = -k*a - 0*w. Let n = a - -27. Is n a multiple of 9?
True
Let j(a) be the third derivative of -a**4/12 + 5*a**3/6 - 4*a**2. Is j(-4) a multiple of 13?
True
Let k(l) = -7*l**2 - 7*l - 6. Let w(r) = r**2. Let q(f) = k(f) + 6*w(f). Does 6 divide q(-4)?
True
Suppose 0 = 2*v + 4*q - 88, -3*v + 2*q = q - 160. Is v a multiple of 12?
False
Let q(n) = -3*n**2 + 6*n + 4. Let d be q(5). Let b = d - -20. Is (2 - 4)/2 - b a multiple of 11?
False
Let f = 5 + 28. Is f/2 - (-4)/(-8) a multiple of 8?
True
Let b be (5/(-4))/((-1)/8). Let m = b + -7. Suppose -m*p + 0 + 21 = 0. Does 4 divide p?
False
Let v(w) be the third derivative of -w**7/1008 + w**6/180 + w**5/60 - 2*w**2. Let r(n) be the third derivative of v(n). Is 12 a factor of r(-3)?
False
Suppose -16 = 2*b - 86. Let g be (-4386)/10 + 21/b. Is (-4)/(-10) + g/(-30) a multiple of 7?
False
Suppose 2*t - 261 - 99 = 0. Suppose 0*v + t = 4*v. Suppose v = h + 4*h. Does 9 divide h?
True
Let c = -99 - -107. Is c a multiple of 5?
False
Suppose 5*s - 104 = 3*s - 4*c, 4*s = -2*c + 190. Does 10 divide s?
False
Suppose 39 = 3*a - u - 2*u, 0 = -4*a + 3*u + 48. Does 3 divide a*(3 + -5 - -3)?
True
Let y be -59 - ((-2 - -3) + 0). Let s = -10 - y. Does 27 divide s?
False
Let z = 22 + -16. Let h be 44/(-1)*z/6. Let o = -11 - h. Does 13 divide o?
False
Let f(d) = -6*d + 4. Let w be f(4). Let y be 202/10 - (-4)/w. Is 5 a factor of (-1*1)/((-4)/y)?
True
Let a = -200 - -133. Let j = 118 + a. Is 31 a factor of j?
False
Suppose -4*r + 3 = 5*j, -5*r + 2*j - 6*j = -6. Is 5 a factor of 3/r*98/21?
False
Let b(v) = -2*v**3 + 14*v**2 + 10*v - 6. Is b(7) a multiple of 13?
False
Let u = -15 + 42. Let s = -11 + 15. Suppose -n + u = q, q + q - s*n - 36 = 0. Does 12 divide q?
True
Let f = -5 - -5. Let s = f - 1. Does 6 divide (s + 3)/(10/75)?
False
Let n(u) = u**2 - 4*u + 1. Let o be n(5). Let k(s) = s**3 - 4*s**2 - 10*s + 7. Does 5 divide k(o)?
False
Suppose l = -6*d + d + 49, -3*d = 3*l - 183. Does 13 divide l?
False
Let l be 24/4 - (2 + 0). Suppose 0 = b + 2*a + a - 8, l*a + 1 = b. Suppose 3*c + c - 3*h - 83 = 0, 4*c - b*h = 85. Is c a multiple of 9?
False
Suppose -3*p + 25 = 3*w + p, 0 = 4*p - 16. Suppose w*m - 32 = -4*j, 2*m + 8 = 4*j - m. Is 3 a factor of j?
False
Let a = 645 - 180. Suppose 0 = 3*w + 2*w - a. Suppose 5*j = 37 + w. Is 12 a factor of j?
False
Let u be 26/(-3)*3/(-2). Suppose -4*m = u - 205. Does 24 divide m?
True
Let o = -2 - -4. Suppose 10 = -o*m, -v + 4*m = -3*v + 56. Is 23 a factor of v?
False
Let n be 0 - -1 - -1 - 5. Does 4 divide ((-6)/(-4))/n*-14?
False
Is (-1)/((-486)/(-122) - 4) a multiple of 2?
False
Let b(w) = w**2 - 7*w + 8. Let u be b(5). Does 14 divide (u/(-3))/((-8)/(-168))?
True
Suppose 5*k = k - 64. Let t = 10 + k. Does 3 divide (t/(-10))/((-2)/(-10))?
True
Let z be ((-6)/8)/((-4)/272). Let q = z - -27. Is 25 a factor of q?
False
Let c = -82 + 49. Let d be (-1)/(2 - c/(-17)). Let a = d - -32. Is 15 a factor of a?
True
Suppose 0*k + 68 = 4*k. Is 3 a factor of k?
False
Let z = -3 + 1. Let m = 17 - 4. Is -1 - m/z*2 a multiple of 12?
True
Let a = -4 - -18. Does 7 divide a?
True
Suppose u - 159 = 2*c, 314 = 5*u - 3*u - 5*c. Does 8 divide u?
False
Suppose 18 = t - 6. Is t a multiple of 24?
True
Suppose 6 = 2*f + 3*m, 2*f + 5*m - 13 = 1. Let i(q) = -10*q. Is i(f) a multiple of 15?
True
Suppose 7*m = 2*m + 360. Suppose o + m = 4*o. Does 7 divide o?
False
Suppose y - 224 = -3*y. Is y a multiple of 23?
False
Let x(c) be the third derivative of c**5/60 + 2*c**3/3 - c**2. Let l be (1 - 1/1)/2. Does 4 divide x(l)?
True
Suppose b = 3*b - 4*u - 46, 5*b - 103 = -2*u. Does 11 divide b?
False
Suppose -5*v = 20 - 0, -3*v = -3*h + 315. Is 23 a factor of h?
False
Let w = -85 - -109. Is w a multiple of 12?
True
Let r(o) = o + 38. Is 19 a factor of r(-15)?
False
Let o = 28 - 0. Is 5 a factor of o?
False
Does 15 divide ((-30)/1)/((-5)/5)?
True
Suppose 4*w = -5*f + 70, 0*f = -4*f + 4*w + 92. Is 5 a factor of f?
False
Let q = -58 - -92. Is 4 a factor of q?
False
Let f = 73 + 5. Is 13 a factor of f?
True
Let w(l) be the first derivative of l**2 - l**2 - 3 - 3*l + 4*l**2. Does 13 divide w(2)?
True
Let b be 12/5 - 12/30. Suppose -b*x = -5*o - 0*o + 216, -4*x - 12 = 0. Does 22 divide o?
False
Let m(o) = -o**3 - 6*o**2 - 6*o + 3. Suppose 12 = -2*g - 0. Is 13 a factor of m(g)?
True
Suppose -4*x - 1 = -3*x. Let g = 25 - x. Is g a multiple of 17?
False
Suppose 5*k = -5*a - 267 + 57, 4*a + 192 = 2*k. Is 3/((-12)/(-4)) - a a multiple of 16?
False
Let h = 9 - 10. Let k(x) = -x + 1. Let s be k(h). Let b = 3 + s. Is 5 a factor of b?
True
Let y(t) = 148*t - 7. Does 5 divide y(1)?
False
Let b = -58 - -116. Is b a multiple of 14?
False
Suppose 56 = -2*u + 16. Let f = 40 + u. Is 11 a factor of f?
False
Suppose -5*h + 162 = 2. Suppose -h + 1 = -a. Is a a multiple of 18?
False
Suppose -9*h + 5*h = -j, -3*h + 33 = 2*j. Is j a multiple of 2?
True
Is 19 a factor of 54/(-36)*152/(-3)?
True
Suppose 4*c - 433 = 4*g - g, -g = 2*c - 219. Let q = c + -64. Does 15 divide q?
True
Is 18 a factor of 2388/20 - (-3)/5?
False
Is 15/(-2)*(-306)/27 a multiple of 17?
True
Suppose -i = 6 - 1. Does 14 divide -41*(i - -3)/2?
False
Suppose p - 4*w - 14 = -p, -11 = -3*p - 4*w. Let h(m) = -m**3 + 6*m**2 - 3*m - 4. Let v be h(p). Does 20 divide 3*2/v + 39?
True
Does 20 divide 1977*(-4)/(-36) - 2/(-6)?
True
Suppose 4*z = 999 + 441. Is z a multiple of 40?
True
Let g be 1/(-1) - -2 - -3. Suppose 0*m = g*m. Suppose -20 = -4*f + 2*p + 52, 5*p - 20 = m. Does 20 divide f?
True
Let g = -357 - -611. Does 22 divide g?
False
Does 21 divide (-419)/(-4) - (-3)/12?
True
Let y = -12 + 17. Suppose 2*p - y*p = -42. Is p a multiple of 5?
False
Suppose 0 = -2*f + 5*r + 106, 3*r + 228 = 4*f + r. Is 29 a factor of f?
True
Let m = 36 + 15. Suppose m = 5*z - 2*z. Is z a multiple of 14?
False
Let i be ((-81)/18)/((-1)/(-2)). Is 0/(-5 + 3) - i a multiple of 3?
True
Suppose 3*g + 17 + 36 = l, 0 = -4*l - 2*g + 142. Does 19 divide l?
True
Let a be 4/(-10) - 96/(-40). Suppose 113 - 17 = a*g. Is g a multiple of 16?
True
Suppose -2*n - 18 = -n. Let q = n - -13. Let t = 19 + q. Is t a multiple of 7?
True
Let n = -4 + 7. Suppose 3*y - n = 2*y. Suppose 0 = -j - y*j + 12. Does 2 divide j?
False
Suppose -2*u = k, -3*u - 6 = -0*u. Does 11 divide -1*33/(-6)*k?
True
Does 14 divide 1 + (-2)/(-4) + (-2228)/(-8)?
True
Let h be 9/15 + 62/5. Suppose 0 = -3*s + 62 + h. Let u = s + -14. Is u a multiple of 11?
True
Let t = -7 + 17. Does 5 divide t?
True
Suppose 10*r - 11*r + 3 = 0. Suppose 0 = -0*u + r*u - 213. Is 24 a factor of u?
False
Suppose i + 2 = 4. Suppose -2*v + 4*l = -20 - i, 4*l + 31 = 5*v. Suppose v*o + 70 = 5*d, 3*o = -d - 3 - 1. Is d a multiple of 8?
False
Let z(p) = p**3 - 20*p**2 + 21*p + 11. Is z(19) a multiple of 8?
False
Is -30*(12/8 - 3) a multiple of 17?
False
Let a = 65 - 39. Is a a multiple of 13?
True
Let o = -11 + 29. Is o a multiple of 6?
True
Is ((-3)/2)/((-21)/154) a multiple of 4?
False
Let f(x) = -21*x**3 - x**2 - x - 1. Let z be f(-1). Is 8 a factor of 86/5 + (-4)/z?
False
Suppose -13 + 29 = 5*w + 4*o, -2*o = -2*w + 10. Is (-56)/(-10) - w/(-10) even?
True
Suppose t = -2*t + 450. Is 32 a factor of t?
False
Suppose -6*k + 10 + 200 = 0. Suppose -2*q + k = -13. Does 4 divide q?
True
Let s = -61 + 172. Does 20 divide s?
False
Let d = -8 - -23. Suppose d = -2*b - o + 39, 0 = -3*b + 5*o + 23. Is b a multiple of 4?
False
Suppose 0 = -4*m - 0*m - 216. Let f = m + 109. Is f a multiple of 16?
False
Suppose -4*q = -4*o + 180, -9*q + 6*q - 12 = 0. Is o a multiple of 2?
False
Suppose -3 = -4*p + 17. Is 4 a factor of (-4)/(-2) + p + -3?
True
Suppose -r - r + 66 = 0. Does 5 divide r?
False
Suppose 2*d + 4*j - 2 = 2*j, 0 = -5*d + 4*j + 50. Suppose 3*p - d = 2*p. Is 3 a factor of p?
True
Is 8 a factor of ((-23)/(-4))/(3/12)?
False
Let n(r) be the third derivative of -r**6/120 - r**5/20 - r**4/12 + r**3/2 - 5*r**2. Is 9 a facto