tor of ((-39)/(-15) - 3)*a/8?
False
Let r(z) = -z**2 + 10*z - 6. Suppose 30 = -6*f + 9*f. Let t be r(f). Let b = 2 - t. Does 3 divide b?
False
Let t(j) be the second derivative of j**4/12 + j**3/3 - 9*j**2/2 - 7*j. Is t(9) a multiple of 18?
True
Is (126/(-15))/(((-9)/80)/3) a multiple of 8?
True
Let p = 360 + -140. Does 35 divide p?
False
Let i = 234 + -170. Is 8 a factor of i?
True
Let f = 47 + -55. Let c(z) = z**2 + 3*z + 5. Does 8 divide c(f)?
False
Let i(t) = -t**3 + 10*t**2 - 9*t. Let k be i(9). Suppose k = 5*w + 2*s, 5*s + 3 + 12 = -5*w. Let g = w - -13. Is g a multiple of 5?
True
Suppose 2*a + 39 = 3*a. Suppose f - 20 - 2 = 0. Let o = a - f. Does 10 divide o?
False
Suppose 187*r - 168*r - 16796 = 0. Is r a multiple of 34?
True
Let g(m) = m**3 - 10*m**2 - 11*m + 7. Let s be g(11). Let d = -6 + s. Does 13 divide d/(3*3/126)?
False
Suppose -3*m = 6, 4*m + 122 = 2*s + 26. Is 44 a factor of s?
True
Let i(a) = -15*a + 1. Let g(p) = 14*p. Let s(x) = -3*g(x) - 2*i(x). Let u be s(2). Is 4*(-3)/6 - u a multiple of 19?
False
Let o(n) = 45*n + 38. Is 20 a factor of o(7)?
False
Suppose -4*s + 9*s - 15 = 0. Let u be -98 - (s + (-2)/(-2)). Let x = -61 - u. Is x a multiple of 8?
False
Suppose -963 = -5*k - 3*h, -145*k = -142*k + 2*h - 578. Is k a multiple of 6?
True
Let o(p) = -16*p + 178. Does 22 divide o(-15)?
True
Let s(v) = -88*v + 103. Does 74 divide s(-22)?
False
Let l = 3370 - 2221. Is 77 a factor of l?
False
Suppose 2*g - 1340 = -5*u + 809, u = -g + 1082. Does 43 divide g?
False
Let i be (-12 - -15) + 1*-1. Suppose 0*x = 3*t + i*x - 255, -4*t - 3*x + 341 = 0. Is 6 a factor of t?
False
Suppose 3*t - 116 = 31. Let l(q) = t*q**2 - 2*q + 0*q + q. Is 24 a factor of l(1)?
True
Let k = -2 - -2. Suppose k = -n + f + 80, 0*f + 4*f = 5*n - 395. Let q = n - 10. Is 13 a factor of q?
True
Suppose 511 = 4*o + 1427. Let q = o + 348. Does 20 divide q?
False
Let g = 392 + -265. Does 9 divide g?
False
Is 14 a factor of 60/100 + 1202/5?
False
Let k(h) = h**3 + 5*h**2 - h - 3. Let u be k(-5). Suppose -u*l = 2*n - 3*n - 12, 2*n + 9 = l. Is 4 a factor of (80/15)/(n/(-3))?
True
Suppose 5*r - 1689 = -5*t - 569, 0 = -3*r + 15. Suppose -t = -11*j + 56. Is 10 a factor of j?
False
Does 62 divide 6*(-124)/60*-40?
True
Let t(q) = -3*q**2. Let n be t(3). Is (128/12)/((-3)/n) a multiple of 21?
False
Let s = 97 + -52. Suppose 7 = q - s. Is 11 a factor of q?
False
Suppose 0 = 2*n - 0*s + 2*s - 14, 2*n - 5*s = -7. Suppose n*t - 1 = 11. Suppose -p + 2 = 0, -3*o = -p - t*p - 106. Does 19 divide o?
True
Let a(g) = -g**3 - 11*g**2 + 17*g + 17. Let y be a(-11). Let o = y - -245. Does 32 divide o?
False
Let g(y) = y**3 + 14*y**2 + 10*y - 6. Suppose 4*o + 2*n = 3*o - 11, 0 = -3*o - 4*n - 35. Let z be g(o). Let f = z + 22. Does 11 divide f?
True
Let w be -8 - -289 - (-2 + 1). Suppose 2*v + 2*v - 40 = 0. Is w/v - 3/15 a multiple of 14?
True
Let z(o) be the second derivative of o**3/6 + 7*o**2 - 4*o. Let x be z(-9). Suppose 62 = 4*q + x*t, 7 = -5*t - 3. Does 6 divide q?
True
Let t be 3 - 54/(-3 - -1). Is 11 a factor of (-169)/(-6) + (-5)/t?
False
Is 8 a factor of (-440)/6*(1 + 66/(-30))?
True
Let y = -396 + 478. Is y a multiple of 21?
False
Let h = -830 - -877. Is 11 a factor of h?
False
Let z = 2692 - -428. Is z a multiple of 20?
True
Let g(b) be the second derivative of -b**5/20 + 5*b**4/12 + b**3/6 - 3*b. Is g(3) a multiple of 8?
False
Let v(x) = -x**2 + 7*x - 2. Let k be v(6). Suppose -224 = k*g - 0*g. Let h = -32 - g. Is 6 a factor of h?
True
Let a(j) = -j**2 + 12*j. Suppose 2*c + 4*c = 54. Is 7 a factor of a(c)?
False
Let g(u) = 30*u + 147. Does 45 divide g(13)?
False
Is 43/86 + 1/(-2)*-4091 a multiple of 93?
True
Let a(f) = -f**3 - 12*f**2 + 9. Let x be a(6). Let c = -338 - x. Is c a multiple of 28?
False
Let z(n) = -4*n + 94. Does 2 divide z(12)?
True
Let u be 334 - 2/(-4)*-4. Suppose u = 3*k + k. Suppose -2*h - 5 + k = 0. Does 13 divide h?
True
Let n(x) = -x**3 - 5*x**2 + 9*x + 4. Suppose -2*t + 5 = -2*y + 23, -4 = -4*y. Is n(t) a multiple of 31?
True
Let k(v) be the third derivative of 0 - 3*v**3 + 4*v**2 + 0*v + 5/24*v**4. Does 19 divide k(16)?
False
Let l be (-2)/(-4)*6 - 0. Suppose -l*q + 107 = -112. Let t = q + -6. Is t a multiple of 19?
False
Let d be (-6)/14 - (-236)/28. Suppose 6*m = 2*m + d. Suppose 0*w + 40 = 5*k + m*w, 0 = 2*k + 2*w - 16. Is k a multiple of 6?
False
Is 6 a factor of (-6)/((-4)/2) + (-1 - -171)?
False
Suppose -19*a + 7056 = 9*a. Is 12 a factor of a?
True
Let k(y) = y**3 - 12*y**2 + 11*y + 11. Let c be ((-9)/15 - -3)/(4/20). Is k(c) a multiple of 11?
True
Let r = -7 - -19. Suppose s - r = 17. Suppose 0 = m - 2, m + 5 = 3*k - s. Does 3 divide k?
True
Let f(a) = -a**2 - a + 6. Let s be f(0). Let i = 20 - s. Is 14 a factor of i?
True
Let q = 14 + -11. Suppose 0 = -5*o - l + 276, 2*l + 105 = 2*o - q*l. Is o a multiple of 14?
False
Let p = 2 - -58. Is 5 a factor of p?
True
Let k be 4 + (0 - 4 - 12). Let q(p) = p + 14. Let m be q(k). Suppose -2*i - 64 = -5*v, 0 = 3*v - m*v + 2*i - 20. Does 14 divide v?
True
Let d be 32/(-56) - (-8)/14. Suppose 5*i - b = i + 503, 2*i + 3*b - 255 = d. Let y = -54 + i. Is 12 a factor of y?
True
Let s = 23 + -21. Suppose 7 = c - s. Is c a multiple of 3?
True
Does 10 divide (-740)/(-8)*132/30?
False
Suppose -s - 15 + 2 = 3*z, z - 1 = 5*s. Does 8 divide s/(-4) + (-502)/(-8)?
False
Let a = -34 - -37. Suppose 7*c = a*c + 48. Is c a multiple of 6?
True
Let i = 2912 - 2012. Does 45 divide i?
True
Let p(x) = 2*x**3. Let i(g) be the first derivative of g**4/4 - 11*g**3/3 + 9*g**2/2 + 11*g - 5. Let n be i(10). Does 2 divide p(n)?
True
Is ((-38910)/40)/((-6)/8*1) a multiple of 3?
False
Let v = -16 - 3. Let i(j) = -5*j - 9. Is i(v) a multiple of 11?
False
Let w = -1580 - -2039. Is w a multiple of 9?
True
Let x = 5999 + -2084. Is 27 a factor of x?
True
Let v = 240 + 389. Does 40 divide v?
False
Let m(k) = 22*k - 3. Let q(t) = -t + 1. Let g(b) = m(b) + 5*q(b). Let d(w) = -w**2 - 3*w - 1. Let o be d(-2). Is 5 a factor of g(o)?
False
Suppose 234 = 3*b - 5*s + 6*s, -5*s + 92 = b. Does 11 divide b?
True
Let d(c) = 5*c**2 + 17*c - 39. Is d(6) a multiple of 31?
False
Let c = 788 - 542. Does 3 divide c?
True
Let p(f) = f**3 + 9*f**2 + 3*f - 9. Let h be p(-7). Let y = 98 - h. Is y a multiple of 6?
True
Let d(q) be the second derivative of q**4/12 - 7*q**3/3 + 7*q**2/2 + 2*q. Let m be d(9). Let k = -2 - m. Is 18 a factor of k?
True
Is 25 a factor of -8 - (-42185)/44 - 6/8?
True
Let n = 726 + -519. Is n a multiple of 9?
True
Suppose -m + 3*m + 3*v - 228 = 0, 5*m + 4*v - 577 = 0. Is 5 a factor of m?
False
Suppose -6*x + 67 + 173 = 0. Let d = x + -10. Is 4/d - 952/(-60) a multiple of 4?
True
Let x(k) = k**2 - 5*k - 21. Is 13 a factor of x(-4)?
False
Let g = 32 + -14. Suppose -15*s = -g*s + 96. Is s a multiple of 8?
True
Let l(y) = -y**2 + 47*y - 2. Is l(16) a multiple of 26?
True
Suppose -12*t - 21 = -11*t. Is 4 a factor of 9/4*(-112)/t?
True
Suppose 777*v - 276 = 775*v. Is v a multiple of 4?
False
Let j = 55 + 215. Suppose -17*s + 20*s - j = 0. Does 45 divide s?
True
Let g(z) = 4 + 2 + 14*z - 2. Suppose 0 = n + 5*b - 13, -5*n + b = -b - 11. Does 22 divide g(n)?
False
Does 51 divide (-9)/(144/(-3896))*4?
False
Let h(o) = -o**2 + o + 62. Let u be h(0). Suppose 0 = q - 0*q - u. Let c = 100 - q. Is 14 a factor of c?
False
Let p(y) be the third derivative of y**5/60 + y**4/4 - y**3/6 + 6*y**2. Suppose -5*w = 2*d - 4, -4*w + 56 = -5*d - 0*w. Is p(d) a multiple of 9?
False
Let k(y) = y - 8. Let f be k(11). Suppose j + 4*d = -f*j + 4, -3*d = -5*j + 13. Suppose j*w = w + 33. Does 12 divide w?
False
Let b = -230 + 362. Suppose -y = 5*y - b. Is 11 a factor of y?
True
Let p be -2 + 1 - 12/(-3). Suppose -p*t = -10 + 1. Suppose -6 + 21 = t*k. Does 5 divide k?
True
Let q be (-132)/(-21) + 8/(-28). Is 8 a factor of (q*20/12)/((-1)/(-4))?
True
Suppose -239 = -k - p, 3*k - k - 490 = p. Does 5 divide k?
False
Let w(j) = j**3 + 6*j**2 - 4*j - 5. Let n be w(-5). Is n/(-260) + (3707/13 - 0) a multiple of 30?
False
Let u(x) = 4*x**2 - 4*x - 15. Let c(d) = 9*d**2 - 7*d - 31. Let t(w) = 6*c(w) - 13*u(w). Does 10 divide t(-6)?
False
Let q(t) be the first derivative of -t**2/2 + 6*t - 29. Let g(v) = -4*v + 3. Let z be g(2). Does 8 divide q(z)?
False
Let o(t) = 3*t - 15. Let r