-3) + h + -4. Is 14 a factor of (-4)/z + (-1070)/(-45)?
False
Suppose -3*d - 3*a + 2*a + 85 = 0, 0 = d - 2*a - 19. Does 11 divide d?
False
Suppose 12*r = 6*r + 126. Is r a multiple of 8?
False
Suppose 6*n - 35 = 5*n + 5*j, -n + 49 = 2*j. Does 5 divide n?
True
Let o(d) = -d**3 - 6*d**2 + d + 7. Let k be o(-6). Is k*(-11)/((-11)/30) a multiple of 17?
False
Suppose 4 - 2 = f. Is 7 a factor of 16 + 1/((-1)/f)?
True
Suppose 0 = 4*g - 2*a - 37 + 395, g + 103 = -4*a. Let k = 53 + g. Let o = 58 + k. Is o a multiple of 7?
False
Let c be ((-6)/(-15))/(2/10). Let l(i) = i**2 - i + 26. Let j be l(0). Suppose 3 + 5 = -2*g, -j = -p + c*g. Is p a multiple of 9?
True
Let l = -4 + -2. Let g = l - -14. Does 8 divide g?
True
Does 32 divide (12/(-5))/(2 + (-815)/400)?
True
Suppose -3*f = 2*f - 35. Let r(h) = 2*h**2 - 9*h - 10. Is r(f) a multiple of 25?
True
Let k(x) be the third derivative of 3/8*x**4 - 1/120*x**6 + 0 + 0*x - x**3 + 1/10*x**5 - 2*x**2. Is 5 a factor of k(7)?
False
Let a(d) = -d - 5 + 5*d - d**3 - 2 + 5*d**2. Is a(5) a multiple of 6?
False
Suppose -3*o + 68 = -2*o - 4*u, -5*o - 5*u = -265. Is o a multiple of 14?
True
Let r = 47 + 103. Is r a multiple of 30?
True
Suppose 8 = -2*i - 0*l - 3*l, -4*l = 16. Suppose 8 = i*y, -2*f - 2*y + 53 = 3*f. Is 4 a factor of f?
False
Let p be (14/(-6))/((-1)/12). Let a = p + 46. Let d = a - 34. Is d a multiple of 20?
True
Is 15 a factor of -2 + (-216)/(8/(-2)) - 0?
False
Let c(b) = -b**2 + 5*b - 4. Let y be c(4). Suppose -3*d + 6*d - 72 = y. Is d a multiple of 8?
True
Let c = 15 - -50. Is 14 a factor of c?
False
Let c(a) = -a - 8. Let p be (-1 - 0)*(-8)/(-1). Let g be c(p). Suppose g = -5*b - 5*d + 85, 0*d - 10 = -2*d. Is b a multiple of 3?
True
Let w = 4 + -3. Let k(n) = -n + 6*n + w + 10*n. Is k(1) a multiple of 13?
False
Suppose -2*a = 3*p - 212, a = -3*p + 5*a + 224. Is p a multiple of 18?
True
Suppose -7 = 4*r - 31. Let w(l) = l**3 - 5*l**2 - 6*l + 9. Is w(r) a multiple of 9?
True
Is (1 - 5) + 576/9 a multiple of 15?
True
Let r = 17 + -11. Suppose -r - 9 = -3*k. Suppose -2 = -j + 4*w + 5, 0 = -2*j - k*w + 66. Is j a multiple of 11?
False
Let l = 15 + 49. Is l a multiple of 16?
True
Let f(m) = 3*m - 1. Let g be f(1). Suppose g*t - 2 = 2. Suppose -t*u + 7 = -3. Is u even?
False
Suppose 31 = 3*y + 2*s + 5, 4*y + 5*s - 37 = 0. Let m = -1 + y. Let z(h) = h**2 - 4*h - 10. Does 8 divide z(m)?
False
Let s(l) = -7*l**2. Let m be s(1). Let c = -13 - m. Is (-298)/(-6) - (-4)/c a multiple of 13?
False
Suppose h = 4*z - 115, 8*h = 2*z + 3*h - 53. Let d = -5 + z. Is 9 a factor of d?
False
Let z = 50 - -29. Let u = -55 + z. Does 24 divide u?
True
Let y = -36 + 21. Let c = -7 - y. Is c a multiple of 8?
True
Suppose 2*g - 6*g = -16. Suppose -2*u - 2*b + 18 = b, 9 = u + g*b. Let d = 49 - u. Is 20 a factor of d?
True
Suppose 0 = -4*a - 0*o - 5*o + 212, 170 = 3*a + o. Is a a multiple of 29?
True
Suppose 2*f - 8 = -o - 0, 3*o - 3*f - 42 = 0. Let j be ((-52)/(-6))/(8/o). Suppose -3*y = -j - 14. Is 4 a factor of y?
False
Let k(g) = -g**2 + 26*g - 11. Is 14 a factor of k(11)?
True
Suppose -5*r - 3*c + 773 = 0, -158 = -0*r - r - 4*c. Is r a multiple of 11?
True
Let i(z) = -z**3 + 5*z**2 + 7*z - 3. Let r be i(6). Suppose 2*u - 106 = 4*j, -r*u + 2*j + 0*j + 143 = 0. Is u a multiple of 12?
False
Suppose 262 = 4*z - 2*r, 5*z + 216 - 542 = 4*r. Does 23 divide z?
False
Let u = -22 + 38. Suppose -1 - u = -g. Let z = g - 3. Is 9 a factor of z?
False
Suppose -7 = -j - 5*h, h = -4*j - 17 + 7. Does 3 divide -2*(-3)/j - -10?
False
Suppose 0 = 2*m - 0*m - 3*a - 11, 3*a = -9. Let j be (-2 + 1)*(-2 - m). Is 15 a factor of (-3 - j)*(-3)/1?
False
Let o(j) = -2*j - 4. Let x be o(-5). Let k = 4 + x. Is k a multiple of 5?
True
Let o = -1 + 6. Suppose 0 = -6*s + 2*s + o*n + 19, 3*n + 5 = -4*s. Is 6 a factor of 28/s*1/2?
False
Suppose 13*q - 794 = -66. Does 13 divide q?
False
Suppose 0 = 2*j, 0 = 2*g - 4*j - 49 - 59. Let b = 6 + g. Does 21 divide b?
False
Let i(s) = s**2 - 7*s + 3. Let v be i(4). Let q(j) = -3*j + 3. Let y(m) = -6*m + 5. Let d(l) = -7*q(l) + 4*y(l). Is d(v) a multiple of 13?
True
Suppose -3*v + 2*p = -22 - 101, -2*v = -5*p - 93. Is v a multiple of 15?
False
Let f(k) = -118*k**3 + k**2 - 5*k - 5. Is f(-1) a multiple of 25?
False
Let w = -50 - -89. Does 13 divide w?
True
Let h = -30 - -56. Is 13 a factor of h?
True
Suppose -42 - 74 = -2*h + 5*z, 3*h + 2*z = 136. Is 16 a factor of h?
True
Let d(o) = o**2 - 6*o - 9. Let l = 31 + -21. Let y be d(l). Suppose 0 = g - i - y, -3*g + 107 = -0*g + 4*i. Does 11 divide g?
True
Let w(v) = v**2 - 7*v - 8. Let z be w(7). Let j(i) be the third derivative of -i**5/60 - 3*i**4/8 - 2*i**2. Is 8 a factor of j(z)?
True
Suppose 5*v + 13 = 4*h + 4*v, -3*v = 5*h - 29. Suppose h*w - 83 = -27. Is 14 a factor of w?
True
Suppose -5*i - 93 - 162 = 0. Let a = 14 - i. Is 13 a factor of a?
True
Let g(t) = -t**2 - 7*t - 6. Suppose p = 5 - 3. Suppose -p*h - 5*w = -17, 2*w = -3*h + 5*w - 27. Is 3 a factor of g(h)?
True
Let i(p) = 3*p**3 - 3*p + 2. Is i(3) a multiple of 12?
False
Suppose 2*m - 3 = -1. Is (-1*2)/(m/(-8)) a multiple of 12?
False
Let n(z) = z**3 - 3*z**2 - 6*z + 5. Suppose 0 = -y + 4*y - 12. Let d be n(y). Is (-1 + 0)*(d + -12) a multiple of 5?
True
Let z(l) = -l**3 - l**2 + 324. Does 27 divide z(0)?
True
Suppose -7*d = -1 - 27. Let z(c) = c**3 - 2*c. Let t be z(3). Suppose -d*n - 5*m = -7*n + 64, -n + 2*m + t = 0. Is 8 a factor of n?
False
Suppose -8 = -u - 3*u. Suppose -4*g = u*j - 0*g - 38, 6 = 3*g. Is 9 a factor of j?
False
Let m = 130 + -72. Suppose -3*d - 13 = -m. Is d a multiple of 15?
True
Let h = -7 + 53. Is 23 a factor of h?
True
Suppose 3*a - 23 = 3*s - a, 2*a = 4. Let p(r) = -11*r - 3. Does 26 divide p(s)?
True
Let b(g) = 8*g - 13. Does 14 divide b(6)?
False
Suppose 3*b + 12 = 0, 5*l - 2*b + b = 199. Let d = l + 15. Is 17 a factor of d?
False
Let s = 8 + -6. Does 15 divide -1 + s + 53 - 2?
False
Let c = 191 + -129. Does 6 divide c?
False
Let j(n) = -n**3 - n**2 - n - 34. Let r be j(0). Let y = r - -61. Is 13 a factor of y?
False
Suppose 11*z - 12*z + 6 = 0. Suppose y - 12 = -3*y. Is z/2 + y + 0 a multiple of 6?
True
Suppose -2*x + 3*x + 330 = h, -1020 = -3*h - 3*x. Suppose 6*r - h = r. Suppose -4*i + r = w - 0*w, 5*w = 4*i - 73. Does 9 divide i?
False
Suppose 5*z = 3*t - 2, -3*z + z = -t + 1. Let h be z/(-2) + (-126)/(-4). Let x = h - 0. Is 16 a factor of x?
True
Let y be (-5)/25 + 11/5. Suppose 0*z - y*z - 94 = 0. Let r = 93 + z. Does 17 divide r?
False
Let s = -9 + 5. Let l = 5 + s. Let n(d) = 24*d + 1. Is 11 a factor of n(l)?
False
Is 15 a factor of -63*((-56)/12 + 3)?
True
Let r = -6 - -9. Does 29 divide 264/9 + r/(-9)?
True
Suppose 2*b + 4*c - 22 = 0, 3*b - 4*c = 3 - 10. Let w = 6 - 3. Let s = b + w. Is 2 a factor of s?
True
Let q = -2 - -12. Is q a multiple of 10?
True
Suppose 4*m + 2*p - 236 = -20, -2*m + 96 = -5*p. Is 5 a factor of m/2 + 10/20?
False
Let a be 4/(-14) + 79/7. Let s = -5 + a. Does 3 divide s?
True
Let d = 9 + 16. Is 4 a factor of d?
False
Let g = -31 - -395. Is 26 a factor of g?
True
Let x = -65 - -119. Is x a multiple of 19?
False
Suppose 3*f - 55 = 101. Is f a multiple of 8?
False
Is 21 a factor of 6 + -5 - (-5)/((-15)/(-657))?
False
Let u(a) = a**2 + 5*a + 4. Let z be u(-4). Suppose -2*i - i - 4*c + 78 = z, 5*i + 4*c = 138. Does 10 divide i?
True
Does 5 divide (-39)/(2 + 26/(-10))?
True
Suppose -17 = -4*f - 1, 0 = -3*a + 4*f - 7. Suppose -w - 34 = -a*w. Does 17 divide w?
True
Let f(r) = -2*r**3 + r**2 + 2*r + 1. Let t be f(-1). Let o(x) = -3 - 5*x + 9*x**2 - 7*x**t + 2*x + 0. Is 3 a factor of o(-2)?
False
Let f be (516/(-3))/(-2)*1. Let n be 57 - (0/3 - 2). Let b = f - n. Is 20 a factor of b?
False
Let l(p) be the third derivative of -2*p**2 + 0*p + 0 - 1/60*p**5 - 1/3*p**4 - 7/6*p**3. Does 3 divide l(-6)?
False
Suppose 42 = -t + 3*t. Does 7 divide t?
True
Suppose 0*i - 2*i = -28. Suppose -i - 11 = -5*d. Let p = -1 + d. Does 3 divide p?
False
Suppose 3*m - 137 = -3*t + 2*t, 4*t + 234 = 5*m. Is m a multiple of 25?
False
Suppose -b = -f - 2, 3 + 0 = 3*f. Suppose -c + 1 + b = 0. Is 3/6 - (-14)/c a multiple of 3?
False
Suppose 3*k + 3*b - 2*b = 5, -4*k - 3*b = 0. Is k a multiple of 3?
True
Let w = 28 - 11. Does 2 divide w?
False
Let j(u) = 19*u**3 - 2*u**2 + u. Suppose 2*v