tor of p?
True
Suppose 2*m = -8*m + 810. Let c = m - -40. Suppose -7*u - c = -646. Is u a multiple of 15?
True
Does 38 divide 5934 - (-60)/130*-13?
True
Let h be 1 + (-5)/(20/(-56)). Suppose -12*s + h*s - 6 = 0. Suppose 247 = 3*k + s*i, 0*k - 2*i = -5*k + 433. Does 17 divide k?
True
Let z = 9846 + -6549. Does 12 divide z?
False
Suppose 0 = 343*z - 340*z + 15, -3*z + 1103 = 2*i. Is i a multiple of 13?
True
Let y(c) = 4*c + 65. Let o be y(-19). Is 24 a factor of (7 - 1)*(o - -19)?
True
Suppose -67*x = -37*x - 29*x - 490. Does 7 divide x?
True
Let s = -139 + 143. Suppose -s*v - 2*c - 91 = -5*v, 416 = 4*v + 5*c. Is 11 a factor of v?
True
Let m(l) = 74*l - 2. Let p be m(-10). Let q = -517 - p. Is 22 a factor of (q/27 - 5)*(-111)/(-2)?
False
Let h(x) = x**3 + 13*x**2 + 6*x - 18. Let d be h(-14). Let p = 522 + d. Is p a multiple of 32?
True
Suppose -8*y - 4083 + 23851 = 0. Does 16 divide y?
False
Let p = 821 - 240. Does 19 divide p?
False
Let g be (5 - (28/3 - 4))*-6. Is (-33645)/(-60) - 1*g/(-8) a multiple of 51?
True
Let g(z) be the first derivative of 39*z**2/2 - 6*z + 1. Let t(y) = y**2 - 19*y + 81. Let d be t(13). Does 17 divide g(d)?
False
Suppose 4*d - 609 = -3*r - 29, -2*d = -4*r + 810. Let h = r + -75. Does 5 divide h?
True
Let n(q) = 360*q - 4767. Does 3 divide n(47)?
True
Let n(r) = -2*r - 6. Let g be n(-11). Suppose -2*b - 5*o + g = 0, 3*o + 0*o - 20 = -2*b. Let y = 51 + b. Does 16 divide y?
True
Suppose -5*z + 5*h = -50, 6*h - 3*h + 16 = z. Let d(b) = b**3 - 3*b**2 - b + 17. Is d(z) a multiple of 24?
False
Suppose 0 = 12*c - 4405 - 2039. Let j = 905 - c. Does 23 divide j?
True
Let j be 4 - (4 - 5 - -3). Suppose 2*t + 20 = -j. Is 31 a factor of (10 - -2)*t/(-2)?
False
Let q(b) = 2 - 20 + 6 - 11*b - 13 - 6*b. Does 37 divide q(-11)?
False
Is 16 a factor of (1521/676)/(51014/102016 + (-2)/4)?
True
Suppose -637*x + 25682580 = -25*x. Is x a multiple of 77?
True
Is ((-58934)/(-28) + 8/(-28))/((-35)/(-70)) a multiple of 6?
False
Let x = 60869 + -27561. Does 44 divide x?
True
Let m = -882 - -1880. Is 4/(-20) - 16/(-40)*m a multiple of 32?
False
Let b be (-5)/2 - (10 - (-153)/18). Let k = 29 + b. Is 8 a factor of k?
True
Suppose 96*r = 92*r + 988. Does 15 divide r?
False
Let j(y) = -7*y**2 + 12*y - 11. Let u(w) = -w - 1. Let t(i) = -4*i - 6. Let p(b) = -t(b) + 5*u(b). Let g(k) = -j(k) - 2*p(k). Is g(4) a multiple of 9?
True
Let d = 211 + -211. Let m(h) = -12*h + 591. Does 13 divide m(d)?
False
Let h(o) = o**3 - 29*o**2 + 28*o + 22. Let f be h(28). Let m(n) = -n**2 - 5*n. Let b be m(-4). Does 29 divide 996/33 - 1 - b/f?
True
Is ((-4)/(-15))/(266106/(-16632) + 16)*5 a multiple of 33?
True
Let o(q) = 1175*q**2 - 120*q - 119. Is o(-1) a multiple of 56?
True
Let k = 13757 + -7810. Is k a multiple of 24?
False
Let k(s) = -s**3 + 2*s**2 - s + 150. Is k(-10) a multiple of 16?
True
Let d be -1 - (-5)/(5/16). Let g(t) = 2 + 4 + 3 - 5 - d*t. Is g(-2) a multiple of 7?
False
Suppose 174216 = 28*c - 14*c + 28*c. Is c a multiple of 15?
False
Suppose 22*w = -126395 + 387689. Is w a multiple of 107?
True
Suppose -4*q + 4*a = -0*a, -3*q = 5*a - 24. Is 7 a factor of (q/9 - 3)*(-1230)/40?
False
Let y(v) = 142*v - 325. Is y(26) a multiple of 91?
True
Let b = 20 - 70. Let t = -38 - b. Suppose 8*a - t*a = -588. Does 27 divide a?
False
Let v(c) = 7*c - 2. Let y(i) be the third derivative of -i**4/3 + i**3/3 + 25*i**2. Let z(k) = -7*v(k) - 6*y(k). Is 7 a factor of z(-12)?
True
Let d = 72 - 132. Let r = 188 + -352. Let y = d - r. Is 52 a factor of y?
True
Suppose -3*r - 1737 = -3*q, 0*q - 2*q + 1128 = 4*r. Suppose 0 = -2*z - 3*v + q, 3*z + v - 50 = 818. Is z a multiple of 29?
True
Let g = -406 - -410. Suppose 5*t + g*j = -j + 1215, 5*t + 4*j - 1212 = 0. Is t a multiple of 12?
True
Let t(h) = -13*h - 2*h - h + 2*h - 70. Does 17 divide t(-17)?
False
Suppose -367*d = -359*d - 2736. Does 5 divide d?
False
Let o(g) = 62*g**2 + 339*g - 2789. Does 16 divide o(8)?
False
Suppose -10867 - 68678 = -11*t + 64478. Does 117 divide t?
False
Let o = 579 - 257. Let k = o + -151. Does 57 divide k?
True
Suppose q + 4835 = 12*a, -5*a = -2*q - 741 - 1272. Is a a multiple of 12?
False
Suppose -3*s = 5*f - 2*f, -4*s = -f - 10. Suppose 23 = s*p - 4*n - 103, -n - 280 = -4*p. Let z = -7 + p. Does 8 divide z?
True
Does 12 divide -7*(-231)/(-147) - -3683?
True
Let p(h) be the third derivative of 0*h**4 - 7*h**2 + 0*h - 1/60*h**5 - 37/60*h**6 + 1/6*h**3 + 0. Is 16 a factor of p(-1)?
False
Suppose -5*r = -2*l - 720, 10*r - 715 = 5*r + 3*l. Let q = r + 581. Is q a multiple of 60?
False
Suppose -2*y - 210*x = -213*x - 42873, -y + 21438 = -2*x. Is y a multiple of 228?
True
Suppose -3*a + 6*c + 5577 = 10*c, -3*a + 5592 = -c. Is 81 a factor of a?
True
Let j(i) = i**3 + 17*i**2 - 28*i + 133. Is j(23) a multiple of 217?
False
Suppose -142*c + 131425 + 297983 = 0. Is 14 a factor of c?
True
Suppose 5*r + 551 = 3*v - 3562, 5501 = 4*v - r. Let b = v + -956. Is b a multiple of 60?
True
Let w(b) = -b**3 - 78*b**2 + 240*b - 145. Is 25 a factor of w(-83)?
False
Suppose -5*l + 5622 = f - 8*l, -5*f = 2*l - 28042. Is f a multiple of 66?
True
Suppose 4980 = 2*y + 648. Suppose -3*z = -1401 - y. Is z a multiple of 10?
False
Let d be (6 - (6 + -5)) + -3. Suppose -160 = d*t - 3*v, -v + 29 = 2*t + 173. Is ((-50)/(-20))/((-1)/t) a multiple of 37?
True
Suppose 6 = -12*u + 13*u. Suppose -g - 1 = 0, 0 = j + 3*g + g + u. Is (0 - 1)/(j/298) a multiple of 13?
False
Let w(b) be the third derivative of b**4/4 + b**3 + 4*b**2. Let p be w(-11). Let m = 89 + p. Is m a multiple of 5?
False
Let r be (-5*68)/4*9. Let q = -331 - r. Is 14 a factor of q?
True
Let y(h) = -h**3 + 4*h**2 + 5*h - 7. Let l be -5*((-4)/3 - (-14)/42). Let n be y(l). Let x = 20 + n. Is x a multiple of 2?
False
Is (1 - 5166/(-90))/(2/1630) a multiple of 62?
False
Let g(j) = -4*j + 36. Let m be g(-9). Suppose -3*u = -4*z - m, 2*u = 3*z + 9 + 39. Is u a multiple of 6?
True
Let s be (585/260)/((-2)/16). Let w = -1 + 4. Is (-11)/(-6) - w/s - -57 a multiple of 4?
False
Suppose -4*o - 1415 = -13291. Suppose -4*v - 521 = -o. Suppose 0*c = -12*c + v. Does 22 divide c?
False
Let r(w) = w. Let u be r(-2). Is 2 - (-4 + 213*u) a multiple of 15?
False
Let j be (1 + -5 + 4)/(-1). Let m be (j - -2) + (-30 - -164). Suppose -c + 24 = -m. Is 16 a factor of c?
True
Let s = 7759 + -4505. Does 32 divide s?
False
Let n(s) be the third derivative of s**6/120 + s**5/3 - 7*s**4/6 - 17*s**3/2 + 9*s**2 + 4. Is n(-21) a multiple of 12?
True
Let n(f) = -664*f + 2184. Does 20 divide n(-4)?
True
Let c = -662 + 1190. Let r = c + -382. Does 6 divide r?
False
Let m(g) = g**3 + g**2 - 11*g - 7. Let d be m(9). Let b = d - 208. Suppose 0 = 62*n - 58*n - b. Does 13 divide n?
False
Let g be (2 - -3)/(3 + 1 - 3). Suppose -5*i = 3*d - 4 + g, 3*d - 5 = -2*i. Suppose 197 = d*b + 17. Does 30 divide b?
True
Suppose -u + 266 = -234. Let m = u - 277. Does 34 divide m?
False
Let r(f) be the third derivative of -2*f**3 + 0*f + 1/30*f**5 + 0*f**4 + 0 - 12*f**2. Is r(6) a multiple of 12?
True
Let m be 62895/30 + 1/2. Let l = m - 1227. Does 15 divide l?
True
Let u(v) = 1269*v**2 + 20*v - 11. Is u(3) a multiple of 31?
True
Suppose -3 + 345 = 2*h. Let k = h + -131. Is k a multiple of 14?
False
Let s(j) be the first derivative of j**5/120 + 5*j**4/8 + 10*j**3/3 - 14. Let m(l) be the third derivative of s(l). Does 5 divide m(15)?
True
Let z(w) = -w**3 + w**2 - w. Let d(u) = 3*u**3 - 11*u**2 - u + 13. Let y(v) = -d(v) - 2*z(v). Suppose 77*x - 112*x = -315. Is y(x) a multiple of 10?
False
Let k(t) = 138*t + 68 + 51 - 40*t + 16 + 20*t. Does 19 divide k(9)?
True
Let q = -31433 - -45455. Does 41 divide q?
True
Suppose 7*o + 5 = 12*o. Let u = -13 + 235. Is 45 a factor of u + o + 15 + -13?
True
Let r = -13136 + 23710. Does 39 divide r?
False
Suppose 6*b + 609168 = 45*b - 18*b. Is 112 a factor of b?
True
Let g = -18922 - -40730. Is 58 a factor of g?
True
Let p = 4752 + -1922. Is 44 a factor of p?
False
Let i be ((-35)/(-56))/((-4)/(-32)). Suppose -y - i*p = -196, 2*y + 7*p = 6*p + 437. Does 96 divide y?
False
Let t(a) = -a**2 + 12*a - 3. Let v be t(11). Suppose -5*l = d - v*l - 6, d = 4*l + 8. Suppose d = -5*j + k + 25, -5*j = 2*k - 0*k - 10. Is j even?
True
Let j be (-48)/32 - 2583/6. Let k = -162 - j. Does 11 divide k?
False