9*s - 383. Is h(-4) a multiple of 11?
True
Let l = 1568 + -1031. Is l a multiple of 44?
False
Let u = -649 + 1097. Is u a multiple of 14?
True
Is (3 - 7238/(-6))*9/6 a multiple of 44?
False
Suppose 805*v - 815*v = -16680. Does 6 divide v?
True
Suppose 1036 = 166*p - 152*p. Is 35 a factor of p?
False
Let h = -237 - -522. Is h a multiple of 16?
False
Suppose -3*p = -5*p + 234. Suppose 66 = i + 2*x - 56, -x + p = i. Is 27 a factor of i?
False
Let z(k) = -k - 15. Let a be z(-11). Let y(s) = -s**3 - s**2 + 5*s + 4. Does 16 divide y(a)?
True
Suppose 0 = -0*t - t + 4*f + 24, 3*t - 2 = -2*f. Suppose 95 + 1 = t*o. Does 5 divide o?
False
Let u(d) = 19*d + 538. Is 29 a factor of u(0)?
False
Let n(j) = 7*j**3 + 3*j**2 - 2*j + 3. Let z be n(2). Let a = -4 + z. Does 9 divide a?
True
Let z = 0 + 5. Let y(b) = 27*b - 7. Let x be y(z). Let k = x + -71. Is k a multiple of 26?
False
Let k = -156 + 300. Is k a multiple of 24?
True
Let r = -45 + 21. Does 6 divide (1 - (-1 - -3))*r?
True
Suppose -u = 1, 0 = -3*v + 3*u - 4*u - 10. Let j(z) = z. Let w(k) = 10*k - 11. Let h(x) = v*j(x) + w(x). Is 30 a factor of h(13)?
False
Let w(g) = 173*g - 58. Is w(8) a multiple of 13?
True
Is 2 a factor of 88/6 + 28/84?
False
Suppose 0 = 32*j + 4154 - 54682. Is j a multiple of 39?
False
Suppose 24 = 2*s - 3*l, 0 = -4*s - 0*l - l + 34. Let n = 0 + 4. Suppose -n*v + s = -3*v. Is 9 a factor of v?
True
Suppose 5*s + 657 = -2*i + 7068, -5*i - 2*s + 15996 = 0. Does 3 divide i/57 - 6/57?
False
Let o be ((-77)/(-14) - 8)*(-97 - -1). Suppose -23*z + 25*z = o. Does 30 divide z?
True
Suppose -2*t - 5*f + 579 = 0, -3*t + 283 + 574 = -4*f. Is 52 a factor of t?
False
Let a(g) be the first derivative of -g**5/120 + 11*g**4/8 + 4*g**3/3 + 10. Let b(w) be the third derivative of a(w). Does 16 divide b(8)?
False
Suppose 1 = -f - 4*j + 3*j, -25 = 4*f - 3*j. Is 10 a factor of f/8 - ((-726)/(-4))/(-3)?
True
Let n(z) = -z**3 + 6*z**2 - z + 4. Let m be n(6). Let l be 69*m/(-2)*1. Let b = 118 - l. Is b a multiple of 15?
False
Suppose -2*n = 21 - 9. Does 11 divide 296/3 + -2 + n/9?
False
Let l be (-54)/90 + (-1226)/(-10). Let g = 206 - l. Is g a multiple of 12?
True
Let x = -1245 + 1941. Suppose -x = 2*v - 6*v. Suppose -6*u + u - q = -v, 3*q - 12 = 0. Does 14 divide u?
False
Suppose 2*x - 5*x = 3*j - 3015, -3*x + 2985 = -3*j. Does 45 divide x?
False
Let u = 148 + -94. Suppose -a + 72 = -3*a. Let c = u + a. Is 6 a factor of c?
True
Let r be 7/(63/(-27)) + 2*-2. Let d(o) = -9*o - 31. Is d(r) a multiple of 32?
True
Let z(u) be the third derivative of u**6/30 + 4*u**2. Let p be z(3). Suppose -5*h + h = -p. Is 9 a factor of h?
True
Let o be (-21)/14 + (-309)/(-2). Suppose 3*u - 153 = -4*s + s, 3*u = 5*s + o. Suppose -6 = -2*m, -2*j + u = m + 2*m. Is j a multiple of 21?
True
Let a = -84 - -36. Let w = a + 84. Does 26 divide w?
False
Let y = 14 - 6. Let k(i) = 19*i**2 + 19*i**2 + 9 - y. Is k(1) a multiple of 13?
True
Let v(p) = p**2 + p + 27. Let k be v(0). Suppose 5*g - 104 = 14*o - 17*o, -2*g = -5*o + 194. Suppose t - 3*f = k, -t - 2*f + o = 3*t. Is t a multiple of 4?
True
Let n(o) = o**2 - 5*o + 11. Suppose 4 = 2*h + m - 3*m, -4*m = 5*h - 10. Suppose -5*r + h + 48 = 0. Is 17 a factor of n(r)?
False
Let r = -6 - -15. Does 6 divide (r/(-2))/((-3)/16)?
True
Let x(d) = d**2 + 2. Let n be x(2). Suppose 1 = -4*p + t, 5*p - 2 = 4*t - 6. Suppose -5*j + n*j - 29 = p. Does 8 divide j?
False
Suppose -p = 4*s - 6*p - 722, 3*s = -2*p + 553. Is s a multiple of 15?
False
Suppose -3*b + 5*b - 6 = 0. Suppose -6*i - 18 = -b*i. Does 3 divide 3 + i*(-1)/2?
True
Let y(z) = z + 1. Let c(i) = -10*i - 10. Let d(h) = 4*c(h) + 36*y(h). Let x be 22/(-4) - (-3)/6. Is 4 a factor of d(x)?
True
Let t(j) be the first derivative of j**4/12 + 2*j**2 + 3*j + 1. Let p(i) be the first derivative of t(i). Does 13 divide p(-3)?
True
Let a be 54/15 + (-6)/(-15). Suppose a*j - 539 = 21. Is 11 a factor of j?
False
Let p = -5 - -7. Suppose 2*z = h - p, -2*h - h + 5*z = -7. Suppose -i + 32 = 4*k, h*k = 3*i - 0*i - 64. Is 7 a factor of i?
False
Suppose -4*h = -7*h + 4*t - 56, -3*t - 33 = 4*h. Let b(s) = 3*s**2 + 17*s + 12. Does 24 divide b(h)?
True
Let l(q) be the third derivative of -q**6/120 + 2*q**5/15 + 7*q**4/24 + 7*q**3/6 + 4*q**2. Is l(7) a multiple of 21?
True
Let a = -2660 + 3776. Is 26 a factor of a?
False
Suppose 3*d - 4*y - 7806 = 0, 15*y + 15 = 20*y. Is d a multiple of 14?
False
Let h(o) = o**3 - 2*o**2 - 4*o + 3. Let k be h(3). Suppose k = -v - 2*b + 100, -v + 12*b = 8*b - 130. Does 18 divide v?
False
Let k(v) = 2*v - 6. Let l be k(-5). Does 11 divide (-572)/l + (-1)/(-4)?
False
Let z = -25 + 31. Let t = z + 45. Does 24 divide t?
False
Let k(g) = -g**3 - 17*g**2 + 16*g - 16. Let r be k(-18). Is (1 + r)/((-5)/(-30)) a multiple of 20?
False
Let h(g) = -39*g. Let j be 6/4*(-12)/18. Let k be h(j). Let r = k - 32. Is r even?
False
Let c(q) = 4*q + 16. Let r be c(-4). Suppose r = 13*k - 17*k + 756. Is 32 a factor of k?
False
Suppose 0 = 21*j - 43*j + 8778. Is 37 a factor of j?
False
Suppose 3*h + 14 = 17, 3*x = 4*h + 3119. Does 13 divide x?
False
Suppose 3*w - 452 - 277 = 0. Is w a multiple of 27?
True
Let u(k) be the second derivative of k**4/12 + 5*k**3/6 - k**2/2 - 14*k. Suppose 0*c - 4*f = -5*c + 10, -5*c + f = -25. Does 18 divide u(c)?
False
Suppose 0 = -i - 10 + 18. Is i a multiple of 4?
True
Let g(v) = -106*v - 21 - 108*v + 192*v. Is 10 a factor of g(-4)?
False
Let g(h) = h**3 - 12*h**2 + 7*h - 4. Let v be 8/(-20) - ((-134)/10 + 1). Is 4 a factor of g(v)?
True
Let r = -6 + 10. Suppose -2*b = -b + r*k + 8, -3*b + 4*k - 56 = 0. Let t = 50 - b. Is t a multiple of 22?
True
Suppose -1866 = -5*d - 2*b, d - 246 = -3*b + 122. Let j = 646 - d. Is j a multiple of 34?
True
Let a be 596/(-6)*(-4 - 2). Suppose a = 4*v + 3*t - 118, -v + 4*t = -188. Suppose 4*z = -12, 2*s - v = -s + z. Is s a multiple of 13?
False
Suppose 3*r - 25245 = -5*n + 6*r, -n = -4*r - 5049. Is 17 a factor of n?
True
Is 1240/14*(-46 + 53) a multiple of 20?
True
Suppose -5*b + 20 = -0*b, 2*z - 5*b = 2200. Suppose 0 = 4*u + 410 - z. Is u a multiple of 35?
True
Suppose -2 = w - 2*n - 0*n, 5*n = 2*w + 5. Suppose 0*l - l + 14 = w. Let y = l + 7. Is 8 a factor of y?
False
Is 116 a factor of 1566/15*1050/63?
True
Suppose -3*o = -188 - 79. Suppose -4*h + 224 = y, -y - 112 = -2*h - 4*y. Let f = o - h. Does 13 divide f?
False
Let g = -1737 - -3177. Is g a multiple of 36?
True
Let r(h) = -5*h - 31. Let m be r(-7). Does 3 divide ((-14)/m)/((-2)/4)?
False
Let b = -67 - -94. Is b a multiple of 3?
True
Suppose 4*t - 8*t - 2*r = -1900, -t + 468 = -3*r. Is t a multiple of 9?
False
Let a = 410 - 242. Is 8 a factor of a?
True
Let o(u) = u**3 - 8*u**2 + 14*u - 6. Let r be o(6). Is 17 a factor of (47/r - (-34)/51)*22?
True
Suppose 8*k - 207 = 1305. Is 9 a factor of k?
True
Let w(a) = a - 13. Suppose 17 = 2*j + j - 5*g, 0 = -3*g + 6. Let z be w(j). Is (-30)/(-9)*(-30)/z a multiple of 10?
False
Let o be (-1 - -55)/(-1)*4. Does 10 divide (-4)/12*o/4?
False
Suppose j = 2*z + 3028, 0*j - 2*z - 12100 = -4*j. Is ((-3)/4)/(4/j*-3) a multiple of 17?
False
Let z be 2/(4/(-6)) + 0. Does 13 divide z - 68/(1 + -2)?
True
Suppose 7*z + 15 = 10*z. Suppose -z*c + 2*h = 152, c - 3*h + 20 = -0*h. Is 7 a factor of 9/(4/c*-6)?
False
Let h be 6/(-3 + 6)*(-5 - -37). Let f = h + -32. Is 13 a factor of f?
False
Suppose -4*q - 101 = -245. Suppose q - 2 = 2*x + 2*p, p - 51 = -3*x. Is 8 a factor of x?
False
Let m = 3755 - 2063. Is 9 a factor of m?
True
Let w be 3/12*12*1. Suppose 0 = 5*u + 2*c - 1775, -w*c + 1202 = 5*u - 568. Is 14 a factor of (-1)/(-4) - u/(-12)?
False
Let g be 14/(1/(1 + -2)). Let w = g + 54. Is 10 a factor of w?
True
Let c be (-2)/7 - 13548/(-84). Let f = 245 - c. Is 28 a factor of f?
True
Suppose 20*f - 1484 - 4516 = 0. Does 15 divide f?
True
Is 12 a factor of 698 + ((-36)/27 - 2/3)?
True
Let b = -11 + 5. Let d(v) = -v**2 - 5*v + 2. Let l be d(b). Does 16 divide l*(-30)/4 - -2?
True
Let w be 216/10 - (-8)/20. Let t = 5 + 0. Suppose t*r = 78 + w. Is 10 a factor of r?
True
Is 2 a factor of 261/2*(-116)/(-174)?
False
Let k(c) = 2*c**3 - c + 63. Does 3 divide k(0)?
True
Let t be 0 - ((-24)/4 + 4). Suppose -b - 55 = -2*n - t, 4*n + 2*b = 102. Let y = n - 24. Is 2 a factor of y?
True
Suppose 10*n - 13*n = -4