25. Does 15 divide (-2)/39*a - (-327)/13?
False
Let i be -2 - 93*8/12. Let a = i + 45. Let q = -17 - a. Does 2 divide q?
True
Let h(u) = 106*u**2 + 15*u + 43. Does 17 divide h(-3)?
True
Let q(z) = 43*z + 486. Is 10 a factor of q(38)?
True
Let i(z) = z**3 + 16*z**2 - 22*z + 2. Let v be i(-17). Suppose -v = 2*c - 283. Suppose -2*u = 2*r - c + 10, u = -4*r + 161. Is r a multiple of 6?
False
Suppose -3*d + 219 = -0*d. Suppose 3*v - 5*k = 2*v + d, 5*v + k = 495. Is v a multiple of 7?
True
Suppose -y = -0 - 2. Let h(a) = 2 - a + y*a - 2*a + 3*a. Is 18 a factor of h(17)?
True
Let x be ((-11676)/70)/(2/(-5)). Suppose 3*b = -183 - x. Let r = -131 - b. Is 9 a factor of r?
False
Let g(n) be the third derivative of -n**4/3 - 2*n**3/3 - 10*n**2. Let p be g(-4). Does 10 divide 0 + -3 + -8 + p?
False
Suppose 7*d = 6*d, -3*d = -4*g + 4564. Is g a multiple of 29?
False
Let i(u) = -57*u + 16. Does 54 divide i(-14)?
False
Suppose 115 = -3*k - i, 4*k - 3*i = -0*k - 175. Let t = k - -67. Is t a multiple of 6?
False
Let d = 852 - 611. Is d even?
False
Is 99 a factor of (-10)/25 - ((-14832)/5 + -1)?
False
Let h = 60 + -55. Let a be 10/2 - (4 - 3). Suppose 5*z - 65 = a*g, h*z - 95 = -0*g - 2*g. Is 13 a factor of z?
False
Let i be 6/(-4)*16/(-6). Suppose -i*v + 18 = -v. Is (1 - 3)*(-63)/v a multiple of 13?
False
Let c(a) be the third derivative of 13*a**5/120 + a**4/24 + a**3/3 - 6*a**2. Let f(m) be the first derivative of c(m). Does 9 divide f(1)?
False
Let h(c) = -38*c + 93. Does 68 divide h(-4)?
False
Does 15 divide 0 + -10 + 18 + 3607?
True
Is 18 a factor of (-1)/((-3)/(-21)) - -2311?
True
Suppose -10457 = -104*r + 16167. Is r a multiple of 4?
True
Suppose 0 - 4 = 2*b. Let t be -3 + 10*(b + 4). Let a = -11 + t. Is 6 a factor of a?
True
Let s(k) = 50*k**2 + 11*k - 12. Is 64 a factor of s(4)?
True
Let o(z) = 14*z**2 - 3*z. Let h be o(2). Let b = 66 + -31. Let p = h - b. Is p a multiple of 5?
True
Let x(z) = -z**2 + z - 1. Let q(p) = 4*p**2 - p + 1. Let y(h) = 3*q(h) + 6*x(h). Let u be y(2). Is 2 a factor of u/6 - 3/(-2)?
True
Let p(h) = -h**3 + 12*h**2 + 16*h - 19. Let m be ((-11)/2)/(-11)*(25 - -1). Does 10 divide p(m)?
True
Let d(z) be the third derivative of -z**2 + 1/8*z**4 - 1/120*z**6 - 7/60*z**5 - 11/6*z**3 + 0 + 0*z. Does 12 divide d(-8)?
False
Suppose -19 = 6*p - 139. Suppose s = -c + 30, -c + 10 = 3*s - p. Is c a multiple of 3?
True
Let n be 1/(33/18 + -2). Let u(r) = -23*r + 10. Is u(n) a multiple of 37?
True
Suppose 99*m = 86*m + 26. Suppose 329 = 3*r + i + 4*i, 0 = 3*r + 2*i - 335. Suppose -3*j = -m*j - r. Is j a multiple of 28?
False
Suppose 17*u - 22*u = -6485. Suppose u = 5*s + 6*f - 3*f, f + 1 = 0. Is s a multiple of 20?
True
Let y(b) = -6*b + 7. Let d be y(-8). Suppose r - c - d = 0, -55 - 20 = -r + 5*c. Let l = -10 + r. Does 11 divide l?
False
Let c(a) = 98*a**2 + 3*a + 2. Is c(-1) a multiple of 3?
False
Suppose -91*r = -87*r - 2240. Does 23 divide r?
False
Let k = 111 - 45. Suppose 4*r + k = 6*r. Suppose 3*a - 2*a - r = 0. Does 12 divide a?
False
Let y(q) = 5*q + 59. Is y(16) even?
False
Let t = -5 + 50. Is 17 a factor of t?
False
Let h(m) = 4*m + 23. Let o be 346*(-2)/(-36) + (-10)/45. Does 33 divide h(o)?
True
Let y be ((-6)/(-4))/(6/8). Suppose 2*h - 7*h = -5*x + 185, -86 = 3*h + y*x. Is 4 a factor of (-380)/h - 1/(-8)?
True
Suppose 1239 = 3*x - 3*z, -2*x = 3*x - z - 2073. Is x a multiple of 13?
False
Suppose 3*g - d = 4, 3*d - 1 = 5. Suppose -64 = -g*n - 4. Is 8 a factor of n?
False
Suppose 4*l + 121 + 2152 = 3*p, 761 = p - 3*l. Suppose -y + 3*y = -3*r + p, r - 5*y - 280 = 0. Is r a multiple of 17?
True
Suppose 4 = r - 0*r. Suppose -2*p + 12 = 4*m, -m = -r*p + p - 17. Suppose -3*c - m*k = -71, 3*c + 4*k - 8*k - 62 = 0. Is c a multiple of 11?
True
Suppose 2913*l - 2916*l + 4293 = 0. Is l a multiple of 9?
True
Let m(a) = -a**3 + 9*a**2 - 10*a + 20. Let s be m(8). Suppose -s*y = -2*y - 138. Does 8 divide y?
False
Does 21 divide 2145/22*(-28)/(-5)?
True
Let g be 251 + 0 - 1/(-1). Let v be (112/32)/(14/8). Suppose g = 2*f + v*f. Is f a multiple of 21?
True
Let s(x) = x**2 - 7*x - 3. Let y be s(8). Suppose -2*h - w - 207 = 3*h, -3*h - y*w = 111. Does 7 divide h*((-4)/(-3) - 2)?
True
Let q(r) be the third derivative of -r**6/360 + r**5/15 + 3*r**4/8 + r**3/3 - r**2. Let g(o) be the first derivative of q(o). Is g(7) a multiple of 11?
False
Let j(v) = -v**3 + 9*v**2 + 3*v - 1. Let q be (2 - (-10)/4)*(11 - 9). Is j(q) a multiple of 13?
True
Suppose 678 = 4*m - 2*z, -2*m - z - z + 336 = 0. Suppose m - 469 = -5*y. Is y a multiple of 18?
False
Suppose 2*o + 9 = 5*o. Suppose 5*m + 2*b = o*b + 228, 2*m + 4*b - 78 = 0. Suppose 0 = i - 6*i + m. Is 4 a factor of i?
False
Let n(s) = s**3 - 10*s**2 - 2*s + 23. Let j be n(10). Let a(b) = 27*b - 14. Is a(j) a multiple of 21?
False
Let y(q) = q + 14. Let v be y(-9). Suppose 104 = -v*z + z. Let f = z + 35. Does 4 divide f?
False
Suppose h - 650 = -2*l, -4*l + 8*l + 20 = 0. Is 6 a factor of h?
True
Let d be (-12)/16 + 9/12. Let f = d - 19. Is 4 - f - (1 + 2) a multiple of 5?
True
Suppose -127*x + 55*x = -4176. Is 9 a factor of x?
False
Suppose 3597 = 4*n + 1037. Is n a multiple of 8?
True
Suppose 19*u = 13622 + 11154. Does 10 divide u?
False
Let d(x) = 2*x - 7. Let l be d(6). Suppose -41 = -l*q - 6. Is (-688)/(-28) - 4/q a multiple of 6?
True
Is 80 a factor of -4 + (-4992)/((-88)/11)?
False
Let h be 13/7 + 1/7. Suppose o + o = -5*d + 16, 0 = h*o + 2*d - 16. Suppose 9*s - 51 = o*s. Does 17 divide s?
True
Suppose 0 = o + 3 - 10. Suppose 4*x - 185 = o. Is 6 a factor of x?
True
Suppose -5*s + 4956 = -4*w, 2*s + 3*w + 228 - 2215 = 0. Does 12 divide s?
False
Suppose -16*r + 14*r = -518. Does 37 divide r?
True
Suppose -5*a - 2*q = 67, 0*a - q + 64 = -5*a. Let v = 32 + a. Does 3 divide v?
False
Let a be (8/(-6) - -2)*129. Suppose -4*u - a = -o, -2*o - u = 59 - 186. Is o a multiple of 11?
True
Let m be (-10)/3*(-528)/32. Let b = m + -9. Does 12 divide b?
False
Suppose 107 = 5*w - 4*v, 0*w - w + 22 = -v. Suppose -13*n = -w*n + 216. Does 12 divide n?
True
Let i(z) = -26*z**3 + 3*z**2 + 36*z + 41. Is i(-5) a multiple of 9?
True
Suppose 27*w = 1624 + 7286. Is 5 a factor of w?
True
Suppose -5*x - 2*o - 842 = -5798, 3 = o. Does 22 divide x?
True
Suppose 3*i - 4*c - 5308 = 675, 25 = 5*c. Is i a multiple of 69?
True
Suppose 0 = 6*n + 30 - 78. Is 8 a factor of n?
True
Let g be (-2 - (-8)/5)*15. Let y(f) = -f**3 - 8*f**2 - 8*f - 4. Let x be y(g). Is 4 a factor of (-2)/(-3) - x/3?
False
Suppose 0 = -2*x - 5*m - 2, -3*x - 6*m = -4*m - 8. Suppose 0 = -5*n - 5*w - 25, x*w + 24 = 3*n + 4. Suppose -o + 3*o - 20 = n. Is 5 a factor of o?
True
Let u be (-3 + 0 - 0) + 3. Suppose -p + f + 1 = 0, -2*p + f + 6 + u = 0. Suppose 24 = 5*n + 2*g - 31, 0 = -p*n - 5*g + 70. Is n a multiple of 7?
False
Let t(i) be the first derivative of i**2/2 + 3*i - 5. Let h be (-1)/(-2)*1*12. Is t(h) a multiple of 3?
True
Let c be 3396/84 + (-3)/7. Is 2 a factor of (c/6)/((-4)/(-6))?
True
Suppose i + o = 2295, -2*i - o + 4586 = -0*i. Is i a multiple of 22?
False
Let d(m) = -m + m**3 + 19*m**2 - 2 - 21*m**2 + 0*m**3. Let n be d(3). Let s(o) = 7*o - 4. Does 6 divide s(n)?
True
Suppose w + 10 = -w. Does 3 divide 16 - (-20)/(w/1)?
True
Let f(t) = t**3 - 6*t**2 - 26*t. Let n be f(9). Does 48 divide (-160)/(-6)*(n - 0)?
True
Let a(d) = d**2 - 44*d - 1. Is 11 a factor of a(-12)?
True
Let b be -50 + 4*(28/8 + -3). Let m be 0 + 1 + 78 - -1. Let z = b + m. Is z a multiple of 20?
False
Suppose 4*h = -16, 6*d - 11*d + 5*h = -370. Let i(o) = -9*o**2 + 3*o + 2. Let q be i(-2). Let n = q + d. Does 10 divide n?
True
Suppose -122 = -6*l + 64. Is ((-44)/(-20) - 1)*(l + -1) a multiple of 12?
True
Let f = -63 + 41. Let t = f - -37. Let p = -6 + t. Does 5 divide p?
False
Let w(l) = 6*l**3 - 3*l**2 - l + 4. Let m be w(4). Is 17 a factor of m/10 + (-14)/(-35)?
True
Let a(h) be the first derivative of 2*h**3/3 + h**2 - 7*h + 6. Is a(-8) a multiple of 29?
False
Let q(x) = x**3 - 4*x**2 + x - 2. Let i be q(4). Suppose -2*j = i*j + 8. Does 7 divide ((1 + -2)*46)/j?
False
Let b = 1 - -1. Suppose -18 = b*g - 0*g. Is 13 a factor of 4/(-8)*g*6?
False
Suppose -8 = -5*b - 4*c, 1 = 4*b - 2*c + 5. Suppose -s = 5*k - 4, b*k = 4*s + k + 22. Does 8 divide (-196)/s + 8/(-12)?
True
Let r = 188 - 274. L