 t(k) = k**2 - 7*k - 5. Let s be t(9). Does 5 divide x(s)?
True
Let x be 3 + -2 - (-3 - -3). Suppose 3*w - x = 2*w. Is 5 a factor of ((-4)/4)/((0 - w)/13)?
False
Let q = 13469 - 7706. Is q a multiple of 17?
True
Let j be 1*8/((-16)/622). Let b = j - -1694. Is 28 a factor of b?
False
Suppose 0 = 44*h + 10284 - 42888. Does 13 divide h?
True
Suppose -i + 244 = i. Let m = -12340 + 12344. Suppose m*u - i - 358 = 0. Does 12 divide u?
True
Let h = 63 - 22. Let b = 71 + h. Suppose q = o - b, -2*o - 64 = -5*q - 276. Does 29 divide o?
True
Let c = -27 + 31. Let f(r) = r + 4. Let d be f(0). Suppose -432 = -d*t + c*q, -3*q = -t + 5*t - 411. Does 15 divide t?
True
Suppose 57357 + 15438 = 23*w. Is 171 a factor of w?
False
Let i(q) = -q**3 + 44*q**2 + 21*q + 291. Let b be i(44). Is ((-8)/(48/b))/(6/(-8)) a multiple of 45?
True
Suppose -5*r - 4*q = 1493, 1487 = r - 6*r - q. Let d = 757 + r. Does 17 divide d?
False
Let s be 390/9 + 2/3. Let v = 6210 + -6112. Let b = v - s. Is 9 a factor of b?
True
Suppose -264 = -5*i + 2*z, 3*z - 21 - 25 = -i. Suppose 4392 = i*k - 43*k. Is 61 a factor of k?
True
Let b = -1149 - -1985. Let x = b - 373. Is 43 a factor of x?
False
Let l(u) = -138 - 30 + 102*u + 87. Is l(5) a multiple of 39?
True
Suppose -4*y - 2 = -3*w + 9, 4*w = 4*y + 16. Let f(r) = 34*r - 17 + 0 - 23*r. Is f(w) a multiple of 3?
False
Let f be 2149/98 + (-3)/(-42). Suppose 4*x - 1864 = 23*t - f*t, 5*t = -20. Does 15 divide x?
True
Let t be (-10)/12 + 1 + (-245)/(-42). Is ((-2)/4)/(t/(-3000)) a multiple of 10?
True
Suppose 25*r + 1569 = 66*r - 140045. Does 12 divide r?
False
Let i(t) = -990*t - 340. Is 12 a factor of i(-48)?
False
Is 17 a factor of 38/627 - (-505773)/297?
False
Suppose 620 = -20*t + 30*t. Let b = 179 - t. Does 25 divide b?
False
Is 20 a factor of (70280/3)/(92/138)?
True
Is ((-20589)/12)/(591/(-84) - -7) a multiple of 11?
False
Let f = -167 + 192. Suppose l = 45 + f. Is l a multiple of 14?
True
Let b(t) = 6*t**2 - 2*t + 4. Suppose -3*r - 19 + 7 = 0. Let z(j) = j**3 + 2*j**2 - 9*j - 1. Let s be z(r). Is 12 a factor of b(s)?
False
Suppose 1035*u - 2068*u = -1052*u + 429324. Is u a multiple of 209?
False
Let f(q) be the second derivative of -89*q**2 + 0*q + q + 88*q**2 - 2*q**3. Does 11 divide f(-8)?
False
Suppose 0 = -51*v + 50*v + 5. Suppose 3 = 2*b - r - 5, 0 = -5*b - v*r - 10. Suppose -104 = -l - 4*q + q, 3*l = b*q + 257. Does 16 divide l?
False
Let y be (2/(-8))/(30/(-360)). Does 42 divide (9276/24)/(y - 20/8)?
False
Suppose -3*n = 3*d - 444, 3*n - 4*n + 442 = 3*d. Is d*(84/49)/2 a multiple of 7?
True
Let b = -591 + 612. Let o = b - -168. Does 9 divide o?
True
Suppose 391070 - 232996 = 44*j - 424310. Is j a multiple of 12?
True
Let d(a) = 9*a + 15. Suppose -6*z = -4*j - 3*z - 2, -4*z = 4*j + 16. Let x be d(j). Is -33*(-4 + x + 2) a multiple of 11?
True
Let k(v) = v**2 - v + 35. Suppose 3*m - r + 4*r - 51 = 0, -94 = -5*m + 4*r. Is 76 a factor of k(m)?
False
Let r(y) = 0*y**3 - 5*y**2 + 14*y**2 + 0*y**3 + 42 + 12*y + y**3. Let p be r(-6). Let d = p - 66. Is 3 a factor of d?
True
Let y(d) = -d**3 + 18*d**2 - 17*d - 25. Let p be y(16). Let q = p - -49. Is q a multiple of 7?
False
Let f(c) = c**3 - 11*c**2 + 12*c - 21. Let x be f(10). Let h = x - -10. Suppose -3*u = h - 261. Is u a multiple of 14?
True
Suppose -14*o = 1099 - 17478 - 2437. Is 14 a factor of o?
True
Let s be (-11 - -17) + -3 + (0 - -1). Suppose 5*w + 5*u - 1230 = 0, 8*w + s*u - 734 = 5*w. Is w a multiple of 25?
True
Let i(w) = -174*w + 764. Is 110 a factor of i(-19)?
True
Let s(g) = -g + 393. Is s(-44) a multiple of 10?
False
Let k(l) = -l**2 + 10*l + 21. Let d be k(9). Let p = d + -27. Suppose 3*a + p*a - 252 = 0. Is 7 a factor of a?
True
Is ((-2856)/2499)/((-2)/1603) a multiple of 39?
False
Is -2*(23855/(-10) - 4) a multiple of 9?
True
Let z be 1*(1 - -2)*(-26)/(-39). Let t(q) = 80*q**z + q + q + 1 - 2 + 0. Is 9 a factor of t(1)?
True
Let p = 586 + -440. Suppose 4*q + 3*d = 1759, -p = -q - d + 295. Is 20 a factor of q?
False
Let s = 4301 + -589. Is s a multiple of 64?
True
Suppose 321*a - 365190 = 307*a. Is 185 a factor of a?
True
Suppose z = 5*c - 3*z, 3*c - 5*z = 0. Suppose c = i - 4*y - 622, 5*i - 5*y - 2049 = 1061. Is i a multiple of 9?
False
Suppose 0 = 3*z + 3*l - 75, 4*z - 82 = 3*l + 2*l. Let i(k) = -k**3 - 79*k**2 - 82*k - 304. Let x be i(-78). Suppose -x*o = -z - 57. Is 10 a factor of o?
True
Suppose -1939307 = -300*j + 54*j - 334157. Does 145 divide j?
True
Suppose -5*x + 51 = -19. Suppose 3*y - a - 27 - 41 = 0, -y - 4*a = -x. Does 4 divide y?
False
Let c(u) be the third derivative of -u**6/15 - u**5/5 - 5*u**4/24 - u**3/2 + u**2 - 8*u. Does 19 divide c(-4)?
False
Let y(b) = b**3 - 18*b**2 - 4*b + 41. Let g be y(19). Let f be (-1 - -3)/((-8)/(-8)) + 3. Suppose 0 = -f*i - p + 771, p - 5*p = -2*i + g. Is 31 a factor of i?
True
Let f = -105 - -107. Suppose h - 4 = f*h + d, d = -4*h - 7. Is -3 - (h/2 - (-9)/(-2)) a multiple of 2?
True
Let g = 109 - 32. Let p be 217/g - 4/(-22). Suppose -5*u = 3*d - 1302 + 441, -p*d = 9. Is u a multiple of 29?
True
Let t = -734 - -737. Let n(c) = 15*c**3 + c**2 + 2*c - 4. Does 20 divide n(t)?
False
Let d be (-6)/8*(-2 + 13130)/(-3). Suppose -14*m + d = -4348. Is m a multiple of 39?
False
Does 104 divide (-9)/(-4) - 4699125/(-300)?
False
Let r(o) = 483*o**2 - 54*o. Does 12 divide r(-1)?
False
Suppose 4*p - 5*p = -702. Suppose 4*n - p = -3*z, 3*z + 175 - 877 = -2*n. Is 13 a factor of z?
True
Let g = 6760 - 6757. Let v(o) be the first derivative of 67*o**2/2 + 6*o + 2. Does 9 divide v(g)?
True
Suppose -s = 3*p - 12, -5*p + 0*s + 12 = -s. Suppose 12 = q + p*q. Suppose 10 = -2*a, 2*o - a = q*o - 3. Is 8 a factor of o?
True
Let n(d) = 18*d**2 - 138*d**3 + 73*d**3 - 31*d + 67*d**3 + 5. Is 6 a factor of n(-9)?
False
Let r = 939 + 68. Suppose -t + 2 = 0, -24 = -c + 3*t + r. Is 31 a factor of c?
False
Let h = 233 - 83. Suppose h = -n + 2*n. Is n a multiple of 25?
True
Suppose 5*y - 1421 = 2*l, y + 4*y - 1433 = -4*l. Suppose 40*k - 18 = 77*k - 43*k. Suppose -k*s + s = -4*f - 160, -y = -4*s + f. Is s a multiple of 36?
False
Let q be ((-1)/(-2) - 2)*-2. Let z(m) = 5 - m**2 - q*m - 3*m - 17*m. Does 9 divide z(-22)?
True
Suppose -12*x = -8*x - y - 19214, -7*x - 2*y + 33602 = 0. Does 98 divide x?
True
Let g(n) = -n**3 + 3*n**2 + 12*n - 1. Let y = 409 - 413. Is 63 a factor of g(y)?
True
Let p = -1063 - -673. Is 6 a factor of (-3 - 42/(-10))*p/(-4)?
False
Let g(a) = 2*a**2 - 3*a - 3. Suppose 2*v - 29 = -9. Let x = 15 - v. Is 16 a factor of g(x)?
True
Let w(c) = 394*c**3 + 8*c**2 + 7*c - 53. Is w(3) a multiple of 9?
False
Let x be 6 - (-1126*(-4)/(-24) + (-6)/(-9)). Suppose 1 + 614 = -5*d. Let m = x + d. Is 10 a factor of m?
True
Let h = -122 + 124. Suppose -5*l + 8*l = 4*i - 14, h*i = 2*l + 8. Suppose 5*s - 250 = s + i*w, 55 = s - 2*w. Is 13 a factor of s?
True
Suppose -45 - 10 = -11*y. Suppose -65 = -y*w + 140. Is w even?
False
Let z be -1 + 201/39 + 10/(-65). Suppose z*x + 565 - 1473 = 0. Suppose -563 = -7*d - x. Does 12 divide d?
True
Let v(y) be the first derivative of -y**6/120 + y**5/10 - y**4/12 - y**3/2 - 3*y**2 + 21. Let n(j) be the second derivative of v(j). Is 7 a factor of n(4)?
True
Suppose -120*r + 119*r = h - 740, -r = 1. Is h a multiple of 3?
True
Suppose 5*o = 5*k + 1703 + 382, 0 = -4*o - 3*k + 1633. Let l = -247 + o. Is 15 a factor of l?
True
Suppose -178*v + 169*v + 36 = 0. Is (8/16)/(v/1192) a multiple of 13?
False
Suppose -4*x - 137 = -5*f, -5*x - 11 = -21. Let v = 84 - f. Does 11 divide v?
True
Let r(b) = -27*b - 3. Suppose -4*k + c - 239 = -k, -k - 73 = -2*c. Let p be (5/(-10))/(k/42 + 2). Does 26 divide r(p)?
False
Let d(z) = -3692*z + 11. Is d(-1) a multiple of 9?
False
Let u(p) be the third derivative of 73*p**5/60 - 5*p**4/12 - p**3/3 + 4*p**2 + 19*p. Is 31 a factor of u(-2)?
True
Let z = -4819 + 7059. Suppose 3*u = 5*s - z, 0 = -9*s + 10*s - u - 450. Is s a multiple of 32?
False
Let k = -19 + -23. Suppose -9*y + 180 = -5*y. Let b = y - k. Is 29 a factor of b?
True
Suppose 0 = 5*j - 3998 - 502. Suppose 0*h = -4*u + 5*h + 26, 3*u + h = 10. Suppose j = u*y + 2*y. Is y a multiple of 30?
True
Let j(k) = k**2 - 5. Let g be j(4). Suppose v + g = 4*b, -4*b + 5 = -v + 2*v. Is b*-2*(-60)/6 a multiple of 8?
True
Suppose -m - 30*z = -28*z - 