 -10 = -u + 3*u. Let b be k(u). Is 4 a factor of v(b)?
False
Suppose 0 = -4*h + m + 192, 0 = -2*h + m - 3*m + 96. Is 24 a factor of h?
True
Let d be 2/16 - 15/(-8). Suppose -q = d*q - 51. Does 7 divide q?
False
Let t = -12 - -28. Let n(p) = -p**2 + 8*p - 10. Let a be n(6). Suppose 0 = v - 2*q - t, 3*v = a*q + 1 + 27. Is 4 a factor of v?
False
Suppose -5*f + 0*r = 4*r - 420, 4*f = -2*r + 330. Is f a multiple of 20?
True
Let h(n) = 301*n**2 + n. Let a be h(-1). Suppose -b = -6*b + a. Suppose -i = i - b. Is i a multiple of 17?
False
Let m be 12/5 - (-2)/(-5). Suppose m*x - 7*x + 150 = 0. Does 24 divide x?
False
Let m(c) be the third derivative of 7*c**5/30 + 2*c**2. Let l = -3 - -4. Does 7 divide m(l)?
True
Is 2 + 0 + (-32)/(-2) a multiple of 6?
True
Let r(g) = -g**3 - 3*g**2 + g - 4. Let y be r(-3). Let l(c) be the third derivative of -c**4/12 + c**3/6 + c**2. Is l(y) a multiple of 15?
True
Let s be (-4 - -29)*4/10. Suppose 0 = 4*g - s - 2. Suppose -16 = -g*j + 29. Is 8 a factor of j?
False
Suppose 0 = -5*i - 4*s + 68, 0 = 3*s + s + 12. Is i a multiple of 4?
True
Suppose 5*u + 4*u - 594 = 0. Does 7 divide u?
False
Suppose -5*y = 3*f - 3, -3*y + 4*y = 5*f - 5. Let d = y - -1. Is 14 a factor of 27/(2/2)*d?
False
Let d(c) = -5*c**3 + 3*c**2 - c - 3. Let p(h) = -4*h**3 + 4*h**2 - 3. Let g(n) = -5*d(n) + 6*p(n). Does 21 divide g(-8)?
True
Is (3 + -1)/((-1)/(-19)) a multiple of 11?
False
Suppose 4*t - 6 = l, 3*l = 4*t - 2*t + 2. Suppose -4*m + t = 4*w - 2, -4*w = -2*m + 20. Let i = m + -2. Is i a multiple of 2?
True
Suppose 3*u = -u. Suppose u = 2*s - 7*s + 210. Does 21 divide s?
True
Suppose -8*f + 7*f + 51 = 0. Let l = f + -29. Is l a multiple of 11?
True
Does 2 divide 2/3 + (-3 - 246/(-9))?
False
Let j(g) = g**3 + 9*g**2 - 4*g - 2. Is j(-9) a multiple of 34?
True
Let t(n) = n**3 - 4*n - 5*n**2 - n**2 + 3*n**2 - 5. Let y be t(4). Does 14 divide (-71)/y - (-2)/(-10)?
True
Let w = -85 + 132. Let z be 2*((-42)/4 - 0). Let r = z + w. Is r a multiple of 13?
True
Let d(y) = -y**3 + 7*y**2 + 2*y + 3. Let b(z) = -z**3 - 7*z**2 - 7*z - 3. Let v be b(-6). Suppose 19 = v*u - 2. Does 8 divide d(u)?
False
Suppose -3*l = -5*l + 4. Suppose -3*u - l*u + 2*i + 110 = 0, 2*i - 44 = -2*u. Is u a multiple of 13?
False
Let z(m) = -m**3 - 15*m**2 - 20*m - 6. Does 13 divide z(-14)?
True
Suppose 2*f - 5*r - 21 = 0, f + 3 = 2*r + 12. Suppose 5*w = t + 160, 2*w - 91 = -f*t - 2*t. Is w a multiple of 11?
True
Let y = -283 - -438. Is y a multiple of 31?
True
Let x = 10 - -29. Is 15 a factor of x?
False
Is 13 a factor of (-9*5)/((-33)/22)?
False
Suppose 4*d = -5*h - 12, 3*h + 0*h + 4*d + 4 = 0. Let v(g) = -4*g - 2. Is 10 a factor of v(h)?
False
Let o = -16 + 7. Is 9 a factor of (o + 0)/(-6 + 5)?
True
Suppose 450 = -5*k + 10*k. Is k a multiple of 9?
True
Let q(c) = -c**2 - 7*c + 6. Let k(z) = -6*z**2 - 36*z + 30. Let j(a) = -2*k(a) + 11*q(a). Let r be 42/8 + 1/(-4). Does 3 divide j(r)?
True
Let m(q) be the first derivative of -65*q**4/4 + q**2/2 + 9. Does 16 divide m(-1)?
True
Is (-1)/(-3) - (-7 - (-232)/(-6)) a multiple of 10?
False
Suppose -g + 5*f = 23, 2*f = 2*g + 4*f - 14. Suppose 0 = g*b + 5 - 61. Does 8 divide b?
False
Let i(c) = 7*c + 4. Is 29 a factor of i(7)?
False
Let w(i) = -1. Let q(h) = -4*h - 14. Let l(d) = q(d) - w(d). Is l(-7) a multiple of 14?
False
Suppose -c + 12 = 3*c. Suppose c*i + 2*i = 3*j, -4*j = -20. Suppose -144 = -4*d + 2*v, -i*d + 7*v = 3*v - 98. Does 17 divide d?
False
Let h(b) = 3*b**2 - 16*b + 55. Does 10 divide h(7)?
True
Suppose -3*h + 52 = -29. Is h a multiple of 9?
True
Let l(t) = 67*t. Let f be l(2). Suppose 2*z - 19 = 4*u + 37, -3*z = 4*u - f. Is 19 a factor of z?
True
Suppose -2*t - 3*w = -8 - 1, -5*t + 25 = 5*w. Let y(p) = p**2 - p - 8. Is 22 a factor of y(t)?
True
Let q(z) = -5*z**2 + 4*z**2 - 3*z + 5*z + z. Let l be q(5). Does 9 divide -2 + 2 + -1 - l?
True
Is 14 + (-4)/(-4) + 0 a multiple of 15?
True
Suppose 2*c - 4*r - 12 + 28 = 0, 0 = 5*c + 2*r - 8. Suppose c = t - 4*t + 18. Suppose 0*m + u - t = -m, -2 = -u. Is 3 a factor of m?
False
Suppose -8 + 2 = -3*k. Let v(o) = 16*o - 1. Is v(k) a multiple of 11?
False
Let p = -13 - -13. Suppose p*n - 4*n + 32 = 0. Is 2 a factor of n?
True
Let m = -41 + 46. Does 3 divide m?
False
Suppose 147 = 5*a - 3*y - 480, 2*y = 4*a - 502. Is 24 a factor of a?
False
Suppose 5*o - 157 - 23 = 0. Suppose 7*c = 3*c + o. Is c a multiple of 3?
True
Let u be 1426/(-8) - (-1)/4. Let h be (-1)/(-1 - 176/u). Suppose -4*t + 63 = -h. Is t a multiple of 20?
False
Let z(u) = 2*u - 7. Does 9 divide z(8)?
True
Let w(b) = -2*b**2 - b - 1. Let m be w(-1). Let q be ((-1)/3)/((-1)/(-3)). Is 5 a factor of (m + q)/(9/(-15))?
True
Let l = -136 - -286. Is l a multiple of 36?
False
Let j be (-1)/(0 - 1/133). Suppose -2*q + 86 = w + 12, -2*w + q = -j. Is w a multiple of 21?
False
Let n = -13 + 15. Suppose -4*f = 2*x - 60, n*x - 54 = -f - 0*f. Is x a multiple of 16?
False
Let c = -73 - -312. Is 35 a factor of c?
False
Suppose -2 = -4*d + 6, 0 = -3*o + d + 10. Suppose -3*c + 17 = -2*j, 0*c + j = -c + o. Suppose -p + 142 = 4*q + p, c*q - 5*p = 170. Does 20 divide q?
False
Suppose -373 = -9*s + 113. Is 9 a factor of s?
True
Let z = 21 + -16. Suppose z*y + y = 84. Does 7 divide y?
True
Let g = 7 + -15. Let m be (-4)/10 + g/5. Is 17 - (-3)/(-6)*m a multiple of 7?
False
Suppose -3*x - 10 = -o + 17, -x + 135 = 5*o. Is 10 a factor of o?
False
Let w = -57 - -80. Does 7 divide w?
False
Suppose 5*a + j - 22 = -2*j, 0 = -a + 3*j + 8. Suppose 89 = a*m - 461. Suppose 5*v + l = m, -3*v = 2*v - 3*l - 110. Is v a multiple of 11?
True
Suppose 5*h = 2 + 18. Suppose r = -0*r + h. Suppose -2*x = -r*z - 24, 5*x + 4*z + 2 - 90 = 0. Is x a multiple of 6?
False
Let a = -10 + 4. Let c = a + 21. Does 7 divide c?
False
Suppose -71 = -2*w - 25. Does 8 divide w?
False
Let k(z) = -4*z - 1. Let a be k(-1). Suppose -2*p + 234 = 4*x, 111 = 5*x - 3*x + a*p. Suppose 0 = 3*b - 6, -2*b + 6*b + x = 4*y. Is 17 a factor of y?
True
Let q(k) = -11*k**2 + 5*k + 1. Let x(s) = -10*s**2 + 4*s + 1. Let b(n) = 3*q(n) - 4*x(n). Suppose 2*y + 8 = 3*w, 3*y = w + 3*w - 11. Is b(y) a multiple of 7?
True
Let w(m) = 81*m. Is 11 a factor of w(1)?
False
Let k = 49 - -7. Is 7 a factor of k?
True
Suppose -4*s + 6*s - 184 = 0. Let d(i) = i**2 - 41. Let q be d(0). Let m = q + s. Is 20 a factor of m?
False
Let i = 9 + -24. Is 9 a factor of 2/(-3) - 310/i?
False
Let s be (-10)/(-3) - 4/12. Suppose 0 = -5*m + 2*i + 140, 3*m + 45 = s*i + 138. Suppose 2*z = -5*o + m, -4*z + 22 = 2*o + 3*o. Is o a multiple of 3?
True
Suppose -x + 26 = v, 0 = -5*x + 3*v - 7*v + 134. Is 5 a factor of x?
True
Let v(w) be the third derivative of w**5/30 - w**4/8 - 2*w**3/3 + 15*w**2. Let f be (-2 + 28/10)*5. Is 9 a factor of v(f)?
False
Is 17 a factor of (-22)/(-4)*(-4 - -12)?
False
Let g(r) = 39*r**2 + 5*r + 9. Is 26 a factor of g(-2)?
False
Suppose 17 - 4 = 3*h + a, 7 = h - a. Let i = 18 + -11. Let q = i - h. Is q a multiple of 2?
True
Let q(g) = g**3 + 6*g**2 - 2*g - 1. Let x be q(-6). Let r be 2 + 2 + -5 - -4*7. Let b = x + r. Is 19 a factor of b?
True
Let j = 17 - -18. Does 30 divide j?
False
Let i(o) = -o**3 - 7*o**2 + 5*o - 4. Let f = -1 - 7. Is 10 a factor of i(f)?
True
Is 9 a factor of (-1921)/(-19) + 2/(-19)?
False
Suppose 10 = 3*f - 26. Is f a multiple of 3?
True
Let w be (-6)/15 + (-17)/(-5). Is 4 a factor of 19/5 + w/15?
True
Suppose 65 + 20 = w. Is w a multiple of 26?
False
Suppose 5*r = h + 75, -2*r - 2*h - 15 + 45 = 0. Suppose -3*w + r = -3*a + 7*a, 2 = 2*w. Suppose -2*g - 28 = -3*q, 4*q - a*g - 48 + 10 = 0. Is q a multiple of 3?
False
Suppose -5*a + 4*a + 19 = 0. Let o = -5 - a. Let f = o + 76. Is f a multiple of 18?
False
Let r(q) = 2*q + 12. Does 7 divide r(5)?
False
Is 22 a factor of (76/(-3))/(32/(-12) + 2)?
False
Let c = -35 - 8. Let a be 68/(-1)*3/2. Let t = c - a. Is 15 a factor of t?
False
Let k(b) = -39*b**3 - b**2 + 1. Is k(-1) a multiple of 13?
True
Let q(k) = 2*k**3 - k**2 - 2*k - 1. Suppose 2*n - 1 + 7 = 0. Let x = n - -5. Does 3 divide q(x)?
False
Suppose -2*b - 392 = -6*b. Is b a multiple of 7?
True
Suppose 3*a = -0*a + 4*z - 144, 3*a + 147 = 3*z. Let y(p) = p**3 - 6*p**2 - p + 8. Let r be y(6). Does 7 divide 1*r*a/(-8)?
False
Does 5 divide ((-21)/(-14))/((-3)/(-28))?
False
Let h(w) = 1