 -2*w + 3*t = -5. Is 14 a factor of v(w)?
True
Let g(x) = -x**3 + 7*x**2 - 8*x + 5. Is 5 a factor of g(5)?
True
Suppose a - 12 = 5*v, 4*a + 2*v - 7*v = 18. Suppose -1 + 7 = -5*j + 4*o, -5*j - 2*o = -18. Suppose 4*r - 14 = -a*n, -45 = -n - j*n + 2*r. Is 12 a factor of n?
False
Does 13 divide 1*(-1)/3 + (-705)/(-9)?
True
Suppose 1 = 5*q - 29. Is 2 a factor of (q/(-8))/((-7)/28)?
False
Suppose -26 = -2*t - 80. Let y be t*(-3 + 21/9). Let d = y + 0. Is d a multiple of 9?
True
Let x be 6/5*5/2. Suppose s = -3*q + 14, s - x*q + 1 = -q. Suppose -f + 27 = -p, -s*p + 127 = 5*f - 2*p. Is f a multiple of 14?
False
Let y(o) = o**2 - 4*o + 5. Suppose 3*z = -5*u - 5, -4*z - 1 = -u - 2. Suppose z = 2*h - 7 - 3. Does 5 divide y(h)?
True
Suppose -5*a = 4*v + 1 - 24, -1 = 4*v - 3*a. Suppose -14 = 2*p + v*g, -3*p + 5*p - 6 = 2*g. Let w(i) = -i**3 + 3*i**2 + 4*i + 2. Does 7 divide w(p)?
True
Let b be (-3 + 1)*18/(-4). Let r = b - 7. Suppose 4*f + 28 = y, -3*y + 44 = r*y + 4*f. Is 6 a factor of y?
True
Let m = 8 - 10. Let j be -2 - (-2)/(m/(-5)). Suppose j*d - 19 = -4*v + 43, -5*d + 4*v = -82. Is 13 a factor of d?
False
Suppose p - 5*p - 252 = 0. Let s be 143/(-26) + (-2)/4. Is 13 a factor of p/(-5) - s/15?
True
Does 5 divide -23*(2 + -5 - -2)?
False
Suppose a = -h - 78, 0*a + a + 74 = -5*h. Let r = a - -170. Is 19 a factor of r?
False
Let q = 33 - -23. Does 15 divide q?
False
Suppose 4*u = 11 - 3. Let c be 92/28 + u/(-7). Let d(q) = q**2 + 4. Does 6 divide d(c)?
False
Suppose 5*a - 2 = 8. Suppose 0 = a*m + 7 + 3. Let h = 8 + m. Does 2 divide h?
False
Let c(w) = -w**3 - 6*w**2. Let l be c(-6). Suppose 0 = -l*x - 3*x - 42. Is (-2)/7 + (-312)/x a multiple of 11?
True
Let k(v) = -79*v + 2. Is k(-1) a multiple of 16?
False
Let u(v) = -v**2 - 11*v + 12. Let o be u(8). Let g = o + 197. Is 12 a factor of g?
False
Let g(y) = -y**3 - 6*y**2 + 2. Let n be g(-6). Suppose -n*s + 34 + 44 = 0. Does 13 divide s?
True
Suppose 3*j + z - 4*z = 288, 4*j = 5*z + 384. Suppose -10 = 2*q, 5*s - 3*q = 39 + j. Is 12 a factor of s?
True
Suppose 2*x + 20 = 3*j, 0 = -j + 3*x + 3 - 1. Is j a multiple of 4?
True
Let i = -142 + 201. Does 8 divide i?
False
Let b(f) = 10*f + 2. Is b(2) even?
True
Suppose -2*q - 3*i - 6 = -q, 2*i + 11 = -q. Let a = -6 + q. Let b = 71 + a. Does 15 divide b?
False
Let r(y) = y**3 - 6*y**2 - 6*y + 6. Suppose 2*q + 4 = 4*q. Suppose 9 = f + q. Does 6 divide r(f)?
False
Suppose -4*w - w + 20 = 0. Let p(y) = 5*y - 2. Let c be p(w). Suppose m + c = 2*m. Is 9 a factor of m?
True
Let u(r) = 2*r - 12. Let h be u(0). Let k(v) = -7*v - 16. Is k(h) a multiple of 34?
True
Does 10 divide (2 - (-3 - -7))/((-1)/18)?
False
Let v(y) = y**2 + 2*y - 1. Suppose 3*c = -4*i + 13, -3*c + 5*i + 24 = -7. Let t = -4 + c. Is 6 a factor of v(t)?
False
Let o be 0/(3 + 0 + -4). Suppose 17*b - 15*b - 72 = o. Is 18 a factor of b?
True
Let d(s) = -s**3 + 7*s**2 - 3*s - 1. Suppose -3*t - 13 = -t + 5*b, 3*t - 3 = -3*b. Is d(t) a multiple of 17?
True
Let j be (-8)/(-36) + 25/9. Suppose -4*v + 10 = -j*v. Is v a multiple of 5?
True
Let b(p) = p - 1. Let s be (-2)/(-3) + (-17)/3. Let m be b(s). Does 10 divide (m/(-3) + -1)*28?
False
Suppose 2*x - 88 = -3*j + 188, x = -3*j + 276. Is 46 a factor of j?
True
Suppose 8 = -2*a - 2*a. Let o(w) = 2*w. Let t be o(a). Does 10 divide (-118)/(-8) + (-1)/t?
False
Let v(j) = 5 - 8*j + 3*j**2 - j**2 + 2 + 2. Is v(6) a multiple of 11?
True
Suppose -43 = 4*b + 21. Let g be (-118)/8 - (-4)/b. Let p = -7 - g. Is p a multiple of 5?
False
Let x = 133 + -121. Does 3 divide x?
True
Let l(k) = -k**3 - 4*k**2 + 13*k - 22. Is 14 a factor of l(-9)?
True
Suppose 6*y = 2*y + 4*n + 4, -2*y - 5*n = -16. Suppose 0 = -y*p + 7*p - 208. Is p a multiple of 13?
True
Let o(j) = -2*j + 6. Let k be o(-8). Let t = 81 - k. Does 13 divide t?
False
Is 3 a factor of 1/(-1 + 0) - -10?
True
Suppose 3*z + 2*f = -13, -4*z + 4*f = -10 - 6. Let l = z + 6. Is 5 a factor of l?
True
Let n(i) = 47*i**3 - i. Is 19 a factor of n(1)?
False
Suppose 3*t - 11 = 2*h, 5*h + 0*h - 7 = -4*t. Let s(g) = -5*g**2 + g + g**3 - 6*g + 8 + 0*g**t. Is s(6) a multiple of 7?
True
Suppose k + 12 = -5*y, -40 = -4*k + y + y. Is 4 a factor of k?
True
Suppose -5*s + 1143 = 4*s. Is 28 a factor of s?
False
Let j be (-18)/(-4) + 6/(-12). Let t(h) = -2 + 2 + j*h + 2 + 3. Is 14 a factor of t(4)?
False
Suppose -2*y + 7 = -m, -4*y + 0*m + 34 = 2*m. Let x(l) = 3*l**2 + 1. Let c be x(1). Does 6 divide (-21)/c*(-16)/y?
False
Let j(v) be the second derivative of v**4/6 - 3*v**2 + 4*v. Let o be j(-5). Let s = o - 30. Does 4 divide s?
False
Let a be (-3)/9 - 177/9. Let g = a + 46. Does 13 divide g?
True
Let c be (-10)/(-35) + (-60)/14. Let o be ((-3)/(-4))/((-1)/c). Suppose o*m - 2*m - 11 = -4*i, 3*m + 2*i = 43. Does 6 divide m?
False
Suppose 0 = m + 1 + 1. Let c(n) = -2*n**3 - n**2. Let h be c(m). Let o = h - -1. Is o a multiple of 6?
False
Let b = 7 + 5. Let d = 54 - b. Is d a multiple of 18?
False
Let u = 6 - 2. Suppose 0 = -u*k - k. Suppose 2*h - 17 = 3*o, 7 = 4*h - k*o + 3*o. Is h even?
True
Does 45 divide (-2280)/3*(15/6)/(-5)?
False
Suppose 0 = 3*z, n - 5*z + 252 = 5*n. Is 27 a factor of n?
False
Let u(g) = 45*g + 51. Is u(6) a multiple of 19?
False
Is 16 a factor of (-4 - -7) + -2 - (-354 - 2)?
False
Let t = 241 - 455. Does 14 divide 3/(-2) + t/(-4)?
False
Let m be 69*(-3)/(-9)*-1. Let f = m + 48. Is 10 a factor of f?
False
Let d(k) = -k**2 + 6*k + 4. Let x be d(6). Suppose 3*q - 8 = x. Is q a multiple of 2?
True
Suppose -3*n = -15, -2*n - 5 - 10 = -5*m. Let c(d) = -6 + 10 + d + d. Does 14 divide c(m)?
True
Let b(h) be the first derivative of -16*h**2 + 5*h - 2. Let o be b(-5). Is 11 a factor of (-6)/5*o/(-6)?
True
Let u = -29 - -111. Is u a multiple of 15?
False
Suppose -8 = -0*c - 2*c. Suppose 0 = -u - 0*u + 4. Is 138/c*u/6 a multiple of 16?
False
Let s(v) = -7*v + 12*v**2 + 2*v + 3*v - 6*v - v**3 - 6. Does 15 divide s(11)?
False
Suppose -2*y = 2*p - 56, 3*p + 3*y = 2*p + 22. Suppose 5*f + q - p = -3*q, -17 = -3*f - 4*q. Is f even?
False
Suppose -3*i + 0*i + 243 = 0. Does 9 divide i?
True
Suppose 3*l - 38 = -2*p + 5*l, 0 = p + 4*l - 4. Is p a multiple of 4?
True
Let a be (-1 - 23)*(-10)/3. Let d = a - 44. Is d a multiple of 11?
False
Suppose 5*b + l - 19 = 0, -b - 8 = -4*l + 5. Let q be 3 - b*(-6)/9. Suppose -60 = -2*j - 4*g, 5*j + q*g + 50 - 185 = 0. Is 8 a factor of j?
True
Suppose -24 = -15*m + 13*m. Is m a multiple of 12?
True
Let g = 14 + 50. Is g a multiple of 16?
True
Let r = -11 + 16. Suppose 12 = -r*m + 167. Is m a multiple of 20?
False
Let y = 5 - 3. Suppose -p - 3*p = 3*l - 160, -3*l = y*p - 170. Suppose -n + 37 = 5*d - l, 0 = -3*n - 9. Is 20 a factor of d?
True
Let s(q) = 4*q - 3*q - 2*q + 9. Let i be (-4 + 2)/(-2) + -1. Does 9 divide s(i)?
True
Suppose -5*c = k - 1894, k + 618 = 4*c - 890. Is c a multiple of 54?
True
Let u = -32 - -48. Is 10 a factor of u?
False
Let c(w) = -w + 3. Let q be c(3). Suppose q = 3*n + t - 14 + 3, -5*t + 31 = 3*n. Is 2 a factor of n?
True
Suppose -4*u + 3*u = -20. Suppose 3*g = -2*g - u. Does 14 divide 29*1 + 3 + g?
True
Let n be 2/3 - (-480)/9. Suppose -4*g + 0*c + 2*c = -n, -5*g = 4*c - 74. Is 14 a factor of g?
True
Let j = -109 + 241. Suppose -2*t + 120 = 6*i - 2*i, -4*i + 4*t = -j. Is 10 a factor of i?
False
Let y(a) = 17*a - 9. Does 13 divide y(13)?
False
Let b(k) = 10*k**2 - 2*k - 4. Let i be b(3). Suppose 0*z = 5*z + i. Is 17 a factor of (-15)/(-4)*z/(-3)?
False
Let k = -16 + 40. Does 8 divide k?
True
Let g(f) = f**2 + 3*f + 2. Let b be g(-2). Let t be (-1)/(b - 2/(-6)). Is t - -1 - -5 - -30 a multiple of 11?
True
Let s = -5 - 1. Let m be s/4*(-28)/6. Is 1/((-2)/(-2)) + m a multiple of 3?
False
Let y(n) = 5*n + 1. Let a be y(1). Let p = a + 36. Is p a multiple of 30?
False
Let j be 8 + (-9)/3 - 1. Suppose 2*i = 5*p + i - 568, 0 = -i - 3. Suppose -j*z + 3*f = -p, 2*f - 42 = -2*z + z. Is z a multiple of 13?
False
Suppose 0 = -7*h - h + 1272. Is 33 a factor of h?
False
Suppose -z + 0 - 2 = 0. Let l be z/(-7) - (-26)/7. Suppose l*v + 20 + 3 = k, 0 = -4*k - 2*v + 128. Does 19 divide k?
False
Let t = 167 + 3. Is t a multiple of 22?
False
Does 3 divide -1 - (-42 + 4 + 0)?
False
Let q be (-2)/(-10) - (-316)/20. Let b = 34 - q. Is b a multiple of 6?
True
Does 14 divide 4 - (-246)/12 - 1/2?
Fal