a multiple of 17?
True
Suppose 4*x + 3 = -3*i - 0, 0 = -3*i + 3*x + 18. Suppose 4*w + 5 = m, i*m = -3*w + 39 + 51. Is 11 a factor of m?
False
Suppose 2*i - 12 = -0. Is 5 a factor of i?
False
Suppose -20 = -5*t + 4*l, -2*t + 3*l + 15 = -t. Suppose 2*u = -t*u + 14. Is 7 a factor of u?
True
Suppose 4*c - 221 = -21. Is 10 a factor of c?
True
Let m(h) = h**2 - 3*h + 2. Let n be m(3). Let p(u) = 26*u - 2. Is p(n) a multiple of 17?
False
Let s be -2 - (2 - 3)/(-1). Does 25 divide -2*3*14/s?
False
Let o be ((-2)/4)/(2/(-20)). Let u = 101 - 36. Suppose 0 = 5*i + 5*g - 80, -o*g - u = -3*i + 15. Is i a multiple of 10?
True
Let j(x) = -4*x + 3. Let f(b) = 9*b - 7. Let k be ((-1)/2)/((-1)/(-10)). Let z(p) = k*j(p) - 2*f(p). Does 6 divide z(6)?
False
Let x be (1 + 2 - -8) + 2. Suppose 2*z = x - 5. Is 2 a factor of z?
True
Suppose o = -1 + 7. Suppose -s + o + 0 = 0. Suppose 0 = -5*p + 2*p - s, -2*p - 20 = -2*c. Is 8 a factor of c?
True
Let t = 5 + 1. Let m(s) = -6*s + 2*s + 0 - t. Is m(-5) a multiple of 13?
False
Let r = 149 - 70. Does 15 divide r?
False
Let h(g) = 20*g**2 + 2*g + 3. Is h(-2) a multiple of 6?
False
Suppose -3*u - 20 = -8. Let d(k) = -2*k. Let z be d(u). Let a(x) = x + 2. Is 8 a factor of a(z)?
False
Let f(y) be the second derivative of 113*y**4/12 - y**3/6 - 4*y. Let p be f(-1). Is 15 a factor of (6/(-4))/((-9)/p)?
False
Let f be (-8)/(-2) + -5 + -8. Does 15 divide 3/f + 91/3?
True
Let i = 519 - 314. Does 25 divide i?
False
Suppose -4*i + 5*g = -4, 0 = -0*g - g. Let r be (-1)/i - (-4 - 2). Suppose -r*v + 48 = -67. Is v a multiple of 13?
False
Let i = 6 - -4. Does 10 divide i?
True
Suppose 0*w + 3*y = -5*w + 3081, 3077 = 5*w + y. Suppose 0*d + w = 5*d. Suppose -4*a = -d + 31. Is a a multiple of 18?
False
Let k be 5*2*1/1. Suppose 7 - 65 = -3*j - 4*r, -2*r + 8 = 0. Let a = j - k. Does 4 divide a?
True
Let g(z) = -4*z + 2*z + 3 - 3 - 2. Is g(-5) a multiple of 8?
True
Let p(b) = 3*b**3 - 2*b**2 - 1. Let o be -5*(2 + (-36)/15). Suppose 10 = -o*k + 7*k. Is p(k) a multiple of 15?
True
Let f(k) = k**2 + 3*k - 6. Let v be (-4)/(-30) - 1196/195. Is 3 a factor of f(v)?
True
Let b(q) = 2*q**2 + 4*q - 1. Let v(x) = 3*x**2 + 7*x - 2. Let n(z) = 11*b(z) - 6*v(z). Is n(-1) even?
False
Let v be ((-9)/(-6))/(6/8). Suppose -k = v - 20. Does 6 divide k?
True
Let b(d) = d**2 - 7*d + 7. Let v be b(8). Does 21 divide ((-18)/v)/(2/(-35))?
True
Let v(b) = b**2 - b - 7. Suppose -h - 4*p + 7 + 18 = 0, -2*h - 2*p = -20. Is v(h) a multiple of 10?
False
Let y = -49 + 72. Suppose 27 + y = 5*w. Is 10 a factor of w?
True
Let u be 32*(-2)/((-16)/18). Suppose -2*o + 62 + u = 0. Is 18 a factor of o?
False
Let u = -1 - -4. Suppose 0*y + u*y = 117. Let j = y + -14. Does 9 divide j?
False
Suppose 3*w + 5 = 23. Does 17 divide -3*17*w/(-9)?
True
Suppose 0*d = -3*d + 6. Suppose 0*n + d*n = 8. Suppose 2*f - 5*x = 45, 0 = -n*x + 1 + 3. Does 10 divide f?
False
Suppose s = -4*s + 260. Suppose 0 = 5*a - 63 - s. Is a a multiple of 7?
False
Suppose 5*q - 5*b = 10, q = -b - b + 5. Suppose -3 + 11 = 4*t. Suppose -x + 75 = t*x - 3*i, -q*i + 3 = 0. Does 15 divide x?
False
Let v = -5 - -38. Is v a multiple of 3?
True
Let v = -2 - -29. Let q = v - 10. Is 3/(6/4) + q a multiple of 7?
False
Let w(c) = -c**2 - 23*c - 7. Is 21 a factor of w(-7)?
True
Suppose -n + 3*d = -20, 4*d = -2*n - 6 - 4. Suppose n*h = 256 - 46. Suppose 3*m - m = h. Is m a multiple of 21?
True
Let g = 18 - 19. Is 20 a factor of ((720/3)/(-4))/g?
True
Let y be -2 + 1 + -1 + 131. Suppose 3*k - 3*b = y, -5*k + 260 = -0*b + 4*b. Let q = k + -28. Is q a multiple of 12?
False
Let w(p) = 5*p**2 + 4*p + 4. Let h be (-2)/10 + 82/10. Suppose 0 = -4*d - 5*i - 7, -d + 0*d - h = -5*i. Is 16 a factor of w(d)?
False
Let l(n) = -n**3 + 8*n**2 - 7*n + 11. Is l(5) a multiple of 4?
False
Suppose -z = -3*l + 3*z + 135, 5*l - z = 208. Is 14 a factor of l?
False
Let j(a) = 10*a**2 + 6*a - 7. Is j(-5) a multiple of 30?
False
Suppose 2*n + 4*i - 40 = 0, 3*i - i + 4 = 0. Suppose -5*x + 76 = m, -2*x - 2*m = -0*m - n. Does 16 divide x?
True
Let s be ((-12)/8 - -2)*18. Suppose 4*d - 11 = s. Does 5 divide d?
True
Suppose -3*a + 2 = -a. Does 13 divide a + 10 + (-1 - -3)?
True
Let u(n) = n**2 + 6*n + 7. Let a be u(-5). Suppose 0 = 4*y + w - 7, -2 = -a*y + 4*w + 6. Does 8 divide y + 0 + 14 + 2?
False
Suppose d = -5*m - 18, d + 3*d - 3 = 5*m. Let k = 5 - d. Let u = k + 8. Is 8 a factor of u?
True
Let x = 7 + 24. Is x a multiple of 31?
True
Suppose -2*x = 2*q - 4, 6*q = 2*q - 8. Suppose -i + 3*l = -x*i + 21, -2*i - 5*l = 1. Is i a multiple of 6?
True
Let k = 91 - 11. Does 16 divide k?
True
Let w = 47 - -37. Is 14 a factor of w?
True
Let u(i) be the first derivative of i**4/4 + 4*i**3/3 + 3*i**2/2 + 4*i - 3. Let l be u(-3). Suppose -l*f - 77 = -3*p, -p - 6 = -4*f - 37. Is 6 a factor of p?
False
Suppose 24*a - 7299 + 1299 = 0. Is 25 a factor of a?
True
Suppose -2*g + 133 = 1. Is g a multiple of 21?
False
Let o(a) = a**3 - 6*a**2 - a + 8. Let y be o(6). Suppose -l = y*l - 33. Does 3 divide l?
False
Let l(y) be the third derivative of y**5/12 - y**4/24 + 3*y**2. Does 3 divide l(-1)?
True
Let d = -4 - 13. Let t = 44 + d. Let g = t + -1. Is 13 a factor of g?
True
Suppose -4*m = -0*i - 2*i - 142, -5*m + i = -179. Does 6 divide m?
True
Let u(a) = a**2 + 7*a. Is 11 a factor of u(13)?
False
Suppose k + 3 = -5*n - 13, n = 5*k + 2. Let r = 3 - k. Suppose 3*b - r = 17. Is b a multiple of 3?
False
Suppose -3*x + x - 5*v - 7 = 0, 4*v = 5*x + 1. Let s = 0 - x. Let f(c) = 6*c + 1. Does 7 divide f(s)?
True
Let l be 1*9*(-7)/(-21). Suppose 3*m - 3*d - 3 = l, d = -2*m - 2. Suppose m*w = -5*w + 65. Is 13 a factor of w?
True
Is 4*(-5)/50 - 304/(-10) a multiple of 25?
False
Let j(o) = o**2 + o. Let w be j(-6). Let p = 51 + w. Suppose 84 + p = 5*z. Is 11 a factor of z?
True
Suppose -x = -3*o - 8, x + x + 39 = -5*o. Let q = x + 9. Does 11 divide (-360)/(-14) - q/(-7)?
False
Suppose 0 = -4*v - 5*z + 1, 4*v + 5 = 3*v - 3*z. Let w be 0/1*5/(-10). Suppose -g = g - x - 82, w = v*g - 5*x - 176. Is 11 a factor of g?
False
Suppose -7*t - 15 = 2*b - 2*t, 3*t = b - 20. Suppose b*p - 107 = 563. Suppose -105 = -5*u + 3*f, -19 + p = 5*u - 5*f. Is u a multiple of 8?
False
Is 4 + 8/(-1 + 2) a multiple of 6?
True
Let a(u) = u**3 - 3*u**2 - 4*u + 3. Let h be a(3). Let t be (h/6)/((-3)/(-16)). Is ((-30)/t)/(3/24) a multiple of 12?
False
Let l = -6 - -10. Suppose -l*y = -18 + 2. Suppose -5*t = -t + 5*q - 47, 0 = 3*t - y*q - 74. Is t a multiple of 17?
False
Suppose -4*z + 220 = 4*f, -2*z + 5*f - 45 + 155 = 0. Does 14 divide z?
False
Suppose -q + 0*q = -2*x + 58, 0 = -5*x - 3*q + 123. Let f = 39 - x. Is f a multiple of 6?
True
Let o = -18 - -21. Does 6 divide ((-4)/6)/(o/(-54))?
True
Let b(p) = p**2 - 3*p + 180. Does 45 divide b(0)?
True
Let t = -3 + 0. Let k = 24 + -18. Is 9 a factor of 2 + t/(k/(-44))?
False
Suppose 4 = -4*p - 4. Is 3 a factor of 9 + -1*(p + 1)?
False
Is (-3 - 0) + (-18)/(-1) a multiple of 13?
False
Suppose -26 = -4*b + 3*b. Is 8 a factor of b?
False
Suppose 2*t - 30 = p - 3*p, t + 2*p - 20 = 0. Let q be 12/t*(-30)/(-9). Is 17 a factor of ((-148)/16)/((-1)/q)?
False
Let z(j) = 22*j. Suppose -7*l + 6*l - 4 = 0. Let q = -3 - l. Is z(q) a multiple of 11?
True
Let w(a) = -a**2 - 12*a - 7. Does 5 divide w(-9)?
True
Let f(d) be the second derivative of d**5/20 + 3*d**4/4 + d**3 + 3*d**2 - 2*d. Is 11 a factor of f(-8)?
True
Suppose 0*w = -3*a + 2*w - 10, -3*a + 20 = 4*w. Suppose 3*k - 49 = -a*k + 2*o, -5*k - o + 60 = 0. Does 13 divide k?
True
Let f be ((-2)/3*-6)/1. Let o = f - -3. Suppose 0 = p - o - 2. Is p a multiple of 3?
True
Let f be 0 + (48*2)/2. Suppose 0 = -2*t - t + f. Is 8 a factor of t?
True
Let f = -19 + 22. Suppose 4*o = -5*t - 0*o + 286, -f*t = -5*o - 142. Is t a multiple of 30?
False
Suppose x + 15 = 6*x. Suppose -3*o + 0*o = -4*w + 45, 2*o - 38 = -x*w. Is 6 a factor of w?
True
Suppose -1484 = -5*l - z, -4*l - 2*z = 3*z - 1204. Does 19 divide 3/(-2)*l/(-12)?
False
Let y(f) = f + 2*f**2 - 2*f**2 + 2 + 2*f + f**2. Let a be y(-2). Suppose 4*l - 4*c - 104 = a, 5*c = c - 4. Is l a multiple of 10?
False
Does 8 divide 1626/45 + (-6)/45?
False
Does 6 divide (27/2)/3*2?
False
Let m be ((-48)/36)/((-8)/18). Suppose -562 = -5*j - m*x, -j + 2*j - x - 114 = 0. Is j a multiple of 29?
Fal