*h + 8. Is (-46)/h + c/6 a multiple of 8?
False
Let j(o) = -o**3 + 6*o**2 - 6*o + 9. Let w be j(5). Suppose 0 = 9*m - w*m - 365. Does 7 divide m?
False
Suppose 2*j - 6*j + 3*n + 357 = 0, n + 274 = 3*j. Suppose 0 = 8*s - j - 123. Does 7 divide s?
False
Let j = -13 + 1958. Does 26 divide j?
False
Suppose 3600 = 17*q - q. Does 15 divide q?
True
Let d(p) = -4*p - 20. Let l be d(6). Let u be (1 + l/12)*3. Is (18/u)/(-3)*72 a multiple of 18?
True
Let f = 28 + -34. Is 24 a factor of 1/(-2)*((f - -1) + -193)?
False
Let o = 56 - 18. Suppose -3 + 2 = q. Let t = q + o. Does 7 divide t?
False
Let q = -802 + 1501. Is 16 a factor of q?
False
Suppose q - 395 = -50. Is 69 a factor of q?
True
Suppose -10*u = -4*u - 1074. Is u a multiple of 10?
False
Suppose -2*o = -4*j + 10, 2*o + 21 = 5*j + 6. Suppose o*u - 788 = u. Is 15 a factor of u/13 - (-14)/(-91)?
True
Suppose -11*d + 11593 - 131 = 0. Is 81 a factor of d?
False
Let a = -20 + 227. Is a a multiple of 23?
True
Suppose 0 = -6*u - 3*u + 558. Is u a multiple of 13?
False
Suppose 1117 + 2483 = 20*o. Does 7 divide o?
False
Suppose 2*r + 2 = 6. Let b = 2 + -2. Suppose -r*y + b*y + 90 = 0. Is 9 a factor of y?
True
Suppose 96 = 5*k - 4*k. Suppose 0 = -7*h + k + 520. Does 22 divide h?
True
Let p(t) = 28*t + 24. Let b be p(14). Suppose 2*k - b = -76. Is 40 a factor of k?
False
Suppose -56*a = -a - 18755. Is a a multiple of 31?
True
Let t(w) = -4*w - 23. Let y be t(-6). Does 26 divide 2*(y - (2 + (-90)/4))?
False
Suppose 2*b = -46*b + 141360. Is 130 a factor of b?
False
Let a(x) = 29*x + 10. Let y(q) = -43*q - 15. Let z(v) = -8*a(v) - 5*y(v). Is z(-5) a multiple of 20?
True
Let k(s) = -s**3 - s**2 + s - 2. Let z be k(0). Let b be ((-10)/(-20))/(z/(-48)). Suppose 90 = b*r - 10*r. Is 17 a factor of r?
False
Does 6 divide (-4)/16 + (-233673)/(-132)?
True
Let o = 1528 - 1170. Is 43 a factor of o?
False
Let m(p) = -2 - 1 - 25*p + 1 - 1. Let w be m(-3). Suppose 4*t = -5*n + w, 149 = 5*t - n + 30. Is t a multiple of 8?
False
Suppose -i + 2*h - 130 = -2*h, 0 = -h + 5. Let f = -5 - i. Is 6 a factor of f?
False
Suppose 51*y + 240 = 56*y. Let l = y + -10. Is 8 a factor of l?
False
Suppose 5*p - 400 = 80. Let q(i) = i**3 + 6*i**2 + 3*i - 4. Let u be q(-5). Suppose -u*m = -0*m - p. Is m a multiple of 16?
True
Suppose 3 = 3*j + 45. Does 10 divide (-4)/j + 3058/77?
True
Suppose -5*q = 5*i - 0*q + 20, -4*i + 5*q = 7. Let f be -273*1 + (0 - i). Is 8 a factor of f/(-14) + 4/(-14)?
False
Let q(s) be the second derivative of -s**5/20 - s**4/4 - s**2/2 + 41*s. Suppose 23 = -4*g + 7. Does 9 divide q(g)?
False
Let x(r) = r - 18. Let g(k) = -k + 17. Let s(q) = -4*g(q) - 5*x(q). Let b = -98 - -110. Is 3 a factor of s(b)?
False
Let d be 2/8*-2 + 55/10. Suppose -148 = -d*q + 137. Is q a multiple of 19?
True
Let i = 42 - 21. Let x be (18/i)/((-21)/(-98)). Suppose 0 = 3*w + x*f - 36 - 14, -5*w - 5*f = -80. Is 14 a factor of w?
True
Suppose 120*j - 4085 = 101*j. Is j a multiple of 43?
True
Let f be (-6 + 3)/((-3)/5). Suppose -33 - 12 = f*k + 5*u, -4*u = -5*k - 9. Let h(y) = -4*y - 3. Does 17 divide h(k)?
True
Let x(a) = a**2 - 8*a + 380. Is 26 a factor of x(0)?
False
Is 18590/13 + (1 - (0 - 4)) a multiple of 41?
True
Let r be (12/(-16))/(2/176). Let s = r + 122. Is s a multiple of 14?
True
Suppose 2*n = -5*n + 70. Let d = n - 70. Let h = 107 + d. Is 7 a factor of h?
False
Let i(j) = j**2 + 6*j - 42. Is i(-11) even?
False
Suppose 0 = -4*w, 2*y - w - 573 - 157 = 0. Is y a multiple of 59?
False
Let o(f) be the second derivative of 13*f**7/1260 - f**6/180 - f**5/60 + f**4/3 - 2*f. Let w(x) be the third derivative of o(x). Does 21 divide w(2)?
False
Does 21 divide (-4028)/(-12) + (-4)/(-12)?
True
Let a(h) = h**2 - 9*h + 13. Let j be a(8). Suppose 0 = -5*q + j*m, 4*q - 5*m - 2 - 1 = 0. Is 7/21 - 47/q a multiple of 6?
False
Let r(a) = 20*a**2 + 2*a + 9. Does 3 divide r(3)?
True
Let v(n) = 143*n**2 - 4*n + 2*n - 145*n**2. Let p be v(-2). Is 23 a factor of 2196/48 + (-1)/p?
True
Suppose w - 2*w - 4*r - 12 = 0, 4*w = 2*r + 6. Suppose 2*l - 7 - 9 = w. Suppose 102 = 2*s + l. Is 20 a factor of s?
False
Suppose 4*g + 1024 = 4*j, 3*j + 0*g - 752 = -g. Does 13 divide j?
False
Suppose v + 132 = 5*v. Let b = -16 + v. Does 3 divide b?
False
Suppose n + 14 = 5*b + 1, 5*n - 3*b = 45. Let h be n/(-16) + 6/8. Suppose -7*c + 8*c - 78 = h. Is 26 a factor of c?
True
Is -57 + 52 - (-380 - 1) a multiple of 8?
True
Let w(j) = -7*j**2 - 7*j - 160. Let c(m) = 20*m**2 + 20*m + 480. Let n(g) = 6*c(g) + 17*w(g). Is n(0) a multiple of 51?
False
Suppose 1028 = 5*r - 132. Is 11 a factor of r?
False
Let r(f) = f - 8. Let j be r(13). Suppose -s = -3*s - 2*y + 218, 5*s - j*y - 595 = 0. Is s a multiple of 37?
False
Let v = -22 + 18. Is 8/v - 84/(-4) a multiple of 19?
True
Suppose -2*s = 5*f - 2068, f - 420 = 3*s - 5*s. Suppose -f = -3*u - u. Does 34 divide u?
False
Suppose 4*m - 25 = m + 5*o, 3*o = -6. Suppose -i = i + 4*b - 60, b = -m*i + 114. Suppose 0*k = k - i. Is k a multiple of 8?
False
Suppose 0*a = 5*a + 3995. Is 22 a factor of a/(-9) + 4/18?
False
Suppose -2*o + u + 367 = 0, -101*o - 2*u + 913 = -96*o. Does 34 divide o?
False
Let u = 2080 + -389. Is 19 a factor of u?
True
Let r be (9/21)/((-3)/(-21)). Suppose 2*d = -d + 3*v + 15, r*v + 10 = -2*d. Is 10/6*6/d a multiple of 10?
True
Suppose -3*j - 30 = -5*l + j, 10 = -l + 4*j. Is 8 a factor of ((-24)/l)/((-3)/30)?
True
Let m = 211 - 96. Suppose -295 = -3*a - m. Is a a multiple of 6?
True
Let y(v) = 2*v**2 - 46*v + 29. Does 16 divide y(37)?
False
Let q(p) = -3*p - 8. Let h be q(-4). Suppose 4*u + 364 = h*g, -7*u - 454 = -5*g - 3*u. Is 30 a factor of g?
True
Let x(v) = 7*v - 2. Let m be x(2). Let p be (-3)/6*21 - (-24)/(-16). Let l = m - p. Is 7 a factor of l?
False
Let i = 794 - 490. Does 16 divide i?
True
Suppose 215 = 5*o + 4*q, -o + 69 = o + 5*q. Is 4 a factor of o?
False
Is 10 a factor of -1 + 504 - (3 + -3 + 0)?
False
Let s = 325 - 294. Does 5 divide s?
False
Let d be (0 - 0)/((-18)/9). Let y be (-2 - d)*16/2. Let q = y + 42. Is q a multiple of 6?
False
Let v(b) = b**3 + 18*b**2 + 14*b - 50. Is v(-16) a multiple of 17?
True
Let g(j) = 14*j**2 + 4*j + 14. Let f be g(-3). Suppose 9*n - f = 5*n - 4*m, -2*n = -4*m - 76. Does 14 divide n?
False
Let y(x) = -77*x + 2. Let t be y(-1). Let g = 121 - t. Is g a multiple of 14?
True
Let s(l) = -14*l**2 + 2*l - 6. Let q(c) = -c**2 + 1. Let m(f) = -4*q(f) - s(f). Does 34 divide m(-3)?
True
Let p(l) = -l**3 + 3*l**2 - l + 2. Let z be p(6). Let v(g) = -g**2 - 21*g - 67. Let d be v(-21). Let s = d - z. Does 15 divide s?
True
Let o(f) = -f + 4. Let w be o(0). Let y(j) = 2*j + 3. Let z be y(w). Suppose 3*m = 16 + z. Does 9 divide m?
True
Suppose 0 = 9*y + 719 - 5741. Is 14 a factor of y?
False
Let u(v) = v**2 - 6*v - 5. Let s be u(7). Let c be -1 - 3/(0 + -3). Suppose c = s*h - 29 - 47. Does 19 divide h?
True
Suppose 0 = 3*i - 5*a - 414, 446 + 74 = 4*i + 4*a. Is 17 a factor of i?
False
Let q(g) = g**3 - 28*g**2 - 71*g + 11. Is q(31) a multiple of 33?
True
Let x = 732 + -625. Is x a multiple of 3?
False
Let l(h) = -h**3 + 11*h**2 - 11*h + 11. Let t be l(10). Let a(r) = 6*r - 1. Let j be a(t). Suppose 2*w = j*w - 39. Is w a multiple of 13?
True
Let k(b) = -b**2 - 4*b - 3. Let g be k(-2). Suppose 2*y = -h + 6*y + 16, 5*y + 20 = 4*h. Does 5 divide 1*(h - (g - 6))?
True
Let f(c) be the third derivative of c**5/60 - c**4/6 - 5*c**3/6 + 2*c**2. Let m be 2*(-2 + -1 - -1). Is f(m) a multiple of 9?
True
Let t(m) = -m**2 - 6*m + 1. Let b be t(-6). Suppose -2 = -r + b. Suppose r*u = 2*u + 67. Is u a multiple of 14?
False
Let t = 766 + -455. Is 3 a factor of t?
False
Let y(u) = -u + 3. Let a be y(4). Let x be 2 + 115/(6 + a). Let b = 45 - x. Does 4 divide b?
True
Let i(o) = -o**3 - 6*o**2 + 4*o - 7. Let f be i(-7). Let r(x) = 0 - 5*x + f + 0*x. Is 9 a factor of r(-8)?
True
Suppose -k + 722 = v, -15*v + 19*v - 2890 = -5*k. Is 6 a factor of v?
True
Let v(r) = -6*r - 14. Let l be v(-5). Let t(o) = o**3 - 17*o**2 + 15*o + 22. Does 2 divide t(l)?
True
Let b be 2/(-7) + (-468)/28. Let w = -14 - b. Suppose -98 = -w*g - 2. Is 8 a factor of g?
True
Let v(m) = -m - 10. Let g be v(-15). Suppose 4*u + g*k = 92, -3*u = 5*k + 4 - 68. Does 11 divide u?
False
Is 46 a factor of (-18)/(-9)*591 + -13?
False
Suppose -3*g 