 187. Suppose 2*y = 4*h - 0*y - 64, -5*h + m = y. Is h a multiple of 7?
True
Let n = 118 + -78. Suppose -4*g = -5*b - n, 4*g - 2*b - b = 32. Suppose -m + g = -7. Is m a multiple of 6?
True
Suppose 4*d + 0*d - 8 = 0. Is 6 a factor of (d/(-6))/((-1)/39)?
False
Suppose p = 63 + 29. Is 15 a factor of p?
False
Suppose -5*p + 5*z - 175 = 0, -5*p + z + 0*z = 179. Let r = -89 - p. Does 6 divide 2/(-8) + r/(-4)?
False
Suppose -3*g + 33 = 2*a, 4*g - 3 + 51 = 5*a. Suppose 5*d = d - a. Is 11 a factor of (-33)/9*d*2?
True
Let o(m) = 4. Let u(b) = -b - 7. Let j(w) = 7*o(w) + 4*u(w). Is j(-2) a multiple of 8?
True
Suppose n - 24 = -0*n. Suppose 0*i + 4*i = n. Suppose -i*g + 14 = -5*g. Is g a multiple of 7?
True
Suppose -3*f + 22 = 10. Is f a multiple of 4?
True
Let p(y) = 3*y**2 - 3*y - 2. Suppose -5*q = 19 - 4. Is 9 a factor of p(q)?
False
Let h(q) = -q**2 + 149. Let u be h(0). Suppose k = 3*w + 6*k - u, 5*k - 20 = 0. Is 19 a factor of w?
False
Suppose 3*z + f + 3*f - 19 = 0, -15 = z - 4*f. Let o be 8*4 + z/1. Let p = o - 22. Is 9 a factor of p?
False
Suppose 5*k - 2*k = 6. Suppose 2*i + k*i = 416. Suppose 0 = 5*c - 4*v - i, 2*c + 2*v - 5*v = 43. Is 12 a factor of c?
False
Let f(d) be the first derivative of 13*d**3/3 + d**2 - 4*d + 2. Is f(2) a multiple of 13?
True
Let d = -153 - -80. Let i = -47 - d. Does 13 divide i?
True
Is 9 a factor of 175/20 - 1/(-4)?
True
Suppose -52 = 82*o - 86*o. Is o a multiple of 13?
True
Let x(g) = 5*g**3 - 3*g**2 - 5*g + 5. Is x(3) a multiple of 21?
False
Suppose 5*r - 283 = -15*y + 11*y, 0 = -3*y - 5*r + 211. Does 9 divide y?
True
Suppose t + 2 = 5. Suppose 2*n + 54 = t*n. Is 18 a factor of n?
True
Let n(a) = -a**2 + 20*a - 18. Is n(12) a multiple of 26?
True
Suppose 9*n - 67 = 86. Does 17 divide n?
True
Let u(t) be the first derivative of -2*t**2 - 3*t + 2. Let d be u(-6). Is 3 a factor of (-3)/2*(-70)/d?
False
Let y = -3 + 0. Let u(x) = x**2 + 5*x + 3. Let k be u(y). Is (-1 + k)*(-3 + -5) a multiple of 21?
False
Let p(i) = 2*i + 3. Let q be p(3). Suppose -q - 9 = 3*x. Is 12 a factor of 24/(-10)*(1 + x)?
True
Suppose -3*m + 20 = 2*m. Suppose 4*l - l - r - 2 = 0, 2*r + m = -3*l. Suppose l = -w - 3*w + 36. Is w a multiple of 9?
True
Let u(w) = -20*w - 5. Let q be 6/10*(-3 - 2). Is u(q) a multiple of 12?
False
Let g(a) = a**2 + 4*a + 22. Is g(-8) a multiple of 27?
True
Does 24 divide (4/8)/(1/8) - -110?
False
Let d(o) = -o**2 + 6*o + 1. Let s be d(5). Let a(b) = b**2 - 6*b + 2. Let m be a(s). Suppose 6*c + 30 = m*n + 4*c, -5*c = 5*n - 85. Is 8 a factor of n?
True
Suppose 0 = 4*s - 5*s + 49. Suppose -71 = -4*g + s. Let y = 43 - g. Is y a multiple of 8?
False
Suppose -g = -0*n + 3*n - 25, -9 = -n - g. Is 5 a factor of (10/n)/((-4)/(-16))?
True
Suppose -3*b + 117 = -4*a, -a - a - 60 = -2*b. Let i be 17/(-4)*(5 + -1). Let k = i - a. Does 5 divide k?
True
Let y(r) = r**3 + 27*r**2 + 19*r + 38. Is y(-26) a multiple of 18?
False
Let k(o) = 3*o**2 - 3*o - 3. Let p be k(3). Let y = -2 + p. Is 3 a factor of y?
False
Let t(z) = -z**2 + 0 + 2*z - z**2 - 2*z**3 + 1 + z**2. Let g be ((-4)/(-6))/(2/(-6)). Is t(g) a multiple of 3?
True
Let b = 41 - -149. Suppose x = -0*x, -x - b = -5*w. Suppose 5*a - w = 97. Does 15 divide a?
False
Suppose -2*k + 15 = 5*a, -k + 4*a - 2 - 10 = 0. Suppose -5*x + 2*m - 4*m + 307 = k, -5*m = -2*x + 146. Suppose x = 2*y + y. Is y a multiple of 9?
False
Let y(s) = s**2 - 2. Let v be y(-2). Suppose v*k = -2*d - k + 31, 3*k - 65 = -4*d. Does 17 divide d?
True
Let z(t) = 0*t**2 - t**3 + 5*t**2 + 4*t**2 - 5*t + 5. Does 9 divide z(8)?
False
Suppose 0 = -4*t - 0*y + 2*y + 24, 10 = 5*y. Suppose t + 3 = -k - 5*h, 0 = -5*k + 2*h + 31. Is (-2 - -2) + k*2 a multiple of 5?
True
Suppose 6*j - 3*q = 2*j + 291, 0 = -2*j + q + 145. Does 12 divide j?
True
Let z(c) = -4 + 14 - 2*c + 3*c. Does 10 divide z(10)?
True
Let v = -5 + 4. Let w(l) be the first derivative of -5*l**4/4 + l**3/3 - l**2/2 - l + 1. Is 4 a factor of w(v)?
False
Suppose 2*b = -z - 4, b - 1 = -2. Does 20 divide (-434)/(-21) + z/3?
True
Suppose -q + 5 = -2*q + 4*v, 85 = 5*q + 2*v. Let s = 23 - q. Is s a multiple of 5?
False
Let t = 10 - 6. Let k be -1*(3 - t) + 62. Suppose 2*g - 5*g = -k. Is g a multiple of 7?
True
Suppose -4*l + 25 = l. Suppose -4*z - l = 55. Is z/(-2) + 2/(-4) a multiple of 3?
False
Let b(w) = 2*w - 12. Let h be b(-10). Let q = 80 + h. Is 16 a factor of q?
True
Suppose -2*d = -3*w - 738, -d + 793 + 191 = -4*w. Is 11 a factor of (-6)/(-10) + w/(-15)?
False
Suppose 552 - 27 = 7*d. Does 25 divide d?
True
Suppose l = -4*g + 19, 0*l = -3*l + 9. Let q = -3 + g. Is 17 a factor of (-2)/6*(q + -82)?
False
Suppose w = -x + 3 - 0, 0 = -x + 3*w + 3. Does 3 divide x?
True
Let g(i) = i**2 + 14*i + 16. Let p be g(-12). Does 17 divide (-15)/(-1) - p/4?
True
Suppose 4*c - 54 = -x, x + 3*c = -2*c + 57. Is 14 a factor of x?
True
Let y(z) = -z**3 + 6*z**2 + 5*z - 11. Is y(6) a multiple of 5?
False
Let i(h) = h**3 - h**2 - h - 2. Let v be i(2). Suppose w = -v*w + 9. Is w a multiple of 3?
True
Let d = -47 - -77. Let r be d - -1*(1 + 1). Suppose -2*t + r = 2*t. Is 8 a factor of t?
True
Suppose g - 2*f = 6*g - 57, 0 = 3*g - f - 32. Let p(q) = q**3 - 11*q**2 - q + 16. Is p(g) a multiple of 5?
True
Let c(i) = i**3 - 7*i**2 - 2*i + 8. Let p be 10/(-25) - (-42)/5. Is 28 a factor of c(p)?
True
Suppose -2*p + 0*p = -210. Is p a multiple of 21?
True
Let v(k) = 156*k + 7. Is v(1) a multiple of 14?
False
Suppose 2*p = -2 + 6. Suppose -n + 3*m - 2 + 1 = 0, p*m = -4*n - 32. Does 14 divide (-212)/n + (-2)/7?
False
Let q(o) = o**3 - 19*o**2 + o + 20. Is q(19) a multiple of 11?
False
Let w(f) = 10*f + 2. Is w(2) a multiple of 22?
True
Suppose 2*o - 82 = -2*b - 12, 35 = b - 2*o. Does 7 divide b?
True
Suppose -2*b - 1 = -9. Is b a multiple of 2?
True
Suppose -10 = -5*u + 2*k, u + 3*k + 0 = 2. Suppose -u = -g + 3*d + 9, 3*d = -9. Suppose g*i = 112 - 36. Does 19 divide i?
True
Suppose 104 - 48 = f. Is 29 a factor of f?
False
Let k = -2 - -3. Suppose -k - 5 = -3*d. Suppose 0 = 3*a - 4*l - 69, 0*a = -d*a - 5*l + 23. Does 15 divide a?
False
Suppose -2*n = 3*n - u + 161, 2*u = -8. Let b = 21 - n. Let l = b + -22. Is 18 a factor of l?
False
Let b = 6 + -3. Let a be (-66)/(-9) + 2/b. Is (-1)/((a/30)/(-4)) a multiple of 7?
False
Suppose 0*f + f - 4 = 0. Suppose -f*a = t - 82, 3*t - 6 = -0*t. Suppose 0*w + a = w. Does 13 divide w?
False
Is 3 a factor of (3 - 225/35)*21/(-2)?
True
Let a = 6 - 10. Let n be -5*(1 - (-2 - a)). Suppose -5*s + v + 105 = 0, 24 + 51 = n*s + 5*v. Does 13 divide s?
False
Let o(a) = -276*a. Let l be o(-1). Let g be l/10 + (-2)/(-5). Is 7 a factor of (4/(-8))/((-1)/g)?
True
Let b(f) = 91*f**2. Let m be b(-1). Suppose m + 61 = 2*w. Suppose 4*s - w = 2*h, -2*s = 4*h - 0 - 28. Is 9 a factor of s?
True
Let o = -25 + 334. Suppose 5*y + 3*t - o = 0, -2*y + 69 = -y - 3*t. Is 19 a factor of y?
False
Suppose 2*b + b + 29 = 5*f, -13 = -f + 3*b. Suppose f*x + 4*d - 119 - 21 = 0, -85 = -3*x + d. Does 15 divide x?
True
Let s(t) = t**2 - 18*t + 19. Is s(21) a multiple of 27?
False
Let w(p) = 3*p**2 + p - 7. Let s be w(-7). Suppose -2*u + 50 = 2*g, -5*g + s = -0*u + u. Is 11 a factor of g?
False
Suppose -4*f = -7*f + 3. Let j be f/4 - (-13)/(-4). Let s(n) = 2*n**2 + 2*n - 4. Is s(j) a multiple of 8?
True
Let z = -33 + 119. Does 30 divide z?
False
Is 19 a factor of (-13)/(-2 - (15/(-6) - -1))?
False
Suppose 4*d - 4*i - 264 = 0, 70 = d - 7*i + 2*i. Suppose -4*b = -d - 19. Is b a multiple of 21?
True
Let v(x) be the third derivative of 0 - 1/24*x**4 + 0*x + 3*x**2 + 5/3*x**3. Is 5 a factor of v(0)?
True
Suppose 5*n - 41 - 44 = 0. Let f be 0/3 + n*1. Suppose 2*u + 2*h + 25 = 7*u, -h - f = -4*u. Is u a multiple of 2?
False
Let b(w) = -4*w**3 - 4*w**2 - 2*w. Let a = 4 - -4. Suppose -a = -3*y + 7*y. Is 9 a factor of b(y)?
False
Let f = 6 - 7. Let b = f - -14. Is 5 a factor of b?
False
Suppose -2*f + 6*f - 508 = 0. Does 22 divide f?
False
Let f = -8 + 13. Let t(a) = a**2 - 5*a + 3. Let i be t(f). Let g = 9 - i. Does 6 divide g?
True
Let o(g) = g**2 - g + 5. Does 11 divide o(3)?
True
Let k(d) = -4*d**3 - d**2. Let c(s) = -s**2 - 3*s + 3. Let u be c(-4). Let q be k(u). Is 15 a factor of (-1)/(q + (-92)/30)?
True
Let f(z) = -z + 1. Let d be f(-2). Let n be (-9)/d*(0 + -2). Let x(o) = o**3 - 6*o**2