le of 12?
True
Suppose 3*w - 19 = -4*h, -7*h + 5 = -2*h. Suppose 5*i - 5 = 0, -3*u - i + w*i + 197 = 0. Is 13 a factor of u?
False
Let h(s) be the third derivative of -s**6/120 + 7*s**5/60 - 3*s**4/8 + 2*s**3/3 + 27*s**2. Does 8 divide h(4)?
True
Let z(o) = -509*o + 92. Does 30 divide z(-2)?
True
Let k = 1 + -33. Let l = 224 + -157. Let u = k + l. Is 13 a factor of u?
False
Suppose 3*x = -20*x + 73508. Is 47 a factor of x?
True
Suppose 4*b = -3*y + 166, -5*b + y - 51 = -268. Does 25 divide b?
False
Is 4/(-54) - (-564652)/1107 a multiple of 30?
True
Suppose 3549 = -10*m + 17*m. Is 12 a factor of m?
False
Let s(b) = -35*b**3 + 2*b**2 + b. Suppose -4 = 2*c + 2*c. Is 12 a factor of s(c)?
True
Let i(l) = l**3 - l**2 + 29. Is i(0) a multiple of 28?
False
Let j(y) = 2 - y + 0*y**2 + y**2 + 9*y - 9. Let p be j(-9). Suppose h + p*h - 24 = 0. Does 4 divide h?
True
Let w(v) = -v**3 + 10*v**2 + 5*v + 4. Let n be w(5). Let k = -109 + n. Does 15 divide k?
True
Let h(k) = -3*k**2 + 9*k**2 - 11*k + 8*k**2 - 6 - k**3. Is 10 a factor of h(13)?
True
Suppose 0 = -5*u - i + 58, -1 = 4*u - i - 51. Suppose 3*l - 138 + 45 = 0. Let w = l - u. Is 11 a factor of w?
False
Let j = -58 + 136. Let b = 84 - j. Is b a multiple of 2?
True
Let i = 52 + -99. Let x(b) = 84*b**2 - b + 1. Let j be x(1). Let c = i + j. Is 12 a factor of c?
False
Suppose -30 = -k - 4*k. Let u(i) = 42*i + 4. Let l be u(k). Suppose l = 5*d - d. Is d a multiple of 16?
True
Suppose -m + r - 20 = -2*m, 5*m - 107 = 2*r. Suppose -4*a + 5*q - 53 = 0, a - q = -0*q - 14. Let o = m + a. Is 3 a factor of o?
False
Let c(a) = 2*a**2 + 43*a + 433. Does 56 divide c(-17)?
True
Suppose 740 = 2*l - 2. Is l a multiple of 9?
False
Let s = -475 + 715. Is s even?
True
Is 21 a factor of 62/6*(-33)/(-1)?
False
Let p(m) = m**2 - 21*m + 97. Let x be p(6). Let t(l) be the second derivative of -l**4/6 + 8*l**3/3 - 4*l**2 - l. Does 6 divide t(x)?
True
Let h be 10/(-15)*(-39)/(-2). Let p(k) = -k - 11. Let c be p(h). Suppose c*n = n - 2*t, 5*t = 5*n - 30. Is n a multiple of 4?
True
Suppose -8*l - 32 + 120 = 0. Does 16 divide ((-384)/(-15))/(-2 - l/(-5))?
True
Suppose -6*r = -48 + 12. Suppose r*f - 4*f = 8, 0 = -3*x + 5*f + 658. Is x a multiple of 13?
False
Let x be (-1 + 12 - 0 - 1) + -4. Suppose 0*a - 720 = -x*a. Is 24 a factor of a?
True
Let d(p) = -19*p**3 - 7*p**2 - 13*p - 8. Is 33 a factor of d(-4)?
False
Let f be (-2 + 4)/2*3. Suppose 0 = f*p - 4 - 5. Suppose -p*u + 13 = -2*u. Is 13 a factor of u?
True
Is 37 a factor of (6/(12/862))/1?
False
Suppose -8 = 7*f + 209. Let u = f + 38. Suppose u*w = 9*w - 14. Is 6 a factor of w?
False
Let y = -477 - -555. Is 3 a factor of y?
True
Let o = 1781 - 409. Does 28 divide o?
True
Suppose -3*z - 354 = -6*z. Suppose z + 17 = 3*c. Is 45 a factor of c?
True
Suppose 4*j - 20 = 12. Let m = 38 - j. Is 15 a factor of m?
True
Let t(f) = -9 + 4*f - 9*f - 2*f. Let y be t(-8). Suppose 0 = 4*b - y - 109. Is b a multiple of 13?
True
Suppose -2*a + 0 = 4*z + 2, -1 = -z. Let k be a - 4/(3 + -2). Is 2 + k/(21/(-45)) a multiple of 17?
True
Let v(d) = -d**3 - 35*d**2 - 20*d - 95. Is v(-35) a multiple of 60?
False
Let x be (18/10)/(-3 + (-132)/(-40)). Suppose s = -x*s + 385. Does 14 divide s?
False
Let y be 3028/14 - (104/(-28) - -4). Suppose 2*p - y = -2*x, 3*p = -x - 0*p + 102. Is x a multiple of 13?
False
Suppose 8*v - 24 = 2*v. Suppose 2*t + 172 = v*t. Does 6 divide t?
False
Let g(q) = q**3 + 6*q**2 - 6*q - 7. Let l(y) = -y + 1. Let x(w) = g(w) + 4*l(w). Does 13 divide x(-6)?
False
Let i(k) = -8*k + 1. Let m be i(7). Let x(j) = -j**2 - 8*j + 1. Let r be x(-9). Is 15 a factor of m/(-2)*(-16)/r?
False
Let b = 20 - 72. Is (b/(-39))/((-4)/(-30)) even?
True
Suppose 0 = 2*w - 4*w + 5*i - 128, -w = 3*i + 42. Let x = 103 + w. Is x a multiple of 7?
True
Let z = 40 + -67. Let f be ((-18)/z)/((-2)/(-9)). Is (f/9)/(9/297) a multiple of 3?
False
Let g = -27 + 80. Suppose 17 + g = -5*n. Does 13 divide (-4)/n - (-1626)/42?
True
Suppose 5*r + 1912 = 9*r. Is 17 a factor of r?
False
Suppose -4*l + t - 3*t = -2, 5*l - 4*t - 35 = 0. Let p(w) = 8*w - 7. Does 6 divide p(l)?
False
Suppose -3*y + 868 = 2*w, -3*y - y - 1776 = -4*w. Is 28 a factor of w?
False
Let r = 490 - 178. Does 6 divide r?
True
Let p(j) = -4*j - 10. Let x(a) = -8*a - 20. Let y(t) = 13*p(t) - 6*x(t). Is 4 a factor of y(-5)?
False
Let d = -721 - -1551. Does 78 divide d?
False
Let j = 16 + -11. Suppose 0 = 4*v - j*v + 48. Let p = -9 + v. Does 17 divide p?
False
Suppose -4*s - 2 = 2. Let v(f) = 1 - 4*f + 15*f**2 + f**2 + 6*f. Is v(s) a multiple of 15?
True
Is 10 a factor of (-3)/(9/2)*(48 - 1053)?
True
Let c be -2*1/2 + 9. Let k(o) = o**2 - 4*o - 8. Does 23 divide k(c)?
False
Suppose 10*y - 12*y - 588 = 0. Let f = -197 - y. Is 23 a factor of -3 - (-2 + (-2 - f))?
False
Suppose 2*u = 4*s + 3*u + 24, 0 = -2*s + u - 12. Is 5 a factor of 8/2*(-15)/s?
True
Let j be (4 - 1) + (-4 + 22)*-1. Let r(u) = -u**3 - 15*u**2 - u + 9. Is 12 a factor of r(j)?
True
Let u(y) = -6*y - 3. Let r be u(-1). Let h be (-1)/(r - 39/12). Suppose n + h*v = 30, -2*n + v + 15 = -0*v. Is 5 a factor of n?
True
Suppose 68 = 4*m + 4*n, 5*m + 3*n - 8*n = 135. Is (-3 - m/(-8)) + 770/8 a multiple of 16?
True
Let k(s) = -5 + 8 - 4 - 4*s. Is k(-4) a multiple of 4?
False
Let s = 16 - 28. Let t = s + 51. Does 8 divide t?
False
Suppose -5*l - 9*l - 182 = 0. Let n be (-2)/(-8) + (-87)/12. Let m = n - l. Is m a multiple of 2?
True
Suppose -j + 25 = 4*j + 2*b, -3*j = 5*b - 34. Suppose -4*x + 6*g - 4*g = -48, 2*x + j*g - 32 = 0. Does 5 divide x?
False
Let k(b) = -91*b - 50. Does 17 divide k(-6)?
False
Let o(r) = 7*r**3 + 5*r**2 + 3*r + 9. Is o(5) a multiple of 64?
True
Is 11 a factor of 3*(-1)/(-1) - (-4 + -345)?
True
Suppose -10*y + 8*y = -730. Suppose 12*v = 139 + y. Does 13 divide v?
False
Suppose -13400 - 1600 = -12*q. Suppose -4*h - 102 = 4*o - 1126, 0 = 5*h - 5*o - q. Does 22 divide h?
False
Suppose -8*n - 7*n = -1365. Is 12 a factor of n?
False
Let d(b) = 2*b**3 + 3*b**2 - 2*b - 12. Is d(3) a multiple of 7?
True
Suppose 12*o - 8*o + 4 = 0. Does 8 divide o/(-4) - -1*819/4?
False
Let p(i) = 7*i - 42. Let l be p(9). Is 57 a factor of 6/(-21) - (-6831)/l?
False
Suppose 5*g + 25 = -2*q, -4*q - q = -3*g + 16. Let r(c) = c**3 + 4*c**2 + 2*c + 7. Let z be r(g). Suppose -z*p + 4*p = -288. Does 18 divide p?
False
Suppose 2 = -m + 3*t, -4*t - t - 8 = 4*m. Let p be 273/m - (-12)/8. Does 3 divide p/(-20) - 2/(-8)?
False
Let q be (-7 - (0 + -2))/(-1). Suppose -4*r - 252 = 124. Does 20 divide r*(q/(-2))/5?
False
Let z = 13 - 11. Suppose -z*m - 5*n = -11, 3*n + n = 4. Suppose -3*w = 2*t - 83, -m*t - 12 - 12 = -w. Does 6 divide w?
False
Does 66 divide (-2)/3 - (-194097)/261?
False
Let a be (2 - 7)*63/(-5). Let c = a - 39. Suppose 4*l - c = 20. Is l even?
False
Let x(f) = f**3 + 2*f**2 - f + 1. Let m be x(-2). Let w(p) = 2*p**3 - 3*p**2 - 2*p. Let b be w(m). Let l = b + 15. Is l a multiple of 6?
True
Let g(k) be the first derivative of -k**2 - 5*k - 4. Suppose -3*v - 9 = -5*i, 3*v - 2*i + 26 = -v. Is 10 a factor of g(v)?
False
Let n(i) = 7*i**3 - i + 22. Is n(4) a multiple of 6?
False
Let t(n) = -7*n - 18. Let j(x) = -18*x - 45. Let b(m) = -5*j(m) + 12*t(m). Does 19 divide b(8)?
True
Let m = 10 - -40. Let z = 74 - m. Does 10 divide z?
False
Let c = 28 - 26. Let i(u) = -c - 1 + 46*u**2 + 2*u + 4 + 0*u. Is i(-1) a multiple of 7?
False
Let c(y) = -y - 224. Let x(t) = t**2 + 5*t + 6. Let h be x(-3). Let i be c(h). Is 8 a factor of (i/40)/(2/(-10))?
False
Suppose 1 + 11 = 4*c. Suppose -32 = 7*v - c*v. Let f = 11 + v. Does 2 divide f?
False
Let k be (-9 - 132/(-16))/((-1)/4). Suppose -k*b + 0*b + 345 = 0. Is b a multiple of 11?
False
Let q(y) = -2*y**2 - 73*y + 19. Is 9 a factor of q(-34)?
True
Let c be (-4)/(3/(1 + 2)). Let l be (-2)/c*(4 + -4). Does 10 divide l/(-8) + 1 + 19?
True
Suppose 31*y - 35*y = 112. Let c = 4 - y. Is 6 a factor of c?
False
Let k be -3 + -15 - 7/((-7)/(-2)). Is 719/3 + k/30 a multiple of 18?
False
Suppose 0 = -12*c - 12*c + 18432. Is 48 a factor of c?
True
Suppose 0 = -p + 5*o - 27, -o + 26 = -p - 5. Let q = p + 58. Is q a multiple of 13?
True
Suppose -877 + 813 = -d. Is 15 a factor of d?
False
Let h = 98 - 28. Does 14 divide h?
True
Let r be 0 + -3*16/(-12). Suppose -r*o - 174 = 3*q, -4*o = -7