5*a - 1316 = 3193. Does 28 divide j?
False
Let s be 2/(-7) + 678/21. Let y = -19 + s. Is 13 a factor of y?
True
Let t = -482 + 531. Is 2 a factor of t?
False
Let y = 2326 - 512. Is y a multiple of 28?
False
Suppose 0 = -d + 2*b + 4, 3*d - 2*d - 1 = -b. Suppose -4*n = -7*c + d*c + 160, 3*c + 3*n - 69 = 0. Does 5 divide c?
False
Suppose -5*n + 31 = 2*z, 18 = 4*z + 4*n - 14. Suppose 0 = -z*m + 6 + 21. Does 3 divide m?
True
Let j(a) = 4*a**3 + 5*a**2 - 8*a + 1. Is j(4) a multiple of 5?
True
Suppose d + 3 = 5*w - 19, -5*d = w + 6. Suppose w*b = 5*b - 42. Does 7 divide b?
True
Suppose 0 = 3*r + 2*c - 145 - 415, -563 = -3*r - 5*c. Is 16 a factor of r?
False
Let n = 182 + -93. Is n a multiple of 37?
False
Suppose -b + 1207 = -113. Is b a multiple of 12?
True
Suppose 5*d = -2*t - 9, -6*t + 3*t + 18 = -3*d. Suppose -t*n + 37 = -32. Is 2 a factor of n?
False
Suppose -5*k - 21 = -0*k + 2*r, 4*k + 9 = r. Is ((-18)/(-15))/k + (-2168)/(-20) a multiple of 11?
False
Suppose -z + 2263 = 4*j, -8*z + 3*z + 11292 = -3*j. Is 84 a factor of z?
False
Let h(i) = i**3 - 42*i**2 + 19*i + 52. Is 34 a factor of h(42)?
True
Suppose 12*s - 3535 - 65 = 0. Is s a multiple of 35?
False
Let u(a) = a**2 + 12*a - 22. Let r be u(-13). Let n(x) = -7*x + 13. Does 19 divide n(r)?
True
Suppose 16*w - 17*w = 7. Let v(c) = 3*c**2 + 6*c + 6. Does 37 divide v(w)?
True
Let v(x) = -2*x**3 - 15*x**2 - 30*x. Does 18 divide v(-9)?
False
Let j(i) be the first derivative of 13*i**6/60 - i**4/24 + i**3/6 - 3*i**2/2 + 1. Let p(t) be the second derivative of j(t). Is p(1) a multiple of 25?
False
Is (-21292)/(-13) - (-192)/1248 a multiple of 63?
True
Let p(z) = z**2 - 13*z - 54. Is 32 a factor of p(27)?
False
Suppose -38182 + 11402 = -65*r. Is 79 a factor of r?
False
Let u(x) = x**2 + 14*x + 15. Let q be u(-13). Let d(w) = -w**3 + 3*w**2 - 2. Let y be d(q). Suppose 2*k - 8 = -y, -5*p + 39 = -2*k. Is p a multiple of 3?
True
Let g(n) = -334*n**2 + 4*n + 2. Let v be g(2). Is 9 a factor of (v/119)/(2/(-14))?
False
Let p = 1155 - 755. Is p a multiple of 25?
True
Suppose 679 = -0*y + y + 2*m, 4*y + 4*m - 2708 = 0. Is 21 a factor of y?
False
Suppose -2*l - 3*d = -2*d + 60, l - d = -27. Let q = l - -73. Is 22 a factor of q?
True
Let s = 623 + -333. Does 5 divide s?
True
Suppose 22647 = 17*a - 35867. Is 54 a factor of a?
False
Suppose 60*d = -2*d + 102920. Is 12 a factor of d?
False
Let q = -57 + 52. Does 35 divide (5 + 0)*1*(-267)/q?
False
Is 13 a factor of 5*(-4)/20 + 1087?
False
Let r(z) be the first derivative of z**4/4 - 16*z**3/3 + 10*z**2 - 14*z + 5. Does 30 divide r(15)?
False
Let o be (11 + 1)*4/4. Let l be 380/15*o/(-2). Is (l/(-12) - 2)*3 a multiple of 8?
True
Let z = -3 + 5. Let s = 165 - -287. Suppose z*c - s = -2*c. Is 24 a factor of c?
False
Suppose -13 = -2*g - 25. Let z(i) = -3*i**2 - 20*i - 7. Let m be z(g). Is 23 a factor of m + -3 + 1 + 67?
False
Let k(b) be the third derivative of b**5/60 + b**4/4 - 11*b**3/6 - 2*b**2. Is 13 a factor of k(-10)?
False
Suppose -9865 = -7*a - 2403. Is 82 a factor of a?
True
Let h = -913 - -1546. Is h a multiple of 3?
True
Let d = 76 - 30. Let n = -27 + d. Is n a multiple of 5?
False
Suppose 0 = 5*c - 12*c + 1477. Does 4 divide c?
False
Suppose -6873 = -8*h + 2271. Is h a multiple of 25?
False
Suppose -4*m + 2 = -3*m. Let f be (17 - -1)/(3/m). Let r = 22 - f. Is 5 a factor of r?
True
Let u(r) = -3*r**2 + 22*r - 21. Let y be u(9). Is 14 a factor of ((-196)/(-21))/((-4)/y)?
True
Let v be 2 + (0 - -2 - 4). Suppose v*k - 5*k = -550. Is 22 a factor of k?
True
Let n(x) = -2*x**3 - 11*x**2 - 17*x + 2. Let t(k) = -3*k**3 - 11*k**2 - 18*k + 2. Let b(f) = -4*n(f) + 3*t(f). Let p be b(12). Is 8/44 + 612/p a multiple of 14?
True
Let q = -120 + 172. Does 10 divide q?
False
Suppose d = -w + 3*d + 16, -3*w - 4*d + 28 = 0. Suppose -20 = -a + w. Is 5 a factor of a?
False
Let f = -133 - -373. Is f a multiple of 31?
False
Suppose 410 = -7*c + 1922. Does 54 divide c?
True
Suppose -7*b + 2*b + 123 = y, -4*b = -4. Let z = y - 86. Is z a multiple of 8?
True
Let b = 2 - 0. Suppose -69 = -4*t + b*r + 339, -184 = -2*t - 4*r. Is 14 a factor of t?
False
Suppose -576 = -c - 2*p, -7*p + 1156 = 2*c - 4*p. Suppose 440 = 3*w + f, -4*w + f = 3*f - c. Suppose 8*d - w = 6*d. Does 22 divide d?
False
Let d be -60*-1*4/8 + -2. Let h = d + 124. Is h a multiple of 6?
False
Let b(v) = 3*v - 6. Let n be (4/(-1))/((-4)/8). Is 9 a factor of b(n)?
True
Let q(d) = -d - 2. Suppose o + 8 = -v, -4 + 36 = -5*o - v. Let a be q(o). Suppose -3 = y + 1, 3*s + a*y - 2 = 0. Is s a multiple of 5?
False
Let u be ((-6)/2 - -6) + -3 - -3. Suppose -u*o + 147 = -69. Is 11 a factor of o?
False
Let o(j) = 2*j - 5. Let u be o(-4). Let g = u - -35. Is (6/(-4) - -4)*g a multiple of 11?
True
Suppose -96 = 4*p + 4*v - 8, -114 = 5*p + 3*v. Is (p/(-30))/(3/105) even?
True
Suppose -69*z + 75*z - 1638 = 0. Does 6 divide z?
False
Let g(w) be the third derivative of -w**6/120 - 7*w**5/30 - 17*w**4/24 - 5*w**3/3 - w**2. Let t be ((8/4)/4)/(4/(-104)). Does 14 divide g(t)?
True
Suppose -12 = 4*y - 36. Suppose 4*g - 32 = 4*q, 5*g - 31 = 2*q - y. Suppose 2*x = -g*z + 18, -4*z - 5*x + 24 = -2*x. Is 6 a factor of z?
True
Let j be 0 + -2*(1 - 3). Suppose -6 = -a + 3*n, 0 = 2*a - 3*a + 5*n + 10. Suppose a = -u - j + 11. Is 3 a factor of u?
False
Let n(b) = -65*b**3 - 5*b**2 - 3*b. Let k be n(-3). Suppose -35*o + 44*o = k. Is o a multiple of 18?
False
Let w = -25 + 25. Suppose 5*l + w*l - 15 = 0. Suppose -l*s + 78 = 3*p, -p + s + s + 11 = 0. Does 13 divide p?
False
Suppose 0*h - 4*h = 4*k - 1444, 5*k - 1808 = -4*h. Does 91 divide k?
True
Let a(f) = f**3 + 9*f**2 + 9*f + 2. Let n be a(-8). Is (44/n + 4)*-3 a multiple of 10?
True
Suppose -3*w = 2*i, 0 = 3*i + 4*w + 3 - 1. Let h = 18 + i. Does 12 divide h?
True
Suppose -2*x - 2*j + 400 - 98 = 0, 2*j + 10 = 0. Is 52 a factor of x?
True
Let t(x) = x**3 + 7*x**2 + x - 9. Let j be t(6). Let o = -290 + j. Does 7 divide o?
True
Suppose 4*z = -5*r + 5997, -4*z = r - 130 - 1079. Is r a multiple of 21?
True
Let j = -238 - -460. Does 6 divide j?
True
Let r(j) be the first derivative of -j**4/4 + 2*j**3/3 + j**2 - 3*j + 7. Let m be r(3). Is 2 a factor of (-4)/m - 16/(-12)?
True
Suppose c = 2*b + 1 + 5, -6 = 2*b + 4*c. Let r(q) = -4*q - 3*q**3 + 2 - 3*q**2 - 3 + 2*q**3. Does 11 divide r(b)?
True
Suppose 2*i + 0 = -x + 9, 0 = -4*i - 12. Suppose -216 - 2664 = -x*w. Is w a multiple of 16?
True
Let q = 5006 - 3117. Is q a multiple of 67?
False
Let s(h) be the first derivative of 124*h**3 + h**2 - 2*h + 6. Is 18 a factor of s(1)?
False
Let n(c) = c + 8. Let w be n(6). Let i be 442/(-8) - (-4)/16. Let v = w - i. Is v a multiple of 23?
True
Let i(x) = -2*x**2 + 99*x - 16. Does 17 divide i(29)?
True
Let z be (-224)/(-36) - (-7)/((-63)/2). Let k = z - -19. Is k a multiple of 13?
False
Suppose -73*r = 32*r - 50820. Is r a multiple of 30?
False
Suppose 439 = 4*m - j, 4*m + m - 549 = j. Suppose -5*o + 20 = -m. Is 26 a factor of o?
True
Suppose -14 = -3*h + 7. Is 9 a factor of 444/h - (-3)/(-7)?
True
Let i = -360 - -752. Is i a multiple of 56?
True
Let f be (-8)/8 + 22*1. Let k = f + 39. Is k a multiple of 10?
True
Suppose -2*a + 62 = 2*t, 3*a + 105 = 2*t + t. Suppose t - 12 = -3*u. Let w(q) = -q**3 - 7*q**2 - 2*q - 1. Is w(u) a multiple of 13?
True
Let g(d) = -2 + 11 + d + 12*d - 5*d + d**2. Let j be g(-6). Is 16 + (-5)/(-5)*j a multiple of 2?
False
Let z(a) = 4*a + 22. Let v be z(-5). Is (v*(-212)/16)/((-2)/4) a multiple of 16?
False
Suppose 0 = 2*a, 0 = -5*g - 7*a + 3*a + 20. Suppose g*q + 189 = 765. Is q a multiple of 16?
True
Is (6/8)/(24/4704) a multiple of 29?
False
Suppose -y + 8 = -2*f, 0*y - y + 14 = -5*f. Let b = 7 + y. Is 11 a factor of b?
True
Let f(i) = 5*i + 6. Let m = -20 + 29. Is f(m) a multiple of 2?
False
Let k be (1 + 13/(-4))/((-129)/18920). Suppose -3*u - 2*f = -7*f - k, -5*f + 510 = 5*u. Is 7 a factor of u?
True
Suppose 5*b = -5*i + 20, 2*b + 8 = i + 7*b. Let s be (-35)/(-10)*12/14. Is 7 + s - i*-1 a multiple of 13?
True
Suppose v + 5 = 7. Suppose i + v*n - 80 = 0, 2*n = 2*i - 2*n - 136. Is i a multiple of 6?
False
Suppose -2*b - 60 = 5*r - 0*b, 0 = -3*r - 4*b - 50. Let o(i) = -2*i + 1. Let j be o(r). Let g = -1 + j. Does 10 divide g?
True
Does 13 divide 6/(-2)*256/(-6)?
False
Let i(d) = -2*d