 2*y, w = y + q - 7. Suppose y*f + 0 - 8 = 0. Is f a multiple of 4?
True
Suppose 2*u = -5*u + 1876. Is 46 a factor of u?
False
Let p(v) = -v**3 + 12*v**2 - 12*v + 13. Let y be p(11). Suppose 3*n + g - 3*g = 11, -9 = -n - y*g. Does 2 divide n?
False
Let b = -32 - -57. Suppose h + 2*h + 15 = 3*f, 0 = 3*f + 2*h - b. Suppose -n + f = -3. Does 4 divide n?
False
Let n be (-6)/(-21) - (-244)/28. Let t(q) = -q + 15. Let b be t(n). Let h(i) = i**3 - 4*i**2 - 3*i + 2. Is h(b) a multiple of 15?
False
Let s(k) = k**2 + 15*k + 3. Let y be s(-15). Suppose -320 = -u - y*u. Is 16 a factor of u?
True
Let v(o) = -2*o**3 - 3*o**2 + 3*o + 3. Let w be v(-3). Let a be 2/3 - 846/54. Let n = a + w. Is n a multiple of 6?
True
Does 47 divide 5*(3 - 4) + 287?
True
Let n = 905 - 570. Does 55 divide n?
False
Let y = 23 + -43. Suppose 5*t + 0*v = 2*v - 40, -5*t = 2*v + 40. Let g = t - y. Does 8 divide g?
False
Suppose -2*a = 2*u - 7*a + 41, a = 4*u + 37. Let s = -1 - u. Suppose 2*m - 31 + s = 0. Is 6 a factor of m?
True
Suppose 4*m + 15 = 511. Is m a multiple of 14?
False
Let a be 2 + (-7)/((-7)/(-6)). Let t = 8 + a. Is t even?
True
Suppose 2*s - 3*s = -2. Suppose 0 = s*v - 2 - 4. Suppose 5*k + 2*o - 230 = 0, 3*k - v*o = 8*k - 235. Is k a multiple of 16?
False
Is 22 a factor of 108/(8/4) + -2?
False
Suppose 386 + 254 = 8*b. Is b a multiple of 16?
True
Suppose -2*x + 3 = 9. Let k(f) = -f + 1. Does 4 divide k(x)?
True
Let v be (36/(-21))/(4/(-14)). Let z(c) = -c**2 + 9*c - 5. Is z(v) a multiple of 13?
True
Suppose -2*d = -5*p + 156, 93 = -0*p + 3*p - d. Let i be (-52)/10 - (-6)/p. Does 2 divide i/(-10)*(14 - 0)?
False
Does 10 divide (-1)/(-2)*(-6 - -122)?
False
Suppose d - 6*d + 15 = 0. Suppose 0*y - 93 = -d*y. Is 7 a factor of y?
False
Suppose -20 = 5*i - 0, -5*c - i + 116 = 0. Let s = -10 + c. Does 14 divide s?
True
Suppose 2*l + 12 = 6*l. Suppose -30 = -l*k - 2*k. Is k a multiple of 2?
True
Suppose 3*k + k - 46 = -2*p, 5*k + p - 59 = 0. Suppose -c - k = -4*w, 3*w + 3*c - c - 20 = 0. Is 2 a factor of w?
True
Let s(p) = -p**3 - 5*p**2 - 6*p - 6. Let o be s(-4). Suppose -27 = -o*c - c. Suppose 2*u - 3*u + c = 0. Does 3 divide u?
True
Let w(s) = -s**2 + 10*s + 7. Is w(10) even?
False
Suppose 2*u - 3*y = 14, -5*y = 5*u - 71 + 11. Suppose 2*t = -u, -2*t = -i + 2*t + 24. Let x = i + -1. Is 2 a factor of x?
False
Let n(l) be the first derivative of 2*l**3/3 + 3*l**2/2 - 5*l + 3. Does 13 divide n(-6)?
False
Let b be 3*3/9*4. Does 4 divide 2/b*(6 + 4)?
False
Suppose 0*o - 2*o + 30 = 2*k, -k - 3 = 0. Does 7 divide o?
False
Let w = -5 - -5. Suppose -4 + w = 4*a. Does 16 divide -3 + (2 - 37)/a?
True
Suppose -6 = -2*s + 4, -2*s = 2*h - 50. Suppose 0 = -l + 4*y + 15, l + 0*l = -2*y + 9. Let z = h - l. Is z a multiple of 6?
False
Is (-564)/(-24) + ((-15)/2)/(-5) even?
False
Let w(r) = r**2 - 9*r + 5. Let s be w(9). Let u(c) = -c - 5 + s. Does 5 divide u(-6)?
False
Let p = 35 - 5. Does 20 divide p?
False
Suppose 44*r = 49*r - 945. Is 19 a factor of r?
False
Let d(q) = q**2 + q + 2. Let i be d(-3). Suppose i*p = 3*p. Suppose 2*u + 2*u - 80 = p. Does 14 divide u?
False
Let o be 28 + -5 + (-6)/(-2). Suppose -2*y + y = -o. Is y a multiple of 15?
False
Suppose 2*c = -b + 6, 0 = 3*b + b + 3*c - 19. Suppose -x = 3*l + 7, 2 = x + b*l + 9. Let f(q) = -2*q - 5. Does 8 divide f(x)?
False
Let d(c) = c - 7. Let n be d(7). Suppose 4*s - 20 = n, -2*s + 15 = -4*m + 89. Is 7 a factor of m?
True
Suppose 0*l - 4*a - 64 = -3*l, 0 = -l - 2*a + 38. Does 7 divide l?
True
Does 6 divide (20/(-12))/(3 + (-55)/18)?
True
Suppose 3*u - 10*u = -287. Is u a multiple of 9?
False
Let m(p) = p**2 - 5*p - 2. Let i be m(6). Suppose 5*d - 2 = 2*u + 5, 0 = i*d + 2*u - 20. Is 1 - (-1 + (-87)/d) a multiple of 14?
False
Let z = -24 + 45. Suppose z = 2*t + t. Suppose 2*o - 63 + t = 0. Is 10 a factor of o?
False
Let x(r) = 4*r - 1. Let o = 4 - -1. Does 9 divide x(o)?
False
Suppose -14 = -k + 5*w, k + 4*w + 9 = 32. Suppose 3*o + 5*h + k = 0, o + 3 = -0*h - h. Is 2 a factor of o?
True
Let a = -3 - -16. Is 4 a factor of a?
False
Suppose -5*y + 3*x - 79 = 0, 0*x + 2*x = 5*y + 81. Let v = y - -25. Is v a multiple of 3?
False
Suppose -2*t + 0*d + 4*d + 54 = 0, 0 = -2*t - 3*d + 89. Does 7 divide t?
False
Let j(t) be the first derivative of -t**3/3 - 3*t**2 - 3*t + 2. Let h be j(-4). Suppose 2*f - h*f + 78 = 0. Does 13 divide f?
True
Let j(u) = 10*u. Let x(k) = -k**3 - 8*k**2 - 2*k - 11. Suppose 5*b = -5*c - 45, 2*c + 0*b + 3*b = -19. Let v be x(c). Does 18 divide j(v)?
False
Let o(n) = -n**3 - 5*n**2 + 6*n + 6. Let a(s) = s**2 + 7*s. Let k be a(-6). Does 3 divide o(k)?
True
Suppose 0 = 5*d - 2*o - 320, -3*d + 7*d - 233 = -3*o. Is 6 a factor of d?
False
Suppose -3*r = 2*y - 136, 3*y + 2*r - 250 + 51 = 0. Suppose 3 = 3*p + f - y, 5*f + 28 = p. Is p a multiple of 8?
False
Let u(y) be the third derivative of -y**6/120 + 2*y**5/15 - y**4/3 - y**3/3 - 2*y**2. Is u(6) a multiple of 9?
False
Let w(t) be the first derivative of -t**2/2 + 5*t + 3. Let h be w(-4). Suppose a = h - 3. Is a a multiple of 4?
False
Let j = 23 - 8. Does 15 divide j?
True
Suppose 5*j + 21 - 66 = -2*f, j = -5*f + 9. Is 3 a factor of j?
True
Suppose 0 = -3*q - 4*x + 44, x = 2*q - 62 + 18. Suppose -u - 2*p + 2 = 0, 0 = -2*u + 5*u - p - q. Is u a multiple of 6?
True
Suppose 20 = 2*f + 4*r, r - 1 - 3 = 0. Let v = 9 - f. Is v a multiple of 3?
False
Let j = -109 + 351. Does 17 divide j?
False
Let r(y) = y**2 + 4*y + 3. Let n be r(-3). Suppose -5*u = -n*u + 20. Is (u/10)/((-2)/80) a multiple of 8?
True
Suppose -g = 5*u - 252, 2*u + 2*g + 3 = 99. Does 17 divide u?
True
Suppose 450 = -44*h + 49*h. Is 18 a factor of h?
True
Suppose -2*b - 5*z + 272 = -z, 5*z = 25. Does 7 divide b?
True
Suppose 3 = -2*f - 4*y - 9, -17 = 2*f + 5*y. Suppose 2*w + 0 = -f, -4*p = -2*w - 20. Suppose -3*n = -p*n + 8. Is 3 a factor of n?
False
Suppose -4*q + 307 + 37 = 0. Suppose -3*j - q = -8*p + 3*p, -5*p + 104 = 3*j. Does 13 divide p?
False
Let t = 3 + 111. Does 62 divide t?
False
Let w be 8 + 0 + -4 + 1. Suppose -w*f - 3*z = -63, z - 10 = 4*f - 57. Is f a multiple of 6?
True
Let h be (2 - 2)/(1*2). Suppose h*q + 25 = 5*q. Let s = 17 - q. Does 9 divide s?
False
Is 9 a factor of (-15)/20 + (-444)/(-16)?
True
Let s(c) = 20*c**2. Is s(-1) a multiple of 2?
True
Suppose -2*f + 9*f = 1834. Does 25 divide f?
False
Let v(b) = b**2 - b + 14. Does 21 divide v(-7)?
False
Suppose -x - 18 = -a, 5*x + 0*x = -5*a + 140. Is 12 a factor of a?
False
Let v = -13 - -22. Let l(a) = -4*a + 16. Let d(z) = -5*z + 17. Let n(x) = -3*d(x) + 4*l(x). Is 4 a factor of n(v)?
True
Let u = 3 + 42. Is 15 a factor of u?
True
Let a(s) = 4 - 7*s + 5*s + s**2 - 4. Is 5 a factor of a(4)?
False
Let i(y) be the second derivative of -3/2*y**2 - 7/6*y**3 - 2*y + 0 + 1/6*y**4. Is i(6) a multiple of 14?
False
Let x be ((-1)/(-1))/((-1)/(-6)). Suppose -3*a + x = w, -w + 5*a - 32 = w. Let b(v) = -v**2 - 8*v + 5. Does 11 divide b(w)?
False
Suppose 4*y + h - 376 = 0, 5*y + 0*h - 469 = -h. Is 6 a factor of y?
False
Let f = 43 + 9. Is f a multiple of 12?
False
Let y(w) be the second derivative of -3*w + 0 - 1/12*w**4 - 1/6*w**3 + 23*w**2 + 1/20*w**5. Does 23 divide y(0)?
True
Let u(l) = -l - 2. Let f be u(-4). Is 6 a factor of (-1)/2 + 31/f?
False
Suppose u = 3*t - 495, -u + 495 = -2*t + 5*t. Does 15 divide t?
True
Let q be (54/8)/((-2)/8). Is (-2)/8 + q/(-12) even?
True
Suppose 3*s - 5 = 2*s. Suppose 201 = 2*b + b. Suppose s*q - b + 12 = 0. Does 11 divide q?
True
Let x(k) = 149*k - 4. Is x(1) a multiple of 7?
False
Is 26 a factor of 2/4*2 + 151 - 1?
False
Let m = -2 + 5. Does 10 divide 1/(m/66) + -2?
True
Let s = 3 + 2. Let d(n) = -15*n**2 + 25*n - 1. Let m(o) = -8*o**2 + 13*o. Let b(a) = -6*d(a) + 11*m(a). Is 21 a factor of b(s)?
True
Does 6 divide 30/(-255) - (-1024)/34?
True
Suppose 2*k - 3 = -3*k + 2*m, 3*k - 2 = m. Is 16 a factor of 2 - k*-6*5?
True
Suppose 3*u - 40 = 50. Is 15 a factor of u?
True
Suppose -3*a + 4 = -11. Suppose 2*n + a*v - 14 = 0, 2*v = -2 - 2. Does 6 divide n?
True
Let o(a) = 5*a**2 - 8*a - 9. Let h(y) = 7 - 24*y - 6*y**2 + 20*y**2 - 34. Let f(z) = 6*h(z) - 17*o(z). Does 2 divide f(-6)?
False
Let l(x) = 65*x**3 - x. Is 32 a factor of l(1)?
True
Let k = -29 - -45. Is k a multiple of 4?
True
Suppose -43 = 3*p - 10. Let r = 22 