ctor of n?
False
Let c(d) be the second derivative of -d**5/10 + 2*d**4/3 + d**3/2 - d**2 - 17*d. Let v be c(6). Let z = 36 - v. Is z a multiple of 41?
True
Let j(b) = 3*b - 4. Let k be j(4). Let v = -54 - -54. Suppose k*x = 16 - v. Is 2 a factor of x?
True
Let g(d) = 48*d + 24. Let x = -457 - -478. Does 24 divide g(x)?
True
Suppose 6 = -3*k - 4*x, -2*k - 2*k = -x - 11. Let p be (1/3)/(k - 46/24). Suppose -5*m = 2*v - 14, -p*v + 2*m + 0*m = -28. Does 2 divide v?
False
Suppose 0 = -21*k + 306630 + 20991. Is k a multiple of 32?
False
Let g(h) = -h**2 + 30*h - 151. Let u be g(10). Let m = u - 39. Does 10 divide m?
True
Does 100 divide (3 - -3)*(-4)/(-8) + (-3 - -600)?
True
Let l = 1041 + -1949. Let j = l + 2599. Does 89 divide j?
True
Let f(c) be the first derivative of -3*c**2 + 57*c - 75. Does 40 divide f(-8)?
False
Let s(d) = 3*d**2 - 28*d + 204. Let w be s(-27). Suppose -1716 = -3149*t + w*t. Is 6 a factor of t?
True
Does 30 divide (-7 - 104/(-26)) + 1566/((-4)/(-2))?
True
Suppose -4179*f = -4065*f - 517446. Is f a multiple of 7?
False
Suppose -3*t - 1 = -z - 5, -5*t = 5*z - 40. Let l(p) = -2 + 1 - p**2 - t + p + 3 + 57*p**3. Does 14 divide l(1)?
True
Let j = -34184 - -47421. Is j a multiple of 123?
False
Let k(o) = o**2 - 5*o + 119. Let r(q) = -q**3 - 3*q**2 - 5*q - 13. Let d be r(-3). Let g be 0/((-1 + 3)*d). Is 7 a factor of k(g)?
True
Let i be ((-4)/6)/((-31)/2232). Suppose -258*f + i = -254*f. Is 6 a factor of f?
True
Let p be -4 + 1 + -190 + -34. Let b = p - -633. Does 37 divide b?
False
Suppose -3*c + 7*c - 10885 = -3*h, 5*c - 13650 = 5*h. Is 84 a factor of c?
False
Does 5 divide ((-64)/(-3))/((-53)/(-23532))?
False
Let o = 36 - 29. Let u(n) = 4*n**2 + 40*n + 7. Let g(f) = 3*f**2 + 27*f + 5. Let q(j) = o*g(j) - 5*u(j). Is q(-7) a multiple of 13?
False
Let h(z) = 28 + 61 - 92 + 26*z**2 + 69*z + 33 + z**3. Is 28 a factor of h(-22)?
True
Suppose 0 = -4*w + 2*x - 24, 0*w - 12 = 4*w + 4*x. Let r be ((-30)/w)/(2/1). Suppose -2*u - r*u = -185. Does 8 divide u?
False
Let d be (-18)/4*(-7 - 5). Let f be (1554/9)/(12/d). Suppose 4*u - 11*u = -f. Does 34 divide u?
False
Suppose 2 = 8*f + 314. Let g = f + 34. Does 9 divide 3/(15/25)*(-19)/g?
False
Let h(f) = 312*f**2 - 26 + 443*f**2 - 3*f + 16 - 223*f**2 + 9. Is 44 a factor of h(1)?
True
Is (-16 - (-7400)/460 - (-18306)/23) + 3 a multiple of 53?
False
Suppose 192 = -1967*f + 1970*f. Is f a multiple of 8?
True
Suppose 5*o + 96 = 4*o. Let g be (o/(-10))/(27/180). Suppose -4*b + 2*b + g = 0. Is b a multiple of 6?
False
Let j(a) = a**3 + 13*a**2 - 16*a - 26. Let y be j(-14). Suppose -z - y*z = -1503. Suppose 0 = 2*m - q - 487 - 16, 2*m - z = -q. Is m a multiple of 38?
False
Let y = 15 + -11. Let t(u) = 88*u**2 - 13*u - 4 - 89*u**2 - y - 2*u. Is 14 a factor of t(-10)?
True
Let f = -11428 + 11430. Let j(r) = 10*r**3 - 5*r**2 + 4*r - 4. Let b be j(3). Suppose u = -2*k - k + b, f*k - 982 = -4*u. Does 28 divide u?
False
Suppose -13 = -3*t - 22. Does 58 divide (-2844)/(-20) - t/(-15)?
False
Suppose -8*j = -2019 - 261. Suppose 5*o - 459 = 15*i - 17*i, 0 = 3*o - 2*i - j. Is 7 a factor of o?
False
Let r = 500 - 473. Suppose 0 = r*v - 3723 - 3378. Does 8 divide v?
False
Let a(b) = 2*b + 131. Let y(l) = l + 65. Let i(q) = 2*a(q) - 5*y(q). Let w be i(0). Let g = w + 96. Is g a multiple of 3?
True
Is 16 a factor of 341/(-31) - (-5440 - -3)?
False
Let j = 1245 + -767. Is j a multiple of 8?
False
Let p(g) = g**3 + 3*g**2 + 29*g + 41 - 147 + 34 + 17*g**2. Does 22 divide p(-17)?
False
Suppose 4*w = -5*l - 162, -w - 5*l = -l + 35. Let o = w - -167. Does 18 divide o?
False
Suppose -4*l - 5 = 5*z, 0 = 3*l + 8*z - 9*z - 1. Suppose -6*r + 503 + 97 = l. Does 25 divide r?
True
Suppose -16 = -3*d + 5. Suppose -d*j + 704 = 186. Let i = -27 + j. Is 13 a factor of i?
False
Suppose -2*u - 10 = -3*k, -9 = -3*k + 13*u - 10*u. Suppose -k*y = 5*p - 842, 3*y + 686 = -p + 5*p. Is 5 a factor of p?
True
Let k(w) = -2*w**2 + 18*w - 24. Let h be k(-8). Does 16 divide (132/(-44))/(-3*(-2)/h)?
False
Let f(x) = 3534*x**2 + 87*x + 87. Is f(-1) a multiple of 57?
True
Let h(f) = 2*f**2 + 3*f + 7. Let d(y) = -y**2 + 5*y - 4. Let l be d(3). Suppose 5*q = 3*i + 28, 5*q - 2*i - 17 = l*q. Is 15 a factor of h(q)?
False
Let a be 30/5*(-25)/15. Let s(g) be the third derivative of g**5/30 + 13*g**4/24 - 17*g**3/6 + g**2. Is 34 a factor of s(a)?
False
Let i = -8420 + 8684. Is i a multiple of 11?
True
Let u = 565 + 116. Let o = u - -389. Suppose 13*t - o = 8*t. Is t a multiple of 54?
False
Let u = -2280 - -3110. Is u a multiple of 13?
False
Suppose 5*v + v - 30 = 0. Suppose 3*m = -2*g + 859, 2105 = v*g - m - 0*m. Does 37 divide g?
False
Does 15 divide 11355/9*(4 + 0 + -1)*3?
True
Let b(n) = -11*n + 22*n - 14*n - 21. Let q be b(-7). Suppose q = -5*v + 52 + 143. Does 18 divide v?
False
Suppose 12 = -3*j, 3*l + 43*j - 48*j = 23078. Does 122 divide l?
True
Let f(k) = 5*k**2 - 9*k - 17. Suppose 5*o - 2*o - 54 = 0. Suppose 5*x = 2*x + o. Is 23 a factor of f(x)?
False
Let a = 36 - 31. Suppose 5*s - 48 = a*z - 8, 3*s - 18 = -3*z. Does 30 divide (-2 - 16/(2 - 3))*s?
False
Let r(o) = o**3 + 14*o**2 - 12*o + 46. Let n be r(-15). Is (6 - 44/6)*(n - 541) a multiple of 45?
True
Suppose -12*w - 10031 = -4*x - 7*w, 5016 = 2*x - 2*w. Does 5 divide x?
False
Let k(n) = -n**3 + 2*n**2 + 17*n - 4. Let o be k(5). Does 36 divide -1 + o - (57 + -268)?
True
Let s = -457 - -713. Let n(v) = -10*v + 114. Let a be n(10). Suppose -a*w - 18 = -s. Is 17 a factor of w?
True
Let r be (6/(-5))/(93/310) + 180. Suppose r = d - 6*w + 2*w, 2*d + 4*w = 340. Is d a multiple of 13?
False
Let b(y) = 42*y - 3. Let f(q) = -7*q - 27. Let s be f(-4). Let h be b(s). Suppose -10*j + 479 = h. Does 4 divide j?
True
Let y(o) = 170*o + 131. Let z(h) = 338*h + 261. Let n(v) = -5*y(v) + 2*z(v). Is n(-2) a multiple of 12?
False
Let o(f) = 290*f**2 + 45*f - 147. Does 16 divide o(5)?
True
Suppose -4*c - 5*d = -2*c + 1, d + 1 = 0. Suppose o = -o + c, 5 = i + 5*o. Suppose -2*l + 2 = 2*m - m, i = -2*m + 2*l + 34. Is m even?
True
Let z(b) = 15*b**2 - 14*b**2 + 9271 - 9250 - 2*b. Suppose 6*w = 2*w. Does 6 divide z(w)?
False
Let g(f) = -3*f - 6. Let x be g(-1). Let t be x*(-12)/9 - 0. Suppose d + 528 = t*d. Is d a multiple of 54?
False
Does 78 divide ((-13002)/(-165))/(1/390)?
True
Suppose o + 3*h = 6007, 13*o - 8*o + 2*h - 29970 = 0. Does 107 divide o?
True
Let d(s) = -2*s**3 - 99*s**2 + 39*s - 28. Is d(-52) a multiple of 214?
False
Suppose 5*n = -5*t + 2*n + 32, -2*n = 2. Suppose -t*s - 336 = -15*s. Does 3 divide s?
True
Let x(c) = 0*c**3 + c**3 + 8 + 11*c**2 + 15*c**2 - 25*c - 24*c**2. Is 32 a factor of x(8)?
True
Suppose -6*a + 35 = -2*j - 7*a, -15 = 5*a. Does 31 divide 782*(12/32 - 10/j)?
False
Let n(w) = 9*w - 2. Let m(k) = k**2 - 2*k - 18. Let b be m(-4). Is n(b) a multiple of 7?
False
Let j be (45/(-20))/(18/(-120)). Suppose j*d - 3319 = 1811. Is 9 a factor of d?
True
Is 1296/2808 + (-3)/(39/(-66619)) a multiple of 57?
False
Let v(j) = -j**2 + j - 3. Let y be v(6). Let k = y + 46. Suppose -17*q + k*q = -100. Is q a multiple of 15?
False
Let z = 111 + 89. Let b be ((-1)/(-14)*7)/((-2)/z). Let p = b + 75. Is 25 a factor of p?
True
Suppose 7385 = -10*a + 69895. Is 19 a factor of a?
True
Let m be 4/5*(-25)/(-5). Suppose -m*b = -24 + 8. Suppose b*y + f = 365, 351 = 3*y + f + 78. Is 19 a factor of y?
False
Suppose -1978533 - 2560660 = -512*o + 5440711. Does 16 divide o?
False
Let j(s) = -25*s - 153. Let b(q) = 2*q**2 - 27*q + 60. Let m be b(9). Is j(m) a multiple of 39?
False
Let y(d) = -48*d + 83. Let r be y(-5). Let m = 598 - r. Is m a multiple of 25?
True
Let u(k) = -3*k - 7. Let c be u(-3). Suppose -2*b - 28 = 4*r, -4*b - 44 = c*r + 3*r. Does 9 divide b/(((-8)/26)/2)?
False
Let k = -420 - -285. Let j = k + 383. Is j a multiple of 8?
True
Does 13 divide (-52*(-58)/116)/((-2)/(-276))?
True
Suppose 464*g - 170007 - 930506 - 957327 = 0. Does 5 divide g?
True
Let a = 132 + -117. Let t(f) = f**3 + 9 - 31 - 2*f + 6*f - 15*f**2 + 0*f**3. Is 4 a factor of t(a)?
False
Suppose 0 = 73*p - 77*p + 11804. Is 13 a factor of p?
True
Suppose -185 = -3*u + 610. Suppose k + 5*s - u = -0*k, -2*k + 566 = s. Is 4 a factor of k?
False
Suppose 2*u + 656*s - 2663 = 651*s, -2703 = -2*u + 3*s. Does 12 divide u?
True
Let f(c) = -77*c**3