t derivative of v**3/3 + v**2/2 - 7*v + 6. Let j be m(-4). Suppose d = j*d - 132. Does 11 divide d?
True
Suppose -4*f + 0*d = -2*d - 1910, -4*d + 2368 = 5*f. Suppose 4*r + 0*r - f = 0. Does 25 divide r?
False
Let v be (2 - (6 + -4)) + 4. Suppose -8*f + v*f + 3*d = -948, 4*d = -2*f + 496. Is 24 a factor of f?
True
Let a(d) = -5*d + 2. Let h be a(-1). Suppose 10*k = h*k + 186. Does 27 divide k?
False
Let k(v) = -v**2 - 12*v + 33. Let t be k(-14). Let q(b) = b**3 - 3*b**2 - 7*b + 6. Is q(t) a multiple of 15?
False
Suppose -25*x + 18*x = -3423. Suppose 4*a + 5*g - x = 0, 0*g + 636 = 5*a - 2*g. Does 36 divide a?
False
Let t(v) be the first derivative of -v**4/4 + 7*v**3/3 - 7*v**2/2 + 10*v + 9. Let m be t(6). Is 4 a factor of (132/(-11))/((-6)/m)?
True
Suppose -172 = 3*c + 164. Let m = 143 + c. Is 3 a factor of m?
False
Suppose 0 = 5*l + 5*x - 3540, -4*x = -4*l + 2901 - 93. Is l a multiple of 15?
True
Let n(g) = -22*g - 20. Let o = -46 - -36. Is 8 a factor of n(o)?
True
Suppose -11 = -4*t + 5*b, 5*b - 5 = -0*b. Suppose -z + 41 = -2*y + y, t*y + 121 = 3*z. Is 14 a factor of z?
False
Let a be 6/27 + (-50)/(-18). Let q(l) = 0 - 4 - 10 - l**a + 9*l**2 + 12*l. Does 3 divide q(10)?
True
Suppose -t + 0*t = -2*x - 48, 104 = -4*x + 4*t. Let w be (-348)/x - 12/(-66). Suppose -d + w = 1. Does 4 divide d?
False
Let d(v) = -1200*v - 305. Is 145 a factor of d(-4)?
True
Let w = 37 - -62. Let q be w/(-2)*(-6)/9. Suppose -1 = 4*l - 5, 3*l + q = z. Does 11 divide z?
False
Suppose 8*a - 2*a = 0. Suppose 0 = 5*x + 5*t - 160, 5*x + 0*t - 160 = -2*t. Suppose a*f = -f + x. Is 17 a factor of f?
False
Let v(u) = 42*u + 21. Let r be v(3). Is 28 a factor of (-4 - 32/(-6))*r?
True
Let p(g) = g**2 - 4*g + 19. Let b be p(9). Let d = -23 + b. Does 14 divide d?
False
Let b(w) = 27*w - 30. Suppose 5*l - 33 = -8. Let q(h) = 11*h - 12. Let i(k) = l*b(k) - 12*q(k). Does 2 divide i(3)?
False
Is ((-47667)/(-9) - 2) + (-60)/(-36) a multiple of 14?
False
Let t = 31 - 35. Let s(u) = -u**2 - 9*u + 2. Does 11 divide s(t)?
True
Let d be ((-7)/3 + 1)*6/(-4). Suppose 4*g - 6 + 26 = 0, -d*g = 4*t - 34. Is 2 a factor of t?
False
Suppose 10*h - 167 + 97 = 0. Is 7 a factor of h?
True
Let g = 8 + 5. Let d(z) = z + 13. Let w be d(-3). Suppose 0 = p - w - g. Is 5 a factor of p?
False
Let j = -131 - -175. Does 44 divide j?
True
Let t be -25*1/((-10)/(-4)). Let y be ((-15)/t)/(3/(-4)). Let w(j) = 3*j**2 + 3*j + 1. Does 3 divide w(y)?
False
Let y = -961 - -1177. Is y a multiple of 4?
True
Suppose 4*q - 5032 - 2330 = -3*n, 5*n + 2*q = 12270. Does 48 divide n?
False
Suppose -3*a - 1708 = -p, -p + 5*a + 1710 = -0*p. Does 31 divide p?
True
Let g(c) = -14*c - 11. Let b(a) = -5*a - 4. Let m(x) = 8*b(x) - 3*g(x). Let r be m(8). Suppose -19 = -4*z + r. Is z even?
False
Let k = 111 + 489. Suppose -4*m - 4*f = -k, -5*m + f - 117 = -879. Is m a multiple of 19?
True
Suppose 20 + 4 = 4*i. Is 19 a factor of (-8)/(-6) - (-676)/i?
True
Let i(r) = -6*r**3 - 3*r - 3. Let u be i(3). Let x = 298 + u. Is x a multiple of 16?
False
Does 106 divide (-6 - 30/4)*-64?
False
Suppose f - 198*k - 1904 = -201*k, -k - 9584 = -5*f. Is 8 a factor of f?
False
Let t = -2 + 15. Suppose z - 4 = -t. Let h = z + 15. Is 5 a factor of h?
False
Let j(s) = -s + 5. Let i be j(-5). Let p = 103 + -62. Let b = p - i. Is b a multiple of 9?
False
Let l = 44 + 18. Is l a multiple of 31?
True
Does 33 divide 6*1 - (-39 + -178)?
False
Let l be 1*4 - 0/10. Let x(q) = -4 - 6*q - l*q + q. Is x(-3) a multiple of 16?
False
Suppose -u = 3*l - 9 - 1, -3*l + 5*u - 14 = 0. Is 11 a factor of ((-7)/(-21))/(l/66)?
True
Let w(c) = c**2 - 4*c + 36. Does 12 divide w(0)?
True
Let n(s) be the third derivative of s**5/60 + s**4/12 - 4*s**3/3 + 31*s**2. Does 13 divide n(9)?
True
Let u(m) = m**2 - 3*m - 4. Suppose 0*k + 3*x = k, 5*x - 34 = -4*k. Is u(k) a multiple of 7?
True
Is 24 a factor of (-8)/2 + (-5 + 7 - -146)?
True
Is 51 a factor of (-9 + 6)*2219/(-3)?
False
Let d(m) = -m**3 + 9*m**2 - 6*m - 13. Let q be d(8). Suppose -4*u - 118 + 346 = q*w, 0 = -2*u. Does 14 divide w?
False
Suppose 4*f + 2912 = 4*r, -4*r + 5*f + 795 = -2119. Does 66 divide r?
True
Let v be 2 + 0/(-3) + -2. Let c = 20 - 4. Suppose 5*d + 3*l = 27, -2*d + 4*l + 0*l + c = v. Does 3 divide d?
True
Let o = 227 + 267. Is o a multiple of 83?
False
Suppose 3188*c - 3184*c = 360. Is c a multiple of 9?
True
Let l = -87 - -49. Is 43 a factor of (6/3*(l - 5))/(-2)?
True
Let g(n) = n**2 - n + 4. Let v be 6/1 + (-12 - -9). Is g(v) a multiple of 9?
False
Suppose 0 = -5*h - 3*k - 103, h + 5*k + 45 = -h. Does 5 divide (h/8)/((-2)/4)?
True
Let g(w) = 4*w + 3. Let h(j) = 5*j + 3. Let p(m) = 4*g(m) - 3*h(m). Does 6 divide p(7)?
False
Suppose -2*w = -r + 3*r - 18, -20 = -4*w. Suppose 0 = h + r*h - 1335. Is 36 a factor of h?
False
Suppose -4*y = -9*y - 3*z + 1828, -4*y + 1456 = -4*z. Is y a multiple of 31?
False
Let j(b) = b**3 - 9*b**2 + 15*b - 2. Let h be j(7). Suppose 0 = -h*i + 20, 2*t - 72 = 3*i + 140. Is 8 a factor of t?
True
Let x(f) be the first derivative of 5*f**3/3 - f**2 - 29. Suppose 2*t = -k, -2*t - 4 = -0*t. Is 25 a factor of x(k)?
False
Let j(v) be the third derivative of -3*v**6/40 + v**4/12 + v**3/3 + 5*v**2. Suppose 0*z - 3*h = -2*z + 5, -4*z = -2*h + 2. Does 23 divide j(z)?
False
Suppose 2*i - 732 - 1351 = -3*o, 5*i - 2768 = -4*o. Does 70 divide o?
False
Let n(q) = -q + 2. Let f be n(2). Suppose h + 2 = -f*h. Does 16 divide (37 - h)*(-4)/(-6)?
False
Suppose 0 = -0*o - 11*o + 528. Let y = o - 8. Is y a multiple of 8?
True
Suppose 11*m = 6*m + 25. Let u(f) = 15*f - 5. Is u(m) a multiple of 11?
False
Let m be (1/(-4))/((-1)/4). Does 4 divide (40 - 14) + (-1 - m)*1?
True
Let o(r) = r**2 + 6*r - 3. Let h be o(-7). Suppose -2*i - h = p - 2, 2*i = -2*p + 2. Suppose -220 = -p*l + 100. Does 40 divide l?
True
Suppose 3*k = 2*y - 5 - 1, -k = y + 7. Is 15 a factor of (2 - (-214)/(-6))*y?
False
Let g(u) = -160*u - 319. Is 16 a factor of g(-5)?
False
Suppose u - 2*u + 2 = 0. Let y be 31 - (0 + u + -1). Is (-2)/(89/y - 3) a multiple of 17?
False
Let r = 146 + 102. Does 62 divide r?
True
Let h(q) = -3*q**3 - 4*q**2 - 4. Let t(k) = -2*k + 9. Suppose 0 = m + 3*m - 24. Let l be t(m). Is 16 a factor of h(l)?
False
Let t(a) = 5*a**2 - 2 - 6 - 2*a**2 + 14. Is 32 a factor of t(-6)?
False
Suppose -32 = -5*m - 7. Let c(u) = -8*u**2 - 5*u - 3*u + 5*u**2 + 5 + u**3. Is c(m) a multiple of 6?
False
Let n(s) = 3*s - 3. Let f be n(3). Let a(c) = c - 5. Let z be a(f). Let t(b) = 13*b**2 - b. Is t(z) a multiple of 12?
True
Suppose 10*g - 541 - 9 = 0. Does 11 divide g?
True
Suppose -1653 + 375 = -3*c. Suppose -c = 7*k - 13*k. Does 16 divide k?
False
Is 14/77 + (-84366)/(-22) a multiple of 30?
False
Suppose -5*u = 3*q - 998 + 284, -5*u + 718 = q. Is 33 a factor of u?
False
Suppose -10*h + 68 = -9*h + 3*y, -5*h - y = -298. Does 3 divide h?
False
Suppose -4*o = -25*x + 27*x - 322, 77 = o - 3*x. Is 5 a factor of o?
True
Suppose -18*b - 744 = -24*b. Is 31 a factor of b?
True
Let p(q) = 517*q**2 + 3*q - 2. Is 74 a factor of p(1)?
True
Let b(l) = 2*l + 1. Let u be b(4). Is 28 a factor of (17 - 2)*66/u?
False
Let b = -1772 + 2608. Is b a multiple of 26?
False
Let v(g) be the third derivative of -g**4/24 + 5*g**3/6 - 2*g**2. Let q be v(6). Does 3 divide (-28)/8*(q + -1)?
False
Let y = 7 + -4. Suppose 0 = y*n - 12 - 12. Does 7 divide n?
False
Let n(r) = r**2 - 10*r - 13. Suppose 4*c - 2*c - 5*s - 47 = 0, -4*c - 5*s + 19 = 0. Let a be n(c). Let o(x) = 7*x**2 + 2*x + 2. Does 13 divide o(a)?
True
Suppose 0 = -2*c + 5*g - 2*g + 121, 0 = -5*g - 15. Let m = 96 - c. Is m a multiple of 8?
True
Let w = 24 - 27. Suppose 0 = -2*l + 172 - 4. Is l/(w/8*-4) a multiple of 27?
False
Suppose -5*p = -2*p + 228. Let h = p - -124. Is h a multiple of 16?
True
Is (8 + -2)/((-28)/(-4872)) a multiple of 87?
True
Let s = 1867 + -983. Is s a multiple of 34?
True
Let i(p) = -2*p**2 - 10*p + 1. Let l be i(-7). Let s be l/(-18) + 6/(-4). Suppose s*c - 3*c = -84. Is c a multiple of 14?
True
Suppose 5*r = 1365 + 3155. Does 15 divide r?
False
Suppose -3*y + 5*g + 423 = -960, 3*y = -2*g + 1362. Is 19 a factor of y?
True
Suppose -4*v + 1625 = x, -3*x + 3465 = 4*v - 1450. Does 35 divide x?
True
Let q = 71 + -14. Is q a multiple of 9?
False
Let n be -1 + (-1)/(1/2). Let i(s) b