). Is 7 a factor of g(-10)?
True
Let o(d) be the second derivative of d**5/2 + d**4/12 - 2*d**3/3 + 7*d**2/2 + 3*d. Let m be o(3). Suppose 4*f - m = -82. Does 16 divide f?
True
Let x(s) = -s**3 + 6*s**2 + 6*s - 1. Let q be x(-3). Suppose 5*u - q = 168. Suppose 0 = -u*l + 45*l + 187. Does 17 divide l?
True
Suppose 2*z - z - 2*a = 734, 0 = -2*a + 6. Suppose -3*u - u - z = 0. Let p = u - -314. Is p a multiple of 31?
False
Let j = -38 + -82. Let a = 60 + j. Let t = a - -84. Is t a multiple of 14?
False
Let y = 10883 + -8654. Is 13 a factor of y?
False
Suppose 6*b = 96 - 30. Suppose b*g = 18*g - 3332. Is g a multiple of 17?
True
Is 90 a factor of (39843/(-285))/(-1*(-3)/(-75))?
False
Let s = -14973 + 15085. Is s a multiple of 10?
False
Let j = -9601 - -13684. Suppose -333 = -8*g + j. Is 24 a factor of g?
True
Suppose -5*v + 5*w + 115 = 0, v - 2*w - 13 = w. Suppose 0 = s + 2*r - v, 56 + 24 = 5*s - 2*r. Does 4 divide s?
False
Suppose -4*a + 3784 + 600 = -b, -b + 3302 = 3*a. Is 31 a factor of a?
False
Let k(y) = -10*y**2 + 272*y - 145. Let x be k(30). Suppose -4*p + 0 + 20 = 0. Is 14 a factor of (x/(-4))/p*(6 + -2)?
False
Let j be 5 + 3 - 20/(-4). Suppose j*m - 7140 + 1264 = 0. Does 35 divide m?
False
Let n be 560 + 8/4 + 9. Let t = 626 - n. Is t a multiple of 55?
True
Let c be (-20)/45 - 539/63. Let m(r) = 8*r**2 + 16*r - 46. Is m(c) a multiple of 66?
False
Let a = -453 - -448. Is 1057 + (2 - 3)*a a multiple of 9?
True
Suppose 10*m + 2*k = 12*m - 5764, -k = -3*m + 8654. Does 6 divide m?
True
Suppose i - 424 + 274 = 0. Suppose 4*y + 2*b - i = 2*y, y + 3*b = 69. Does 9 divide y?
False
Let z(w) = -w**2 + 6*w**3 - w**3 - w**3 - 10*w - 2 - 3*w**3. Let m be z(4). Suppose -8*y = -m*y - 186. Is y a multiple of 31?
True
Suppose 0 = 2*n + 3*n + 2*w - 10527, 2*n - 4202 = -3*w. Suppose 259*i - n = 252*i. Is i a multiple of 29?
False
Let a(f) = 6*f - 1. Let j be a(1). Suppose -j*h + 3*p + 40 + 3 = 0, p - 4 = 0. Suppose -h*v - 95 = -12*v. Is v a multiple of 11?
False
Let d(p) = 2*p**3 + 4*p**2 - 3*p + 3. Let l be d(3). Let n = l - 118. Let t = n + 81. Does 33 divide t?
False
Suppose -171*y = -245*y + 67266. Is 101 a factor of y?
True
Let h(s) = -15*s**2 + 23*s + 17. Let v(j) = -7*j**2 + 11*j + 8. Let u(r) = -6*h(r) + 13*v(r). Let i be u(-2). Is 6 a factor of 149 - 32/i*6/4?
False
Let c(t) = 4*t**2 - 11*t + 84. Let x = -477 + 485. Is c(x) a multiple of 42?
True
Does 11 divide 3360 - 54/(-15)*(-10)/(-6)?
True
Let v = -206 - -235. Suppose 4950 = -24*k + v*k. Does 55 divide k?
True
Suppose -57*n - 63651 - 6759 = -62*n. Is 40 a factor of n?
False
Let g = 137 - 215. Is 8 a factor of ((-6)/(-7))/(g/(-14378))?
False
Let p = 16611 - 15911. Is p a multiple of 4?
True
Suppose -82*f + 989100 = -252134. Is 8 a factor of f?
False
Let c = 352 - 273. Let j = -72 + c. Is j a multiple of 3?
False
Let l(z) = -88*z + 1420. Is 12 a factor of l(7)?
True
Suppose -2*s + s - 5*u - 10 = 0, 2*u = -s - 1. Suppose -4*z + s*o - 2*o + 613 = 0, -3*z + 468 = -5*o. Is 9 a factor of z?
False
Let k(m) = 6 - 1 - m - 1 + 4*m - 3*m**2 + m**3. Let q be k(4). Suppose q*t - 33*t = -92. Is 21 a factor of t?
False
Let h(s) = 13*s + 70. Let f be h(-5). Suppose -2*j + 329 = 5*q, -3*j = -8*j - f*q + 830. Is 18 a factor of j?
False
Is -13395*(-41)/(-41)*(0 - -1 - 2) a multiple of 47?
True
Suppose -u + 3*u = 3*p - 21, 5*p - 4*u = 37. Suppose -p*v + 408 = 3*v. Let l = 90 - v. Does 9 divide l?
False
Let b(i) = i**2 - 2. Let y be b(-2). Suppose 19 = 2*r - 3*q, -q = -r - y*r + 11. Suppose 0 = -7*c + r*c - 5*a + 65, -3*c = -5*a - 55. Is 3 a factor of c?
True
Suppose 6*s = 5*s. Suppose -4*w + 9*w - 160 = s. Let n = 44 - w. Does 12 divide n?
True
Let c be ((-825)/(-20))/(2/(-8)). Let n(d) = 2*d + 14. Let y be n(-7). Is (2 + y)*c/(-15) a multiple of 11?
True
Let h(j) = 5674*j**2 - 10*j - 17. Does 86 divide h(-1)?
False
Suppose 2*w + 18*g - 28076 = 17*g, 0 = 5*w + 2*g - 70186. Is w a multiple of 34?
False
Does 148 divide ((-5)/(-6) - 42664/48)*-1?
True
Suppose 0*t + 7*t + 3343 = 9454. Is t a multiple of 5?
False
Let h = -86 - -88. Let z be (-4)/h*(9/(-2) + 3). Suppose 333 = z*n - 2*t - 51, n = 2*t + 128. Is 10 a factor of n?
False
Suppose -22 = t - 12*t. Suppose 2*y - 228 = 4*w, -t*y + 4*w + w + 224 = 0. Does 7 divide y?
False
Suppose -g - 3425 = 5*l, -5*l + 1032 = 4*g + 4472. Is 57 a factor of (l/(-10))/(34/510)?
True
Let y(p) = 3*p + 1. Let o be y(2). Suppose o = 4*k + 2*v - 3, -5*k + 5 = 5*v. Suppose 89 + 7 = k*a. Is a a multiple of 2?
True
Let f(k) = 2*k**2 - 113*k + 446. Let d be f(53). Let h = 384 - 194. Let c = h - d. Is 17 a factor of c?
False
Suppose 27 = 3*m - 9. Let x = m + -9. Suppose 2*a - x = 11. Is 7 a factor of a?
True
Suppose 0 = -s + a + 4926 + 5600, -20 = 4*a. Does 63 divide s?
True
Let r = -9 - -12. Suppose -3*t = 3*y - 132, 3*y - r*t - 97 = t. Suppose -38*x = -y*x + 77. Is x a multiple of 29?
False
Let p = 5 + -5. Let s(y) = y**2 + y - 3. Let b be s(p). Is (-112)/(-3) + 4/b a multiple of 12?
True
Suppose -67*j = -108805 - 63251. Does 3 divide j?
True
Let g(r) = 33*r**3 - 8*r**2 + 12*r + 30. Is g(5) a multiple of 79?
False
Let g(m) = -5*m**2 - 4*m + 7. Let n be g(-4). Let w be 16/(-6) + 19/n. Does 6 divide (-114)/w + 1 + (-1 - 2)?
True
Suppose -m = 3*v - 13, 3*m - 8 = -4*v + 16. Suppose 259 + 56 = v*h. Does 35 divide h?
True
Let a = 31453 + -13402. Is 43 a factor of a?
False
Let g be ((-54)/21)/((-2)/14). Let l(s) = g + 6 - 6 - 5*s - s. Is l(-4) a multiple of 7?
True
Suppose 16943 - 38 = 5*t. Suppose -3*s - 4*s + t = 0. Suppose 2*d + 3*n + s = 7*d, -384 = -4*d + 3*n. Is d a multiple of 10?
False
Suppose -m = -3454 - 922. Does 11 divide m?
False
Let r(x) = -68*x + 313. Let l be r(6). Let n = l + 375. Is 4 a factor of n?
True
Let k(y) = -74*y - 648. Is 22 a factor of k(-26)?
True
Let x be (-5)/(((-28)/156)/(-7)). Let w be (-6)/24 - x/(-4). Let q = w + 63. Does 4 divide q?
False
Let j(g) = g + 17. Let q be j(-10). Let t(v) = 3*v**2 + 7*v - 16. Let b be t(q). Suppose -y - b = -7*y. Does 10 divide y?
True
Let w(n) = 111*n + 11. Let c be w(3). Suppose c = -g + 884. Is 46 a factor of g?
False
Suppose 3829 = u + x, -9*u - 6484 = -2*x - 40956. Is u a multiple of 11?
False
Let q be (-4020)/(-6) - (-5 + 7). Let s = q + -338. Does 55 divide s?
True
Let f = -41 + 44. Suppose -4*k - 38 + 502 = f*o, -306 = -2*o - k. Is 12 a factor of o?
False
Is 11/(495/(-351))*-390 a multiple of 78?
True
Let o = 379 - -4641. Is o a multiple of 132?
False
Let l(k) be the first derivative of -21 + 3*k + 2/3*k**3 - 3/2*k**2 + 5/4*k**4. Is l(2) a multiple of 9?
True
Does 3 divide (-125)/(-225)*9 + 21234/3?
True
Let p(n) = 909*n - 5087. Is 8 a factor of p(11)?
True
Let l(j) = -51*j - 38. Let v(z) = -25*z - 19. Let t(f) = -4*l(f) + 9*v(f). Let n be t(7). Let w = 238 + n. Is w a multiple of 8?
True
Suppose -10*j + 9*j - 4*n + 11 = 0, 0 = -4*j + 3*n + 6. Suppose 0 = i - 2*i - t + 195, 620 = j*i - 4*t. Does 5 divide i?
True
Suppose 453*i - z - 1471 = 451*i, -2*z + 10 = 0. Does 3 divide i?
True
Suppose -q + 29 = -7. Let v be ((-4)/6)/(8/(-36)). Is (40/3)/(v/q - 0) a multiple of 16?
True
Let o(s) = 5*s**2 - 60*s + 8. Let p be o(17). Suppose -p*n = -432*n - 488. Is 24 a factor of n?
False
Suppose 2*r + r - 2*k - 384 = 0, -3*r - 5*k + 363 = 0. Let o = 460 - r. Does 26 divide o?
False
Does 2 divide (-8)/(336/(-18)) - (-14268)/28 - -7?
False
Suppose r = 3*t + 16, 2*r + t + 52 = 7*r. Does 48 divide 4/r - (5664/(-40) - 2)?
True
Suppose 49 - 87 = -2*p. Let t(h) = 3*h**2 - 52*h + 34. Is t(p) a multiple of 3?
True
Is 92/(-3)*(6387/(-84) + (-46)/(-161)) a multiple of 23?
True
Is 44 a factor of 2590 - (574/(-98) + 1/(-7))?
True
Let m(j) be the second derivative of -29*j**3/3 + 2*j**2 + 11*j. Let y be m(-3). Suppose -4 = 2*i, -4*r + i = -20 - y. Is 7 a factor of r?
True
Let u(q) be the third derivative of -q**5/30 + 17*q**4/8 + 19*q**3/6 + 10*q**2 - 3. Is u(24) a multiple of 6?
False
Let l = -8 + 35. Let g = l - 33. Is 15*(-5)/10*g a multiple of 9?
True
Let v = 3107 + -1822. Let p = v + -713. Is 13 a factor of p?
True
Let q be 36/(-1)*14/4. Suppose -w + w = -w. Does 10 divide 8 + -5 - q - (w + 0)?
False
Let k = -792 + 425. Let w = -274 - k. Does 11 divide w?
False
Let r = 9870 - -795. Is 45 a factor of r?
True
Suppose 5*t - 4*o - 149 = 0, 8*o + 124 