Let i be (-1 + -2)*(0 + -1)*103. Suppose 3275 = 8*k - i. Is 62 a factor of k?
False
Let v = 11844 + -9380. Does 2 divide v?
True
Suppose 0 = -212*q + 228*q - 1032192. Is 288 a factor of q?
True
Let o(r) = 25*r - 17. Suppose 4*w = -13*w + 187. Is o(w) a multiple of 13?
False
Suppose -115 = 5*u - 4*m, -u = -4*u - 2*m - 91. Let o be (45/u)/((-1)/(-54)). Let v = -47 - o. Is 6 a factor of v?
False
Let i = 309 + -196. Suppose i*a - 118*a = -15. Suppose -a*t + 5*f + 582 = f, 0 = -3*t - 3*f + 603. Is t a multiple of 22?
True
Suppose -z = -9069*v + 9071*v - 6224, -5*v + 2*z = -15524. Does 12 divide v?
True
Let s be (-38876)/(-16)*1 + 5/20. Suppose -s = -23*y + 5*y. Is 40 a factor of y?
False
Let r(i) = 664*i**2 + 80*i - 279. Is 45 a factor of r(4)?
True
Suppose -8*k + 4*k - 12578 = -g, -3*g - 3*k + 37704 = 0. Is g a multiple of 147?
False
Let z(f) = f**2 - 15*f + 6. Let a be z(14). Let s be (a/6)/(-2)*12. Suppose t - q = s + 23, -2*q = 8. Is t a multiple of 9?
True
Let h = -896 + 16527. Is h a multiple of 115?
False
Let n(a) = 8*a - 29. Let z be n(8). Suppose 6*c - 13 = z. Suppose c*l - 10*l + 108 = 0. Does 7 divide l?
False
Suppose -331*o - 10248 = -334*o. Is 14 a factor of o?
True
Let q be (-27)/(-2) - (-84)/(-56). Suppose -3*u + 241 = g, q*u + 168 = 14*u - 3*g. Is 5 a factor of u?
False
Let g(w) be the third derivative of 5*w**6/24 - 7*w**5/60 + 3*w**4/8 - 3*w**3/2 + 11*w**2 - 2*w. Does 10 divide g(2)?
False
Is 70 a factor of (35 + (15 - -1))*((-280)/(-3))/4?
True
Is 5 a factor of (18/8)/((-81)/(-117720))?
True
Suppose 3*v + 70 = -26. Let i = v + 34. Does 44 divide 1130/6 - 1/6*i?
False
Suppose 2*m = -5*u - 2*m + 961, 4*u + m - 771 = 0. Let q = -3 + 6. Suppose 2*z - o = 127, 3*z + q*o - 2*o = u. Is 16 a factor of z?
True
Suppose 0 = 5*k - 222 - 268. Let q(z) = 29*z + 2937. Let l be q(-102). Let g = k + l. Is g a multiple of 12?
False
Does 172 divide 6/1 + (-1 - -10827 - -4)?
True
Let s(n) = n**3 - 2*n**2 - 5*n. Let w be s(-2). Is 37 a factor of 457 + (8/5)/(w/(-15))?
False
Suppose 32 = 10*v - 38. Suppose v*i - 3*i = 0, 0 = 2*s - 4*i - 448. Is s a multiple of 7?
True
Suppose 16*j - 2 = 15*j. Let l(c) = 72*c + 30. Let d(r) = r - 2. Let a(z) = 15*d(z) + l(z). Is 34 a factor of a(j)?
False
Let c be (-5)/30 + (-2343)/(-18). Suppose -13*h = -8*h - 1130. Let l = h - c. Is 12 a factor of l?
True
Suppose 2*t - 4689 = 40*d - 43*d, t = -5*d + 2355. Is 26 a factor of t?
True
Is 180/(-24)*(-5424)/30 a multiple of 2?
True
Let q(d) = -2*d**2 - d**3 + 4*d**3 + 13 - d - 7*d**2 - 4*d**3. Let f(l) = 3*l**3 + 27*l**2 + 2*l - 38. Let t(a) = 6*f(a) + 17*q(a). Does 28 divide t(-7)?
False
Suppose -46 = -11*k + 9. Suppose -k*n + 417 + 8 = 5*d, d - 80 = -2*n. Does 4 divide d?
False
Let u(c) = -c**3 + c**2 - 10. Let d(x) = -3*x**3 + 4*x**2 - x + 142. Let b(q) = d(q) - 4*u(q). Let z(a) = -a**2 + 3*a + 4. Let t be z(4). Does 14 divide b(t)?
True
Let n(t) = t**2 - 6*t + 4. Let u = -91 - -95. Let i be n(u). Does 26 divide 4*i/(-32)*188?
False
Let n = 6129 + -6131. Suppose 2*g = 0, -3*h = h - 2*g. Does 4 divide -50*n/(4 - h)?
False
Let l(a) = 99*a**3 + 3*a**2 - 4*a + 2. Let j be ((-2)/(-3))/(4/(-6)). Let b be (-28)/(-42) + j/(-3). Is 20 a factor of l(b)?
True
Let s(p) = -p**3 - 4*p**2 - 19. Let m be s(-6). Suppose -19656 = -67*k + m*k. Is k a multiple of 26?
True
Let q(t) = 12*t - 6. Let l(o) = o**2 + o - 1. Let b(k) = 2*l(k) - q(k). Let y be b(10). Suppose -3*m + 2*j + 156 = -0*j, 0 = 2*m + j - y. Is m a multiple of 13?
True
Does 24 divide -4 - ((-6)/(-10) - 483/105) - -12675?
False
Let u(j) be the second derivative of 2*j**3/3 + 9*j**2 + 17*j + 1. Is u(7) a multiple of 17?
False
Suppose 47*y - 75432 = 259302. Is 23 a factor of y?
False
Let t = -28437 - -54501. Is t a multiple of 201?
False
Let f(n) = 4*n + 3*n**2 + 4*n**2 - 6*n + 27*n. Let j be f(-5). Let z = 134 - j. Is z a multiple of 6?
True
Let o = -859 - -863. Suppose 3*m + 3783 = 8*m - o*p, m + 2*p - 765 = 0. Is 23 a factor of m?
True
Suppose 405419 = 41*p + 16206. Does 11 divide p?
True
Let t be -12 - -9 - (-13*1 + 1). Suppose 0*s = s - t. Suppose -s*f + 122 + 256 = 0. Is 27 a factor of f?
False
Let l(d) = 249*d + 519. Does 33 divide l(5)?
False
Suppose -4*p + 14*b + 33252 = 11*b, p + 6*b = 8340. Is 92 a factor of p?
False
Let x(k) be the first derivative of k**4/4 + 23*k**3/3 + 10*k**2 - 26*k + 3. Does 16 divide x(-21)?
False
Let l = -90 + 106. Suppose -2*r + 4 + l = 0. Let k = 110 - r. Is 10 a factor of k?
True
Let x(p) = p**3 + 24*p**2 - 79*p + 52. Let j be x(-27). Is -2 - (-404)/2 - (3 + j) a multiple of 14?
False
Suppose -13724 = -45*h - 404. Let o(p) = 27*p**3 - 3*p**2 + 1. Let i be o(2). Let c = h - i. Is 13 a factor of c?
True
Let y = -3989 + 7798. Does 16 divide y?
False
Is 3/(-8) + 12030/560*7 a multiple of 30?
True
Let u = -99 + 101. Suppose 5*y = a + u*a + 9, 9 = -2*y - 3*a. Suppose -3*t + 4*n + 229 = -0*t, -5*t + 3*n + 389 = y. Is t a multiple of 12?
False
Let m = -25 + 15. Let w(i) = 2*i + 26. Let j(k) = 3*k + 27. Let l(x) = -3*j(x) + 4*w(x). Is l(m) a multiple of 7?
False
Let z = 142 + -108. Suppose 3*i = 20 + z. Does 6 divide i?
True
Let d(r) = 2*r**2 - 22*r - 194. Does 5 divide d(-13)?
True
Let p(w) = -w**2 + 127*w + 38. Let g be p(38). Suppose 0 = n + 3*n - g. Does 57 divide n?
True
Suppose 47*n = -5*n - 16*n + 83300. Is 7 a factor of n?
True
Suppose 94*d - 710583 = 18*d + 311389. Is d a multiple of 113?
True
Suppose -5*v + 16 = -3*r, -3*v + 3*r - 5*r = -21. Suppose -v*m + 8*m = 261. Is 10 a factor of m?
False
Let v be 1*(-1)/(-8) + (-1899)/24. Let c = v + 443. Is 28 a factor of c?
True
Let f(p) = -4*p - 34. Suppose 2*g - 5*g = 4*g. Suppose g = -18*t + 7*t - 154. Does 11 divide f(t)?
True
Let c = -25 + 33. Let u be -2*((-108)/c)/9. Let d(n) = 7*n**2 - 2*n. Is 21 a factor of d(u)?
False
Let j = -14442 + 27572. Is j a multiple of 10?
True
Suppose u - 11 = -5*g, 6 + 3 = -g - 3*u. Suppose 0 = l - 3*f - 44, -l + 6*l = -g*f + 166. Suppose 4*y + 2*p - l = p, -y = 2*p - 14. Does 4 divide y?
True
Let m(i) = i**2 + 11*i - 25. Let t(u) = -19*u**2 - 3*u - 3. Let d be t(-1). Is m(d) a multiple of 26?
False
Let u = 6 + -6. Let i(g) = g**2 + g + 44. Let o(w) = w**2 + 44. Let l(q) = -2*i(q) + 3*o(q). Is l(u) a multiple of 11?
True
Let u(s) = -4*s**2 + 10*s + 4. Let n be u(3). Let w(d) = 0*d**3 - 7*d**3 - 5*d + d - 2*d**2. Is 28 a factor of w(n)?
True
Let c be (-5 + 2)/(13/(-78)). Suppose -176 = c*u - 19*u. Is u a multiple of 4?
True
Let s(h) = 5*h + 36. Let i be 586/10 - (-14)/35. Let p = i - 47. Is s(p) a multiple of 10?
False
Let q = 170 - 307. Let h = q + 163. Is h a multiple of 13?
True
Let y(v) = -2*v**2 - 7*v - 8. Let f be y(-2). Let o(j) be the first derivative of -7*j**2 + 6*j + 13. Is o(f) a multiple of 5?
False
Suppose -12*t = -3*b - 15*t + 2649, -b - 2*t = -881. Is 5 a factor of b?
True
Suppose -h = -266 + 170. Let s be 5/(70/h) - (-13)/91. Suppose 3*f + s = 5*w, -5*w + 4*f = -f - 5. Is w a multiple of 2?
True
Is (-170778)/(-36)*11/(-44)*-24 a multiple of 32?
False
Let t(g) = -g**3 - 2*g**2 + g - 3. Let u be t(-2). Let d(y) = -y**3 - 2*y**2 + 4*y + 3. Is d(u) a multiple of 2?
True
Is 24 a factor of (-1 + -15)/(8 + 9513/(-1188))?
True
Does 3 divide (40/50)/((46/(-4845))/(-23))?
True
Let w(i) = 552*i - 5. Is 3 a factor of w(10)?
False
Let x(a) = 5*a**2 - a + 24. Let v(l) = -l**2 + 1. Let t(q) = 3*v(q) + x(q). Let n be (-3)/(-2) - (-45)/(-6). Is t(n) a multiple of 15?
True
Does 25 divide (-41)/((-451)/6) - 14931/(-33)?
False
Does 11 divide 789/1 + (42 - 50)?
True
Let b = -4487 + 9617. Does 9 divide b?
True
Suppose 0 = -194*z + 192*z + 10. Suppose -7*t + 1538 = -6*t + z*c, -4*t = 4*c - 6072. Is t a multiple of 50?
False
Suppose -3*z = -9 - 3. Suppose -848 - 4581 = -47*i + 4770. Suppose -f - 5*d = -97, z*f + d - 209 - i = 0. Is f a multiple of 16?
False
Let g(b) = 212*b**2 - 98*b + 330. Does 23 divide g(5)?
False
Let m = 13659 - 3187. Does 269 divide m?
False
Let q = 125 - 80. Let m be (-1)/2*(1 + -1). Suppose 4*f - 4*n = -q + 253, m = -4*f + 3*n + 206. Is f a multiple of 10?
True
Let h = 246 - 247. Is 8 a factor of ((-14)/28)/(h/178)?
False
Suppose i + 4*q = q + 13, -6 = -3*i + 2*q. Suppose i*a + 2*z = -0*z + 874, -5*a + 1112 = -4*z. Does 8 divide a/(-33)*18/(-4)?
False
Let k(q) = 2*q**2 - 176*q + 4107. Is 1