 + 226. Is 9 a factor of n?
True
Suppose -4*c = -c - 867. Does 17 divide c?
True
Suppose z + 3*m + 3948 = 0, -2*z + 2*m - 4515 = 3413. Does 25 divide (z/26)/(-2) - 20/130?
False
Let p = 137 + 90. Suppose 169 = 3*d - p. Is 22 a factor of d?
True
Suppose 3*h = -2*i + 74 + 98, 0 = 4*h + 3*i - 230. Does 9 divide h?
False
Does 2 divide (-6)/((-195)/(-40) + -5)?
True
Let b(z) be the second derivative of z**4 - 5*z**3/3 - 19*z**2/2 - 2*z + 33. Does 13 divide b(-2)?
False
Let g = -11 + 10. Let j(w) = 79*w**2 + 2*w + 1. Is j(g) a multiple of 39?
True
Suppose 0 = -10*m + 14*m. Suppose 9*w - 6*w - 552 = m. Let a = w + -84. Is a a multiple of 15?
False
Suppose -2*b - 2 + 6 = 0. Suppose f = o - 90, -5*f + 8 = -b. Is 11 a factor of o?
False
Let u(h) = -h + 3. Let o be u(10). Let g be ((-24)/(-14) + -2)*o. Does 28 divide 1 + 1 + 52/g?
True
Let x(g) = 78*g + 827. Is 52 a factor of x(17)?
False
Suppose 0*c = -c. Suppose -2*i + 144 = 2*i. Suppose -4*l + i + 48 = c. Is l a multiple of 11?
False
Suppose -2*a = -5*y + 11, 2*a + 2*a = -y + 33. Suppose -3*r - g + 22 = 0, a = -3*g - 8. Suppose r*j - 2*j - 525 = 0. Does 15 divide j?
True
Suppose 5*y = -0*y + 940. Does 57 divide y*(9/2 + -4)?
False
Let v be (7/(-28))/((-1)/8). Is 2/v - (2 + 0) - -15 a multiple of 7?
True
Let u = 132 + -130. Suppose 244 = 7*z - 5*z + 4*o, u*o + 508 = 4*z. Is z a multiple of 6?
True
Suppose -4*k = -3*p - 43 + 120, 0 = 2*p - k - 53. Let l be (16/(-32))/((-1)/(-8)) + 7. Suppose 0 = s + 4*i - 46, -36 - p = -l*s + 3*i. Is s a multiple of 11?
False
Let r = -112 + 657. Is r a multiple of 5?
True
Suppose 6*l + 107 = 1037. Is 5 a factor of l?
True
Does 7 divide (-585)/(-9) + (-10)/(-2 + 0)?
True
Suppose 4*a = 5*a. Suppose -2*p + 10 + 4 = a. Is p a multiple of 7?
True
Let l = -2540 - -4309. Is 61 a factor of l?
True
Suppose -10*t + 592 = -248. Does 6 divide t?
True
Let q be (20/12)/(5/6). Suppose 0 = -4*s - 4, 2*a + 7*s - 235 = q*s. Does 30 divide a?
True
Suppose 509 = 13*y - 297. Is y a multiple of 21?
False
Let x = 6012 - 3276. Does 36 divide x?
True
Let r be -9 - -8 - (7 + -1). Let p be 20/3 - r/21. Is 5 a factor of ((-2)/(-1))/(p/70)?
True
Let t(x) = x**3 - 3*x**2 - 5*x + 4. Let y be t(4). Let s = 1 - 0. Suppose -h + 35 - s = y. Is 9 a factor of h?
False
Let u(c) = -61*c + 106. Is 12 a factor of u(-38)?
True
Let d = -42 + 51. Let c(v) = v**3 - 9*v**2 + 11*v + 3. Does 10 divide c(d)?
False
Let m = -35 - -70. Does 4 divide (-5)/(50/(-8))*m?
True
Let r(l) = -l**2 - 8*l - 15. Let t be r(-5). Suppose -u + 77 + 17 = t. Is 9 a factor of u?
False
Let r be ((-62)/(-3))/(14/21). Let f(i) = 20*i + 2. Let g be f(-1). Let z = g + r. Is 3 a factor of z?
False
Suppose j + x = -2*j + 545, -x + 911 = 5*j. Is 53 a factor of j?
False
Suppose 15*r - 1770 = 1815. Is r a multiple of 13?
False
Suppose -4*z + 18 + 16 = -3*j, 2*j - 4*z + 28 = 0. Let d be ((-36)/24)/(j/(-80)). Is 21 a factor of 2/10 + (-1256)/d?
True
Let m = 1381 - 325. Is 6 a factor of m?
True
Suppose 3*r - 1 = -10. Is 27 a factor of (r - -6)*(15 - -5)?
False
Suppose 0 = -2*a + 2*n + 4, 4*a + 0*a - 5*n - 6 = 0. Let d(u) = 2*u + 37. Does 9 divide d(a)?
True
Suppose 5*d - 4*d = 4*g + 66, g = 3*d - 22. Let c = g + 17. Is 17 a factor of ((-336)/35)/(c/(-5))?
False
Let i(q) = q**3 - 11*q**2 + 13*q - 21. Let z be i(10). Let w(k) = 2*k - 5. Is 13 a factor of w(z)?
True
Suppose 3*m - 8*m = -r - 21, -2*r = -m - 3. Suppose 0 = -r*u + 29 + 123. Is 38 a factor of u?
True
Suppose 3*b + 9 = 0, 2*b = -2*v + 3770 + 1234. Is 23 a factor of v?
False
Suppose 5*r - 8*r = 225. Let p = 105 + r. Let u = -20 + p. Is u a multiple of 5?
True
Suppose -4*j = 3*l - 33 + 2, -3*l - 3*j = -27. Suppose -l*g + 0*g = -610. Does 13 divide g?
False
Let d be (-8)/24*(8 + 1) + 6. Let r = 78 - d. Does 15 divide r?
True
Let h = 279 - -1078. Is 6 a factor of h?
False
Let b(u) = -u + 15*u**2 + 15*u**3 + 3 - 3 - 17*u**2. Let t be b(-1). Let o = t + 24. Is o a multiple of 8?
True
Let m(p) be the third derivative of -p**5/60 + 7*p**4/8 + 11*p**3/6 - 16*p**2. Does 16 divide m(12)?
False
Suppose 5*c - 321 = 4*g - 119, -4*g + c - 210 = 0. Let d = 58 + g. Is d a multiple of 2?
False
Suppose 16 = 2*r + 6*r. Does 6 divide r/7 - 1/(-7)*355?
False
Let k be -2*(-474)/12*1. Let y = k - -25. Is y a multiple of 16?
False
Suppose 4*y = -2*v + 10, 0 = y + y - v + 1. Is 6 a factor of (-36)/9 - (-21 - y)?
True
Let h(l) = -30*l + 15*l - 4 + 14*l. Let d = 17 - 29. Is h(d) a multiple of 4?
True
Is 9 a factor of (902/44)/(51/(-54) - -1)?
True
Suppose -2*y - 641 = -x, -3*x - 12*y + 1920 = -15*y. Does 85 divide x?
False
Let h = -273 + 339. Is h a multiple of 26?
False
Suppose 0 = r - 3*m - 236, 445 = 2*r + 3*m - 0*m. Is r a multiple of 18?
False
Suppose 240 + 516 = 9*x. Let b(y) = -y - 3. Let k be b(-6). Suppose 5*o + 105 = 4*d - 16, k*d = -3*o + x. Is d a multiple of 9?
False
Let b = 370 - 218. Is 2 a factor of b?
True
Does 14 divide (-1246)/(-9) - 19/(684/16)?
False
Let c(z) = -z**3 - 1 + 0*z + 0*z + 5*z - 8*z - 7*z**2. Is c(-7) a multiple of 5?
True
Suppose 2*c - 36 = 3*t, -2*c + 4*t = -0*c - 40. Let y = -4 + c. Is 2 a factor of y?
True
Suppose 3*w = 32 - 17. Suppose i + w*i = 72. Is i a multiple of 4?
True
Suppose 5*f - 6*f - 14 = 0. Let y = -35 - f. Let t = 40 + y. Is 18 a factor of t?
False
Let x be 33/(-11) + 84/3. Suppose -22*o - 276 = -x*o. Does 5 divide o?
False
Let o = -138 - -234. Let p = -54 + o. Does 42 divide p?
True
Let s(w) = -w + 25. Suppose -2 = 4*u - 46. Is 8 a factor of s(u)?
False
Let i(u) = 3*u**2 - u + 22. Is 46 a factor of i(5)?
True
Suppose -h - b = 6, 2*h + 11 = -5*b + 4*b. Is 18 a factor of (-18)/h*(17 - 2)?
True
Suppose 12*f = 5*g + 8*f - 2000, 0 = -g - 3*f + 381. Does 25 divide g?
False
Let o(m) = m**2 - 5*m - 2. Let g be o(6). Suppose -3*z + g*z = 34. Let k = 73 - z. Is 13 a factor of k?
True
Let h = -9 - -12. Suppose 0 = h*z + 4*g - 59, -3*z + 4*g + 6 = -z. Is z a multiple of 10?
False
Suppose -7*d + 47 = 12. Let b(z) = -z**2 + 7*z - 7. Is 2 a factor of b(d)?
False
Let i(k) = 5*k**2 + 2*k**2 + k**3 + k**2 - 2*k**2 - 10 - 5*k. Does 6 divide i(-5)?
False
Suppose -1059 - 32268 = -9*n. Is 23 a factor of n?
True
Suppose 5*z = -4*o + 148, -3*z - 2*z = -5*o - 130. Suppose z*j = 23*j + 660. Is j a multiple of 44?
True
Suppose 8 = 4*y, 5*h + 3*y + 138 = 2*y. Let x = 75 + h. Does 47 divide x?
True
Let v = -13 + 17. Suppose 9*i - 243 = 4*i - 3*g, -v*i - 2*g = -194. Let c = 52 + i. Is 25 a factor of c?
True
Let r(h) = 2*h**3 + 15*h**2 - 42*h. Is r(8) a multiple of 16?
True
Let m(a) = -a**3 - 16*a**2 - 4*a - 20. Suppose -2*x - 5*w - 22 = -0*x, x + 10 = -3*w. Does 11 divide m(x)?
True
Let w(x) = 50*x**2 - 187*x - 1. Does 2 divide w(5)?
True
Let w be (-216)/(-21) - (-6)/(-21). Let v = w - -38. Is 24 a factor of v?
True
Let i = 27 - -10. Let m = i + 62. Is 11 a factor of m?
True
Let d = -6237 - -11255. Is 28 a factor of d?
False
Suppose 0 = -l + 7 + 45. Let d = -17 + l. Is 5 a factor of d?
True
Suppose 3*k - 2642 = l, -21*k - 5*l = -16*k - 4430. Is k a multiple of 49?
True
Let a(w) = -w**3 + 4*w + 3. Suppose -6*k + 4 = -8*k. Is 3 a factor of a(k)?
True
Suppose f = -5*j + 213, -4*j + 392 + 16 = 2*f. Does 33 divide f?
True
Suppose 19*s - 1280 = 15*s. Does 10 divide s?
True
Let b = -43 - -47. Suppose -6*v = -b - 50. Does 2 divide v?
False
Let u(m) = -m**3 + 4*m**2 + 2*m - 3. Let r = -10 + 13. Let i be u(r). Suppose 3*v - i = -v. Does 3 divide v?
True
Let x = -23 - -27. Suppose -2*w = 2*q - 58, -x*q = -5*w + 35 - 106. Does 24 divide q?
True
Let d be (24894/24)/(3/(-8)). Let l = 1800 + d. Is 8 a factor of 2/(-10) - l/30?
True
Let x(k) = 3 + 9 + 3*k**2 + 3 - k**3 - 4*k**2. Let s be x(0). Is 17 a factor of (s/9)/((-4)/(-192))?
False
Suppose -4*p - 30 = -390. Does 2 divide p?
True
Let r(y) = 3*y**2 - 39*y + 18. Does 20 divide r(14)?
True
Let t(k) = 49*k**2 - 2*k - 1. Let d = -6 + 8. Suppose 3*p + 0*p + 1 = 2*o, p - d = 3*o. Does 26 divide t(o)?
False
Suppose 2*j = 22 + 932. Suppose j = 4*k + 1. Does 15 divide k?
False
Let v(f) = 194*f**3 + f**2 - f. Let j be v(1). Is j + -9*(-5)/15 a multiple of 37?
False
Let t(y) = -y**2 + 45*y - 10. Is t(33) a multiple of 42?
False
Let c be 1*(-1 - -13) - 1. Let a be ((-57)/(-38))/((-4)/(-8)). Suppose c = o + a. Does 8 divide o?
True
Let c(j) = -j**2 + 2*j + 4. Let o b