*q - 4*k. Is 884/24 + q/(-18) a multiple of 12?
False
Suppose t = 5*w - w - 17, 3*w = -2*t + 10. Suppose -w*g = g - 30. Is 5 a factor of g?
False
Suppose 3*s - 21 = 3. Let c = -2 + s. Does 6 divide c?
True
Let o = 5 + -2. Suppose 220 = o*m + 2*m. Is 22 a factor of m?
True
Let w(g) = -g**3 + 8*g**2 - g - 3. Suppose -2*n + 31 = n - 2*m, -5*m = 4*n - 3. Does 13 divide w(n)?
True
Let f(s) = s**3 + 7*s**2 + 3*s - 5. Let t be f(-4). Suppose 0 = -g + 3*b + 29, 87 - t = 2*g - 5*b. Is g a multiple of 13?
False
Suppose 0 = 3*w - s + 424, 4*w - s = 3*s - 568. Does 16 divide (w/12)/((-1)/4)?
False
Suppose -4*b = -8 - 8. Is 7 a factor of 132/16 + 3/b?
False
Let v(k) = 4*k - 2*k + 3*k. Let n be v(1). Suppose 16 = n*d - 9. Is 4 a factor of d?
False
Let n(w) = -w**3 + 19*w**2 + 42*w + 22. Is 22 a factor of n(21)?
True
Suppose 65 = -2*i - 2*w + 251, -w = 4*i - 366. Does 5 divide i?
False
Let n(j) = j + 4. Let m be n(0). Suppose 0*k + m*d = -k + 14, 3*k + 4*d - 42 = 0. Suppose 2*u = 2*s + 8, -2 = u + 3*s - k. Is 5 a factor of u?
False
Let p(a) = 2*a**2 + 3*a - 9. Let m = -10 - -13. Let d(q) = -q**2 - q + 5. Let n(t) = m*p(t) + 5*d(t). Does 3 divide n(-6)?
False
Let t be (-36)/(-10) + 10/25. Let s(n) = -n**2 - 8*n + 5. Let x be s(-8). Suppose 13 = -2*w + x*l + 40, -t*l + 117 = 5*w. Does 16 divide w?
False
Is 11 + 0 - (6 - 10) a multiple of 7?
False
Let n be 0/(0 - 0 - 2). Suppose 0 = 3*z - 10*z. Suppose z = -x - 1 - n, -4*x - 90 = -2*m. Is 12 a factor of m?
False
Suppose -5*y - 11 = -2*b + 49, -3*y = 12. Is 8 a factor of b?
False
Let q(m) = -5*m + 7. Let x be q(-5). Suppose 3*n = 3*t - 8*t + x, -64 = -5*n - 3*t. Does 7 divide n?
True
Suppose -4*n = 2*x - 40, 2*x - 6*x = -n - 44. Suppose 5*h - 51 - 39 = -2*o, x = 2*h - 4*o. Does 12 divide h?
False
Let h be ((-4)/(-6))/((-1)/3). Let z be -1 - -6 - (h + 4). Suppose -z*b = -c + b + 5, 10 = 2*b. Is 15 a factor of c?
False
Suppose 5*r - 3*g = 85, 7*g - 34 = -2*r + 3*g. Is 5 a factor of r?
False
Suppose 264 = 2*f - 312. Does 16 divide f?
True
Suppose -3*j - 12 = -5*j. Does 6 divide j?
True
Let i be ((-138)/10)/(3/(-15)). Suppose 3*s - 2*s - 4*v + 21 = 0, -2*v = -5*s - i. Let r = 24 + s. Does 7 divide r?
False
Suppose -19 - 1 = 5*c. Let f = 2 + c. Does 13 divide -6*10/(-4) + f?
True
Let m(t) be the second derivative of -2*t**3/3 - t**2 + t. Let v be (10/3)/((-8)/12). Is 7 a factor of m(v)?
False
Let u = -52 + 108. Suppose -4*i + 4*q + u = 0, -4*q + 2 = 6. Is 7 a factor of -2 + i + -2 - 2?
True
Let v(u) = -u + 23. Let h be v(18). Let b = 4 + -2. Suppose -59 = -4*w + 3*c, b*c = 3*w - h*w + 40. Is w a multiple of 11?
False
Suppose 2*h - 5 = 15. Let z = h + 1. Does 4 divide z?
False
Suppose 0 = -2*f - 2*y - 1 - 9, 3*f + 4*y = -17. Let u be 1*f + (-8)/(-4). Let d(r) = -10*r - 1. Is 9 a factor of d(u)?
True
Let z = 3 + 9. Is z a multiple of 6?
True
Let u = 4 - 2. Let x be (0*u/4)/(-1). Is 4 a factor of (6 - -2) + (x - 0)?
True
Let q = -119 + 140. Is q a multiple of 2?
False
Suppose -2*b + 10 = 3*t, 5*b = b + 2*t - 12. Let l = b - 8. Does 11 divide 2 + (-1 - (l + -1))?
True
Let x(w) be the first derivative of 8*w**2 + 8*w + 1. Let p be x(8). Suppose 3*f - p = -f. Is f a multiple of 17?
True
Suppose 2*q - 8 = m + 7*q, -10 = 5*q. Let c = -16 - -18. Suppose -m*w = c*w - 60. Does 5 divide w?
True
Suppose -3*k + 1 = 5*r - 303, k - 4*r = 107. Is k a multiple of 11?
False
Suppose f = -0*f + 2. Suppose 2*j - j - d - 2 = 0, -2*d - f = -j. Suppose 24 = -j*k + 3*k. Is k a multiple of 12?
True
Suppose -72 = 5*l - 3*f, 32 = l - 3*l + 2*f. Is (-410)/l + 1/(-6) a multiple of 7?
False
Suppose 0 = 3*m - 0 - 6. Let c = 1 - m. Let i = 17 + c. Is i a multiple of 8?
True
Let c = 112 + 19. Suppose f - 83 = -0*g - 3*g, -5*g + 2*f = -c. Does 17 divide g?
False
Suppose 2*d - 130 = -2*i, 95 = 4*d + 2*i - 167. Is 11 a factor of d?
True
Let p = -6 + 27. Is 3 a factor of p?
True
Let f = -1 - -3. Let y(z) = 19*z + 2. Is y(f) a multiple of 11?
False
Suppose -18*z + 24*z - 150 = 0. Is z a multiple of 2?
False
Let h = -45 - -1. Suppose 3*r + 71 = f - 22, 2*f + 84 = -3*r. Let g = r - h. Is 12 a factor of g?
False
Suppose 78 = 2*r - 40. Suppose 4*x = r + 29. Does 22 divide x?
True
Suppose -2*u + 4*u - 21 = s, -5*u + s = -51. Does 3 divide u?
False
Let d(m) = 7*m**2 + 2*m + 1. Let g(h) = -h**3 + 6*h**2 - 4*h - 6. Let c be g(5). Is d(c) a multiple of 2?
True
Suppose -5*n + 30 = 5*g, -4*g - 16 = -7*n + 3*n. Let p be 2/n - (-36)/(-15). Does 12 divide p + 1/(1/28)?
False
Let d(l) = -l + 7. Suppose 2 - 11 = -3*h. Let y be d(h). Suppose 5*u - 3*u + 4*s - 92 = 0, -2*s = -y*u + 204. Does 25 divide u?
True
Suppose -9 = -h + 6. Let p(i) = 2*i**2 - i. Let b be p(2). Suppose -v - h = -b*v. Does 3 divide v?
True
Suppose 4*p + 1343 = 3*i, -i + 5*i = -4*p - 1308. Let g be (p/(-6))/((-4)/(-6)). Suppose 2*z = -3*s + g - 19, -5*s + 112 = 2*z. Is s a multiple of 12?
True
Let s(q) be the second derivative of -q**5/20 - 5*q**4/12 + 5*q**3/6 + 3*q**2/2 - q. Let y be s(-5). Let c = 38 + y. Is c a multiple of 16?
True
Suppose -3*n - 9 + 23 = 2*r, -4*r + 16 = 3*n. Suppose -u + 0*p - 5*p - 2 = 0, p = 2*u + n. Is (1/u)/(3/(-48)) a multiple of 8?
True
Suppose 423 = -26*x + 29*x. Is 42 a factor of x?
False
Let m = 72 - 51. Suppose 0 = -4*r + m + 7. Does 7 divide r?
True
Suppose 2*m - 3*h = 268, 0 = 2*m - 4*m + 4*h + 264. Is m a multiple of 10?
True
Let h(i) = 6*i**2 + 7*i - 5. Let d(m) be the first derivative of m**3 + 2*m**2 - 3*m - 2. Let y(r) = -7*d(r) + 4*h(r). Is 3 a factor of y(1)?
False
Suppose -2*d - 10 = 4*l - 0, 0 = -d + 5*l + 30. Suppose -q = -3*s + 3*q + 160, 3*q + 285 = 5*s. Suppose s = d*h - h. Is h a multiple of 13?
False
Is -1 + 50/2 + 4 a multiple of 14?
True
Let r = 13 - 21. Let s = r + 12. Is (-126)/(-8) + 1/s a multiple of 14?
False
Let k = 0 - -10. Suppose 3*y + k = -2*y. Does 2 divide -2*(-4 + (-4)/y)?
True
Does 8 divide 4/(-12)*(-41 + -1)?
False
Let f be (-3)/(-2)*(-2)/(-3). Let s be 3/(-12) - f/(-4). Suppose 4 = -s*x + x. Does 3 divide x?
False
Suppose 5 - 29 = -t. Let z = t - 5. Does 19 divide z?
True
Suppose 4*y - 2 = -b, -4*b - b + y = -73. Suppose 4*s = -2 + b. Is (12 - 1)*(s - 2) a multiple of 4?
False
Suppose 2*o + 12 = -2*i + 4, -4*i + o = 1. Let l be (-1)/(i/(-2)) - -2. Suppose l*w - 4*c + 9 = w, -78 = -4*w + 5*c. Is 17 a factor of w?
True
Let o(r) = 3*r**2 - 7*r + 7. Is 11 a factor of o(4)?
False
Suppose -v - y - 3*y = -11, -2*y + 16 = 4*v. Let l(z) = -2*z**2 + 2*z**3 + 4*z - v*z**3 + 3*z**2 - 3 + z**2. Is 5 a factor of l(2)?
True
Let r(f) = f + 5. Let g be r(-5). Suppose 24 - 42 = -6*k. Suppose g = 8*o - k*o - 85. Is o a multiple of 11?
False
Let k(a) = 3*a**2 - a + 4. Let h be k(-5). Suppose -2*u = u + 2*w - h, 0 = -4*u - 2*w + 110. Does 7 divide u?
False
Suppose 3*l = 2*l + 19. Is l a multiple of 2?
False
Is 1/(-3)*(-15)/2*2 a multiple of 2?
False
Suppose 4*a - 13 = -4*w - 1, 0 = -a - 5. Let b = 21 - w. Does 13 divide b?
True
Suppose -17 = -2*h + 17. Is h a multiple of 8?
False
Suppose 8*h + 15 = 2*s + 3*h, 3*h = s - 9. Does 4 divide 5 + (3 - (0 + s))?
True
Suppose -917 + 20 = -13*y. Is y a multiple of 9?
False
Let t = -24 - -57. Is 11 a factor of t?
True
Let o = 13 + 7. Does 3 divide o?
False
Let m(y) be the second derivative of -y**6/360 + y**5/15 - 5*y**4/24 - 2*y**3/3 + 4*y. Let z(r) be the second derivative of m(r). Is 11 a factor of z(4)?
True
Suppose 2*d - 26 = d. Suppose 5*s + d = 106. Is 14 a factor of s?
False
Let v(d) be the second derivative of 2*d**4/3 + d**2/2 + 4*d. Is 3 a factor of v(-1)?
True
Suppose 179 = 3*x - 4*t - 385, 0 = 3*t - 9. Does 24 divide x?
True
Suppose 6*t - 4*t = 374. Is t a multiple of 19?
False
Let l = -385 - -539. Does 23 divide l?
False
Suppose u + 195 = -2*x + 4*u, 0 = 2*x - 4*u + 200. Is 5 a factor of ((-2)/(-6))/((-5)/x)?
False
Is 7 a factor of 0 + 75 + (7 - (-5)/(-1))?
True
Suppose 0 = 2*q - 3*q + 5. Is q a multiple of 5?
True
Let w(m) = -m**2 + 8*m - 6. Let g be w(7). Let p(a) = a**2 + a + 2*a**3 + 2 - 2 - 1. Does 3 divide p(g)?
True
Let x be (-6)/14 - 34/(-14). Suppose 0 = 2*j - 4*p + 6, x*j + j + 5*p - 24 = 0. Is j a multiple of 3?
True
Let l = 56 - 24. Does 16 divide l?
True
Suppose -30 - 315 = -3*k. Is 23 a factor of k?
True
Let x(r) = -r + 4*r**3 + 7*r**2 + 1 - 6*r**3 + 3*r**3. Suppose 32 = -4*b - 5*f, b 