*h + 2*d + 4 = 5*h, -h = 2*d + 4. Suppose h = -5*n + 5*t - 2 + 12, t - 2 = 0. Let w = 8 + n. Does 12 divide w?
True
Suppose -41 - 5 = -2*u + 2*g, -3*u = 3*g - 75. Does 12 divide u?
True
Let s(m) = 36*m**3 - 5*m**2 + 1. Let i(z) = -107*z**3 + 14*z**2 - 3. Let y(j) = 4*i(j) + 11*s(j). Does 16 divide y(-1)?
True
Let y(p) = 11*p - 4*p + 0*p - 3*p - 11. Is y(5) a multiple of 9?
True
Suppose -6*o + 4 = -4*o. Suppose o*w = 2*k + 12, -15 = -0*k + 3*k. Is 7 a factor of (1/(-2))/(w/(-26))?
False
Let s(k) be the first derivative of 11*k**2/2 - k - 5. Does 14 divide s(4)?
False
Suppose 3*u + 2*i - i = 61, u = 3*i + 17. Is 10 a factor of u?
True
Let r(p) = 7*p - 37. Is 17 a factor of r(15)?
True
Let z(i) = i + 6. Let a be z(-9). Does 11 divide a*(-4)/12*19?
False
Let o(b) be the third derivative of -b**6/120 + b**5/60 + 5*b**4/24 - b**3/6 - 2*b**2. Let w be o(4). Let s = 61 + w. Is 16 a factor of s?
True
Let i(k) = 3*k. Let n be (10/35)/((-1)/(-7)). Does 3 divide i(n)?
True
Let x = 16 - -8. Suppose -4*f + f = -x. Does 8 divide f?
True
Let v = -5 - -9. Suppose -v*u = -0*u - 208. Is u a multiple of 26?
True
Let w(x) = x**2 + 8*x - 9. Let b be 34/(-4) - (-2)/(-4). Let k be w(b). Suppose k*l - 30 = -2*l. Does 11 divide l?
False
Does 2 divide (-74)/(-9) - 10/45?
True
Suppose -l + 5835 = 14*l. Does 28 divide l?
False
Suppose 5*y - 2*d + 3 = -1, 4*y = -5*d + 10. Let m = -11 - -16. Suppose -168 = -5*q - y*x - 4*x, -m*q + 4*x = -192. Is q a multiple of 18?
True
Suppose 2*r - 55 = 139. Is 28 a factor of r?
False
Let s(u) = 6*u**2 - 3*u + 1. Let t be -3 + (-3)/3 - -8. Is s(t) a multiple of 18?
False
Suppose 4*v - 4 + 12 = 2*p, 2*v = -4*p + 56. Let j = p - 0. Is 8 a factor of j?
False
Let c = 1 - 7. Let p = c - -12. Is 3 a factor of p?
True
Suppose -2*q + 7 - 21 = 0. Let d = 10 + q. Suppose -5*f + 2*w = -30, d*f = -0*f + w + 18. Does 3 divide f?
True
Let r(s) = s**3 + 7*s**2 + s + 4. Let x be r(-6). Suppose -y - x = 24. Is y/(-6) - 1/(-3) a multiple of 5?
True
Let w = 39 + -21. Is 3 a factor of (w/5 + -4)*-35?
False
Let p(r) = 3*r**2 + 3*r - 1. Let n be p(-4). Let a = n - 17. Does 8 divide a?
False
Suppose -f + 6*f + 10 = 0. Let p be f - ((-45)/(-1))/3. Let m = p + 24. Is 4 a factor of m?
False
Suppose s - 122 = -5*w, 2*s = -2*s + 2*w + 488. Suppose -s = 3*m + 2*r, 3*m + r = -0*m - 121. Let y = -27 - m. Is y a multiple of 5?
False
Let x(o) = o**2 - o. Let b be x(1). Let d be b + -2 + 5 + 2. Suppose d*f = -40 + 130. Does 9 divide f?
True
Suppose -10*b = -6*b - 140. Does 7 divide b?
True
Suppose 2*j = 3*v + 5*j - 582, j - 966 = -5*v. Does 47 divide v?
False
Let a(t) = -t**3 + 6*t**2 - 3*t - 5. Let n be a(5). Let w(f) = f - 2. Let l be w(4). Suppose -l*y = -3*y + n. Is y even?
False
Suppose 0 = -4*l + 3*l + 3. Suppose 3*w = -l*n - 2*n + 19, -w = 2. Suppose -38 - 47 = -n*v. Is 17 a factor of v?
True
Let q = 6 - 10. Let o = q + 13. Is 3 a factor of o?
True
Suppose -184 = -5*a + 61. Let x = a + 30. Suppose -2*i = 0, 5*g - 2*i - 6 = x. Is 6 a factor of g?
False
Suppose 0 = -5*w - 10, -4*w + 9*w + 10 = -5*l. Let t = -7 + 14. Is 17 a factor of t + 10 - (0 - l)?
True
Let j(s) = s**2 + 2*s - 8. Is j(5) a multiple of 27?
True
Is 8 a factor of 3 + -1 - 42/(-3)?
True
Let t = 18 + 38. Suppose -2*l - 6 = -t. Is 8 a factor of l?
False
Let j(s) = s**3 + 5*s**2 - 6*s - 9. Let n be j(-6). Let g be 8/36 - 160/n. Suppose g + 10 = 2*o. Does 14 divide o?
True
Suppose -4*d = -6*d + 5*o + 266, 2*o - 556 = -4*d. Does 23 divide d?
True
Let a(c) = -2*c**2 + 1. Let w be a(1). Let y be (6/9)/(w/(-3)). Is y/7 + (-54)/(-7) a multiple of 4?
True
Let o(j) be the third derivative of -j**5/60 - 5*j**4/8 + 2*j**3/3 - 4*j**2. Is 6 a factor of o(-14)?
True
Suppose 6*i = -247 + 907. Does 16 divide i?
False
Let n = 1 + 7. Suppose -n = 3*r + r. Is 2 a factor of -3 - (3 + r)*-10?
False
Suppose 0*h = h - 3. Let c = 5 - h. Suppose 2*u + c*u - 212 = 0. Is 19 a factor of u?
False
Let n be 2/7 + (-99)/(-21). Suppose 4*f - n*f - 3*w = -15, 2*f + 2*w - 14 = 0. Suppose f*q = 2*m + 26, -2*q + 5*m = 5 - 4. Does 5 divide q?
False
Let k(c) = 31*c + 24. Is 42 a factor of k(6)?
True
Suppose 3*p - 15 - 159 = 0. Does 7 divide p?
False
Let b = 6 - 9. Does 4 divide -24*(-1 - b/6)?
True
Does 13 divide 1392/20 - 2/(-5)?
False
Let t(q) = 10 - 3*q - 3*q + 4*q. Suppose -4 = p + 3. Is 15 a factor of t(p)?
False
Suppose -4*k + 85 = k. Suppose -3 = 3*c + 33. Let s = c + k. Does 5 divide s?
True
Suppose -2*i + 165 = 2*j + 33, 4*i = -5*j + 262. Suppose 0 = 2*z - a - i, -z + 3*a - 156 = -5*z. Does 12 divide z?
True
Let c(f) = -f**2 + 2 - 2 + 2*f - f**3. Let u be c(-2). Suppose u = 3*b - 4*z - 64, -3*b - 4 = 4*z - 36. Does 8 divide b?
True
Let t(p) = p**3 + 6*p**2 - 2*p + 5. Let y be t(-5). Suppose -2*v - y = -7*v. Is 7 a factor of v?
False
Suppose -2*i - 4*m = -424, -4*i - 2*m = -1031 + 201. Does 17 divide i?
False
Suppose 23 + 29 = -q. Suppose -4*n + 51 - 163 = 0. Let i = n - q. Is 14 a factor of i?
False
Let c(g) = g**2 + 1. Let r be c(-1). Is -2 - (-67 - (r - 3)) a multiple of 32?
True
Suppose 4*p + 0*p - 104 = 0. Suppose 4*c + p = 2*i + 2*c, 3*i - 45 = 5*c. Is i a multiple of 10?
True
Suppose 0 = 2*f - g + 66, 0 = 4*f - g + 49 + 81. Is 8 a factor of -3*f/6*1?
True
Let q be (-1)/(-2) - (-45)/2. Suppose -o + 4 = -q. Is 9 a factor of o?
True
Suppose 417 = o + 2*o. Does 32 divide o?
False
Suppose -6*y - 31 = -a - 11*y, -5*y + 64 = 4*a. Does 6 divide a?
False
Let i(l) = l**3 + 6*l**2 + 9*l + 4. Let h(v) = 5*v**3 + 29*v**2 + 45*v + 20. Let x(o) = 2*h(o) - 11*i(o). Let f = -46 + 39. Does 7 divide x(f)?
False
Let z = 508 + -349. Does 16 divide z?
False
Suppose 3*k = k - 4*p + 4, 5 = -p. Suppose -k = -n + 8. Is n a multiple of 10?
True
Let q = 9 - 4. Let g(x) = -x + 6. Let k be g(q). Let f(s) = 47*s + 1. Does 13 divide f(k)?
False
Suppose -2*a = a + 5*x - 57, 4*a - 4*x - 108 = 0. Is 9 a factor of a?
False
Suppose x - 64 = -3*x. Is x a multiple of 8?
True
Let q(s) = s + 4. Let f be (-1 + 3 + -5)/1. Let h be q(f). Is h - (-1 - -53)/(-1) a multiple of 14?
False
Let d(n) = -n + 5. Let g = -9 - -5. Let h(v) = v**3 + 4*v**2 + 2*v + 3. Let z be h(g). Is 10 a factor of d(z)?
True
Suppose x = 5*y + 6 - 15, -4*y + 5*x + 3 = 0. Suppose -4*c - y*q = 64, c + 18 = 4*q - 16. Let d = 2 - c. Does 10 divide d?
True
Let v(h) = -6*h + 2*h - 11 - h. Does 11 divide v(-9)?
False
Suppose 50 = r + 9*r. Is r a multiple of 5?
True
Let a(f) = -f**3 - 8*f**2 - 9*f + 6. Let i be (-3)/(-15) + 87/15. Let x = -13 + i. Is a(x) a multiple of 20?
True
Let l(g) be the first derivative of -g**4/4 - g**3/3 + 2*g - 1. Let y be l(0). Let w = y + 7. Is w a multiple of 9?
True
Let y = -11 - -20. Let k = -6 + y. Is (20/6)/(k/9) a multiple of 3?
False
Suppose 4*a - 658 = 2*b, 5*b + 5 = a - 155. Suppose -3*k + a = 2*k. Is k a multiple of 11?
True
Suppose 0 = -3*d + 5*y + 7, -d + 5*y = 4*d - 15. Suppose -d*z - 28 = 2*t - 4*t, 2*z = -3*t + 34. Is t a multiple of 12?
True
Let m be ((-3)/(-2))/((-3)/(-8)). Suppose 2*l = m*l - 64. Suppose 4*j = -0*j + l. Is j a multiple of 4?
True
Is 16 a factor of 2 + -2 + (-896)/(-8)?
True
Suppose -3*l + 0*l + 5*m = 30, -m = -4*l - 57. Is -39*5/(l/2) a multiple of 13?
True
Let m(v) = v**3 - 11*v**2 + 11*v + 9. Does 5 divide m(10)?
False
Let r(y) = y**3 + 6*y**2 - 9*y - 2. Is 12 a factor of r(-7)?
True
Let w = 13 - -42. Does 11 divide w?
True
Suppose o + 48 = 2*s + 14, 60 = 4*s - 4*o. Let y = s + -13. Does 3 divide y?
True
Let q = 4 + -8. Let l = 7 + q. Suppose 16 = 2*d - l*i, 8*d - 3*d - i - 40 = 0. Is d a multiple of 3?
False
Let g = -2 + -5. Let l be (-2)/g + (-12)/(-7). Does 11 divide 2/(-4) - (-63)/l?
False
Suppose 3*f - 2*f + 486 = 0. Does 27 divide (f/(-15))/((-2)/(-5))?
True
Suppose w - 7 = -3. Suppose -z - 4*z + 10 = w*r, r - 7 = z. Is r a multiple of 2?
False
Let q(f) be the third derivative of f**6/120 + 2*f**5/15 + 5*f**4/24 - 2*f**3/3 - 4*f**2. Let k be q(-6). Let g = k + -23. Is 15 a factor of g?
True
Suppose 2*w - 91 - 253 = 0. Is 43 a factor of w?
True
Let c = 5 + -3. Suppose -5*k + c*p + 34 = 4*p, -2*k = 5*p - 1. Is k a multiple of 8?
True
Suppose -4*h + 12 = -4*m, 0*h - 3*h + 17 = 5*m. Let o be (3 - 2)*-1 + m. Does 3 divide o/(-1) + -3 + 7?
False
Let d = -1 + 5. Let c(n) = 5*n - 2. Is c(d) a multiple of 6?
True
Suppose 5*r = 3*y + 375, -