16*c + 40. Let z be x(14). Let o be 0 - 2*23/(-2). Let b = o + z. Is 13 a factor of b?
True
Suppose 2*f = 2*g - 22, 62 = 3*f - 8*f - 2*g. Let m be -5*(-5)/(-20)*-8. Is 8 a factor of (f/m)/(2 - (-81)/(-40))?
True
Suppose -3*z + 1347 - 1371 = 0. Let w(f) = 3*f**3 + 4*f**2 + 2*f. Let u be w(-2). Does 9 divide 2*u/z*3?
True
Does 66 divide ((-24)/10)/((-6134198)/(-766780) - 8)?
False
Let x = 2088 - 1237. Let q = 1163 - x. Is 13 a factor of q?
True
Let u(y) = y**2 - 8*y + 8. Let x be u(8). Let c(j) = 72*j - 16. Does 30 divide c(x)?
False
Let p = 656 - -3808. Is p a multiple of 31?
True
Is 15 a factor of 10960 - -100 - (5 + 0)?
True
Let b(a) = 3*a**2 + 18*a + 2. Let u be b(-6). Suppose -4*i = 4, 5*w = -7*i + u*i + 405. Does 82 divide w?
True
Let u be (6/4)/(195/(-910)). Suppose 3*o - 4*c - 43 = -283, 3*o = 2*c - 246. Is (72/u)/(12/o) a multiple of 18?
True
Let g = 1826 - -875. Is g a multiple of 16?
False
Suppose 5*k = 5*v + 15685, -14*k - 3127 = -15*k - 4*v. Is 11 a factor of k?
True
Let u be (-2)/5 - (-4 - 3211/65). Suppose u*l = 49*l + 644. Does 7 divide l?
True
Does 4 divide (-261)/(-58)*4/6 + 11491?
False
Let k = 26364 + -13806. Is k a multiple of 243?
False
Let t be ((-2)/5)/(9/(-45)). Suppose -3*h + 3*c = t*h - 148, -3*c - 3 = 0. Suppose y = -0*y - 3*k + h, 4*y + k - 72 = 0. Does 4 divide y?
False
Suppose -11*g = -9*g - 4. Suppose 5*p + 3 - 68 = 0. Suppose -2*k + g*u - p + 73 = 0, 4*u = -2*k + 60. Is k a multiple of 30?
True
Let j(s) = 61*s**2 - 42*s + 92. Does 293 divide j(14)?
False
Is 20 a factor of 1785/34*(-960)/(-36)?
True
Suppose -1015300 - 212360 = -111*i. Is i a multiple of 79?
True
Let g = -31477 - -68207. Is g a multiple of 90?
False
Suppose 3*k - 419 = 5*x, 2*k + 2*x - 576 = -2*k. Let d(o) = o**2 + 19*o - 35*o + 16*o + k. Is d(0) a multiple of 13?
True
Let c = 21 + -19. Suppose -32 = -l + c. Let i = l - -13. Is i a multiple of 12?
False
Suppose -243 = -3*q + 2*q. Suppose -1020 = 13*f - 28*f. Suppose 3*u - 3*v - v = q, -f = -u - 3*v. Is u a multiple of 18?
False
Let z = -127 + 118. Let s = 11 + z. Suppose s*y = 8*y - 720. Does 40 divide y?
True
Suppose 507*k = 509*k - 10684. Does 14 divide k?
False
Let o(k) be the second derivative of k**5/20 - 19*k**4/6 + 13*k**3/3 - 61*k**2/2 - 128*k - 1. Is o(38) a multiple of 26?
False
Let l(p) = -p**2 + p + 26. Let a be 3*4/(-12)*-53. Let g = -53 + a. Is l(g) a multiple of 10?
False
Let g be ((-1)/(-3) - (-2)/(-3))*6. Let o be 27/15*g/6*-15. Does 23 divide 89/1 + (-18)/o?
False
Let g = 2806 + -1970. Suppose 0 = d - 4*r - g, 2*d + 24*r - 1662 = 22*r. Does 32 divide d?
True
Does 89 divide 2/(-5)*1653420/(-408)?
False
Let k(v) = v**3 + 2*v**2 + 2*v + 5. Let j be k(4). Let f = j + -40. Is 11 a factor of f?
False
Let w be (13/(-3) - -4)*-12. Let y be ((-6)/(-5))/(w/230). Let b = y - 57. Does 4 divide b?
True
Suppose -b - 2 = 2*m, 2*b = -0*m - 5*m - 6. Suppose 0*u + 3*f - 669 = -2*u, 0 = 5*u + b*f - 1667. Is u a multiple of 37?
True
Suppose -4*g - 2*h - 2*h + 76 = 0, -3*h + 29 = g. Let y be 32/112 - 130/g. Let i(r) = r**3 + 9*r**2 - 10*r + 19. Is i(y) a multiple of 24?
False
Suppose 0 = 3*v + 6*r - r + 4, -r + 6 = 4*v. Suppose 0 = v*u + 2*f + 14, -u - 3*f + 8 = 21. Is 17 a factor of 236*u/(-16)*1?
False
Let u = 17860 - 8095. Does 9 divide u?
True
Let k = -399 + 402. Does 5 divide -12*(k - (7 + 4))?
False
Let p(l) = 2*l**2 - 18*l - 20. Let f be p(10). Suppose f = -3*b - 7*b + 1230. Is b a multiple of 7?
False
Let t = -54 - -9. Let j = 39 + t. Is 11 a factor of 8/j - ((-2840)/12)/5?
False
Let r(a) = -a**3 - 2*a**2 + 2*a - 1. Let q be r(-3). Suppose 8*t - 516 = q*t. Is 6 a factor of t?
False
Let d(b) = -2*b**2 + 15*b - 1. Let s be d(7). Suppose -s*z + 5*z + 359 = 0. Is z a multiple of 18?
False
Let d = -7225 - -8259. Is 116 a factor of d?
False
Suppose -12*v + 14*v - 21879 = -5*b, 3*b = -3*v + 32796. Is 14 a factor of v?
False
Suppose 175 + 969 = 13*j. Is (-6)/(-33) + (283200/j)/10 a multiple of 23?
True
Let x(c) = 63*c**2 + 127*c + 1210. Does 30 divide x(-10)?
True
Let j = -84 + 172. Suppose 3*b + 16 = 5*t, 5*b = -1 - 9. Suppose 0 = d + t*q + q - j, d = 3*q + 118. Is d a multiple of 14?
False
Suppose 0 = 2*y + 63 + 23. Let q(w) = w**3 + 44*w**2 + 24*w - 23. Does 85 divide q(y)?
False
Suppose 211*z - 82482 = 782934 + 220601. Is z a multiple of 80?
False
Let d(q) = -278*q**3 + 5*q**2 - 177*q - 1032. Does 11 divide d(-6)?
True
Suppose -6*d + 159 = -4*c - 53, -d + 12 = 4*c. Let g(i) = -i**3 - 2*i**2 - 2*i - 3. Let l be g(-3). Let a = l + d. Is 18 a factor of a?
False
Suppose -3*c + 4*h = -32794, -2*c - 2*h = -3*h - 21856. Suppose 33*t - 15*t - c = 0. Does 18 divide t?
False
Suppose -7*d - 300 = -37*d. Suppose 740 = -5*f + d*f. Is 38 a factor of f?
False
Let h be 0 - -1 - (12 - 14). Let u(i) = 8*i + 4 + 22*i**3 - 48*i**3 + 25*i**h. Is 6 a factor of u(-4)?
True
Suppose 16*u - 575542 = -177926. Does 16 divide u?
False
Let f be ((-42)/28)/((-3)/430). Suppose -5*h + 557 = -o, -5*o + f = 2*h - 8*o. Is 5 a factor of h?
False
Let u(j) = -2*j**3 - 13*j**2 + 22*j - 37. Let v be u(-12). Let t = v + -581. Does 11 divide t?
False
Let b(o) = 12*o - 69. Let a be b(6). Suppose -u + 152 - 1 = -5*f, -a = 3*f. Does 19 divide u?
False
Suppose -7915 = -w - 5*g, -4*w + 17766 + 13844 = -5*g. Is 24 a factor of w?
False
Suppose 30*q - 29207 - 1468 = 5*q. Is 3 a factor of q?
True
Let a(l) = -l**3 - 6*l**2 + 5*l - 10. Let y = 41 - 48. Let m be a(y). Suppose m*r + 1 = 261. Does 11 divide r?
False
Suppose -9*m = 14*m + 67009 - 408145. Is m a multiple of 72?
True
Let m = 1436 + -756. Suppose 4*n + w - 605 = m, 3*w - 1279 = -4*n. Is n a multiple of 14?
True
Suppose 0 = -2*a + 5*a - 2025. Suppose 0 = 5*x - 9*x - 1804. Let i = x + a. Does 39 divide i?
False
Let b be 4284/396 + (-2)/(-11). Suppose -b*s = 16*s - 20034. Is 8 a factor of s?
False
Suppose -2*i - 4*c = -8142, -5*i - 3*c + 20337 = -2*c. Is i a multiple of 7?
True
Suppose 10*f = 12*f - 3*y + 645, 0 = -3*y - 9. Let v = 491 + f. Does 29 divide v?
False
Is 87 a factor of 8968/114*((-16443)/14)/(-3)?
True
Let h be -6*1 - (-14 + 13). Let r be 12/(-1 - h - (0 - -5)). Let i = r + 22. Does 2 divide i?
True
Let n(y) be the third derivative of y**6/120 + y**5/5 + 7*y**4/12 + 25*y**3/6 + 2*y**2. Let u = -113 - -103. Is n(u) a multiple of 32?
False
Suppose -4*j - 7 - 17 = 0. Let y be (2/j)/((-1)/102). Let d = y + 4. Is d a multiple of 4?
False
Let b = -12120 + 14142. Is b a multiple of 103?
False
Suppose 5 + 3 = 2*k. Let z be 12159/(-147) - k/14. Let p = -31 - z. Does 13 divide p?
True
Let i(k) be the first derivative of 7*k - 2 - 5/2*k**2 - 1/4*k**4 - 7/3*k**3. Is i(-7) a multiple of 14?
True
Let g = 325 + 2392. Does 143 divide g?
True
Suppose 6 = s + 9, -3*s + 3 = -2*c. Let i(x) = 10*x**2 + 3*x - 6. Does 42 divide i(c)?
True
Let q = -782 + 674. Is 15 a factor of (50/(-15))/(-3 + (-323)/q)?
True
Let s(v) = 3*v**2 - 18*v - 10. Let p be s(-23). Suppose 0 = -6*u + 85 + p. Is 24 a factor of u?
False
Let i = 360 + -328. Suppose 22*g = i*g - 770. Is 11 a factor of g?
True
Let m = -355 - -1098. Let n = -395 + m. Is n a multiple of 12?
True
Let t = -507 - -776. Let d = 665 - t. Is d a multiple of 33?
True
Let y = -659 - -6389. Is 26 a factor of y?
False
Suppose c - 3*g = -34 - 55, g = 0. Let s = c + 358. Is 10 a factor of s?
False
Let y be 19*(-10)/3 + (-78)/(-234). Is 12 a factor of (-5388)/(-14) + (7 + -16)/y?
False
Let f be (-15)/(4*3/40). Let z = f - -43. Let u(v) = v**3 + 8*v**2 + v - 9. Does 6 divide u(z)?
False
Suppose 4*j + 961 = -2*n + 23665, -4*j = n - 22710. Is j a multiple of 113?
False
Suppose 5*u - 5*r - 805 = 0, 73 + 245 = 2*u - r. Suppose -168*k + 748 = -u*k. Is 4 a factor of k?
True
Let k(f) = -686*f + 334. Is k(-13) a multiple of 9?
True
Let o be -82*(22/28 - 42/147). Does 4 divide -4 - (o + (3 - 1))?
False
Let o(i) be the third derivative of -3*i**5/40 - 4*i**3 - 27*i**2. Let q(t) be the first derivative of o(t). Does 5 divide q(-3)?
False
Suppose 3*p + 17487 = -5*p + 11*p. Is p a multiple of 67?
True
Let q = 34 - 11. Suppose 19 = 2*o - 5*j, -6*j + 2*j = o + q. Does 3 divide 21/o + 3 - -31?
True
Let b(x) = -251*x**2 - 3*x - 2*x + 10 + 263*x**2. Is 69 a factor of b(8)?
False
Let p(w) = -w**3 - 15*w**2 - 3*w - 21. Let x be p(-15). Let a = x - 21. Suppose 49 = a*l - 101. Is l a