?
True
Suppose 4*c - 478 = 3346. Suppose -164 = -5*g + c. Suppose -4*t + g = -2*h, 2*h - 72 - 89 = -3*t. Is t a multiple of 13?
False
Let z(b) = -b**2 + 24*b - 60. Suppose 5*n = -310 + 360. Is z(n) a multiple of 4?
True
Suppose o - 97981 = -4*k - 12565, -4 = -o. Suppose -5603 = 42*a - k. Is 10 a factor of a?
False
Let y(c) be the second derivative of c**5/20 - 5*c**4/6 + c**3/2 + 32*c**2 + 176*c. Is 5 a factor of y(10)?
False
Suppose n = -0*n - 3*x + 232, -1108 = -5*n - 2*x. Suppose -5*t - 4*v = -t - 20, 2*v = 3*t - 5. Suppose i + t*i = n. Is 9 a factor of i?
False
Let o(k) = -5*k**3 + 14*k**2 + 8*k + 13. Let u be o(-5). Suppose 5*c - 2370 = -3*b, -45*b + 48*b = 2*c - u. Is 17 a factor of c?
False
Suppose 0 = 2*x + 6 + 2. Let a be 0/(-2*(-1)/(-8)*x). Suppose -3*b = -0*b + 3*q - 78, a = -3*b + 5*q + 78. Is 13 a factor of b?
True
Suppose 5*y = 2*l + 82, -4*l - 36 = 3*y - 5*y. Suppose -y = z - 96. Does 4 divide z?
True
Let t(d) = 8*d + 25. Let x(w) = 4*w + 13. Let z(u) = 6*t(u) - 13*x(u). Suppose 10*s - 47 = -147. Is 7 a factor of z(s)?
True
Let q(h) = -h**3 - 19*h**2 + 22*h + 30. Let m be q(-20). Let l(s) = 4*s + 42. Let z be l(m). Suppose -32 + 122 = z*x. Is x a multiple of 8?
False
Suppose 5*o - 5170 = -5*c - 1655, 3*o + 5*c = 2117. Is 10 a factor of o?
False
Does 18 divide (-7)/(105/55710)*-12?
True
Let i = -59 + 141. Suppose -2*q + 12 + i = 0. Does 43 divide -8*q/(-2) - -2?
False
Let i = 15239 - 5551. Does 14 divide i?
True
Let p(r) = -3*r**2 + r**2 - 13*r + r**2 - 10*r. Suppose -153 + 9 = 12*m. Does 12 divide p(m)?
True
Suppose 5*p - p - 24145 = 3*m, p - 6043 = 3*m. Is 27 a factor of p?
False
Suppose 9 = l + 9. Suppose l = w + 6*w - 336. Let v = -38 + w. Is 3 a factor of v?
False
Let x(j) = -12*j - 36. Let u = 71 - 79. Let q be x(u). Let d = -31 + q. Does 3 divide d?
False
Let p be 1*5/(-2)*(-54)/45. Let o be -2 + 10/2 - p - 0. Suppose -2*r + 3*b = -238, o*b + 119 = r + 2*b. Is 7 a factor of r?
True
Suppose 26 = b + 4*g, 4*b - 40*g = -39*g + 19. Let z(d) = 6*d**2 - 26. Does 16 divide z(b)?
False
Let y = 30327 - 13685. Does 19 divide y?
False
Let s(o) = -112*o - 154. Let p = 90 - 97. Is 14 a factor of s(p)?
True
Let k(g) = 1115*g - 295. Does 53 divide k(7)?
False
Suppose 4*h = -5*g + 7601, -47*g + 7599 = 4*h - 44*g. Is h a multiple of 84?
False
Suppose -505008 = -91*f + 297612. Is 36 a factor of f?
True
Let p(z) = -12*z - 8. Let g be p(-2). Suppose -g*x - 45 = 3. Is 3/2*(-30)/x a multiple of 3?
True
Let d(n) = 154*n + 2315. Let t be d(-15). Let h(b) = b. Let r be h(2). Suppose -t*i = k - 281 - 354, -r*i + 5*k = -227. Is i a multiple of 17?
False
Let u = 22889 - 7380. Does 85 divide u?
False
Let z = 15543 - 10987. Is 99 a factor of z?
False
Let d = 3937 + 1870. Is d a multiple of 21?
False
Suppose 6*j - 5*j + h - 4327 = 0, 0 = 7*j - 4*h - 30289. Is 49 a factor of j?
False
Let g be 1*36 + 1 + 1. Let k(f) = -8*f + 44. Let o be k(6). Let c = g - o. Does 14 divide c?
True
Suppose 14*k + 8*k - 60060 = 0. Suppose k = -29*a + 34*a. Is 27 a factor of a?
False
Let c be (-2 + 4/(-6))*(-15921)/(-58). Let q = 1078 + c. Does 8 divide q?
False
Suppose 155991 + 90084 = 25*w. Does 42 divide w?
False
Let w = 346 - -4547. Does 21 divide w?
True
Let j = -27214 + 38542. Does 59 divide j?
True
Let i = -1358 + 1814. Does 19 divide i?
True
Suppose 0 = 5*x + 5, -4*g - 2*x + 10 = -8. Suppose 2*v = g*v - 153. Suppose -3*h - v = -f, 8*f - 242 = 3*f + 2*h. Is 19 a factor of f?
False
Let i(s) = -s**2 - 27*s - 108. Let x be i(-39). Let r = 1492 + x. Is 15 a factor of r?
False
Let l be 143*(2337/21 + (-6)/21). Suppose l = -6*w + 19*w. Is 64 a factor of w?
False
Let w be 6/(-15)*(-25)/(-1). Let k = w - -12. Suppose -4*n + 3*y = -118, -n = 3*n - k*y - 116. Is 28 a factor of n?
True
Suppose -5*p + 68 = 4*i, -p + i + 14 = 2*i. Suppose 0 = -w - 2*t + p - 3, 2*w = -3*t + 18. Is 23 a factor of (-3)/w - 1872/(-27)?
True
Let n(q) = 5*q**2 + 12. Let z(m) = -6*m**2 - 12. Let k(u) = -3*n(u) - 4*z(u). Let j be k(-4). Let s = j + -41. Is s a multiple of 17?
False
Let d(m) = -617*m - 5127. Does 83 divide d(-11)?
True
Let r = 3669 - 3558. Does 6 divide r?
False
Let h be (0 + -4 + 5)/(-1). Let k(i) = -3*i + 7. Let v be k(h). Is 1818/45 + (-4)/v a multiple of 6?
False
Let f(t) = 8*t**2 + 8*t + 6. Let g be f(-1). Does 18 divide (-543)/g*(0 + -6 + 4)?
False
Suppose 15*j = 8*j + 14. Suppose -3*m + 33 = d, j*d + 3*m - m = 46. Is 7 a factor of 27/d + -2 + (-43)/(-2)?
True
Let z be (45 - 4) + (8/(-2) - -3). Suppose 8368 = z*f + 2768. Is 10 a factor of f?
True
Let q = -7619 - -8305. Is q a multiple of 49?
True
Let q be (-66)/55*10/(-6). Suppose 0 = -5*y + g + 336 + 2061, -3*y - q*g = -1446. Is y a multiple of 20?
True
Suppose -3*z + 1964 - 6524 = -2*x, -2*z - 4566 = -2*x. Is 21 a factor of x?
True
Let n be ((-12)/(-15))/((-3)/(-21 - -6)). Suppose -n*d + 0*l + 4*l = -1268, 4*d = -3*l + 1275. Does 22 divide d?
False
Let c(d) = -34*d - 42. Suppose 26*v + 36 = 14*v. Let m = -2 + v. Does 16 divide c(m)?
True
Let r(k) = k**2 - 19*k - 42. Let g be r(21). Suppose g = -13*n + 855 + 627. Does 19 divide n?
True
Let v(s) = -466*s + 1432. Does 17 divide v(-9)?
False
Suppose -b - 178 = -2*n, 5*b - 427 = -4*n - 71. Suppose 12 = -93*w + n*w. Is 10 a factor of (-82)/(-4) - w/(-6)?
True
Let y(q) = -1390*q + 420. Is 20 a factor of y(-3)?
False
Let x(b) = 2819*b**3 - 3*b**2 + 156*b - 319. Is x(2) a multiple of 17?
False
Suppose 380 = q - 2*m, 4*q - q - 1170 = m. Let x be 4 - (0 + 1)/(-1). Suppose -103 = -x*r + q. Is r a multiple of 17?
False
Is 9747 - (17 - 16 - 6) a multiple of 24?
False
Let h = -9313 + 22668. Is 19 a factor of h?
False
Let g be (-2)/13 - (-2)/(130/(-55)). Let v be (g + 2)/(6/30). Suppose 0 = -v*a + 31 + 9. Is 7 a factor of a?
False
Suppose 3*b + 2*z = 7505, -b + 4*z - 12511 = -6*b. Suppose 6*l - 903 = b. Is 27 a factor of l?
True
Let z(w) = -w - 2. Let b be z(-2). Suppose b = -15*g + 5253 - 1158. Is 13 a factor of g?
True
Let k = 8 + -6. Let f(d) = -213*d + 653. Let a be f(3). Does 7 divide ((-168)/(-49))/(k/a)?
False
Does 8 divide (9 - -7898) + ((-35)/(-14))/(2/4)?
True
Suppose l + 5*r - 16 - 24 = 0, -3*r = -5*l + 228. Is 3*20/l*93 a multiple of 14?
False
Suppose 5*a = -4*b + 199784, 4*b - 126923 = a + 72861. Does 38 divide b?
False
Let d(g) = 3*g**2 + 719*g - 76. Is 131 a factor of d(27)?
False
Let o = 82 - 79. Suppose 2*j - o = -u, -5*j - u = -4*u + 9. Suppose 4*l = 3*d + 88, 5*l - 110 = -j*d + 3*d. Does 18 divide l?
False
Let y(u) = -9*u**3 - 29*u**2 - 53*u - 465. Is 8 a factor of y(-13)?
True
Let m(y) = 10*y**3 - 6*y**2 + 4*y - 12. Let z be m(3). Let x = 80 + z. Is x a multiple of 14?
False
Let m be (-5)/(1 - 22/12). Suppose -m*x = 555 - 2355. Is 20 a factor of x?
True
Let h = -39422 + 57918. Is 11 a factor of h?
False
Let k = -356 + 368. Suppose 0 = -k*y + 25 + 419. Is 11 a factor of y?
False
Let m(g) = 22*g - 8. Suppose -48 = -31*n + 19*n. Is 5 a factor of m(n)?
True
Let d(l) = -l**2 - 101*l + 360. Is 93 a factor of d(-68)?
True
Is 6 a factor of ((-7)/(196/(-312039)) - 1) + 6/(-24)?
False
Let y be (0 + 0 + 2)/((-2)/(-4)). Let j(q) = -4*q + y*q**2 - 3*q**2 + 13 + 23 + 2*q. Is j(0) a multiple of 12?
True
Let g(o) be the second derivative of 7*o**3/6 - 35*o**2/2 - 13*o. Suppose -p = -3*p + 16. Is g(p) a multiple of 7?
True
Suppose 3*s + 24 = -x, s - 3*x - 16 + 24 = 0. Is 1/(((-8)/1037)/s) a multiple of 18?
False
Let n(d) = -d**3 + 19*d**2 + 21*d + 34. Let a be n(20). Is ((-6 - -1) + -3)*a/(-4) a multiple of 6?
True
Suppose 53 = 15*p - 127. Suppose -p*r + 4*r = -264. Is r a multiple of 7?
False
Let y(l) = l**3 - 15*l**2 - 7*l + 9. Suppose -m - 66 = j - 5*j, 5*j - 87 = -m. Does 26 divide y(j)?
True
Let v(z) = 3*z - 7. Let s be v(-3). Let r = s - -152. Suppose -2*x + r + 244 = 0. Is x a multiple of 40?
False
Suppose 0*v = -v + 5*s - 22, 5*v = -3*s + 2. Let y be ((-48)/20)/((4/50)/v). Suppose -7*t + y = -6*t. Does 6 divide t?
True
Suppose -q = 3*y - 7, 5*q + 19 = 4*y - y. Suppose -y*o + 0*a + 21 = 3*a, -4*o + 4*a = 4. Does 7 divide (-16 - -30)/((o/(-2))/(-3))?
True
Let r(u) = u**2 + 6*u + 7. Let w be r(-12). Suppose 73*b = w*b - 1008. Is 21 a factor of b?
True
Suppose -15*t + 28 = -t. Is 5 a factor of t/7 - 9720/(-84)?
False
Let f be (-26368)/24 + 6 + (-4)/(-6). Does 19 divide (-2 - -1)*f/13?
