v - 176 = -5*k. Does 19 divide v?
True
Let b be 3/2 - 6/(-4). Suppose -b*g - 4*d = 10, 14 = 5*g - 3*d + 2*d. Suppose 8 = 5*l - g. Does 2 divide l?
True
Suppose 0*i + 267 = 3*i. Let u = i + -64. Suppose 2*r = 5*r + q - 35, 0 = 2*r + q - u. Is r a multiple of 7?
False
Suppose 8*d + 815 = 4895. Let v = d + -263. Is v a multiple of 13?
True
Let k(d) = 12*d - 78. Let w be k(7). Let v(n) = n + 1 - 2 - 2. Is v(w) a multiple of 3?
True
Suppose -18*p + 17*p - 10 = 0. Let u(c) = c**3 + 10*c**2 - c - 20. Let j be u(p). Is ((-24)/j)/(4/20) a multiple of 6?
True
Let i = -144 - -227. Does 26 divide i?
False
Let u be 51/9*(-2 - -5). Let g = -10 + u. Is 2 a factor of g?
False
Let b(f) = 7*f**2 - 4. Let y = 7 + -7. Suppose y*c - 3 = c. Is b(c) a multiple of 23?
False
Suppose s - 186 = k, 550 = 5*s - k - 376. Is s a multiple of 30?
False
Let k(f) = 13*f**2 + 6*f + 8. Let c be k(-6). Let g = -286 + c. Suppose -4*i + 351 = 5*q, 0 = -5*q - i - g + 493. Is q a multiple of 22?
False
Let v(m) = m**2 - 6*m + 191. Is 23 a factor of v(21)?
True
Suppose 11 = 5*q + 2*z, z = -z - 4. Let g be 4 + -6 + 1 + 0. Is 5 a factor of g/q - 110/(-6)?
False
Let u be (-4)/(8/2)*81. Let c be u/(-12) + 12/(-16). Does 24 divide c/(-2) + 1 - -91?
False
Let g(l) = -l**2 - 16*l + 12. Does 12 divide g(-6)?
True
Suppose 3*f - 5*y - 1523 = 0, -5*f = -14*y + 11*y - 2565. Is 12 a factor of f?
True
Let j(c) = c**3 - 37*c**2 + 12*c - 73. Is j(37) a multiple of 12?
False
Let q = 107 + -236. Let l = q - -411. Is l a multiple of 26?
False
Let s(w) be the second derivative of 13*w**3/6 + 13*w**2/2 - 17*w. Does 15 divide s(6)?
False
Let k be ((-27)/(-6) + 0)*-2. Let n = 38 + k. Does 5 divide n?
False
Suppose 0 = 2*b - 87 - 221. Is 11 a factor of b?
True
Suppose 0 = -4*l + 21*h - 22*h + 7275, -4*h = 5*l - 9080. Is l a multiple of 19?
False
Is 5 a factor of (-1 + -452)/(3*3/(-12))?
False
Let m = 49 + -19. Let u = -27 + m. Let w(z) = 3*z**3 - 5*z**2 + 4*z. Is 12 a factor of w(u)?
True
Suppose -20*p + 63168 = 16608. Does 24 divide p?
True
Suppose 2*n + 5*w - 3481 = 0, 3*w = 4*n - 4960 - 1963. Does 10 divide n?
False
Let f = -48 + 79. Let y = 18 + 5. Let m = y + f. Is m a multiple of 18?
True
Let p = 17 - 23. Let u be (4 - (-10)/(-3))*p. Does 5 divide (u/(-12))/(1/45)?
True
Suppose -45*g + 2264 = -37*g. Is 40 a factor of g?
False
Let a(g) = 8*g**2 - 13*g + 18. Let z be a(7). Let f = -90 + z. Does 51 divide f?
False
Let v = 484 - 269. Does 3 divide v?
False
Is 4 a factor of (11/33)/(1/489)?
False
Let t(k) = k**3 + 4*k**2 - k + 7. Let p be t(-5). Let y = -10 - p. Suppose y*r - 27 = 2*r - n, 4*r - 3*n - 136 = 0. Is 9 a factor of r?
False
Let a(s) = -s**3 - 4*s**2 + 12*s - 22. Is 12 a factor of a(-10)?
False
Let l = 402 + -316. Is l even?
True
Let c = -81 + 156. Is c a multiple of 3?
True
Suppose -2*w + 6*w - 17 = y, -20 = y - 5*w. Is 3 a factor of 31/((-5)/25*y)?
False
Suppose 27*n - 22*n = 4*w + 3294, 3*n = -2*w + 1994. Is 67 a factor of n?
False
Suppose 3*d + 0*d - 117 = 0. Suppose -k + 15 = -d. Is k a multiple of 27?
True
Suppose -h = -5*q - 5*h + 1055, 5*q + 5*h = 1055. Is 39 a factor of q?
False
Let d = 7 + -4. Let a be (-9)/d - -1*8. Suppose -s - 58 - 34 = -5*i, -5*s + 110 = a*i. Is 14 a factor of i?
False
Let r be (-76)/(-28) - 2/(-7). Suppose -3*h + 3*l = -2*l - 117, 3*h = -4*l + 117. Suppose 3*u = -v + 72 + 5, -u = r*v - h. Is 24 a factor of u?
True
Let t(j) be the second derivative of j**5/60 - j**4/8 + 5*j**3/6 - 3*j**2 - 5*j. Let y(p) be the first derivative of t(p). Is y(6) a multiple of 13?
False
Let a be -205 - (4 + -3)*-2. Let u = -140 - a. Is 21 a factor of u?
True
Let x be 8/(5/((-10)/(-4))). Let l be (-3 - (-2)/x)*2. Let p(r) = -r**3 - 3*r**2 - 6. Is p(l) a multiple of 11?
True
Let z(l) = -3*l**2 - 2 - 6 - 2*l**3 + 3 + 3*l. Suppose 0 = -i + 4*h - 12, -7 - 3 = 4*i + 3*h. Is z(i) a multiple of 13?
False
Let t be ((-9)/(-6))/(-3)*-6. Suppose 0 = v + t*v + f - 379, -2*v + 5*f = -173. Is v a multiple of 12?
False
Let o be 0/(-2) - 4 - -29. Let s = 106 - o. Is s a multiple of 14?
False
Let i(q) = q. Let n be i(2). Let l(j) = j**2 - 6*j + 9. Let a be l(6). Suppose 3*r = -n*v + 6*v - 23, 3*v - a = 5*r. Is 4 a factor of v?
True
Let x(w) = w**3 + 8*w**2 - w - 138. Is x(9) a multiple of 41?
True
Let i = 6 - 7. Let x be (i/2)/(3/90). Let w = 14 - x. Is w a multiple of 16?
False
Let w = 6 - -3. Let z be 8/(-2) + (-108)/(21/(-7)). Let s = w + z. Is 15 a factor of s?
False
Let a = -8 + 5. Let l be 10/a*(-21)/14. Suppose 56 = 7*d - l*d. Does 28 divide d?
True
Let d(a) = a - 4. Let g be d(6). Suppose g*c - 80 = -z, 5*c + 2*z = 17 + 181. Is c a multiple of 19?
True
Does 14 divide ((-30)/(-9))/((-3)/(-576))?
False
Suppose 3*f - 483 - 645 = 0. Let i = f + -210. Is i a multiple of 15?
False
Let o be (-13)/(-1) + (10 - 7). Let i = o - 16. Suppose 13 = 4*r - w - 4*w, i = -3*r + 2*w + 15. Does 2 divide r?
False
Suppose -2*c + 16 = -4*c. Let g = c + 7. Is 3 a factor of g + 2 + 4 + 3?
False
Let f = -97 - -151. Does 8 divide f?
False
Is 81 a factor of 1/((-48)/(-36) - 6045/4536)?
False
Suppose -4*h = -2*y - 2636, h = -11*y + 16*y + 641. Is 77 a factor of h?
False
Let m be -1*(0 + 0/2). Let d(l) = -2*l - 103. Let x(p) = -3*p - 155. Let i(c) = 7*d(c) - 5*x(c). Is i(m) a multiple of 18?
True
Let k be 1 - (0 + (1 - -2)). Let r(i) = -i**3 + 2*i**2 - i - 2. Let b be r(k). Is 10 a factor of 37/3 + b/24?
False
Let s(j) be the first derivative of 4*j**3/3 + 13*j**2/2 - 12*j - 9. Does 51 divide s(5)?
True
Let b(m) = 4*m + 10. Let k be -9*(-4 + (-13)/(-3)). Let x be b(k). Does 10 divide -6*(-76)/(-16)*x?
False
Let x = 5 - -22. Let n(w) = -w**3 + 39*w**2 + w + 42. Let z be n(39). Is 16 a factor of (-208)/(-6) + x/z?
False
Suppose -7*b - 1920 = -19*b. Is 40 a factor of b?
True
Let j = -43 + 54. Suppose j*l = -0*l + 3047. Is 19 a factor of l?
False
Suppose -20*k = -27*k - 119. Let v = k - -365. Does 12 divide v?
True
Suppose 2*n = 5*n - 54. Let y(p) = -6 - n*p + 3 + 10*p - 37*p. Does 23 divide y(-2)?
False
Is (-4)/(-10) - (20111/(-85) + 11) a multiple of 3?
False
Suppose -3*i + 0*i - 5*o + 24 = 0, 3 = 2*i - o. Suppose 5*t - 62 = -i*f, -2*t + 4*f + 69 = 3*t. Does 2 divide t?
False
Suppose 9*w + 1972 = 8542. Is 10 a factor of w?
True
Let c(q) = -q**2 + q - 2. Let i(n) be the first derivative of n**3 - 3*n**2/2 + 5*n - 2. Let m(l) = 11*c(l) + 4*i(l). Is 4 a factor of m(-2)?
True
Suppose 5*g + 5*g - 520 = 0. Is g a multiple of 26?
True
Let g(u) = -9*u**3 + 4*u**2 + 4*u + 2. Let p(q) = 9*q**3 - 5*q**2 - 5*q - 3. Let n(c) = -5*g(c) - 4*p(c). Is 18 a factor of n(2)?
False
Let q = 108 - 60. Suppose 3*y = -3*y + q. Is 2/y + (-188)/(-16) a multiple of 12?
True
Let g = 1594 + -1522. Is g a multiple of 34?
False
Suppose -4*s + 480 = -5*h, 0 = -s + 5*h + 18 + 87. Let i = -15 + s. Is i a multiple of 55?
True
Let o be 3684/24 - 3/2. Let x = o + -112. Is 9 a factor of x?
False
Let s = -13 - -1. Let z be (30/20)/(3/(-20) + 0). Let x = z - s. Is x even?
True
Let k = -70 + 99. Suppose -o + 4*o = 5*r - k, -4*r - 3*o + 7 = 0. Suppose -610 = -r*z - 194. Is 31 a factor of z?
False
Suppose 2*m = 4*m - 168. Is 3 a factor of m?
True
Suppose 5*y + 141 = 31. Let i = y - -35. Is i a multiple of 7?
False
Let k(s) = -s**3 + 20*s**2 - 19*s + 3. Let x be k(19). Suppose -z = a + x*a - 31, -2*a = 0. Is z a multiple of 8?
False
Suppose 4*w - 39 = 185. Is 7 a factor of w?
True
Let u(k) = 6*k**2 + 19*k + 9. Let h be u(-13). Does 54 divide -2 - h/(0 + -4)?
False
Suppose 18*s + s - 665 = 0. Is s a multiple of 4?
False
Let t(s) = -14*s + 15. Let k be 2/((-3)/(-30)*-4). Is 20 a factor of t(k)?
False
Is 19 a factor of ((-532)/10)/((-8)/20)?
True
Let u(t) = -t**3 + t**2 - t + 132. Does 22 divide u(0)?
True
Let a(g) = g**3 - 32*g**2 - 17*g + 1. Does 18 divide a(34)?
False
Let y be (28/20 + 1)*-5. Is (-1 - y/(-16))*-12 a multiple of 21?
True
Suppose 4*c - 1 = -r - 0*r, -3*c = 5*r - 5. Suppose 4*z = z - 3*u + 141, c = 4*u + 4. Is z a multiple of 16?
True
Let d = -25 - -31. Let g(o) = o - 6. Let n be g(d). Suppose 5*l - 25 + 5 = n. Does 2 divide l?
True
Suppose 2*g = 14 + 32. Let v = -869 + 880. Let k = g - v. Does 6 divide k?
True
Let m = -101 + 24. Suppose 0*o - 420 = -4*a - 3*o, a - 120 = 3*o. Let x = m + a. Does 12 divide x?
False
Let g be 1*52/(-2 - 2). Is 10 a factor o