 - 676. Does 11 divide r?
False
Let b(u) = -18*u - 2. Let f be b(-3). Suppose v - 4 = -f. Let d = -16 - v. Does 12 divide d?
False
Let d(j) = j**3 - 5*j**2 - j - 1. Suppose 0 = -r + 6. Let z be d(r). Suppose 0 = -s - 0*s + z. Is s a multiple of 8?
False
Let j = -718 + 823. Is j a multiple of 41?
False
Suppose 0 = -6*d + 34 + 110. Let z(c) = -c**3 + 7*c**2 - 2*c - 3. Let s be z(5). Let u = s - d. Does 4 divide u?
False
Let k(c) = 4*c**2 - 27*c - 7. Let u be k(7). Suppose 2*d - 4*g = 150, u*d - 4*d - 4*g = -348. Is d a multiple of 16?
False
Let r be (-846)/(-12)*20/6. Let w = 355 - r. Is w a multiple of 8?
True
Let k(d) = -49*d + 596. Is 12 a factor of k(-21)?
False
Let u(m) = m**3 + 13*m**2 - 13*m - 1. Let k be u(-14). Is 30 a factor of ((-2)/(-4))/(k/(-1800))?
True
Suppose 2*o - 3*d = -1, 5*o + 2*d - 5*d - 11 = 0. Suppose o*j - 180 = -2*j. Does 6 divide j?
True
Suppose 2*a = 3*l + 5*a + 21, -23 = 4*l + 3*a. Is ((-55)/(-22))/(l/(-28)) a multiple of 7?
True
Let z(m) = -7*m**3 - 3*m**2 + 10*m - 24. Does 90 divide z(-7)?
True
Suppose -6*v = -3*v + h - 17, 0 = -5*v + 4*h + 17. Suppose v*p - 39 = 4*g - 9, -4*p - g = -24. Suppose 14 = p*a - 526. Does 30 divide a?
True
Suppose 1662 = 2*g + g + 5*k, 2*g - 1108 = 2*k. Suppose 2*m = -5*i + 273, -5*m = -m + 2*i - g. Does 29 divide m?
False
Suppose 2*o + 2*o - 480 = 0. Is (8/(-5))/((-4)/o) a multiple of 8?
True
Let h be 4/3 + (-8)/(-12). Suppose h*j = 4*z - 104, 0 = -0*z - z - 2*j + 31. Is z a multiple of 27?
True
Let s(u) be the first derivative of 7*u**5/60 - u**4/24 + u**3/3 + 3. Let v(m) be the third derivative of s(m). Is v(2) a multiple of 9?
True
Suppose 3*g + 9 = -27. Let d = 99 + g. Is 14 a factor of d?
False
Let p(j) = j**3 + 3*j**2 - 3*j + 6. Let f be p(-4). Let i = 22 + f. Is i a multiple of 8?
True
Suppose 7*g - 784 = -g. Let s = 148 - g. Is s a multiple of 10?
True
Let i(p) = 2*p - 4. Let x = -10 + 14. Let r be i(x). Is 5 a factor of (-2)/(-8) - (-55)/r?
False
Let q = 65 - 57. Does 8 divide q?
True
Let x(w) = -5*w + w**2 + 3*w - 34 + 0*w + 33. Let h be x(-1). Suppose h*v - 3*b = -3*v + 274, 68 = v - 5*b. Does 17 divide v?
False
Let n(m) = -2*m**2 + 36*m + 3. Let o be n(18). Suppose o*v - 3*t - 212 + 38 = 0, 3*v - 4*t = 174. Is 6 a factor of v?
False
Let a(o) = 66*o**2 - 6*o - 21. Let h be a(-3). Suppose -h = -7*v + 641. Is 11 a factor of v?
True
Suppose -h = -0*h - 87. Suppose -4*x = 3*i + 154, -5*x = -5*i + h + 123. Is (x/(-25))/((-2)/(-5)) even?
True
Suppose 267*j = 252*j + 24225. Is 24 a factor of j?
False
Suppose -2*n - 3*n + 99 = 2*v, v = -n + 48. Let o = 59 - v. Does 12 divide o?
True
Let o(z) = z**2 - 20*z - 19. Let x be o(21). Suppose 0 = -g + 2*t + 2 + 6, -x*g + 3*t + 21 = 0. Is g a multiple of 15?
False
Let x(h) = 3*h + 168. Is x(-11) a multiple of 58?
False
Let b(t) be the third derivative of t**6/120 - t**5/15 + t**4/12 - t**3/3 + 4*t**2. Let f be b(4). Suppose 0 = -g + 45 - f. Is 13 a factor of g?
True
Let b(c) = -47*c**2 + 289*c - 9. Does 10 divide b(6)?
False
Let q(y) = 88*y + 4. Is 5 a factor of q(2)?
True
Let a(u) = u**2 + 18*u - 16. Is a(-23) a multiple of 8?
False
Suppose 5*z + 31 = q, -2*q + 2*z = -z - 48. Is 33 a factor of (17 - (-1 - 1))/(3/q)?
False
Let j = -1441 - -2338. Does 39 divide j?
True
Let m = 1224 - 999. Is 25 a factor of m?
True
Let s(b) = b**2 - 9*b - 1. Let z be s(7). Let o be (-63)/z - 3/15. Is 12 a factor of 24*(12/(-4) + o)?
True
Let p(i) = 3*i**2 - 23*i - 16. Let o be p(11). Let s = -67 + o. Is s a multiple of 9?
True
Let a(n) = 1389*n + 368. Does 48 divide a(3)?
False
Suppose v + 1 = 0, -4*b = 10*v - 6*v - 12372. Is b a multiple of 34?
True
Let q be 10/6 - 3/(-9). Suppose 5*p = q - 27. Let w(r) = 3*r**2 + 2*r - 5. Does 15 divide w(p)?
True
Let x(q) = 217*q**2 - 1 + 21*q - 214*q**2 + 64. Does 10 divide x(-12)?
False
Suppose -2*m = -4*m - m. Suppose -h + 0*h = -5*f + 921, m = 4*f - h - 736. Is f a multiple of 17?
False
Let h(s) be the first derivative of 1/4*s**4 - 3*s + 7 - 8/3*s**3 - 7/2*s**2. Is 7 a factor of h(9)?
False
Suppose t = -z + 3248, 4*z = -0*t + 2*t - 6496. Is t a multiple of 8?
True
Let q = 86 + -86. Is 8 a factor of (20 - q)/((-15)/(-30))?
True
Suppose 3*z + 2*w + 110 - 487 = 0, 0 = -2*w + 2. Does 31 divide 12/18*z - 2/(-3)?
False
Suppose -t + 2*o - 999 + 3448 = 0, 4*o + 12233 = 5*t. Is t a multiple of 10?
False
Suppose 0 = 2*n - 0*a + 3*a - 119, 2*n - 3*a = 113. Suppose 54 = 2*z + 3*d, -4*z - 4*d + 170 = n. Is z a multiple of 2?
True
Let l(b) be the third derivative of b**5/60 - b**4/3 + 2*b**3 + 11*b**2. Is l(7) even?
False
Let d(m) = -2*m**2 - 12*m - 1. Let f be d(-8). Let b = f - -33. Suppose b = -2*q + s + 61, 4*s - 27 = -q + s. Does 6 divide q?
True
Let y(w) = 2*w**2 + w + 8. Let d(f) = 2*f - 20. Let p be d(11). Suppose p*v = 6*v. Is 4 a factor of y(v)?
True
Suppose 5*a - a - 58 = -3*l, 3*l - a = 38. Let v(o) = -3*o**2 - 39*o + 16. Let k be v(-13). Suppose 72 = k*j - l*j. Is 12 a factor of j?
True
Let h(f) = 70*f**2 + f. Let d(c) = -4 + c + 5 + 1. Let i be d(-1). Is h(i) a multiple of 19?
False
Suppose 121*o = 122*o. Suppose -2*i + 10*i - 768 = o. Is i a multiple of 8?
True
Suppose -2*j + 1022 = -2*d, -1022 = 2*d - 0*d + 2*j. Let n = d + 819. Is n a multiple of 38?
False
Is 21 a factor of 964/7 + 6/21?
False
Does 9 divide ((-6)/9)/(12/(-12096))?
False
Suppose 0 = -2*c - x - 7, 5*c - 3 = -3*x - 23. Let r be (1 - 2/1)*c. Suppose -2*d = 3*q + 5, -3*d = 2*q - 4 - r. Is d even?
False
Let c = -85 + 42. Let q = 78 - c. Suppose 3*h - 2*a - q = -4*a, -2*h + 69 = -a. Does 37 divide h?
True
Suppose 3*x - 11 = 13. Suppose -2500 = -8*b - 996. Is 10 a factor of (-2)/4 + b/x?
False
Suppose -2*r - 5*u + 351 = 0, -5*r - 17*u + 810 = -18*u. Does 9 divide r?
False
Let u = -690 + 1122. Does 48 divide u?
True
Let q = -3183 + 6144. Is 89 a factor of q?
False
Let w(k) = 323*k**2 - 6*k + 5. Does 14 divide w(1)?
True
Let g(v) be the second derivative of 0 - 6*v - 7*v**2 + 5/6*v**4 + 1/20*v**5 - 1/3*v**3. Is g(-10) a multiple of 2?
True
Is 76/570 - 12144/(-45) a multiple of 10?
True
Let o(q) = 6*q**2 - 2*q - 1. Let c be o(-1). Suppose 0 = c*g - 3*g - 152. Is 17 a factor of g?
False
Let h(n) = -4*n**2 - 4*n - 23. Suppose -5*q - 9 = 21. Let x(r) = -5*r**2 - 5*r - 23. Let y(g) = q*h(g) + 5*x(g). Does 22 divide y(0)?
False
Suppose z - 29 = -25. Let j be 2 - (-4)/(4/(-2)). Suppose j = -p - z*p + 185. Is p a multiple of 16?
False
Let p be 3 - 0 - (-5 + 8). Suppose 0*y - 3*y - 15 = p, 5*f - 15 = 5*y. Is (-4 - -3)/(f/14) a multiple of 7?
True
Does 40 divide (-19)/(95/(-2400)) - 0/2?
True
Suppose 0 = 5*j + 3*o - 9 - 2, -8 = -5*j - 4*o. Suppose -16 - 8 = -j*w. Is 16 a factor of (3 - w)/(3/(-32))?
True
Suppose -5*q + 2 = f - 2, -q + 4 = -3*f. Is 10 a factor of f + -2 + 113 + 0?
True
Let l(d) = 2 + 1 + 3 + 8*d - 23*d. Does 17 divide l(-3)?
True
Let y(b) = -16*b**2 + 44*b + 81. Let c(d) = 3*d**2 - 9*d - 16. Let r(k) = -11*c(k) - 2*y(k). Let l be r(11). Suppose 2 = -2*u + l. Does 4 divide u?
False
Suppose 4*b + 60 = 3*s - 36, -b = -3. Does 3 divide s?
True
Suppose -m = 2*g - 32, -3*m + 2*g = -m - 58. Let j be (2 + -1)/(2/(-52)). Let y = m - j. Is y a multiple of 14?
True
Suppose 6 = -3*i - 3*h, -7 = 5*i + 4*h - 1. Let y(q) = -q**2 + 2*q + 2. Let z be y(i). Does 7 divide (-39)/z*(-56)/42?
False
Suppose -4*t + 4*v + 100 = 0, -5*t + 49 = 2*v - 41. Let d be (16/t)/(1/(-15)). Is d*((-30)/(-9) + -4) a multiple of 8?
True
Let o = 7 + -4. Suppose 2*n - n = o. Suppose -13 - 5 = -n*g. Does 6 divide g?
True
Let i = -1441 - -1916. Is i a multiple of 93?
False
Suppose 57*f + 301 = 60*f + 2*n, -3*n = 2*f - 194. Does 2 divide f?
False
Suppose -4*t + 2*b = 452, t - 4*t - 329 = -4*b. Let g = t + 188. Is 9 a factor of g?
False
Let r = -85 + 89. Suppose u - 4*h = 34, -r*u + 4*h = -0*u - 88. Is u a multiple of 3?
True
Suppose 2*v - 3*y - 2*y + 198 = 0, 4*y - 304 = 3*v. Does 4 divide 10/(-3)*(-2 - v/(-20))?
True
Let v(a) = 2*a**2 + 19*a - 11. Let x be v(-10). Is 14 a factor of 2 - (-127 - (0 - (4 + x)))?
True
Suppose 0 = -28*j - 182 + 1022. Is j a multiple of 5?
True
Suppose 12 = 3*b - 6*b. Let k(q) = 2*q**2 + 6*q - 2. Let x(n) = 5*n**2 + 12*n - 5. Let v(o) = -9*k(o) + 4*x(o). Is 12 a factor of v(b)?
False
Let s(q) = 8*q**2 - 3*q - 6*q**3 + 2*q**3 + 10*q + 3*q**3. Let v be s(8). Suppose 