 6). Is (7372/(-18))/(-2) + (-96)/t a multiple of 16?
False
Let z(b) = 141*b + 282. Is z(0) a multiple of 6?
True
Let l(u) = -129*u**3 - 4*u**2 - 25*u - 37. Is l(-3) a multiple of 10?
False
Let x(i) = 2*i + 15. Let b(q) = 3*q + 15. Let g(c) = -5*b(c) + 4*x(c). Let f be g(-3). Suppose 0*z = 3*z + f, h - z = 18. Is 16 a factor of h?
True
Let j = 276 - 327. Does 7 divide (-13974)/j - 4/(-1)?
False
Does 5 divide (-9)/15 + 0 + (-7132)/(-20)?
False
Let z(o) = -o**2 - 4*o - 1. Let s be z(-2). Suppose 5*g - 1128 = -p, p + 145 + 527 = s*g. Is 15 a factor of g?
True
Let c = -18 - 3. Let a = 33 + c. Let m = 27 - a. Is m a multiple of 15?
True
Let u = 12 - 10. Let j(f) = -1 + 64*f**u + 13*f + 9*f - 22*f. Is j(-1) a multiple of 8?
False
Suppose -88*x = 6*x - 772022. Is 33 a factor of x?
False
Let p(i) = i**2 - 11*i + 79. Let n be p(8). Let l = 93 - n. Is 17 a factor of l?
False
Let t(k) = -2*k**3 - 7*k**2 - 6*k - 136. Does 25 divide t(-20)?
False
Suppose 4*w - 965 + 297 = 0. Does 8 divide w + 7*6/42?
True
Let p(v) = -v**3 + 9*v**2 - 5*v + 14. Let i be p(10). Let g = i - -216. Is 10 a factor of g?
True
Let m(n) = -3*n + 3. Let f be m(0). Let z be 2 - (0 - 0/f). Suppose -k = -2*d + 87, z*d - 3*k - 25 = 64. Is d a multiple of 14?
False
Let s be (7 - (-2)/(-2))/((-4)/190). Let a = s + 555. Does 6 divide a?
True
Suppose -d + 12*w - 13*w = -125, 4*w + 280 = 2*d. Is d a multiple of 13?
True
Let d(a) = -11*a - 21. Let f be d(-6). Let r = -49 + f. Does 4 divide (-19 + 52)*r/(-6)?
False
Let l be (-18)/(-81) + (-32)/(-18). Suppose -6*z + 3*z - 306 = -4*p, 2*z - 160 = -l*p. Suppose 0 = 28*h - 25*h - p. Does 13 divide h?
True
Let x be 3/(-27) + (-4808)/(-18). Suppose 2565 = -264*h + x*h. Does 19 divide h?
True
Let m = -38404 + 25274. Is 56/26 + -2 + m/(-338) a multiple of 13?
True
Let w = -23467 - -47504. Is w a multiple of 78?
False
Let o = 21 - 21. Suppose -1170 = -o*k - 9*k. Does 14 divide (-2)/(-24)*-3 + k/8?
False
Suppose 0 = -u - 1, 7*w - 2*u - 224 = 5*w. Let q be (-2)/(4 - w/28). Let b = -30 - q. Does 14 divide b?
False
Let x(w) = 3*w + 45. Let h be x(-14). Suppose d - 2*u - 348 = 0, -3*d - h*u + 680 = -373. Is 50 a factor of d?
True
Let l = -398 - -398. Suppose l = -x - 5*q - 614 + 2110, -7568 = -5*x - 3*q. Is x a multiple of 10?
False
Let a be (-4)/5*(1 + 4)*-1. Suppose 19 = l - a*q + 7*q, -3*q - 6 = 0. Is l a multiple of 3?
False
Suppose -14949 + 235395 = 37*f. Does 65 divide f?
False
Suppose -2*p + 3*p = 2*n + 919, 3688 = 4*p - 5*n. Suppose -4*o = -13*o + p. Suppose o = r - 4*b, -4*b - 197 = -2*r + b. Does 13 divide r?
True
Let x(v) = -672*v**3 + 24*v**2 + 24*v + 3. Is x(-1) a multiple of 25?
True
Let v be (-2849)/63 - (-6)/27. Let h = -40 - v. Suppose h = 6*i - 139. Is i a multiple of 6?
True
Let s(z) = -9*z - 29. Let g be (-1)/5*(-5)/(-3)*-3. Let t be -12 + (3 - 2)*g*3. Does 26 divide s(t)?
True
Let y(q) = 0*q + 4*q - 6*q - 4*q**3 + 3*q**3. Let d be y(-3). Suppose -d - 887 = -4*v. Is v a multiple of 26?
False
Let g(m) = 615*m**2 + 81*m - 80. Is 22 a factor of g(1)?
True
Let q(j) = 196*j**2 - 1932*j. Does 120 divide q(15)?
True
Let j = -11190 + 13256. Is 5 a factor of j?
False
Suppose -7*g + 5*g = 32. Let f = g + 18. Suppose f*z = 3*z - 9. Is z a multiple of 7?
False
Let n(j) = -j + 8. Suppose 2*a - 296 = -2*a. Let x = a + -87. Does 3 divide n(x)?
True
Suppose 0 = -p - 5*b + 1917, 5013 + 2672 = 4*p + 3*b. Does 31 divide p?
True
Does 24 divide 3 + (-1210575)/(-405) + (316/108 - 3)?
False
Let z(t) = t**3 - 3*t + 768. Suppose 4*f + 4 = -k - 0*k, 3*k + f + 1 = 0. Is 24 a factor of z(k)?
True
Suppose 5*p + 4470 = 6*j - 11385, -3*j + 7932 = -4*p. Is j even?
True
Let i = 32767 + -29045. Is 39 a factor of i?
False
Is 40 a factor of -6 - 0 - (2*26)/((-2)/109)?
False
Let d(i) = -i**3 - 7*i**2 - 6*i + 3. Let g be d(-6). Let s(k) = 2*k + 1. Let z be s(12). Suppose g = r - z. Does 28 divide r?
True
Let t(s) be the third derivative of s**5/120 + 35*s**4/24 + 5*s**3 + 10*s**2. Let b(c) be the first derivative of t(c). Does 4 divide b(-18)?
False
Suppose 29*v - 13864 - 12701 = 4987. Is v a multiple of 8?
True
Suppose -q - 6 = -k, -5*q - 3*k + 13 - 43 = 0. Does 9 divide (-1 + -29 - q)*-2?
False
Let f = -249 - -438. Let h = 30 + -21. Suppose -f = -h*v + 675. Does 19 divide v?
False
Let s = -134 + 72. Let u = 65 + s. Suppose 0 = -6*i + u*i + 36. Is i a multiple of 6?
True
Let m(b) = 4*b**3 + b**2 + 15*b + 149. Does 41 divide m(15)?
False
Let o = -5705 + 12747. Is o a multiple of 12?
False
Suppose 6*t = 5*t + 4*b + 43, 4*t = -b + 138. Suppose -11*u = t*u - 53038. Does 22 divide u?
False
Suppose -1415 = -5*b + 5*p, 5*b - p = 205 + 1214. Suppose 18*a = 16*a + b. Let g = a - -110. Is 25 a factor of g?
False
Let h = 4259 - 1657. Is h a multiple of 11?
False
Let s = -9 - 1. Is (-4)/s - (-20944)/140 a multiple of 15?
True
Let h = 58349 + -33799. Is h a multiple of 50?
True
Suppose 5*j - 5*w = 0, -19*j + 15*j - 3*w = 0. Let g = 493 + 930. Suppose j = 11*n + 92 - g. Does 13 divide n?
False
Let f(o) = 5*o**2 + 5*o + 8. Suppose -5*d - 8 = -4*z, 4*d + 2*z + 23 = 1. Let i be f(d). Suppose 5*w - i = 2*w + s, -s - 24 = -w. Does 5 divide w?
False
Suppose -366277 = -47*c - 7902. Is 110 a factor of c?
False
Let g be 390/12*2/5. Suppose 4*o - g = -3*t, -t - 21 = -3*o - 2*o. Does 21 divide 128 + -1*(2 - t)?
False
Suppose 12*x - 9*x = 1770. Suppose -2*j + 816 = i, -3*i - 1461 = -5*j + x. Suppose 5*s - j - 131 = 0. Is s a multiple of 27?
True
Let n be (-1 - -9)*1/2. Let o = 697 - 692. Suppose 3*w = o*t - 8*t + 69, t - 48 = n*w. Does 20 divide t?
False
Let n = 508 + -467. Suppose -12960 = 25*p - n*p. Is p a multiple of 54?
True
Suppose 18*s - 5044 = -8*s. Does 5 divide (s/3)/1 - 12/(-36)?
True
Let q be (0 - 429)*(-56)/84. Suppose c = 3, s = 11*c - 13*c + q. Is 14 a factor of s?
True
Suppose f + 4*g = -379 + 11943, -46236 = -4*f + 4*g. Does 34 divide f?
True
Let y = 42 + 54. Suppose -y = -7*j - j. Is j + (-4)/(-6)*6 even?
True
Suppose 3*o - 12600 = -3*c, -42*o - c + 8395 = -40*o. Is 69 a factor of o?
False
Let j(b) = b**2 + 15*b - 25. Let c be j(9). Suppose x + 21 - 113 = -4*d, 3*x - c = 5*d. Let r = 167 - x. Is 12 a factor of r?
False
Suppose 3*p - 2 - 37 = 0. Let j = p + 7. Suppose 0 = 2*o + 2*o - j. Is 3 a factor of o?
False
Let b(o) = -3*o + 23. Let k = 29 + -21. Let s be b(k). Let f = 113 + s. Is f a multiple of 22?
False
Let h = 145 - 141. Suppose 0 = h*v + 53 - 297. Let k = v + -33. Is k a multiple of 2?
True
Let o(b) = b + 1. Let l(p) = -3*p**2 + 13*p - 24. Let m(a) = -l(a) - 6*o(a). Does 34 divide m(15)?
True
Let o(d) = 10*d**3 - 13*d**2 + 34*d - 58. Is 4 a factor of o(9)?
False
Let f be (21488/51)/(2/6 + 0). Suppose -4*w = -3*h + 752, f = 5*h + 9*w - 5*w. Does 42 divide h?
True
Let u be 315/(-90)*(1 - 1 - -2). Let w(o) = -o**3 - 6*o**2 - 14*o - 64. Is w(u) a multiple of 29?
False
Let r(h) = 22*h**2 + 31*h + 15. Is r(8) a multiple of 9?
False
Let r be ((-10)/(-5))/(6/29025*5). Suppose 21*p - 627 = r. Is p a multiple of 7?
False
Let u(z) be the third derivative of 5/6*z**3 + 0 - 1/3*z**4 + 0*z + 10*z**2. Does 35 divide u(-5)?
False
Let a be (-6)/(6/(-2)) + -1. Suppose d - 4 = -a. Suppose -2*m - d*n + 82 = -m, -n - 178 = -2*m. Does 22 divide m?
True
Let u = -468 + 1576. Does 18 divide (-2)/((-5)/(1840/u) + 3)?
False
Let j be 0 - 4/12*84/(-4). Let n(u) = 17*u**2 - 5*u - 37. Is n(j) a multiple of 10?
False
Suppose 78 = 4*n - 0*a - 5*a, -5*n - 5*a = -75. Suppose n*m - 19*m + 360 = -3*g, -5*m - 4*g = -854. Is m a multiple of 18?
False
Let x = -74 - -158. Suppose -7*l - x = -10*l. Suppose -4*o - l = -g, -g - 2*o + 4*o + 30 = 0. Is g a multiple of 26?
False
Let u = 40 + -13. Suppose -7*g + 22 = -u. Suppose g*r = -4*r + 550. Does 10 divide r?
True
Let k be (4 - -4) + (-12 - -632). Suppose v - k = -23. Does 12 divide v?
False
Let u(a) be the second derivative of -3*a**5/20 - a**4/6 + 2*a**3/3 + 3*a**2/2 - 8*a. Suppose -4*s + 5*y + 8 = 0, 3*s + 3*y = -9 - 12. Is u(s) a multiple of 18?
True
Let j(l) = 5*l**3 + 15*l**2 - 2*l - 23. Let c(h) = 2*h**3 + 7*h**2 - h - 11. Let k(i) = -14*c(i) + 6*j(i). Is 12 a factor of k(7)?
True
Suppose -19*j + 16*j = 2*c - 94541, -j - 5*c + 31518 = 0. Is j a multiple of 26?
False
Let v be (2*(-3)/(-18))/(2/18). Suppose -4*d + 2*y + 2 + 14 = 0, 2*d + 5*y = 20. Suppose 