f o?
False
Suppose -o + 163 = b - 180, -6 = 2*o. Let c = 19 + -12. Suppose -b = -c*d - 66. Does 13 divide d?
False
Let c(m) = -218*m - 2. Let o(z) = -437*z - 3. Let r(v) = 5*c(v) - 3*o(v). Is 10 a factor of r(1)?
True
Suppose 0 = 5*u + 4*c - 320, 54 + 10 = u + 2*c. Let o = u - 22. Is o a multiple of 7?
True
Suppose 28*o - 693 = 25*o + 3*k, 0 = -3*k + 9. Does 6 divide o?
True
Let s be -3 + (-19)/7 - 4/14. Is ((-8)/s)/((-10)/(-1725)) a multiple of 33?
False
Suppose -4*x + 5*x = -61. Let p = 173 + x. Is 28 a factor of p?
True
Let m(o) = -53*o**2 - 5*o + 5. Let b(c) = -27*c**2 - 2*c + 2. Let a(j) = -7*b(j) + 3*m(j). Does 18 divide a(2)?
False
Let c(k) = k**2 + 29*k + 103. Is c(-51) a multiple of 49?
True
Let a(y) = 472*y**2 - 5*y - 2. Does 35 divide a(-1)?
False
Suppose -62*a + 38959 + 10641 = 0. Is a a multiple of 86?
False
Suppose c - 4*n + 6 - 57 = 0, -4*c + 3*n = -152. Is ((-96)/(-14))/(5/c) a multiple of 9?
False
Let t(w) = -w + 11 - 3*w + 5*w. Let m(f) = f**2 - 1. Let y be m(1). Is 11 a factor of t(y)?
True
Let o(a) = 2 - 7 + 0*a**2 - a**2 + 6*a + 4. Let h be o(6). Is 11 a factor of 25 - ((h - 0) + 4)?
True
Suppose 0 = -g - g + 40. Let h = -43 + 40. Let s = g + h. Does 17 divide s?
True
Let n(v) be the second derivative of v**4/6 + 3*v**3/2 + 27*v**2/2 - 17*v. Does 12 divide n(-9)?
True
Suppose 21 = -4*c + 53. Let x(r) = 31*r + 4. Let j be x(c). Suppose 4*v = 4*i - j, 0 = -3*i + 5*i + 5*v - 133. Does 21 divide i?
False
Let p = -236 + 284. Is 3 a factor of p?
True
Is 39 a factor of (-11 - -12)/(1/468)?
True
Let s(o) = 2*o - 3. Let w be s(3). Suppose -5*d = w*j + 25, -3*d - 2*d - 25 = 0. Let b = 11 - j. Does 11 divide b?
True
Let k(v) = 5*v**2 - v + 540. Does 36 divide k(0)?
True
Let x(l) = l**2 - 8*l + 11. Let m be x(9). Suppose 5*i - 125 = m. Is 7 a factor of i?
False
Let k be (-2)/((8/(-24))/((-2)/(-6))). Is k/(-6) + 738/27 a multiple of 3?
True
Suppose 3*h - 580 + 100 = 0. Does 9 divide h?
False
Let t(r) = 0*r + 5*r + 6 - 4*r - 3*r. Does 22 divide t(-8)?
True
Suppose -5*n = -2*q - 5085, 5*n - 5080 = 7*q - 4*q. Is 54 a factor of n?
False
Suppose 11*f = 9*f + 3*s + 1879, -2*s = -5*f + 4692. Is f a multiple of 17?
False
Let y = 16 - 12. Suppose 0 = y*f - 12, 3*n - 228 = -2*n + 4*f. Is n a multiple of 26?
False
Let j = -2 + -2. Let o = 18 + j. Does 28 divide 208/7 + o/49?
False
Let j = -431 - -633. Let d be (-14)/35 + j/5. Suppose -d = -u - 0. Is u a multiple of 15?
False
Let i(a) = -a + 1. Let q(h) = -40*h + 4. Let k(y) = 8*i(y) - 2*q(y). Let f be k(2). Suppose 3*c + 5*n - f = 0, 4*c - 91 = -3*n + 90. Does 10 divide c?
False
Is 13 a factor of 308/11 - (1 - -1)?
True
Let l(p) = -8*p**3 + 26*p**2 - 17*p - 44. Let c(a) = -3*a**3 + 9*a**2 - 6*a - 15. Let d(j) = 17*c(j) - 6*l(j). Is 17 a factor of d(-4)?
True
Let s(o) = -o**2 - 8*o - 12. Let n be s(-5). Suppose -n*b + 3*f = 2*b - 161, 19 = b - 5*f. Suppose 2*i - b = -4*p - 0*i, 2 = -2*i. Is p a multiple of 7?
False
Let b = 2572 - 5172. Let g = b + 1076. Is g/(-42) - (-4)/(-14) a multiple of 18?
True
Let a be 15/(-4)*8/3. Let l(s) = -s**2 - 12*s + 11. Let q be l(a). Suppose -q = b - 2*b. Is b a multiple of 14?
False
Suppose 0 = 2*h - 3*l - 611, h + 48*l - 53*l = 295. Does 5 divide h?
True
Suppose -6*a + 2*r = -2*a - 122, -90 = -3*a + 2*r. Suppose -14*i - 8 = 20. Is i + a + 3/1 a multiple of 11?
True
Let c = 3 - 15. Let y(j) = j**2 + 5*j + 23. Is y(c) a multiple of 9?
False
Let x(o) = -8*o + 12 - 7*o**2 + 8*o**2 - 2. Let s be x(7). Suppose 0 = -0*u - 2*u + s*j + 35, 5*u = 4*j + 91. Is u a multiple of 7?
False
Let r(z) be the first derivative of -z**3/3 - 3*z**2 + 2. Let x be r(-5). Suppose f + 3 = x, -5*f + 1 = -3*c. Is c a multiple of 3?
True
Suppose -8*p + 199 = -121. Is p a multiple of 20?
True
Let v = -135 - -125. Let l = 26 - v. Is 4 a factor of l?
True
Let j = 13 + -13. Suppose j*t + 80 = 4*t. Suppose p = 5*p - 4*q, -t = -4*q. Does 4 divide p?
False
Suppose -2*c - 12 = 6*n - n, 3*n - 4 = -4*c. Suppose 0 = -4*i - 4*x + 108, -c*i - 5*x + 102 = -3*x. Does 12 divide i?
True
Let s be (-400)/(-7) - 1/7. Suppose 5*c - s = 168. Is 21 a factor of c?
False
Does 24 divide (-231)/66*(-136)/7?
False
Suppose 0 = 4*n - 5*h - 6425, 130*n - 2*h = 126*n + 6434. Is n a multiple of 70?
True
Let s(z) = 2 - 2 + 14*z - 2. Is s(3) a multiple of 10?
True
Suppose 39 = f + 2*f + 4*n, -2*f + 2*n + 26 = 0. Let y = f - 14. Is (3 + -12)/y + 3 a multiple of 12?
True
Let p(c) = -c**2 - 4*c + 1. Let g be p(-4). Suppose 6*v + 114 - 2676 = 0. Does 10 divide g/(-4) - v/(-28)?
False
Let y = -23 + -1. Let l = y - -22. Is 2442/30 - l/(-5) a multiple of 13?
False
Let g = -24 - -64. Let j = 35 + -51. Let c = g + j. Is c a multiple of 8?
True
Suppose 0*w = w - 12. Suppose -3*t = w, -4*v - 4 - 8 = 5*t. Suppose v*a = 2*g - 42, -5*g - 3*a + 56 = -81. Is g a multiple of 5?
True
Let q(v) = -64*v + 673. Is q(-13) a multiple of 43?
True
Suppose 0 = 11*l - 0*l - 10362. Is 19 a factor of l?
False
Suppose -5*k - 12 = -2*k, -5*x - 14 = k. Is (6 + -22)/(x/5) a multiple of 6?
False
Let c be -5 - -4*(-5)/(-10). Let j be (-68)/c - 2/3. Suppose 25*w = 27*w - j. Is w a multiple of 2?
False
Let l be (-11)/(-22) + 79/(-2). Let k = 79 + l. Suppose 0 = -4*r - 5*m + k + 7, 0 = 5*r - 2*m - 67. Is 13 a factor of r?
True
Let q = 105 - 207. Suppose -11*d + 424 = 237. Is 8 a factor of d/q + (-710)/(-12)?
False
Let b be 2 + (-1 + -1)/(-1). Suppose -b*r + 2 + 38 = 0. Suppose -4*p - r + 34 = 0. Does 6 divide p?
True
Let h(k) = 2*k**3 + 14*k**2 - 12*k - 27. Let b(a) = a**3 + 7*a**2 - 6*a - 13. Let f(z) = 5*b(z) - 2*h(z). Let i be f(-8). Let x = i - -56. Does 8 divide x?
False
Let b(c) = -c**2 + 40*c + 1. Let w be b(22). Let g = -205 + w. Does 42 divide g?
False
Let i = 961 - 101. Is 15 a factor of i?
False
Let i(g) = -3*g - 7 + 10647*g**2 + g**3 - 10653*g**2 + 4*g. Suppose -4*r = -29 + 1. Does 7 divide i(r)?
True
Suppose 2*u + 2*y + 38 = 0, 3*y + 29 - 6 = -u. Let q(i) = i**2 + 15*i - 6. Does 7 divide q(u)?
True
Let m(q) = -3*q**2 + 2*q + 12 + 6*q - q**3 - 2 + 9*q**2. Is 17 a factor of m(7)?
True
Suppose k + 187 = -x + 627, 2240 = 5*k - 5*x. Does 6 divide k?
True
Does 23 divide (0 - 1328)/(-4) - -3?
False
Suppose -3*q - 2*l = 493 - 2293, 0 = -4*q + l + 2400. Does 30 divide q?
True
Let d be 90/8 - 3/12. Let f = 16 - d. Suppose -f*n = -0*n - 110. Is 15 a factor of n?
False
Suppose 3*k + 2601 = 3*a, -4*a + 5*k = -500 - 2971. Does 72 divide a?
True
Let h(i) be the third derivative of i**5/30 + 7*i**4/24 - 3*i**3/2 + 14*i**2. Does 15 divide h(6)?
True
Suppose -5*a - 3*i + 15 = 2*i, -2*a = -2*i - 10. Suppose 2*n + 98 = 3*w - 77, 2*n = -a*w + 224. Is w a multiple of 19?
True
Let i = -12 + 26. Let y = i + 3. Let b = 23 - y. Is b a multiple of 4?
False
Suppose 3*h - 297 = 3*a, 3*a + 90 = 2*h - 109. Is h a multiple of 14?
True
Let y = -29 + 97. Suppose 15*d = 13*d + y. Suppose -5*l + 161 = -d. Does 13 divide l?
True
Suppose -5*c + 0*c = -3370. Is 24 a factor of c?
False
Is ((-870)/5)/6*-17 a multiple of 29?
True
Let z = -133 - -145. Suppose z*j - 1330 = 2*j. Is 19 a factor of j?
True
Let n(p) = -p + p**2 + 9 + 15*p + 3. Is 9 a factor of n(-15)?
True
Let u(l) be the third derivative of -l**5/60 + 3*l**4/8 - 15*l**2. Is 3 a factor of u(8)?
False
Let h(t) be the third derivative of -t**7/2520 + t**6/60 - t**5/15 + t**4/24 + 5*t**2. Let z(k) be the second derivative of h(k). Is z(7) a multiple of 9?
True
Let x = 60 - 51. Suppose -x*o + 4*o = -140. Is o a multiple of 11?
False
Is 4 a factor of (-92 - 2)*(-11)/(-66)*-3?
False
Let u = -275 + 1004. Does 27 divide u?
True
Let w(t) = -3*t**3 + 8*t**2 + 3*t - 7. Let c(h) = -7*h**3 + 17*h**2 + 7*h - 15. Let n(i) = -2*c(i) + 5*w(i). Let q be 4/(-14) + (-60)/(-14). Does 8 divide n(q)?
False
Let f(m) = 3 + 3*m + 6*m + 3 + 0*m. Let c be f(-5). Is 7 a factor of c/(-6)*2 + 2?
False
Suppose 196 = j + 49. Is j a multiple of 3?
True
Suppose 5*p + y - 200 = -4*y, y = -3*p + 122. Let g = p - 10. Is g*2*(-1)/(-2) a multiple of 17?
False
Let p = -795 + 829. Is p a multiple of 4?
False
Is 46 a factor of 5 + ((-2845)/(-5) - 4)?
False
Suppose -9 = 3*v, 3*z - 3*v + 0*v = 354. Let l = -41 + z. Does 21 divide l?
False
Let h = 1428 - 726. Is 39 a factor of h?
True
Let s = 87 + -84. Suppose -o + 66 = 5*g - 16, 230 = s*o - g. Is 21 a factor of o?
False
Le