 + 877 + 339 = 0. Let l = 1112 - t. Is l a multiple of 18?
True
Suppose -l + 5*q = -5*l + 218, -3*q - 150 = -3*l. Let j(k) = -k**3 - 11*k**2 + 2*k - 121. Let c be j(-12). Does 15 divide l + 2 + (-2 - c)?
False
Let i be 6/(-51) + -2 + (-546)/(-17). Suppose -5*n + 4*a = -168, 2*n + a - i = 45. Is 36 a factor of n?
True
Let o(i) = -i**2 - 8*i + 16. Let v = 86 + -82. Let q be 176/(-55)*10/v. Is 4 a factor of o(q)?
True
Let b(r) = -22*r**3 + 7*r**2 - 21*r + 27. Let f(u) = 5*u**3 - 2*u**2 + 5*u - 7. Let c(x) = 2*b(x) + 9*f(x). Does 57 divide c(7)?
False
Let w be 69 + (50/(-35))/(4/(-14)). Suppose w*a = 72*a + 384. Is 24 a factor of a?
True
Let z(v) = -82*v**3 - 8*v**2 - 138*v - 1091. Is z(-8) a multiple of 8?
False
Let s = -10567 + 31303. Is 128 a factor of s?
True
Suppose 0 = -2*n + 4*o + 2974, 4*n + o - 2688 = 3305. Is 17 a factor of n?
False
Is 12 a factor of -354*(-12 - (-10092)/(-72))?
False
Let a(i) = -i**3 + 8*i**2 + 2*i - 11. Let r be a(8). Suppose r*g + 1105 = -3*p + 8*p, 2*p = -2*g + 454. Is p a multiple of 28?
True
Suppose -7*c + 8 = -27. Suppose -5*z - c*y = -8*y - 44, 3*z + y - 18 = 0. Suppose 569 = 3*h + 2*b - z*b, h - b = 193. Does 66 divide h?
True
Let h(g) be the first derivative of 2*g**3 + g**2 + 4*g + 13. Let r be h(2). Suppose 3*p + 5*u - 26 = 0, 2*u = -3*p - 0*p + r. Is 3 a factor of p?
True
Let g be -3 - (4/(-12) - 32/12). Suppose g = -14*f + 194 + 128. Is f a multiple of 23?
True
Let l be (-3 - (-104)/14) + (-6)/14. Suppose 3*k + k = l*h - 24, -3*h = 4*k + 10. Suppose 2*a = -5*s + h*s + 127, 0 = -2*s + 10. Is 14 a factor of a?
True
Suppose 20*z = 14*z + 24. Suppose -z*w + 1013 = 41. Does 27 divide w?
True
Let p be 13 + -17 - (-8 + 1). Suppose 7*y - 12 = p*y. Is 17 a factor of 1 + -2 + 35 + y?
False
Suppose 9*y = 8*y - 5*v - 12, y + 4*v + 9 = 0. Suppose -5*r - 3*d = 5 - 103, 3 = y*d. Is 6 a factor of r?
False
Does 27 divide 157265/9 - ((-140)/1050 - 2/(-90))?
False
Let v(j) = 15*j - 12. Let i be v(7). Let r = 223 - i. Is r a multiple of 26?
True
Suppose 5*d - 9061 = -a, -143*d = -139*d - 5*a - 7214. Does 72 divide d?
False
Let q(n) = 5*n + 3. Let v(h) = -h - 15. Let b be v(-21). Is q(b) a multiple of 7?
False
Let t(m) = 41*m**2 + 370*m + 4190. Does 19 divide t(-11)?
False
Let w = 662 - 966. Let a = 371 + w. Is a a multiple of 2?
False
Is (-13 - -2)*(-167 + 128/(-8)) a multiple of 33?
True
Let b be 2 + 1016/24 + 4/6. Suppose -2*i = 3*r - 31, 8*i - 3*i - b = -5*r. Is r a multiple of 2?
False
Let s(n) = -25*n + 539. Let u be s(22). Let o(q) = -2*q**3 + 13*q**2 - 17*q + 5. Let d(p) = p**3 - p**2 + p. Let h(v) = 3*d(v) + o(v). Does 19 divide h(u)?
True
Let w(s) = 18*s**2 + 1200*s - 146. Is 11 a factor of w(-77)?
False
Let y(x) = 4*x + 1. Let z be y(10). Let k = z - -279. Is 40 a factor of k?
True
Let n = 43838 - 36881. Is n a multiple of 23?
False
Let h(u) = 10*u - 26. Let i be h(3). Suppose 4*y + i*s - 294 - 1926 = 0, 0 = -5*y + 2*s + 2775. Is y a multiple of 30?
False
Let z(p) = 13517*p - 1434. Does 10 divide z(2)?
True
Suppose -26*g + 7011 = -35*g. Let f = g - -1238. Does 17 divide f?
True
Let m(q) = -6*q**3 - 35*q**2 + 13*q - 9. Is m(-8) a multiple of 206?
False
Let v(i) = -i**3 + 10*i**2 + 14*i - 13. Let a be v(11). Suppose -4*y = -s + 94, 3*s + 10 + a = -y. Let p = 19 - y. Is 12 a factor of p?
False
Suppose 0 = 128*s - 122*s - 6. Let i(x) = -x**2 + 0*x + 3*x + 2 - 4*x + 6*x**2. Is i(s) a multiple of 3?
True
Does 15 divide 669*(11 - 140/42)?
False
Let g(w) = 28*w**2 - 6*w + 5. Suppose -63*k + 66*k = -36. Let s be (5/(-10))/(2/k). Is 12 a factor of g(s)?
False
Suppose 3*g + 4*o = 1142, -g - o + 1154 = 2*g. Let x = 432 - g. Is x a multiple of 37?
False
Let a be ((-2)/(18/21))/((-1)/(-15)). Let z be (-224)/a + -6 - 36/(-10). Suppose -3*c + 37 = w - 4*c, -z*w + c = -145. Is w a multiple of 4?
True
Let b(q) = 430*q + 467. Does 5 divide b(14)?
False
Suppose -598*d + 21 = -599*d. Is 7 a factor of (-6021)/d + 7/((-147)/(-6))?
True
Let s(t) = -2*t**3 + 9*t**2 + 7*t + 2. Let m(q) = -q - 15. Let d be m(-8). Let k be s(d). Suppose f - 7*f = -k. Does 28 divide f?
False
Let h = -4156 - -6012. Does 32 divide h?
True
Let i(y) = -y**2 - 9*y - 6. Let t be i(0). Is 17 a factor of ((-4)/t)/((-3)/(7956/(-8)))?
True
Let j(y) = 8*y**2 - 2*y + 7. Let p be j(-10). Suppose 0 = 3*i + c - p, -3*c = 9*i - 8*i - 273. Does 38 divide i?
False
Let m = 18653 - 13059. Is m a multiple of 87?
False
Let p(b) = -2*b**2 - 20*b - 8. Let g be p(-8). Does 37 divide (3 + 1960/g)*(-6)/(-4)?
False
Let h be ((-64491)/27)/(-7) - (-26)/(-117). Let g = 811 + h. Is g a multiple of 48?
True
Suppose -192*c + 308 = -199*c. Let s = c - -62. Is s a multiple of 2?
True
Suppose -13*c = -2*c - 33. Let a(z) = 8*z**3 - 5*z**2 + 14*z - 5. Is a(c) a multiple of 26?
True
Suppose -h - 3 = o, -4*o + 0*h - 12 = -5*h. Let f(l) = -6*l**3 + 2*l**2 - 4*l - 3. Is f(o) a multiple of 21?
True
Suppose 3*j + 3844 = 2*m, -m + 692*j - 691*j = -1922. Is 2 a factor of m?
True
Suppose -656*k = -535*k - 4202544 - 1677330. Does 137 divide k?
False
Let m be 13/52 + 522/(-8). Let g = 545 + m. Is g a multiple of 15?
True
Let h = 3825 - 75. Does 13 divide h?
False
Does 24 divide (10810 - 270/(-18)) + -6?
False
Let r = -61 + 84. Suppose 30*q = r*q + 2842. Does 12 divide q?
False
Suppose 108741 + 24643 = 8*k. Does 17 divide k?
False
Let g = -85776 + 125118. Is 79 a factor of g?
True
Suppose 11*g + i + 3117 = 13*g, -5*i = 2*g - 3135. Let f be 0 + 4 - (-3 - -1). Is 31 a factor of g/f + 5*-1?
False
Suppose 0 = 362*d - 715*d + 359*d - 28152. Is 23 a factor of d?
True
Does 203 divide (6 + 12412 + 2)/((-18)/(-12))?
False
Suppose 5*h = -c + 606, 6*c = 3*c - 12. Suppose 119*k = h*k - 1083. Is k a multiple of 4?
False
Let p be (-30)/(-9)*(5 - 35/10). Suppose 0 = -13*k + p*k + 528. Suppose 24 = -6*y + k. Does 2 divide y?
False
Let y(i) = -83*i**3 + 2*i**2 - 56*i - 195. Is y(-3) a multiple of 18?
True
Let w = 95 + -26. Let i = 129 + w. Is 24 a factor of i?
False
Is ((-5 - 1) + 5)/((-2)/(-10)) - -5163 a multiple of 8?
False
Let l = -10870 - -18232. Is 202 a factor of l?
False
Suppose 21795 = -20*u + 162135. Does 10 divide u?
False
Suppose 0 = 3*p + 4*z - 18, 2*p + z = -4*z + 12. Let a be -3 + (-300)/(p/2). Let s = -61 - a. Is 14 a factor of s?
True
Let b(a) = -a + 1. Let l(o) = 37*o**3 + 3*o**2 - 2*o + 7. Let x(m) = 5*b(m) - l(m). Is x(-1) a multiple of 7?
True
Suppose 109 = 8*f - 13*f + 4*i, -68 = 3*f - 5*i. Let x(z) = -z + 85. Is 7 a factor of x(f)?
False
Suppose -4*a + 9788 = 2*z, -86 + 82 = -2*a. Is 6 a factor of z?
True
Let z be (1 + 3)/(2/62). Suppose -18*b = -10*b - 16. Suppose b*p - 2*m = 126, 3*p + m - 61 = z. Is p a multiple of 31?
True
Let y = 84 - 82. Suppose g + y*i = -251, -4*g - 990 - 64 = -2*i. Let l = g + 382. Is 17 a factor of l?
False
Suppose 4*n - 4*q - 776 = 0, -2*n + 0*q + 394 = -4*q. Is n/(1 - 0) - 4 a multiple of 11?
True
Let t be 1475/(-118)*12/(-5). Does 79 divide 10/25 - (-4 + (-24828)/t)?
False
Let h be ((-5)/(25/(-114)))/((-3)/(-20)). Let o = h + -62. Does 10 divide (o/24)/(12/352)?
True
Suppose -5*z + 2*b + 3240 = 0, 3*z - b - 888 = 1057. Is z a multiple of 25?
True
Let j = 7505 - 4817. Is 128 a factor of j?
True
Suppose 114642 = -20*j + 24*j - 2*i, 0 = j + 2*i - 28638. Is j a multiple of 12?
True
Let m be 0*(-1 - (-1)/(-2))/6. Let b(w) be the first derivative of w**4/4 + 22*w + 5. Does 11 divide b(m)?
True
Let r(q) = -8*q + 49. Let t be r(17). Let d = -84 - t. Suppose d*i = -s + 86, 3*i + 0*i - 3*s - 102 = 0. Does 11 divide i?
False
Suppose 4*h - 4 = 4*x, 25 = -5*x + 10*x + h. Is 3 a factor of ((-30)/x)/(155/(-744))?
True
Let u(h) = -11 - 5 + 4*h - 11 + h**2. Let s be u(-8). Suppose -s*k = -60 - 215. Does 8 divide k?
False
Let t = -26 + 35. Let m = t - 7. Suppose 2*b - 21 - 85 = -3*u, m*u - 74 = 2*b. Is u a multiple of 9?
True
Is -4*8035/(-10) + 3/(-3) a multiple of 17?
True
Let h(m) = 19*m**2 + 25 - 27 - 5*m + 11 + m. Is h(3) a multiple of 28?
True
Let v = 254 - 250. Suppose -3*k + 442 = 4*q, -v*k - 20*q + 19*q + 598 = 0. Is 15 a factor of k?
True
Suppose -4*v = -5*w - 30, -w - 25 = -3*v + 4*w. Suppose y + 153 = -3*h, -v*h - y = 149 + 108. Is 23 a factor of ((-131)/3)/(h/12 - -4)?
False
Let r be ((-74)/10)/(16/(-80)). Let v = 35 - r. Does 24 divide 64/48*(18*-4)/v?
True
Suppose 4*k = -l + 