p be h(8). Suppose w + 2*b - 148 = -w, p*w = 5*b + 314. Is 19 a factor of w?
True
Suppose -355*m + 3403189 - 53764 = 0. Is m a multiple of 111?
True
Let g(l) = 13*l**2 - 130*l + 8. Is g(-4) a multiple of 4?
True
Let l = 6268 - -2902. Is 73 a factor of l?
False
Let s be 0 + 48/22 - 14/77. Suppose -z = s*w + 1, z - 1 = -2*z - 4*w. Does 44 divide 6232/32 + z/(-4)?
False
Suppose -3*a - 5*b = -20, -12*b + 40 = 3*a - 11*b. Suppose -4298 = -22*m + a*m. Is 29 a factor of m?
False
Suppose 739702 + 181438 = 55*b. Does 25 divide b?
False
Suppose 6*s - 4 = 4*s - g, 0 = g - 4. Suppose 2*t + s*t + w - 576 = 0, 4*w + 875 = 3*t. Is 11 a factor of t?
False
Let l(u) = -82*u - 34. Suppose 11*b = 8*b - 6. Is l(b) a multiple of 10?
True
Suppose 0 = 10*v - 98803 - 4289 - 21708. Does 30 divide v?
True
Suppose 3 = p, -6891 = -4*s - 2*p + p. Does 7 divide s?
True
Let k(g) = -297*g**2 + 4*g - 3. Let c be k(2). Let i = 587 + c. Let v = 929 + i. Does 13 divide v?
False
Suppose -3*r + 21088 = 2*u, 2*r - 15*u = -11*u + 14032. Is 80 a factor of r?
False
Suppose 6*t = 769 - 109. Let n be (-70)/(-22) - 20/t. Suppose 0 = -n*a - 6, -3*l + 2*a = l - 128. Is l a multiple of 3?
False
Suppose 30752 = 3*b - 47*h + 52*h, 40980 = 4*b + h. Does 52 divide b?
True
Suppose 162*j - 562119 = 974451. Does 31 divide j?
False
Let l(h) = h**3 + 47*h**2 - 6*h + 20. Let j be l(-26). Suppose j - 5543 = 27*r. Is r a multiple of 59?
False
Suppose -54499 = -17*z + 42949 + 11709. Is z a multiple of 14?
False
Let z(p) = -238*p - 4444. Is z(-40) a multiple of 27?
True
Suppose r + w = 11627, -r - 3*w = -4305 - 7330. Does 63 divide r?
False
Suppose -5*y - 14 = 16. Let t(i) = 2*i**2 + 7*i + 1. Let a be t(y). Suppose -s + a = -50. Is s a multiple of 9?
True
Let b(j) = -8*j + 8. Let q be b(6). Let x = 37 + q. Is -6*2/x + 22 a multiple of 15?
False
Let d be 16/24 - (1 + 46/6). Let k(i) = -i**2 - 12*i - 35. Let p be k(d). Is 14 a factor of 505/3 + 1/p?
True
Is 119 a factor of 17 + (-2 - 14) + (-1 - (-23919)/1)?
True
Let u(f) = f**2 + 4*f + 6. Let o be 4/22 - 136/22 - -3. Let q be u(o). Suppose 736 = -q*n + 11*n. Does 10 divide n?
False
Suppose -m + 53*c + 2280 = 49*c, 0 = 2*m - 4*c - 4564. Is m a multiple of 3?
False
Let m = 67278 + -43527. Is 13 a factor of m?
True
Let y = 2 - -1. Suppose -y*q + 7 = -4*j - 6, 0 = q + 3*j. Suppose -16 = 4*z, -9 + 57 = 2*m + q*z. Does 15 divide m?
True
Suppose q + 4 = 2*c, -2*c = -24*q + 19*q + 4. Is -18*(4 + -8)*q a multiple of 8?
True
Suppose 105*x + 6*x - 1866132 = -37*x. Does 39 divide x?
False
Suppose -4*m - 12 = 0, 2*v = -14*m + 16*m + 4. Let d(i) = -i + 1. Let c(h) = 126*h - 1. Let y(p) = -c(p) + 6*d(p). Is 20 a factor of y(v)?
False
Let n = 575 - 197. Suppose n = 5*y + 2*y. Suppose -j - y = -238. Is 23 a factor of j?
True
Let d = 17 - 6. Suppose d*o + 750 = 14*o. Is o a multiple of 25?
True
Suppose -4*b + 12 = 2*b. Let p(h) = -1 + 1 + 4 - 3 + 9*h. Is p(b) a multiple of 19?
True
Let b(v) = v**3 + 10*v**2 + 9*v. Suppose -73 = 5*r - 28. Let h be b(r). Suppose h = -4*j + 4, 3*j = 2*o - j - 42. Is 2 a factor of o?
False
Let l(i) = -175*i + 98. Let t be l(-3). Let y = t - 498. Is y a multiple of 25?
True
Suppose 3*c + 226 = -5*x, -6*c = -4*x - 2*c - 200. Let l = 56 - x. Let o = -67 + l. Is o a multiple of 18?
True
Suppose 106172 = 31*x - 2917. Does 23 divide x?
True
Let t = 4933 + 4076. Is t a multiple of 28?
False
Suppose 0 = -0*b + b - 5*o - 105, -5*b - o = -447. Suppose -2*u + b = 22. Suppose -3*y + 278 = 2*z, -121 = -y + 5*z - u. Is y a multiple of 23?
True
Let v(i) = -30 - 2*i**2 - 2*i**2 + 3*i**2 - 3*i + 19*i. Let u be v(14). Let s = 12 + u. Is 5 a factor of s?
True
Let a = 11836 - 3596. Is a a multiple of 16?
True
Suppose 14*q - 136 = 74. Suppose -10*c = -q*c + 310. Is c a multiple of 2?
True
Suppose -6*b = 4 - 76. Suppose 0 = -5*k + 4*j + b, 9 = -k + 2*j - 5*j. Suppose k = -6*z + 4*z + 100. Does 10 divide z?
True
Let a(j) = -16*j + 7 + 10 + 13 + 9*j**2 - 4*j + j. Is a(6) a multiple of 12?
True
Suppose -29 = -5*z - 4. Let h be (z/(-5))/((-4)/(-8)). Is 6 a factor of ((-19)/h)/(12/120)?
False
Suppose -4*b = w - 23, b = -0*b - 3*w - 8. Let a(t) = 11*t**2 - 15*t + 8. Does 26 divide a(b)?
True
Let j be 1/(-8) - (-43906)/16. Suppose 37*x - 45*x = -j. Is x a multiple of 49?
True
Does 76 divide 5213 - (-66)/99*6/(-4)?
False
Is (-4585 - (6 + -20))/(-1) a multiple of 7?
True
Let s = 109 + -101. Suppose 0 = 2*h + s, 5*v - h - 598 = h. Is v a multiple of 13?
False
Let j(t) = t**2 + 7*t - 11258. Is j(136) a multiple of 273?
True
Let p = 199 - 193. Is 14 a factor of (-368)/(-12) - 0 - (-2)/p?
False
Let g(o) = 2*o**2 - 6*o - 4. Suppose -4*k = -0*k + 20. Let m be g(k). Is 24/2 - m/19 a multiple of 2?
True
Suppose -g - 2*t + 19 = 0, -9 = 3*g + t - 41. Let f be (-974)/g - (-2 + 80/45). Let u = 280 + f. Is 19 a factor of u?
False
Suppose 5*q + 15 = 0, q + 36027 + 37983 = 3*y. Is y a multiple of 14?
False
Suppose 8*q - 9 - 7 = 0. Suppose -2*d = l - 1, -4*l - 8 = q*d + 6. Suppose -5*z = -0*n - d*n + 102, 4*z = 3*n - 105. Is n a multiple of 9?
False
Suppose -4*n + 33360 = 4*t + 4068, -5*n + t = -36591. Does 25 divide n?
False
Suppose -13*d + 6812 - 2106 = 0. Suppose -32*b + 86 = -d. Is 7 a factor of b?
True
Suppose -29*w = -11*w + 95*w - 966263. Is w a multiple of 35?
False
Suppose 214*a - 64378 - 240112 = -45336. Is 10 a factor of a?
False
Suppose 0 = 13*x - 7*x + 84. Let g be (8/x)/2 - 979/77. Let h(s) = -s**3 - 13*s**2 - 7*s - 29. Does 12 divide h(g)?
False
Is 18 a factor of (-13 + 18739)/3 + -1?
False
Suppose 3941 = 5*h - 3*r, 2*h - 834*r + 836*r = 1570. Is h a multiple of 32?
False
Let q be (4/((-8)/71))/((-15)/(-1620)). Let u = q - -5444. Does 35 divide u?
True
Suppose 5*y = 6*y - 11. Let z = 43 + y. Let r = -30 + z. Is r a multiple of 8?
True
Suppose -67*u - 164642 = -232823 - 264943. Is u a multiple of 22?
True
Suppose 6*d - 13*d + 504 = 0. Let j = d - 21. Is j a multiple of 17?
True
Suppose 32 = 5*f - 4*f. Suppose -f*c = -60*c + 17388. Is c a multiple of 59?
False
Suppose 11203 = -3*h + a + 55356, 2*a = 3*h - 44161. Is 135 a factor of h?
True
Let y(k) be the second derivative of -3*k**3 - 3*k**2 + 19*k. Let w be y(-1). Is 8 a factor of w - (7 - (6 + -2))?
False
Let r(v) = 50 - 6*v**3 + 12*v**3 + 15*v**2 + 14*v - 7*v**3. Is r(15) a multiple of 13?
True
Let g(w) = 31*w**3 - w**2 + 1. Let d be g(1). Suppose -2*s - 2*o - 11 = -3*s, -s + 4*o + 15 = 0. Let m = d - s. Does 6 divide m?
True
Suppose -1 = 5*z - 11. Suppose 4 - 14 = -z*m. Suppose -5*w - 5*t + 730 = -0*w, 0 = m*w - 3*t - 698. Does 24 divide w?
False
Suppose 3*l - j = 3106, 8*l - 6*l + 2*j = 2076. Is 74 a factor of l?
True
Is 16/(-8)*-39*(4 + (-930)/(-36)) a multiple of 37?
False
Let i be 22/55 + ((-3348)/5)/4. Let t = 797 + i. Is 6 a factor of t?
True
Let z(w) = 55*w**3 + 24*w**2 - 191*w + 2. Is z(9) a multiple of 19?
False
Suppose -l + 5 = 5*p, 6*l - p + 97 = 11*l. Suppose 941 = l*z - 3859. Is z a multiple of 40?
True
Suppose -11 - 79 = -10*p. Does 2 divide -4*(-3)/(-18)*p*-3?
True
Let s(q) = 901*q**2 + 53*q - 385. Is 19 a factor of s(8)?
True
Let x(m) = -m**3 - 3*m**2 + 6*m + 7. Let y(o) = o**3 + 3*o**2 - 7*o - 7. Let f(r) = 4*x(r) + 5*y(r). Let w be f(-4). Is 7 a factor of (-139)/(-4) + w/84?
True
Suppose -s - 3*l + 23 = 0, 0 = -3*s + 5*s - l - 39. Suppose 4*h = 3*z + 15, -5*h - z - 6 = -s. Suppose -23 = h*a - 74. Is 4 a factor of a?
False
Let t(b) = 8*b**2 - 704*b - 8235. Is t(-12) even?
False
Suppose -9 = -3*q - 3*k, -5*q + 2*q + 2*k + 4 = 0. Does 12 divide 93 - 3 - 3*(0 - q)?
True
Let m = 334 - 335. Let r(s) = -46*s**3 + 2*s**2 - 3*s - 5. Is 4 a factor of r(m)?
False
Suppose -o - 3931 = -2*o + 773. Is 49 a factor of o?
True
Let s = -23 - -29. Suppose -12*j + 684 = -s*j. Suppose -2*y + j = 3*v, -2*y = 2*v + 3*v - 194. Is 16 a factor of v?
False
Let k(d) = d**2 - 9*d - 115. Let w be k(17). Suppose -27*o + w*o = -156. Is 26 a factor of o?
True
Let c be (234/(-65))/(2/5). Let o = -11 - c. Does 13 divide (o - -62) + ((-4)/4 - -1)?
False
Suppose 3*j = -2*w + 429 + 23761, -2*j = -2*w + 24190. Does 210 divide w?
False
Let f(s) = -3*s**3 + s**2 - s + 3453. Is 24 a factor of f(0)?
False
Let v(g) = 31*g**2 - 20*g - 243. Is v(-34) a multiple of 113?
True
Let c(n) be the third derivative of 0 - 9*n**2 - 5*n**3 + 0*n - 5/24*n**4.