 336 = -5*p. Suppose -4*z = 4*y + p, -4*y = -z - z + 102. Let c = -8 - y. Is 8 a factor of c?
True
Suppose -y = 2*t - 4*t + 118, 5*t - 302 = -y. Is 15 a factor of t?
True
Let k be 9/(567/(-14)) - 83/(-9). Suppose -x = -5*d - 1 + 2, -1 = 2*d + x. Let w = d + k. Is w a multiple of 8?
False
Let p = 79 - 86. Is 16 a factor of (-558)/p - 6/(-21)?
True
Let o be 804/15 + (-6)/75*-5. Let n = o - 41. Is n a multiple of 2?
False
Does 35 divide 10/(-25) + (-13676)/(-65)?
True
Let w = 27 + -26. Let l = 47 + w. Is l a multiple of 15?
False
Let x(u) = 281*u**2 + 3*u - 4. Does 8 divide x(1)?
True
Let u = -332 - -824. Is 14 a factor of u?
False
Let z(a) = -a + 7. Let o be z(6). Let r = 1 + o. Is ((-7)/r)/((-9)/18) a multiple of 5?
False
Let c be (3 - (-90)/(-25))*-5. Suppose -c*t - 4*t = -532. Is 19 a factor of t?
True
Let s(y) = y + 20. Let p be s(0). Does 24 divide (-218)/p*-2*5?
False
Let j be 3 + 82 + (1 - 5). Let v = -113 + j. Let y = -25 - v. Is y a multiple of 7?
True
Let j(q) = 7*q + 273. Is j(0) a multiple of 7?
True
Suppose 63 = 9*n - 261. Is 12 a factor of n?
True
Let l = 717 + 271. Does 52 divide l?
True
Let s = 6 + -5. Let i be s*(-1 + -1 + 0). Let p(y) = 5*y**2 + y - 1. Is p(i) a multiple of 17?
True
Does 8 divide 5 + 0 + (-82 - -481)?
False
Let k = 1056 + -631. Is 10 a factor of k?
False
Let o(p) = -2*p + 6. Let q be o(3). Suppose q*u = 3*u - 21. Is 7 a factor of u?
True
Suppose 0 = 4*k + 4*w + 8, 0*k = -k - 3*w - 2. Let r be k/5 - (-60)/25. Suppose -4*y + r = -38. Is 10 a factor of y?
True
Let l(h) be the first derivative of -7*h**2/2 - 5*h + 26. Does 7 divide l(-3)?
False
Let i(k) = 2*k + 10. Suppose 6*j = -30 - 0. Let b = 12 + j. Is 6 a factor of i(b)?
True
Suppose -5*x - 89*h + 94*h + 11605 = 0, 9290 = 4*x + 2*h. Is 86 a factor of x?
True
Suppose -5*m + 10*m - v = -195, m + 53 = 3*v. Let w = m + 63. Is 3 a factor of w?
False
Does 132 divide 5*(336/63)/(20/762)?
False
Let b be (-644)/6 - (-8)/24. Let r = 151 + b. Does 11 divide r?
True
Suppose r - 300 = -l - 3*l, -r + 285 = -l. Is 10 a factor of r?
False
Suppose -11*l + 9*l = -554. Is l a multiple of 31?
False
Let r(b) = -5*b**2 + 8*b + 5. Let g(k) = -k**2 + k + 1. Let m(h) = -6*g(h) + r(h). Let p be m(1). Suppose -21 = -p*s + 17. Is s a multiple of 15?
False
Let j(m) = -22*m**3 - m + 2. Let s(v) = -v**3 + v - 1. Let n(b) = -j(b) - 2*s(b). Let z be n(2). Is z/4 + (-3)/6 a multiple of 13?
False
Suppose 20 = 3*u - 115. Suppose x - 27 - u = 0. Is x a multiple of 18?
True
Let g(s) = 2*s + 12. Let b be ((-14)/(-28))/(1/(-24)). Let r be g(b). Is 9 a factor of 12/10*(-90)/r?
True
Suppose -3*z - 1272 = -3*t, 0 = 4*t - 10*z + 12*z - 1720. Does 15 divide t?
False
Let u(f) = 2*f**2 - 8. Let g be u(0). Let t = g + 12. Is t a multiple of 2?
True
Suppose 9*q = 3*q - 18. Let r(g) = -g**3 - 2*g**2 + 3*g. Let f be r(q). Suppose f = 4*h - 136 + 24. Is 16 a factor of h?
False
Let h(t) = 3*t**2 - 3*t - 3. Let d be h(-4). Let g be (-9)/(-2)*(145/(-15) + 3). Let z = g + d. Does 9 divide z?
True
Suppose -12*x + 1560 = -10*x. Suppose 13*b + 0*b = x. Does 3 divide b?
True
Let j(i) = 49*i**2 + 35*i - 6. Is j(4) a multiple of 34?
True
Suppose -3*l - 4*x + 612 = -l, 2*l = -5*x + 608. Is 37 a factor of l?
False
Suppose 0 = j + 2*j - 288. Let s(w) = w**3 + 10*w**2 + 5*w - 22. Let x be s(-9). Let h = j - x. Does 13 divide h?
False
Let r(o) = -o**3 + 7*o**2 - 10*o + 3. Let w be r(5). Is 9 a factor of -2*w/2 - -27?
False
Let h be 8/2 + (15 - 18). Let g(q) = q + 2*q - 39 + h + 21. Does 4 divide g(11)?
True
Suppose -3*q + 40*a + 1044 = 44*a, -2*q = 2*a - 696. Does 6 divide q?
True
Let t(o) = -o**2 + 8*o - 7. Let c be t(5). Suppose -5*r + 4*z + 120 = c*z, 5 = z. Is r a multiple of 10?
True
Is 9 a factor of 8/28 - (-14358)/21?
True
Suppose -2*g + 19*f = 14*f - 158, 334 = 4*g - f. Is g a multiple of 7?
True
Suppose -76 - 149 = -5*p. Let b = p - 18. Suppose 0 + b = 3*a. Is a a multiple of 3?
True
Let w be 51/(0 + 1 + 6/(-9)). Suppose -6*b = -705 + w. Does 12 divide b?
False
Let d(j) = 62*j**2 - j + 2. Suppose -5 = -2*o - 3. Does 21 divide d(o)?
True
Is (-8)/(-12) - 20523/(-9) a multiple of 130?
False
Let x(t) = -29*t**3 + 13*t**2 + 71*t + 1. Is 128 a factor of x(-6)?
False
Let j(p) = p**3 - 2*p**2 - p - 3. Let x be j(3). Suppose -x*u + 16 - 1 = 0. Suppose 0 = 3*a - 5*m - 160, -u*m + 15 = -2*a + 115. Is a a multiple of 20?
True
Let f(k) = 4*k**2 - 254*k - 135. Is 13 a factor of f(67)?
False
Let o = -45 + 42. Let p(v) = -v**3 - v**2 - 5*v + 4. Does 22 divide p(o)?
False
Suppose -w + 0 - 4 = 0. Let n be (-22)/w - (-3)/(-2). Suppose -5*s + 4*c - 1 - 1 = 0, -n*s = -c - 5. Is s even?
True
Suppose 4*w - 3 - 5 = 3*k, 4*w = -5*k + 8. Suppose r = k, 0 = -0*t + 4*t - 2*r - 1112. Is 46 a factor of t?
False
Suppose 0 = 4*h - 1 - 7. Let a be ((3 + -2)*10)/h. Suppose -a*y + 9 = -11. Does 2 divide y?
True
Suppose -12990 - 11853 = -39*b. Does 14 divide b?
False
Let z(w) = 5*w**3 - 6*w**2 - 2*w - 53. Does 49 divide z(8)?
True
Let g(l) = l**2 - 13*l + 15. Let t be g(12). Suppose t*c - 3*a = 9, -c + 0*c + 2*a + 5 = 0. Is 10 a factor of (c/1)/((-6)/(-138))?
False
Suppose v = 4*t - t + 1, -4*t + 5*v = 5. Suppose s - 39 = -t*s. Does 13 divide s?
True
Let h = -90 - -174. Is h even?
True
Suppose -6*y = -2*y - 276. Is 43 a factor of y?
False
Let t be -4 - (-184)/44 - 112/11. Does 2 divide (0 - -24)*t/(-30)?
True
Let g(w) = -w**3 - 25*w**2 + 16*w + 94. Does 62 divide g(-27)?
False
Let i(b) be the third derivative of b**5/60 + 3*b**4/8 - 5*b**3/3 + 17*b**2. Is 27 a factor of i(7)?
False
Let w be ((-30)/(-5) + 4)/(2/7). Let v = 3 + -29. Let f = v + w. Does 2 divide f?
False
Suppose -5*v + 0*v - 10 = 0. Let x be ((-8)/(-4))/v - 1. Is 9 a factor of x/(0 - -2) - -10?
True
Suppose 0 = -3*k - k + 16. Does 21 divide (k + -1)*(4 + (-1 - -66))?
False
Let d(f) = -f**3 + 13*f**2 - 3*f + 43. Let v be d(13). Suppose 0 = -p + v*o + 52, -149 = -p - p - o. Is 6 a factor of p?
True
Let y(k) = k**2 - 2*k + 2. Let w be y(0). Suppose w*o + 2*u + 7 = o, -5*o + u = -9. Let f(b) = 8*b**3. Does 8 divide f(o)?
True
Let q(z) = 19*z**3 + 3*z**2 + 23*z - 31. Is 11 a factor of q(5)?
False
Suppose 0 = 4*a - 16 + 140. Let p = -19 - a. Does 6 divide -2 + p - (-20)/(-5)?
True
Let j(w) be the first derivative of w**4/4 - 5*w**3/3 + 7*w**2 - 3*w + 7. Is 13 a factor of j(6)?
True
Let x(z) = z**2 - 1. Let d(f) = -5*f**2 + 3*f - 1. Let p(t) = t**2 + 1. Let k(o) = -d(o) - p(o). Let n(v) = k(v) - 2*x(v). Does 3 divide n(2)?
False
Suppose 5*s + 1304 - 403 = 4*l, l - 5*s - 229 = 0. Is 2 a factor of l?
True
Let d(x) = x**3 + x**2 + 6*x + 6. Let p be d(-3). Let o = 110 - p. Is 20 a factor of o?
True
Let s(r) be the second derivative of -r**4/12 + r**3 + 3*r**2 - 3*r. Let t be s(9). Let z = 37 + t. Is z a multiple of 7?
False
Let y = 1197 + -746. Is y a multiple of 41?
True
Let b(d) = 20*d**2 - 6*d**2 + 7*d**2 - d**3 + 28. Is b(21) a multiple of 4?
True
Let h(j) = -2*j + 2. Let d be h(-2). Let b be 42/9*(-9)/d. Let o = b - -17. Is o a multiple of 4?
False
Let a(f) = 18*f - 278. Does 7 divide a(31)?
True
Suppose -2*k + 28 = -6. Let q be -13 - (5 - 5 - 4). Let y = k + q. Does 7 divide y?
False
Let y be 2 + -1 + 2 + 2. Suppose 0 = 3*g - y*g + 6. Suppose -f = g*f - 132. Is f a multiple of 11?
True
Let y = 6 - 27. Is (-7)/y*9*10/3 a multiple of 5?
True
Let g(j) be the third derivative of j**6/120 - 13*j**5/60 + 11*j**4/24 + 8*j**3/3 + 3*j**2. Is 4 a factor of g(12)?
True
Let z(r) = -50*r + 1101. Is z(-9) a multiple of 29?
False
Let p be (-84)/(-56)*20/6. Suppose -k + 5*s + 2 = -p, -4*k = -s - 66. Does 3 divide k?
False
Suppose -1 = b + 1, 106 = 2*o - 3*b. Is 50 a factor of o?
True
Let m(x) be the second derivative of -x**5/20 + x**4/2 - x**3/2 - x**2 - 9*x. Let t be m(3). Let y = 7 + t. Is y a multiple of 15?
False
Let y(z) = -186*z - 548. Does 5 divide y(-8)?
True
Let m be -5 + 3 - (39 - 1). Let c be m*((-92)/20 + -1). Suppose 8*o - 4*o = c. Is o a multiple of 8?
True
Let p(v) = 5*v - 3. Let c be ((-2)/4)/((-2)/8). Let g be p(c). Suppose g*n - 110 = 2*n. Does 22 divide n?
True
Let x(m) = 16*m**2 + 16*m - 80. Does 117 divide x(11)?
False
Let p be 3 + 0/(-3) + 3. Let g be (-6)/(-9) - (-20)/p. Suppose g*l - 10 = 62. Is l a multiple of 12?
False
Is 39 a factor of ((-16)/10)/2 - 53725/(-125)?
True
Let y(b