pose -2747 = -5*a - 547. Let f = a + -392. Is 6 a factor of f?
True
Suppose -2*n = 8, -4*n - 20 = -2*r + r. Let f be (r + -4)/((-1)/(3/6)). Suppose f = -3*d, -2*s = -2*d - 100 - 0. Is 4 a factor of s?
False
Let l = 473 - 188. Let d = l + -105. Suppose 2*x + h - d = 0, -270 = -3*x + 3*h - 5*h. Is x a multiple of 15?
True
Is 3 a factor of 11*((18 - 13) + 6/(-2))?
False
Let m(t) = -8 - t**2 + 124*t - 116*t + 1. Let o be m(7). Suppose o = 4*x - 16, -2*j - 4*x = -x - 238. Does 26 divide j?
False
Let d = 7233 + -7084. Is d a multiple of 3?
False
Suppose -2*j + c = 14, 0 = -5*j + 5*c + 11 - 41. Is 35 a factor of 188/(-22) - j - (-5583)/11?
False
Let s(t) = 39*t + 237. Let q be s(-6). Let r(o) = 399*o - 66. Is 27 a factor of r(q)?
False
Is 42 a factor of ((-11508)/(-20) - 21)/((-2)/(-105) - 0)?
True
Suppose -2*b + 2*v + 2740 + 2540 = 0, 4*b + v - 10560 = 0. Is 48 a factor of b?
True
Is 46 a factor of 508/(-3810) + (-37262)/(-15)?
True
Let u = 27 - 23. Suppose 4*r - u - 8 = 0. Suppose h + 109 = 3*h + l, -4*h + 223 = r*l. Does 6 divide h?
False
Does 19 divide (-48 - 0)*(-36518)/248?
True
Let g(j) = 3*j**3 - 224*j**2 + 177*j + 199. Is 67 a factor of g(74)?
True
Let z = 150 - 411. Let k = -93 - z. Is 84 a factor of k?
True
Let p = -97 - -145. Suppose -10*g - p = -488. Is g a multiple of 4?
True
Let n = -2955 + 4152. Is 2 a factor of n?
False
Suppose -4*f = 39 - 23. Is -13 - -240 - (-8)/f a multiple of 9?
True
Let k(i) = 400*i**3 + i**2 + 2*i - 3. Does 66 divide k(2)?
False
Let s = 252 + -34. Let g = s + -24. Suppose 0 = -5*x + g - 4. Is x a multiple of 16?
False
Suppose r - 7*d + 6*d - 252 = 0, -r + 237 = -4*d. Let b = 502 - r. Is b a multiple of 35?
True
Let f(o) = -15*o + 95. Let v = -29 + 5. Does 13 divide f(v)?
True
Let t = 3604 + 1017. Is 29 a factor of t?
False
Let k = -5 - -10. Let p(f) = 2*f**2 - 3*f - 7. Let g(m) = m - 3. Let x(o) = -4*g(o) + p(o). Does 10 divide x(k)?
True
Let d(w) = 994*w + 978. Does 27 divide d(12)?
True
Suppose 28735 = 5*a + t + 1043, -8*a - 4*t = -44324. Does 6 divide a?
False
Let v(b) = -5*b**2 - 75 + 18*b**2 - 12*b + 85. Does 14 divide v(10)?
True
Suppose 4*k + 711 = 3*o, 14 = -5*k - 1. Let f = -96 + o. Suppose 3*y + 20 = f. Is 10 a factor of y?
False
Let v be (3/4)/((-7)/1512). Let x = 294 + v. Suppose -l = m + 2*m - 107, x = 4*m - 4*l. Does 19 divide m?
False
Let a(x) = -x**2 - 19*x + 9. Let h be a(-19). Suppose -737 = -5*y - 4*v, -432 - h = -3*y - 3*v. Is 7 a factor of y?
False
Let s be (0 - -23) + 5 + 0 + -5. Let a(g) = 3 + 3 - 9 + 14*g - s. Does 10 divide a(12)?
False
Let j(h) = 4*h**2 - 51*h - 5. Let q be j(13). Let r(v) = v**3 - 4*v**2 - 19*v - 14. Is r(q) a multiple of 9?
True
Suppose 8*y - 5*p = 11*y - 899, 1204 = 4*y + 4*p. Does 101 divide y?
True
Suppose 58*w - 19 = 56*w + 5*c, w = -5*c - 13. Suppose -b = -w*v + 4*v - 212, -2*v + 836 = 4*b. Is b a multiple of 16?
True
Let w(r) = 27*r + 65. Suppose 0 = -15*h + 4*h - 44. Let m(j) = -14*j - 32. Let k(l) = h*w(l) - 7*m(l). Is k(-9) a multiple of 27?
True
Let z = 2529 + -1028. Is z a multiple of 19?
True
Let s(f) = f**3 + 14*f**2 - 32*f + 18. Let g be s(-16). Suppose 0 = -17*l + g*l - 224. Is 32 a factor of l?
True
Let b be (-40)/(0 - 4) + -8. Suppose -b*o - y = -909, -7*o + 3*o + 1821 = -y. Is o a multiple of 7?
True
Suppose 971186 + 55281 + 297417 = 179*t. Is t a multiple of 86?
True
Let w(d) = -d**3 - 38*d**2 + 5*d + 2925. Is w(0) a multiple of 9?
True
Let f(v) = -167*v + 64. Let h be f(-2). Let k = 1179 - h. Is 11 a factor of k?
True
Suppose 3*l + 18*q = 16*q + 12, -27 = -3*l + 3*q. Is 3/(-4)*(-618 - l) a multiple of 36?
True
Let p = 6024 + 7401. Is 175 a factor of p?
False
Is 7/(-35) + (-776416)/(-80) a multiple of 5?
True
Let q(v) = -2*v**3 - 20*v**2 + 23*v + 42. Let t be q(-11). Suppose -t*d + 3890 = -10742. Is 59 a factor of d?
True
Suppose 3*h + v - 2952 = 0, 4*h + 3926 = 8*h + 3*v. Does 31 divide h?
False
Let g = 2766 + 3437. Is 88 a factor of g?
False
Let j(u) = -4*u - 32. Let n be j(-14). Let l be n/(4/3*18/112). Suppose 0*z + l = 4*z. Is z a multiple of 6?
False
Let j be 8/(24/15) + -1 + 2. Does 3 divide -2 - ((-6 - 83) + j)?
True
Suppose -3*p + 4 = a - 2, 0 = 4*a + 5*p - 24. Let l(j) = 8*j - 40. Let c be l(a). Let b(y) = -y**2 + 8*y + 9. Does 3 divide b(c)?
True
Let q = -2505 - -5435. Does 12 divide q?
False
Suppose 4*u - 53 = 75. Is 809/3 - u/(-96) a multiple of 54?
True
Suppose 14*u - 16 = 22*u. Let q be ((-803)/2)/(u/4). Suppose 0 = 7*g - q - 317. Is 10 a factor of g?
True
Let x = -1704 - -1701. Let h(w) be the second derivative of w**4/4 + 6*w**2 - 2*w. Is 26 a factor of h(x)?
False
Let f(i) = -3*i**3 + 7*i**2 + 13*i - 38. Let u be f(-6). Suppose -3*y + 5*c = 2*c - 573, 4*y = -c + u. Is y a multiple of 39?
True
Let w(q) = q**3 - 4*q**2 + 3*q - 1. Let z be w(2). Is (z + (-1 - 7))*-17 a multiple of 11?
True
Let f(w) = 7*w - 60. Let z be f(8). Is (-1286)/z - (-6 + -8)/28 a multiple of 17?
False
Let t(s) be the first derivative of -12 + 44*s + 8*s**2 - 2*s**2 - 5*s**2. Is 18 a factor of t(23)?
True
Let i = -5477 - -9712. Is i even?
False
Is 17 a factor of ((-1502928)/(-1377) - 10/85) + (-2)/6?
False
Let y(i) = 161*i + 49. Does 7 divide y(37)?
True
Let f(w) = -w**3 - 10*w**2 + 6*w + 2. Let i be f(-11). Suppose -3*t = -4*y + i, 0 = -y + 3*t - 2*t + 15. Is 4 a factor of 2/6 + 92/y?
True
Suppose -98*o + 20484 = -89*o. Let c = -1331 + o. Does 63 divide c?
True
Let o(n) = 20*n - 13. Let u be o(1). Suppose 3*d - u*d = -1040. Does 29 divide d?
False
Let t = 1497 - 823. Let c = -576 + t. Does 14 divide c?
True
Suppose 442 = -5*l + 3*q, -2*q + 0 + 8 = 0. Let m be 1*l - (0 - -2). Is 9 a factor of (-7)/(-35) - m/10?
True
Let x be ((-405)/(-20))/(-3)*80/6. Let s = -88 - x. Suppose s*a - 158 = 192. Does 15 divide a?
False
Suppose z - 2*y - 3267 = 2959, 3*y = -4*z + 24849. Is z even?
True
Suppose -781 = 2*m + 21. Let v = 572 + m. Suppose 3*i = 9 + v. Does 21 divide i?
False
Suppose -4*k = -3*k - 2. Suppose -3*a - k*a = 4*o - 580, 0 = -2*a + 4*o + 232. Suppose 0 = -5*y + a - 16. Is 10 a factor of y?
True
Let h be (58/(-7) + -8)*(7 - 0). Let p = 213 + h. Is 11 a factor of p?
True
Let j(c) = -74*c**3 - 47*c**2 - 128*c + 4. Is 10 a factor of j(-4)?
True
Suppose -354*n + 6432 = -366*n. Let d = n - -1305. Is 6 a factor of d?
False
Let v = 37929 - 25840. Is 11 a factor of v?
True
Let z(t) = -5*t + 6. Let x be z(0). Suppose -x*r = 11 + 61. Is (25 - -2)*(-8)/r a multiple of 15?
False
Suppose -m - 587 = 3*f, f - 17 = -m - 596. Let d = -463 - m. Does 7 divide d?
True
Let s = -30639 - -55202. Is 11 a factor of s?
True
Suppose -193*a + 16420 = -191*a + y, -3*a + 24637 = -2*y. Is a a multiple of 38?
False
Let x(o) = o**3 - 16*o**2 + 16*o - 13. Let p be x(15). Suppose p*d - 976 = 2*u, u = -d - u + 494. Is d a multiple of 13?
False
Suppose -171256 - 1374421 = -95*j + 170498. Is 30 a factor of j?
False
Let c = 13 + -11. Let k(y) be the second derivative of 17*y**4/12 - y**3/3 + y**2/2 - 5*y + 14. Is 10 a factor of k(c)?
False
Let z(f) = -258*f**3 + 253*f**3 - 6*f**2 - 6 - 16*f - f. Is z(-6) a multiple of 20?
True
Suppose -5490 - 12990 = -10*z. Suppose 0*u + z = 4*u. Is 11 a factor of u?
True
Let b be 1/(-3) - (-5533)/(-33). Let x = b - -203. Is 4 a factor of x?
False
Let b = 150 + -152. Is (-1 + 1/3)/(b/735) a multiple of 52?
False
Let x(y) = -2*y**2 - 59*y - 64. Let b be x(-28). Is 9 a factor of 30/(-24) + 9205/b?
True
Let a(r) be the second derivative of r**5/20 - r**4/12 + r**3/2 - 11*r**2/2 + r. Let l be a(5). Let w = l + -56. Does 16 divide w?
True
Let z(d) = d**3 - 15*d**2 + 9*d + 11. Suppose -24*x + 2*x = -330. Is z(x) a multiple of 6?
False
Let v = 367 - 367. Suppose -6*g + 11*g - 5*z = 805, 5*g + 3*z - 821 = v. Does 17 divide g?
False
Let m(p) = -618*p + 9844. Is m(-17) a multiple of 55?
True
Suppose -2*j + 8*k - 5*k + 9 = 0, 5*j - 9 = 3*k. Is 8 a factor of (j + (-4 - -1))*(-10668)/126?
False
Let d(x) be the third derivative of -x**6/120 - x**5/5 + 3*x**4/8 - 2*x**3 + 161*x**2. Suppose j = l - 9 - 8, -38 = 2*j - 3*l. Is d(j) a multiple of 10?
True
Does 38 divide 105 + 4763 - (0 - 12/(-3))?
True
Suppose 4194981 = 239*y - 1911469. Is y a multiple of 210?
False
Let c = -127 - -197. Let g be (-5 + 0)*(-1)/(369/(-45) + 8). Let f = g + c. Is f a multiple of 14?
False
Let v = 7