 Suppose -4*f - 35 = -4*a + b, -63 = -2*a - 3*f. Is 11 a factor of a?
True
Suppose 2*s + 36 = z - 0*s, -5*z = -2*s - 156. Let j = 27 + -47. Let k = j + z. Is 8 a factor of k?
False
Suppose 0 = -3*s - 12, 2*i - 2*s = s + 28. Suppose -16 = c - 26. Suppose c*t - i*t - 24 = 0. Is t a multiple of 6?
True
Let p = -603 - -651. Is 6 a factor of p?
True
Is (-4 - (-12 + 4))*207/6 a multiple of 3?
True
Suppose 2*r - 12 = 4*n, 2*n - n = 4*r - 3. Suppose 0 = -p + 3*v - v + 152, -4*p + 4*v + 612 = r. Is p a multiple of 14?
True
Let n(h) = -7 - 3*h - 2*h - 2*h - 22. Is 22 a factor of n(-9)?
False
Let z(q) = q - 4. Let b be z(7). Let f be (2/1)/2*b. Suppose f*c = c + 4*d + 118, -d = 3*c - 170. Is c a multiple of 19?
True
Let m be (54/7)/(33/308). Let b = m - 106. Let i = b - -51. Is 7 a factor of i?
False
Let u(s) = 526*s + 14. Does 20 divide u(1)?
True
Let g(d) = 2*d**3 - 6*d**2 - d + 7. Let u(a) = a**3 + a**2 + 1. Let q(k) = g(k) - 3*u(k). Does 7 divide q(-9)?
False
Let z(g) = 3*g**2 - 2*g - 11. Does 16 divide z(4)?
False
Suppose 0 = -5*n - 8 + 13, -k + 680 = n. Is k a multiple of 11?
False
Suppose -7676 = -32*z + 13284. Does 16 divide z?
False
Suppose 6*s + 160 = 2*s. Let y = s + 10. Let l = y + 77. Does 12 divide l?
False
Let w be ((1 + -7)/((-4)/230))/1. Does 10 divide -2 - 8/5*w/(-6)?
True
Suppose -s = 3*w - 32, 5*s - 3 = 3*w - 59. Let j be (-9)/3 + 3 + 0. Suppose -3*g + j = -w. Is g a multiple of 2?
True
Suppose 5*f = -3*v + 5 - 3, 16 = 4*v. Let u(n) = -n**2 - 2*n**3 - 5*n**3 + 3*n - 2 - 6*n. Is 28 a factor of u(f)?
True
Suppose -56 = 4*a - 16. Let r(i) = i**2 - 9*i + 7. Let w be r(10). Let j = a + w. Is 7 a factor of j?
True
Let l be 4 - 9/((-18)/(-4)). Suppose -g - 10 = -l*u + 7, 0 = -5*u + 5*g + 55. Suppose -u*y + y = -4*s - 97, 0 = -2*y + 4*s + 34. Is y a multiple of 3?
True
Let t = 449 + 9. Let q = -311 + t. Is q a multiple of 9?
False
Let z be (-99)/12 - (-2)/8. Let q be (-9)/(-36) + 130/z. Let j = 12 - q. Is 7 a factor of j?
True
Suppose 4*v = -11*y + 13*y - 2946, 2*y - 2946 = -4*v. Is 31 a factor of y?
False
Let c(j) be the first derivative of j**3/3 - 3*j**2/2 - j + 1. Let f(i) = -26*i - 99. Let h be f(-4). Is c(h) a multiple of 9?
True
Let k(f) = f**2 + 12*f - 7. Let c(g) = -g**2 - 4*g + 8. Let n be c(-7). Let b be k(n). Suppose 10*r - 288 = b*r. Is r a multiple of 18?
True
Let t = 995 - 911. Does 6 divide t?
True
Suppose s = -3*h + 703, -5*h = -486*s + 490*s - 2826. Does 11 divide s?
False
Suppose 0 = -3*d, -b + 2*d - 5*d + 2 = 0. Suppose b*c - 2*s - 288 = -0*c, 0 = 3*c + 3*s - 426. Is 11 a factor of c?
True
Let f(d) = -22*d - 15. Let o be 3*3/(-9) + -5. Let r be f(o). Suppose -4*s = -20, -4*y - 3*s + 6*s = -r. Is 22 a factor of y?
False
Suppose -x + 1700 = -4*t, -2*t + 5149 = 3*x + 119. Is x a multiple of 56?
True
Let h(d) = d - 2. Suppose -2*q = 4*f + f - 14, -f - 3*q - 5 = 0. Let x be h(f). Is 4 a factor of 1/(x/(-114)*-3)?
False
Suppose 0 = -6*t - t - 189. Let d = -9 - t. Is 18 a factor of d?
True
Suppose 0 = -510*t + 518*t - 4880. Is t a multiple of 5?
True
Let d(a) = 3 + 9 - 4*a + 9*a**2 - 10. Is 6 a factor of d(2)?
True
Let l(f) = -3*f**3 - 22*f**2 + 12*f + 11. Is 36 a factor of l(-11)?
False
Let i(b) = b**3 - 8*b**2 - 7. Let s be i(9). Suppose -7*v + 6*v + s = 0. Does 18 divide v?
False
Let q be (-9)/(-45) - 1178/(-10). Let l = q + -70. Is l a multiple of 8?
True
Suppose -4*q = w, -w = -4*q + 3*w. Suppose q = -3*u + 11 - 2. Suppose 4*m = -2*g + 68, 4*m - 5*g - 68 = -u*g. Is m a multiple of 5?
False
Let a = -30 - -33. Is 16 a factor of ((-3)/(-6))/(a/384)?
True
Suppose -5*a - 3*r - 42 = 0, 0*r + 4*r + 41 = -5*a. Is 17 a factor of 22/(-3)*a - -2?
True
Suppose 2*u = 3 + 5. Let d(z) = 58*z - 6. Let c be d(5). Suppose -4*q - 2*v - v = -286, 0 = 4*q + u*v - c. Is q a multiple of 22?
False
Suppose 4*i - 5*l = -41, 7*i + 27 = 4*i + 5*l. Let w = 46 - i. Is w a multiple of 15?
True
Let w(q) = q**2 + 23*q + 35. Let y be w(20). Suppose 3*m + 2*m - y = 0. Does 32 divide m?
False
Let z = -235 + 410. Let f = -106 + z. Let h = 102 - f. Is 5 a factor of h?
False
Suppose 0 = 4*i - 5 - 11, -4*c + 11208 = 2*i. Is c a multiple of 40?
True
Let m(w) = -2*w**3 - 6*w**2 + 12*w + 1. Let i be m(-6). Suppose 0 = 3*r - 8*r + 25. Suppose -2*d - g + i = 0, -3*d + r*g - 4 = -215. Is 12 a factor of d?
True
Let r = 452 - 330. Is r a multiple of 4?
False
Suppose -117*w = -120*w + 909. Does 16 divide w?
False
Let b be 11 + 7/((-14)/4). Suppose b*k = 78 + 102. Does 20 divide k?
True
Suppose 3*c - 4*f - 71 = -4, 5*c = -3*f + 160. Is c even?
False
Suppose 12*f = 13*f + 172. Does 3 divide 2/(-3) - (f/6 - 0)?
False
Let q be 84/9*(0 - 3). Let k = q + 34. Is 5 a factor of k?
False
Let q(d) = -6*d**2 + 5*d + 6. Let v(x) = 5*x**2 - 5*x - 7. Let u(n) = 3*q(n) + 4*v(n). Does 14 divide u(-6)?
False
Suppose -66*o = -74*o + 528. Is o a multiple of 6?
True
Let k(g) = -5*g**2 + 14*g**2 + g**3 - 8*g**2 + 2. Let d be k(0). Suppose 3*a - 4*f - 102 = 0, -52 = -d*a - 3*f + 16. Is a a multiple of 17?
True
Let d = -518 - -1310. Is d a multiple of 72?
True
Let i = -531 - -1809. Is i a multiple of 9?
True
Is 4 a factor of 9/(163/27 - (1 + 5))?
False
Suppose -7*n + 223 = -71. Is ((-1)/(5/n))/((-26)/65) a multiple of 3?
True
Suppose 652 = 4*p + 464. Is p a multiple of 4?
False
Let l = 12 + 16. Does 5 divide (-1)/(-4) + 553/l?
True
Does 22 divide -14 + 389 + (-4)/4?
True
Suppose 16 = -5*z - 14. Let i be (z - -1)/((-2)/20). Suppose -i = -5*m + 5. Does 4 divide m?
False
Let a = 1250 + -820. Is a a multiple of 10?
True
Suppose 5*z = -4*r + 89, -r = 3*r - 3*z - 49. Suppose 3*l + r = 7*l. Suppose 20 = 3*h + u + 3*u, -l*u = h + 4. Is 12 a factor of h?
True
Is 0*1/6 + 112 a multiple of 3?
False
Suppose 102*n = 106*n - 1224. Is 16 a factor of n?
False
Let v(n) = 6*n**2 - 9*n - 7. Let g be v(-3). Let x = -25 + g. Does 11 divide x?
False
Suppose 51 = 5*n - 59. Does 8 divide (-12)/66 + 1126/n?
False
Suppose -3*j - 18 = -i - 478, -j + 164 = -3*i. Suppose -j + 404 = 3*x. Is x a multiple of 12?
True
Let x be 3/(-18) + 5/(-6). Let p(l) = 316*l**3 + 4*l**2 + 13*l + 4. Let a(m) = -79*m**3 - m**2 - 3*m - 1. Let d(t) = 9*a(t) + 2*p(t). Is d(x) a multiple of 20?
False
Let z = -69 + 237. Is 8 a factor of z?
True
Suppose 35 = -5*m - 5. Let y be (-6)/m - 3351/(-12). Suppose -5*l + 0*l = -y. Is l a multiple of 28?
True
Let z = 4 - -28. Is z a multiple of 2?
True
Suppose -2*d + 10 = 4. Suppose 0 = -d*r + 3 + 3. Suppose -r*n = 4*l - 70, n = 2*l - l + 47. Is 20 a factor of n?
False
Let q be (-36)/15 - 3*(-2)/15. Is (4656/(-30))/q - 2/(-5) a multiple of 39?
True
Let o(g) = -467*g**3 + 2*g**2 + 3*g + 2. Is 26 a factor of o(-1)?
True
Let b(z) = -3*z - 3. Let a be b(-1). Suppose a = -3*g + 129 + 48. Does 14 divide g?
False
Suppose 15*t - 19610 = -7235. Does 25 divide t?
True
Let k(s) = 21*s**3 - 3*s + 2. Let l be k(3). Suppose l = -4*y + 8*y. Let b = -69 + y. Does 19 divide b?
False
Let l be (-26)/(-8) - 7/28. Suppose -2*x + f + 1 = 0, 2*f - 16 = 3*x - l*f. Suppose -w + 188 = x*w. Is w a multiple of 13?
False
Suppose -14688 = -147*w + 135*w. Does 72 divide w?
True
Let d(h) = -h**2 + 37*h + 34. Does 8 divide d(18)?
True
Suppose -4*x = 4*s - 8, -8*x = -3*x + 2*s - 16. Suppose -30 = l - x*l. Is l a multiple of 10?
True
Let k(i) = i**2 - 6*i - 5. Let s be k(7). Is 3 + (s/(-3))/(1/(-48)) a multiple of 7?
True
Does 9 divide ((-5)/15)/(3/(-11637))?
False
Let p = -4 + 8. Suppose p*d = 5*j + 11, -5*d - 5*j + 22 = -3. Suppose d*t - 11 - 9 = 0. Is 5 a factor of t?
True
Does 11 divide 14/(-6) + 46748/186?
False
Let l(n) = -n**3 + n**2 - n - 6. Let w(c) = 6*c + 3. Let b be w(-1). Is l(b) a multiple of 11?
True
Suppose 0 = -5*o + 131 - 16. Let d be 2/4*(o + -1). Suppose d = -f + 50. Is f a multiple of 13?
True
Let j = 4 - 2. Suppose -12 = j*v - v. Does 9 divide 2/v - 758/(-12)?
True
Let b be (3 + -4)/(-1) + -2. Let s be 35/14*(-16)/b. Suppose -8*t + 7*t = -s. Does 20 divide t?
True
Suppose -h + 22 = 4*n, n + 5*h = 4*n - 5. Suppose 2*l - 490 = -n*j, 4*l - 280 = -j - 2*j. Suppose 9*c = 7*c + j. Is c a multiple of 25?
True
Let d(h) = -1. Let i(u) = 4*u - 4. Let j(r) = 6*d(r) - 3*i(r). Is j(-1) a multiple of 5?
False
Suppose 18*a + 42 = 15*a. Let j = a - -22. Is j a multiple of 2?
True
Let p = -31 + 15. Let i = p + 22. Is 5 a factor of 112