s 36 a factor of t(90)?
True
Suppose -8*f = 3*f + 4*f - 133110. Is f a multiple of 29?
True
Suppose -4*g = 4*l + 12, g = 10 - 11. Does 31 divide (3660/(-24))/(1/l)?
False
Let n(d) = 6*d - 39. Let u be n(5). Let g be u/12 + 1 - (-10)/(-8). Does 14 divide 4/((3/3)/(g - -50))?
True
Suppose 122*y - 44*y = 42432. Is y a multiple of 68?
True
Let j be (-33)/(4 - (-52)/(-12)). Let z = j + -87. Suppose t + 3*g - z = 0, -19 = -2*t - 3*g + 17. Is t a multiple of 14?
False
Let c(s) = 158*s**2 - 21*s - 190. Is 50 a factor of c(-6)?
False
Is ((-1026960)/90)/((-18)/27) a multiple of 22?
True
Let u = -3864 + 2457. Let v = 2028 + u. Is 23 a factor of v?
True
Suppose -36212 = -455*k + 433*k. Does 20 divide k?
False
Let b(k) = -662*k + 14 + 3*k**2 + k**3 - 77 + 669*k. Is b(8) a multiple of 7?
False
Let m(v) = -v + 10. Let g(f) be the third derivative of f**4/24 - 11*f**3/6 + 15*f**2. Let k(y) = -2*g(y) - 3*m(y). Is k(22) even?
True
Suppose 845 = 4*u + u. Suppose -13*p + 2223 + 1014 = 0. Let v = p - u. Is 10 a factor of v?
True
Let f be 2 + -1 - 52/(-1). Let t(n) = -54*n**2 - 224*n + 3. Let s be t(-4). Let b = f - s. Is b a multiple of 16?
False
Let c(g) = 566*g - 2945. Is 125 a factor of c(52)?
False
Let l(z) be the third derivative of z**5/60 + z**4/2 + 5*z**3/2 + 7*z**2. Let d be l(-14). Let u = d + -26. Does 2 divide u?
False
Suppose 0*q + 96 = -2*q. Let r = q - 10. Let s = r + 102. Is s a multiple of 3?
False
Let x = 395 - 57. Let n = x - 290. Does 16 divide n?
True
Let t(i) = 26*i**2 - 50*i + 162. Is t(6) a multiple of 191?
False
Is 22 a factor of ((-98)/588)/(5/(-333570))?
False
Suppose 2*j = -0*j + 12. Let r(c) = -c**2 + 4*c + 10. Let s be r(j). Let t(n) = 3*n**2 - 4*n - 2. Is t(s) a multiple of 18?
True
Let d(p) be the second derivative of -p**5/20 + p**4 + p**3/6 - 21*p**2/2 + 25*p. Does 27 divide d(10)?
True
Let m = 306 + -212. Suppose m*s - 103*s + 1710 = 0. Does 38 divide s?
True
Suppose -o - 3 = 0, -2*d - o = 2*o + 3. Let u(f) = -22*f + 8*f - 14 + 20*f. Is u(d) a multiple of 3?
False
Let q = -275 - -268. Let a(n) = 11*n + 277. Is 40 a factor of a(q)?
True
Suppose -228*y + 226*y = -752. Is y a multiple of 4?
True
Let v = 73 + -54. Let o be -1 + (-3)/(-1)*v. Does 30 divide (60/14)/(2/o)?
True
Let u be -1891*(-15)/10*(-16)/(-12). Suppose -u = -27*i + 3670. Does 92 divide i?
True
Suppose 338*p - 364*p + 494052 = 0. Is 150 a factor of p?
False
Let b = 14 + -13. Suppose 3*l + b = 4*h - 3, -5*l + 5*h = 10. Is ((-30)/45)/(l/18) a multiple of 2?
False
Let i(u) = u**2 - 21*u + 82. Let y be i(18). Is ((1715/y)/7)/(1/4) a multiple of 8?
False
Let d = 33190 + -10862. Does 15 divide d?
False
Let u(j) = 39*j**2 - j - 6. Let i be u(9). Suppose i = 5*w + 7*g - 5*g, -5*g + 1875 = 3*w. Is 45 a factor of w?
True
Let n(b) = 2405*b + 7372. Is n(4) a multiple of 18?
True
Let f(g) = 14*g**2 - 680*g + 110. Is f(51) a multiple of 6?
False
Suppose 24 = 2*r - 4*p, 3*p = -22*r + 25*r - 27. Suppose 15 = 3*u, -7*u + r*u = 3*x - 1373. Is 8 a factor of x?
True
Let i = 19487 + -10330. Is i a multiple of 96?
False
Suppose -4202 = -2*b - n - 3*n, -4*n = -4*b + 8440. Does 49 divide b?
True
Let t(o) = 4*o**3 + 8*o**2 + 7*o + 15. Suppose -4*h + 2 = 22. Let d be t(h). Is (12032/d)/(3/((-30)/4)) a multiple of 10?
False
Let g(l) = -l**2 - 3*l + 5. Let a be g(-3). Suppose -d + 369 = 3*q, a*q - 7*d + 2*d - 595 = 0. Suppose 7*m - q = 5*m. Is m a multiple of 10?
False
Let s = -24004 - -29614. Does 66 divide s?
True
Let d(b) = -b**2 - 61*b - 638. Is 55 a factor of d(-17)?
True
Let a = -10734 + 21525. Does 33 divide a?
True
Let d be 9/(-15) - (-88)/(-20). Let a(w) = w**2 + 5*w + 5. Let m be a(d). Suppose -3*u - 168 = -m*u. Is u a multiple of 31?
False
Let o(w) = -2*w - 30 + 51 - 21. Does 2 divide o(-20)?
True
Let j(z) = 12*z**2 - z. Let s(d) = 11*d**2 - d. Let m(q) = 5*j(q) - 4*s(q). Let w be m(-2). Let a = w - 39. Does 14 divide a?
False
Suppose -18*v = -17*v. Suppose v = -0*d - 4*d + 776. Does 23 divide d?
False
Let v(u) = u**3 + 17*u**2 + 13*u - 23. Let k be v(-16). Let j be (-2 - -3)/5 + (-120)/(-25). Suppose -k = j*r, -3*r - 14 = l - 118. Does 14 divide l?
False
Suppose 3*g = -4*t + 13412, -86*g + 89*g + 3*t - 13413 = 0. Is 60 a factor of g?
False
Let a(n) = -2*n**2 - 2*n - 2. Let w be -6 + 2 + 0 - -2. Let o be a(w). Is 2 + 15 - (o - -8) a multiple of 2?
False
Let i(r) be the third derivative of r**4/3 + 2*r**3/3 + 39*r**2. Suppose -h - 3*v = -8, -3*v - 2 = -2*h + h. Does 11 divide i(h)?
True
Let g(l) be the first derivative of -l**3/3 + 8*l**2 + l - 115. Suppose s + 0*s - 26 = -3*t, s + 23 = 4*t. Does 16 divide g(t)?
True
Let w = -802 + 796. Does 2 divide 9 + (28 - -6) + w?
False
Let o = -15314 + 17625. Is 23 a factor of o?
False
Let k(q) be the second derivative of q**7/630 + q**5/15 - 4*q**4/3 + q. Let w(a) be the third derivative of k(a). Does 8 divide w(4)?
True
Let k(n) be the second derivative of -77*n**5/20 - n**4/12 - n**3/2 + 3*n**2/2 + 53*n. Is 9 a factor of k(-2)?
True
Let o(n) = 2*n**2 - 47*n - 252 + 44*n - n**2 + 3*n**2 - 2*n**2. Is o(-12) a multiple of 2?
True
Suppose 35*l = -5*x + 32*l + 33600, 5*x = 2*l + 33625. Does 70 divide x?
False
Suppose -122*v - 6825 = -125*v. Is 5 a factor of v?
True
Suppose -13 = -y - 3*f, 0*y = -2*y - 4*f + 20. Suppose -2*w + b + 2*b - y = 0, -w + 4*b - 12 = 0. Suppose -w*i = 8*i - 1020. Is i a multiple of 11?
False
Let m = 74 + -10. Suppose m = -43*y + 45*y. Does 4 divide (y/(-6))/(8/(-60))?
True
Suppose 0 = -6*i + 12*i + 18. Let j(w) = -15*w**2 + 29*w + 19. Let k(u) = -7*u**2 + 14*u + 9. Let y(h) = 6*j(h) - 13*k(h). Does 9 divide y(i)?
False
Let l(n) = 7*n**3 + 3*n**2 + n - 13. Let x be l(3). Suppose 0 = 4*o - 2*a - 278, -o + x = 2*o + a. Does 24 divide o?
False
Suppose -51*p = -40*p + 297. Let c = p - -78. Does 17 divide c?
True
Suppose -5*t - 232005 = -36*t + 134725. Is 70 a factor of t?
True
Let b(l) be the second derivative of 1/2*l**3 - 1/20*l**5 + 0 + 21*l + 1/12*l**4 - 5/2*l**2. Does 9 divide b(-4)?
True
Let r(q) = -10*q - 26. Let a be r(10). Let u = 128 + a. Is 15 a factor of (6 + -4 - -132)*u/4?
False
Let h = 25073 + -7345. Does 32 divide h?
True
Let g = 34 + -20. Suppose -g*v + 43 = 1. Suppose 2*m - 35 = -5*a, v*m + a = m + 55. Is 11 a factor of m?
False
Let w be ((-2 + 2)/1)/2. Let q(b) = -b**3 + 42*b**2 - 42*b + 47. Let r be q(41). Does 11 divide ((-2)/3 - w) + 136/r?
True
Let i = -35 + 55. Suppose -1 - i = 3*r. Is 10 a factor of 23*(-1 + r)/(-4)?
False
Suppose 0 = -4*s - 52 + 152. Let i = -1 - 0. Let r = s - i. Is r a multiple of 26?
True
Let f(d) = 3*d**2 - 7*d + 28. Let a be f(4). Suppose 0 = -5*r + 253 - a. Is r a multiple of 2?
False
Let x = 107 - 99. Suppose -2*t + 2 = 7*u - 3*u, u - x = t. Suppose 611 = u*r + 71. Does 10 divide r?
True
Let k = -952 + 1727. Let b = k - 687. Is 4 a factor of b?
True
Let p = 471 + 937. Suppose 0 = -11*o - p + 4554. Is o a multiple of 11?
True
Let m(i) = -50*i + 2. Let b be m(-1). Suppose 0 = 5*c + 4*w - 18, -2*w - 14 = -2*c - 7*w. Suppose 2*x + 28 = c*j, -j = 2*j - x - b. Is j a multiple of 3?
False
Suppose 2*a - 27409 = -3*s + 2109, -39357 = -4*s - 3*a. Does 4 divide s?
True
Let s = -12758 - -12918. Is 160 a factor of s?
True
Is (48 - 40) + (-18290)/(-5) a multiple of 26?
True
Suppose -2*o + 15 = 3*o. Suppose -86 = -3*d - 2*w, d - o*w + 6*w = 31. Suppose x + 2*g - d - 12 = 0, 200 = 5*x + 3*g. Is 5 a factor of x?
True
Suppose 4*k + 30008 = 5*x - 0*k, -4*x + 3*k + 24006 = 0. Suppose x = 8*g + 12*g. Is 30 a factor of g?
True
Suppose 0 = 4*m + 3*h - 8216, -4*h + 2148 - 81 = m. Is m a multiple of 6?
False
Let r(t) = -2*t**2 + 13*t - 4. Suppose -4*j + 56 = d - 5*d, -2*d + 35 = 5*j. Suppose 6*v - j*v = -15. Is r(v) a multiple of 11?
True
Let q(k) = -2*k + 19. Let l be q(-14). Suppose 25 = -3*m - l. Does 11 divide ((-66)/5 - 0)/(m/160)?
True
Let z = -11706 + 27578. Does 31 divide z?
True
Is 54 a factor of (26 + -27)*(569442/(-48) + (-3)/(-8))?
False
Let x = -179 - -180. Does 14 divide x/((-13)/(-2)) - 4540/(-65)?
True
Let w be 159*-6*3/(-27). Let c = w + -73. Is c a multiple of 11?
True
Suppose 10*q + 3*q + 14*q = 35964. Does 6 divide q?
True
Suppose -5*k + 2072 + 2458 = 0. Let z = k - 672. Is 6 a factor of z?
True
Let o be (2 - 7)*(1 - 3). Suppose -o*j = -46*j + 37116. Is 38 a factor of j?
False
Le