 a factor of (a*-2)/(-7 + 2645/380)?
False
Suppose -252*w + 168990 = -209*w. Is w a multiple of 15?
True
Let l(q) = -81*q + 9. Suppose 4*w - 8 = -4*t - t, 4*t - 16 = 0. Is 17 a factor of l(w)?
False
Suppose -19*y = 7*y - 12090. Suppose 3*x - 4*i + 3*i = y, -5*i + 310 = 2*x. Is 19 a factor of x?
False
Suppose 0 = 15*g - 35 - 10. Suppose 43 = 5*p + 2*t - 5, 0 = -2*p - 4*t + 32. Suppose -175 = g*b - p*b. Is b a multiple of 5?
True
Suppose 2*k + 26998 = 3*y, -4*k = 3*y + 14241 - 41245. Is y a multiple of 9?
True
Suppose -4*y = 4*q - 1948, -2*y = 8*q - 12*q + 1942. Suppose 3 = -3*h - 9, 0 = -5*f + 4*h + q. Is f a multiple of 47?
True
Let a(k) = 3*k - 12. Let m be a(2). Let g(u) = -u**3 - 2*u**2 + 6*u + 30. Is g(m) even?
True
Let c = -14427 - -28276. Is 37 a factor of c?
False
Let r = -1 - -106. Let i = 170 - r. Let y = i - 55. Is y a multiple of 7?
False
Suppose 30073 = 31*n - 8057. Is 18 a factor of n?
False
Let g(m) = 616*m - 6002. Does 9 divide g(44)?
False
Suppose -5*u - 1152 = -3*b + 959, -5*b + 3545 = -3*u. Suppose 9*l = 1394 + b. Is 3 a factor of (-28)/42*l/(-4)?
True
Does 20 divide (-127323)/(-6) + (-11)/22?
True
Suppose 4*a + 720 = 4*n, a - 134 - 247 = -2*n. Is 11 a factor of n?
True
Let t = -549 + 1162. Let d = -417 + t. Is d a multiple of 2?
True
Let o(k) be the third derivative of -k**5/60 - k**4/24 - k**3/3 + 7*k**2. Let d be o(-3). Let x(f) = -f**3 - 6*f**2 + 10*f. Is x(d) a multiple of 16?
True
Suppose -4*m = -5*f + 8, 6*f = 2*f - m - 2. Suppose -5*s - 260 = -3*l, l + f*s - 90 = s. Suppose -u + 4*q = -68, u + 6*q - l = q. Is 8 a factor of u?
True
Let d be (-154)/(-42) - (2 + 4/(-3)). Suppose -d*x - 42 = -6*x. Suppose -c - 6 + x = 0. Is c even?
True
Suppose 24*h = 29*h - 10. Suppose 5*p = 10, 5*c - 165 = -h*p + 209. Suppose -2*b - c = -182. Does 6 divide b?
True
Let g(v) = 3 + 0 + 2 + v + 14*v**2 - v**3 - 1. Let h = -154 + 168. Is 9 a factor of g(h)?
True
Suppose 18*z - 4 = 86. Suppose -4*j - 2*l + 4138 = 0, z*j - 372 = -2*l + 4802. Does 16 divide j?
False
Suppose -2 - 13 = 2*l + 3*y, 5*y = -25. Suppose -v = 3*v - 2*r - 192, l = r + 2. Let a = v - -31. Is a a multiple of 13?
True
Let x be 5 + (-3 - 3) + 3. Suppose -x*a + 9*a - 714 = 0. Is a a multiple of 17?
True
Suppose -42*j + 23*j = -84512. Is 49 a factor of j?
False
Let m(q) = 2*q + 30. Let a be m(-14). Let f(g) = 2*g**2 - 9*g + 6. Let y(z) = z**2. Let d(s) = a*y(s) + f(s). Does 19 divide d(8)?
True
Let x(h) be the second derivative of -h**6/120 - h**5/5 + 5*h**4/12 - 6*h. Let z(a) be the third derivative of x(a). Is z(-5) a multiple of 4?
False
Let w(o) = 16*o**2 + 9*o - 25. Let u be w(8). Suppose -196 = 7*j - u. Does 9 divide j?
False
Let q(m) = 198*m + 481. Does 215 divide q(3)?
True
Let r = 233 + -378. Let m = 215 + r. Is 35 a factor of m?
True
Let s = 8716 - 3759. Is 19 a factor of s?
False
Suppose 202*q - 53760 = 182*q. Does 64 divide q?
True
Let y(b) = -23*b + 21. Let l(g) = 22*g - 21. Let v = -55 + 58. Let t(d) = v*l(d) + 4*y(d). Is t(-4) a multiple of 21?
False
Is (-236)/2714 - ((-399660)/(-69))/(-2) a multiple of 6?
False
Let p(t) = t**2 - 15*t - 39. Let c be p(18). Suppose -12 = -c*l + 9*l. Does 12 divide (-1)/(-1)*l*(1 - -5)?
True
Let d(h) = 78*h**2 + 6*h + 12. Let y = -625 - -622. Is d(y) a multiple of 18?
False
Let t(k) = 142*k**2 - 2093*k - 5. Is t(15) a multiple of 2?
True
Let b = 893 - 908. Is (792/b)/(3*8/(-120)) a multiple of 4?
True
Let x(o) = -10*o - 4*o**2 + o**2 + 4*o**2 - 2 + 8*o. Let u(t) = -t**2 - 13*t + 36. Let p be u(-15). Does 11 divide x(p)?
True
Let j(t) = 1. Let y(h) = h + 3. Let z(v) = -4*j(v) - y(v). Let m be z(-4). Let d = m + 68. Is 13 a factor of d?
True
Suppose q + 2*u - 2781 = 6872, 0 = 3*q - u - 28966. Is 27 a factor of q?
False
Let m = -1114 + 2413. Suppose 7*n - m = 801. Is n a multiple of 30?
True
Suppose 0 = 73*x - 411528 - 400670. Does 41 divide x?
False
Is 13 a factor of 4 + 1 - (-27 + 14 + -6946 + -17)?
True
Let u = -15463 - -26775. Is 101 a factor of u?
True
Let j be (6/5)/(-12 + 496/40). Suppose 10*x = -j + 133. Is x a multiple of 13?
True
Suppose 5*t + 2*q = 23019, -2*t - 2*q - 4857 = -14067. Is 13 a factor of t?
False
Let d = -48 - -52. Let n be (-96)/(-15) + d/(-10). Suppose 4*h = n*h - 336. Is 12 a factor of h?
True
Let s(p) = -9*p**2 - 24*p + 226. Let n(q) = -2*q**2 - 2*q + 1. Let m(y) = 4*n(y) - s(y). Does 15 divide m(-27)?
True
Let p be 2/(4 + 2)*(0 - 3). Let t(d) = -523*d + 2. Let y be t(p). Suppose 0 = -9*q + 14*q - y. Is 42 a factor of q?
False
Is (-890525)/(-175) - (-15)/(-21) a multiple of 24?
True
Suppose 19283 = 25*o - 3917. Does 10 divide o?
False
Suppose 0 = -23*r + 407259 + 53201. Is 35 a factor of r?
True
Let w be (-188)/((3 - 1) + -3). Let a(u) = -184*u + 8000. Let c be a(44). Let m = c + w. Is m a multiple of 7?
False
Let r(s) = s**2 + 19*s - 36. Let n be r(-23). Is ((-57)/(-6))/(2/n) a multiple of 9?
False
Suppose -j + 117 = -s, 2*j - 203 - 30 = s. Let r be 3/9*-3 + (0 - j). Is (-2)/(6/r) - -3 a multiple of 14?
True
Let w(p) = 39*p**3 + 46*p - 38*p**3 + 24 - 27*p - 10*p**2. Does 4 divide w(7)?
False
Let w be 1*755/10*2. Suppose 0 = -5*n + 25, -i + 79 = -5*n - w. Is 5 a factor of i?
True
Suppose 3*d = 521 + 823. Suppose 4*o - 3608 - d = 0. Suppose 4*u - o = 5*a, u - a = -2*u + 755. Does 44 divide u?
False
Suppose 41 = 6*o + 5. Suppose -2*y = -60 - o. Suppose j - 36 = -y. Does 2 divide j?
False
Suppose 0*w = -5*w. Let g be 1/(-2) - ((-77)/(-14))/11. Does 15 divide 116 + (3 - (w + g))?
True
Let w(m) be the second derivative of m**5/20 - m**4/6 - 13*m**2 + 16*m. Is 18 a factor of w(10)?
True
Suppose 3*v - 6*v - 4*u = 9, -4*u = -2*v + 14. Let t = -3 + 6. Suppose t*c = -2*i + v, 5*i = 2*c + 25 + 25. Is 2 a factor of i?
True
Suppose 4*y = -0*y - k - 45, 0 = -k - 5. Let i(m) = -m - 8. Let u be i(y). Suppose -4*r + u*g = -1058, -4*r - 3*g + 921 = -162. Is 11 a factor of r?
False
Let j be (-7)/((-21)/(-9)) + 5. Suppose -j*i + 25 = -9. Let a = i - -43. Does 12 divide a?
True
Let o(i) = 149*i + 1. Let v be o(3). Suppose 1798 - v = -10*n. Let f = -87 - n. Is 10 a factor of f?
False
Let d(z) = 8236*z - 148. Let m(r) = -1647*r + 29. Let p(w) = 2*d(w) + 11*m(w). Is 12 a factor of p(-1)?
True
Let o be 2/5 + 12/(-30). Suppose 2*v = 5*s + 5, -3*v - 4*s - 3 - 1 = o. Suppose v = -2*b - b + 420. Is b a multiple of 35?
True
Let r(d) = -49*d + 8686. Is r(0) a multiple of 60?
False
Suppose -1999 = -5*g + 4*c, 3*g - 291*c = -296*c + 1192. Is 8 a factor of g?
False
Suppose 4 = 2*v, 6*t - 5*v - 3068 = 3*t. Suppose -4*u + t = 23*u. Is 38 a factor of u?
True
Suppose 334*g + 3906837 = 10981625. Is 47 a factor of g?
False
Let w be 11/8*5 - 9/(-72). Let s(x) = -x**2 + 26*x - 8. Is s(w) a multiple of 3?
False
Suppose 420*s - 464*s = -415184. Does 13 divide s?
False
Let q be (-6)/15 + ((-679)/(-35) - -3). Suppose 5*f + 2*o - 116 = 0, -21*f + o = -22*f + q. Does 3 divide f?
True
Suppose -3*y = 2*y + 4*z + 1536, 2*y = -3*z - 620. Let s = y + 368. Is s a multiple of 10?
False
Let k(w) = 299*w**2 - 36*w + 37. Let r be k(1). Suppose 0 = 3*f + 15, 73*f = -q + 78*f + r. Is 8 a factor of q?
False
Let g be 2/(-5) - (-69)/(-15). Let x be (g + (-96)/(-21))/(2/(-14)). Suppose -x*o = -o - 66. Does 18 divide o?
False
Let o(k) = 378*k + 604. Is 3 a factor of o(17)?
False
Let f(r) = -5*r - 27. Let c be (1/3)/(9/(-54)). Let g be (-1 - 2)*5 - c. Does 4 divide f(g)?
False
Let q be 16/(-12)*777/(-28). Suppose -q*c = -44*c + 1624. Does 54 divide c?
False
Suppose -83 = -4*z - 219. Is 16 a factor of (22 + z)*83/(-3)?
False
Suppose 0 = -2*c + 6*c. Let g be 7/((-105)/(-10))*(0 - -3). Suppose 0 = 4*x - 12, c*z = -g*z - 3*x + 109. Is z a multiple of 24?
False
Let x(j) be the first derivative of 50*j**3/3 - 11*j**2 + 117*j - 203. Is x(6) a multiple of 35?
True
Let b = -83 - -33. Suppose -35*z + 200 = -37*z. Let k = b - z. Is 10 a factor of k?
True
Suppose -3*j + 2*y = 55, -j + y - 35 = -3*y. Let q(s) = -s**2 - 26*s + 29. Is 42 a factor of q(j)?
False
Let q be 0 + (-20)/(0 + -5). Does 82 divide (-1 - (0 + q)) + 510?
False
Suppose -23 + 55 = 2*t. Suppose 0*j + t = 8*j. Does 8 divide -58*(-4)/8*j?
False
Does 43 divide 7089 + ((-19)/19 - -7)?
True
Suppose -12*j + 54 = -54. Let k(q) = 3*q - 20. Is 2 a factor of k(j)?
False
Suppose -4*y + 0*w - 4*w + 56 = 0, -13 = -2*y + w. 