 a factor of n?
True
Let w(c) = c**2 - 10*c - 7. Suppose 7*s + 8 = 11*s. Suppose -9 = s*r + 7. Is 13 a factor of w(r)?
False
Let l be 6/4*(4 + (-28)/6). Let v be (-602 - l)/(-2 + (0 - -1)). Suppose -v - 477 = -7*y. Is 22 a factor of y?
True
Suppose -3*s = -8*s + f + 1149, 0 = 3*f + 12. Let d = s + -11. Does 97 divide d?
False
Let t(x) = 4*x**3 + 3*x**2 + 22 + 8*x**2 - 2*x - 25 + 10*x - 3*x**3. Let f(l) = -2*l**2 + l - 1. Let g be f(2). Is t(g) a multiple of 14?
False
Let s = 2412 + -5682. Does 43 divide (s/(-45))/(41/39 + -1)?
False
Let x(q) = -13*q**2 - 6*q - 3. Let f(u) = u. Let t(z) = -4*f(z) - x(z). Is t(-3) a multiple of 25?
False
Let t = -3062 - -5646. Does 19 divide t?
True
Suppose 5*f + 296 = -49. Let t = f + 109. Suppose 3*o - 2*l = t, o + 3*o + 3*l - 25 = 0. Does 5 divide o?
True
Let o = 54 + -53. Suppose d = o + 7. Is 32 a factor of (-4)/1*(-558)/d?
False
Let c(i) be the second derivative of i**5/5 - i**4/6 + i**3/6 + i**2/2 - i. Let p be c(1). Is 11 a factor of -4*((-28)/8 + p) + 222?
True
Suppose -5*f + 9351 = 3*v, 2*f + 3*v + 427 - 4162 = 0. Is f even?
True
Let n(a) = a**3 - 4*a**2 + 3*a + 3. Let r be n(3). Let x(b) = -2*b**2 + 25*b + 7. Let p(v) = -v**2 + 29*v + 7. Let h(k) = 6*p(k) - 7*x(k). Does 6 divide h(r)?
False
Let n be ((-22)/(-55))/(1/220). Let u = -83 + n. Suppose -4*m = -5*o + 202, -6*o - 3*m = -u*o - 48. Is 7 a factor of o?
True
Suppose -3*d - 3244 = -4*y, 2*d + 1105 - 289 = y. Let n = y + -232. Is 86 a factor of n?
False
Let c(m) be the third derivative of 127*m**5/60 + m**4/12 - m**3/2 - 61*m**2. Is 13 a factor of c(1)?
False
Let a(s) = 7*s**2 - 10. Let u be a(-3). Suppose u*h - 72 = 57*h. Let b = h - -122. Is 18 a factor of b?
False
Let o be 18/(-16)*(26 + -34). Suppose 0 = -5*i + o*i - 852. Does 23 divide i?
False
Let c(a) = a + 29. Let u be c(-24). Suppose -q - 2*q - u*n + 1837 = 0, 2*q + 5*n - 1233 = 0. Does 17 divide q?
False
Suppose d - 9*o = -4*o + 4446, -4*o = 5*d - 22317. Suppose -3*v + 4452 = 2*u, -3*v - u - 4*u = -d. Does 39 divide v?
True
Let f(d) = d**3 - 6*d**2 - 3*d - 18. Let t be f(7). Suppose -512 = 6*z - t*z. Is z a multiple of 3?
False
Let u(s) = -946*s - 12811. Does 17 divide u(-21)?
True
Suppose 0 = -93*s + 47*s + 175122. Is 81 a factor of s?
True
Let f = -7966 + 33775. Is 64 a factor of f?
False
Let l(o) = 4 + 1 + 2*o - 5*o**2 - 4*o - 11. Let r be l(-5). Let m = 34 - r. Does 39 divide m?
False
Suppose 5*u = -v + 45, -5*u = -0*u + 4*v - 60. Does 13 divide (6/u)/(11/572)?
True
Let p = 941 + -642. Suppose 57*d - 60*d - 798 = 4*x, -3*x - 5*d = 593. Let f = x + p. Does 10 divide f?
False
Let r(o) = -12*o + 2252. Does 172 divide r(30)?
True
Let y be 3*-2*6/(-4) - -1. Suppose 5*k + 0*k - y = 0. Does 9 divide k/(4 + (2536/159)/(-4))?
False
Suppose 54*w - 51*w = 15. Suppose 4 = 5*j - 21, w*m = 2*j + 220. Does 10 divide (479/2 - 0) + 23/m?
True
Let t(f) = 1801*f - 3963. Does 11 divide t(3)?
False
Suppose -3*i - 27 - 40 = 5*z, -2*i + 4*z - 8 = 0. Let r = i - -19. Suppose -3*f + 76 = -y - 301, 2*f - r*y = 247. Does 18 divide f?
True
Let h be (-4 + 15)/(-11)*1*273. Suppose 5*y + 623 = 123. Let k = y - h. Is k a multiple of 13?
False
Let a = 37161 + -14993. Does 15 divide a?
False
Suppose b + 4*r + 28 = 6*b, 0 = -2*b + r + 10. Suppose 0*s - 2*s = b*v - 1428, 5*v - 1433 = -2*s. Is s a multiple of 11?
True
Is 61 a factor of 7/(735/2862255) - (-6)/14?
False
Suppose -15 = -3*r + 9. Suppose 2970 = 18*a - r*a. Is a a multiple of 60?
False
Let c = -4680 - -6059. Is c a multiple of 4?
False
Let p = -1739 + 5714. Is 5 a factor of p?
True
Suppose -5*m = -5*d - 138 + 13, 2*d + 4*m + 80 = 0. Suppose -13*b + 3*b = 55*b + 7670. Let c = d - b. Does 12 divide c?
False
Suppose l - 35 = 3*k + k, 76 = 2*l - 5*k. Suppose -2*b + b + 4*x = l, 3*b + 99 = -3*x. Is (-1011)/(-5) - (133/b + 4) a multiple of 27?
False
Let p(s) = -s**2 - 29*s - 33. Let m be p(-12). Suppose -m*i - 420 = -177*i. Is 10 a factor of i?
True
Let o = 251 - 235. Suppose 0 = -o*n + 11*n + 1570. Is 13 a factor of n?
False
Let b(v) = 8*v + 28*v + 35*v + 82 + 48*v. Is b(3) a multiple of 28?
False
Let d = -72 - -60. Let b be (687/d + -1)/(1/(-4)). Is 26 a factor of ((-28)/(-21))/(3/(b + 1))?
True
Suppose 4*g - 7 = 5*p, 2*p + 22 = -5*g - 2*p. Let w be g + (30 - -4) + 3. Let u = w + -31. Is u a multiple of 3?
False
Let v(i) = -5*i - 30. Let a be v(-6). Suppose a = -l + 6*l + 185. Let w = 115 + l. Is w a multiple of 13?
True
Let r = 535 - -4940. Does 31 divide r?
False
Suppose -4*r + 4*c + 1164 = 0, 3*c = -5*r + 602 + 893. Let u = r + -160. Is 17 a factor of u?
True
Let d(f) = 13*f + 8. Let q be d(-9). Let j = q + 111. Suppose n + 25 = b + 6*n, j*n + 122 = 4*b. Is b a multiple of 6?
True
Let m = 10515 - 7305. Is 96 a factor of m?
False
Let p(j) = -15*j**3 + 11*j**2 + 4*j + 2. Let n = 346 + -349. Does 26 divide p(n)?
True
Suppose 4*j = 5*r - 37215, 17*j + r = 21*j + 37203. Is 31 a factor of (1/(-2))/(9310/j + 1)?
True
Let p be (1 + -125)*(-402)/24. Suppose 0 = 2*r + 5*k - 1049, -p = -4*r - k - 2*k. Does 47 divide r?
True
Let w(h) be the second derivative of h**4/6 - 5*h**2 - 21*h. Let n be w(3). Let o(f) = f**3 - 5*f**2 - 8*f - 10. Is o(n) a multiple of 15?
False
Suppose 8*s - 964 = 3*s + 2*u, s - u = 194. Suppose 3*i = 4*h + i - s, 0 = -3*h + 4*i + 139. Let y = h - 20. Is 4 a factor of y?
False
Let n(x) = 56*x**2 + 27*x - 10. Let t(d) = -d**2 + 4. Let u(l) = n(l) + t(l). Is u(4) a multiple of 67?
False
Suppose 1573 = 3*m + 244. Is 45 a factor of (4 - 9) + m + -4?
False
Let w(q) = 1646*q**2 - 247*q + 1245. Is w(5) a multiple of 30?
True
Suppose 10*z - g - 28915 = 51004, -3*g = -2*z + 15981. Is z a multiple of 72?
True
Let n(t) = 360*t - 393. Does 2 divide n(2)?
False
Let p(b) = b**2 + 6*b + 14. Suppose 0*g + g = -3. Let c be p(g). Suppose 0*o + o - 52 = -c*v, -3*v + 36 = -o. Is v a multiple of 4?
False
Let r = 167 + -164. Suppose -2*m = b + r, 22 - 1 = 4*b - 3*m. Is 3 a factor of b?
True
Let y(c) = 6*c + 195. Let a be y(-32). Suppose 245 = -2*m - 15. Let l = a - m. Does 19 divide l?
True
Suppose 23*g + 122*g = 42*g + 183855. Is g a multiple of 7?
True
Suppose -3*f + 1 = -2, 5*p - 5*f - 55 = 0. Suppose -70 = 7*u - p*u. Is 634/14 + -3 + 38/u a multiple of 13?
False
Does 11 divide ((-2)/(-3))/(4/42) - -3502?
True
Is 2 a factor of ((4/((-16)/102))/3)/((-18)/504)?
True
Is 85 a factor of 15608 - (25 - 17 - 13)?
False
Let h(g) = -12 + 44 + 44 + 61*g - 8*g. Is 30 a factor of h(7)?
False
Suppose -15*d = 2*h - 18*d - 2750, -4*h - 2*d + 5532 = 0. Let l = h + -828. Is 71 a factor of l?
False
Let q = 782 + -803. Is 3871/14 + q/(-6) a multiple of 16?
False
Is 31 a factor of 2 + 0 + (-12)/22 + 1809597/803?
False
Suppose -8*p - 646 = -1622. Suppose 113*y = p*y - 3348. Does 9 divide y?
False
Let p(q) = q**3 - q**2 + q + 1. Let x(v) = -v**3 + 6*v**2 - v + 5. Let g(d) = 2*p(d) + x(d). Is g(-4) a multiple of 2?
False
Let x(h) = h**2 + 9*h - 14. Suppose 3*b = 3*z + 36, 0*z - 4*z - 5*b - 30 = 0. Let v be x(z). Does 13 divide 343/2 - (-2)/v?
False
Let j be 20/((-2)/(4 + -2)). Does 75 divide (-7504)/j + (4 - 84/20)?
True
Let l = -1929 + 2053. Suppose -1 = -4*p + 15. Suppose -2*h = -p*b + l + 90, 163 = 3*b + h. Is b a multiple of 27?
True
Let y(o) = 8*o**3 + 2*o**2 - o + 4. Let i be y(2). Suppose -2*s - 259 = p, 5*s - 5*p + 744 - i = 0. Let b = s + 176. Is b a multiple of 5?
True
Suppose 0 = 3*l - 213 + 21. Suppose m = l + 90. Does 11 divide m?
True
Let t = 3812 - 1607. Does 53 divide t?
False
Suppose -1227 - 243 = 14*r. Let t = 182 + r. Does 3 divide t?
False
Suppose -966 = u - 4*l - 14288, -93323 = -7*u + 5*l. Is u a multiple of 21?
False
Let v = -100 - -140. Suppose 4*f + v = 108. Does 3 divide f?
False
Suppose -d + 35 - 43 = 0. Let i be (-6)/(0/(-2) - (-12)/d). Suppose i*h + 67 = 3*q, 3*h + 9 = q - 5. Does 4 divide q?
False
Let a = 8353 - 1000. Is a a multiple of 129?
True
Suppose -552 = -8*z + 192. Suppose 88*r - z*r = -5810. Is 83 a factor of r?
True
Let u be ((-4)/1)/((-4)/3). Suppose 2*i + z + 61 = 0, u*i - 2*z = -0*z - 102. Let n = i + 37. Does 2 divide n?
False
Let f be 22*(7/(-14) - 50/4). Let o = -84 - f. Is o a multiple of 9?
False
Let x(j) = 14*j**3 + 7*j**2 - 4*j - 20. Let q be x(-5). Let m = q - -2514. Is 9 a factor of m?
False
Suppose -132 = -f - f - 5*a, f = -4*a + 66. S