 -k*w + 2*w. Is (-1)/5 + (-1359)/w a multiple of 15?
True
Suppose 4*p - 4 = 16. Suppose 4*z + z - 65 = p*s, 4*z - 3*s = 50. Is 2 a factor of z?
False
Let c be -2 + (-2)/(-2)*2. Suppose 6*s + 0 - 84 = c. Does 14 divide s?
True
Suppose -a - 319 = -5*n + 3*a, -2*a + 61 = n. Suppose 0*h = -3*h + n. Does 17 divide h?
False
Let s(v) = -23*v + 3. Let h be s(-6). Suppose 5*x - h = -3*p, p + 28 = x - 5. Is 13 a factor of -120*-4*3/x?
False
Let m(u) = 13*u + 6. Let d(i) = -38*i - 17. Let s(o) = 3*d(o) + 8*m(o). Does 22 divide s(-3)?
False
Let f(o) = o - 69. Let i be f(0). Let n = i - -108. Is 13 a factor of n?
True
Suppose 3*v - 286 = -2*j, -146 = 3*j - 4*j - 3*v. Does 55 divide j?
False
Let y be 1 - (-11 + 1 + -4). Let v(i) = -i**2 + 18*i - 2. Does 13 divide v(y)?
False
Let j be -2*1/(-2) + 6. Suppose -3*a = 2*d + j - 86, -55 = -2*a + d. Does 20 divide a?
False
Let h = -451 + 715. Is h a multiple of 18?
False
Suppose 5*y - 138 = 2*y. Does 6 divide y?
False
Suppose 4*n - 4*r + 656 = 0, 3*n - r - 646 = 7*n. Let o be n/(-45) - (-4)/10. Suppose 0 = 2*f - 4*u - o, 3*u + 18 - 5 = 4*f. Is 4 a factor of f?
True
Suppose -4*a = -5*l - 32, -3*a + 4 = -3*l - 20. Does 34 divide 2/a + (-3663)/(-36)?
True
Suppose -68 = -2*q - 2*s + 44, -280 = -5*q - 2*s. Is 14 a factor of q?
True
Let b(z) = z + 3. Let n be b(-6). Let m be (-4)/n*60/8. Does 13 divide 392/20 - 6/m?
False
Let v(f) = 45*f**2 + f + 5. Is v(2) a multiple of 13?
False
Let t(w) = -w**3 - 9*w**2 - 10*w + 1. Is 4 a factor of t(-8)?
False
Let k(o) = 5*o**2 - o. Let t be k(1). Suppose -343 = -t*w + 109. Suppose c + 0*b - b = 23, 5*c - w = 3*b. Is 11 a factor of c?
True
Suppose q - 217 = 2*z - 7*z, z + 587 = 3*q. Is q a multiple of 7?
False
Suppose -4*b - 26 = -t + 10, -4*b - 40 = -2*t. Let l = b - 4. Does 3 divide ((-10)/6 - -1)*l?
False
Let l(f) be the third derivative of f**4/12 + 2*f**3/3 + 2*f**2. Is l(6) a multiple of 12?
False
Let n(a) be the third derivative of -5*a**4/12 + a**3/2 - 3*a**2. Does 11 divide n(-3)?
True
Let p(d) = 6 - 1 - 4*d - d**2 + 0*d. Let l be p(-7). Let o = 42 + l. Is o a multiple of 9?
False
Let v(d) be the second derivative of 5/3*d**3 - d - d**2 + 0. Does 14 divide v(3)?
True
Suppose 0 = -4*b + 24 - 4. Suppose b*r + 45 = 10*r. Does 8 divide r?
False
Let k be (-4)/14 - 1023/21. Let b(j) = j**2 + 7*j - 1. Let r be b(6). Let c = r + k. Is 14 a factor of c?
True
Suppose 5*y - y = 2*j - 20, -5*y = 3*j + 25. Suppose j*u = u - 36. Suppose q = -2*q + u. Is q a multiple of 6?
True
Let j(f) = f + 7. Let i be j(-5). Let y be i/(-6) - (-40)/12. Let l(m) = 3*m**2 + 1. Is l(y) a multiple of 15?
False
Let o(v) = v**2 + 2*v - 15. Is 8 a factor of o(7)?
True
Let g(j) = j**3 - 5*j**2 + 2*j + 5. Let i be g(4). Let k be 3/(-1*(-1)/i). Let s = k - -14. Is s even?
False
Let l(h) = -h. Let z be l(-5). Let u = z + -3. Suppose u*p = 4*t - 60, 0 = 3*p - p - 4. Is t a multiple of 8?
True
Suppose -2*a + 6 = -2*z, 0 = -2*a - z + 4*z + 3. Is (-61)/(-3) - (-4)/a a multiple of 11?
False
Suppose 0 = 3*d - 5*f + 74, -4*f = 4*d - 0*d + 56. Let m be (-4)/18 - 4/d. Suppose m*p = 3*p - 48. Does 8 divide p?
True
Let h be (-3)/3*(-23 - -3). Suppose 5*i + 4*y + h - 62 = 0, -3*i + 5*y = -40. Is 10 a factor of i?
True
Let m(d) = -d + 2. Let f be m(5). Let k = f - -29. Suppose -g = -29 - k. Is g a multiple of 19?
False
Let y be (-1)/(-8) - 117/(-24). Suppose -y*i + 2*p = -56, -i - 2*p + 1 = p. Is i a multiple of 3?
False
Let j(y) = y**2 + 8*y + 32. Is j(-9) a multiple of 9?
False
Let f(g) = g**3 - 2*g**2 - g + 5. Let w be f(5). Suppose -4*v = -53 - w. Let r = v + -22. Is 6 a factor of r?
False
Suppose 7*c + 3289 = 20*c. Is 31 a factor of c?
False
Let s = 43 + -22. Does 3 divide s?
True
Let u(x) = 3*x**2 + 4*x + 5. Is u(-7) a multiple of 10?
False
Let k = 56 + -21. Does 7 divide k?
True
Let z = 0 - -2. Does 10 divide (-4 + 7)/(z/14)?
False
Let b = -9 + 14. Suppose -3*d - b*t + 161 = -t, -3*d = -t - 151. Is d a multiple of 11?
False
Let m(c) = c + 6. Let o be m(13). Let d = -7 - -4. Let r = o - d. Is 11 a factor of r?
True
Let w be 1737/(-21) - (-4)/(-14). Let b = -29 - w. Is b a multiple of 24?
False
Suppose -x + 24 = i - 70, 2*i = 3*x - 282. Does 14 divide x?
False
Let z = -8 - -5. Does 6 divide 13 + (6/2)/z?
True
Suppose 8*r - 5*r = 528. Is r a multiple of 27?
False
Let u(t) = -t**3 + 16*t**2 + 15*t - 10. Let k(j) = j**3 - 15*j**2 - 14*j + 9. Let p(o) = 3*k(o) + 2*u(o). Is p(14) a multiple of 8?
False
Suppose -4*p + 184 = -0*p. Does 14 divide p?
False
Let p = 1 - 9. Let a = -3 - p. Does 3 divide a?
False
Suppose 3*m + 4*n - 52 = 0, -m + 3*m - 63 = 3*n. Does 8 divide m?
True
Let r(i) = i - 17. Let c(v) = -v + 17. Let y(t) = -2*c(t) - 3*r(t). Let j = 4 - 4. Does 9 divide y(j)?
False
Let g be (-3)/(-5) - 1296/10. Is 10 a factor of g/(-12) + (-12)/16?
True
Let x = 4 - 1. Suppose -5*v + x*v = -2, -73 = -3*f + 5*v. Is 11 a factor of f?
False
Let w(c) = -7*c**2 - 5*c - 6. Let k be 42/(-10) + (-6)/(-30). Let i be w(k). Is 9 a factor of i/(-6) - (-2)/(-6)?
False
Let c(g) = 13*g**2 + 9*g - 5. Is 19 a factor of c(-5)?
False
Let z = 14 + -4. Let n = z + -7. Suppose -3*s + 5*g + 80 = -0*g, 156 = 5*s + n*g. Is 15 a factor of s?
True
Let d(s) be the second derivative of -1/6*s**3 - 2*s + 1/2*s**2 + 1/5*s**5 - 1/12*s**4 + 0. Is 14 a factor of d(2)?
False
Suppose 4*p = 8, 4*w = 3*w + 5*p - 6. Let n be 42/24 - 1/(-4). Suppose -34 = -w*d - 2*f, -n*f - 15 = -5*d + f. Is 2 a factor of d?
True
Let h = 24 + -12. Suppose -66 = -2*v + 4*y, -v + 26 = -3*y - h. Does 23 divide v?
True
Let h = -65 - -91. Is 13 a factor of h?
True
Suppose -45 = 3*d - 3*l, 2*d - 5*l = -d - 45. Is 9 a factor of 55/2*(-12)/d?
False
Let t(a) = a**2 - 6*a + 5. Let l be t(5). Suppose 3*i + i + 80 = l. Is ((-24)/i)/((-1)/(-20)) a multiple of 13?
False
Let x = -40 + 114. Is x a multiple of 20?
False
Let p(g) = g**3 - 5*g**2 - 6*g + 2. Let b be p(6). Suppose -2*a + 2*v + 8 = -b*v, 0 = -5*a - 5*v - 10. Does 16 divide 1/(1/(25 + a))?
False
Does 12 divide (27/2)/((-2)/(-4))?
False
Suppose -4*x - 5*k + 3 = 0, -4*k - 11 = -3*x - 1. Suppose 0 = 2*q - 8 + 4, 2*u - x*q - 10 = 0. Let p = u - -21. Is p a multiple of 14?
True
Let z(b) = b**2 + 3*b + 3. Let w be z(-3). Suppose 5*p - 4*o - o = 140, 5*o = -w*p + 52. Is p a multiple of 12?
True
Suppose -24*h - 18 = -1218. Is h a multiple of 9?
False
Suppose -t - t - 4 = 0. Is 10 a factor of t/1*11/(-2)?
False
Suppose -6 = -k + 4. Let v = 18 + k. Is 7 a factor of v?
True
Let s(g) = -g**3 + g**2 + 3*g + 3. Let d be s(3). Let u = 12 + d. Suppose -v + u = -10. Is v a multiple of 8?
True
Let g = 49 + 16. Is 13 a factor of g?
True
Is 8 a factor of (-14)/105 + 844/30 - 3?
False
Does 19 divide 1 - 1 - (-42 + 4)?
True
Let p(q) = q**2 + 2*q - q - 4*q + 7 - 2*q. Let t = 20 - 12. Is 14 a factor of p(t)?
False
Let s = 50 - 20. Does 11 divide s?
False
Let i be (-3)/(-6) + (-3)/6. Suppose 2*f - 36 = -i*f. Is 14 a factor of f?
False
Is 9 a factor of (-6)/(-16) - 4998/(-112)?
True
Let q = -24 - -68. Is q a multiple of 14?
False
Let h(i) = -i**2 + 8*i + 8. Let p be h(7). Is 27 a factor of 386/10 - (-6)/p?
False
Let w(i) = 15*i - 84. Is 9 a factor of w(25)?
False
Let h(r) = -r**3 - 4*r + 4*r - 3*r + 9*r**2 - 5*r - 2. Let n be h(8). Let l = n - -16. Is 7 a factor of l?
True
Let m = 4 + -1. Let l(g) = g**2 - g - 1. Let k(w) = -4*w**2 + 6*w + 3. Let j(y) = -k(y) - 2*l(y). Does 2 divide j(m)?
False
Let f = 60 + -42. Is 10 a factor of f?
False
Let d = 171 - 65. Suppose 4*y - 407 = -3*n, y + 2*n + 8 = d. Suppose -7*l + y = -3*l. Is l a multiple of 10?
False
Let i be 3/9 + 28/6. Let s(x) = -4*x - 6. Let c be s(-4). Suppose c*l - 85 = i*l. Is l a multiple of 17?
True
Let h = 36 - 16. Does 3 divide h?
False
Let p = -1 + 2. Suppose -4*y - 9 = 3. Is -11*(p + 0 + y) a multiple of 9?
False
Let q(h) = 2*h**2 + 2*h. Let n = -3 + 0. Is 6 a factor of q(n)?
True
Let z(h) = 109*h - 4. Does 35 divide z(1)?
True
Let l = 8 + -3. Suppose 137 = l*y + r, -3*y - r = 3*r - 89. Is 10 a factor of y?
False
Let j = -18 - -54. Suppose 0 = -5*c - 11 + j. Let n = 5 + c. Does 5 divide n?
True
Suppose -2*v + 0 + 4 = 2*j, 30 = 5*v - 5*j. Is 4 a factor of v?
True
Let n = -25 + 65. Does 10 divide n?
True
Let b = 31 + 3. Is b a multiple of 9?
False
Suppose 3*v = n + 4*n - 855, 2*v + 342 = 2*n. Is 