et f(j) = 6*j + 32. Let s(r) = -6*r - 36. Let h(w) = -3*f(w) - 2*s(w). Does 3 divide h(v)?
True
Let j be (-6 + -20)/((-1)/24). Suppose 3*f + f = j. Is f a multiple of 26?
True
Suppose -14740 = -11*l + 3399. Does 4 divide l?
False
Suppose 4*d - 19073 = 3*f + 9713, -5*d = -4*f - 35982. Is 66 a factor of d?
False
Suppose 4*r = 39*a - 26*a + 92102, r + 3*a - 23063 = 0. Does 17 divide r?
False
Let z(l) = 11*l - 37. Let j be (-23)/(-4) + 95/76. Let m(k) = -22*k + 74. Let x(p) = j*z(p) + 3*m(p). Does 9 divide x(5)?
True
Suppose -7404 = 173*k - 24371 - 40815. Is 3 a factor of k?
False
Let s(t) = -61*t**2 + t - 58*t**2 - 606*t**3 + 120*t**2. Is s(-1) a multiple of 9?
False
Suppose -2*v + 0*v = -2*d - 226, v = 5. Let x = 217 + d. Does 38 divide x?
False
Let u = -227 + 308. Let y be 291/(-5) - 5/(-25). Let c = y + u. Is c a multiple of 3?
False
Let k(v) be the third derivative of 4*v**5/15 + v**4/12 - v**3/3 + 605*v**2 - 3*v. Suppose -d - q + 6 = 0, -5*q + q + 16 = -4*d. Does 6 divide k(d)?
False
Let x = 756 + -144. Let n = x + -344. Does 11 divide n?
False
Let i(d) = 24*d**2 - 153*d + 32. Does 46 divide i(-19)?
False
Suppose 3*n + 6*n = -360. Let b = 77 - n. Is 15 a factor of b?
False
Let i be (-8)/36 - (-2)/9. Let j(g) = -1359*g + 1360*g + 14 + 97. Is 19 a factor of j(i)?
False
Suppose 3*f = -3*h + 96, -3*h - 2*f - 2*f + 95 = 0. Let i be 21/9 + -2 + (-11)/h. Suppose -x - 5*d + 175 = i, -3*x + 5*d - 2*d + 471 = 0. Is x a multiple of 20?
True
Let r(w) be the third derivative of w**6/120 - w**5/15 + w**4/4 + 7*w**3/6 - 43*w**2. Is 18 a factor of r(6)?
False
Let v(z) = 143*z**2 + 24*z + 147. Is v(-11) a multiple of 26?
True
Let o = 13984 + -6234. Is 229 a factor of o?
False
Let r = -7106 - -13063. Is 37 a factor of r?
True
Let i(p) = p**3 + 99*p**2 - 69*p - 195. Is 294 a factor of i(-97)?
False
Let n be (-1)/(4/(-26))*(12 + -6). Let r = 39 - n. Suppose -k = -r - 15. Is k even?
False
Let k(l) = 38*l**3 + 11*l**2 - 7*l - 61. Is k(7) a multiple of 73?
False
Let q(w) = 11*w**2 - 12*w - w**3 - 5 + 16 - 4*w. Suppose 5*t - 1219 = -1189. Is 19 a factor of q(t)?
True
Suppose -35*l + 37*l - 10 = 0. Suppose -2*f + 5*f = 3, l*s - 3221 = -f. Is 28 a factor of s?
True
Let y(i) = 3*i**3 - i**3 + 20*i - i**2 + 18*i**2 - 6 + 15*i**2. Is 9 a factor of y(-15)?
True
Let s = 15 - 13. Suppose u + 34 = -5*h, -3*h - 3*u = -s*u + 20. Is 7 a factor of (3 - h/(-3))/(2/63)?
True
Let q = -21 - -31. Suppose -4*f + 3*v + q = -10, 0 = -v. Is 10 a factor of ((-32)/6)/(f/((-450)/12))?
True
Suppose -10876 = -9*n + 76639 + 58366. Does 14 divide n?
False
Let t(d) = d**3 - 16*d**2 + 31*d + 11. Let g be t(14). Let r = g + 1. Does 27 divide r?
True
Does 208 divide (0 - 64)/(30/(-5070))?
True
Let w(o) be the first derivative of o**4/4 - 2*o**3/3 + 2*o**2 + 8*o + 16. Does 12 divide w(7)?
False
Let b(p) = 239*p**2 - 81*p + 1808. Is b(19) a multiple of 38?
False
Let a(h) be the first derivative of -h**4/4 + 5*h**3 - 7*h**2/2 - 13*h + 11. Let m be a(12). Suppose 2*d = d - 5, 0 = 5*w - 3*d - m. Is 10 a factor of w?
False
Let k be (48/10 - (-4)/20) + 5. Is (-3)/(-5) + -1241*k/(-25) a multiple of 7?
True
Let o(u) = -u + 1. Let b(t) = 29*t**2 + 2*t + 17. Let c(d) = b(d) + 6*o(d). Is c(4) a multiple of 62?
False
Let x(t) be the first derivative of 15*t**2/2 + 7*t - 768. Suppose -32 = -4*j + 4*a, -3*a - 14 = -3*j - 2*a. Does 13 divide x(j)?
True
Suppose 3*z - 3*b = -16908 + 46185, -48797 = -5*z + 3*b. Is 16 a factor of z?
True
Suppose 20 = 12*r - 8*r. Let m(l) = -2*l**3 + 6*l**2 + 6*l - 8. Let z be m(r). Let c = -24 - z. Does 16 divide c?
False
Let j = 296 + -296. Suppose -81*x + 66*x + 13725 = j. Does 14 divide x?
False
Suppose 724*q - 720*q = 5*g - 15604, -2*q + 6238 = 2*g. Is 20 a factor of g?
True
Suppose y - 4615 - 815 = q, -10862 = -2*y + q. Is y a multiple of 14?
True
Let b = -186 - -189. Is b/(-6) + (-2002)/(-4) a multiple of 21?
False
Suppose 815*h - 835*h = -350960. Does 23 divide h?
False
Let i = -19 - -22. Suppose 4*g = i*b - 16, -4*b = 4*g + 8 + 8. Suppose 3*a + 741 = 5*l, -l + 2*l - a - 147 = b. Is 30 a factor of l?
True
Let i(l) = -l + 88. Suppose -12*t + 11*t = -7. Is i(t) a multiple of 4?
False
Suppose -5*i = -2*p - 49886, -3*i + 6147 + 23789 = p. Is i a multiple of 43?
False
Let o = 30 + -37. Let b be 1166/2 - (6 + o). Suppose 82 = 6*y - b. Is 26 a factor of y?
False
Suppose 0 = 17*m + 114 - 556. Let r(t) = t**3 - 24*t**2 - 35*t - 54. Is r(m) a multiple of 27?
False
Let r(j) = -485*j**3 + 24*j**2 + 52*j + 13. Is r(-2) a multiple of 35?
True
Is 13 a factor of 1978/8*(-8 + -5 - -17)?
False
Suppose -5*h + 101640 = -4*m, -18*h + 20342 = -17*h + 2*m. Does 11 divide h?
False
Suppose 13822 = 2*v - 4*a, 2*v + 16*a + 0*a - 13722 = 0. Does 67 divide v?
True
Let h(o) = 692*o**2 - 27*o - 6. Is h(-2) a multiple of 9?
False
Suppose -b = 8*a - 10026, 0*b - 2*a + 10014 = b. Does 110 divide b?
True
Suppose -6*f - 21 = -27. Is 13 a factor of 118 - 9 - 2*f?
False
Suppose -100 = -n + 2*y, y = n - 4*n + 307. Let p(l) = l**3 + 5*l**2 - 4*l - 6. Let w be p(-6). Let t = n - w. Does 40 divide t?
True
Suppose 3*h - 24 = 2*h - 2*p, -4*h + 2*p = -56. Suppose 0 = 3*k - m + h, -3*m = 2*k - 6*m + 6. Does 18 divide 1 - (321/k)/(1/2)?
True
Let a(c) be the second derivative of 17*c + 31/2*c**2 - 1 + 17/3*c**3. Does 19 divide a(3)?
True
Let s be (-60)/25*1675/10. Let k = s + 864. Does 11 divide k?
True
Suppose 0 = 4*u - 23 - 13, 0 = -5*h + 3*u + 27723. Is h a multiple of 37?
True
Let f be (-88)/154*(-4109)/2. Suppose -607 - f = -o. Does 13 divide o?
True
Suppose 3*c + 21 = v, -153 = -5*v - 0*v + 3*c. Suppose 2*n - 267 = v. Does 15 divide n?
True
Suppose 4*j + 956 = -4*w, -4*w - 3*j = -0*j + 953. Let c = w + 1282. Is c a multiple of 46?
False
Suppose w = 0, -h + 1052 + 957 = -3*w. Is 8 a factor of h?
False
Suppose -2*y - 2*a = 2960, -11*a + 8*a - 1476 = y. Is 9 a factor of 38*(y/12)/(-13)?
False
Let w be 8/5 - -1 - 2/(-5). Suppose 2*s + 97 = -w*r - 38, -197 = 3*s - r. Let g = -56 - s. Is 5 a factor of g?
True
Is 2 a factor of ((-32781)/5)/(128/(-160)) + 18/24?
True
Let v = 25 - 20. Suppose v*i = -s + 15, -2 = i + 3. Does 8 divide s?
True
Let m(s) = s**3 - 2*s**2 - s + 255. Let x be m(0). Let l = x + -100. Does 31 divide l?
True
Let r(l) = -3*l - 11. Let h(y) = -y**2 + 3*y - 1. Let s be h(5). Let t be r(s). Suppose 0 = z + 1, 0 = 3*a - 4*z - t. Does 6 divide a?
True
Let o(f) = -f**3 - 3*f**2 + 16*f + 24. Let n be o(-9). Suppose -x - 8 = 3*x, -x = -i + n. Is i a multiple of 37?
False
Let u(d) = 12*d - 6. Suppose 0 = -t + 8*t - 84. Let h = -7 + t. Is 17 a factor of u(h)?
False
Let f = -11 + 5. Let x be 78*2/f*(-5 - -1). Is (x - -1)*(-1 - -2) a multiple of 21?
True
Let j(r) = 12*r + 9. Let k be j(-4). Let w = 69 + k. Let o = w - -136. Is 18 a factor of o?
False
Let r = 7596 - 2608. Is r a multiple of 43?
True
Suppose 5*t = 3*h - 29620, 6*h - 4699 - 54577 = t. Is h a multiple of 21?
False
Suppose -11*k + 6*k + 16 = -3*d, 0 = -3*k + 15. Suppose -2*v = 2*n + d*n - 1360, 3*n + 2*v - 816 = 0. Is 16 a factor of n?
True
Suppose -29*b + 694 + 814 = 0. Let l be (-4 + 3)/((-2)/10). Suppose 2*f + l*z = 94, 3*f + 4*z - b - 82 = 0. Is 8 a factor of f?
False
Let j = 40 - 33. Let u(m) = 22 - 8*m + 5 + j + 86. Is u(0) a multiple of 30?
True
Is 41 a factor of -17 - (-15 + (-94031)/7)?
False
Suppose 5*q + 31555 = 3*n, -17*n - 3*q = -14*n - 31539. Is n a multiple of 15?
True
Suppose -d = -4*d. Suppose d = 6*c - 538 - 3878. Is 8 a factor of c?
True
Suppose -3*m - 79938 = -3*h, 3*h + 105*m - 98*m - 79968 = 0. Does 151 divide h?
False
Suppose 0 = 4*k + 129 - 113. Is 51 a factor of (12 - -8)*(-51)/k?
True
Suppose -3*v = -11*v + 24. Let p be (0 - 3)/(-9) + (-49)/v. Let i = 34 - p. Is 17 a factor of i?
False
Let d be (-20)/6 - 7/(-21). Let q be -3 - 337 - ((-1 - -1) + d). Let w = 518 + q. Is w a multiple of 13?
False
Let r(x) = -1809*x + 164. Does 31 divide r(-2)?
True
Let x = -3 + 1. Let k = -452 - -137. Does 12 divide x*k/(-20)*-2?
False
Let d be (-8)/2 - ((-24)/4)/1. Let r(u) = -u - 7. Let c be r(-9). Suppose d*x - 4*x - 44 = -c*l, -4*x + 22 = l. Is l a multiple of 8?
False
Suppose -c - 18 = -7*c. Suppose -c*o - 830 = 2*o. Let s = o - -285. Is s a multiple of 20?
False
Let w = 48 + -9. Suppose -w = 5*q - 49. Suppose q*u = 31 + 13. Is u a multip