= -4*m - s + 3150, 0 = 4*s + 8. Does 15 divide m?
False
Let b(i) = -i**3 + 6*i**2 + 8*i - 5. Let h be b(7). Suppose -h*u - 63 = -5*u. Let o = 4 + u. Is 17 a factor of o?
False
Suppose 21*m - 6793 - 1082 = 0. Does 12 divide m?
False
Let m = 1761 - 1175. Is 14 a factor of m?
False
Suppose -9*p - 887 + 3263 = 0. Does 11 divide p?
True
Suppose 5*u = -4*p + 1345, 4*p - 1932 = -2*u - 602. Let j = 710 - p. Is 38 a factor of j?
True
Let w be (9/(-3))/(21/(-14)). Let p = w + 13. Let u(l) = -l**3 + 16*l**2 - 9*l + 16. Is 31 a factor of u(p)?
False
Is 15 a factor of 6/4*18640/120?
False
Let t = -11 - -11. Suppose t = -2*b + n + 51, -5*b - n + 165 = 4*n. Does 14 divide b?
True
Let c = 1066 + -45. Is 8 a factor of c?
False
Let c be ((-48)/18 + 5)*-3. Let q(y) = -14*y - 26. Is 9 a factor of q(c)?
True
Suppose 0 = -b + 5 - 1. Suppose -2*l + 4 = -p, -2*l + l - b = p. Let q(h) = -h**2 + h + 26. Does 13 divide q(l)?
True
Suppose -5*m + 5*x - 1615 = -6520, -m + 3*x = -985. Is 44 a factor of m?
False
Let s(g) = -15*g**3 + 45*g**2 - 6*g + 30. Let v(q) = -7*q**3 + 22*q**2 - 3*q + 15. Let u(m) = 6*s(m) - 13*v(m). Does 17 divide u(16)?
False
Let d = 928 + -553. Is 46 a factor of d?
False
Let y(h) = -h**3 - 3*h**2 - h + 4. Let x be y(-3). Suppose 0 = x*i + 19 - 117. Suppose 7*u - 91 = i. Is 3 a factor of u?
True
Let b(x) = -x**2 + 19*x + 4. Let p be b(17). Let q = 10 + p. Is 16 a factor of q?
True
Let h be 12 - 11 - (-155 - 1). Suppose -h = 5*j + 3*i - 399, 3*i + 248 = 5*j. Suppose -36 + 136 = 4*f - 4*a, 5*a - j = -f. Does 8 divide f?
False
Let d(i) = 20 - 3*i + 18 - 50. Let q be d(-5). Suppose b + h - 22 = 0, q*b - 3*h + 4*h = 70. Is 24 a factor of b?
True
Let l be (-4)/(-10) - 39/(-15). Suppose -13 = -l*i - 4. Suppose -5*v + 51 = -2*b, 0 = i*v + 5*b - b - 41. Is v a multiple of 4?
False
Let s be 2/10 + 1372/(-35). Let m = -35 - s. Suppose m*i = f + 387, i - 61 - 23 = -4*f. Does 15 divide i?
False
Let c = 472 + -405. Is c a multiple of 2?
False
Suppose 5 = -o + 2*o, -4*s - 3*o = -99. Is (2 + -1 - -46) + s/(-7) a multiple of 8?
False
Let t(s) = -2*s - 6. Let d(w) be the second derivative of -w**3/2 - 7*w**2/2 - 3*w. Let u(z) = -3*d(z) + 4*t(z). Is u(13) a multiple of 7?
False
Suppose -105 = 62*v - 67*v. Is 3 a factor of v?
True
Let j = 441 + 2. Does 62 divide j?
False
Is 103406/54 + 2 + (-520)/270 a multiple of 20?
False
Suppose -2*g + 20 = -4*l, -18 = 4*l - 2. Suppose g*c = 179 + 55. Does 13 divide c?
True
Let g be ((-360)/42)/((-3)/(-42)). Let z = g - -231. Suppose 2*s - 3*f = 57, 8*s - z = 4*s + 5*f. Does 11 divide s?
False
Let i be 147/(-12) + 1/4. Is 24 a factor of (-1490)/i - (-3)/(-18)?
False
Let g = -8 + 8. Suppose 4*j - 56 = -g*j. Let k(f) = f**2 - 14*f + 18. Is k(j) a multiple of 9?
True
Suppose -2*o - 13*o = -7875. Suppose -6*h - o = -9*h. Is 25 a factor of h?
True
Suppose 4*t + 452 = -3*a + a, 10 = -5*a. Is (t/(-10))/((-4)/(-20)) a multiple of 19?
False
Suppose 2*k - 5 = -3. Let q be 1 - ((-34)/k + 2). Let c = q + -10. Is 5 a factor of c?
False
Let d(i) = 4645*i + 173. Is 11 a factor of d(1)?
True
Let a = 194 + -192. Let n(j) = 7*j**3 - 8*j**2 - 3*j - 4. Let c(f) = f**3 - f**2 - f - 1. Let d(k) = -5*c(k) + n(k). Is d(a) a multiple of 9?
True
Is (-11)/(-4)*(29 - -7) a multiple of 9?
True
Let c = -209 + 267. Is 29 a factor of c?
True
Let o be 1/(-3) + (-2 - 366/(-18)). Let s = 11 + o. Is 6 a factor of s?
False
Let r be (1 - 0)*(-1 - 5). Let c(w) = -65 + 7*w**2 - w + 33 - 5*w**2 + 37. Is c(r) a multiple of 13?
False
Let j = 36 + -43. Let k = j - -37. Is 15 a factor of k?
True
Let g(b) = b**3 + 26*b**2 - 26*b + 22. Let d be g(-27). Let w be -2 + 3 - (0 - 1). Does 3 divide (-2)/w - -1 - d?
False
Suppose 0 = -q - 2*h + 22, -93 - 17 = -5*q - h. Suppose 3*r = 5*r - q. Is 6 a factor of r?
False
Suppose 4*k = -5*g + 1245 + 1035, 1370 = 3*g + 2*k. Is g a multiple of 5?
True
Let w be 2 + 1 + 1 + -1. Suppose -w*i - n + 29 = -0*n, -n - 1 = 0. Is (i/3)/((-4)/(-24)) a multiple of 10?
True
Suppose 32260 + 21740 = 40*x. Is 9 a factor of x?
True
Suppose -11 = 2*s + 3*h, -4*h - 12 = 3*s + 2. Suppose 53 = -p + s*p. Suppose -141 = -3*k + 4*r - r, -k - r + p = 0. Does 18 divide k?
False
Let r = -2133 - -3262. Suppose 10*k + 389 - r = 0. Is 19 a factor of k?
False
Let v = 2977 - 2365. Does 9 divide v?
True
Suppose -32*o - 4809 = -35*o + 3*v, -4815 = -3*o + 5*v. Is 77 a factor of o?
False
Suppose -5*s = 3*k - 3506, 6*k - 11*k = 2*s - 5856. Does 23 divide k?
False
Suppose -52*m + 66 = -53*m - 5*i, 0 = -4*m - 2*i - 174. Let r = 5 + -1. Is 18 a factor of (3 - r)/(1/m)?
False
Let f(u) = -u**3 + 18*u**2 + 4*u + 17. Let x be (-3)/(70/85 + -1). Is 39 a factor of f(x)?
False
Let v(i) = 4*i + 596. Is 3 a factor of v(-12)?
False
Is (-9*1)/1*45628/(-132) a multiple of 46?
False
Suppose 8*v - 980 = -2*v. Suppose 4*b - 3*b - v = 0. Does 14 divide b?
True
Let m be 24/10 - (-24)/40. Suppose f - 32 = -5*a - 8, m*f - 3*a - 18 = 0. Is 6 a factor of f?
False
Suppose -52 + 292 = z. Is 30 a factor of z?
True
Suppose 4*c + 5*k = 20, 2*c + 2*k + 0*k - 12 = 0. Let w = -12 + c. Let h = 28 - w. Is 10 a factor of h?
True
Suppose 2*g = -5*v, 7*v - 8*v = g + 3. Suppose v*n + 261 = 3*h, h - 18 = 5*n + 82. Is 12 a factor of h?
False
Is 14 a factor of 2856 - ((-20)/15)/(8/(-42))?
False
Suppose 7 = -m - 2*n, 0 = 2*m + m + n + 6. Let c = 2 - m. Suppose 4*x = c*x + 66. Is 15 a factor of x?
False
Suppose -5*v = -5*m + 5, -4*m - 21 = v - 5. Let r be (-10)/(-18)*51*3. Is 17 a factor of (r/(-25))/(m/15)?
True
Suppose 3169 = -33*p + 36*p + 5*y, 5*y + 3209 = 3*p. Is p a multiple of 5?
False
Let d = -25 + 27. Suppose 36 = d*i - 54. Is i a multiple of 16?
False
Let g be 30/8 + (-2)/(-8). Suppose r + 30 = -5*n + 3*r, 2*n - g*r + 12 = 0. Is 168/(n/(-3)) + -3 a multiple of 27?
True
Suppose -2*i = -0*i + n - 7481, 2*i = -2*n + 7476. Does 63 divide i?
False
Is (-20)/8*1672/(-110) a multiple of 8?
False
Let a be (-15)/(-9)*(6 - 12). Let r(s) = s**2 + 8*s + 4. Is r(a) a multiple of 7?
False
Let f be (-3)/(3/4) - -1. Let t(z) be the third derivative of z**5/20 + z**4/24 - 7*z**3/6 + 61*z**2. Is 3 a factor of t(f)?
False
Suppose 2*m - 2*m = -5*m. Suppose 4*l - l - 54 = m. Is 3 a factor of l?
True
Suppose 10*h - 2096 = -6*h. Suppose -r - 8*a + 126 = -5*a, r = -2*a + h. Is 17 a factor of r?
False
Let a(k) = -2019*k**3 - 3*k**2 + 5*k + 5. Does 14 divide a(-1)?
True
Suppose -3*f = 2*f + 90. Let m be ((-8)/6)/(2/f). Let g = m + 24. Is g a multiple of 29?
False
Let h = 1173 + -509. Is h a multiple of 54?
False
Let j(y) = 23*y**2 - 18*y. Does 2 divide j(2)?
True
Let r be 907 - (-1 - -4 - 4). Is 3 a factor of (-8)/60 - r/(-60)?
True
Suppose -3*s + 540 = -3*m, -2 - 2 = -4*m. Is s a multiple of 5?
False
Suppose 10*z = 109 + 31. Is 3 a factor of z/2 - (-20)/(-20)?
True
Let r(w) = -w + 60. Let g be r(0). Suppose -3*l + g = -2*l. Is l a multiple of 10?
True
Suppose d = -5*z + 151 + 6, 3*z = 4*d + 85. Does 3 divide z?
False
Let t be 28/6 - (-10)/(-15). Suppose t*d - 132 = -4*h - h, 0 = -h + d + 30. Is 2 a factor of h/(-10)*(-10)/4?
False
Suppose -4*r - 5*n + 3272 = 412, 5*n = 3*r - 2180. Does 36 divide r?
True
Let x(v) = v**3 - 7*v**2 - 9*v + 12. Let a be x(8). Suppose a*t = -t - 10. Is 2 a factor of ((-3)/t)/((-5)/(-30))?
False
Let z(f) = f**2 + 2*f - 252. Does 17 divide z(-33)?
False
Let c = 31 - 26. Suppose -2*x - c*l = -553, 4*x + l - 1082 = -l. Does 28 divide x?
False
Let q be 4/(12/(-3))*-47. Suppose -4*d + 7*d + 2*j - 73 = 0, -2*d = j - q. Suppose -w - d = -3*b + 30, 0 = -5*b + 5*w + 75. Is b a multiple of 6?
True
Suppose -14 = -2*g - 2*y - 0*y, 0 = 5*y - 25. Suppose 5*o + 3*f + 128 - 1182 = 0, o + g*f - 208 = 0. Does 37 divide o?
False
Let x(v) = -v**2 + 8*v - 2. Let m be x(7). Suppose 5*y = 2*y - 3*h + 594, -2*h + 978 = m*y. Suppose -3*l = -i - 187, 4*l = -4*i + 82 + y. Is 16 a factor of l?
True
Suppose -6056 = -3*n + 5*j, -4*n + 2*j + 4040 = -2*n. Is n a multiple of 41?
False
Suppose -2*b - 10 = 0, 0*b - 105 = -5*i + 4*b. Let w = i + 0. Does 23 divide (w*-2)/((-7)/14)?
False
Does 27 divide ((-21716)/(-30) - 4/(-30)) + 5?
True
Let w(k) = -k**3 - 5*k**2 - 4*k**2 - 9*k + 5*k**2 + 5 - 6*k**2. Let h be w(-9). Suppose -4*s = 3*x - 39, -h*s + 54 - 14 = 2*x. Does 5 divide s?
False
Suppose -24570 - 12474 = -14*y. Is 51 a factor of y?
False