 1221 - 741. Is 8 a factor of s?
True
Let d(x) be the first derivative of -2*x**3/3 + 6*x**2 - x + 6. Let u(i) be the first derivative of d(i). Does 16 divide u(-5)?
True
Suppose -4*b + 106 = 10. Let f = b - -291. Suppose 0 = -4*l - l + f. Does 21 divide l?
True
Suppose 184 = 4*r - 0*r. Suppose -2*d - 4*n + r = -d, -5*d + 275 = 5*n. Is d a multiple of 29?
True
Suppose 2*r + r + 213 = 0. Let t = r - -81. Is t a multiple of 5?
True
Let y = -647 + 2752. Is y a multiple of 32?
False
Let y(h) be the third derivative of h**4/3 + 35*h**3/6 - h**2 + 8*h. Is 9 a factor of y(5)?
False
Let r(w) = -3*w - 15. Let z be r(-6). Suppose 85 - 7 = z*x. Is 11 a factor of x?
False
Is 9 a factor of (-6)/(-20) + (-86013)/(-190)?
False
Suppose 2*l - 5 = x, -x + 2*x - 7 = -4*l. Let o be -20*((-57)/15 - x). Let m = o - 30. Is 26 a factor of m?
True
Let s(n) = n - 1. Let i be s(4). Suppose i*v = 10 - 4. Suppose 4*w + a = 381, -v*w + 2*a = -27 - 171. Does 32 divide w?
True
Suppose 12 = -p + 3*p. Let b(c) = 3*c**2 - 14*c + 1. Is 25 a factor of b(p)?
True
Let w = 97 - 96. Suppose -127 = -6*m - w. Is 8 a factor of m?
False
Let r(g) = g**3 + 29*g**2 + 50*g + 44. Is r(-20) a multiple of 124?
False
Let k = 6 + -3. Let l be (k - 5)/(1/40). Let j = -11 - l. Is 14 a factor of j?
False
Let r(b) = b**3 - 32*b**2 + 54*b - 32. Does 18 divide r(31)?
False
Let a be (5678/102)/((-2)/(-6)). Let n = 299 - a. Does 10 divide n?
False
Let b be -137 - (2/(-8) - 11/4). Let x = b - -234. Does 31 divide x?
False
Suppose 5*y = 4*y - 5, -5*y = -3*b + 1. Suppose 9 + 9 = 3*a. Is 10 a factor of ((-30)/b)/(a/16)?
True
Let a be 0 - 6*(-30)/(-9). Let f = -10 - a. Suppose f*n - 215 = 5*n. Is n a multiple of 22?
False
Suppose 5 = w - 3*d + 20, -w + 2*d - 13 = 0. Let n(o) = 2*o - 9. Let y be n(w). Let x = 59 + y. Is x a multiple of 16?
True
Let d(m) = 7*m**3 + 2*m + 3. Let s(f) = -3*f**3 - f - 1. Let r(a) = 4*d(a) + 9*s(a). Is 9 a factor of r(3)?
True
Suppose -m = -5, 2*o - o + 5*m - 425 = 0. Is 40 a factor of o?
True
Let w(i) be the third derivative of -i**6/60 + i**5/30 - 7*i**4/24 - i**3/6 - 5*i**2. Does 12 divide w(-3)?
False
Let c(a) be the third derivative of -5*a**4/24 - 17*a**3/6 - 23*a**2. Is 3 a factor of c(-4)?
True
Let l be -3 + 10 + (-2 - 2). Suppose -3*i - 131 = -2*t, l*t - 2*t - 5*i - 55 = 0. Is 19 a factor of t?
False
Let s = -121 - -113. Does 4 divide 765/68 + (-6)/s?
True
Suppose 0 = -o - 3*g - 63 + 288, 2*o + 3*g = 441. Is 8 a factor of o?
True
Suppose 2915 = -169*p + 174*p. Is 58 a factor of p?
False
Suppose -14*i - 72 - 26 = 0. Let b(y) = -55*y - 16. Is 31 a factor of b(i)?
False
Let a be 76*(-18)/(-3) - -2. Let u be (-2)/(-6) - a/(-3). Suppose -5*n + j + u = 0, -4*j + 114 = 4*n - 2*j. Is 15 a factor of n?
True
Suppose -2*g - 226 = -3*i - 0*g, 0 = -3*i - 5*g + 191. Is i a multiple of 12?
True
Let h = -64 + 126. Let u = h - 27. Let m = -8 + u. Is 9 a factor of m?
True
Let i = -3861 - -10093. Does 149 divide i?
False
Let d = 1322 + -901. Is d a multiple of 8?
False
Let d = 248 - 110. Is d a multiple of 6?
True
Is 5 a factor of (-910)/3*72/(-48)?
True
Let j be 6*10/16 + (-12)/(-48). Suppose -j*t + 30 = c, c + 2*c - 4*t = 122. Is 14 a factor of c?
False
Suppose 5*j + 0*j + 2*g - 12 = 0, 3*j + 3*g = 0. Does 22 divide (-706)/(-8) - 1/j?
True
Let c = -179 - -517. Is c a multiple of 26?
True
Suppose 0 = -5*i + 537 - 102. Suppose 0 = 3*h - 0*h - i. Suppose -119 = -2*a + h. Is a a multiple of 21?
False
Suppose 0 = -5*g + 3*v + 10 + 19, 0 = 4*g - v - 19. Let t(q) = 2*q + 12. Is t(g) a multiple of 5?
True
Let j(s) = -11*s + 29. Let o(g) = -2*g + 5. Let p(k) = -6*j(k) + 34*o(k). Let l be p(-3). Suppose -l*w + 6*w - 64 = 0. Is 16 a factor of w?
True
Suppose -20 = -5*r, -101 = 2*j + 2*r + 35. Does 9 divide ((-22)/(-33))/((-2)/j*1)?
False
Let s(w) = -47*w**3 + w**2 - 1. Let b be s(-1). Suppose b*g + 168 = 48*g. Is 17 a factor of g?
False
Let c = 4 - 5. Let u be 8 + -6 - (0 + c). Is (u/(-4))/(7/(-560)) a multiple of 12?
True
Let x = -54 - -50. Is (-25 - 3)*(1/x + -2) a multiple of 9?
True
Let b(a) = -64*a. Let i be b(1). Let d = i + 29. Let n = 7 - d. Is n a multiple of 14?
True
Suppose 270 = -12*z + 7*z. Let y = -18 - z. Is 12 a factor of y?
True
Let y(u) = -6*u + 38. Is y(-8) a multiple of 30?
False
Let y(h) be the second derivative of 5*h**3/3 - 5*h**2/2 + 24*h. Is y(4) a multiple of 5?
True
Let r(d) be the second derivative of -d**5/30 - 7*d**4/12 + 4*d**3/3 + 3*d. Let f(q) be the second derivative of r(q). Does 30 divide f(-11)?
True
Let y be (-5 - -6)/((-1)/(-26)). Suppose -6 = -2*m + y. Does 16 divide m?
True
Let w = 42 + -37. Does 37 divide (45 - w) + 1/1?
False
Suppose -265 = -5*g + 850. Let o = -151 + g. Does 8 divide o?
True
Suppose 85*s = 110*s - 20750. Is s a multiple of 2?
True
Is 182879/301 + (-8)/14 a multiple of 112?
False
Suppose 2*t + 5*n - 11 = 0, 7*n + 8 = 4*t + 3*n. Suppose z = t + 1. Does 16 divide (-190)/(-4) + (-2)/z?
False
Let l(j) = j**3 - 8*j**2 + j - 10. Let p be l(8). Is 4 a factor of p/14 + 282/14?
True
Suppose 1214*m = 1216*m - 632. Is m a multiple of 7?
False
Let c(d) be the third derivative of -d**5/60 + 17*d**4/24 + d**3/3 + 11*d**2. Is c(7) a multiple of 12?
True
Suppose 160 = 3*j - 164. Suppose 189 = 3*w - j. Does 11 divide w?
True
Does 4 divide -5 + 282/54 + 3261/27?
False
Let p(q) = -3*q + 10. Suppose -3*n + 17 = -4*x, 2*n - 4*x - 8 = 2. Suppose 2*u = u + j - n, -3*j + 6 = 0. Is 16 a factor of p(u)?
False
Let s = 40 - 38. Suppose -4*l = -u + 152, -5*u + 2*l + s*l + 760 = 0. Does 19 divide u?
True
Suppose 4 = 4*g, o = -4*o + 3*g + 477. Does 11 divide o?
False
Let b be 4 + (-11)/(22/(-192)). Is 1*18/15*b/8 a multiple of 15?
True
Does 3 divide -129*(6 + (6 - 13))?
True
Let y = 5 - 5. Let f(k) = -k**3 - k**2 - 2*k + 45. Is 9 a factor of f(y)?
True
Let m(v) = -5*v - 5. Let b be m(-2). Suppose -3*w - 9 = -d, -3*d = 2*w - 4*d + b. Does 10 divide (-42)/28 + (-170)/w?
False
Let y be 19/(-4) - (-7)/(-28). Does 13 divide (3/y)/(13/(-2535))?
True
Let o(f) = f**3 + 17*f**2 + 13. Is 32 a factor of o(-15)?
False
Let x(d) be the third derivative of d**6/120 + d**5/10 - 7*d**4/12 - 2*d**3/3 - 9*d**2. Does 21 divide x(-4)?
True
Suppose -6*y = -10*y. Let a be -74 - -3 - 0 - y. Let t = a + 119. Is 16 a factor of t?
True
Let a be (-11)/(77/306) - 2/7. Let f = a + 76. Is 2 a factor of f?
True
Let v(s) = -2*s. Let o(i) = -3*i. Let q(g) = -3*o(g) + 2*v(g). Does 20 divide q(21)?
False
Let b(a) = 3*a**2 + 3*a + 5. Let r be b(-2). Let f be r/2 - 2/4. Suppose 4*u - 3*u - 34 = -f*o, 4 = o. Does 10 divide u?
False
Let m = -117 + 119. Suppose m*r = 4*w + 32, 3*r + w + 1 = 28. Is r a multiple of 5?
True
Let v(g) = -4*g**2 - 31*g - 46. Let f be v(-12). Is 41 a factor of 4 + -6 - 1 - (1 + f)?
True
Let t(m) = 5*m + 2. Let a(g) be the second derivative of g**2/2 - 2*g. Let l(d) = 6*a(d) - t(d). Is 22 a factor of l(-10)?
False
Suppose -14*n + 7544 = 32*n. Is 5 a factor of n?
False
Let k(v) = 24*v + 1. Let s be k(15). Let g(f) = f + 7. Let m be g(0). Suppose m*b - 2*b + 2*j - s = 0, 5*j = -b + 63. Does 32 divide b?
False
Suppose 11 - 2 = 3*x. Suppose -3*o - x - 3 = 0. Let s(p) = -5*p**3 - 4*p**2 - 4*p - 2. Is 12 a factor of s(o)?
False
Let r be (-4)/2*(-33)/2. Suppose 29*v = r*v - 272. Is v a multiple of 17?
True
Let j be 472/16*-4*(-3)/(-1). Let m = 507 + j. Does 17 divide m?
True
Let s(p) = -2*p**2 - 15*p + 10. Let c be s(-8). Suppose -c*y - 3*d + 15 = y, -15 = 3*y - 3*d. Suppose x = -5*j + 60, -2*j + y = -8. Is x a multiple of 6?
False
Suppose -5*c - 275 = -4*z, -z + 3*c + c = -77. Is 5 a factor of z?
True
Let c(o) = -o**2 + 4*o - 4. Let l be c(7). Let u = -20 - l. Suppose 360 = b + u*b. Is b a multiple of 15?
True
Let j(c) = -c**3 - 3*c**2 + 3*c - 4. Let f be j(-4). Suppose f = -l + 65 + 9. Is l a multiple of 17?
False
Suppose -3*d = 4*a - 2*d - 561, 0 = -4*a + 5*d + 555. Suppose 5*q - 5*x - a = 0, -q + 27 = 2*x - 4*x. Is q even?
False
Let s = -1975 - -3325. Is s/18 + (1 - 2)*-2 a multiple of 7?
True
Suppose -p - v + 13 = 0, -p + 3*v + 15 = 2*p. Is p a multiple of 9?
True
Let g(b) = 1771*b - 342. Does 80 divide g(2)?
True
Let a = 62 - -3. Let n be 24/10 + (-26)/a. Suppose 3*p = 15, -n*x + 142 = -2*p - 2*p. Is x a multiple of 27?
True
Let h = -123 + 115. Let s(a) = -5*a + 9. Is 7 a factor of s