Let i(u) = 5*f(u) - 3*t(u). Let j be i(2). Suppose j*y = 4*y + 12. Is 6 a factor of y?
True
Let u = -8 - -13. Suppose -11 = 2*z - 5*c - 44, 4*z + u*c = -9. Suppose z*s + 32 = 4*i, 0 = -2*i - 3*i + s + 40. Is i a multiple of 8?
True
Let f be -12*1*(-4)/12. Suppose f*d - 15 - 33 = 0. Suppose d*v - 25 = 7*v. Is v a multiple of 2?
False
Suppose -5*t + 3*l + 3473 = 0, l + 1398 = 2*t + 2*l. Does 41 divide t?
True
Suppose -3*r + 2*p = 20, 5*p + 5 + 20 = 0. Suppose t - 20 = 3*h, 0*h - 94 = -4*t - 2*h. Let f = t + r. Is f a multiple of 2?
False
Suppose 0*o + 12 = -2*o. Let r(s) = -s**2 - 5*s + 2. Let k be r(o). Does 7 divide k/6*21/(-2)?
True
Let i be (6 - 3)/((-3)/(-5)). Suppose w - 3*w + 28 = -3*d, 20 = 5*w + i*d. Suppose h - w + 0 = 0. Does 7 divide h?
False
Suppose 324 = 3*a + 78. Let c = a - 46. Is 12 a factor of c?
True
Let q(v) = -v**3 - 7*v**2 - 5*v + 8. Let u be q(-6). Suppose -2*m + 8*a - 3*a = -210, u*m + 3*a = 242. Is m a multiple of 11?
False
Let z be ((-30)/20 - 2/4) + 55. Let c = z + 35. Does 22 divide c?
True
Is 13 a factor of (-1)/(-2) - 1*14934/(-12)?
False
Let d = 110 + -121. Let r = 29 + d. Does 6 divide r?
True
Suppose -r + 9 = -2*q - 3, -3*r - q = -1. Suppose -r*o + 5*o = 105. Is o a multiple of 4?
False
Let s = -57 + 61. Suppose 2*i + j = s*j + 136, -j = 3*i - 226. Is i a multiple of 37?
True
Let r = -1466 - -2299. Is 7 a factor of r?
True
Is -296*(-10)/40 + -2 a multiple of 6?
True
Suppose -2*v - 5 + 3 = 0. Let w = 17 - 14. Does 6 divide (v/w)/((-13)/702)?
True
Is (-2727)/(-5) + 84/(-35) + 2 a multiple of 3?
False
Let l be 5 + -5 - (-1)/1. Let a(q) = q**2 + 7*q + 6. Let z be a(-5). Is 11 a factor of (-141)/z + l/(-4)?
False
Suppose -4*g = -0 - 8. Let d = 3 - g. Is 88 + d + (-5 - -2) a multiple of 9?
False
Suppose 2*n + 20 = 28. Is (4 + 40)/n + -1 a multiple of 2?
True
Suppose -29*h = -31*h + 2212. Is 14 a factor of h?
True
Let g = 1 - 8. Let m(h) = h**3 + 8*h**2 + 6*h + 2. Is m(g) a multiple of 9?
True
Let o be -4 - ((-8)/(-4) - 9). Does 19 divide 3/4 + o/((-48)/(-5620))?
False
Let t(m) = -m**2 + 8*m + 13. Let o be t(7). Let p = o - 16. Suppose g + 3*k = 50, 5*g + k = -p*k + 250. Is 10 a factor of g?
True
Is 57 a factor of (-35 - 10)/((-1)/((-190)/(-15)))?
True
Let k(f) = f**2 - 12*f - 5. Let j be k(15). Let n = j + -25. Is 11 a factor of n?
False
Suppose 233 - 2589 = -31*r. Is 70 a factor of r?
False
Let f be (-16532)/(-68) + 4 - 10/85. Is 38 a factor of (0 - 0)/(5/(-5)) + f?
False
Suppose 0 = v + 2, -5*l - v - 193 = 519. Let h = l - -246. Is 8 a factor of h?
True
Let o(v) = v**3 + 7*v**2 - 5*v + 16. Let a be o(-8). Let k(p) = 3*p**2 + 11*p + 2. Is 21 a factor of k(a)?
False
Let d(u) = 2*u**3 + u**2 - 7*u + 19. Does 10 divide d(5)?
False
Let s(t) = -t + 8. Let o be s(6). Suppose 5*x + 12 = o*a, -3*x = -3*a + a + 8. Is 48/a - 4/(-2) a multiple of 9?
False
Suppose 2*j + 5*b + 17 = 0, -4*b - 20 + 0 = 0. Let d be 1/(116/28 - j). Let w = 3 + d. Is w a multiple of 10?
True
Let k be (4/(-10))/(7/210). Let t(b) = -b**3 + 6 + 3*b**3 - 12*b**2 - 3*b**3. Does 4 divide t(k)?
False
Let p = 6 + -2. Suppose -p*c = -203 - 157. Is c a multiple of 30?
True
Let w = -122 - -176. Suppose 5 = -b + w. Does 9 divide b?
False
Let x(s) = -4*s**2 + s + 2. Let a be x(-2). Let h = a + 52. Does 12 divide h?
True
Let s = 663 - 183. Is 8 a factor of s?
True
Let c = 1100 + 364. Is c a multiple of 97?
False
Let l be 6/4*(7 - 5)*107. Suppose -5*k = -l - 209. Is k a multiple of 17?
False
Let j = 11 - 9. Suppose 2*s - 3*c - 171 = 0, -54 = -j*s + 5*c + 119. Is s a multiple of 21?
True
Suppose 0*y + 9 = y. Suppose 13*i - y*i = 176. Is i a multiple of 22?
True
Suppose -9 = -m + l + 16, -5*l - 35 = -2*m. Is 4 a factor of m?
False
Let c = -74 + 78. Suppose -q - c*j = -83, 2*j - 154 = -q - q. Does 15 divide q?
True
Let m be 4/(2*(-3)/(-1398)). Suppose g + 2*g + m = -2*d, -1240 = 4*g + 2*d. Let p = -205 - g. Is p a multiple of 27?
False
Let q be -6 + (-3)/(-3) - -3. Let b be q/3 - (-2)/3. Is (b - -1 - 0) + 2 even?
False
Suppose 2*x - 4*x = -12. Let w(f) be the second derivative of -f**4/12 + 4*f**3/3 - 2*f**2 + 15*f. Is 7 a factor of w(x)?
False
Suppose -7*u + 3*u - 4*k - 200 = 0, 3*u + 150 = 5*k. Is 20 a factor of -12*(-3)/((-45)/u)?
True
Let v = 121 + -89. Is 6 a factor of v?
False
Let z(k) = 27*k**3. Let q be z(-1). Let r = q + 51. Is r a multiple of 12?
True
Is (5*(-84)/30)/(2/(-15)) a multiple of 16?
False
Let p be -35*(48/(-30) - -2). Is 8 a factor of ((-514)/p)/1 - 30/(-105)?
False
Suppose -12 - 110 = -2*i. Is 18 a factor of i?
False
Suppose 2*q - 823 = -w, -4*q - w + 1119 = -526. Does 4 divide q?
False
Suppose 2 = a - 3*a. Is 3 a factor of 2 - (-2 - 5) - (a + 3)?
False
Let b be ((12/3)/1)/1. Suppose -4*i = 2*v - 14, b*v + 2*i - 13 = 9. Does 5 divide v?
True
Let c(g) be the first derivative of 21*g**2 + 3*g - 3. Let h be c(-1). Let o = -18 - h. Is o a multiple of 5?
False
Suppose -4*a + z - 6 - 22 = 0, -26 = a - 5*z. Let r be (a/4)/(-3)*12. Suppose -28 = -r*j + 5*j. Does 17 divide j?
False
Let p(j) be the first derivative of 7*j**4/2 + j**3/3 + 2*j**2 - 5*j - 1. Is p(2) a multiple of 17?
True
Let k(i) = 7*i**2 + 2*i - 6. Does 17 divide k(-3)?
True
Let q be ((-22)/(-55))/(1/195). Let c = q + 279. Does 5 divide (-8)/36 - c/(-27)?
False
Suppose -o + 18 = 16. Suppose f + t = -3*t + 126, 0 = 5*f + o*t - 558. Is 22 a factor of f?
True
Let x(b) = -2*b**2 - 3*b + 12. Is x(0) even?
True
Suppose 0 = -3*j - 2*y + 1170, 0 = 4*j + j - y - 1937. Suppose 0 = 5*c + 25, -4*r + 4*c = -j - 4. Does 27 divide r?
False
Let c = -12 - -18. Is 28 + c*10/(-15) a multiple of 12?
True
Is (-2253)/(-7) - 4/(-28) a multiple of 16?
False
Let u = 111 - 106. Suppose -4*z = -t - 565 - 815, 2*z - 690 = -u*t. Does 65 divide z?
False
Suppose 4*r + 3*m = 1096, 3*r - 5*m + 8*m - 825 = 0. Does 18 divide r?
False
Let o(u) = -u**3 + 19*u**2 + u - 19. Let r be o(19). Suppose -79*i + 80*i - 23 = r. Is 3 a factor of i?
False
Let f(s) = 4*s**2 + 8*s - 22. Is 17 a factor of f(6)?
True
Let h be -2 - -2 - (-6 + 21). Let q be (-15 - h) + (6 - 0). Is 4 a factor of 1*16/q*3?
True
Suppose -10*s - 5 = -11*s, -3*s + 1101 = 3*v. Does 38 divide v?
False
Suppose -33 = -3*f - 159. Let p be (-14)/f - 5/(-3). Let t = p - -20. Is t a multiple of 22?
True
Let x(r) be the first derivative of r**3 + r**2 + 7*r + 28. Is x(5) a multiple of 14?
False
Suppose -x = 5*x + 24. Is 16 a factor of ((x - 0) + 84)/((-1)/(-2))?
True
Let b(q) = 0*q**2 - 2*q**2 + 35 + 3*q**2 + 3 + 9*q. Is 16 a factor of b(-15)?
True
Let m(r) = -r - 12. Let f be m(-15). Suppose f*k - 4 = 2*k. Suppose 5*z - 346 = -k*i, 2*z - 78 = -2*i + 94. Is 28 a factor of i?
True
Suppose 0 = 3*z + g - 1230, 5*z - 1021 = 2*g + 1029. Does 41 divide z?
True
Is 9148/6 - ((-200)/30)/(-10) a multiple of 41?
False
Let v(q) = 4*q + 44. Is 2 a factor of v(-10)?
True
Suppose 49*w - 3630 = 34*w. Is 22 a factor of w?
True
Let y(a) = 116*a - 139. Is 11 a factor of y(7)?
False
Let o = 113 + 34. Let r be (1 - -5)/((-2)/34). Let b = r + o. Is 13 a factor of b?
False
Let k be 0 + 2 + 3 + 0. Suppose k*r = a - 4, 2*a - 7*a + 170 = 5*r. Let b = -9 + a. Does 4 divide b?
True
Suppose -4*b = 18 + 30. Is 34 a factor of ((-579)/b)/((-2)/(-8))?
False
Suppose 0 = -4*f + f + 1224. Is 19 a factor of f?
False
Let h(a) = 108*a**2 + a - 1. Let g be h(1). Suppose -2*t + 48 = 5*m, 0 = t - 5*t - 4*m + g. Suppose 3*f - 15 = 2*v, -2*f - 5*v + t = -0*v. Is 5 a factor of f?
False
Let v = 87 + -78. Suppose -4*j + 74 = s, v*s + 29 = j + 4*s. Is j a multiple of 6?
False
Suppose 2*m - 791 = -281. Is m a multiple of 17?
True
Suppose -15*d + 10*d + 20 = 0. Is 11 a factor of (-3 - -1 - 47)*(d + -5)?
False
Is 2 a factor of 2794/10 + (-13)/((-195)/(-6))?
False
Let c be (69/(6 - 3))/(-1). Let m = c + 38. Does 15 divide m?
True
Suppose -25*c = -33*c + 912. Does 6 divide c?
True
Suppose -3*x = 5*y - 7*x + 1, -23 = -5*y - 2*x. Suppose y*g = -g + 176. Is 9 a factor of g?
False
Let o = 5 - -4. Let a(i) = i**3 - 8*i**2 - 5*i - 1. Let s be a(o). Let u = -23 + s. Does 6 divide u?
True
Let n be 1/(1*2/(-74)). Let h = 4 - n. Let y = h + -6. Is y a multiple of 18?
False
Suppose m - 26 = 4. Suppose 2*p - 36 = m. Is 33 a factor of p?
True
Suppose 15*d = 130*d - 141335. Does 21 divide d?
False
Let y = 2598 + -303. Is y a multiple of