10 a factor of l(11)?
True
Suppose -18 = -615*n + 606*n. Let a(x) = -x + 3 + 3*x**2 + 20*x**3 - x + 2*x**3. Is a(n) a multiple of 11?
True
Let m(x) = 621*x**2 - 41*x - 87. Is m(-2) a multiple of 37?
True
Let l = 483 - 235. Let p be -1*54/(-9) - -248. Suppose -n + p = 4*a, 5*a = a + 2*n + l. Does 9 divide a?
True
Let u = -6361 + 23332. Is u a multiple of 158?
False
Let f(x) = x**2 + 4*x - 35. Let u be f(-9). Suppose -h + 1008 = -u*h. Let g = -49 - h. Does 3 divide g?
True
Let y(l) = l + 17*l**3 + 974*l**2 - 975*l**2 - 2 + 0*l**3. Is 5 a factor of y(3)?
False
Suppose 5*q + o = 45, -5*q + o + 45 = -3*o. Let m(p) = -21 - 19 + 4 + 13*p + 0*p - 4*p. Is 21 a factor of m(q)?
False
Let w be 4/18 - 8792/(-126). Is (w/3)/((-7)/(882/(-12))) a multiple of 12?
False
Let b(c) = 19*c + 4400. Does 34 divide b(120)?
False
Suppose 263*j - 1607484 + 219691 = 1111759. Is j a multiple of 8?
True
Let u = 481 - 430. Suppose 0 = 2*p - p - 11. Suppose -u = -g + p. Is g a multiple of 8?
False
Suppose 8*t + 4*u - 83056 = 0, -8*u + 41520 = 4*t - 4*u. Does 44 divide t?
True
Let t(s) = 168 + 611*s - 648*s + 36. Is t(-21) a multiple of 49?
False
Let w(z) = 68*z**2 - 58*z + 6. Let r be w(-13). Suppose -r = 30*l - 32742. Does 17 divide l?
False
Suppose 0 = 8*b - 14*b - 144. Let r = b - 21. Does 20 divide 316/6 - 60/r?
False
Let z(v) = -2*v**2 + 5. Let k be z(-4). Let a = -24 - k. Suppose -r + a*f = -f - 160, 0 = 5*r - f - 762. Does 26 divide r?
False
Suppose -22*w = -18*w - 188. Let c = w + -77. Let u = 75 + c. Is u a multiple of 15?
True
Suppose y - 3*y + 64 = 0. Suppose a = -4*v - 0 + 7, -2*a + v = -y. Is 6 a factor of 3/a + (-356)/(-20)?
True
Let x(r) = -142*r**3 - r**2 + 3*r + 9*r**2 - 17*r**2 + 5 + 6*r**2. Is 9 a factor of x(-1)?
False
Suppose 76*f + 499304 - 610679 = 1859457. Does 26 divide f?
False
Suppose 2*k - 11 = -3. Suppose -5*b + 56 = -k. Suppose -n + 4*p - b = -p, 0 = 2*n - 3*p - 4. Is 4 a factor of n?
True
Suppose 13*f + 11*f - 3*f - 76440 = 0. Does 26 divide f?
True
Is ((-112)/(-84))/((-68)/(-1478847)) a multiple of 208?
False
Let b = 2935 - -544. Is 71 a factor of b?
True
Suppose 0*g + g = -5*b + 14, -3*b = -3*g + 24. Suppose 3*a = 564 + g. Is a a multiple of 14?
False
Suppose -b - 5*x + 20 = 0, 13 = -b + 4*x - 3. Suppose b = 3*t - 13*t + 10850. Is 68 a factor of t?
False
Suppose -32*t + 37*t = -3*n + 4771, 0 = -2*n - 6. Does 4 divide t?
True
Suppose t - 3*k + 17 = 0, 0*t + 2*k - 150 = 5*t. Let l be 7/((-28)/(-8))*2*11. Let m = l + t. Is m a multiple of 12?
True
Let j(l) = 10*l**3 - l**2 + 4*l - 2. Let m be j(1). Suppose -s - 23 + m = 0. Is (-58)/((s/16)/(3/2)) a multiple of 29?
True
Let c = 24 - 6. Let f(d) = d**2 - 25*d - 399. Let j be f(-12). Is c/j + (-1072)/(-20) a multiple of 3?
True
Suppose 4*g + 757 = 5*m + 3267, 2*g = 5*m + 1250. Suppose 362 = 4*a - g. Is 8 a factor of a?
True
Suppose 110314 = 36*m + 16138. Does 109 divide m?
True
Let u = -28 - -26. Let i(t) = t**3 - 19*t**2 - 28*t + 37. Let d(w) = -2*w**3 + 19*w**2 + 28*w - 36. Let a(l) = u*d(l) - 3*i(l). Is a(-17) a multiple of 22?
False
Is 23272/20 - 72/120 a multiple of 6?
False
Suppose -a = 2, -2*g - 2 = a + 1568. Let r = g + 835. Is r a multiple of 3?
True
Suppose -9*m - 4*m - 15634 + 64540 = 0. Is 99 a factor of m?
True
Let r(j) = -19*j**2 + 70*j - 32 - 2*j**2 - 3 - 14*j**3. Let y(z) = -5*z**3 - 7*z**2 + 24*z - 12. Let i(d) = 4*r(d) - 11*y(d). Does 22 divide i(-10)?
True
Let a(x) = 2804*x**2 - 12*x - 29. Is a(-2) a multiple of 111?
True
Suppose -4*n = -4*a - 36, 0*n + 4*n - 40 = 5*a. Is 17 a factor of (-6)/a - 4921/(-74)?
True
Let f = -33175 - -49728. Does 4 divide f?
False
Let u = 861 + 1167. Is 208 a factor of u?
False
Suppose -46*d = -17*d - 24215. Does 3 divide d?
False
Let l(q) be the second derivative of 7*q**3/2 - 129*q**2/2 - 65*q. Is l(7) a multiple of 18?
True
Let v(g) = g**3 + 4*g**2 + 3*g + 9. Let a be v(-4). Is 30 a factor of 2/a*-291 + -1?
False
Is 11 a factor of (3 + -280)/(2 - 69/33)?
True
Let y(b) = -b - 14. Let w(u) = -u. Let x(i) = 6*w(i) - y(i). Let h be x(-6). Suppose 6*c - 124 = h. Does 6 divide c?
False
Suppose q = -3*w + 3176, 5*q - 12700 = 5*w + 3240. Is q a multiple of 65?
True
Suppose -900 = -6*a - 4*a. Let b = 135 - a. Is b a multiple of 13?
False
Suppose 325 = 11*d - 709. Suppose -103*q = -d*q - 153. Is q a multiple of 17?
True
Let w(i) = 0*i**2 + 71*i + 20 + 4*i**2 + 9*i - 11*i**2 + 47*i. Is w(17) a multiple of 3?
True
Let t(z) = -4*z**2 + 4. Let c be t(-6). Suppose -8*r + 6*r = -3*m - 26, -m - 5 = 3*r. Does 9 divide 198/7 - m*5/c?
False
Suppose 4 + 5 = 4*v + 3*s, -s = 5. Is 50 a factor of -2 - (12/(-36) + (-4810)/v)?
True
Let r(l) be the third derivative of -13*l**4/3 + l**3/3 - 51*l**2. Let d be -2*(1 + ((-1)/(-2))/(-1)). Is 5 a factor of r(d)?
False
Let a = 2994 + 3801. Does 161 divide a?
False
Let o be (-7 + 7)/(-2 - 1 - -5). Let b be 15/(-30)*(o - 12). Let p(h) = 2*h**3 - 4*h**2 - 8*h - 5. Does 40 divide p(b)?
False
Suppose 2*c + 12636 = 4*z, -59*c + 66*c = -2*z + 6334. Is z a multiple of 32?
False
Suppose -3*y + 156 = -138. Is (-4)/(-18) + y*(-10)/(-45) a multiple of 22?
True
Suppose -9*r + 2 = -10*r. Let w(f) = 2. Let n(s) = s + 2. Let z(y) = r*n(y) + 5*w(y). Is z(-11) a multiple of 14?
True
Let x(h) = 7 + h**3 - 7*h**2 + 0*h**2 + 4*h - 3*h**2 + 3*h**2. Let w be x(6). Is 35 a factor of (2 - 3)/(w/875) + -2?
False
Suppose 0 = -11*l + 8 + 14. Suppose -l*o + 8 = -72. Is 8 a factor of o?
True
Let p(q) = 6*q - 5. Let n be p(7). Let l = n - 33. Suppose 35 = y - 3*c, l*c = c - 3. Is 23 a factor of y?
False
Let f = 12996 - -2008. Does 31 divide f?
True
Let s(n) = 39*n + 5. Let b be s(23). Let x = b + -560. Does 23 divide x?
False
Let d(m) = -496*m - 3120. Does 144 divide d(-42)?
True
Let d be 2/2 - ((-6)/(-1) - 7). Suppose -3*k + d*k = 5*a - 3272, -2*a - 5*k + 1318 = 0. Is 6 a factor of a?
True
Let z(u) be the third derivative of -u**6/120 - u**5/5 - 3*u**4/4 - 11*u**3/3 + 47*u**2. Let r be -1*(4 + -3) - 10. Does 17 divide z(r)?
False
Let y be (-2 - -1) + 44/(-4). Suppose -3*j = -c + 54 - 129, 5*j + 2*c - 136 = 0. Does 10 divide ((-2)/y - j/12) + 53?
False
Suppose -5*v = -3*v + 12. Let f be 322/21 - (-2)/v. Suppose -5*u - f = -10*u. Is u a multiple of 2?
False
Let r(t) = -34*t + 23*t**2 + t**3 + 15 + 13 + 18 - 12. Is 81 a factor of r(-24)?
False
Let a(m) = -202*m**3 - 7*m**2 - 8*m + 1. Is a(-2) a multiple of 11?
False
Suppose -12*d + 18*d = 204. Suppose 3*m + 2*a - 4 = 0, -5*a - d + 6 = -2*m. Suppose -3*t + 634 = 2*t + 2*b, -m*t + b + 515 = 0. Is t a multiple of 16?
True
Let t(i) = -i**2 - 26*i + 3. Let z(d) = -4*d**2 - 27*d + 2. Let v(p) = p**2. Let w(g) = -2*v(g) - z(g). Let j(o) = -4*t(o) - 3*w(o). Does 12 divide j(10)?
True
Let m(c) = -832*c + 5949. Is 55 a factor of m(-38)?
True
Suppose -9*l + 32 = -5*l. Suppose 5*d + l = 23. Suppose -d*r = -119 - 46. Is 20 a factor of r?
False
Let v(w) = -5*w - 14. Let b be v(-4). Let m(u) = -41*u + 19. Let z be m(b). Let s = -107 - z. Does 30 divide s?
True
Suppose -3*s + 22651 = -3*z + 92341, -5*z + 2*s = -116168. Is 37 a factor of z?
True
Suppose 0 = 4*u + 5*n - 13, n - 17 + 16 = 0. Suppose -1167 = -t - u*t + z, -4*z = -t + 378. Is t a multiple of 30?
True
Let g(h) = -h**3 - 5*h**2 + 2*h. Suppose -1 = -7*r + 6*r - 3*k, 3*k + 31 = -5*r. Does 6 divide g(r)?
False
Suppose 3*v - 904 = -4*n, 4*n - 241 - 691 = 4*v. Suppose 211*d + 216 = n*d. Is 4 a factor of d?
True
Let p(n) = -55*n - 7. Let s be p(1). Let y = 309 + s. Does 14 divide y?
False
Suppose j = 3*x + 4026, 5*j + 9*x = 5*x + 20168. Is 126 a factor of j?
True
Suppose -3*p + 12 + 2 = j, -3*p = 2*j - 22. Suppose -u + 4 = -h, 2*u - 3*h - j = -6*h. Suppose -26 = -2*s - 4*q, u*q - 47 = -s - 4*s. Is s a multiple of 2?
False
Suppose -4*x + 4*b + 132 = 0, 0 = 3*x + b - 4 - 75. Suppose 0 = -x*y + 36*y - 2424. Is 25 a factor of y?
False
Let g be ((-42)/(-9) + -4)*(-9)/(-3). Does 10 divide g + (-15)/((-105)/2996)?
True
Suppose 0 = -c - 2*x + 3185, 85*c = 87*c - 5*x - 6343. Is 17 a factor of c?
True
Let x = 35 - 43. Let v be ((-14)/(-4))/((-2 + 0)/x). Does 4 divide v/49 - 194/(-7)?
True
Let n = -399 + 615. Let f = n - 147. Is f a multiple of 10?
False
Let j(n) = 10*n**2 - 26*n - 6*n**2 + 17*n + 18*n + 4 - 42*n**3. Is j(-2) a multiple of 26?
True
Let z be 12/(-16)*(12 + 4). Is 15