l + 5*g - 919 = -12849. Is 26 a factor of l?
True
Suppose 2*v - 99 - 347 = -2*o, -4*v = -5*o + 1133. Is o a multiple of 2?
False
Suppose 2*b - b = -5*t - 2, -2*t = -2*b - 52. Let f(h) = h**3 + 26*h**2 + 48*h. Is 8 a factor of f(b)?
True
Let w(l) = 13*l**2 - 4*l - 1. Suppose 3*y + 5*k = 3*k + 6, 10 = 5*y - 3*k. Suppose y*j + 4 = 10. Is 13 a factor of w(j)?
True
Let x = 7738 - -27. Is x a multiple of 107?
False
Let p(d) = -2551*d - 2643. Is p(-8) a multiple of 55?
True
Let c(w) = -7*w - 4. Let y be c(6). Suppose 5*b = -2*i - 589, 69*i - 70*i - 587 = 5*b. Let o = y - b. Does 30 divide o?
False
Let f be -8*(4 - 36/(-16)). Let h = f + 74. Is h a multiple of 11?
False
Let l be (-1)/((-1)/138*-1). Let m = 954 - 952. Let y = m - l. Is 25 a factor of y?
False
Let v = -214 - -216. Suppose -60 = -q + 4*p, -7*q + 4*q - v*p + 124 = 0. Does 4 divide q?
True
Suppose 0 = 12*x + 20*x - 1056. Suppose x*w - 4531 = 10*w. Is w a multiple of 27?
False
Let n = -12217 + 24625. Does 87 divide n?
False
Let f(a) = 2*a + 41. Let t be f(-14). Suppose 0 = 8*b + t - 29. Suppose 540 = 3*o - 3*r, 4*r - 360 = -b*o - 30. Is o a multiple of 18?
False
Is 33 a factor of 3 - (-17 + 84609)/(-8)?
False
Suppose -5*t - 19 = -5*b + 91, t - 103 = -4*b. Let n(h) = -15*h + 279. Let d be n(17). Suppose d*l = b*l - 135. Is l a multiple of 27?
True
Let x(q) = -q**2 - 656*q - 3255. Let i be x(-5). Let f(g) be the first derivative of 5*g**2/2 + 6*g - 1. Does 6 divide f(i)?
True
Is 6 a factor of (-3 - (-30)/12)/((-3)/177)*96?
True
Suppose 4 = -3*z - f, z + 6*f - 9*f = -8. Suppose 5*h + 0*x + x = -23, 0 = 3*x + 9. Does 11 divide (-5)/(-1 + z/h) - -1?
True
Is 12 a factor of (-9)/((-81)/221445) + (-3 + 1 - -4)?
False
Let l(q) = -4*q + 81. Let v be l(15). Let p(z) = -z**3 + 20*z**2 + 29*z + 20. Does 9 divide p(v)?
False
Suppose 0 = 7*l + 214*l - 180860 - 41908. Is 24 a factor of l?
True
Let i = 12881 + -7204. Is 20 a factor of i?
False
Let w(a) = 532*a - 980. Does 36 divide w(8)?
True
Let p(k) = -136*k + 85*k**2 - 80 - 84*k**2 + 108*k. Is p(42) a multiple of 6?
False
Suppose -2*l + 100 = 8*l. Suppose -l*j - 20 = -14*j. Is 195 + 1*(j + 4)/(-3) a multiple of 17?
False
Suppose 6*y - 5*c - 1018 = 0, 25 = -5*c + 15. Does 4 divide y?
True
Is 10 a factor of 6/(-4) + -10554*(-28)/48?
False
Does 370 divide (-31)/124*(-12 + -9676)?
False
Let j be ((-8)/(-12))/(4/6). Suppose -n = -t + 42 + 207, -n = -j. Does 14 divide t?
False
Let q = -59 + 923. Is 10 a factor of q?
False
Let y = -53 - -128. Suppose -5*l + 3*a = 215, -3*l - 3*a = -5*l - 77. Let j = y + l. Is 9 a factor of j?
False
Suppose 78 = p + 5*c, -113*p = -103*p - 2*c - 1092. Is 2 a factor of p?
True
Let w(t) = 2*t**2 + 7*t - 45. Let h(m) = -1. Let n(f) = 3*h(f) + w(f). Is n(-12) a multiple of 13?
True
Let b(k) = -212*k + 127. Is b(-5) a multiple of 7?
False
Suppose 0*r + r + 2*y = -2, 4*r = y - 8. Let c(q) = -139*q - 26. Does 14 divide c(r)?
True
Let d(j) = -13*j - 23. Let i(y) = 27*y + 45. Let v(w) = -5*d(w) - 2*i(w). Is v(24) a multiple of 17?
True
Suppose -16*l + 3*o = -14*l - 5998, 5*l - 15064 = -4*o. Does 43 divide l?
False
Let d(s) = 93*s**2 - 5. Suppose 10*m - 9 = 1. Let p(t) = -1. Let v(q) = m*d(q) - 5*p(q). Does 9 divide v(1)?
False
Let g = 95 + -95. Suppose -v + 4*r + 71 = g, 2*v - 2*r + r - 163 = 0. Suppose -5*o + v = -737. Is 41 a factor of o?
True
Let n(v) = 2*v + 11. Let f be n(-7). Let j be 3 + f/(5 - 2). Is (3/(-5))/(j/(-150)) a multiple of 7?
False
Suppose -2 + 18 = -2*m. Let u(r) = -13*r + 52. Is 39 a factor of u(m)?
True
Suppose -5*x + 12*v - 9*v = -5323, 3*x = -4*v + 3159. Is x a multiple of 6?
False
Let g = 5817 + -4062. Is g a multiple of 9?
True
Let y(o) = -o**2 - 16*o + 11. Let q(h) = h**2 + 2. Let p be q(-5). Suppose -4*m - 3*r - p = -3, 5*r - 47 = 3*m. Does 7 divide y(m)?
False
Let a(u) be the second derivative of -13*u + 0 + 4*u**2 + 22/3*u**3. Does 20 divide a(3)?
True
Is 42 a factor of 39844 + (3/33)/(33/363)?
False
Suppose -355*i = -139*i + 434325 - 14411901. Is i a multiple of 28?
False
Let d(g) = g**3 - 4*g**2 - 5*g + 3. Let a be d(5). Suppose -14 - 4 = -a*x. Let b = x + 26. Is b a multiple of 13?
False
Suppose 6*d - d + 3*u = 10421, -3*d - 3*u = -6249. Does 18 divide d?
False
Suppose 3*a - 1218 = -4*v, -2*a - 5*v = -0*a - 805. Is 14 a factor of a?
False
Let j = 12 - 8. Suppose -5*b + 84 = 2*c + 369, 2*b - j*c + 90 = 0. Let s = b + 103. Is s a multiple of 5?
False
Let t = 35585 + -29429. Does 5 divide t?
False
Suppose -2*m + 0*m = -58. Suppose -r + 7 = 3*j - 9, 2*j - 3*r - m = 0. Let y = 8 + j. Does 5 divide y?
True
Let l be (1 - 6/10)/(8/80). Let m(p) = -6*p + 9. Let x be m(-12). Suppose -x = -l*y + 3*y. Is 27 a factor of y?
True
Suppose -4*w = -3*y - 1313, -4*w + 2*y - 3648 = -4962. Is 7 a factor of w?
True
Suppose b - 5*j = -1, 0 = j + 3*j - 4. Suppose -2*s + h - 142 = 47, 0 = -b*s + 4*h - 384. Let x = 156 + s. Does 11 divide x?
False
Suppose 0*m = -2*m. Is 14 a factor of 547 + -92 - (m/(-2) - 2)?
False
Let l(t) = -t**2 + 6*t + 4. Let s = -38 + 42. Let p be l(s). Is (2 + (-15)/p)*36 a multiple of 9?
True
Let b = 23036 - 11107. Is b a multiple of 49?
False
Let o = 140 - 137. Let t be 4 - (-680)/(-2 + o). Suppose -t + 84 = -5*m. Is 21 a factor of m?
False
Suppose 9532 = 3*b - 4*o + 3794, 5*b - 5*o = 9575. Is 98 a factor of b?
False
Is (27 - 1685/15)/((-2)/282) a multiple of 104?
False
Suppose -6477*i + 6453*i + 244992 = 0. Is i a multiple of 8?
True
Let h be 12*(80/12)/4. Let t = -24 + h. Is (-12)/t - -1*10 a multiple of 5?
False
Suppose 0 = 524*l - 491*l - 235257. Is 10 a factor of l?
False
Let h = 0 - -15. Suppose -13*j - 864 = -h*j. Does 27 divide j?
True
Suppose 4*g - 4*i = 12, -5*g + 6*i = 2*i - 10. Let x(h) = 2*h**3 - 12*h + 7*h + 2 - 10*h**3 - h**2. Does 36 divide x(g)?
True
Let s(l) = 23*l - 93. Let q be s(23). Suppose -q = 7*j - 9*j. Is 4 a factor of j?
False
Let y be (-4 - (0 + -4)) + 107. Let p = y + -109. Is 8 a factor of (8/p)/(3 - 122/40)?
True
Let z = -8474 - -15385. Does 180 divide z?
False
Let k be ((2 - -4) + 238/4)*2. Suppose 5 = -5*j, -6*p = -2*p - 5*j - 73. Let u = p + k. Does 17 divide u?
False
Let b = -2213 - -5366. Suppose 9*g - b = 654. Does 35 divide g?
False
Is 16 a factor of (-46)/(-12)*1514 - (3552/72)/(-37)?
False
Let f(g) = 91*g**2 + 19*g - 148. Does 11 divide f(5)?
True
Suppose 927*h - 925*h - 13304 = 0. Is 60 a factor of h?
False
Let d(l) = 28*l**2 + 5*l + 272. Is d(18) a multiple of 13?
False
Suppose 286*k - 283*k = 18. Suppose -891 = -k*c - 5*c. Is c a multiple of 3?
True
Let m(p) = 7 - 2 - 6*p - 19 - 2. Let i = 13 - 19. Is 4 a factor of m(i)?
True
Let v(m) = -m**2 + m. Let o(c) = 8*c**3 + 8*c**2 - 6*c + 5. Let r(b) = o(b) + 2*v(b). Let q be r(-4). Let x = -135 - q. Does 52 divide x?
True
Suppose 2*f - 4 = -5*k, k + 32 = f - 4*k. Suppose f*p = 461 + 2611. Is p a multiple of 32?
True
Let m be (-12)/(-78) + (-1917)/39. Is 2/((-2)/m)*2 a multiple of 7?
True
Suppose -4*g = 3*d - 115 - 100, g = -2*d + 60. Let t = 53 - g. Does 15 divide -1*(-8)/(-12) + 137/t?
True
Suppose 0 = 3*m - 8 - 4. Let q(c) = 3*c - 2*c - c**2 - 3*c + 3*c**2 - m. Is q(-2) a multiple of 8?
True
Suppose -3*n + 7023 = -3*u, -2*u - 4179 = -4*n + 5193. Does 67 divide n?
True
Let r(b) be the second derivative of b**5/60 + b**4/24 - 3*b**3 - 13*b**2/2 + 8*b. Let s(h) be the first derivative of r(h). Is s(-9) a multiple of 42?
False
Let k be -5*(7 - (7 + 1)). Suppose -5*r - 5*l + 4910 = -3950, 3*r = -k*l + 5316. Is r a multiple of 14?
False
Let y be (-6)/8*(136/(-24) + 3). Suppose y*u - 56 = 388. Does 55 divide u?
False
Suppose 270*a - 186*a = 36372. Is 2 a factor of a?
False
Let x(g) = 261*g**2 - 5*g + 18. Is x(3) a multiple of 56?
True
Let s(h) = 4*h + 60. Let k be s(-15). Suppose -v = 2*d - 148, -2*v + 7*v - 5*d - 785 = k. Is 34 a factor of v?
False
Suppose 4005 + 65259 = 13*b. Is b a multiple of 8?
True
Suppose 946 = 5*a - 4*o - 250, 5*o = 5. Does 24 divide a?
True
Let g(d) = 9*d**3 - 5*d**2 - 22*d + 16. Let n be g(7). Suppose -4*t = -13*m + 14*m - n, 2*t + 3*m = 1352. Is t a multiple of 50?
False
Let u be 12/((25/1010)/((-30)/(-18))). Let j = u + -701. Is 4 a factor of j?
False
Let h be (-1872)/(-108)*21*1. Let i = h - 168. Does 28 divide i?
True
Let k(a) = -2934*a - 148. Does 88 divide k(-2)?
True
Let k(c) = 107*c**3