pose k*h + p*z = 4*h - 147, 4*z + 177 = 5*h. Does 12 divide h?
False
Suppose -7*j + 2*j = -190. Is 21 a factor of j?
False
Let p = 258 + 47. Is 45 a factor of p?
False
Suppose 4*m + j - 7 = -4, -5*m - 5*j = 0. Does 16 divide -63*(-3)/(10 - m)?
False
Let t = 21 + -6. Suppose 0*k - t = -5*k. Suppose -2*u - 46 = -k*u. Is 23 a factor of u?
True
Let t(b) = b + 8. Let a = 0 + -5. Let f be t(a). Suppose -34 = u - f*u + 2*h, -4*u - 4*h + 44 = 0. Is 14 a factor of u?
True
Suppose 0 = 2*r + 2, -5*x - 3*r = r + 74. Let d be 368/(-14) - 4/x. Does 11 divide -2 - 2*d/4?
True
Let m be ((-1)/(-2))/(2/96). Suppose 0 = -4*n + m + 96. Is n a multiple of 16?
False
Let g(d) = d**2 + 3*d - 2. Suppose 2*f + 8 = 4*f. Let i(r) = -r**2 + 4*r + 2. Let u be i(f). Is 4 a factor of g(u)?
True
Suppose -15 = 3*g + 18. Is (1*49)/(g + 12) a multiple of 15?
False
Suppose z - 10 = 4*c, -z - 2*z - 5*c = 4. Suppose x + 28 = -x - 4*b, -4 = -z*b. Does 5 divide (x/(-4))/((-5)/(-10))?
False
Let p = 110 + -68. Let c = -8 + p. Is c a multiple of 7?
False
Let p(h) be the third derivative of h**5/10 - h**4/24 + h**3/3 + 7*h**2. Is p(2) a multiple of 4?
True
Let c = -27 - -50. Does 5 divide c?
False
Let v(k) = -94*k - 1. Let x be v(-6). Suppose 0*i = -4*j - 4*i + 560, 5*i = -4*j + x. Suppose 0 = 5*f - 48 - j. Does 14 divide f?
False
Let b(t) = -16*t - 5. Is 19 a factor of b(-3)?
False
Let m be (-2 + 14)/((-4)/(-10)). Does 2 divide (14/35)/(2/m)?
True
Let k(u) be the second derivative of 0 + 1/12*u**4 - 3*u - 1/20*u**5 - 2/3*u**3 - 3/2*u**2. Does 20 divide k(-3)?
False
Let u(h) = -h**3 + 6*h**2 + 6*h + 9. Let k be u(7). Suppose 6 + 6 = k*b. Is 3 a factor of b?
True
Let n be (12/10)/((-6)/(-15)). Suppose 0 = -0*f + n*f. Suppose 0*j + j - 46 = f. Does 23 divide j?
True
Let k(c) = -3*c - 16. Let x be k(-7). Suppose -x*b = -b - 172. Is 19 a factor of b?
False
Suppose -m + 5*x = -5*m - 3, -5*m + 5*x + 30 = 0. Suppose -2*t - 3*q + 9 = 0, m*q + 0*q = -t. Is t a multiple of 6?
False
Suppose 3*a = -a - 2*p + 380, -3*p - 6 = 0. Is a a multiple of 12?
True
Does 5 divide 9*(0 + (-6)/(-9))?
False
Let r be (-276)/(-60) + (-6)/10. Suppose 3*d - t = -4*t + 30, 0 = r*d - t - 35. Is 3 a factor of d?
True
Suppose -7*r - 4 = -403. Does 14 divide r?
False
Is 12 a factor of (-4)/18 - 29730/(-135)?
False
Let c be -1 - -40 - (1 - 4). Suppose t + 6 = c. Is t a multiple of 15?
False
Suppose -l - 2*l - 3*o + 765 = 0, -l - 3*o + 247 = 0. Is l a multiple of 38?
False
Let g = 76 + 25. Is g a multiple of 10?
False
Let v(m) = -26*m + 5. Does 10 divide v(-2)?
False
Let n(k) = 2*k**3 + 2*k**2 - k - 4. Is n(2) a multiple of 4?
False
Suppose -3*p - 22 = 4*f + 26, -2*p + 23 = -f. Let o = f + 33. Is o a multiple of 9?
True
Let p = -18 + 6. Let x = -3 - p. Suppose -4*z = -x - 15. Does 5 divide z?
False
Let f(n) = -28*n + 20. Is 40 a factor of f(-5)?
True
Suppose 0 = -3*j + 9, 2*v = -3*j - 2*j + 277. Suppose 0 = t + 5*a - 11 - 11, 0 = -5*t - 4*a + v. Let c = 63 - t. Is c a multiple of 16?
False
Suppose -2*a + 10 = 3*a. Suppose 0 = -4*i + y + 11, 5*i + y - 15 = a*y. Suppose 3*n = -q + i*q + 30, -46 = -4*n - 2*q. Does 7 divide n?
False
Suppose m + 4*m = -t + 2, -4*t + 4*m + 32 = 0. Does 7 divide t?
True
Let f = 33 - 2. Is f a multiple of 4?
False
Let y = 19 - -26. Suppose 9 = -3*s, 2*s - 98 = 5*w - 2*s. Let f = y + w. Is 23 a factor of f?
True
Let g be (-1 - -5)/(-4)*-2. Suppose 2*f - 40 = -g*f. Does 4 divide f?
False
Let s(y) = -4*y - 32. Is s(-15) a multiple of 14?
True
Let l(n) = n + 4. Is l(2) a multiple of 6?
True
Suppose 0*r - 5*r = -45. Is r a multiple of 9?
True
Let t(i) = -2*i**3 - 3*i**2 - 2*i - 4. Is t(-3) a multiple of 18?
False
Let o(u) = 89*u + 12. Is o(3) a multiple of 14?
False
Let u = 14 - 10. Suppose 2*j + 0 = u. Does 7 divide 4 - -1 - (0 - j)?
True
Let d = -2 - -3. Let o be (d - (1 + 0)) + 5. Suppose 70 - 10 = o*j. Is j a multiple of 6?
True
Is (-300)/45*6/(-2) a multiple of 20?
True
Let r = -534 - -786. Does 11 divide r?
False
Suppose 0 = -j - j + 4. Suppose 3*s = j*s + 4*o + 4, 0 = 5*s + 5*o - 120. Is s a multiple of 10?
True
Suppose 4*o - 156 = -4*g, -2*g + 4*o - 200 = -7*g. Suppose -a + 5*l = -24, 4*a - a - l - g = 0. Is 4 a factor of a?
False
Suppose j - 72 = -j. Let z = 3 + j. Is z a multiple of 32?
False
Let j = 8 - 8. Suppose -8*p + 10*p - 40 = j. Is 10 a factor of p?
True
Suppose 0*q + 40 = 4*q. Is q a multiple of 5?
True
Let w be (-23)/7 + 4/14. Let c = 7 + w. Suppose -c*m + 18 - 2 = 0. Is 3 a factor of m?
False
Let p = 2 + -2. Suppose p*m + 2*m = 106. Is 18 a factor of m?
False
Suppose l = -l - 24. Let g = l + 17. Is 5 a factor of g?
True
Let h = 3 + -4. Let j be 5*(3 + h*2). Suppose w = -q + j, -3*w = 2*w + q - 45. Is 5 a factor of w?
True
Suppose -2*c - 5 = -49. Does 11 divide c?
True
Suppose -5*c + u + 2*u = -11, 0 = 2*u + 4. Suppose -l + 1 = -c. Suppose -2*z + 30 = 4*i, -i - l*z = -2*i + 10. Does 8 divide i?
True
Let g(z) = 2*z - 5. Let s be g(6). Suppose 4*x + 63 = s*x. Is 6 a factor of x?
False
Let o be 3717/28 - (-2)/8. Suppose -5*w + o = -k, -2*w - 2 = -5*k - 69. Is w a multiple of 7?
False
Suppose 3*h = -2*d + 5, -2*h + 4*d - 5 = -3. Is 12 a factor of h*(30 + 3) - -3?
True
Suppose 13 = 3*h - 17. Does 8 divide (-259)/(-35) + 6/h?
True
Let c be (-1*1)/((-6)/(-12)). Let k be (c/(-2) - -36)/1. Suppose j + 2*l = 6*l + k, -4*j = 2*l - 58. Does 17 divide j?
True
Let a(x) = x**3 - 11*x**2 + 10*x + 1. Let r be a(10). Suppose v = m, -v + r = -3*m + 3. Let h = 14 + v. Does 12 divide h?
False
Suppose 0 = -4*k - 2*f + 194, -5*f + 44 = k - 3*f. Is 11 a factor of k?
False
Let m(b) = 9*b**2 + 4*b - 2*b**2 - 12*b + 5. Let z(y) = y**2 - y. Let d(i) = m(i) - 6*z(i). Is 13 a factor of d(5)?
False
Suppose -c + 5 = -0*c. Suppose 297 = 4*a + c*k - 0*k, -a - 2*k + 75 = 0. Suppose -3*i + a = -0*i + 2*d, -5*d = -2*i + 17. Is 7 a factor of i?
True
Let y(v) = v**2 + 9*v - 4. Let j be y(-7). Let z = -27 - j. Let g = z + 14. Is 4 a factor of g?
False
Let l(a) = a + 6 + 2 - 2. Suppose -c - 45 = -5*c + 5*f, -50 = -5*c + 5*f. Is 9 a factor of l(c)?
False
Suppose 5*d = 4*d. Suppose d = 3*v + 2*v - 55. Does 9 divide v?
False
Let r(w) = -w. Let l be r(2). Let i = l - 2. Does 2 divide 0 - (i - (-1 + 0))?
False
Suppose -4*f + 0*f = 0. Suppose f = -2*o - o + 12. Suppose -j = -o*j + 27. Is 7 a factor of j?
False
Let t = 375 + -147. Is 30 a factor of t?
False
Let o(d) be the third derivative of 0*d - 1/20*d**5 + 5/24*d**4 + 0 - 7/6*d**3 - d**2 - 1/120*d**6. Is 18 a factor of o(-5)?
True
Let n be (-1)/((-1)/24) + -2. Let f = 43 - n. Is f a multiple of 8?
False
Let t = 67 + -37. Is 9 a factor of t?
False
Let k(y) = -y**3 - 7*y**2 - 4*y - 9. Let i(a) = -2*a + 5. Let b be i(6). Does 7 divide k(b)?
False
Is 15 a factor of ((-10)/3)/((-8)/288)?
True
Let t(f) = f**3 - 10*f**2 - 2*f + 8. Let g be t(10). Is -1 - (-1)/((-1)/g) a multiple of 11?
True
Let u(n) be the third derivative of -n**6/60 + n**4/12 + n**3/6 - 2*n**2. Let t be u(-2). Let k = t + -2. Is k a multiple of 11?
True
Suppose -12 - 4 = -4*b. Let v(h) = 15*h - 2. Does 24 divide v(b)?
False
Suppose 3*j + 6*d - 29 = d, -3*d + 18 = 2*j. Suppose c - j*k = 20, -4*k + 13 = -5*c + 58. Suppose -c*o + 20 = -0*o. Is 4 a factor of o?
True
Let m = -3 - -6. Let v be (-17)/((m - 2) + -2). Let o = v - 1. Is o a multiple of 16?
True
Let f = -244 + 344. Is f a multiple of 10?
True
Let o be (-10)/(-8) + 3/4. Does 20 divide o/8 + (-249)/(-12)?
False
Is 25 a factor of 128 - (6/(-2))/(6/4)?
False
Let u = -18 - -66. Is u a multiple of 24?
True
Let w be (-2 - (2 + -5))*2. Let v(i) = i**3 - i**2 + i + 2. Let a be v(0). Suppose -w*f - 5*j + 32 = -f, 2*f - 40 = a*j. Is f a multiple of 15?
False
Suppose -3*m + 7 = -2. Suppose -2 - 1 = -m*g, 0 = 3*c - g - 92. Does 13 divide c?
False
Let q(u) = u**3 - 3*u**2 - 5*u + 6. Let y be q(4). Suppose 5 = -f + y*b + 4, 4*f + b + 4 = 0. Does 13 divide 4*(57/(-6))/f?
False
Let f be (0 + 5)/((-3)/(-3)). Suppose q = -3*q, -l + 64 = -f*q. Does 28 divide l?
False
Let l = -65 - -91. Let s = l + -5. Is s a multiple of 7?
True
Let k(d) = 5*d + 2. Let u = 14 - 13. Does 6 divide k(u)?
False
Let h(f) = f**2 - 2*f + 3. Let u be h(2). Let t be (-200)/(-72) - (-2)/9. Suppose t*b + 46 = 3*d + b, -u*d - 2*b = -50. Is d a multiple of 16?
True
Let h be (-4)/14 - 4/(-14). Suppose 3*z 