?
False
Let y(a) = -540*a - 1443. Does 177 divide y(-37)?
False
Let k(d) = 417*d + 4493. Is 3 a factor of k(4)?
False
Let g = -6738 + 10543. Is 11 a factor of g?
False
Suppose -8*x + 11*x - 432 = 0. Is 71 a factor of 8950/18 - 32/x?
True
Let n be -1*(-4)/10 - 12/(-20). Let d be 6/((12/1808)/n). Suppose 0 = 6*b - 2*b + 4*y - d, -680 = -3*b - 2*y. Does 19 divide b?
True
Suppose -3*j = t - 591, -18*t + 14*t = -5*j - 2347. Suppose -2*b - 4*n + t = -b, -n = -3*b + 1725. Is b a multiple of 16?
True
Let f(w) = -w**2 + 968*w + 10568. Does 63 divide f(0)?
False
Is 104/(-936) - (12854/(-18) - -1) a multiple of 39?
False
Suppose 0 = -4*y + 42*i - 46*i + 13008, 2*i = -5*y + 16251. Is y a multiple of 19?
True
Suppose 0 = -9*s + 1778 + 6061. Let w = s + -612. Suppose -11*f + w = -4*f. Is f a multiple of 3?
False
Suppose 0 = -d, -275 = 5*k - 2*d - d. Let n = k - -60. Suppose -z = -o + 2*z + 117, n*o = -4*z + 566. Does 19 divide o?
True
Is 30/(-8)*(-553400)/150 a multiple of 43?
False
Let c(r) = 9*r**2 + 50*r - 8. Let p = 338 - 332. Is 28 a factor of c(p)?
True
Let i = 6177 - 3831. Does 46 divide i?
True
Let n = 1574 + -560. Suppose -l - 5*l + n = 0. Is 18 a factor of l?
False
Let s(j) = 8*j + 48. Let p be s(-5). Let k = -3087 + 4719. Suppose -p*i = -20*i + k. Does 15 divide i?
False
Suppose -x = g - 2*x - 1, 4*g - 3*x - 7 = 0. Suppose 4*t + g*v = 316, 2*t - 133 = 4*v - v. Does 7 divide t?
False
Suppose 0 = -247*g + 1446806 + 878691 - 191417. Is 10 a factor of g?
True
Is ((-1895)/20*-2)/(3/138) a multiple of 8?
False
Suppose n - 22799 = 5*p, -n + 165*p = 167*p - 22750. Does 271 divide n?
True
Suppose 74*u - 4*n = 73*u + 2815, -u - 4*n + 2791 = 0. Does 10 divide u?
False
Suppose 15*a - 16*a + 2 = 0. Suppose f = -a*n + 538, -6*f + 5*f + 538 = 5*n. Is f a multiple of 10?
False
Let m = 5019 + -4631. Is m a multiple of 2?
True
Let r be (-2)/5*6*35/(-42). Suppose -r*j + 5*u + 974 = 0, -7 + 13 = 3*u. Is 93 a factor of j?
False
Suppose 3*f - 5*g = -100, 3*f = 4*f + 2*g + 26. Let v = -27 - f. Suppose -4*m + 1138 = 4*q - q, -3*q = -v*m + 864. Is m a multiple of 26?
True
Let b = 10871 + -9803. Is 6 a factor of b?
True
Let q = 21 + -27. Is (490/(q + 1))/(-2) a multiple of 9?
False
Suppose -11*s - 93 = -8*s. Let i = 17 - s. Let g = i - 29. Is 3 a factor of g?
False
Let h(f) = -2*f - 32. Let g be h(-16). Suppose g = 3*v - 4*c + 2, 3*c = v - c + 6. Suppose 4*p - 204 = -3*l, -4*p - 2*l - v*l = -208. Does 14 divide p?
False
Let u(i) be the second derivative of -i**3 + 0 + 19/2*i**2 - 21*i. Is 10 a factor of u(-4)?
False
Let g(x) = -288*x + 2213. Is 34 a factor of g(-15)?
False
Let v = -25192 + 58888. Is v a multiple of 351?
True
Let f = 28 + -30. Is -8*3/f*46 a multiple of 12?
True
Let c(x) = -249*x - 424. Is 13 a factor of c(-4)?
True
Suppose 0 = -2*l + o - 4*o - 14, -3*l + 5*o = 59. Is ((-156)/(-24) + l)/(1/(-10)) a multiple of 28?
False
Let d(o) = -1428*o + 116. Is 82 a factor of d(-3)?
False
Let v(j) = 25*j**3 + 106 + 5*j + 0*j**2 - 9*j**3 - 1 - 15*j**3 + 5*j**2. Is v(0) a multiple of 10?
False
Suppose 57*i - 80 = 59*i. Let b = -36 - i. Suppose 6 - 50 = -2*t + b*m, t + 2*m - 22 = 0. Is t a multiple of 9?
False
Let s = -557 - -548. Is (-33)/s + -5 + (-3469)/(-3) a multiple of 21?
True
Suppose -89458 + 27943 = -5*d - 4*d. Is 20 a factor of d?
False
Let c = -80 - -121. Suppose x - 1 = -m - 10, c = -5*m - 4*x. Is m*12/(-20)*26 a multiple of 26?
True
Does 7 divide (4 + 145/(-4))*(-7)/((-21)/(-460))?
False
Suppose -165208 = -10*i + 69292. Is 35 a factor of i?
True
Let f(p) = 19*p**3 - 2*p**2 - 6*p + 10. Let i be (8/3)/((-176)/33 + 6). Is 12 a factor of f(i)?
False
Let l(w) = 2*w**2 - 6*w - 6. Let t be l(5). Suppose 2*y + 4*o = -t, 0*y - 7 = 5*y + 3*o. Is 9 a factor of (412/9 + (-24)/(-108))*y?
False
Suppose -31*o + 28*o + 20194 = -k, -5*k - 20162 = -3*o. Is 14 a factor of o?
True
Let u(x) = -x**2 - 2*x + 76. Suppose 0*f - 4*f = -0*f. Let d be u(f). Suppose -5*t = -2*v + d, 3*v + v - 152 = 4*t. Is 38 a factor of v?
True
Let t(v) = v + 43. Let m be t(-12). Let l(x) = x**2 - 30*x - 26. Let j be l(m). Suppose j*c = 3*k + 948, 0*k = -4*c - 3*k + 780. Is c a multiple of 24?
True
Let s(b) = 2*b**3 - 12*b**2 + 16*b - 35. Suppose 0 = 5*p - m - 32, -5*p = -3*p - 3*m - 5. Does 25 divide s(p)?
True
Let y be -17 - -19 - (-2 - 1 - -1). Let v(s) = s + s**2 + 6 + 4*s - s. Is v(y) a multiple of 19?
True
Let h = -583 - -579. Is ((-105)/30)/(h/824) a multiple of 54?
False
Let f(r) = 163*r + 857. Does 56 divide f(8)?
False
Let c(p) = 37*p**2 - 4*p + 16. Is c(-7) a multiple of 5?
False
Let j(d) be the second derivative of -d**3/2 - 79*d**2/2 + 7*d - 7. Does 2 divide j(-57)?
True
Let c = -28925 + 67850. Does 45 divide c?
True
Let r = -48 - -47. Let f be ((-5)/(-4))/(r/(-60)). Suppose -4*q = -3*c - 327, 2*q - q - 3*c - f = 0. Is 8 a factor of q?
False
Suppose 0*w - 3*z = -w - 50572, 101108 = -2*w - 3*z. Is 57 a factor of (w/(-120))/(4/6)?
False
Is (-4445505)/(-765) + 10/(-85) a multiple of 149?
True
Suppose 4*z + 90 = 2*a, -a - 2*z = a - 108. Suppose -39*q - 26136 = -a*q. Is 18 a factor of q?
True
Suppose 83*q - 76*q = -1694. Let a = q + 385. Is 9 a factor of a?
False
Let n(p) = p**3 - 2*p**2 + 7. Let z be n(2). Let y(g) = 2*g**3 - 12*g**2 - 2*g - 2. Is y(z) a multiple of 65?
False
Suppose 0 = 32*a - 33*a + 491. Let o = 641 - a. Does 50 divide o?
True
Let p = -26510 - -43170. Is 42 a factor of p?
False
Suppose 0 = 45*f - 48 - 42. Is (63/f)/(-12 + (-2527)/(-210)) a multiple of 7?
True
Let p = -20 + 244. Let d = p + 242. Does 14 divide d?
False
Suppose 17*l - 5180 = 107972. Is l a multiple of 124?
False
Let t = 72 - -100. Suppose -3*r - 3*x = -5*x - t, -5*x = -20. Is 4 a factor of r?
True
Let l be -3 - ((-17407)/91 - 2/(-7)). Is (l/(-1))/(-2)*12/6 a multiple of 29?
False
Suppose -b + 4*k + 22 = b, -2*b = -2*k - 12. Let f be b/((5/(-1))/(-55)). Let a(h) = -h**3 + 10*h**2 + 20*h + 5. Is 8 a factor of a(f)?
True
Let p = -5054 + 15970. Does 103 divide p?
False
Let r(o) be the second derivative of o**5/20 - 8*o**4/3 + 67*o**3/6 - 12*o**2 - 3*o + 3. Does 31 divide r(30)?
True
Let w be 9/(-27) - 58/6. Is 23 a factor of ((-1 - -24) + 0)*(w + 11)?
True
Suppose 0 = 5*b + o - 6981, 3*b + 15*o = 16*o + 4195. Does 18 divide b?
False
Let c(z) = -z + 25. Let a be c(10). Suppose 3834 - 594 = a*l. Is l a multiple of 24?
True
Let v(i) = i**2 - 26*i + 646. Is v(16) a multiple of 18?
True
Let u(k) = -19*k**2 + k - 4. Let f be u(3). Let q = f + 331. Does 25 divide q?
False
Suppose 62*o = 7*o + 366283 - 77753. Is o a multiple of 61?
True
Suppose 3*h + 12 = 0, -709 = 2*j - 5*h - 5107. Does 17 divide j?
False
Suppose -3208*a + 7034 = 5*u - 3210*a, -3*a = -3*u + 4233. Does 52 divide u?
True
Let p(s) = -3*s - 3. Let w be p(-2). Let q = -453 - -455. Suppose -n - q*y = y - 46, -w*y + 15 = 0. Is 12 a factor of n?
False
Suppose 0 = 5*j + 5, -4*t = -j - 0*j + 139. Let p be 0*(4 + t/10). Suppose 0 = 4*q - 8, 3*n - 3*q + 8*q - 154 = p. Is 4 a factor of n?
True
Let p be 1*-1 - (1 - 1596/3). Suppose 5*m - 642 = -4*z, -2*m = 2*m - 5*z - p. Is m a multiple of 10?
True
Let a = -74 + 76. Suppose a*p - 40 = -3*p. Suppose 496 - 80 = p*m. Is 9 a factor of m?
False
Let x(g) = -210*g + 37. Let l = 861 - 862. Does 27 divide x(l)?
False
Let c be (-32)/(-5) - -1*(-4)/10. Suppose 2057 = -c*k + 23*k. Is k a multiple of 5?
False
Let g(h) = -6*h + 226. Let j be g(38). Is 12 a factor of (-1004)/j - (2 + -2 - 2)?
True
Let r = 6 + 40. Let l = 86 - r. Does 40 divide l?
True
Suppose 4*j + t + 115 = 6*t, 5 = -t. Let r = j - -42. Suppose r*p = -3*w + 2*p + 530, -2*w = 3*p - 352. Does 34 divide w?
True
Suppose -17*u + 299012 + 44830 = 0. Does 17 divide u?
False
Let w = 25 - 29. Let l be w - (-55 - (3 + 1)). Let c = 103 - l. Is 12 a factor of c?
True
Let r(q) = 134*q + 5346. Does 20 divide r(50)?
False
Let x(b) = 19*b**2 + 21*b + 30. Let n(p) = 7*p**2 + 2*p**2 + 4*p + 15 + 6*p. Let f(d) = 9*n(d) - 4*x(d). Is 42 a factor of f(-8)?
False
Let g(b) = 2*b**3 + 173*b**2 - 180*b + 316. Is 12 a factor of g(-87)?
False
Suppose 2*g - 2 + 4 = 3*x, 3*x = 0. Let q(j) be the first derivative of -27*j**2/2 + j - 1. Is q(g) a multiple of 7?
True
Let m be ((-106)/(-3))/(19/228). Suppose 5*c - 1629 = -4*l + 512, 5*l = -c + m. Does 13 divide c?
True
Let u = -106 - -100. Is (