t f = 278 + l. Is 16 a factor of f?
True
Suppose 1102 + 167 = 3*o. Let q = -295 + o. Is 5 a factor of q?
False
Let b(c) = -2*c + 536. Is 13 a factor of b(8)?
True
Let v be 6*-4*2/4. Let x(q) be the second derivative of -5*q**3/6 - 2*q**2 + 21*q. Is x(v) a multiple of 10?
False
Let i(a) = -5 - 12 + 3 - a**2. Let x be i(0). Let m(r) = -6*r - 12. Does 26 divide m(x)?
False
Suppose -87 = 43*n - 46*n. Suppose -4*f = -0*f + 5*o - 37, 3*o = -3*f + 27. Suppose -f*j + n + 27 = 0. Is 7 a factor of j?
True
Let o = 388 - -396. Let d = -1426 + o. Let t = -362 - d. Does 35 divide t?
True
Does 7 divide (-4 + 12/15 + 4)/(18/112635)?
False
Suppose -5*v = -2*t - 45857 - 17258, -4*v + 7*t + 50465 = 0. Is 101 a factor of v?
True
Let r be 36/84*(5 - (-1 + -1)). Suppose -3*a + 21 + 52 = t, -61 = -t + r*a. Does 9 divide t?
False
Let y(k) = 6*k - 16. Let z be y(3). Suppose 0 = u + z*c - 182, 0 = -8*c + 4*c - 12. Is u a multiple of 47?
True
Let k(i) = -50 + 50 - 15*i + 76 - 17*i + 64. Is 5 a factor of k(-14)?
False
Let b be 3/(-2)*334/(-501) + 150*1. Let v(s) = 19*s - 5. Let y be v(6). Let k = b - y. Does 8 divide k?
False
Let l = 28 - -9. Let t(x) = -x**3 - 9*x**2 + 14*x + 126. Let j be t(-9). Suppose 3*w + l - 109 = j. Is 2 a factor of w?
True
Let h(y) = 181*y + 1252. Is 16 a factor of h(44)?
True
Let l(b) = -b**2 - 114*b - 1950. Is l(-52) a multiple of 13?
True
Suppose -23*f = -24*f + 4. Suppose -h + f = n, -5*n - 20 = -7*h + 2*h. Is 11 a factor of 2*(-3 + 1/(h/114))?
False
Is 8 a factor of (2*19)/((-620)/80 - -8)?
True
Let p(h) = -37*h + 637. Is 30 a factor of p(-15)?
False
Let a(k) = 3*k**2 + 229*k - 855. Is 69 a factor of a(-96)?
False
Let u(t) be the third derivative of -16*t**4/3 + 79*t**3/6 - 2*t**2 + 105. Does 21 divide u(-7)?
False
Suppose -5*u = 4*i - 19934, 132*i - 135*i + 15947 = 4*u. Is 83 a factor of u?
False
Let a(h) be the second derivative of 13*h**4/12 + 19*h**3/6 - 5*h**2 + 46*h. Is 10 a factor of a(-5)?
True
Let t(r) = -r**3 + 20*r**2 - 34*r - 22. Let w be t(18). Is 5314/w - (-21)/49 a multiple of 44?
False
Let m(b) = -130*b**3 + 8*b**2 + 32*b + 20. Is 15 a factor of m(-4)?
True
Let b be 2/4*(-1)/(5/(-40)). Suppose -3*o = -5*g + 278, 3*g - 132 = g - b*o. Let w = g + 57. Is 27 a factor of w?
False
Suppose 13*q = -17*q + 6150. Suppose -s + 3*j = -219, 3*j - 464 = -3*s + q. Does 13 divide s?
False
Let h(j) = -49*j + 27. Let r be h(-5). Suppose -r = 2*w - 3*w + u, -4*w - u + 1083 = 0. Is 17 a factor of w?
False
Let o be 10/(-15) - (-64)/6. Let f(d) = -d**2 + 7*d. Let z be f(o). Does 9 divide 4/z - 1644/(-180)?
True
Let c(v) = 3*v**3 + v**2 + 1. Let p(f) = -597*f**3 - 4*f**2 - 14*f + 13. Let b(i) = -2*c(i) - p(i). Is 11 a factor of b(1)?
False
Let z(f) = -51*f**2 + 210*f**2 - 12*f + 20 + 75*f**2. Is 16 a factor of z(2)?
False
Let b = -111 + 113. Let q be (240/(-210))/(b/(-7)). Suppose -88 = -4*t + q*r, 5*t = -5*r + 2*r + 150. Is 9 a factor of t?
True
Let t(x) = 128*x + 356. Is 29 a factor of t(26)?
False
Let d(h) = -13*h**2 - 9*h - 7. Let z(k) be the second derivative of -7*k**4/12 - 2*k**3/3 - 2*k**2 + 3*k. Let m(i) = 2*d(i) - 5*z(i). Is 17 a factor of m(-5)?
True
Let k(w) = 4 + 18*w - 56 + 30*w. Does 10 divide k(4)?
True
Let i = -2947 - -5925. Is i a multiple of 152?
False
Let a = 9 + -7. Suppose a*p = o + 265 + 8, 2*o = 2*p - 276. Is 25 a factor of p?
False
Let b(g) = 4*g**2 + 36*g + 62. Does 3 divide b(-11)?
True
Let u(y) = 151*y**2 - 13*y - 14. Is u(-3) even?
True
Suppose 0 = -p + 3*a - 4 - 0, 5*a = -5*p - 100. Let v = p + 296. Does 14 divide v?
True
Let r(j) = 179*j**2 - 3*j - 160*j**2 - 1 + 1. Is r(-5) a multiple of 20?
False
Suppose 0 = -4*n - 3*l + 330 + 12130, 16*l = -2*n + 6172. Does 94 divide n?
False
Suppose 5*b + 49601 = 4*c + 11365, 4*b - 19118 = -2*c. Does 8 divide c?
False
Suppose f - 21 + 16 = 0. Suppose -s = -2*s + 2*d + 4, 2*s = -f*d - 10. Suppose 12*q - 4*q - 640 = s. Does 14 divide q?
False
Let l = -24 + 60. Let x(t) = l*t + 18 - 2*t**2 + t**2 - 9*t. Is 39 a factor of x(22)?
False
Is 182 a factor of ((-228)/45 + (-16)/(-40))*(-2971 + 7)?
True
Let y(w) = 9*w**3 + w**2 + 13*w - 1. Let g(z) = -5*z**3 - 7*z. Let m(f) = 5*g(f) + 3*y(f). Is 10 a factor of m(3)?
True
Suppose -14*w - 9*w - 391 = 0. Does 42 divide (98/8)/(w/(-408))?
True
Suppose 20 = 4*f + 5*b, f - 5*b = 6*f - 25. Suppose -l - f*g = -2*l - 27, l = -5*g - 7. Let d = 7 - l. Is d a multiple of 24?
True
Let w(i) = -i + 64. Let m(v) = -3*v + 2*v + 3*v - 127. Let a(p) = 3*m(p) + 7*w(p). Is 29 a factor of a(13)?
False
Let l(n) = 4*n - 6. Let s be l(-11). Let h = -34 - s. Suppose -158 = -v + h. Is 29 a factor of v?
True
Let i(r) = r**3 - 3*r**2 + 4*r - 3. Let d be i(3). Suppose -4*s = -4*n + 4, s - 4*s - d = 0. Is 0 + 1 + n + 53 a multiple of 25?
False
Suppose 0 = -2*h - 27 + 11. Suppose 0 = 3*t - 20 + 152. Is 18*(t/h + -2) a multiple of 7?
True
Let d(x) = 53*x**2 - 94*x - 1144. Is 158 a factor of d(-12)?
False
Let c(h) = -9*h**2 - h - 1. Let t be c(1). Let f = -8 - t. Suppose f*p = 26 + 4. Is 9 a factor of p?
False
Let t = -37 + 44. Let g(r) = -22 + 2*r + 0 + 11 + t*r. Is g(4) a multiple of 7?
False
Let i = -138 - -705. Suppose 4617 - i = 6*f. Is f a multiple of 45?
True
Suppose -o = -3*d - 0*d + 21143, d = -5*o + 7021. Is 48 a factor of d?
False
Suppose 0 = 38*s - 7948 - 39476. Does 16 divide s?
True
Suppose -311*c + 5120 = -307*c. Suppose -5*r - 6*a + 5*a + c = 0, -2*r = 5*a - 512. Is r a multiple of 29?
False
Let q(y) = 2*y**2 - 75*y + 450. Is 31 a factor of q(57)?
False
Suppose -c + 4*x - 14 = 0, 13 = -c + 5*x - 5. Let o be (2 + 0)/(c/3). Suppose 2*g - 180 = -o*g. Is g a multiple of 7?
False
Suppose c = 5*x + 1720, 5*c + 8*x - 4*x - 8716 = 0. Suppose -4*m = -4*l - c, l = 15*m - 11*m - 1725. Is m a multiple of 22?
False
Suppose -10 - 8 = -4*q - 2*t, 4*t - 20 = 0. Let i be ((-4)/(-2)*(-5)/q)/(-1). Suppose i*g - 185 = -3*j - 2*j, 5*j = -2*g + 71. Is g a multiple of 19?
True
Suppose -7*l = 59*l - 248859 - 42465. Is l a multiple of 40?
False
Suppose 0 = 7*y + 220*h - 222*h - 48174, 0 = 4*y + h - 27513. Does 172 divide y?
True
Let q = -184 - -465. Let l = q + -51. Is 23 a factor of l?
True
Let l(k) = 2*k + 52. Let u(o) = -o**2 + o - 1. Let r be u(-3). Is 26 a factor of l(r)?
True
Let i(b) be the first derivative of -3 - 1 + 41*b**2 + 4*b - 7*b**2. Is 20 a factor of i(2)?
True
Let k = -95 - -82. Let b = 510 - k. Let g = -304 + b. Does 55 divide g?
False
Let o = -14317 + 32702. Is o a multiple of 166?
False
Suppose -2427192 = -207*j + 2404809. Is 31 a factor of j?
True
Suppose 0*l = 4*i - 4*l - 96, 5*l - 48 = -3*i. Let y = i - 16. Suppose 7*b + 120 = 2*d + 2*b, 0 = -y*d - b + 273. Does 6 divide d?
False
Let h = -893 - -903. Let d(c) = 104*c + 336. Is 43 a factor of d(h)?
True
Suppose -f + 2*f = 5*k - 22, k = -5*f + 20. Suppose 0 = o - 4*w - 3, -k*o + 5*w + 4 = -26. Suppose -5*m - 25 = 0, o*t = 2*t - 4*m + 610. Does 24 divide t?
False
Let f = -264 + 167. Let v = 94 + f. Is 5 a factor of v*1/(-3) + 188/2?
True
Let y = -94 + 39. Let v = -53 - y. Suppose 0 = -5*g + 2*u + 228, v*g + 4*u - 37 = 35. Is g a multiple of 16?
False
Let r(p) = -11*p + 102. Let k(j) = 33*j - 304. Let m(x) = -4*k(x) - 11*r(x). Is m(-7) a multiple of 24?
False
Let p(v) = -2*v**3 - 160*v**2 - 181*v - 90. Does 8 divide p(-79)?
False
Let p be 50/(-3)*(-126)/84. Suppose -2*x = -p + 23. Let n(y) = 198*y. Does 9 divide n(x)?
True
Is 34 a factor of 66 + ((-73)/(-730) - (-1 + (-42)/(-20)))?
False
Suppose 0 = 38*z - 30*z + 136. Does 5 divide -1*(z + 7 + -12)?
False
Let a be (-4)/(-14) + 115/(-35) + 8. Suppose t = 5, -a*o - t = -180 - 125. Does 19 divide o?
False
Suppose -n + 5 = -u + 4, 0 = u - 4*n + 10. Suppose -4*i + u*d + 2*d + 1468 = 0, 2*i + 5*d - 706 = 0. Is i a multiple of 11?
True
Let v = -8499 - -66923. Is 109 a factor of v?
True
Let y(n) = n**3 + 7*n**2 + 3*n - 18. Let w be y(-6). Let m be w - (0 - 0) - -60. Let x = m + -39. Is x a multiple of 21?
True
Let j be (-2 + 3)*(1/1 - -958). Suppose 5*a = -f + j - 65, 4*a - 718 = 2*f. Let x = 43 + a. Is 9 a factor of x?
False
Is 37 a factor of 1923*464/48 - 15?
True
Let f = -32 + 2130. Is f a multiple of 4?
False
Let v(c) = c**3 - 6*c**2 + 4*c + 6. Let x be (11/(-22))/((-1)/10). Let s be v(x). Is 14 a factor of ((-212)/3)/s*(-3)/2?
False
Let u be (-4 + 2 - 7)/(-1*1)