be o(-2). Let n(s) = s**3 - 2*s**2 + 1. Let q be n(l). Let u(b) = 22*b**3 - b + 1. Does 11 divide u(q)?
True
Suppose 15 = 5*r, 17 = 4*g - 0*g - r. Suppose -5 = -5*c, -t + 19 = 2*t - g*c. Is t a multiple of 6?
False
Let d(y) be the second derivative of y**4/12 + 2*y**3/3 - 5*y**2/2 - 7*y. Let b be d(-4). Let g(f) = -f**3 - 3*f**2 + 6*f - 5. Does 15 divide g(b)?
True
Suppose -7*n = 4*m - 9*n - 828, -620 = -3*m + 2*n. Is 26 a factor of m?
True
Let g(j) = j**2 - 4*j + 3. Let n be g(3). Let a be (-8)/(16/4) - n. Is 2 + (25 - 0) + a a multiple of 7?
False
Let x(o) = -25*o + 4. Suppose 0 = -5*v + v + 5*d + 8, 0 = 3*d + 12. Is x(v) a multiple of 17?
False
Let b(f) = -f + 22. Let z be b(10). Suppose -36 = -z*n + 10*n. Does 12 divide n?
False
Let p = 2336 + 101. Is p a multiple of 19?
False
Suppose -m + 4 = -2*m - j, -5*m = -3*j - 20. Is 29 a factor of m/4 - 5790/(-40)?
True
Suppose 3*j = -4*h, -3*h + 2*j - 26 = -9. Does 9 divide (1 - 12/h)/(1/16)?
False
Suppose 113 = z + 40. Let i = -405 - -355. Let x = i + z. Does 11 divide x?
False
Let g = -5 - -10. Let t be 4/((g/(-4))/(-5)). Suppose u - t = -0*u. Is 6 a factor of u?
False
Let o be (-3 + 2)/((-3)/30). Suppose -4*q = 2*x - o, 0 = -3*x + x + 2*q - 2. Is 13 a factor of ((-52)/3)/(x/(-3))?
True
Let g = -378 + 1804. Does 48 divide g?
False
Suppose 3*l - 60 = -0. Suppose l*t + 58 = 22*t. Does 28 divide t?
False
Suppose 0 = 4*c + 4*b - 28, 5*b = c - 5*c + 30. Suppose -c*w + 6*m = 2*m - 7, 3*m = 2*w - 7. Is 10 a factor of 1/w*(-35 + 3)?
False
Suppose 6*d - 30 = 9*d. Let j(g) = -g**2 - 10*g + 4. Let z be j(d). Is 19 a factor of (-168)/(-4) + z/(-1)?
True
Suppose 0 = 3*o - 2*v - 1, -o = 4*o - 3*v - 3. Let z = -1 + o. Is (2*-4)/z + 25 a multiple of 7?
True
Let c = -479 + 915. Does 4 divide c?
True
Suppose 2*v + 14 = -3*p + p, 3*v - 4*p = 14. Let s = v + -2. Does 14 divide s*(3 + 108/(-8))?
True
Suppose 5*w + 29 = 2*x - 0*x, 0 = 4*x + 3*w - 123. Suppose -k = -x - 21. Is k a multiple of 12?
True
Let d = -721 + 146. Does 30 divide (6/(-2))/(((-25)/(-5))/d)?
False
Suppose -3*s + 4*j - j = -2598, -4312 = -5*s - 4*j. Is 8 a factor of s?
True
Let r(s) = -s**3 + s - 18. Let y = -3 - -3. Let v be r(y). Does 9 divide (v/(-5))/((-21)/(-70))?
False
Suppose -k + 3 = 1. Let q be 3 + -4 - (2 + -6). Suppose k*m = 0, -2*x - q*x - 2*m + 80 = 0. Is x a multiple of 12?
False
Let w be (-6 + -122)*7/(-4). Let t = w - 151. Is 16 a factor of t?
False
Let g(a) = 2*a**2 - 89. Is g(-10) a multiple of 3?
True
Let a(z) = -z**3 + 5*z**2 + 4*z + 4. Let t(j) = -3*j - 3. Let v be t(-3). Let u be a(v). Let g(b) = b**3 + 8*b**2 - 8*b - 12. Does 17 divide g(u)?
False
Let u = -13 + 3. Let i be u*-2*38/4. Let a = i + -130. Does 15 divide a?
True
Suppose -17 = -5*y + 3. Suppose 147 = y*p + 23. Does 5 divide p?
False
Let w(n) = -3*n**2 + n + 2. Let m be w(2). Let o be 3/12 - 14/m. Suppose -36 = -o*t + 12. Is 8 a factor of t?
True
Let y = -65 - -72. Suppose 204 + 188 = y*d. Is d a multiple of 28?
True
Suppose 2*p + 3*t + 31 = -2*p, 5*p + 2*t = -30. Is 8 a factor of (-1 - -7)/((-1)/p)?
True
Suppose -109*l = -106*l + 45. Let y(o) = -o**3 - 15*o**2 - 14*o + 2. Does 17 divide y(l)?
False
Let o = 1 + -2. Suppose -26 = 14*q - 15*q. Let m = q - o. Does 13 divide m?
False
Suppose 0 = -2*r - 15 + 5, 0 = 3*s + r - 397. Suppose x = 0, 0*n + x = 2*n - s. Does 23 divide n?
False
Suppose -14 = -2*l + 2*c + 12, 0 = 5*l + 4*c - 56. Is l a multiple of 3?
True
Suppose -3*d + 9 = -0*d. Suppose 3*w - 9 = 0, -4*w - 9 = 4*x - d*w. Is 4 a factor of (-45)/(-10)*(-8)/x?
True
Let b(u) be the first derivative of -2*u**2 - 5*u - 3. Let j be b(-13). Is (j - 4/(-2)) + 1 a multiple of 10?
True
Suppose 0 = 2*f + 3*b - 198, f - 3*b - 2*b - 99 = 0. Suppose 3*g = -f + 30. Let p = 51 + g. Is p a multiple of 12?
False
Let c be 0/(-2)*5/(-10). Suppose x + 3*x = c. Suppose i - 32 = -x. Is 10 a factor of i?
False
Let b = 1884 + -845. Does 17 divide b?
False
Suppose -5*k - 2 - 3 = 0. Let h be (-416)/80*(k - 9). Suppose 0 = 3*p - 5*p + h. Is p a multiple of 13?
True
Suppose q = 2*t - 3289, 3*t - 2*t - 1648 = -3*q. Does 12 divide t?
False
Suppose 16097 = -12*h + 47489. Is h a multiple of 63?
False
Suppose 3*p - 4*p + 2 = 0. Suppose 0 = -p*k - 6 + 446. Is k a multiple of 10?
True
Let g(c) be the third derivative of 0*c**3 + 1/5*c**5 - 1/24*c**4 + 0*c - 5*c**2 + 0. Is g(2) a multiple of 23?
True
Suppose -2*y - 384 = 6*y. Let b = y - -206. Is 19 a factor of b?
False
Let a = 817 - 367. Is 30 a factor of a?
True
Let g(j) be the second derivative of 5*j - 1/6*j**3 + 0 + 2*j**2. Is 10 a factor of g(-6)?
True
Let v = 115 + -86. Is 23 a factor of v?
False
Let h(z) = -9*z**2 - 3*z + 13. Let y(t) = 2*t**2 + t - 3. Let g(r) = -6*h(r) - 26*y(r). Is 26 a factor of g(-6)?
False
Let d(s) = -s**2 - 19*s - 19. Suppose -214 - 26 = 15*a. Is d(a) a multiple of 29?
True
Suppose -4*d = 5*x - 240, -2*x - 3*d = -58 - 45. Does 11 divide x?
True
Let r(o) = o**3 - 6*o**2 + o - 4. Let h be r(6). Suppose -a - 2*p + 6*p = -12, 2*a + 5*p = -h. Suppose -3*u - a*j = -26, -3*j + j = 3*u - 28. Does 7 divide u?
False
Let r = 156 + 181. Is r a multiple of 6?
False
Suppose y + 5*j = 68 + 74, 443 = 3*y - 2*j. Let l = -98 + y. Is 19 a factor of l?
False
Let c(w) = 47*w - 80. Is c(4) a multiple of 4?
True
Let r(k) = -k + 9. Let d(z) = 3*z - 19. Suppose 5*x + 37 = 102. Let a(i) = x*r(i) + 6*d(i). Is 28 a factor of a(5)?
True
Suppose 0 = 4*j - 6*j + 4*g - 190, g = -j - 107. Let z = j - -160. Let s = z - -52. Is s a multiple of 29?
False
Let a(v) = -10*v**2 + 8*v - 11. Let n be a(4). Let h = -94 - n. Does 15 divide h?
True
Let a be 5*6*(3 - (-68)/(-12)). Let x = -41 - a. Is 5 a factor of x?
False
Suppose 0 = 5*w + 15 - 40, 24 = -4*y + 4*w. Let f(m) = 3*m**2 - m. Let u be f(y). Is (u + (-20)/8)*24 a multiple of 9?
True
Let y = 2 + 1. Suppose y + 1 = n. Suppose -2*q = 2*t - 5*q - 83, -n*t + 136 = 4*q. Does 17 divide t?
False
Let s(d) = 2*d**2 - 14*d + 21. Does 15 divide s(11)?
False
Suppose 113*z - 118*z + 1500 = 0. Is 21 a factor of z?
False
Let p = 6251 + -3312. Is 17 a factor of p?
False
Suppose -17*x + 16*x + 306 = 0. Is 17 a factor of x?
True
Let l = 22 + -34. Let d be l/(-20)*5/1. Suppose -d*a + 2 + 16 = 0. Is a a multiple of 3?
True
Let z = 39 - 40. Is 11 a factor of (-2 - z)*(-66)/2?
True
Suppose -2*m = -4*w - 664, -10*m - 1014 = -13*m - 3*w. Is m a multiple of 28?
True
Let v(m) = 9*m**2 + 5*m - 15. Let p(l) = -5*l**2 - 2*l + 8. Let y(b) = 7*p(b) + 4*v(b). Does 26 divide y(10)?
True
Let w = -36 - -56. Suppose w = 5*y, -5*n + 374 = 5*y - 4*y. Does 11 divide n?
False
Is 521 - (1/4)/((-9)/36) a multiple of 18?
True
Let h(k) = -50*k + 203*k**2 + 14*k + 23*k + 14*k. Does 29 divide h(1)?
False
Suppose -30*k + 31*k = 4*j - 2936, -j = 2*k - 734. Does 14 divide j?
False
Suppose 0 = 5*k - 0*k - 20. Suppose 0 = k*y + 5*u - 782, -4*y - u = -6*u - 802. Is 42 a factor of y?
False
Let z(d) = d + 9. Let o be z(-16). Let u be 1 + -6 + (-1)/1. Does 15 divide 12/o*105/u?
True
Let m(k) = k**2 + 10*k - 1. Let g be m(-7). Let l = g - -39. Is l a multiple of 17?
True
Suppose 37 = -0*p + p. Suppose 3*n + p = -2*h - 3*h, -h = n + 7. Is 4 a factor of 156/38 - h/(-76)?
True
Let a(d) = -d**3 - 8*d**2 - 6*d + 12. Let j be a(-7). Let r(x) = x**3 - 6*x - 11. Is 12 a factor of r(j)?
True
Suppose 4*g - 1519 = -5*y, -3*g + 5*y = -0*g - 1113. Let b be g/((-112)/52 + 2). Is b/(-39) - (-1)/3 a multiple of 21?
True
Let h(a) be the third derivative of a**6/120 - 7*a**5/60 + a**4/4 + 2*a**3/3 + 7*a**2. Is h(6) a multiple of 4?
True
Suppose 0 = -4*a - 20, 2*a = 2*z - 2*a - 194. Suppose 0 = -0*s + 3*s - 15. Suppose -z - 183 = -s*k. Does 13 divide k?
False
Let q = 354 - -105. Does 3 divide q?
True
Let t(y) = -y**3 - 22*y**2 - 62*y - 5. Does 18 divide t(-19)?
True
Let g = 2 - -2. Suppose -309 = -g*x + 111. Does 15 divide x?
True
Is 13 a factor of (2 + (-280)/(-21))/((-1)/(-72))?
False
Suppose 1263 = 3*z + 3*s, 0 = 3*z - 2*s - 1382 + 104. Does 9 divide (20/6)/(z/(-108) - -4)?
True
Is (-7)/(8/6 - (-247)/(-156)) a multiple of 4?
True
Let w be 52/6 + (-16)/24. Suppose -i - 5*a + w = -7, 0 = -4*i + a - 3. Is 8 a factor of (i - (3 - 29)) + -2?
True
Let t(p) = 3*p**2 + 21*p - 8. Let z be t(-9). Suppose -v - v = g - z, -2*v = 5*g - 206. Does 20 divide g?
True
Suppose -5*q - 18