2. Is r(9) a multiple of 7?
False
Let x(w) = 8*w**2 - 3*w**2 - w**3 + 6 - 1. Let p be (-2)/(-1 - (-3)/5). Is 5 a factor of x(p)?
True
Suppose 9*b + 3 = 12*b, 2*p - 170 = -2*b. Is p a multiple of 14?
True
Let z = 186 + -176. Is z a multiple of 3?
False
Suppose u = 2*i + 3*i + 83, 0 = -3*u - 5*i + 269. Is 22 a factor of u?
True
Let n = 1 + 2. Suppose -n*i + 18 = -3*w, 3*i - 58 = -0*i - 5*w. Does 3 divide i?
False
Let x = 49 - 44. Does 2 divide x?
False
Let m be (8/(-20))/((-1)/(-5)). Suppose c + 3*s = 6, -c + 0*s = -3*s. Is (c/m)/(9/(-198)) a multiple of 11?
True
Let o(p) = -4*p**2 + 4. Let r(j) = 11*j**2 - 12. Let a(k) = -8*o(k) - 3*r(k). Let f be a(0). Suppose 5*s = f*w + 2*s - 60, -48 = -3*w + 3*s. Is 6 a factor of w?
True
Let k(t) = -92*t - 4. Is 16 a factor of k(-1)?
False
Let z(b) = 4*b - 3. Let d be z(2). Suppose 0*l = -3*f + 5*l + 26, -18 = -f - 3*l. Suppose -q - f = -d*q. Is 3 a factor of q?
True
Let h(y) = -143*y**3 - 1. Let w be 4/(-6)*(-3)/(-2). Let g be h(w). Does 24 divide (-4)/(-12) + g/6?
True
Let g = 133 + -82. Is 17 a factor of g?
True
Let k(w) = -14*w + 11. Suppose -4*b + o - 11 = -3*b, -5*b - 3*o - 39 = 0. Is k(b) a multiple of 35?
False
Let d(u) = 4*u**2 + 2*u - 11. Let m(t) = -2*t**2 - t + 5. Let w(p) = -3*d(p) - 7*m(p). Is 13 a factor of w(-4)?
True
Let a(m) = -16*m + 4. Let w(y) = -4*y + 1. Let g(q) = 2*a(q) - 9*w(q). Is g(6) a multiple of 8?
False
Suppose 4*m - 11 = -u - 4, 5*m = 5*u + 15. Let k = 14 - m. Is 8 a factor of k?
False
Let b(f) be the third derivative of -f**7/120 + f**6/180 + f**5/60 + f**4/24 + f**3/3 + 4*f**2. Let q(y) be the first derivative of b(y). Does 4 divide q(-1)?
True
Suppose t - 48 = -2*t. Is 4 a factor of t?
True
Let a(l) = l**2 - 7. Is a(3) a multiple of 2?
True
Let y(v) = v**3 + 10*v**2 + 5*v - 12. Is 6 a factor of y(-9)?
True
Suppose -4*v + 205 = -3*p, -2*v + 0*v + 3*p = -101. Suppose 2*k + 2*o - 62 = -2*k, v = 4*k + 4*o. Does 9 divide k?
True
Let q(f) = -4 + 4*f**2 + 7*f - 5*f**2 + f. Let j be q(7). Is 13 a factor of 304/12 - (-2)/j?
True
Suppose 1 = 5*s - 99. Suppose -s = -4*v - 0*v. Is v a multiple of 2?
False
Does 9 divide (-6)/(84/35) - (-1010)/4?
False
Let h be 20/50 - 8/(-5). Suppose 0 = -a + h + 6. Does 8 divide a?
True
Let u(x) = -x**2 + 9*x - 6. Suppose -2*a + 16 = 4. Is 12 a factor of u(a)?
True
Let i = 17 + -1. Does 4 divide i?
True
Suppose -9 = 3*x - 0. Let s = 12 + x. Does 7 divide s?
False
Let a(h) = h. Let i be a(5). Let d(w) = -w - w - i*w. Is 5 a factor of d(-1)?
False
Suppose k + 4*x = 212, -x + 0*x = -4*k + 882. Is k a multiple of 23?
False
Let g(n) = -12*n. Let p(f) = -f**2 - 5*f - 5. Let z be p(-4). Is g(z) a multiple of 12?
True
Let l be (-3)/(1 + (-8)/6). Suppose l*v - 300 = 4*v. Suppose 0 = -z - 4*y + v, -3*y + 56 = 4*z - 132. Is z a multiple of 17?
False
Let n be (-492)/(-10) - (-4)/(-20). Let r = n + -20. Is 10 a factor of r?
False
Let j = -63 + 105. Is j a multiple of 7?
True
Suppose 5*q - 4*z = 605, 3*q - 3*z - 361 = -z. Suppose -5*h + 143 = -q. Is h a multiple of 26?
True
Let h = 162 + -101. Is 19 a factor of h?
False
Let c(t) = -t**3 + 3*t - 2. Let q be c(3). Let j = 48 + q. Suppose 3*z + y - j = 0, 0*z + y - 12 = -z. Is 4 a factor of z?
True
Let g(y) = -3*y + 1. Is 14 a factor of g(-22)?
False
Let j be 3/1 - (-4 - -3). Let z = -5 - -7. Suppose l = j + z. Is l a multiple of 3?
True
Let y = 4 - -10. Let m(l) = l**3 + 6*l**2 - 7*l + 3. Let z be m(-6). Let k = z - y. Is k a multiple of 15?
False
Suppose -5*n + 71 = 11. Does 19 divide 2*(-2)/(n/(-63))?
False
Let g be -4*(-1)/(-2) - 1. Let k be 0 - (g - -4) - -23. Suppose -5*d + 70 = 2*o + 25, d = -3*o + k. Does 7 divide d?
True
Let c = 4 + 100. Is 26 a factor of c?
True
Let z(u) = 2*u**2 + 2*u + 8. Let y be z(8). Let m = y + -63. Is 25 a factor of m?
False
Let a(z) = -3*z**3 - 4*z**2 - z - 2. Let y be a(-6). Suppose 0 = 3*p - 2*u - 62, 5*p - 5*u + 21 = 131. Is (-4)/p + y/18 a multiple of 14?
True
Let g = -3 - -1. Is 3 a factor of (5 + g)*(2 + 1)?
True
Suppose -5*f - 343 = 3*d + 61, d = 3*f + 234. Let g = -19 - f. Does 20 divide g?
True
Let j(g) = 6*g**2 - 18*g - 5. Is 47 a factor of j(-5)?
True
Let l = 645 - 372. Is l a multiple of 33?
False
Let u(s) = -2*s**2 + s. Suppose 0 = -5*r + 12 - 2. Let n be u(r). Let o = 23 - n. Does 13 divide o?
False
Is 27 a factor of 4/(-16) - (-4374)/24?
False
Let t = 131 + -79. Is 13 a factor of t?
True
Let u be (6/(-9))/(4/(-18)). Suppose 0 = j - 61 - 6. Suppose -2*i - v + j = 0, -2*v - 163 = -2*i - u*i. Is i a multiple of 12?
False
Is 10101/56 - (-9)/(-24) a multiple of 18?
True
Let g = 181 - 105. Is g a multiple of 19?
True
Let q(w) = -30*w + 3. Suppose -3*s - 1 = -10. Let o be q(s). Let j = o + 124. Is j a multiple of 13?
False
Suppose -d - 4*d + 70 = 0. Is 7 a factor of d?
True
Let x(h) = -h**3 + 2 + h + 8*h**3 + 9*h**2 - 13*h**2. Let s(c) = c**2 - 2. Let o be s(2). Is 22 a factor of x(o)?
True
Let n = 44 - 20. Is 12 a factor of n?
True
Suppose -4*t - 2*y = -9*t + 7, -t - 2 = 3*y. Let a = 4 + t. Is 2 a factor of a?
False
Suppose 3*b + b - 484 = 0. Suppose -b = -5*c + 74. Is 13 a factor of c?
True
Suppose 61 = 5*c - 3*r, -c + r + 15 = -r. Is c a multiple of 2?
False
Let p be -2*4/6*-3. Let i(a) = -a**2 + 5*a - 3. Let g be i(3). Suppose -p*j - 7 = 2*b - 25, g*b + 3*j - 27 = 0. Is 9 a factor of b?
True
Is (-3276)/(-48) - 1/4 a multiple of 34?
True
Let a(w) = -w**3 + 7*w**2 - 3*w - 5. Let g(m) = -m**2 + m. Let c(o) = -a(o) - 2*g(o). Let d be c(4). Let u(n) = -n + 5. Does 6 divide u(d)?
True
Let d(x) = -x + 5. Let f be d(-5). Let v = f + -5. Suppose o - 10 = g, -v*o - 14 = -g - 56. Is 8 a factor of o?
True
Suppose 1 = -2*y + 7. Suppose 5*p = 5*k + 139 - 819, -544 = -4*k + y*p. Suppose 6*o - 2*o = k. Is 15 a factor of o?
False
Let m = -77 + 169. Is 23 a factor of m?
True
Let i be 2/(-7) + 5890/35. Suppose -2*r + 5*r = i. Does 28 divide r?
True
Suppose -g + 3 = 0, -m + 2*g + 26 = m. Does 2 divide m?
True
Let x(m) = -m - 3. Let h be x(7). Is 10 a factor of 8/(-20) - 254/h?
False
Is (30/(-7))/(8/(-56)) a multiple of 15?
True
Let v(r) = -3*r + 14. Does 17 divide v(-10)?
False
Let i = 37 - -45. Suppose r + 10 + 38 = 0. Let m = i + r. Is m a multiple of 14?
False
Is 103/4 + 13/52 a multiple of 4?
False
Does 20 divide 9/54 - 569/(-6) - -1?
False
Let a(o) be the first derivative of -o**6/120 + 2*o**5/15 + o**4/12 - 2*o**3 + 3*o**2/2 - 2. Let x(u) be the second derivative of a(u). Is x(8) a multiple of 3?
False
Let p = -8 - -11. Let y = p + 1. Is 2 a factor of y?
True
Let b(q) be the third derivative of -q**4/12 + q**2. Suppose -20 = 4*i + 4*n, 5*n + 2 = 4*i - 14. Is 2 a factor of b(i)?
True
Let h = 7 - 5. Suppose 15 = h*v - 21. Does 6 divide v?
True
Let q(k) = 2*k**2 - 12*k - 2. Is q(7) a multiple of 12?
True
Is ((-34)/5)/((-20)/50) a multiple of 17?
True
Let r(c) = -2*c + 7. Let v(d) = 3*d - 13. Let w(x) = -5*r(x) - 3*v(x). Let y be w(0). Suppose 2*b - 32 = -n, -y*b + 68 = n - 0*n. Is b a multiple of 9?
True
Let t(n) = 7*n. Let c(i) = 6*i - 1. Let b(g) = 6*c(g) - 5*t(g). Let m be b(9). Suppose m = 2*y - 55. Does 24 divide y?
False
Let r(u) = u - 2. Let a be r(-4). Let l(s) = -s**2 - 5*s + 8. Let j be l(a). Suppose 0*v = -j*v + 42. Is 10 a factor of v?
False
Let j(i) = -3*i - 3. Does 3 divide j(-3)?
True
Let t = -237 - -332. Is 16 a factor of t?
False
Let n be (-1306)/(-10) + 4/10. Suppose 3*w - 7 = n. Is 23 a factor of w?
True
Is (-5)/3 - 2008/(-24) a multiple of 10?
False
Let n(t) = t**2 + 3*t - 4. Let g be n(-5). Suppose 3*i = -2*h + 64, 0 = -4*i + 4*h + g + 46. Is (i/7)/((-1)/(-14)) a multiple of 18?
True
Let p(g) = 16 + g**2 + 0*g**2 - 11 - 2*g. Suppose 4*j = -4, 2*i - 15 = 3*j - 2. Does 10 divide p(i)?
True
Suppose 0 = -b - 2*f - 47 - 5, 0 = -5*b - 4*f - 242. Let l = 68 + b. Does 20 divide l?
False
Let m = 3 + 0. Let w = -11 + m. Is 8 a factor of (4/w)/((-1)/46)?
False
Suppose r + 4*r - 25 = 0. Let d = 10 - r. Does 3 divide d?
False
Suppose -3*d = 5*x - 2*x - 771, -4*x + 1026 = 5*d. Is x a multiple of 35?
False
Suppose 0*f = 2*f. Suppose f = -5*t + 3*x + 237, -2*x - 94 = t - 3*t. Let k = 71 - t. Is 10 a factor of k?
False
Let d be ((-50)/(-20))/((-2)/(-4)). Suppose -2*y + 3*p = 2*y - 437, y - d*p = 88. Does 33 divide y?
False
Let t(v) = v**2 + 3*v - 3. Let o be t(6). Let b = o + -31