 = h + 2*h. Let u(r) = -3*r + 3. Does 10 divide u(a)?
False
Let n(g) be the first derivative of 1/3*g**3 + 2*g**2 - g - 1. Is 4 a factor of n(-5)?
True
Let u = 223 - 109. Is 19 a factor of u?
True
Let b be ((-4)/(-5))/(-4*7/(-770)). Let n(y) = 4*y + 2. Let x be n(3). Let t = b + x. Is 18 a factor of t?
True
Suppose -14 = -2*a - 68. Let t = a - -42. Does 15 divide t?
True
Let f be (7 - 2) + -3 - -3. Suppose -4*r = -3*v + 16, -5*v + 57 = f*r + 7. Does 3 divide v?
False
Let j = 322 - 226. Suppose 2*g - j = s, -s = g - 0*s - 54. Does 25 divide g?
True
Let f(v) = 8*v + 1. Let r be f(1). Let c = r - -10. Suppose 5*o - 4*o - c = -u, -4*o + 90 = -3*u. Is 6 a factor of o?
False
Suppose u - 4*u = -354. Suppose -2*b = -4*k - k - 260, -u = 2*k + 2*b. Let n = -36 - k. Is 10 a factor of n?
False
Let o = 2 - 2. Suppose o*k = 5*k - 315. Let s = k - 36. Is s a multiple of 7?
False
Let x(r) = -r**2 - 2*r + 32. Does 30 divide x(0)?
False
Let q(k) = k**3 + 10*k**2 + 6*k + 3. Is 19 a factor of q(-4)?
False
Suppose y = 7*a - 3*a - 756, -756 = -4*a + 3*y. Does 21 divide a?
True
Let j(r) = 10*r + 5. Let p be j(4). Suppose 5*a - p = -0*a. Is a a multiple of 9?
True
Let u be -2 + -1 - 12/(-2). Suppose 0*k = -u*k + 15. Is 2 a factor of k?
False
Let r(x) = -x**3 - x. Let d be r(-2). Suppose d + 44 = -3*g. Is (-284)/g + (-6)/(-27) a multiple of 16?
True
Is 10 a factor of 36/24*20/3?
True
Is 16 a factor of 6*(88/3)/4?
False
Let w(n) = n - 3. Let g = 11 + -5. Is 2 a factor of w(g)?
False
Let i(d) = 698 + 2*d**2 + 6*d - 698. Is 6 a factor of i(-6)?
True
Let k be (-2 - -3)*4/2. Let m be k/9 - (-7)/9. Is (-9 - m)/(1/(-2)) a multiple of 8?
False
Suppose 416 = 4*b + 4*b. Does 26 divide b?
True
Let z = 71 - -25. Is z a multiple of 16?
True
Suppose 4*j + 4 = 4*k, j + 3*k = 6*j + 3. Suppose -5*d + 21 = -4, j = -4*c - d + 29. Is c even?
True
Let l = -357 + 510. Does 17 divide l?
True
Let b(l) = -l + l**3 - 5*l + 2 - 3 - 5*l**2. Let s be b(6). Let r(a) = -11*a**3 - a**2 - a. Does 5 divide r(s)?
False
Let z = 31 + -7. Suppose 5*m = m - 5*j + 102, -2*j = m - z. Is 10 a factor of m?
False
Is 11 a factor of 11/(-3)*(-1 - 2)?
True
Is 120*5*3/45 a multiple of 4?
True
Let u(p) = p - 7. Let w be u(4). Is 2/3*(w + 78) a multiple of 14?
False
Let w(v) = -7*v**3 + v**2 + 3*v - 5. Let t(p) = -13*p**3 + 2*p**2 + 6*p - 9. Let j(y) = 6*t(y) - 11*w(y). Let k be j(-2). Let d = -4 + k. Is d a multiple of 3?
True
Suppose 0 = -y - y. Let a be -1*(1 + y)*100. Is 8 a factor of a/(-6) - 8/12?
True
Suppose 7*g - 4 = 5*g. Suppose 582 = g*q - z + 2*z, -5*z + 282 = q. Suppose -4*n + q - 92 = 0. Does 17 divide n?
False
Let s = -61 - -160. Is s a multiple of 26?
False
Let b(c) = 3*c + 1. Let s(w) = -6*w - 2. Let h(d) = -11*b(d) - 6*s(d). Let m be h(1). Suppose 15 = m*f - 25. Is 9 a factor of f?
False
Let n = -5 - 0. Does 12 divide n/((-15)/213) - 4?
False
Is 2/3 - (-1190)/15 a multiple of 26?
False
Suppose w = -1 + 38. Let c = -3 + w. Does 17 divide c?
True
Suppose 70 = 5*u - 20. Is u a multiple of 3?
True
Let m(u) = -24*u - 1. Let h be m(-4). Let k = h - -25. Suppose 0 = 2*y - 6*y + k. Is 15 a factor of y?
True
Let p be (-4)/(4/(-21)) + 3. Does 7 divide (-66)/(-4)*16/p?
False
Suppose -u - u - 5*s + 282 = 0, -4*s = -5*u + 771. Let d = -108 + u. Is 15 a factor of d?
False
Let v = 97 - 13. Suppose v = -x + 5*x. Is x a multiple of 14?
False
Suppose 5*b = -32 + 327. Is b a multiple of 17?
False
Suppose -5*w = 3*i - 2, 2*w + 4 + 12 = 3*i. Suppose 4*k = -16, -r = 4*r + i*k + 21. Does 13 divide (1 - 29 - -2)/r?
True
Let j be (28 - 2)/((-2)/(-1)). Let n(v) = 41*v + j*v - 14*v. Is 16 a factor of n(1)?
False
Let v be (-1)/((2*-1)/6). Suppose v = 3*k - 2*k. Does 3 divide k?
True
Let t = -10 + -2. Let n(r) = r**2 + 13*r + 10. Let p be n(t). Does 16 divide -33*(-3 - p)*1?
False
Let t(b) = -18*b + 8. Is t(-2) a multiple of 22?
True
Let g(d) = -d - 1. Let z(q) = -35*q + 3. Let a(r) = 2*g(r) + z(r). Is 9 a factor of a(-1)?
False
Let n(t) = -t**3 - 4*t**2 + 5*t + 5. Does 21 divide n(-6)?
False
Suppose 2*t = -5*c + 11 + 5, 4*t = 5*c + 92. Is t a multiple of 6?
True
Let r = -8 - -14. Is 11 a factor of -3*(-2)/r - -58?
False
Suppose 2*r = 3*j + 6, -3*j = -5*r + 8 + 7. Suppose -r = -k + n + 64, 2*k + 5*n = 127. Is 22 a factor of k?
True
Let b = 667 - 440. Is 22 a factor of b?
False
Let a(d) be the third derivative of -d**5/60 - d**4/4 - 2*d**2. Let p(k) = k - 5. Let g be p(0). Is a(g) a multiple of 3?
False
Let u = 12 + 36. Is 16 a factor of u?
True
Let d(k) be the third derivative of -13*k**4/24 - k**3/3 - 4*k**2. Is d(-1) a multiple of 3?
False
Is 19 a factor of (-2 - 388/(-4))/1?
True
Let j be -1 + (-2 - (1 + 0)). Let r(l) = 3*l**2 + 3*l. Does 16 divide r(j)?
False
Let o(f) = 26*f + 5. Let v be o(8). Suppose -m + 91 = -5*x, 3*m - 5*x - v = -2*x. Does 22 divide m?
True
Suppose 68 = 3*j + 14. Suppose -3*h - 2*x = -125, -4*x - j = 2. Let m = -24 + h. Is 6 a factor of m?
False
Let b(y) = 3*y**2 + 4*y + 1. Let o be (-2)/(7/(35/2)). Is b(o) a multiple of 14?
True
Suppose 3*g - 3 = 3*j, -3*g - 21 = -6*g - 3*j. Suppose 6*h + g = 7*h. Suppose 0 = -0*m - m - 3*k + 43, -h*k + 259 = 5*m. Does 13 divide m?
False
Suppose 2*u + 65 = -3*u. Suppose 0 = -5*r - 0*r - s - 117, 4*s = -3*r - 77. Let p = u - r. Is p a multiple of 10?
True
Let p = -6 - -6. Suppose p*q + 12 = 3*q. Is 4 a factor of q?
True
Let g(s) = s**2 + 12*s - 4. Let f be 1 + 0 + (-3 - 12). Is 6 a factor of g(f)?
True
Let u be (-3)/(9/1)*-3. Is 9 a factor of 220/8 + u/(-2)?
True
Let c(g) = -g**3 - g**2 - 2*g. Suppose -4*o + 22 = -3*d, -2*o + 15 = -4*d - 1. Does 8 divide c(d)?
True
Is (-5 + 9 + -3)/((-2)/(-16)) a multiple of 7?
False
Let z(i) = i**3 - 6*i**2 - 3*i - 4. Let b be z(9). Suppose 0 = -5*m + b + 113. Is 19 a factor of m?
False
Let o = 59 - 38. Is (1 + 1)*o/2 a multiple of 8?
False
Let n(z) = -z**2 + 11*z + 4. Is n(8) a multiple of 6?
False
Let y be (10/3)/(4/6). Suppose 5*s + 3*t = 214, -2*s = -y*s - 5*t + 122. Let v = -31 + s. Is v a multiple of 12?
False
Suppose -2*b - 5 = k + 2*k, 0 = 5*b - 3*k - 19. Let h(q) = -5*q**2 - 6. Let i(f) = -6*f**2 - 7. Let v(m) = -5*h(m) + 4*i(m). Does 6 divide v(b)?
True
Suppose 803 = 3*m - 13*f + 18*f, 4*f - 16 = 0. Is 9 a factor of m?
True
Let g(o) be the second derivative of -o**2 + 0*o**3 + 0 + 3*o + 2/3*o**4. Does 15 divide g(-2)?
True
Suppose 0 = 10*y - 2630 - 910. Does 59 divide y?
True
Let s be (-2)/(-9) + (-151)/(-9). Let z = -8 - -5. Let l = s + z. Is l a multiple of 7?
True
Let s = -26 + 37. Let b = 7 - s. Is (2/4)/((-1)/b) even?
True
Let b(p) = 3*p + 16. Does 6 divide b(5)?
False
Let u = 5 - -2. Suppose 0*p + 4*p = 16. Suppose p*b = u + 13. Is b a multiple of 2?
False
Let d = -29 - -68. Is d a multiple of 6?
False
Suppose -3*g + 9 = -2*q + 3*q, -11 = -5*q + 2*g. Is 9*(8 - (2 - q)) a multiple of 25?
False
Suppose -2*h = 3*i + 13 - 6, -3*i + 2*h - 11 = 0. Let s = 0 - i. Suppose 4*z - 52 - 34 = 2*q, -q + 57 = s*z. Is z a multiple of 18?
False
Let y(m) = 8*m. Let f(x) = x**2 + 8*x + 5. Let u be f(-8). Is y(u) a multiple of 11?
False
Suppose -j - 4*h = 20, 4*j + 13 = -4*h - 7. Suppose -3*b + j*b + 15 = 5*k, -3*b + 15 = -2*k. Suppose c + 4*p - 5 = 0, c = -k*c + 2*p + 23. Is 6 a factor of c?
False
Suppose -5*h + 3*v - 2 = 0, -2*h + 3*v + 4 = 3. Is 10 a factor of 4/(-6)*(h + -14)?
True
Is 18 a factor of (-3)/(3/552*-6)?
False
Let s = 4 + -2. Does 19 divide -2 + s + 0 + 38?
True
Let n be 0 + (-3)/6*2. Is 22 a factor of n/(-4) - (-87)/4?
True
Suppose 4*a - 9*a + 715 = 0. Is 13 a factor of a?
True
Suppose 2*d = -0*d - 4. Let p(g) = -22*g. Let y be p(d). Suppose -y = -5*n - 14. Is n a multiple of 3?
True
Suppose -2*v - 9 = -1, -2*l = -5*v - 38. Let r = 12 - 8. Let u = r + l. Does 13 divide u?
True
Let i = 2 + 0. Suppose 2*u - 4 = v - 26, -i*u = -10. Does 15 divide v?
False
Let d(m) be the third derivative of -m**5/60 + m**4/24 - m**3/2 - 2*m**2. Let a be d(0). Is 6 a factor of (2 - 1) + (-15)/a?
True
Let p = 13 + -10. Let y = -90 + 145. Suppose p*h - y = o, -2*h - h + 39 = 3*o. Does 11 divide h?
False
Let t = 36 + -27. Is 2 a factor of t?
False
Let k(r) = 8*r - 8. Is k(9) a multiple of 29?
False
Let g(r) = r**3 + 10*r**2 - 13*r + 9. Is g(-7) a multiple of 13?
True
Let g be -402*(-1 - 0) + 0. Suppose 4*n + 5*w = 535, -3*n + 0*w - 3*w = -g