 - 16522. Is r a multiple of 9?
False
Suppose -13*v + 9714 - 1394 = 0. Let f = v - 632. Is 2 a factor of f?
True
Let o(p) be the first derivative of p**5/60 + p**4/12 - p**3 - p**2/2 + 20. Let w(h) be the second derivative of o(h). Does 7 divide w(-8)?
True
Let f(o) = 24*o**2 - 25*o + 130. Let m be f(5). Suppose 0 = 4*u + 5*j - 581, 12*u - 8*u - m = 3*j. Is 20 a factor of u?
False
Let v = -115 - -109. Let w(l) = 10*l**2 + 8*l + 2. Is 20 a factor of w(v)?
False
Suppose 2*l + 3*y - 7 = -4, 0 = y + 1. Does 29 divide ((-23)/l + 2)/(5/(-450))?
False
Let g = 158 + 1343. Is g a multiple of 5?
False
Let q(d) = -546*d - 38. Is 33 a factor of q(-8)?
False
Suppose -3*n + 3*g + 107 = -2*g, -2*n + 73 = -5*g. Let w = -29 + n. Suppose 0 = -2*s + w*s - 213. Does 20 divide s?
False
Let o be (1 + -3)/((-3)/(-15)). Let w(p) = -2*p**2 - 19*p + 4. Let h be w(o). Is 5 a factor of 37 - -2*9/h?
False
Let q = -55 - -112. Suppose 6*g = 3309 - q. Does 8 divide g?
False
Suppose 2*g + 316 = 2*x, 0 = 2*g + 4*x + 277 + 27. Let a = -43 - g. Is a a multiple of 34?
False
Suppose -500346 = -10*o - 7*o - 25*o. Is o a multiple of 57?
True
Let h = -5512 + 8148. Is 3 a factor of h?
False
Suppose -m - 24*s + 1803 = -22*s, 2*m - 3600 = -s. Is 7 a factor of m?
True
Let w(n) = -2*n + 45. Let z be w(10). Let q = 5 - z. Let g = 200 - q. Does 55 divide g?
True
Let s be (-649)/(-4) + ((-33)/(-12) - 3). Let v = s - 105. Does 7 divide v?
False
Let o(f) = f**3 - 21*f**2 + 38*f + 5. Let b be o(19). Suppose 3*w + 3*a = 292 + 134, b*w = a + 740. Is 7 a factor of w?
True
Suppose -w = -231 - 109. Is 3 a factor of w?
False
Suppose 0 = -4*l + 4*x - 0*x - 240, 0 = l - 2*x + 60. Let f = l + 57. Let s(v) = 6*v**2 - 2*v + 6. Does 22 divide s(f)?
True
Let x = 26 - 26. Suppose -f - 4*c = -3*c - 269, x = c + 3. Is 16 a factor of f?
True
Suppose 2*i + w - 4 = 0, 5 = 4*i + 5*w - 9. Suppose -4*s + 4 = 5*m - m, 0 = -m - 2*s - i. Suppose m*t = 3*j - 75, j - 23 = -0*j + 2*t. Is 11 a factor of j?
False
Suppose 4*n = -0*n + 36. Let m(t) = -t**2 + 7*t + 20. Let s be m(n). Suppose -s*j = o - 222, -2*o = 6*j - 8*j + 228. Is 30 a factor of j?
False
Let r(x) = -10*x + 3. Let k(d) = -d. Let b(f) = 5*k(f) + r(f). Does 27 divide b(-16)?
True
Let y = 8811 + -6129. Suppose -10*o + 6318 = -y. Does 18 divide o?
True
Suppose -4*w + 34576 = 6*q - 10*q, -2*w + 17290 = -4*q. Is 18 a factor of w?
False
Let g be (-64)/24*(-6)/4. Suppose -g*p + 3*p = -9. Suppose -4*f + 393 = p. Is 32 a factor of f?
True
Suppose -3*g - 8*w + 6*w = -2622, 1748 = 2*g - w. Suppose g = 4*k - 318. Does 21 divide k?
False
Suppose 2232 - 48 = 238*v - 214*v. Is v a multiple of 4?
False
Suppose 0 = 2*c - 2*p - 12, -p + 9 = 4*c - 2*c. Suppose -n + 5 = -c*h, -n = -h + 3*h - 5. Suppose -4*b = -n*z - 85, -b + 65 = 2*b - 4*z. Is 2 a factor of b?
False
Let d be (-148)/(-28) - 5 - (-4)/(-14). Is 71 a factor of 1/((-7)/(-4501) - d)?
False
Let v = 173 - 77. Suppose -3*i - 2*i - v = -o, -5*o + 4*i + 480 = 0. Suppose 2*b - 3*m + 2*m = 81, -2*b - 4*m = -o. Is 6 a factor of b?
True
Does 13 divide 30611/8 + 138/(-368)?
False
Let b(f) = f**3 - 4*f**2 - 3*f + 6. Let i be b(4). Let z be (-24)/12 - i*2. Suppose 5 = -z*u + 85. Is 4 a factor of u?
True
Let f(x) = 20*x + 111. Let j be f(-4). Suppose 0 = -40*k + j*k + 4545. Is 9 a factor of k?
False
Let y(r) = -142*r + 8. Let t be y(-1). Let o = t - -72. Is o a multiple of 35?
False
Let k be (5*6)/((-2)/7). Let i(b) = 2*b**3 + 20*b**2 + 58*b + 3. Let z be i(-3). Let q = z - k. Is q a multiple of 26?
False
Let k = -7727 + 17412. Is 13 a factor of k?
True
Let d = 17 - 21. Let u = d + 3. Is (-1 - u - 195)*(-44)/132 a multiple of 13?
True
Let s(f) = -28*f**3 - 19*f**2 - 22*f + 37. Is s(-8) a multiple of 6?
False
Let i(f) = 163*f**2 - 504*f + 17. Is i(7) a multiple of 35?
False
Let w be (-4)/(-20) - (-15743)/35. Suppose w = 26*n - 20*n. Is 37 a factor of n?
False
Suppose -46*y - 92 + 276 = 0. Suppose 0 = y*n - 4*o - 4002 + 534, -3*n = -o - 2603. Is n a multiple of 31?
True
Suppose 6*o - 304 = 4*h + 4*o, -5*h - 374 = -4*o. Let u = 68 - h. Is 3 a factor of u?
False
Suppose 2*p = -5*t - 2*p - 1408, -3*p + 9 = 0. Let s = t + 412. Let j = -72 + s. Is j a multiple of 14?
True
Let f be (-6 - -7)/((-4)/(-32)). Suppose f*m + 11*m = 2926. Is 7 a factor of m?
True
Let b = 473 + -473. Suppose -4*k - d + 1022 = b, 10*k - 13*k + d + 763 = 0. Does 15 divide k?
True
Let l be (7 + -11)*30 - (3 - 1). Suppose -3*b + 681 = o, -42 = -2*b - 2*o + 412. Let u = l + b. Does 15 divide u?
True
Let n be 4/(-3)*(-297)/132. Suppose -p + 73 = 4*m - 220, n*p + 5*m = 851. Does 29 divide p?
False
Let b(m) = -30 - 28 + 596*m + 91 - 29. Is 15 a factor of b(1)?
True
Let u(w) be the third derivative of w**6/120 + w**4/12 + 25*w**3/2 - 3*w**2 + 11*w. Does 13 divide u(0)?
False
Let h be 2*(357/6 + 3). Suppose 2*b = -3*b - h. Let y = -14 - b. Is 3 a factor of y?
False
Let z(o) = -o**3 + 5*o**2 + 14*o - 7. Let p be z(7). Let t(r) = -r**3 - 8*r**2 + 18. Let j be t(p). Is 16 a factor of -3 + ((-16)/4 - j)?
False
Let n(q) = -q**3 + 4*q**2 - q - 4. Let u be n(4). Does 16 divide (-21186)/(-88) - (-6)/u?
True
Let i(c) = 447*c - 62. Let n be i(7). Suppose 5*s = d + 3063, -5*s + 11*d = 12*d - n. Does 15 divide s?
False
Let g(k) = 1 - 36*k + 2 + 135*k. Suppose -16*x + 3 = -13. Is g(x) a multiple of 51?
True
Let z(n) = -4*n**2 + 3*n + 2. Let d be z(2). Let a be (-6)/d*(0 + 2 - -2). Let l(q) = 3*q**3 - q**2 + 3*q + 2. Is l(a) a multiple of 24?
False
Let p = 74 + -38. Suppose 4*j + 0 - p = 0. Suppose 0 = -7*b + j*b - 18. Is 8 a factor of b?
False
Let i = 5713 - 2897. Is i a multiple of 8?
True
Suppose 1250*y - 1314*y + 40192 = 0. Is y a multiple of 4?
True
Let a = 4502 - 4032. Is a a multiple of 5?
True
Let g = -1 + 32. Suppose g*t = 43*t - 10008. Does 22 divide t?
False
Let y(u) = u**2 - 14*u + 48. Let p be y(8). Suppose 16*f - 52*f + 33696 = p. Does 13 divide f?
True
Let j(g) be the second derivative of g**7/2520 - g**6/720 + g**5/12 + 5*g**4/4 + 11*g. Let n(y) be the third derivative of j(y). Is n(7) a multiple of 13?
True
Let n be 318/(-2) - 0/(-1 - -3). Suppose 548 = -3*p + 5*p. Let a = p + n. Is a a multiple of 22?
False
Let s(w) = -40*w + 14. Let n be s(4). Let i = -34 - n. Is i a multiple of 4?
True
Let o = 24 + -22. Suppose -o - 10 = -6*n. Suppose -n*a = -0*a - d - 338, -2*a + 2*d + 336 = 0. Does 34 divide a?
True
Suppose 5*z - 52170 = -5*x, 5*z + 2062*x = 2060*x + 52188. Is z a multiple of 42?
False
Is 43 a factor of (-552)/(-56) - 10 - 141144/(-21)?
False
Let b be (1 - -1)/(2/(-5)). Let d(s) = 21*s**2 - 18*s - 60. Let g(w) = -12*w**2 + 10*w + 31. Let c(p) = -5*d(p) - 9*g(p). Does 48 divide c(b)?
True
Let o(a) = 15*a + 14. Let p(x) = 16*x + 13. Let n(t) = 5*o(t) - 6*p(t). Let u be n(22). Does 13 divide 9/(-18) + u/(-4)?
True
Suppose -2*m - 3*t = -1091, 0 = 29*m - 24*m + 5*t - 2735. Does 11 divide m?
True
Suppose 6*i - 2 - 4 = 0. Let s be 2 + (9/(-3))/i - -238. Suppose 16*v - 19*v + s = 0. Is 40 a factor of v?
False
Is 79/(3318/8244) + (-4)/14 a multiple of 71?
False
Let m(i) = -67*i**2 + 2*i + 20. Let l be m(4). Let t = l - -1933. Is t a multiple of 14?
False
Suppose -2*d = -5*y - 6, -5*d - 40*y + 39*y = 12. Is (0 + 6/d)*-97 a multiple of 57?
False
Let p(w) = -w + 14. Let t be p(5). Let b(l) = -l**3 + 13*l**2 - 13*l - 3. Let h be b(t). Suppose -2*d = -2*m - 116, -3*d - 4*m + h = -m. Is 10 a factor of d?
False
Let w be 211/1 + (5 - 6). Suppose 798 = 7*n + w. Is n a multiple of 12?
True
Suppose -288*l + 120054 = -74*l. Is l a multiple of 6?
False
Let r = 19967 + -8733. Does 139 divide r?
False
Suppose 0 = -9*m + 4*m + 75. Let j be (250/m)/(0 + 4/(-18)). Let a = j - -87. Is a a multiple of 3?
True
Let j(h) = h**3 - 25*h**2 - 53*h - 26. Let q be j(27). Let m(y) = 610*y**2 - 16*y + 17. Does 41 divide m(q)?
False
Let s(a) = -a**3 - 6*a**2 - 7*a - 7. Let i be s(-5). Suppose -f - 3*l - 2*l = i, -5*l = 2*f + 6. Is 20 a factor of -3*f/(-9) + 61?
True
Suppose 6*o - 42*o + 16668 = 0. Let f = o - -366. Is 58 a factor of f?
False
Let i(v) = 11*v**3 + 11*v**2 - 26*v + 37. Does 137 divide i(8)?
True
Let f(k) be the third derivative of 7*k**2 + 0 - k**3 + 5/24*k**4 + 0*k. Does 3 divide f(3)?
True
Let c(x) = 401*x - 493. Does 28 divide c(18)?
False
Let n(w) = -w**2 + 7*w + 34. Suppose 14*s +