*b + 2*n + 29. Suppose -5*d + b = -z. Does 7 divide d?
True
Suppose 8*o - 6*o = -910. Is (o/(-49) - 2/7)*1 a multiple of 3?
True
Let r be -3 - (-3)/(-3)*-4. Let n(v) = -23*v - 2. Let k be n(r). Is 26 a factor of ((-10)/k)/(3/390)?
True
Let c be (-18)/6*(-1 + 2 - 3). Suppose -c = t - 3, -5*t = 3*b - 255. Is b a multiple of 18?
True
Suppose 5*v - v = 8. Suppose 0 = 5*y - r - 290, -3*y - v*r - 73 + 247 = 0. Is 14 a factor of y?
False
Let w = 139 + -144. Let h(b) = b**3 + 7*b**2 + 7*b + 5. Is h(w) a multiple of 20?
True
Suppose 0 = 8*r - 161 - 431. Let x = r + -54. Does 20 divide x?
True
Let r(x) = 25*x + 5. Let o(h) = 3*h + 6. Let j be o(-1). Is r(j) a multiple of 10?
True
Let n(l) be the third derivative of 29*l**4/24 - 14*l**2. Is 7 a factor of n(1)?
False
Let o(t) = 30*t**2 - 11*t + 25. Is o(5) a multiple of 23?
False
Does 8 divide (-3)/3*-1*(-3 - -268)?
False
Suppose 0 = 2*r - 4*b + 78 + 158, -5*r - 660 = 4*b. Is 24 a factor of (32/r)/(2/(-232))?
False
Let s = 1396 + -300. Does 82 divide s?
False
Suppose -5*s + 105 = -8*s. Let z = 18 + s. Let h = z - -23. Is 2 a factor of h?
True
Suppose -3*k - 25 = -4*k. Let j be k/(-15)*9/(-3). Is 8 a factor of 22*2 - 0/j?
False
Let y(r) = 36*r - 36. Does 5 divide y(5)?
False
Let f be 15 - (-3 - -5) - 5. Let t be (14/6)/((-1)/(-3)). Suppose -f*p + t*p + 58 = 0. Does 21 divide p?
False
Let v(a) = 3*a**2 - 1374 - 6*a + 1383 + 32*a. Is 12 a factor of v(-12)?
False
Is 12 a factor of 4/(-2)*(-135)/10*24?
True
Let j(h) = -4*h. Let m be j(-1). Suppose 0 = -m*q - 12, 0 = -2*k + k + 4*q + 143. Does 37 divide k?
False
Let d(a) be the first derivative of 6*a**2 - 11*a + 21. Is 7 a factor of d(2)?
False
Is 62 a factor of (-2 + (12 - 5))/(2/162)?
False
Is 8 a factor of 443 + 4 + 4 + -1?
False
Let i = -128 + 205. Is 16 a factor of i?
False
Let v = 432 + 12. Does 23 divide v?
False
Suppose -z - x - 95 = 96, 4*x - 388 = 2*z. Let h = -456 - z. Is 3 a factor of (2/(-6))/(8/h)?
False
Let v = 197 + 31. Suppose -5*x + 3*p + 27 = 8, 2*p = -2*x - 2. Suppose 5*s = x*s + v. Is s a multiple of 22?
False
Let d(h) be the third derivative of -h**5/60 - 23*h**4/24 + 6*h**3 + 18*h**2. Is 15 a factor of d(-21)?
False
Let h(z) = -2*z**3 + z - 1. Let c be h(2). Let n(u) = -u**3 - 14*u**2 + 9*u - 4. Is 43 a factor of n(c)?
True
Suppose h = f, -5*f + 28 = -0*h + 2*h. Suppose 10 = h*g - 6. Is 2 a factor of (4 + -2)*26/g?
False
Let i(z) = -1155*z - 3. Let m be i(4). Is ((-2)/3)/(46/m) a multiple of 11?
False
Let d(t) = -51*t**3 + t**2 + 2. Does 18 divide d(-2)?
True
Let m = 7253 + -3320. Does 69 divide m?
True
Let s be (-5 - 138/(-24)) + (-38)/8. Suppose d - 2*c = 267 + 187, 4*c + 12 = 0. Does 36 divide (1/(s/d))/(-1)?
False
Suppose 30*a - 79968 = -19*a. Does 16 divide a?
True
Let w = -68 - -74. Does 2 divide 32 - (-3 - (4/1 - w))?
False
Let r be 1*(0 + -2) - -2. Suppose -5*a + 0*p - 5*p = -1675, r = a - 3*p - 339. Is a a multiple of 22?
False
Let z be (-1 + (-266)/(-2))/(-1). Let t be ((-2)/4)/((-1)/z). Let c = 2 - t. Is 17 a factor of c?
True
Let h = 463 - 233. Suppose y - 6*y = 5*n - h, n = -2*y + 88. Let d = y - 18. Does 17 divide d?
False
Let x = 1115 + -747. Is x a multiple of 38?
False
Let a be (1228/6)/((-1)/3). Let z = -434 - a. Is z a multiple of 36?
True
Suppose 5*b = 2*b + 5*w - 8, -20 = -4*b - w. Does 26 divide b/18 + (-5390)/(-45)?
False
Suppose w = -0 - 4. Let h = -113 + 233. Is ((-2)/w)/(5/h) a multiple of 3?
True
Is 6 + (-392)/63 - (-8768)/9 a multiple of 15?
False
Suppose n - 4*n - 3 = 0. Let g = n + 4. Suppose 2*r = -4*k - 0*k + 72, 4*r - g*k = 177. Does 14 divide r?
True
Let u(q) = -6*q + 39. Let n(z) = -3*z + 20. Let s(a) = 5*n(a) - 2*u(a). Let k be s(12). Is 3 a factor of 36/14 + (-6)/k?
True
Suppose 0 = -3*v - 8*v - 770. Let c = v + 107. Is c a multiple of 14?
False
Let c(f) = 10*f + 14. Let p = -25 - -32. Is 21 a factor of c(p)?
True
Let y = 71 + -68. Is 5 a factor of y + (-1)/1 - -3?
True
Let j(v) be the first derivative of -v**3/3 + 3*v**2 - 4*v - 3. Let u be j(5). Is 4 a factor of (22/(-8))/(u/(-4))?
False
Let z = -53 - -57. Suppose -8*m + z*m + 136 = 0. Does 8 divide m?
False
Suppose 27*c = 34*c - 77. Suppose 4*y + 8 = -0*y. Let i = c + y. Does 9 divide i?
True
Suppose -9*n = -1690 + 394. Does 8 divide n?
True
Let b(a) = a**3 + 5*a**2 - a - 4. Let o be b(-5). Let c(z) = -z**3 - 37*z**2 - z - 46. Let y be c(-37). Is (10/(-3))/(o/y) a multiple of 8?
False
Let p = 74 - 74. Suppose p = 4*j + 2*f - 268, -4*f = -4*j - f + 278. Is j a multiple of 17?
True
Let w(h) = 3*h**3 - h**2 + 2*h - 2. Let a be w(1). Suppose -a*j = -3*l - 10, -2*j + 4*l + 14 = j. Does 4 divide j/7 + (-442)/(-119)?
True
Let a(y) = -y + 8. Let s be a(4). Suppose s*q - 35 = -5*p, 3*p - 9 = -4*q + 20. Suppose 3*j - q*r = 75, -j + 6*j - 3*r - 109 = 0. Is j a multiple of 6?
False
Let v(x) = -x + 1. Let l(a) = -2*a + 19. Let i(f) = l(f) - 5*v(f). Let w be i(-6). Let o = w + 8. Does 4 divide o?
True
Suppose 0 = -p + 6 - 2. Suppose 6*x - 9*x + 15 = 0. Suppose p*k - k + 3*i = 51, -4*k = -x*i - 50. Is k a multiple of 5?
True
Let o(c) = -c**2 - c - 2. Let u(s) = -2*s**2 - 2. Let w be (18/(-27))/(1/(-6)). Let g(m) = w*o(m) - 3*u(m). Does 14 divide g(-3)?
True
Suppose -5*a = -a - 24. Suppose -c + a*c = -20. Let v(g) = -4*g - 3. Is 6 a factor of v(c)?
False
Let u(w) = -13*w - w**2 + 34*w + 2*w**2 - 30. Is 39 a factor of u(-27)?
False
Let r(k) be the first derivative of k**4 - 4*k**3/3 - 2*k**2 + 3*k + 48. Suppose 3*c = -0 + 9. Is 13 a factor of r(c)?
False
Let w(z) = -23*z + 29. Let o(f) = -23*f + 30. Let p(m) = 4*o(m) - 5*w(m). Does 22 divide p(5)?
False
Let p(z) = -z**3 - 4*z**2 - 5*z - 1. Let a be p(-4). Suppose -14*q = 10*q - 120. Let j = q + a. Is 11 a factor of j?
False
Let k(f) = -f**2 + 6*f - 5. Let r be k(5). Suppose -5*a + 25 + 85 = r. Suppose 0 = z - 9 - a. Is 16 a factor of z?
False
Suppose -3*m + 59 = -463. Is m a multiple of 41?
False
Suppose -2*s + 8 + 24 = -4*i, 4*s - 10 = -i. Is 3 a factor of (-24 + 21)*(i + -1)?
True
Let o(l) = -l + 1. Let m be o(-1). Let w = 16 + -22. Does 13 divide 4 + w + 66 + m?
False
Let t(x) = 37*x**2 - 15*x - 3. Does 23 divide t(4)?
True
Does 5 divide -894*(-5)/(-50)*-5?
False
Let w be ((-10)/(-5))/(2/5). Let k(i) = -i**2 + 11*i + 10. Is 4 a factor of k(w)?
True
Suppose 9*t = 53 + 55. Suppose 0 = -2*f - 2*f - 4*l + 472, 0 = -3*l + t. Is 19 a factor of f?
True
Let g(d) = -d - 2. Let k be g(-6). Does 25 divide 147 - (-7 + 16/k)?
True
Let m(p) = -p**3 - p**2 + p. Let c be m(2). Does 10 divide (-16 - c)*20/(-2)?
True
Let p be 1/(((-5)/3)/5). Let c = 6 + p. Is (1/(-3))/(c/(-54)) a multiple of 4?
False
Let u(l) = 9*l + 15. Let x(n) = 4*n + 8. Let h(w) = 2*u(w) - 5*x(w). Let f be h(-7). Is ((-93)/12)/((-1)/f) a multiple of 8?
False
Suppose -h - 4*d = -30, 74 = 6*h - 3*h - 4*d. Let z = 249 - h. Does 28 divide z?
False
Suppose -f = 25*j - 28*j - 1986, -4*f + 7931 = j. Is f a multiple of 11?
False
Suppose 29*v = -15*v + 35816. Is 33 a factor of v?
False
Let h(k) = 2*k**2 - 10*k + 485. Is 16 a factor of h(-30)?
False
Does 10 divide 22/55 - 4390/(-25)?
False
Let d be 27550/40 - 6/8. Suppose 3*y - 575 = -4*x + 8*y, -4*y = 5*x - d. Is x a multiple of 42?
False
Is (2 - (-3 + (-6 - -9))) + 460 a multiple of 7?
True
Let q be 8 + -4*(-4)/(-4). Suppose 0 = -q*w + p - 3*p + 408, 3*w = -p + 308. Is 8 a factor of w?
True
Suppose -5*s + 5*k = -3226 - 879, 4096 = 5*s + 4*k. Is 20 a factor of s?
True
Is (-6 - (6 + -15))*8 a multiple of 6?
True
Suppose 3*n - 7*n = 68. Let d(i) = 11*i**2 - 16*i - 16. Let v be d(-1). Let s = v - n. Is s a multiple of 14?
True
Suppose -18 = -4*g + g. Suppose 5*n - 247 = -2*w, -g*n - 145 = -9*n - 2*w. Is n a multiple of 7?
False
Suppose 23*p = 27*p + 3*q - 6019, -5*q = 4*p - 6029. Is p a multiple of 19?
True
Suppose -4 - 8 = 3*a, -2 = -2*k - 3*a. Let w(x) = 20*x - 6. Let o be w(k). Suppose 214 + o = 6*d. Is 29 a factor of d?
True
Let y be ((-2)/4)/(78/(-24) + 3). Is (-82)/3*(-3)/y a multiple of 21?
False
Suppose -4*r = 8*b - 3344, -3*b + r + 0*r = -1244. Is b a multiple of 104?
True
Suppose -4*f + 188 = 4*a, -3*f = -4*a + a + 147. Is a a multiple of 12?
True
Let w(p) = -15*p + 2. Let l = 14 - 10. Suppose -l = q + 4. Does 32 divide w(q)?
False
Suppose -o - 5*q - 11 = 0, 3*o - 2*q + 6 = 24. Suppose 4*a = 4*k + o, -2*a 