8)/3. Let b = v + -45. Suppose -19*j + 18*j + b = 0. Is j a multiple of 36?
True
Let k(m) = m**3 + 13*m**2 + 22*m. Suppose 5*h = -32 - 18. Does 9 divide k(h)?
False
Let i be (1/(-5))/((-2)/(2 - -8)). Is 12 a factor of ((-1)/2)/(i/(-314))?
False
Let f = 4376 - 3056. Suppose 3*d = -8*d + f. Does 20 divide d?
True
Is 2 a factor of ((-70)/(-21))/((-3)/((-126)/4))?
False
Suppose 0 = -g - 6*g + 84. Let n(f) = 3*f + 6. Is 21 a factor of n(g)?
True
Let q(s) = -49*s - 19. Let g be q(-5). Let m = g - 119. Does 13 divide m?
False
Let w(q) be the second derivative of q**5/10 + 11*q**4/12 + 5*q**3/6 + 11*q**2/2 + 10*q. Is w(-5) a multiple of 6?
False
Suppose -x + m = -0*x - 226, -3*x - 5*m + 662 = 0. Is x a multiple of 8?
True
Does 29 divide 168/126*(-6)/(-8) - -579?
True
Suppose 0 = 2*n - 944 + 164. Is n a multiple of 30?
True
Suppose -2*g + 6*g - 28 = 0. Suppose g*r = -3*r + 840. Is 10 a factor of r?
False
Let f = -130 + 135. Suppose 3*r - 6*r - 4*b + 193 = 0, 0 = f*r - 2*b - 287. Does 6 divide r?
False
Let o be 1*3 - (-12)/3. Let t = 49 - o. Is t a multiple of 21?
True
Is 11 a factor of ((-3)/9)/(3*1/(-765))?
False
Let x be ((-3)/(-5))/(1/5). Suppose 5*r = v + 2*v + 40, x*v = -4*r + 5. Suppose -r*m = -5*q - m + 264, -2*q = -m - 105. Is 13 a factor of q?
True
Let k(o) = -67*o - 31. Is 16 a factor of k(-1)?
False
Suppose -v = 5*g + 9, 0 = 2*g + 5*v - 1. Let y = g - -2. Suppose -i + 2*i - 45 = y. Is 15 a factor of i?
True
Let k(l) = l**3 + 9*l**2 - 8*l + 14. Let s be k(-10). Let g(x) = 3*x + 8. Let h be g(s). Does 13 divide (h/4)/(4/(-40))?
False
Is 9*142/2 + 3 + -5 a multiple of 13?
True
Suppose -4*z + 46 = -17*m + 19*m, -5*z - 40 = -5*m. Suppose -39 = -2*t + j - 2*j, 3*t - 51 = j. Let i = m + t. Is 9 a factor of i?
False
Let b(x) = x**3 + 2*x**2 - x - 1. Let y be b(-2). Let m(k) = -2*k**3 + k**2 + k - 1. Let j be m(y). Is (j - 0) + (34 - 6) a multiple of 6?
False
Let y(v) = -2*v**2 + 2*v + 4*v - 1 - 7*v + 6*v**2. Let c be y(-1). Is (-5 - 4)/((-6)/c) a multiple of 3?
True
Does 25 divide ((-252)/14 - -21)/(6/4172)?
False
Suppose 4*h = -9*d + 39, -55 = -h - 4*h - 5*d. Is 6 a factor of h?
True
Let n = -10 - -7. Let h(j) be the first derivative of -j**3/3 - 3*j**2 - 2*j - 53. Is 3 a factor of h(n)?
False
Let z = 5883 + -3174. Is 42 a factor of z?
False
Let f(s) = -44*s - 1. Let h be -3 + (-16)/(-1) + -2. Let t = h - 12. Is 13 a factor of f(t)?
False
Does 6 divide -4 + -13 + 8 + 189?
True
Let d be (-968)/40 + 2/10. Is 14 a factor of 231/9 - 32/d?
False
Let g(r) = r**3 + 6*r**2 + 5*r + 4. Let p be g(-4). Let y be (-4)/p - (-1834)/8. Suppose -3*l = -5*s - y, -l + 4*s + 88 = -0*s. Is 14 a factor of l?
False
Let p(r) = -171*r**2 - 4*r + 1. Let w be p(-2). Does 14 divide ((-2)/(-6))/((-3)/w)?
False
Let i = 309 + -85. Suppose -q = 4*q - s - i, 184 = 4*q - 2*s. Does 20 divide q?
False
Let q(l) = 17*l**3 + 5*l**2 - 19*l + 2. Is q(2) a multiple of 12?
True
Let v(j) = -j**2 - 6*j + 13. Let p be v(-9). Let w be (-1270)/p + 40/140. Let c = w - 47. Does 8 divide c?
False
Let x = 56 - 44. Suppose x*w = 3*w + 117. Does 13 divide w?
True
Suppose 8 = -4*w - 0*q + 5*q, 14 = 2*w + 2*q. Suppose -l - 3*l - 20 = -3*y, w*y - 6 = -3*l. Suppose -y + 0 = -2*m. Does 2 divide m?
True
Let l = -389 + 1420. Is l a multiple of 12?
False
Let c(m) = m**3 - 9*m**2 + 12*m - 20. Let s be c(9). Let g = s + -64. Is 24 a factor of g?
True
Suppose 5*o = 4*j + 3178, 80*j - 84*j = -2*o + 1264. Is o a multiple of 4?
False
Suppose -4*n - 110 = -946. Is 19 a factor of n?
True
Let a(n) = 14*n**2 - 17*n**2 + 11*n**2 + 2 - 4*n. Does 13 divide a(2)?
True
Suppose 114 = g + 4*p - 33, 2*g = -5*p + 303. Is 25 a factor of g?
False
Let f(g) = -g**3 - 5*g**2 + 7*g + 9. Let l be f(-6). Suppose -389 = -5*b - l*c, b + c = -3*b + 307. Let z = b - -4. Does 14 divide z?
False
Let x = -17 + 20. Suppose x*v + 5*d = -5, 4*d - 13 = -5*v + d. Is v a multiple of 5?
True
Is (139/2)/(62/124) a multiple of 6?
False
Suppose 1577 + 303 = 4*x - 3*w, 4*w = -x + 489. Is x a multiple of 43?
True
Let f = 2838 + -1551. Is f a multiple of 24?
False
Let t be -3 + 0/(-1 - -4). Let p = 5 + t. Suppose -4*v + p = -282. Is 27 a factor of v?
False
Let d be (5/5 - 5) + 9. Suppose 0 = -2*n + 3*x + 33, d*n - 3*x - 65 = x. Is 9 a factor of n?
True
Let c be 20/(-6)*(-288)/24. Suppose 4*t + c = 6*t. Does 10 divide t?
True
Suppose -n + 1113 = c, c - 6940 + 1383 = -5*n. Does 11 divide n?
True
Let y = -165 - -260. Let r = y - 53. Is r a multiple of 21?
True
Is 15/(5 + -2) + (260 - 8) a multiple of 30?
False
Suppose 0 = -5*u - 3*g + 100, -4*u + 5*g = g - 48. Suppose 4*k + 1 - u = 0. Suppose 172 - 44 = k*h. Is h a multiple of 16?
True
Let l(d) = -4*d**3 - d**2 - 5*d - 11. Is l(-2) a multiple of 4?
False
Let p(j) = -2*j - 10. Let o be p(-11). Let z = -7 + o. Suppose z*r + 5 = 5*q, -q - 1 = -5*r + 14. Does 4 divide r?
True
Let l(k) = 8*k**2 - 3. Let x be ((-1)/(-4))/((-2)/(-24)) + -1. Is 21 a factor of l(x)?
False
Let o(k) = 18*k**2 - 26*k + 224. Does 28 divide o(7)?
True
Suppose 45*d + 10 = 50*d. Suppose -87 = -d*h - 3*a, -3*h + 113 = a - 0*a. Does 12 divide h?
True
Suppose -108*h = -102*h - 1398. Is 22 a factor of h?
False
Does 2 divide (-2)/(-4*(-39)/36 + -5)?
False
Let y = 3 - 5. Let s be (-514)/(-4) + (-3)/y. Suppose 0 = -7*a + 2*a + s. Does 7 divide a?
False
Let n(g) be the second derivative of g**4/2 - 2*g**3/3 + 3*g**2/2 - 10*g. Let v be n(3). Suppose -a = -6*a + v. Is 3 a factor of a?
True
Let g = -10 - -11. Let p = g + 1. Suppose -4*s = -2*w + 120, p*w + 0*s = -2*s + 108. Is 24 a factor of w?
False
Let j(i) = -5*i**3 - 2*i**2 + 4*i + 1. Let w be j(3). Let v = 252 + w. Is 7 a factor of v?
True
Suppose -2*p = 2*p + 56. Let s = p + 19. Suppose 0 = s*k + 5*t - 332 + 52, -3*k + 208 = -5*t. Does 19 divide k?
False
Suppose 33*r - 3 = 32*r. Suppose r*d + 42 = 3*v, -3*d + 5*d + 43 = 3*v. Is v a multiple of 2?
False
Suppose -5*w + 3*y + 2*y = -50, -w + 5*y = -14. Let g = -8 + 13. Suppose -g*i = -119 + w. Is 9 a factor of i?
False
Let k(b) = 20*b**2 - 6*b - 6. Let w be k(6). Suppose -c = -5, -4*f - 2*c = -0*c + w. Is 20 a factor of f/((-8)/2)*1?
False
Let q(l) = 2*l + 8*l + l**2 - 4*l - 6. Let c be q(6). Suppose -4*a - c = -2*k + 54, 0 = -2*k + 3*a + 118. Is k a multiple of 19?
False
Let j(s) = 92*s + 184. Is j(11) a multiple of 92?
True
Suppose -5*j - 5*c = -6635, 0 = -0*j - 4*j + 3*c + 5329. Suppose -8*x = -3*x - j. Suppose 2*h + x = 4*l, -4*l + h - 5*h = -260. Is l a multiple of 14?
False
Let a = 26 + -13. Let n = a + -10. Suppose 0 = 4*j - 20, n*b - 49 = j - 6*j. Is 2 a factor of b?
True
Let r(j) = j**3 + 4*j**2 + 5*j + 5. Let k be r(-2). Does 14 divide -2*8/(k/6*-1)?
False
Let r(x) = 16*x**2 - x + 16. Does 15 divide r(3)?
False
Is 13 a factor of ((-104)/(-10))/((-11)/(-990)*9)?
True
Let g be -27 + 24/(3 + 3). Let q(s) = s**3 + 5*s**2 - 6*s. Let n be q(-6). Let a = n - g. Is 5 a factor of a?
False
Let a = -14 + 17. Suppose -3*x + 54 = -a*n - 63, 5*x + 5*n = 165. Is 9 a factor of x?
True
Let d(m) = 6*m**3 - 6*m**2 - 18*m + 21. Let a(o) = 5*o**3 - 7*o**2 - 17*o + 20. Let f(p) = 5*a(p) - 4*d(p). Let n be f(12). Does 14 divide (60 - -2) + (-12)/n?
False
Let h = -199 - -131. Is (h/10)/(10/(-25)) a multiple of 12?
False
Suppose z - h = 2*h - 9, 5*h + 5 = -5*z. Does 13 divide (0 - 26)*z/6?
True
Let z = -1569 - -3396. Does 24 divide z?
False
Let l be (-81)/(-3) - (-1)/(-1). Let w be (-4)/6*-6*1. Suppose l = f - w*d, 3*f - f + 5*d - 104 = 0. Is 21 a factor of f?
True
Is 91 a factor of 266/(-6)*(-30)/7?
False
Suppose 0 = 3*u + 2*j + j + 24, -4*j = -2*u - 16. Is ((-6)/u)/((-6)/(-48)) a multiple of 3?
True
Let n = -149 + 165. Is n a multiple of 2?
True
Suppose -162 - 126 = -3*h. Does 16 divide h?
True
Suppose 3*u + 3*k - 690 = 54, -4*u + 5*k = -1019. Does 8 divide u?
False
Suppose c - 2*c - 7 = 0. Let h(l) = 3*l**2 - 9*l + 18. Let r(j) = 2*j**2 - 4*j + 9. Let m(p) = 3*h(p) - 5*r(p). Is m(c) a multiple of 4?
False
Suppose 6*s = -1 + 25. Suppose -6*r + 3*r + 139 = 4*h, s*h + 176 = 4*r. Does 17 divide r?
False
Suppose -5*l - 4*j + 1119 = -13231, 8578 = 3*l - 4*j. Does 95 divide l?
False
Suppose -r + 161 = -109. Does 30 divide r?
True
Suppose 0*h - 44 = -2*h. Let x = h + -7. Is 5 a factor of x?
True
Let l be ((-136)/6)/(52/234). Let a = -70 - l. Is 32 a factor of a?
