 940 - 28/j*-7?
True
Let t = -335 + 653. Let o = t - 102. Does 24 divide o?
True
Let x = 16425 + -6218. Is 146 a factor of x?
False
Let y(o) = o**3 - 5*o**2 + 2*o + 4. Suppose 0 = 22*m - 21*m - 4. Let d be y(m). Is 13 a factor of (-5488)/(-70) - d/(-10)?
True
Let c(d) = -d**2 - 38*d + 5. Is 6 a factor of c(-25)?
True
Suppose -3*j + 3*a = -2958, -2*j + 4*a + 1173 = -807. Suppose -7*s + j = -761. Does 5 divide s?
False
Let s(z) = -z**3 + 8*z**2 + 11*z - 16. Let y be s(9). Suppose 0 = r + y*r + 5*h - 386, -3*r + 382 = h. Let b = r - 113. Is b a multiple of 4?
False
Let g = -5 - -7. Suppose 3*j - y = -480, -2*j - g*y = 385 - 73. Let w = j + 240. Does 14 divide w?
False
Let q(w) = 10*w - 302. Let p be q(-8). Let c = p - -453. Is c a multiple of 4?
False
Let a = -11 + 16. Suppose -5*m - 45 = -5*g, -3*m + g = -a + 32. Let x = m - -37. Is x a multiple of 3?
False
Let x(a) be the third derivative of 77*a**4/24 + 25*a**3/6 - 108*a**2. Is 6 a factor of x(2)?
False
Suppose 0 = -5111*y + 5118*y - 12096. Is y a multiple of 12?
True
Let c(y) = -2*y**3 - y**2 - 9*y - 8. Let a be c(-2). Suppose -4363 = -a*p + 1291. Is p a multiple of 3?
False
Is 42/(-6) - (36631/(-8 + 1) + 0) a multiple of 134?
True
Let b(a) = -1084*a - 59. Is b(-4) a multiple of 85?
False
Suppose -16 = -9*x + 5*x. Suppose 2*f - 656 = -x*n + 40, -2*f = 5*n - 699. Is f a multiple of 38?
True
Suppose 7*w = -2*h + 4*w + 5001, 4*h - 9981 = -3*w. Is h a multiple of 10?
True
Let d(b) = -b**3 + 7*b**2 + b + 11. Let i be d(7). Let v = i + -48. Is 6 a factor of (-2 - v)*(-6)/(-4)?
True
Let a be 3*4/6 - 13*2. Let c be 2*3/36 - 20/a. Is 4 a factor of (-68)/(-3)*c/(12/18)?
False
Suppose -1304 - 460 = 7*g. Let u = g + 388. Is 8 a factor of u?
True
Let m = -343 - -379. Suppose -5*f = 3*h - m - 63, -4*h + f = -132. Is 3 a factor of h?
True
Suppose 3*z + 29 - 74 = 0. Let t be (40 + -45)/((-1)/(-3)). Does 15 divide z + t - 3*(-30 + 0)?
True
Suppose 27*s - 115 - 101 = 0. Suppose s = 8*y - 712. Does 9 divide y?
True
Suppose -25*f + 320670 = 65*f. Is f a multiple of 16?
False
Let p be 392/6 - 28/21. Suppose -102 = -u + p. Does 13 divide u?
False
Let z(r) = 68*r**3 + r**2 + r - 1. Let t be (1/(-5) + 12/10)/1. Let m be z(t). Is 24 a factor of m - (-6 - (-3 - 0))?
True
Suppose 0 = -2*i - 103 - 91. Let w = 100 + i. Does 3 divide w?
True
Let f(u) = u**3 + 17*u**2 - 58*u + 38. Let b be f(-20). Is (12/10)/(b + (-7152)/(-3570)) a multiple of 13?
False
Suppose 3*r - 37 + 19 = 0, -4*i + 62774 = -3*r. Is 64 a factor of i?
False
Suppose -3*s + 5*s + 5*i = 347, -4*s = 4*i - 724. Let b = 508 - s. Does 14 divide b?
True
Suppose 14137 + 20881 = 4*o + 2*m, 0 = o - 4*m - 8759. Does 17 divide o?
True
Let z(y) = 2*y**2 + 9*y + 7. Let t be z(-7). Let s = t - 10. Let l = 51 + s. Does 15 divide l?
False
Let h = -26 + -12. Suppose -n = -j - 72, 2*j = 4*n - 0*j - 278. Let z = h + n. Is 29 a factor of z?
True
Let t(p) be the third derivative of 0 + 0*p + 35*p**2 + 7/3*p**3 + 1/24*p**4. Is 5 a factor of t(-6)?
False
Let p(t) = -34*t + 68. Let n be p(2). Suppose n = 30*o - 6495 - 32385. Does 75 divide o?
False
Let d(g) = -27*g + 86. Let m be d(3). Is (m/15)/(2/6030*3) a multiple of 67?
True
Let a be -1*(3 + -2 - 11)/1. Let t(n) = -n**3 + 16*n**2 - 11*n - 22. Is t(a) a multiple of 52?
True
Let u be 22/77 - (-842)/(-7). Let t = u - -122. Suppose t*q - 323 = -5*r, 4*r = -2*q + 71 + 189. Does 9 divide r?
True
Let z(h) = -61*h - 259. Does 83 divide z(-7)?
False
Let w = 12053 - 1870. Is 6 a factor of w?
False
Suppose -6*h = -119 - 769. Suppose -2*k + h = -106. Let j = 18 + k. Is 35 a factor of j?
False
Suppose 2*s - 17 = -23, -v + s - 164 = 0. Let b = 1043 + v. Is b a multiple of 13?
False
Suppose 0 = 2*p + 2*w + w - 21, -p + 8 = 4*w. Suppose 27 + 57 = p*d. Suppose -254 - 362 = -d*o. Is o a multiple of 4?
True
Let a(w) = 888*w**2 + 152*w + 1. Is a(4) a multiple of 11?
True
Suppose 21759 + 13998 = 6*p - 3483. Is 38 a factor of p?
False
Let j = 1133 - 715. Suppose j = 29*w - 28*w. Is w a multiple of 37?
False
Let q(v) = 810*v**3 - 2*v**2 - 14*v + 35. Does 11 divide q(2)?
True
Let r(b) = -b + 1. Let d be r(-3). Suppose 0*x - 4*c + 458 = x, -d*c = -8. Is 17 a factor of x?
False
Let z(s) = -2666*s - 2297. Is 136 a factor of z(-14)?
False
Let l be 5/(135/6) + 1484/126. Suppose -5*v = -l*v + 994. Does 31 divide v?
False
Let v be 12*4/80 + 5756/(-10). Let c = -31 - v. Does 14 divide c?
False
Does 85 divide 5*(-14)/42 + (-1030)/(-6)?
True
Let i = -230 - -882. Suppose s + 5*n - 178 = 0, 4*n = -4*s - n + i. Does 10 divide s?
False
Does 11 divide 13115 - ((-2679)/705 + (-18)/(-10))?
False
Let b = 336 + 2756. Is b a multiple of 16?
False
Let r = 147 - 144. Suppose 0 = -5*t - 5*u + 4 + 16, 4*t = -r*u + 15. Suppose -297 = -5*c + q - 22, -3*c - t*q + 165 = 0. Does 26 divide c?
False
Let v(z) = -12 - z + 15 + 213*z**2 - 3. Suppose 237*y - 238*y - 1 = 0. Is v(y) a multiple of 29?
False
Suppose -9*s - 2628 = -3*u - 12*s, 5*u = 4*s + 4443. Is u a multiple of 31?
False
Let v(p) = 29*p - 531. Let i be v(19). Let k = 7 + -2. Suppose -4*o - 2*q = -760, 780 - i = 4*o - k*q. Does 46 divide o?
False
Suppose 4*y + 5763 = 5*p - 0*y, 2*y - 6 = 0. Does 11 divide p?
True
Let n = 29456 + -19762. Does 34 divide n?
False
Suppose 35*p = 8*p + 405. Suppose 0 = 17*r - p*r - 576. Is r a multiple of 32?
True
Let b(v) = v - 3. Let x be b(-3). Let h(g) = 11*g**2 + 8 - 15*g**2 - 2*g**3 - 2 + 3*g - 6*g**2. Is h(x) a multiple of 15?
True
Let m = 24945 - -1345. Is 11 a factor of m?
True
Let f = -21286 + 33507. Does 226 divide f?
False
Let q = 24549 + -18093. Does 67 divide q?
False
Let u(q) = -3*q**3 - 20*q**2 - 8*q - 46. Let f(g) = -5*g**3 - 39*g**2 - 16*g - 91. Let n(s) = 4*f(s) - 7*u(s). Is 21 a factor of n(18)?
True
Suppose -5*q + 11 = -2*k, -4*k + 0 = -3*q + 1. Suppose k*s - 699 = -3*g, -5*g = 4*s - 6*s + 659. Does 27 divide s?
False
Does 40 divide 435/58*99048/20?
False
Suppose -5*o + 3*m = 15, 0 = -o + 4*m + 18 - 38. Is -56*(27/(-18) - (o + -1)) a multiple of 11?
False
Let w = 58 - 56. Suppose 3*q = 4*m + 29, 2*q + m - 7 = -w*q. Suppose -3*u - 9 = 0, -u - u = q*s - 249. Is s a multiple of 17?
True
Suppose 6*i - 2*t - 4 = 8*i, -3*t = -4*i - 29. Let s be i/(-75)*5*9. Suppose 0*b = -s*b + 102. Is 17 a factor of b?
True
Let j(z) = z + 8. Let a be j(9). Let w(d) = -d**2 + 19*d - 22. Is 2 a factor of w(a)?
True
Suppose -2*f = 4*p + 48, -5*f + 8*f + 48 = -4*p. Let w(s) = 2*s**3 + 0*s**3 - 4 - 2*s - 9*s - s**3 + 12*s**2. Does 20 divide w(p)?
False
Suppose 20*x = 8*x + 9828. Suppose -x = -23*j + 6081. Is 5 a factor of j?
True
Suppose -2*q - 4*f + 175364 = 0, -94*f - 438426 = -5*q - 96*f. Does 17 divide q?
True
Let t(r) = 24*r - 432. Let c be t(18). Suppose -2*y - 3*v + 637 = c, 4*v + v = -2*y + 635. Is 20 a factor of y?
True
Let k(o) be the third derivative of 28*o**5/15 - o**4/8 + 5*o**3/6 - o**2. Is k(-2) a multiple of 20?
False
Let i(z) be the third derivative of -22*z**2 + 1/6*z**4 - 1/20*z**5 + 0 + 0*z - 1/60*z**6 + 11/6*z**3. Is i(-5) a multiple of 21?
False
Suppose 20*w - 17*w - 6 = 0. Suppose -33*p + 35*p = w. Is 2 a factor of (6 - 12) + 5 + p*16?
False
Let c(d) = -d**3 + 7*d**2 + d. Let f be c(7). Suppose -3*t - 28 = 2*p, -5*t - 46 = -3*p + f. Let k = t - -24. Is k a multiple of 7?
True
Suppose -20*w = 15 + 25. Is 88 a factor of 68/w*(-44)/(-8 + 9)?
True
Suppose 10*o - 19 + 9 = 0. Let b(x) = 555*x - 14. Does 23 divide b(o)?
False
Let d(h) = 2*h + 66. Let q = 201 + -219. Is 5 a factor of d(q)?
True
Let f = 6872 - -11464. Is 8 a factor of f?
True
Suppose 4*s + 2*s = 12. Suppose -s*p = -3*p + 5*r + 340, -r = -2*p + 653. Suppose -q + 6 - 1 = 0, -5*u - 2*q + p = 0. Does 21 divide u?
True
Suppose -14*m + 4718 + 29540 = 1498. Is m a multiple of 60?
True
Let q(g) = 4*g**2 + 6*g + 10. Suppose 2*y - 144 = -44. Let n = -55 + y. Does 13 divide q(n)?
False
Let r be (-236)/(-76) + 4/(-38). Suppose -6*w = w - 21. Suppose w*q = -r*q + 72. Is q a multiple of 4?
True
Let l be ((-630)/25)/6*5. Let f(g) = 5*g + 52. Let a be f(l). Let m = -21 - a. Does 4 divide m?
True
Let p = 17 + 30. Let k(j) = p*j + 11 + 36*j - j**2 - 71*j. Is 11 a factor of k(12)?
True
Let k(z) = -181*z + 82. Let a be k(-4). Let t = a + -371. Is t a multiple of 15?
True
Suppose -a = 3*m - 328, 0*m + 3*m - 4*a = 338. Let x = m + -