se
Does 4 divide -1*((-232 - -9) + 0)?
False
Let q = 29 - 21. Let t(n) = -4*n**2 - 9*n + 15. Let k(l) = -l**2 - 2*l + 4. Let z(r) = -9*k(r) + 2*t(r). Is 12 a factor of z(q)?
False
Let r(u) = u**2 + 2*u - 1. Let c be r(-3). Suppose -c*z - z - 13 = -b, 4*b - 4*z = 20. Does 9 divide b/(-3 - 110/(-36))?
True
Let s = -14 - -7. Let a be (1/3)/(s/(-63)). Does 13 divide ((-26)/a)/(3/(-9))?
True
Does 43 divide 4/(-6)*(-55941)/58?
False
Suppose -2*k - 1 - 5 = 0. Does 3 divide 15/((-1)/(k + 2))?
True
Suppose 4*r = 5*h + 51, -5*r + 4*r + 2*h = -9. Does 2 divide r?
False
Let q(l) = -11*l + 27. Let v be q(8). Let z = 31 - v. Is z a multiple of 23?
True
Suppose 13*d = 14*d + 2. Is 3 a factor of 15/10*-1*d?
True
Let y(m) = -2*m**2 - 9*m + 9. Let a be y(-5). Suppose -3*c + a*w = -421, 2*w = -4*c - 303 + 879. Is 13 a factor of c?
True
Let p = -7 - -12. Suppose p*v = -3*w + 23, -v + 0*v + 3 = w. Does 6 divide (87/(-9))/(v/(-21))?
False
Let k be (1*-3)/(12 - 13). Let w = 17 - k. Is w a multiple of 3?
False
Suppose -19 - 7 = -v. Is v a multiple of 26?
True
Let s be 2/4 - 34/4. Let g(y) = -55*y**3 + 3*y**2 + y - 2. Let q be g(-1). Let a = q + s. Is a a multiple of 12?
False
Let g = 726 - 270. Is g a multiple of 12?
True
Suppose -2*k = 3*u - 55, u = 2*u - 3*k. Suppose 2*f = -f + u. Is f a multiple of 3?
False
Let a(j) be the second derivative of -j**3/6 - 2*j**2 - 7*j. Let o be a(-6). Suppose 0 = 2*k - 3*b - 65, -o*k + 4*b - 7*b = -83. Is 13 a factor of k?
False
Suppose h = 4*b - 29, -5*h - 13 - 12 = -5*b. Let n = b + 7. Is n a multiple of 9?
False
Let i = 46 + 1113. Is 19 a factor of i?
True
Is 8 a factor of (2031 - -3) + 2 + 9?
False
Let f = 69 + -22. Let h = 72 - f. Is 5 a factor of h?
True
Let o(c) = -c**2 + 6*c + 9. Let h be o(7). Does 14 divide 3/((-33)/h) - (-1260)/33?
False
Let f = -3 - -5. Is -1*(f + 41)*-1 a multiple of 14?
False
Suppose -2*q + 4*a - 22 = 0, -6*q + 2*a = -3*q + 17. Let y be q/4 - (-2)/(-8). Does 16 divide (-1 - 1) + y + 51?
True
Let j be (-2048)/(-18) + (-32)/(-144). Suppose -s - 3*z = -j, -4*s + 8*z + 392 = 4*z. Does 17 divide s?
True
Suppose -5*u + 8*u + 6 = 0. Does 21 divide ((-12)/(-18))/(u/(-114))?
False
Let b = -610 + 922. Is 8 a factor of b?
True
Suppose 5 = q + 5*d, 3*q - 3*d - 2*d + 25 = 0. Let h(w) be the first derivative of w**3/3 + w**2/2 - 2*w - 22. Does 10 divide h(q)?
False
Suppose -9*n = n - 4230. Does 47 divide n?
True
Suppose 2*r + 16 = -4*d, 4*d - 4 = r + 5*d. Suppose r = i + 3*c - 275, -1673 = -4*i - 5*c - 594. Is 14 a factor of i?
True
Suppose 4*d = 5*i - 11, 4*i - 19 + 3 = -4*d. Suppose -19 = -i*a - 1. Let o(w) = -w**2 + 10*w - 7. Is 11 a factor of o(a)?
False
Let z be (-2)/(-12) + (-5930)/(-60). Let n = 130 - z. Does 3 divide n?
False
Let q(r) = -6*r**2 + 0 + 4 + 10*r - 3*r**2 + 8*r**2. Let c be q(10). Suppose 0 = -6*g + c*g + 2, -305 = -5*v - 5*g. Does 12 divide v?
True
Let g be (4/(-6))/(7/(-21)). Suppose 5*h - 2*r = h + 4, 0 = -4*h + r + 6. Suppose 3*q = 5*u - 12 + 66, 0 = h*q - g*u - 36. Is q a multiple of 9?
True
Let h(i) = -182*i - 3*i**2 + 2*i**2 + 193*i - 7 - 5. Is 3 a factor of h(9)?
True
Let x(k) = k**3 - 45*k**2 - 31*k - 123. Is x(46) a multiple of 63?
True
Let l = -68 - -70. Does 14 divide (29/l + -2)*(-84)/(-15)?
True
Suppose -209*m - 190 = -210*m. Is 10 a factor of m?
True
Suppose -a + 6 = 13. Let v be (4 - 2) + (-5 - a). Suppose v*z + z + 154 = 4*b, 42 = b - 3*z. Is b a multiple of 11?
False
Does 12 divide (-2 - -1051) + (28 - 21)?
True
Let g(z) = 3*z**2 - 15*z + 86. Is 8 a factor of g(15)?
True
Suppose -2*p = -4*p. Suppose 2*v = 1 - 11, -2*b + 5*v + 25 = p. Suppose b = -2*o - 8, -2*o = -2*w - 6*o + 40. Does 14 divide w?
True
Let q = 19 - 29. Let o be (-2)/(-2)*(q + 8). Let y(g) = -2*g**3 - 3*g**2 - 2*g - 3. Is 3 a factor of y(o)?
False
Suppose 12 = -4*f, -25*f = 5*r - 22*f - 5991. Is 30 a factor of r?
True
Let s = 53 - -10. Suppose -2*b = -5*b + 5*q + 217, -b + s = 3*q. Is 43 a factor of b?
False
Suppose -c = 3*c - 820. Let d = -134 + c. Suppose -5*a = -d - 29. Is 5 a factor of a?
True
Let y = -571 + 857. Is y a multiple of 11?
True
Let z be 21*-11*(-1)/(5/10). Suppose 448 = 10*v - z. Does 6 divide v?
False
Let z(a) = 10*a**2 - 3. Let v = 52 + -91. Let w be v/12 + 4/16. Is z(w) a multiple of 29?
True
Suppose 0 = -b + 3*h + 138, -2*b - 10*h = -8*h - 236. Does 2 divide b?
False
Let h be (-8)/12 - -4*2/3. Suppose -5*p - 3*j + 205 = 0, 2*p - h*j - 56 = 2*j. Is p a multiple of 19?
True
Suppose k + 0*k = 4*v - 66, -k - 49 = -3*v. Let p = v + 19. Is p a multiple of 12?
True
Does 2 divide (2/(-8))/(3/(-36))?
False
Let a(t) = -162*t**3 + 3*t**2 + 2*t - 1. Does 30 divide a(-1)?
False
Let n(p) = 3*p**2 + 6 + 5*p - p**2 - 2*p**2 + 2*p**2. Let o be n(-6). Let j = o + 15. Does 21 divide j?
True
Does 4 divide 4 - (8/16)/(1/(-482))?
False
Suppose -12 = -4*n - 4*g + 12, -4*g = -2*n + 12. Is n/2 - (-15 - 22) a multiple of 8?
True
Does 16 divide 7 - -1 - 4 - -474?
False
Suppose 33*u = 2522 + 547. Is 19 a factor of u?
False
Let a(w) = -9*w + 4*w + 0 + 1 - 4. Does 14 divide a(-11)?
False
Suppose -890 = -17*m + 7*m. Suppose -3*u + m = -2*u. Is u a multiple of 13?
False
Let p(j) be the first derivative of -4*j**2 - 20*j - 10. Is p(-10) a multiple of 10?
True
Suppose 5*g = 4*v - 449, 0 = 5*v - 10*v + g + 556. Suppose 5*l - 5*a - v - 14 = 0, l = -5*a + 37. Is 4 a factor of l?
False
Suppose -4*s - 4 = 0, 4*b - 9*b + 5 = -5*s. Suppose 394 = 3*y - b*y - 2*j, 2*j = 2. Is 37 a factor of y?
False
Let p(h) be the second derivative of -1/3*h**3 + 1/2*h**2 + 1/12*h**4 + 0 + 8*h. Does 3 divide p(-2)?
True
Is ((-4)/6)/2 - (-23384)/222 a multiple of 6?
False
Suppose 92 = t + 2*m, 0*t - 3*t + 2*m + 276 = 0. Does 14 divide t?
False
Let b = -19 + 15. Let s be 1*(b - -3)*-7. Is 2 a factor of s/(-21) - 80/(-6)?
False
Suppose -2*s + 0*s = 6, s = 2*j - 133. Suppose 0 = 2*y + 10, -3*n + y = j - 205. Suppose -5*l + n = -5*t, -l + 2*t = 3*l - 46. Is l a multiple of 9?
False
Let w(y) = 2*y**2 + 6*y + 20. Does 4 divide w(9)?
True
Let s(z) = -5*z**2 + 2*z - 1. Let b be s(1). Let j(r) = -r**2 + 6*r - 6. Let q be j(6). Is (16 + 0)/(b/q) a multiple of 24?
True
Let u(z) = -z**2 - 17*z - 31. Let x be u(-15). Does 37 divide (1 - (x - -1))/(3/111)?
True
Suppose 0 = -0*z + 5*z. Suppose 5*k + 5*g - 45 = z, 2*k + k + 4*g = 30. Does 5 divide (-2)/(-3) + 56/k?
True
Suppose -236*u - 10 = -237*u. Is u a multiple of 3?
False
Let c(w) = w + 2. Let p be c(0). Suppose 2*l = -p*h - 10, -5*l + 3*h - 1 = 48. Is 13 a factor of l/48 + 349/6?
False
Let s(r) = r**2 - 23*r - 6. Let m be s(23). Is (m/18)/(1/(-27)) a multiple of 2?
False
Let j(x) = -x**3 - 3*x - 2. Let w be j(-2). Let g be (-4)/16 - (-207)/w. Let q(f) = f**2 - 12*f - 8. Does 14 divide q(g)?
False
Suppose 6*r - 2*r = -3*z + 40, 12 = 3*z. Let s(g) = 3*g**2 - 15*g - 14. Does 4 divide s(r)?
True
Suppose -317*r + 1380 = -312*r. Does 18 divide r?
False
Suppose g + 3*g - 20 = 0. Suppose -66 + 416 = g*x. Let j = x - 19. Is 17 a factor of j?
True
Let f(j) = j**2 + 3*j + 77. Is 15 a factor of f(-11)?
True
Is (-6)/84*-2794 - 3/(-7) a multiple of 8?
True
Let i be (184/(-20))/(1/(-20)). Suppose 3*l - 442 = -5*g + l, 0 = -2*g + l + i. Suppose 4*n - g = 34. Is n a multiple of 8?
False
Suppose -6*o - 13 = -31. Suppose -o*v = y - 214, 0 = y - 5*y - 3*v + 811. Is 23 a factor of y?
False
Let m(v) = 2*v**3 - 13*v**2 + 50*v - 20. Is 7 a factor of m(7)?
False
Suppose 3*u - 2*u = 469. Let q = u - 721. Is 11 a factor of q/(-16) - (-9)/(-12)?
False
Suppose -4*q + 12 = -8. Let o(j) = 2*j**2 + 3*j + 5. Let k be o(q). Let y = 108 - k. Is 13 a factor of y?
False
Suppose -r - 7 + 11 = 0. Suppose -2*n + 4*b + 90 = b, 135 = 3*n + r*b. Does 9 divide n?
True
Suppose 57*r - 151960 + 42121 = 0. Does 12 divide r?
False
Let h = 153 + -91. Let j = h - -58. Is j a multiple of 40?
True
Suppose -363 - 3547 = -23*u. Is 10 a factor of u?
True
Let i(r) = 3*r - 24. Let b be i(11). Suppose -2*l = l + b, 0 = p + l - 117. Is p a multiple of 26?
False
Is (3/6)/(-2*(-4)/832) even?
True
Is ((-18)/(-10))/((-4)/(-1840)) a multiple of 14?
False
Let a(t) = t + 5. Let r be a(6). Is 4 a factor of (r + -4)/(3/6)?
False
Suppose 8 = -38*k + 40*k. Suppose -o + k*b = -0*b - 205, -5*b - 210 = -o. Does 8 divide o?
False
Suppose 5*y = 3*u + 15, -7*y + 3*y + 4*u = -12. Su