se
Let g(y) = -8*y - 63. Let n be g(-12). Suppose -28*p + n*p + 277 = h, 3*h - p = 761. Is h a multiple of 28?
True
Suppose 3*r - 78 = -5*a + a, -5*r + 100 = 5*a. Let j be 4/a + (-4 - 2414/9). Let z = j - -437. Does 29 divide z?
False
Let q = -4729 - -7693. Suppose -23*g - q = -27*g. Is 13 a factor of g?
True
Suppose -2*d + 9620 = -c, -4*c = 5*d - 4*d - 4810. Is 37 a factor of d?
True
Let k(b) = 3*b - 20. Let m be k(8). Suppose m*g + 31 = -5*f, -5*g - 13 - 1 = -2*f. Does 10 divide 71 - -6 - 9/f?
True
Let y(v) = -17*v - 29. Let u be y(-2). Suppose 5*c + 2857 = 5*l + 2*c, -2825 = -u*l - 5*c. Is l a multiple of 36?
False
Suppose -43*o + 35*o + 1088 = 0. Suppose o = j + 103. Is j a multiple of 3?
True
Suppose -3*l - 11649 = -3*i, 13*i - 9*i - 15577 = -5*l. Is i a multiple of 48?
True
Let w(q) = 97*q + 2038. Is 206 a factor of w(49)?
False
Let y(b) = 48*b - 21*b**2 - 48*b + 2*b**3 - b**3 - 8. Let i be y(21). Is -12*(i/12 + 31/(-12)) a multiple of 13?
True
Is 3 a factor of (-15)/(-18)*(-88)/(-110) + (-1102)/(-3)?
False
Let s(u) = 9*u**3 + u**2 + 8*u + 6. Let r be s(-3). Does 3 divide (r/70)/(2/(-20))?
True
Let q(t) = 18*t - 92 - 77 + 102. Is q(12) even?
False
Suppose 0 = 9*s - 11*s + 3*g - 7, 0 = -3*s - 2*g - 4. Let t(m) = -410*m + 41. Is 41 a factor of t(s)?
True
Suppose 0 = 4*v - 4, 8*f + 5*v = 9*f - 52247. Suppose -6172 = 36*u - f. Is 20 a factor of u?
True
Let x(m) = -m**2 - 23*m - 86. Let r be x(-17). Suppose 1180 = 4*b + 3*n - 636, -4*n = r. Does 36 divide b?
False
Let t(j) = j - 2. Let x be t(4). Suppose 4*p + f = -f + 28, -x*p + 18 = 3*f. Is 80/(-6)*-2*p/4 a multiple of 8?
True
Let z(g) = g**3 - 28*g**2 + 26*g + 28. Let c be z(27). Let d be (-14)/(-14)*c/1*2. Suppose -2*l + 61 = r, -2*r - 102 = -d*l - 2*l. Is l a multiple of 5?
False
Let h(k) = 15*k**3 - 5*k**2 + 5*k + 10. Let t = 87 + -84. Does 35 divide h(t)?
True
Let a(d) = d + 1. Let n be a(1). Let l be (-1)/n + (-10)/(-4). Suppose -l*z + 79 + 144 = -5*t, -t - 243 = -2*z. Does 31 divide z?
True
Is -51 - -41364 - 1*-3*(-2)/1 a multiple of 21?
True
Suppose 2*g - 4*s = -380, -g = 3*g - 5*s + 757. Let l = 518 + g. Does 11 divide l?
True
Suppose -4*u - h = -1905, 440*h = 444*h + 12. Is u even?
False
Suppose -8*s + 5*s + 45 = 0. Suppose s = 7*l - 48. Suppose 5*t + l = 29, 0 = -3*a - 2*t + 188. Is 10 a factor of a?
True
Let h(s) = -s**2 + 11*s + 14. Let v be h(12). Suppose -v*n + 4*n - 4 = 0. Suppose 0 = -n*d + 3*t + 429, -5*d - 3*t + 228 = -4*d. Is d a multiple of 22?
False
Suppose -38 = -4*s - r + 5, -2*r = 4*s - 38. Is -4*588*(-8)/s a multiple of 16?
True
Let x(f) = 4*f**2 - f + 270. Does 57 divide x(-21)?
False
Let x be 1/12*-10 - 58/(-12). Suppose -x*z = -1806 - 1934. Is 17 a factor of z?
True
Suppose -3*g - 2*u + 6 = 0, -8 + 16 = 4*g + 2*u. Suppose -g*c + 1135 = 5*a, 5*c - 5*a = -8*a + 2809. Is 40 a factor of c?
True
Suppose 50272 = 54*c - 411891 - 144635. Is c a multiple of 17?
True
Suppose -11*i - 139974 = -4*j - 12*i, -2*j - 4*i + 70008 = 0. Does 12 divide j?
True
Let h(u) = 2159*u - 569. Does 89 divide h(16)?
False
Suppose 3*f + 3*f + 13698 = 0. Let r = f + 4763. Does 9 divide 4/(-22) - r/(-88)?
False
Let b(k) = 56*k - 1. Let f be b(-6). Let t = f + 575. Does 34 divide t?
True
Suppose 6810 + 18605 = 271*w - 266*w. Does 17 divide w?
True
Let x = -25 + 28. Suppose x*q - 89 = -2*q - 4*u, 0 = -3*u - 12. Suppose 6 + q = 3*s. Does 9 divide s?
True
Let m(l) be the third derivative of l**6/60 + 17*l**5/30 + 3*l**4/4 - 4*l**3 + 764*l**2 + 2. Suppose 4*a - n = -62, 0 = -2*n - n - 6. Does 40 divide m(a)?
True
Let a(s) = 17*s + 138. Let q be a(-8). Suppose 2*c - q*h - 122 = 0, -4*h + 16 = -0*h. Is 3 a factor of c?
False
Suppose 46*y - 8*y - 98430 = 4*y. Does 10 divide y?
False
Suppose -h - 4*q + 2352 = 0, 3*q + 7146 = -0*h + 3*h. Does 27 divide h?
True
Suppose -2218 = -5*m - 2*d + 3227, -3*d = -m + 1106. Let s = m + -233. Is 78 a factor of s?
True
Let h(v) = 25*v**2 - 6*v + 13. Let y be h(3). Does 5 divide y + 1 + (2 - 4/(-2))?
True
Let t be ((-1 + -16)*1)/(-1 - 0). Suppose 0 = t*z - 9*z - 24. Is 32 a factor of -187*(-5)/15 + z/(-9)?
False
Suppose -2*r = 3*z + 2*z + 33, -3*r = 4*z + 32. Let l(k) = k**2 + 5*k - 29. Let u be l(z). Let c = u - -96. Does 4 divide c?
False
Let s(z) be the second derivative of z**5/20 + 23*z**4/12 - 9*z**3/2 + 35*z**2/2 + 14*z. Let g be s(-24). Let o = g + -5. Is 22 a factor of o?
False
Let w(c) = -c**3 - 7*c**2 + 30*c + 7. Let j be w(-10). Suppose -j*m - 828 = -2522. Is 34 a factor of m?
False
Let g(y) = -19*y + 7. Let d be g(4). Let q = d - -105. Does 3 divide q?
True
Let d = -206 - -227. Let p(q) = 12*q - 55. Is p(d) a multiple of 24?
False
Suppose 20575 = -200*u + 204*u - 5*j, 4*j = u - 5152. Is u a multiple of 4?
True
Suppose -4*o - 5*p + 407 = 0, 3*o + 76 = 3*p + 415. Does 2 divide o?
True
Let d be 22/297 - (-380)/(-27). Is 4 a factor of (-5 + (-4)/(-2))/(d/252)?
False
Let i = -215 + 355. Let d = 306 - i. Does 7 divide d?
False
Suppose -5*a = 5*s - 5230, 4*a + 58*s = 53*s + 4179. Is 8 a factor of a?
False
Let f(r) = -20*r**2 - 11*r + 25. Let m be f(7). Let k = 634 + m. Let y = -165 - k. Does 14 divide y?
False
Let r = -40 - -34. Let b be (-222)/(-4) + r/(-12). Is 20 a factor of ((-30)/7)/((-12)/b)?
True
Is (-14532)/(-10) + (1216/40)/38 a multiple of 11?
False
Let s = 55 + -86. Let t = 37 + s. Suppose b + t - 22 = 0. Is 16 a factor of b?
True
Let s(n) = 11*n**2 + 6055. Is 39 a factor of s(0)?
False
Let y be (893/76)/(1/20). Let v = -94 + y. Suppose -51 - v = -3*m. Is m a multiple of 7?
False
Let a(l) = 27*l + 2429. Is 62 a factor of a(119)?
True
Suppose 16 = -3*v + 2*d, -3*v + 0*d = 4*d - 14. Let h be (-7 - 0)*(-2 + v). Suppose 3*j - 179 = h. Does 8 divide j?
False
Let u = -425 - -456. Is 11 a factor of ((-82)/4)/(((-372)/432)/u)?
False
Suppose -8*j = -o - 3*j + 7, -5*o - 5*j = -5. Let c be 30/5*o/(-4) - 3. Let x(h) = -2*h**3 - 9*h**2 - 8*h + 1. Does 38 divide x(c)?
False
Let a be 342/108 - 15/(-18). Suppose -a*k = -13*k + 9738. Is k a multiple of 61?
False
Let c be 0*(-1 - -2) - (-6 - -3). Suppose 0 = -c*y + 4*b - 3*b + 5, -3*y + 2 = -4*b. Does 11 divide ((-655)/(-10))/(1 + (-1)/y)?
False
Let z(m) = 82*m - 23. Suppose 40*t - 43*t + 24 = 0. Suppose -t*a + 30 = 7*a. Is 47 a factor of z(a)?
True
Suppose 2*g = -72*z + 71*z - 121, -2*g + 387 = -3*z. Let r = z + 1045. Is r a multiple of 102?
True
Suppose -233*h + 792 = -225*h. Suppose 4*t + 20 = 0, -3*t = -2*y - 0*y + h. Does 6 divide y?
True
Suppose 12*d - 13084 + 3304 = 0. Is d a multiple of 163?
True
Let v(j) = 12*j**3 - 10*j**2 + 21*j - 7. Is 95 a factor of v(9)?
False
Is 9 a factor of (36/42)/((-5)/(-11235))?
True
Let d be (-20)/(-14) + 2 + (-68)/28. Suppose d = -8*a + 17. Suppose a*l + 0*k + k - 39 = 0, -113 = -4*l + 5*k. Is l a multiple of 11?
True
Is 2 - (-16*125 - 15) a multiple of 20?
False
Let y be ((-6)/(-10) - (-132)/(-120))*-24. Suppose 0 = 9*n - y - 15. Suppose -3 = -5*f + 2, 818 = n*m + 2*f. Is m a multiple of 35?
False
Let d be -15*54/30*-4. Let j = -86 + d. Let k = 84 - j. Does 18 divide k?
False
Let m = 58 - 70. Let h be -1 + (-16)/m*3. Suppose -4*r - 5*j = -63, 4*r + h*j - 38 - 35 = 0. Is 10 a factor of r?
False
Suppose -2*q = 3*f - 1769, 2487 + 168 = 3*q + 5*f. Suppose 3*n + 2*s - 4*s = 530, 5*n - 4*s - q = 0. Is n a multiple of 6?
True
Let r be 407 - (-18)/(-30)*-5. Let u = -330 + r. Is 16 a factor of u?
True
Let u(l) = -8*l - 48. Let c be u(-6). Let s = 2 + c. Suppose -3*x - s*y = -6*y - 97, y = -2*x + 50. Is 4 a factor of x?
False
Let z = -12353 + 17662. Does 9 divide z?
False
Suppose -19*a + 16*a = 29*a - 84224. Is a a multiple of 28?
True
Suppose -4*y - 3*r + 2*r + 52 = 0, -y + 28 = 4*r. Let j(z) = 6*z**2 - 44*z + 31. Does 18 divide j(y)?
False
Does 100 divide 1037550/105 + 18 + 12/21?
True
Let i = 4786 - -355. Does 8 divide i?
False
Let p(f) = -f**3 + 8*f**2 + 2*f - 8. Let t(c) = 4*c + 25. Let z be t(-6). Let o be (z + -1*(-3)/(-6))*16. Does 2 divide p(o)?
True
Suppose 21 = -10*l - 19. Let m be 0 - -390 - (-1 + -3 - l). Suppose -5*u = -0*u - m. Is u a multiple of 13?
True
Let g = -29031 + 32352. Is 10 a factor of g?
False
Suppose 0 = 13*o - 15*o + 40. Suppose 0 = 19*f - 9*f - o. Suppose 5*z + 0*j = f*j + 842, 0 = -3*j + 12. Is z a multiple of 34?
True
Let d be 2/(-4)*(-9 - 221). Let v = 