 h be ((-144)/4)/(-3) - (-6)/(-2). Let t = h + 15. Is 19 a factor of t?
False
Let a(r) be the third derivative of r**5/6 - 7*r**4/24 + r**2. Let b(g) = -6*g + 15. Let v be b(2). Is 10 a factor of a(v)?
False
Suppose -7*a - 4 = -6*a. Let x(i) = -i**3 + i**2 + i - 10. Let t(g) = -g**2 + 1. Let k(v) = -5*t(v) - x(v). Is k(a) a multiple of 9?
True
Let s(j) = 2 + 0 - 4 - 6*j**3 + 8*j**3. Let q(l) = l - 4. Let i be q(6). Is 11 a factor of s(i)?
False
Let u(l) = 42*l - 15. Let w(z) = z. Let d(g) = u(g) + 5*w(g). Does 13 divide d(8)?
False
Let c(p) be the second derivative of -p**5/60 - 2*p**4/3 + 13*p**3/6 - 4*p**2 + 7*p. Let k(f) be the first derivative of c(f). Is k(-13) a multiple of 27?
False
Let d(y) = -y**3 - y**2 - 5*y + 2. Let x be d(0). Suppose 5*l = -5*h + 135, -4*l = -x*h - 5*l + 59. Is 8 a factor of h?
True
Suppose 0*x = -3*x + 24. Let p = -6 + x. Suppose -3*w + 200 = -g + 66, 5*w + p*g = 216. Is w a multiple of 11?
True
Is 11 a factor of (-2355)/(-6)*(-12)/(-15) + -3?
False
Let f be 2/(((-2)/4)/(-1)). Let q(i) = -4 - 11*i + 3*i + f. Is q(-5) a multiple of 8?
True
Let j be (-7)/(-21) - (-89)/3. Let z be j - (-3 + -1 - -3). Let d = 9 + z. Is 20 a factor of d?
True
Let x = -8 + 13. Does 37 divide (-36)/8*x*-6?
False
Let b(p) = p**2 + 9*p + 17. Let q be b(-8). Let t be 3/q*-3*-1. Suppose -5*u + t + 34 = 0. Is 7 a factor of u?
True
Suppose 12*c + 163 = 907. Is 4 a factor of c?
False
Suppose -3*q - 18 = -3*z, -2*q + 4*q + 16 = 4*z. Suppose -344 = -10*p + z*p. Is p a multiple of 27?
False
Suppose -16*r + 13*r - 3*c + 330 = 0, -3*r - 2*c = -331. Is 18 a factor of r?
False
Let d(u) = u**2 - 1. Let f(r) = 5*r**2 - 3*r - 10. Let a(c) = -4*d(c) + f(c). Does 2 divide a(-2)?
True
Suppose -2*u + 5*u + 1 = -4*h, -2*h - 8 = 0. Suppose 4*g - 86 = -2*k, -u*g = -g - 8. Does 7 divide k?
False
Let v(b) be the first derivative of -11/2*b**2 - 1/3*b**3 - 7 - 4*b. Does 24 divide v(-7)?
True
Let w(f) be the first derivative of -f**4/4 - 5*f**3/3 - 5*f**2 - f + 21. Is 5 a factor of w(-4)?
False
Let l(x) = 1010*x**2 - 4*x - 4. Does 10 divide l(-1)?
True
Let g(r) = -r**3 - 6*r**2 + 4*r + 8. Let p be g(-7). Let o be -2 + ((-233)/(-11) - 2/11). Suppose -2*t + p = -o. Does 12 divide t?
True
Let z be 175/3 - (-14)/(-42). Suppose -14 - z = -3*d. Is 5 a factor of d?
False
Suppose 0 = -25*f + 5*f + 23180. Is 25 a factor of f?
False
Let m(q) = q**3 - 3*q**2 - 3*q + 3. Let g(y) = -y**2 - 5*y + 10. Let t be g(-6). Let d be m(t). Suppose d*w - 108 = 5*w. Is w a multiple of 18?
True
Suppose -3*h + 15 = -3*j, h = -0*j - 2*j + 2. Suppose -4*b - 537 = -5*s - 3*b, -h*s + 436 = -4*b. Does 29 divide s?
False
Let w(s) = 551*s**3 - 12*s + 11. Does 55 divide w(1)?
True
Let t = -213 - -290. Does 3 divide t?
False
Suppose 87*l - 33*l - 9396 = 0. Is 87 a factor of l?
True
Let f be 4/22 - 62/(-22). Let b be f - (102 - 0) - 2. Let v = 197 + b. Is 32 a factor of v?
True
Suppose -3*a = -5*p + a + 382, 5*a - 322 = -4*p. Suppose 2*d = -32 + p. Does 4 divide d?
False
Let h = -64 - -27. Let v = -66 - -11. Let s = h - v. Does 18 divide s?
True
Suppose 38*o = 13*o + 10850. Does 14 divide o?
True
Let c = 22 - -111. Is 19 a factor of c?
True
Does 5 divide -86*45/(-36)*8/20?
False
Suppose b + 5 - 21 = 0. Let o = 28 - b. Is 12 a factor of o?
True
Let u be (1 - 20/12)*6. Let x be (-50)/u*(-288)/(-30). Let o = x + -68. Does 26 divide o?
True
Let v = 308 + 217. Is 12 a factor of v?
False
Let a(g) = 19*g**2 - 76*g - 8. Is 3 a factor of a(5)?
True
Suppose -s + 1294 = -2*r - 937, 2*s + 2*r = 4486. Is s a multiple of 63?
False
Let d be 1*2*(-91)/(-14). Let x = d - 9. Let r = 21 - x. Does 6 divide r?
False
Suppose -28*t + 3826 = -1074. Does 25 divide t?
True
Suppose 7*s - 2*s = 25. Let h be ((-3)/9)/(s/(-30)). Suppose 0 = 4*c - 3*c - h*r - 63, c = -r + 57. Does 24 divide c?
False
Let t(p) = -p**3 - 2*p**2 + 1. Let x be t(-2). Suppose 2*j - 5 = x. Is 13 a factor of j/(-12)*2*-26?
True
Suppose 11*s - 6*s = 450. Is (s/25)/((-6)/(-80)) a multiple of 6?
True
Suppose 4*t - 2*m + 1560 = 0, -780 = -t + 3*t + 3*m. Is 49 a factor of -4 - 1 - (t + -3)?
False
Let n = -7 + 7. Let a = 10 - n. Suppose 3*r + a - 51 = -2*w, -3*w - 2*r = -74. Is 6 a factor of w?
False
Let i be (-32)/12*(-6)/(-4). Let d be (i/(-12))/((-1)/(-141)). Suppose -b = -4*n + 8, 3*b - d = -n - 6. Does 12 divide b?
True
Let x(l) = 5*l**2 - 31*l - 166. Does 16 divide x(-14)?
True
Suppose 3*x = -0*x - f + 8871, 11817 = 4*x + 5*f. Does 29 divide x?
True
Suppose -3*i = d - 1090 - 584, -1116 = -2*i - 3*d. Is i a multiple of 30?
False
Let c be ((-8)/(-20))/((-1)/(-55)). Let s = -20 + c. Suppose -s*a + 102 = 18. Does 14 divide a?
True
Let t = 2596 + -1990. Does 3 divide t?
True
Let v(q) = -5*q + 61. Let j be v(16). Let m(d) = -15*d - 40. Is 35 a factor of m(j)?
True
Let k(a) = -a**3 + 16*a**2 - 16*a + 21. Let h be k(15). Suppose 4*w - h*w = 54. Does 9 divide 6/27 - 291/w?
False
Suppose -22 + 31 = 3*u. Suppose 4*k - 51 = 49. Suppose -136 = -u*t - k. Is t a multiple of 37?
True
Let t(k) be the second derivative of -k**5/20 - k**4/2 + 4*k**3/3 - k**2/2 - 8*k + 4. Let u = 19 + -27. Is 21 a factor of t(u)?
True
Suppose -2*n + 1 = 4*l - 7*n, -5*l = -5*n - 5. Suppose -b = -5*a + 33, 2*b - l*b = -3*a + 31. Is 12 a factor of (b/10)/(7/(-210))?
True
Suppose 4*q = 5*b - 63, 5*q = b + q - 3. Suppose 4*s = -b - 1. Is 15 a factor of 159/9*(s - -7)?
False
Does 27 divide (-23 - -8)*1782/(-15)?
True
Let i(w) = -2*w**2 + 6*w - 2. Let r be i(2). Is 11 a factor of (-7 - 1)/r - -107?
False
Let p(o) = -32 + 0*o - 5*o + 0*o + o. Does 12 divide p(-20)?
True
Suppose 2*z = 5 - 23. Let s be (-70)/(-15) - (-6)/z. Suppose -n = -11 - s. Does 3 divide n?
True
Suppose -3*v = n - 103, 2*v + 2*n = 54 + 8. Is v a multiple of 18?
True
Let m = 11 - -21. Suppose -11*a + 13*a - m = 0. Does 12 divide a?
False
Let z(t) = 2*t**2 + 5*t + 25. Let h(x) = -x**2 - 2*x - 12. Let y(m) = -7*h(m) - 3*z(m). Let n be y(0). Suppose 192 = n*j - 5*j. Is 23 a factor of j?
False
Let x(r) = 26*r**2 + 6*r + 4. Let y be x(-2). Let f = y + -68. Is f a multiple of 2?
True
Let n(x) = 5*x**2 - 2*x - 4. Is 68 a factor of n(10)?
True
Suppose m = -m - 20. Let w = m + 12. Suppose -w*r + 51 = r. Is 6 a factor of r?
False
Let r(b) = -23*b + 11*b - 3 + 9*b + 5*b**2. Let g be 2*(3/(-2) + 1). Is 3 a factor of r(g)?
False
Let d = 525 + -154. Suppose -2*p + 181 = -d. Suppose -p = -5*m - m. Is 23 a factor of m?
True
Let t = 40 - 14. Let r = t - 17. Is r a multiple of 2?
False
Let a(r) = r**2 + 6*r - 13. Let z be a(-8). Does 2 divide z*1 + (-56)/(-8)?
True
Let t(m) = -m**3 - 8*m**2 + 9*m. Let i be t(-9). Suppose i = 26*d - 25*d - 34. Suppose 4*p - 206 = d. Is p a multiple of 30?
True
Suppose -j = -0 + 2. Is ((-39)/1 + j)*(-1 + 0) a multiple of 23?
False
Suppose 2*q + 2*q = -q. Suppose q = -4*m + 8*m - 44. Is m a multiple of 11?
True
Suppose 17*b = 16*b + 168. Suppose 0 = -6*q + b + 102. Is 13 a factor of q?
False
Let r = 49 - 28. Let n = r - 30. Let i = n + 17. Is i a multiple of 8?
True
Let a(q) = -q**3 - 2*q**2 + 2*q - 1. Let o be a(-3). Suppose -5*t = -3*p - 67, -o*t + 5*p = -7*t + 75. Is t a multiple of 14?
True
Suppose 8*n - 10 = 3*n. Suppose -2*a = n*l - 210, -5*a + 3*l = -2*a - 315. Suppose 4*x + 33 = a. Does 18 divide x?
True
Suppose -t = n + 2*t - 75, 4*n - 348 = 4*t. Suppose n*f - 198 = 81*f. Is f a multiple of 6?
True
Let i be (-4)/(-30) + 754/195. Suppose -4*m + 74 = 3*c + 6, 58 = 3*m + i*c. Is 2 a factor of m?
True
Suppose -3*p = -34 - 89. Suppose 2*z - 18 - p = -5*k, k = 2*z - 89. Is 7 a factor of z?
True
Suppose -2*v + v = -5. Let x(a) = 24*a. Is x(v) a multiple of 30?
True
Let h = 3884 - 2324. Is h a multiple of 5?
True
Let q(v) = -2*v**3 - 46*v**2 + 14. Let d be q(-23). Suppose 10*u + 360 = d*u. Is 22 a factor of u?
False
Let b = 5 + -3. Suppose -4*s - 10 = -n + 5, 5*s - 5 = 0. Suppose -n = -b*a + 5. Is a a multiple of 6?
True
Suppose t - h - 565 = 3*t, 3*t + 820 = 4*h. Let d be (-4)/22 + t/(-88). Suppose -u + 80 = d*p, -3*u + 41 = 4*p - 174. Does 15 divide u?
False
Suppose 30 = 31*g - 21*g. Is 2 a factor of g?
False
Let d(x) = x**2 - 11*x + 4. Let o be d(11). Let u = o - -29. Suppose -3*g + u = -0*g. Is 5 a factor of g?
False
Let z(m) = 2*m**2 - 16*m - 244. Does 6 divide z(-15)?
False
Let g = -1174 - -1615. Is g a mu