iple of 34?
True
Let s be -2*2/2 - -5. Let x(q) = -3 - 2*q + s + 3 + q**2. Does 7 divide x(5)?
False
Let a(y) = y**3 + 6*y**2 - 7*y - 4. Let d be a(-7). Is (-8)/(-3)*(-6)/d a multiple of 2?
True
Let t(v) = -29*v + 2. Let h be t(2). Is (-36)/14*h/6 a multiple of 11?
False
Let w be 4/4*(-2)/2. Let c be -5 + 4 - (0 - w). Does 5 divide ((-26)/(-2))/(-1 - c)?
False
Let h(w) = -4*w - 5. Let n(y) = 12*y + 14. Let g(s) = -17*h(s) - 6*n(s). Is g(-2) a multiple of 9?
True
Let u(h) = -11*h + 1. Let b be u(1). Does 2 divide (1 + 18/b)*-5?
True
Let i(o) = o**2 + 6*o + 1. Let b be i(-7). Suppose b + 136 = 4*f. Does 18 divide f?
True
Let x be 24*-6*(-4)/(-18). Let p = 49 + x. Is 17 a factor of p?
True
Let g(w) = -w**3 - 9*w**2 - 4 - w + 4 - w. Is g(-9) a multiple of 6?
True
Let r(i) = i**2 + 2*i + 20. Is 19 a factor of r(-5)?
False
Let w(n) be the third derivative of -n**5/60 - 5*n**4/12 + 2*n**3/3 - 2*n**2. Let u be w(-8). Is (-6)/8 - (-1155)/u a multiple of 15?
False
Let w be (-21)/(-15) - 2/5. Suppose -2*l - 3 = -w. Does 8 divide (0 - 1)*-7 - l?
True
Let q be (-2)/(-8) - (-30)/8. Suppose -q*d + 8 = -4. Is 2 a factor of d?
False
Suppose 0*x - 2*x = -32. Let r = -4 + x. Let a = r + -6. Does 6 divide a?
True
Suppose g + 20 = 3*g. Is ((-16)/g)/((-2)/45) a multiple of 13?
False
Suppose 0 = t - 6*t. Suppose t*v - 66 = -3*v. Is 11 a factor of v?
True
Let z(c) = -c**3 - 22*c**2 + 20*c + 13. Is 20 a factor of z(-23)?
False
Let z = -8 - -11. Suppose 0 = v - 1 - z. Let j = v - -14. Is 6 a factor of j?
True
Let i(t) = 14*t + 49. Let r be i(-6). Let n(u) = u**3 - 5*u**2 + 4*u + 5. Let o be n(6). Let y = r + o. Is y a multiple of 12?
False
Suppose 6 = 6*l - 4*l. Suppose l*s + 48 = 7*s. Is 5 a factor of s?
False
Does 8 divide (20/(-15))/(1/(-6))?
True
Suppose -4*m + 3*h - 6 + 0 = 0, -2*m = 4*h + 14. Let p(q) = -22*q + 6. Is p(m) a multiple of 24?
True
Let v(j) be the first derivative of 7*j**2/2 - 6*j - 2. Let d(r) = -r**3 - 2*r**2 - 3*r. Let h be d(-2). Is v(h) a multiple of 18?
True
Let s(o) = -53*o - 10. Let k(a) = -52*a - 11. Let t(f) = 5*k(f) - 6*s(f). Let q(i) = -29*i - 2. Let c(h) = 7*q(h) + 3*t(h). Is 11 a factor of c(-1)?
False
Let p(z) be the second derivative of -z**3/6 + z**2 - 3*z. Is 6 a factor of p(-9)?
False
Let m be ((-72)/(-16))/((-3)/28). Let j = m + 61. Let s = j - 6. Is 13 a factor of s?
True
Let q be 1 - (-3)/(0 - -1). Suppose -5*w = 3*k - q*w - 77, 0 = 2*k + w - 51. Is k a multiple of 16?
False
Let s = 230 + 10. Is 48 a factor of s?
True
Let m(i) = 3*i**2 - i - 3. Let s be m(-3). Let g = s + -7. Is g a multiple of 20?
True
Suppose -5*j - 1 = -6. Let k = j - -3. Suppose -5*z - n = -118, 9*n = -5*z + k*n + 130. Is 13 a factor of z?
False
Let q be ((-64)/10)/((-1)/5). Suppose -3*b = -10 - q. Is b a multiple of 7?
True
Let s be 2 + 2*-4*1. Is 24*(1 - (-4)/s) a multiple of 8?
True
Let j(b) = -193*b**3 - 3*b**2 + 2. Does 24 divide j(-1)?
True
Let v(c) = -c - 3. Let f be v(-6). Suppose 171 - 30 = f*n. Does 12 divide n?
False
Let h(g) = -g**3 + 7*g**2 + g - 5. Let n be h(7). Let b be (-1)/2*(-20)/n. Suppose -3*o + 5*j - 1 = -18, 22 = b*o - 2*j. Does 3 divide o?
False
Let c be (-8)/(-44) + 4/(-22). Suppose 4*n - 16 = -4*y, 4*y - 2*y - 20 = -5*n. Suppose 2*p - 5*w = 58, -5*p + c*w + 79 = n*w. Does 10 divide p?
False
Let z be 1 - (-3 - -6)*1. Is ((-1)/z)/((-1)/(-8)) even?
True
Let w(p) = p**2 - p. Is w(-11) a multiple of 10?
False
Is 8 a factor of (4/6)/((-4)/(-90))?
False
Let d(i) = -i**3 + 9*i**2 + 14*i - 12. Suppose 168 = a + 2*a. Suppose 4*o + 16 = a. Does 14 divide d(o)?
True
Suppose 0 = 4*g - 9*g + 15. Suppose -3*x = -42 + g. Does 11 divide x?
False
Let v = -53 + 27. Let k = v + 10. Let p = 28 + k. Does 11 divide p?
False
Suppose 3 = -4*p + 11. Suppose g - 37 = -i, -4*g + 7*g = p*i + 121. Is g a multiple of 13?
True
Let f be 84/(-49) - (-2)/(-7). Let t = -10 - f. Let s(r) = -3*r - 3. Is s(t) a multiple of 10?
False
Let o = -55 - -103. Is o a multiple of 8?
True
Suppose 4*w + 148 = -3*h - 0*h, 2*w + 3*h + 80 = 0. Let m = w + 56. Is 11 a factor of m?
True
Let g = 45 + -34. Is 11 a factor of g?
True
Let o(n) = 5*n + 11. Let v(y) = 4*y + 11. Let m(q) = -2*o(q) + 3*v(q). Is 9 a factor of m(8)?
True
Let t(m) = -m**2 - 10*m - 7. Let o be t(-8). Suppose -2*x + 121 = o. Is x a multiple of 14?
True
Suppose -z = -2 - 3. Suppose z*f + t + 3*t = 112, -5*f = 2*t - 106. Does 8 divide f?
False
Let x = -2 - -5. Suppose 50 = c - 4*d + 3, 127 = 2*c + x*d. Let i = c - 21. Is 16 a factor of i?
False
Is (300/(-40))/(2/(-28)) a multiple of 18?
False
Suppose 0*s = s + 6. Is (74/s)/(1/(-6)) a multiple of 19?
False
Let a(z) = z**3 + 3*z**2 + 5*z + 3. Let f(v) = 2*v**3 + 7*v**2 + 10*v + 7. Let l(i) = -5*a(i) + 3*f(i). Is 6 a factor of l(-5)?
True
Let y(f) = -f**3 - 5*f**2 - 2*f - 4. Let q = -9 + 4. Is y(q) a multiple of 3?
True
Let b(g) = 5*g**2 - g**3 - g + 3*g + 2 + g. Is 12 a factor of b(4)?
False
Let n be (-2 - -1)/(3/(-3)). Let t = n - -6. Is (0 - (-1 - 0)) + t a multiple of 4?
True
Suppose -450 + 105 = -5*u. Suppose 4*b = 4*m - 91 - u, 2*b = -m + 52. Does 21 divide m?
False
Let l = 4 - 0. Is 6 a factor of (-48)/20*(-30)/l?
True
Suppose -r = -0*r - 15. Let n(o) = o**2 - 5*o + 9. Let i be n(7). Let y = i - r. Is y a multiple of 6?
False
Let b = -44 + 92. Is 16 a factor of b?
True
Suppose r + 66 = -2*y, y + 265 + 47 = -5*r. Let w(t) = t**2 - 16*t - 22. Let x be w(15). Let z = x - r. Does 13 divide z?
False
Let z = 11 - 6. Suppose -j = -2 - z. Does 7 divide j?
True
Suppose -5*m + 5*x + 240 = 0, 3*x - 2*x = -4*m + 217. Is 9 a factor of m?
False
Let y be 7 + -6 + 56/2. Let q = y + -7. Suppose -5*f + 266 = -4*r, 2*f - q = -r + 87. Is 20 a factor of f?
False
Suppose 3*n - 5*q - 15 = -0*n, -3*n + q + 15 = 0. Let i = 18 - 14. Suppose 5*r - n*c = 70, -58 = -3*r - i*c - c. Does 16 divide r?
True
Let y(d) = d**3 - 8*d**2 - 6*d - 5. Suppose -5*k + 2*p = -53, 5*k + 16 - 57 = -p. Does 12 divide y(k)?
False
Let j = 14 + -8. Let f(h) = -h**3 + 6*h**2 + h - 6. Let l be f(j). Suppose 2*v - 7 - 1 = l. Does 4 divide v?
True
Let d(o) = o**2 + o - 5. Let g be d(5). Suppose 0 = q + 4*q - g. Suppose -q*c = -0*c - 30. Does 6 divide c?
True
Suppose 3*i + 57 = -2*f, i + 2 = -2*f - 17. Is (-2 + i)*2/(-6) a multiple of 5?
False
Let v(t) = -2*t + 0*t**3 + t**3 + 0*t**3 + 10 - 8*t**2. Let g be v(8). Let p = -3 - g. Is p a multiple of 2?
False
Suppose -5*h + 31 = 2*o, 3*o + 4*h = 34 - 5. Is 12/(1 + 0) - o a multiple of 2?
False
Suppose y - 120 = -4*x, -3*y + 4*y = x + 135. Let s = -82 + y. Is s a multiple of 17?
False
Let r be 560/30 + (-2)/3. Suppose c + 4*t = -0*c + r, c + 3*t = 15. Is c a multiple of 6?
True
Let x be -222*(-1)/6*4. Suppose x = 5*g - 167. Does 21 divide g?
True
Let g(i) = i**2 - 9*i + 8. Let t be g(7). Does 19 divide t/3*-17 + -1?
False
Let n = -2 - -7. Suppose 3 = n*g + 28. Let s(a) = a**3 + 5*a**2 + 4. Is 4 a factor of s(g)?
True
Let n be 20/(-8)*(-4)/5. Let u(g) = 5*g - 1. Is u(n) a multiple of 9?
True
Suppose -h = -1 + 7. Let x(k) = k**3 + 4*k**2 + k + 8. Let v be x(h). Let y = -40 - v. Does 9 divide y?
False
Let f(i) be the first derivative of i**3/3 + i**2 - i - 2. Let b be f(-2). Let s(c) = 12*c**2 - 1. Does 11 divide s(b)?
True
Let l = -6 - 2. Does 7 divide 105/(-6)*l/10?
True
Let w(t) = 10*t - 3. Let i be w(5). Let p = -22 + i. Does 11 divide p?
False
Let m = -2 + 6. Let h be (-8)/(-6)*(-174)/m. Let p = -24 - h. Does 17 divide p?
True
Suppose -2*q = 2*a, -3*q + 5*q - 14 = 5*a. Does 2 divide (-9)/a*32/24?
True
Let b = -36 - -92. Does 7 divide b?
True
Is (-210)/(-5)*(12/(-14))/(-1) a multiple of 18?
True
Suppose -2*d + 54 + 32 = 0. Let g = d + -31. Is 7 a factor of g?
False
Suppose -4*m - 5 = 3*y - 6*y, 5*m + 12 = -2*y. Let x(b) = -48*b + 1. Does 18 divide x(y)?
False
Suppose 3*o = 0, 3*o = -2*j - 2*o + 10. Suppose -100 = -j*h + 2*d, 4*d - 42 = -h - 0*h. Is 2 a factor of h/10 - (-2)/(-10)?
True
Suppose -12 = -4*g + 5*n + 9, 5*n + 5 = 0. Suppose 6 = -3*d + g*d. Is d even?
True
Let u(y) = -2*y. Let k be u(-1). Is 17*2*1/k a multiple of 17?
True
Let w = -127 + 206. Is 15 a factor of w?
False
Let q be (0 - -3)/3 - -4. Suppose 0*s = -s + q. Suppose -5*d = -y - d - 6, 0 = 2*y - s*d. Is y a multiple of 4?
False
Suppose 6*d + 15 = 3*d. Let y = d + 10. Is 5 a factor of y?
True
Let z b