*r**3 + r. Let t(y) = -y**2 + 9*y + 9. Let i be t(10). Let b be m(i). Is 17 a factor of (-3 - b)*(-136)/10?
True
Suppose -3*r - 20*m + 15*m = -162, 251 = 5*r + 2*m. Is r even?
False
Suppose 0 = -3*w - 6, -3*c = -4*w - 2322 + 478. Is 18 a factor of c?
True
Suppose 3*g = -9 + 36. Let o = 9 - g. Suppose o*l - 144 = -8*l. Does 10 divide l?
False
Suppose -3*w - 19 = 4*x - 4*w, 3*x + 5*w + 43 = 0. Let b be (-9)/x*(-104)/(-12). Suppose h + b = 2*h. Does 4 divide h?
False
Let y(f) = 9*f + 42. Does 8 divide y(7)?
False
Does 79 divide 465/620*(-15856)/(-6)?
False
Let z be 38/14 - (-12)/42. Suppose -z*w = -6*w. Suppose 0 = -w*n + 4*n - 3*d - 237, -175 = -3*n + 5*d. Is n a multiple of 18?
False
Suppose 3*v - 516 = -4*a - 206, 5*v + 4*a = 530. Is v a multiple of 10?
True
Suppose 1004 = 9*r - 5*r. Let u = r + 34. Is (-1)/(-2 - u/(-144)) a multiple of 15?
False
Let n(k) be the second derivative of k**3/3 + k**2/2 + 4*k. Let g be n(-2). Let a(m) = 5*m**2 - 4*m + 3. Is 15 a factor of a(g)?
True
Let n(g) = 20*g**2 + 6*g - 3. Let w(l) = 19*l**2 + 5*l - 2. Let z(x) = -6*n(x) + 7*w(x). Is z(-3) a multiple of 9?
False
Is 53 a factor of (475/57)/((-4)/(-1272))?
True
Does 12 divide (55/40)/(-11) - (-1154)/16?
True
Let t(w) be the second derivative of -19*w**3/6 - w**2/2 - 6*w. Let c be t(-2). Suppose -o - 2 + c = 0. Does 24 divide o?
False
Let s(p) be the first derivative of p**3/3 - 7*p**2 + 7*p + 15. Is 7 a factor of s(14)?
True
Is 5*(4/8)/((-40)/(-736)) a multiple of 9?
False
Let j be (-1)/4 + 351/(-52). Let o(z) = -2*z - 6. Let h(p) = -5*p - 12. Let g(q) = j*o(q) + 3*h(q). Is g(0) even?
True
Let z(i) = i**2 - 10*i + 12. Let q be z(9). Suppose -4*g + 4*d - 5*d + 273 = 0, -3*g + q*d + 186 = 0. Is g a multiple of 15?
False
Let m = -14 - -11. Let x = 0 - m. Suppose 0 = -x*i - c + 59, 0*i + 40 = 2*i + c. Is 8 a factor of i?
False
Let r = -62 - -61. Does 8 divide (-1)/(r/58) + -1 + -1?
True
Let z(n) = -36*n + 4. Let j = 102 - 106. Is z(j) a multiple of 13?
False
Let q(f) = -f**3 + 8*f**2 + 8*f - 19. Does 7 divide q(8)?
False
Suppose 15 = 5*g + 5*d, 8 = 2*g - 3*d + 7*d. Suppose 4*w = 54 - g. Is 5 a factor of w?
False
Suppose x + 3*b = 6*x - 30, -x = -2*b - 13. Suppose -5*w - z + 555 = 0, -112 = -4*w - x*z + 343. Let t = -53 + w. Is t a multiple of 11?
False
Let h(r) = -1 + 5*r - 5*r**2 + 9*r**2 - 1 + 2*r**2. Is h(-5) a multiple of 17?
False
Let m be (2 - 3)/((-7)/35). Suppose d + 0*d = 2*o + 32, m*d + 5*o = 100. Is 4 a factor of d?
True
Let v(b) = -b**2 + 20*b - 43. Let c be v(19). Does 28 divide 21/c + 1 + (-1870)/(-16)?
False
Let n = -9 - -13. Suppose 0 = -g - n*w + 3*w + 18, -5*g + 4*w + 90 = 0. Let o = g + 8. Is o a multiple of 7?
False
Let f = -107 + 89. Let r = 50 + f. Is 6 a factor of r?
False
Let n(g) = g**3 - 11*g**2 + 9*g + 13. Let v be n(10). Is 15 a factor of v + 32/(-10) - 1502/(-10)?
True
Does 52 divide ((-1176)/2)/(0 - (-1 + 2))?
False
Suppose 3*t = -0*t + 108. Suppose 3*l - t + 30 = 0. Suppose 2*z + l*s - 18 = 0, -4*s + 14 - 2 = 0. Is 6 a factor of z?
True
Let p(t) = -3*t + 5*t - 10 - t. Let i be p(12). Suppose m = -4*m - y + 292, 0 = -i*m - 5*y + 103. Is m a multiple of 18?
False
Let l(d) = 5*d**3 + 6*d**2 - 27*d - 18. Is l(7) a multiple of 17?
True
Let s(u) = -u**2 + 4*u - 5. Let n be s(5). Let x be (-304)/(-20) - (-2)/n. Suppose 3*i + 2*q = -0*q + 12, -3*i - 3*q + x = 0. Is i a multiple of 2?
True
Let i = 604 + 4136. Is 168 a factor of i?
False
Let c be 3 + -6 - (-5 + 2). Let o(q) = -2*q**3 - 3*q**2 + 2*q - 1. Let n be o(-6). Suppose -t + 5*y + 49 = -c*t, -3*y - n = -5*t. Is t a multiple of 13?
False
Suppose 30 = 3*n - 3*u, 2*u - 6*u + 37 = 3*n. Let h = 45 + n. Does 8 divide h?
True
Suppose -12*u + 12 = -9*u. Suppose 0 = u*m - 3*y - 609, 5*m = 7*y - 3*y + 761. Is 9 a factor of m?
True
Let h = 1161 + -561. Is 12 a factor of h?
True
Let d be 6/10 - 7840/(-100). Is (d - -4) + 3 + -1 a multiple of 17?
True
Let m be 7/14 + 2/(-4) + 2. Suppose m*q - 480 = -4*q. Is q a multiple of 10?
True
Suppose k = -2*k + 36. Does 10 divide -5*k*4/(-15)?
False
Let n be 1/(-7)*2 + 528/84. Let t(l) = 2*l**2 - l - 7. Is 9 a factor of t(n)?
False
Let c = -74 + 74. Suppose o - 3*k - 1292 = -3*o, c = -3*k. Is 54 a factor of o?
False
Suppose -3*x + 4*g + 340 = 2*g, g = 4*x - 450. Suppose 0 = -6*w + 152 + x. Is 11 a factor of w?
True
Let j(t) = 3*t**2 - 17*t - 39. Does 39 divide j(9)?
False
Suppose 5*n - 1637 = 3328. Is n a multiple of 78?
False
Let b = 1714 + -1033. Let a = 155 + b. Is a/14 + (-4)/(-14) a multiple of 20?
True
Is 41 a factor of 606/(45/50*10/6)?
False
Let h(u) = 4*u**3 + 2*u**2 - 1. Let l be h(1). Let j = 7 - l. Suppose -j*a + 48 = -t, -126 = -5*a - 3*t + 4*t. Does 13 divide a?
True
Suppose 3*w - 1347 = 5*a - 4107, 0 = -2*a + 4*w + 1104. Is a a multiple of 21?
False
Suppose -3*v + 5*x = 10, 6 = -v - x + 4*x. Let z(q) = -q**2 + 3*q + 2. Let l be z(2). Suppose -l*o - 86 = -2*u - v*o, 3*u = -o + 115. Is 13 a factor of u?
True
Suppose -6*p + 6336 + 1026 = 0. Does 15 divide p?
False
Suppose -6*p + 10*p = -5*j + 4291, 2*j - 1717 = -p. Does 43 divide j?
False
Let b = 357 - 160. Suppose -5*u = -2*k + k - 321, -3*u + 5*k + b = 0. Is u a multiple of 12?
False
Let c(b) = -b**2 + 5*b - 2. Let h be c(4). Suppose h*x - 9 = 5*x. Let q = 11 - x. Is q a multiple of 7?
True
Let p(s) = -s**2 - 8*s + 9. Let v be p(-9). Suppose -91 = -y - 5*l, 0 = -3*l + 3 - v. Does 13 divide y/4*(-5 + 7)?
False
Let g = 1075 + -78. Is 17 a factor of g?
False
Suppose -3*s + 7 = 19, 4*z = -4*s + 452. Is z a multiple of 9?
True
Suppose 2*h = 4*l + 12, 2*l + 16 = 5*h + 6*l. Let w(g) be the second derivative of -g**4/12 + 5*g**3/6 + 3*g**2/2 + 3*g + 17. Is 2 a factor of w(h)?
False
Let f = -177 - -409. Is 10 a factor of f?
False
Suppose 4*h + 8*m = 7*m + 1116, -4*m - 16 = 0. Suppose h = 13*f - 6*f. Is 8 a factor of f?
True
Suppose 0 = 6*w - w - 20. Let d(i) = -2*i**3 - 22*i**2 + 2*i + 25. Let b be d(-11). Does 3 divide (w/b)/((-30)/(-225))?
False
Let a(d) = 2*d + 0*d + 2*d + 3 + 0. Let u be a(-3). Let y(m) = -m**2 - 13*m + 3. Is y(u) a multiple of 11?
False
Let f(k) = k**2 - 11*k - 13. Suppose 21 = 5*v - 9. Suppose -39 = -v*y + 3*y. Is 3 a factor of f(y)?
False
Let v(d) = d**3 + 6*d**2 + 38*d + 2. Is 49 a factor of v(9)?
False
Let g(d) = 79*d - 2 + 3 + 0 + 0. Does 34 divide g(3)?
True
Suppose 37 = 13*y - 1627. Does 4 divide y?
True
Let g(b) = -2*b**3 - 5*b**2 + 2 + 2*b**3 - 2*b**3 + b**3. Let v be g(-5). Suppose -28 = -4*j + v*i, 5*j - i - 35 = 2*i. Is 5 a factor of j?
False
Let m(b) = -8*b + 36 + 0*b**3 - b**3 - 35 + 9*b**2. Let f be m(8). Suppose 3*p - 10 = -f. Is 3 a factor of p?
True
Let n(y) = -y**3 - 4 + 9*y**2 - 2*y + 2*y**3 + 6 - 10*y. Let a be n(-13). Is 30 a factor of a/(-6) - 10/(-15)?
False
Suppose 5*c = 4*q - 31, 3*q = q - 2*c + 20. Suppose 4*b + q - 25 = 0. Is b a multiple of 4?
True
Let u = -32 - -35. Suppose 0 = -3*d - 5*c + 4*c - 115, 0 = -u*d - 3*c - 111. Let q = -24 - d. Does 15 divide q?
True
Let w(d) = d**3 - 11*d**2 - 2*d + 14. Let r be w(11). Let b = r + 20. Suppose -b = -c - m + 3*m, -2*m = -3*c + 32. Does 3 divide c?
False
Suppose -8*r - 975 = -4*i - 3*r, 2*i = -2*r + 474. Does 60 divide i?
True
Let r be (-2)/(-4)*-173*2*-1. Suppose -4*i = -a - 193, -66 + r = 2*i + 3*a. Is 11 a factor of i?
False
Suppose 4*m + b = 199, -m = -2*b - b - 66. Does 17 divide m?
True
Suppose 4*i = -411 - 65. Let h(u) = 6*u**2 + 5*u + 7. Let z be h(-6). Let q = i + z. Is q a multiple of 15?
False
Let x(o) = -o**3 + 14*o**2 + 6*o - 12. Let g = -7 - -21. Does 36 divide x(g)?
True
Suppose -4*t + p + 9064 = 0, 5375 = -4*t - 2*p + 14427. Does 10 divide t?
False
Suppose -k + 2*o + 4 = -0, 4*o - 76 = -5*k. Suppose k*m = 13*m - 200. Is 25 a factor of m?
True
Let b(m) = -m**2 - 7*m - 2. Let s(v) = v**3 + 13*v**2 + 11*v - 13. Let n be s(-12). Let l be 0/3 + n*6. Does 4 divide b(l)?
True
Let x = -6 - -9. Suppose 0*m - x*m = -12. Suppose -42 = -o + 2*l, 49 = -3*o + m*o + 5*l. Is o a multiple of 9?
False
Is (1*(-72)/15)/((-1)/80) a multiple of 4?
True
Suppose 3*b + 4*t - 4705 = -0*t, 3*b = 5*t + 4750. Is b a multiple of 75?
True
Let z(a) = 4*a - 22. Let o be z(6). Suppose 2*j - 6*j + 124 = -3*s, -o*s - 162 = -5*j. Is 6 a factor of j?
False
Suppose -25 = 28*k - 33*k. Does 8 divide (-207)/(-2) + -7*k/(-70)?
True
L